广义细胞自动机与广义归纳逻辑因果模型

在勃克斯(A.W.Burks)构筑的描述因果世界的细胞自动机的基础上(属归纳概率逻辑范畴),提出了可综合处理随机不确定性与模糊不确定性的广义细胞自动机与相应的广义归纳逻辑因果模型,解决了原模型中未曾解决的主因判定与因果扰动响应的问题,并找到了它在智能控制中的应用.     

模糊Smith预估控制在圆锥破碎机控制系统中的应用

针对圆锥破碎机控制系统是一个带有不确定时滞及非线性特性电振给矿机的大纯滞后系统,采用Smith预估控制和模糊控制相结合的串级控制,对系统的主、副回路进行设计,使系统在高性能下运行。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

业务受理系统中业务逻辑模型的研究与实现

业务受理系统主要供监督中心工作人员使用,在城市管理信息系统和呼叫中心（站）系统的基础上．对城市管理问题进行登记、核实、转发、立案等操作,根据监督员问题上报和社会公众举报生成案卷记录,并促使案卷记录在系统中流转,实现与协同工作系统的信息传递。业务受理是数字化城市管理的基础业务流程,其业务逻辑多元而复杂,本文在详细研究业务受理系统业务逻辑的基础上,提出业务逻辑模型化思想,并将该设想应用于数字化城市子项目中,取得了良好的效果。     

模糊辨识器的参数辨识

本文针对基于BP网络进行参数辨识的模糊辨识器,采用更为合理的学习步长--变步长,从而使在线辨识更加快速,为实时控制节约了宝贵的时间.     

模糊综合判别矿井突(涌)水水源

论文研究并建立矿井突(涌)水水源模糊判别模式、模糊运算方法步骤,利用7种常规离子含量和水的温度为基础资料,采用归一化判定突水水源类型。通过梧桐庄矿开采实例,进一步说明模糊综合评判方法的具体应用,结合矿井物探和实际揭露资料验证判定结果的正确性。     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.     

构件库模糊查询技术研究

本文研究了在构件库管理系统中模糊查询理论,引入新概念,在此基础上给出了一种领域字典库 Ｄ Ｄ Ｄ 的定义、构造算法及构件库模糊查询算法。     

基于软计算思想解决含干扰输入多值异或问题的研究

介绍一种解决含干扰输入多值异或问题的方法。该方法利用遗传算法寻找神经网络结构,使用模糊逻辑控制神经网络的学习率和冲量,并用传播算法训练得到神经网络。结果显示,这种方法能针对问题得到泛化性能、时间复杂度上表现都较为优秀的网络。     

Principles and methodology of fuzzy sets

The principles of fuzzy sets and their role in processing uncertain information will be discussed. The question of knowledge representation that is of significant importance in problems of system modelling will be formulated and considered at the level of fuzzy sets. Modelling and simulation realized with the aid of fuzzy sets are studied in a unified methodological framework. First a notion of the cognitive perspective is applied to articulate the problem in terms of specialized linguistic labels. Fuzzy models are constructed to capture logical relationships between the elements (linguistic labels) of the cognitive perspective. Several different classes of the models distinguished with regard to their structural dependencies will be analysed in depth. Finally a linguistic-numerical transformation constituting a type of model-environment interface will be studied.