论文部分内容阅读
Domain理论的目的是为程序设计语言提供数学语义模型,信息状态域的指称称为Domain,而程序的指称是Domain间的映射.本文主要介绍Domain理论中的三类重要映射--Scott连续映射、Berry的稳定映射以及CM映射的定义以及等价刻画和表示.
Domain理论中的映射
【摘 要】
：
Domain理论的目的是为程序设计语言提供数学语义模型,信息状态域的指称称为Domain,而程序的指称是Domain间的映射.本文主要介绍Domain理论中的三类重要映射--Scott连续映射、
【机 构】
：
上海师范大学数理信息学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2002年4期
【基金项目】
：
国家自然科学基金，教育部高校骨干教师资助计划，上海市教委"曙光计划"，上海市教委资助项目
其他文献
本文定义了半群的模糊拟对称理想，研究了它和模糊素理想，模糊完全素理想之间的关系，并研究了它的根的特性。
采用双管正激式开关电源技术,成功研制了一种新型的CO2气体激光器电源.该开关电源采用PWM脉宽调制技术,以及特殊设计的非晶合金高频变压器,可以在供电电源电压波动情况下保持
以硫酸二甲酯和乙醇胺为原料,在常温、常压下合成了N、N-二甲基乙醇胺,得到了最佳的实验条件,产品的收率达95%以上,纯度可达98%以上.
Zadeh算子已推广到T-算子,T-算子也已推广到泛算术.本文讨论T-算子与Zadeh算子、泛算术与Zadeh算子的关系.在一定条件下,得到了它们之间相互转化的充要条件.
作为控制的理论基础，模糊推理已有２０多年的历史，至今持续不衰，但其基本原理与逻辑基础似乎均应重新考虑。本文指出Ｚａｄｅｈ的ＣＲＩ算法中的复合运算是缺乏根据的，提出了完全建立在蕴涵运算基础上
给出ＦＩ－代数的生成滤子的几个性质，然后在ＦＩ－代数上宣讲凶一种拟Ｆｕｚｚｙ－赋值，在研究它的一些性质的同时并利用它对ＦＩ－代数的生成滤予予以刻画。
对于汽车轻量化的发展，塑料在这个领域找到了它的用武之地。无论是车身、内饰件以及外饰件等地方，都可以找到不同种类的塑料应用。作为全球最大的汽车制造商之一，宝马（BMW）也因应
阐述近年来基因网络逻辑行为的新模型--有限状态自动机模型,针对该模型的局限性,本文提出了改进,建立非确定型自动机模型,以描述网络行为的非确定型,适应基因网络的异常表达
进一步研究模糊推理的非模糊形式,在几个重要的逻辑系统中形式地讨论GMP(广义取式)和GMT(广义拒取式)问题的最优解.结果表明,GMP和GMT问题的三I解和一种新的三I解都是某种意