基于可编程控制器的机械手控制系统的设计

介绍了机器人的组成和机械手的工作原理,设计了基于可编程控制器主控的机械手控制系统,确定了硬件构架和软件体系.实验验证该机械手操作方便、性能稳定,可以弥补操作工效率低、成本高等缺陷,且该控制系统具有很好的开放性和可扩展性.     

低温核供热堆保护系统的研究

高可靠性的保护系统是核供热堆安全可靠运行的重要保证。本文介绍了围绕核供热堆保护系统所开展的设计和研究工作。着重讨论了核供热堆的安全特性;保护系统的功能,保护参数的选择以及保护系统的基本结构。最后简要介绍了目前正在进行的一种新型保护系统的设计方案。     

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

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

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

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

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.     

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

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

Finite‐time attitude‐tracking control for rigid spacecraft with actuator failures and saturation constraints

In this article, the problem of finite‐time attitude‐tracking control for rigid spacecraft is addressed. Uncertainties caused by external disturbances, unknown inertial matrix, actuator failures, and saturation constraints are tackled simultaneously. First, a smooth function that is more qualified to approximate the standard saturation characteristics is presented to deal with the actuator saturation constraints. Second, a fast nonsingular terminal sliding mode (FNTSM) manifold is constructed as a foundation of controllers design. By incorporating the fuzzy logic system into FNTSM technique, a less demanding solution of coping with model uncertainties is provided because the requirement of a prior knowledge of unknown inertial parameters and external disturbances in many existing achievements is removed. To reduce the number of parameters to be estimated, the norm approximation approach is exploited. Subsequently, an antichattering attitude controller is presented such that all the tracking errors converge into arbitrary small domains around the origin in finite time. The result is further extended to obtain a fault‐tolerant controller against completely failed actuators. Finally, numerical simulation is conducted to verify the effectiveness of the proposed control scheme and comparison with relevant literature demonstrates its high performance. Furthermore, an experiment for the large satellite Hubble Space Telescope is carried out to validate the practical feasibility.     

Comparison of conventional and soft computing-based power control methods in mobile communications systems

 In this paper, we give a comparison between the conventional power control scheme and soft computing-based approaches in a mobile communications application. At the base station, the `bang–bang' control strategy and a neural network-based prediction control method are employed. In addition, full power command transmission mode, single-bit command transmission mode, and fuzzy logic-based power command enhancement unit are considered. Based on simulation experiments, we quantitatively evaluate the performance of various combinations of these control methods and command transmission modes. Conclusions on the optimal configuration are finally drawn.     

RUN逻辑现状分析及完善建议

对秦皇岛发电有限责任公司二期RUNBACK、RUND0wN、RUNUP逻辑现状和存在的问题进行了分析，并提出了完善建议。     

换流器故障在线监测电气量及其诊断系统

利用故障信号能量变化率量化换流器各类故障的电气特征,表征换流器故障信号相对于正常状态的变化情况。根据各电气量变化情况的不同,选择出能有效定位和诊断换流器各类故障的在线监测电气量。将各在线监测电气量的能量变化率与零进行比较,得到换流器不同故障情况下,各在线监测电气量逻辑编码值。利用编码值的不同,再结合统计学知识,提出换流器故障在线监测诊断系统。仿真结果表明,该系统能准确有效地定位和诊断出换流器各类故障,且不受系统运行方式和故障过渡电阻的影响。