矿用高压防爆开关微机保护装置现状与展望

从硬件结构、基本功能等方面介绍了矿用高压防爆开关微机保护装置的现状;指出矿用高压防爆开关微机保护装置存在缺乏统一的标准、选择性漏电保护准确率低、防越级跳闸性能不全面、缺乏故障诊断功能、通信可靠性差等问题;提出了矿用高压防爆开关微机保护装置的发展趋势,包括技术标准统一、多判据融合的选择性漏电保护、基于智能变电站的防越级跳闸、矿用高压防爆开关故障诊断、多种通信方式组合等。     

新型矿用组合开关综合保护控制器的设计

针对目前矿用组合开关存在抗干扰性差、维修困难等问题,提出了一种基于PLC的新型矿用双回路组合开关综合保护控制器的设计方案。该综合保护控制器以西门子S7-200 PLC为中央控制单元,通过硬件设计及软件编程,可实现短路、过载、断相、过欠压、漏电闭锁等保护功能。同时,人机界面采用威纶通MT6070iH全中文液晶触摸屏显示,简洁直观、易操作。试验表明,该控制器的各项保护控制功能均能快速准确执行,确保了整个装置工作的安全性、稳定性及抗干扰性。     

基于FPGA平台矿用馈电开关智能保护器的设计与研究

本文介绍了基于FPGA平台矿用馈电开关智能保护器的基本原理,描述了短路保护、漏电保护、过载保护等智能保护措施的设计方法和实现过程。     

基于嵌入式系统的矿用组合开关控制系统的设计

文章介绍了一种矿用组合开关控制系统的设计,给出了系统软、硬件结构及工作方式,详细介绍了系统软件和上位机管理系统的设计。该控制系统基于嵌入式技术和工业以太网技术,可实现井下开关运行监控、故障保护、网络通信、运行参数及状态显示等功能。试运行结果表明,该系统稳定可靠,可满足矿用组合开关的控制要求。     

DFKG—2012型矿用低压馈电开关综合试验台设计

针对现有矿用低压馈电开关的故障检测存在无专用设备及效率低等问题,设计了DFKG-2012型矿用低压馈电开关综合试验台。该试验台以PLC为控制器,结合组态技术,通过简单操控按钮,即可实现对矿用低压馈电开关过压、欠压、过载、短路、断相和漏电等保护性能参数的检测和监控。该试验台还可检测多种型号矿用低压馈电开关的性能,并能快速对开关故障作出正确判断,降低了检修人员的工作量。     

矿用双控制器馈电开关的设计

文章介绍了一种基于双控制器的矿用馈电开关的设计方案。该馈电开关采用单片机和DSP双控制器设计,实现了数据采集处理和故障判断功能的分离,大大提高了运行速度和智能化水平,还具有过载、缺相保护、短路保护、不平衡保护、漏电闭锁保护、漏电保护和选择性漏电保护功能。测试结果表明,该馈电开关性能稳定,运行速度快,精度较高。     

UniMAT PLC在矿用隔爆型馈电开关控制系统中的应用

针对矿用隔爆型馈电开关控制系统的特点,UniMAT亿维公司开发了专用矿用三相交流电及漏电监测模块,用于三相电测量,可实现相电压、电流,零序电压,零序电流和漏电电阻等指标的测量。应用结果表明采用UniMAT CPU224+矿用三相交流电及漏电监测模块的方式不仅降低了成本,而且达到了国标所要求的漏电保护标准,简化了配置方案,优化了程序设计。     

基于PLC的矿用组合开关的设计

针对目前矿用组合开关存在抗干扰性差、维修困难等问题,提出了一种基于PLC的智能型矿用组合开关的设计方案;给出了该组合开关的电气主回路总体结构,详细介绍了该组合开关电气控制回路即PLC系统的硬件及软件设计。实际测试结果表明,该组合开关运行可靠,快速实现了各种保护,确保了煤矿井下生产的安全性和连续性。     

基于PLC的矿用智能低压馈电开关选择性漏电保护系统

文章阐述了基于零序电流方向的选择性漏电保护原理,介绍了一种基于PLC的矿用智能低压馈电开关选择性漏电保护系统的软、硬件设计方案。实际应用表明,该系统能够可靠、快速地实现选择性漏电保护,且具有较强的抗干扰能力。     

矿用隔爆兼本质安全型双回路真空组合开关的研制

矿用隔爆兼本质安全型双回路真空组合开关以ATMEGA128单片机为控制核心,结合硬件结构,可满足各种功能要求。文章详细介绍了该组合开关测控系统的整体设计、保护性能设计及软件设计等。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.     

国内外标准法规比对分析系统设计与实现

为发现我国国家标准与国外发达国家标准法规的差距,从根本上提高我国国家标准的总体质量,提升我国产品的质量安全水平,以关键指标(因子)为核心,研究国内外标准法规比对的工作流程,利用面向对象的方法设计,实现了国内外标准法规比对分析系统。该系统适用于所有产品国内外标准法规的比对工作。