DTS中基于用户自定义的自动装置模拟

在调度员培训仿真器（DTS）中传统的自动装置仿真方法是对不同类型的装置分别建模，其缺点是适应性差、扩展性不强。针对这些问题，对自动装置的动作原理进行分析，建立了1个基于用户自定义的自动装置仿真模型。该模型将自动装置抽象为启动元件、信息综合分析单元及联动元件三部分，实现对不同自动装置的统一处理。其信息综合分析单元采用带自定义符号元素和语法规则的逻辑表达式实现，用特定的表达式解析器进行解析，完成对启动信号的综合分析与判断。在天津DTS的实际应用表明，该模型具有较好的通用性、灵活性和可扩展性。     

雷达情报融合中的态势估计

从态势估计的定义出发,介绍了基于态势觉察、态势理解和态势预测的态势估计三级式功能模型。应用模糊逻辑方法对目标的距离、速度、高度等目标状态的具体值进行模糊化,采用模糊逻辑与贝叶斯网络技术相结合的方法进行态势估计推理,并以战斗机(群)或导弹攻击我作战平台为例,验证了该方法的可行性。     

一种用步进器指令编程的方法及应用

本文介绍了一种用可编程序控制器（ＰＣ）的步进器指令编程的方法。并通过应用实例证明了该方法可以简化逻辑设计避免逻辑竞争。     

基于模糊多模型的堆芯功率控制

传统的堆芯功率PID控制器是基于单一功率水平处的堆芯局部模型设计的,难以准确描述整个堆芯功率水平范围的控制。因此,本文基于5个不同功率水平下的传递函数模型,通过三角隶属度函数加权,建立堆芯模糊多模型,并依据该模型设计堆芯功率模糊PID控制。以TMI型压水堆堆芯为对象,开展不同初始功率水平下的堆芯功率跟踪、堆芯进口温度扰动的控制仿真。结果表明,基于模糊多模型设计的堆芯功率模糊PID控制器可实现对堆芯功率的良好控制。     

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.     

汽车挡风玻璃刮雨器的控制

本拟设计了一种用于汽车挡风玻璃上的自动雨点检测器及刮雨器控制装置,其原理利用了挡风玻璃中的光波导作用,并经模拟实验证实此方案可行。     

微型计算机在换热器控制系统中的应用

本文论述了微型计算机和可编程控制器（ＰＣ）控制换热器系统温度的硬件设计和控制方法。     

零极点配置智能PID控制器在系统控制中的应用

为解决未知系统的PID控制问题,根据PID控制及零极点配置控制理论,详细讨论了零极点配置PID控制器、智能PID控制器的构成过程.该控制器结构简单,实用性强,控制器的阶数仅与被控系统的传递函数分子多项式阶数m有关,而与分母多项式阶数n无关,可以用低阶控制器控制高阶系统,通过大量的仿真试验研究,说明该智能控制器具有良好的自适应性和鲁棒性.     

基于ST7单片机的太阳能直流供电系统控制器设计

设计一种用ST7单片机构成的全数字化太阳能直流供电系统控制器。系统在ST7单片机的控制下,能将太阳能电池转换的直流电进行有效存储和合理使用。系统充分利用了ST7单片机的软件资源,最大程度地简化了硬件电路,使电源具有较高的性价比和可靠性。     

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

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