Fuzzy度量空间中映像族的公共不动点定理

本文讨论了Fuzzy度量空间中映像对和映像族的公共不动点问题,所获定理推广了Kaleva.O Seikkala. S和郑叔的有关结果。     

Fuzzy数空间上MS收敛与水平收敛的关系

证明了当u∈E^c，∈E，n=1，2，…时，un^MS→等价于unl→u，并指出条件。∈Ec不能减少．     

电阻加热炉解耦模糊Simth预估PID控制研究与仿真

在电阻加热炉系统中,提出一种解耦模糊Smith预估PID控制器来优化系统的动态响应性能指标,并改善系统因被控对象参数改变或因干扰作用引起系统控制性能变差的现象。通过对具有纯滞后的一阶惯性电阻加热炉系统的仿真可见,解耦模糊Simth预估PID控制器获得的系统动态响应性能指标明显优于常规的PID控制器或Smith预估PID控制器,且在被控对象参数改变或出现干扰时系统的控制性能也得到了较好的改善。解耦模糊Smith预估PID控制的模糊语言规则少,系统响应速度较快。     

大系统模糊优化单元系统理论

大系统模糊优化单元系统理论陈守煜（大连理工大学，土木工程系１１６０２４）ＴｈｅｏｒｙｏｆＦｕｚｚｙＯｐｔｉｍｕｍＥｌｅｍｅｎｔＳｙｓｔｅｍｆｏｒＬａｒｇｅ—ＳｃａｌｅＳｙｓｔｅｍｓＣｈｅｎＳｈｏｕｙｕ（ＤａｌｉａｎＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏ...     

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，因而也无函数式是否化简到了最简的判别方法。为解决这些难题，提出了“镜像消元法”，给出了化简的具体步骤和方法。对于6个以上变量的逻辑函数的化简，镜像消元法优于卡诺图法。     

基于模糊论方法评价图书馆服务质量水平

用模糊论方法对图书馆服务质量水平作出评价,给出数学理论模型,从而使评价方法由定性转化为定量评价,使评价结果更为客观和科学.     

模糊控制理论在新技术评价中的应用

应用模糊控制思想确定变权的方法，解决新技术评价的信息的不确定问题。采用常权与变权相结合的方法，对新技术进行综合评价。本文不仅提出了新技术评价的一种有效的新方法，而且加快企业信息化的实现，并使模糊控制的理论和方法得到更广泛的应用。     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

论维特根斯坦之"不可言说的东西"

维特根斯坦经过分析，发现世界的、思想的和语言的结构具有共同的逻辑结构，由此得出了语言的命题可以描述世界中的事实即事实是可以言说的结论。但逻辑形式、形而上主体、世界的存在性以及人生的意义等是不可言说的领域，必须对此保持沉默。这样，维特根斯坦的哲学系统开始于逻辑分析法，而终于静默。因为只有在静默中，人才可能领略哲学的最高境界——哲学本质、生命意义、对世界存在的特殊神秘的感觉。     

基于模糊逻辑系统的组合大系统自适应观测器设计

针对一类非线性不确定组合大系统，利用模糊逻辑系统具有充分逼近连续函数的性质，分析和研究了这类系统自适应状态观测器设计问题，并在较弱的假设条件下，证明这种观测器与被控系统状态间的误差及各参数估计误差一致终极有界。最后的仿真实例说明了本文所提出方法的有效性。