铁路动车组故障诊断知识库管理系统的设计

针对我国动车组维修的特点,为动车组维修人员能够及时、快速地对动车组发生的故障进行分析和处理,运用人工智能的思想,结合数据库技术,设计了一套知识表示和知识库管理系统,对动车组故障信息及其原因信息、处理措施信息进行维护,处理了知识的正确性、完备性、冗余性、一致性检验,并在一定程度上实现了知识处理的自动化,对我国高速铁路动车组维修工作起到辅助支持作用,有很强的实际意义。     

铁路动车组故障诊断知识库管理系统的设计

针对我国动车组维修的特点,为动车组维修人员能够及时、快速地对动车组发生的故障进行分析和处理,运用人工智能的思想,结合数据库技术,设计了一套知识表示和知识库管理系统,对动车组故障信息及其原因信息、处理措施信息进行维护,处理了知识的正确性、完备性、冗余性、一致性检验,并在一定程度上实现了知识处理的自动化,对我国高速铁路动车组维修工作起到辅助支持作用．有很强的实际意义。     

钢铁企业智能点检运维系统的开发与应用

随着中国制造2025规划的实施,钢铁企业的智能制作水平得到了大幅度的提升,产线设备的网络化、数字化、智能化水平有了质的飞跃,同时钢铁企业对设备的点检维护要求也发生了变化,传统的现场点检定修的运维模式已经无法满足生产需要。本文以钢铁企业设备点检运维工作为背景,围绕钢铁企业设备管理新需求,基于云计算、工业互联网、大数据、移动互联网和人工智能等先进技术,分析了当前设备运维工作面临的机遇与挑战,提出了钢铁行业智能点检运维定义,阐述了智能点检运维系统的核心内容,介绍了钢铁企业开发应用智能点检系统的整体架构、主要功能和应用效果。验证了智能点检运维模式的可行性、可靠性和有效性,为钢铁企业设备点检运维工作变革和智能点检运维模式实施提供了参考。     

输配电线路的运维与故障排除技术

电网输配电线路作为电力系统的重要组成部分,其安全可靠性能关乎整个系统的稳定性,这对其安全可靠性能提出了更高的要求,必须采用相应的技术及维护措施来提高电网输配电线路的运行维护水平。本文就输配电线路的运维与故障排除技术进行探究,首先分析了运维及故障排除工作的重要性,其次总结了日常运行中的常见问题,然后提出具体的技术措施,旨在为电网运维管理提供参考。     

如何构建有效的IT运维管理

作为CIO,如何在有限的投入下尽快建立高效、规范的运维体系,提高IT管理水平,改善系统的运维质量,是其管理工作中面临的重要问题。尤其是如今很多企业把IT资金投入在着重解决基础设施和系统的构建,却忽视了系统建设完成以后的运行维护;随之而来的是,信息化的运维压力和挑战逐渐凸现出来,已经成为影响信息系统应用效果的主要瓶颈。     

基于物联网的电力通信智能移动运维系统平台

传统电力通信智能移动运维在信息处理过程中存在准确程度相对较低、系统运行维模式难以满足日益增长的通信需求等问题。为解决上述问题,结合物联网技术,对电力通信移动运维系统进行优化设计。采用物联网信息处理和配置相结合的方式,对物联网移动运维系统进行创新设计,并通过物联网移动运维系统对电力移动通信数据进行精准采集、处理和配置,从而实现电力智能通信运维系统和物联网数据配置处理平台的有效关联,达到完善和优化电力通信移动运维系统智能系统的设计目标。系统检测结果证实,电力通信移动运维系统可满足工程应用要求,系统运行的可靠性可达到80%以上。对比传统方法,该系统性能提高了20%～30%,有效实现了电力通信智能移动运维系统的规范化和智能化设计目标,提高了系统的运行效率。     

推进集中故障管理提升网络生产效率

随着 TD、WLAN、有线网络的快速发展，网络维护范围从原有网络设备拓展到客户侧、内容源设备。大量增加的新网元没有按照集中化的要求管理，原先适用于2G 网络的运维模式和理念已经无法满足“面向客户、面向端到端业务管理”的要求。面临变革的需求，要从更高层面和更大范围思考并建立适应全业务发展的运维管理新体系。在这一背景下，移动集团公司制定了集中故障管理的新目标，即大力推动网络监控集中化，以省为单位集中管理、集中监控、集中维护，逐步取消地市公司监控值班，简化工作流程，提升工作效率。以吉林移动分公司集中化故障管理为例，阐述了集中化的目标、实现集中故障管理的措施和集中故障管理的应用效果。     

煤矿监控类系统远程故障分析平台

针对煤矿监控类系统故障处理时效性低、现场维护工作量大、运维成本高等问题,在对故障信息进行统一规范的基础上,设计了一种煤矿监控类系统远程故障分析平台。该平台分为设备层、网络层、系统层和运维层。设备层内置具备故障自诊断能力的故障探针,检测到故障后将关联信息缓存,并上传至网络层。网络层收到设备层传来的故障信息后,先对设备层故障信息进行缓存,再连同网络层产生的故障信息一起打包上传至系统层。系统层部署的故障信息采集软件可通过内存接口、数据库或文本文件等方式从监控类系统上位机软件中获得故障信息,同时支持网络层设备故障信息直接采集,将故障信息缓存后传输至运维层。运维层将接收的故障信息存入故障信息中心库进行分析和推送。该平台可为煤矿监控类系统故障分析提供重要的数据支撑,为煤矿监控类系统运维服务提供有效的技术保障。     

电力系统运维可视化平台的核心构架和实践

近年来,科技的不断发展,使电网发展面临的挑战也越来越大。电网公司通过大规模、大范围的信息化建设,应用了大量业务系统。如何有效运用信息系统,将相关数据清晰、直观的展示出来,提高运维人员决策的有效性以及运维效率是亟需解决的问题。在电力系统中引入可视化技术,可有效维护系统的运行和管理。本文简单介绍了可视化技术的特点,对其在电力系统运行维护中的核心构架和实践进行了探讨。     

基于维护计划的卷烟生产线设备运维管理系统

介绍了一个基于维护计划的卷烟生产线设备运维管理系统,分别从系统功能模型、计划业务流程等角度描述了系统的设计思想。并阐述了系统涉及的设备润滑计划制定、派工、运行维护数据分析、系统开发与应用等关键技术。开发的系统具有一定的可集成性、可扩展性和可重构性,与移动通讯技术、数据采集技术相结合,集成在制造执行系统中,可以实现卷烟生产企业制丝、卷包生产线的实时设备运行与维护保养管理。     

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.     

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

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