网络环境下公文收发系统的设计与实现

一个单位内部各部门之间公文收发是日常工作的重要内容。本文主要研究在计算机网络环境下，如何利用网络的高速数据传输能力，设计出符合我国企事业单位管理体制特点的公文收发计算机自动化处理系统，实现无纸公文办公。文中提出了两种可行的实现方案，并就其中一种方案进行了编程实现。该系统已在ＮＯＶＥＬＬ网络上测试运行，使用方便，功能完善，还可兼作电子邮件使用。     

IEC61850操作语义形式化描述的Petri网方法及其实现

通过对IEC61850标准中变电站配置语言(SubstationConfigurationLanguage,SCL)的XMLSchema(ExtensibleMarkupLanguageSchema)定义和声明内容的研究发现,统一建模语言(UnifiedModelingLanguage,UML)状态机的语义表达能力存在明显的局限性,它与XML结合无法精确描述具有逻辑时序要求的模块语义,造成在IEC61850完备的语义信息模型基础上建立的ACSI(AbstractCommunicationServiceInterface)的XML描述不完备,极大地影响系统的互操作性。文章应用Petrinet建立的IEC61850控制模块具有明确的语义模型,基于XML的Petrinet形式化描述不仅实现了语义信息模型的完备描述,也完善和强化了SCL的XMLSchema描述操作语义的能力,有效保证了系统的互操作性和一致性。     

基于可编程逻辑器件的串行外设接口设计及实现

论述了串行外设接口(SPI)的原理,扩展了多从/多主模式、线与等新功能.用VHDL语言设计了全部源代码,在Max plusⅡ集成开发环境下对VHDL源代码进行编译、综合,并由可编程逻辑器件(CPLD)实现.使SPI接口应用的灵活性得到提高.     

Optimization of power input diagram of 50 t UHP-EAF

In order to improve operation for shortening tap to tap time and saving electrical energy, on the base of no-linear reactance model, the electrical characteristics of the 50 t UHP-EAF in Fushun Special Steel Co. Ltd. were analyzed. Considering steelmaking process conditions, the optimum power-input diagrams were investigated, which can save energy, lower consumption, and raise productivity. This has been verified by production contrast tests. Application of the optimum curve in 50 t UHP-EAF indicates that research method is correct, the 50 t UHP-EAF runs smoothly with lowering electrical energy by 29.35 kW.h/t and shortening power on time by 3 rain. The general steps of making optimum power-input specification is also given.     

办公自动化系统(B/S)安全技术研究

论述了基于浏览器方式的办公自动化系统 ,介绍了身份识别验证与数字签名技术、多层次的权限控制技术、工作流程安全机制 ,以及其他安全机制的应用及安全增强技术。     

变电站35kV及以下馈线不停电微机保护改造

叙述了变电站35 kV及以下馈线自动化系统的常见结构形式,变电站馈线保护微机化改造的特点。介绍了山东蓬莱供电公司不停电改造变电站35 kV及以下馈线保护的模式。该模式体现了安全、可靠和经济性。     

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

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

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

由三台主变构成的110kV变电站的设计方案

1引言电力工程设计是电力基本建设的重要环节,工程能否如期建成投运,保证质量,节约投资,取得更好的经济效益,设计是关键。从2007年起,我局推广采用由三台主变组成的110kV变电站的标准化的设计方案,此种设计方案从电气一次到二次方面都较原来的两台主变组成的110kV变电站更合理、经济。下面就以110kV东桥变电站的设计方案为例与同行做一些探讨(本站已于2008年1月顺利投运)。     

工业自动化控制系统的设计

工业生产过程自动化系统经过长期不断的发展,特别是在充分利用计算机技术的基础上取得了很大的进步,在生产过程中已发挥其重要作用,成为生产过程安全、稳定、自动化运行不可缺少的工具。本文从工业生产自动化现状趋势、生产过程自动化系统和生产管理系统、软PLC和软DCS、生产过程控制和管理软件的融合等方面展开论述．从工业生产与自动化控制融合环节提出工业自动化控制系统设计的独特见解。