摘要：酒精生产过程中,需要对蒸馏塔多点温度进行检测。采用新型薄膜铂温度传感器设计了多点温度检测系统,使用正反馈型线性校正电路使输出电压与温度成线性关系,从而提高了检测系统的测量准确度。本系统的特点是电路设计新颖、测温准确度高、实用性强。

摘要：提出了一种人工免疫诱导算法(AIIA),用于实现PID参数自适应整定计算。阐述了人工免疫系统的原理,深入剖析了PID参数自适应整定模型,设计了该模型的人工免疫诱导算法。实验表明,该算法具有快速收敛性,能够较快地找到PID参数自适应整定的最优或次最优参数组合,有利于提高PID控制器调节的实时性。同时,将该算法(AIIA)与GA算法、齐格勒—尼柯尔斯(Z-N)方法、ISTE方法进行了比较。仿真结果表明了该算法的优越性和实用性。

摘要：高速公路入口匝道控制是在高峰期间控制进入高速公路的车辆数目,使高速公路主线交通流不堵塞,提高主线的通行能力,实现车辆在高速公路上高效、安全地运行。阐述了模糊逻辑控制器的基本结构与模糊控制算法,分析了高速公路通行能力的影响因素,给出了具体的模糊隶属度函数并设计了高速公路入口匝道模糊逻辑控制器,充分利用计算机可视化仿真的优点对控制器进行了仿真研究,结果令人满意。

摘要：针对工业中常规控制器难以达到较好控制效果的控制难点,提出了免疫PID控制器,利用模糊控制可以无限逼近非线性的特性,构成非线性模糊免疫PID控制器,并基于正交函数将MIMO(多输入多输出)控制系统的非线性模糊免疫PID控制器的设计过程转化为由一个只含有代数方程的算法来实现,最后用具有自适应功能的遗传算法对其进行优化。仿真结果表明,所设计的控制器在控制性能上优于常规PID,并能快速得到最优参数。另方面对于多输入多输出控制系统,控制器的设计和优化显得更为简便和有效。

摘要：从立达集聚纺导流器的演变过程分析探讨集聚纺纱原理。阐述了立达K44、K45、K46型集聚纺纱机导流器的演变过程、机构改进和作用原理。分析论述了气流式集聚纺气流形态和集聚原理。指出:国内关于气流导向器作用是为了让气流从两边注入,加强集聚效果的认识有悖于立达集聚纺导流器设计的初衷和后来一系列改进的原理。认为:实现须条表层纤维加捻集聚是气流集聚的本质。其必要条件是要形成一个旋转气流,导流器的作用是形成并保持稳定的旋转集聚气流。与网格圈式倾斜集聚槽相比,K46型细纱机的导流器具有良好的集聚作用和更低的能耗,已成为集聚纺节能的一个有效手段。

摘要：被秋风浮起的裙摆、蓝宝石般的双眸、微红的媚眼、闪烁着的仿若繁星的眼眸,勾起人们无尽的遐想。宛若落入凡尘的精灵,映入青瓷,一梦华胥。抚微风,俊俏颜。回眸一瞬,若思若梦。

摘要：Brands方案已经成为一个经典的数字现金方案,在这个方案的基础上设计了各种各样的数字现金方案,文章提出的方案是在原有的Brands方案的基础上增加一个概率检验过程,通过对用户信用和通信线路的综合考虑决定是否对数字现金作实时的检查,使数字现金使用的安全性得到极大的提高。

摘要：提出一种产品设计智能化支持方法。该方法核心是以复杂产品递阶多视图模型ＨＣＰ为基础，通过在其ＡＮＤＩＯ/Ｒ树上进行ＤＭ分类及泛化关联规则的发现，将设计实例动态地归纳为设计方法，以此指导设计者的设计行动．

摘要：从获取确定性决策规则的角度出发,基于粗糙集对高维知识库的决策规则约减知识,采用相关方法设计决策规则实现的算法。在不损失信息量的前提下,使决策规则的表示简单化。使用这种算法生成决策规则的时间大大减少,与白钡窑实际控制的数据相比,决策规则控制的误差小于±1。

摘要：软件的可靠性和可信性越来越受到人们的关注,而编译器作为软件开发的基础,其正确性的验证一直都是个重要且迫切的问题.设计和实现一个小型命令式语言IMP的编译器,该编译器将IMP源代码转换成定理证明器Coq接受的函数式语言表示形式的代码,通过语义分析得到IMP目标代码,在堆栈中执行得到结果.本文的重点是使用交互式定理证明器Coq机械验证函数式语言表示形式的源代码编译执行前后的属性和行为均保持一致.本文的工作为使用堆栈的编译器和其他软件系统的机械化形式验证提供了一种新的思路和方法.