基于PLC的热电厂水循环汽轮机控制系统设计

热电厂水循环给水多采用汽轮机带动给水泵系统,而汽轮机控制则大多使用价格昂贵的进口控制器.西门子S7—200系列PLC[1]价格低廉,并且具有良好的扩展性、丰富的功能模块以及强大的指令系统.利用PLC、电动阀门执行器比较容易地实现对汽轮机的控制.     

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

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

基于决策类划分新型多变量决策树算法实例分析

利用"基于决策类划分的新型多变量决策树算法"中的五大步骤,以"气象信息系统表"为实例构造多变量决策树,取得的结果与著名的单变量决策树(ID3)方法和粗糙集多变量决策树方法所获得的结果相同,证明本算法有效。其决策树构造过程简单,易于理解。通过时间复杂度的比较,证明本算法优于粗糙集算法速度更优和ID3算法。     

基于动平衡状态的不确定倒立摆系统跟踪控制

针对存在不确定摆杆质量、长度和外加干扰的倒立摆系统的稳定控制问题,提出了基于动平衡状态理论的鲁棒自适应控制策略.首先对台车位置和摆杆摆角规划了理想的动平衡状态参考轨迹,然后应用分段滑模和模糊逻辑系统设计了直接自适应模糊控制器实现对动平衡状态的实时跟踪.理论分析和仿真结果证明了不确定倒立摆系统是全局渐近稳定的,并具有很好的适应性和鲁棒性.     

关于Riccati方程的可积条件研究的再讨论

目的补充R iccati方程的可积条件。方法等式的等价变换。结果完善了R iccati方程的可积条件。结论得到可积R iccati方程的判断方法。     

基于通用串行总线的测井脉冲采集电路研究

设计了一种基于通用串行总线（USB）技术的测井脉冲信号采集系统。该系统用深度子系统驱动测井脉冲的采集，并配备了PCM遥测信号接口。系统设计包括硬件设计、单片机固件设计以及设备驱动程序和用户应用程序设计。硬件设计中用复杂可编程逻辑器件完成对脉冲采集过程中脉冲放大倍数和峰值保持电路电容充放电的控制，并检测出PCM遥测信号的同步帧，同时进行遥测数据的串并转换，节省了单片机资源。单片机控制测井脉冲采集的整个过程，并实现USB通信，在主机请求数据时发送数据。系统在实验室调试成功，数据传输速率达到300kb／s，控制逻辑灵活，可扩展升级。     

广义逆A(2)T,S的扰动理论

建立了广义逆A(2)T,S的扰动理论.这个理论是建立在一个有用分解式的基础之上.当(W)条件成立且‖B-A‖很小时,对任意的乘法矩阵范数, 给出了‖ B(2)T,S-A(2)T,S‖的估计.在类似的条件下,也给出了一般的约束线性方程组:Ax=b,x∈T(其中b∈AT,dim T=dim AT)唯一解的扰动界,推广了相应的结论.     

CO2弧焊电源动特性的模糊逻辑推理评定

ＣＯ２弧焊电源动特性的评定方法一直是焊接界未能很好解决的问题,论文中研究了用子波统计分析方法由焊接过程电信号中提取与电源动特性相关的特征信息,并在大量的实验基础上,根据实际经验研究了动特性的模糊逻辑推理评定方法,建立了模糊逻辑推理评定系统,实验证明了该评定系统的有效性。     

基于情境的文本中的时间信息分析

情境用来描述文本中具体的动态和静态事件,时间是其重要因素·为了分析文本中的时间信息,本文首先给出了一个基于情境的文本理解的模型,并在时态逻辑的基础上,提出了文本的时间信息分析方法,它是将事物发展变化的时间顺序作为理解文本的一条重要线索·其主要工作包括:讨论了时间的概念、时间的类型和时间单位的转换机制;分析了命题间的时间关系、对象行为间的时间关系以及事件状态与时间过程的关系;并给出了所使用的时态逻辑     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.