Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

浅议如何用绿色植物防治矿区环境污染

绿色植物能吸收CO2 ,释放O2 ,清除有毒污染物 ,阻滞灰尘 ,杀灭细菌等致病微生物 ;在矿区环境污染治理时 ,应切实加强矿区绿化工作 ,扩大植被覆盖率 ,保持矿区生态平衡 ,促进矿区的可持续发展。     

基于Client/Server模式的火电厂能损在线监测系统

为了对机组主要设备和系统的运行状态实施在线监测，使机组运行在最佳状态，提高机组的经济性，并加强对能耗指标的管理，而开发了能损在线监测、诊断和能耗指标管理系统，文章对此系统进行了简单的介绍。     

沙角C电厂2号发电机转子接地检测装置改造

介绍沙角发电C厂2号发电机转子接地检测装置的基本原理和在装置发出报警信号后的分析和判断过程。对该装置出现故障后ALSTOM公司提出的临时检测方案作了分析，指出了该方案的不足之处，提出并实施改进后的临时检测方案。     

基于模糊信息处理的中板轧机微机在线监测系统

中板轧机是中板厂最重要的生产设备，对其工况进行在线监测意义重大，各种传感器将轧机的工况信息传送给微机系统，微机系统将这些信息进行模糊处理，发出相关信息，指导系统安全，高效运行。     

Global Level Path Planning for Mobile Robots in Dynamic Environments

This paper presents a self-adapting approach to global level path planning in dynamic environments. The aim of this work is to minimize risk and delays in possible applications of mobile robots (e.g., in industrial processes). We introduce a hybrid system that uses case-based reasoning as well as grid-based maps for decision-making. Maps are used to suggest several alternative paths between specific start and goal point. The casebase stores these solutions and remembers their characteristics. Environment representation and casebase design are discussed. To solve the problem of exploration vs. exploitation, a decision-making strategy is proposed that is based on the irreversibility of decisions. Forgetting strategies are discussed and evaluated in the context of case-based maintenance. The adaptability of the system is evaluated in a domain based on real sensor data with simulated occupancy probabilities. Forgetting strategies and decision-making strategies are evaluated in simulated environments. Experiments show that a robot is able to adapt in dynamic environments and can learn to use paths that are less risky to follow.     

智能型MNS低压开关柜

MNS智能低压开关柜是ABB公司的新一代产品。除具有设计灵活、结构紧凑和免维护等特点外，安全可靠性是其最突出的优点，包括抗故障电弧、可靠的绝缘分隔及接插性能、可靠的抽屉单元和温升限制。采用和智能化电动机控制中心INSUM及配电智能化控制和能量管理系统ESD2000的完美结合，开发了了基于现场总线的智能化的系统解决方案。     

天铁热力厂4#锅炉电气自动化控制系统

介绍了热力厂4^#锅炉电气系统与微机联络控制的方式。系统分别采用变频器485接口式电动机保护测控单元或接触器与微机连接，实现4^#锅炉电气控制过程。     

Gold Medal Award for Life Achievement in the Application of Psychology: Edwin A. Fleishman.

The 2004 Gold Medal Award for Life Achievement in the Application of Psychology was awarded to Edwin A. Fleishman, for his significant contributions to the science and applications of psychology, which he has sustained over his remarkable career. He is cited for his research, which has had a profound influence on our understanding of human capabilities, their measurement, their development, and their application in the world of work. Through his many influential leadership roles, as president of the International Association of Applied Psychology and three divisions of the American Psychological Association, and as editor of the Journal of Applied Psychology, he has helped shape our profession. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

三峡工程升船机坝段基础特点与施工期形变特征

简要分析了升船机上闸首基础岩体的特点，在施工期随上部建筑物形成的过程中沉降与水平形变随荷载变化的特征。分析认为:基础岩体形变与其受荷特点相吻合，目前建筑物总体安全状态正常，但部分坝段需引起注意，同时为验证设计、指导施工提供了依据。