基于PLC的工业锅炉给水智能模糊控制系统的设计

文中详细介绍了基于微处理器MCF5272和PLC的工业锅炉给水系统的设计,通过硬件平台和应用软件的整合实现,结合WISMO2C无线通信模块,使其广泛应用于中小型企业的工业锅炉的给水控制系统的建设中。     

一种基于模糊决策表的知识获取方法

本文描述了一种基于模糊逻辑的决策表方法，该方法可用于构造知识库。     

假设检验的推理过程分析

讨论了数理统计中的假设检验问题.从问题的提出,推理的逻辑方法几方面,分析了假设检验问题的特点,得出假设检验中有定性因素与定量分析的相互作用,推理过程是归纳与演绎相结合的结论.提出这种方法也可为解决其他问题时所借鉴.     

在单片机微机控制系统中实现 PLC 与 MNC 的混合控制

介绍了一种在单片微机控制系统中把逻辑、顺序控制与运动坐标控制结合为一体的混合控制模式，通过软硬件设计给出了实现这一控制方式的途径。     

在排队网络中对到达顾客的模糊调度

运用模糊逻辑的方法研究对到达两个并联服务员的顾客们的最优调度问题,确定了其具体的最优控制策略;提供了一个连接“个体最优”和“整体最优”两个标准的桥梁。计算机模拟的结果显示这种新提出的方法是非常有效并极富研究潜力的,尤其在解析解不存在的情况下。     

周易象数算法与象数逻辑——中国文化之根探源的新视角

中西方具有不同的思维方式.表达中国的"象思维"只能是"象语言","象语言"的逻辑不是形式逻辑,而是"象数逻辑"."象数逻辑"通过"取象去形",以"无形之象"追摹自然变化之序而创立推演体系,包括比类推理与太极推理两大推理法则,且深涵价值底蕴.中国"象数逻辑"较之西方形式逻辑与辩证法,更具本原性,内涵更丰富,包容性更大,其以"象数算法"为基础,但蕴涵其中,并未分化成为独立学科.而中国古代数学本为体用不二之完整体系,洛书、周易之"象数算法"与中国古代数学之"机械化算法体系"一脉相承.吴文俊对中国古代数学的继承创新,不仅对人类数学史,对当今数学发展意义重大,而且也为今天创建现代的中国语言学、逻辑学,为中国科学的自主创新提供了重要的思想与方法论启示.     

一类非线性系统的自适应模糊控制器设计及稳定性分析

首先建立一种动态T-S模糊子系统,用于估计非线性系统,然后设计一种稳定的参考模型,其前件与T-S模糊子系统相同.在此基础上,提出一种反馈控制器,其控制矩阵采用线性矩阵不等式(LMI)的方法进行求解,使得在数学模型已知的情况下,闭环系统渐近稳定.此外,为补偿和消除实际系统中常存在的参数不确定性和外部干扰的影响,进一步提出...     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷:一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑:首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

塑性加工中的人工智能技术

对神经网络和模糊逻辑两种人工智能技术的原理及其在塑性加工生产中的应用方法进行了综述。目前在塑性加工中，神经网络较多地被作为非线性函数映射器，解决各种参量之间难于建模的复杂关系问题；而模糊逻辑则较多地应用于各种专家系统，通过对经验知识和行为进行描述与推理实现生产的优化调控。     

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.