文献类型：会议

作　　者：孙莉萍 陈仪香

作者单位：[1]浙江科技学院基础部 [2]上海师范大学数理信息学院

基　　金：国家自然科学基金(69873034);教育部高等学校骨干教师资助计划;上海市教育发展基金(98SG46);上海市科学技术发展基金(00JC14057);上海市高校科技发展基金(02DZ46)

会议文献：中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集

会议名称：中国系统工程学会模糊数学与模糊系统委员会第十一届年会

会议日期：20020900

会议地点：中国厦门

主办单位：中国系统工程学会

出版单位：《模糊系统与数学》编辑部

出版日期：20020900

学会名称：中国系统工程学会

语　　种：中文

摘　　要：本文使用论域理论中一类重要论域-dI-论域作为程序的输入及输出状态域,谓词为dI-论域上的稳定集,程序为dI-论域间的稳定映射,讨论了dI-论域上谓词转换器的相容性,表明每一个相容谓词转换器函数都是由确定性程序产生的.

关 键 词：谓词转换器的相容性  dI-论域  稳定映射  

分 类 号：TP391.1]