基于现场总线的软件化开放式CNC体系结构

将现场总线引入控制系统的硬件体系结构。使每个外部设备都成为现场总线通信网络中的一个节点,构成基于现场总线的数控系统。使硬件安装和扩展方便,提高了系统的可靠性和控制精度结合现场总线的特点和开放式系统的要求,提出了一种基于现场总线的开放式CNC（Computer Numerical Control）系统的体系结构,该体系结构划分为应用层、控制层和设备层三个层次,对每一层的功能进行了系统的分析和描述。总线规范采用自主开发的实时串行总线技术,基于Windows2000操作系统平台,采用COM／DCOM技术的软件设计方法。实现数控系统的软件模块的重用与扩充。满足数控系统开放性的要求。     

基于Petri网的工作流建模及其优化

Petri网是一种有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统。本文在简要介绍了Petri网和工作流基本模式的基础上,利用替换规则用基本工作流模式构造了合理的Petri网模型,并对构造好的Petri网模型进行详细的分析,同时在分析的基础上提出了对应的优化方案。最后对基于Petri网的工作流模型进行了总结。     

基于Petri网电子政务系统设计

研究了基于政务流程描述网的政务流程知识描述方法,给出了其定义,并分析了政务流程过程型知识和控制型知识描述方法。在进行流程描述的基础上,研究了电子政务系统的实现技术,设计了协同控制中心,给出了其体系结构,分析了其组成及具体工作过程。     

软件体系结构中四种常见风格的形式化

许多软件系统是从体系结构的设计开始的,然而这些体系结构的设计是非形式化的,为了使软件体系结构的设计有更科学的理论基础,更易于验证和自动化推导,更易于沟通理解同时把先进的设计思想保留下来,一个合适的形式化系统是必不可少的,而且形式化也是研究体系结构其他方面的最根本的基础。文章用软件体系结构描述语言WRIGHT对四种常见的体系结构风格进行了描述,同时说明了这些风格如何在一个设计中使用。     

使用Oracle Data Guard实现高可用性系统

企业对拥有高可用性的系统有巨大需求,使用Oracle Data Guard是实现高可用性系统的解决方案之一。文章描述了Oracle Data Guard的概念和体系结构,并且对Oracle Data Guard物理和逻辑备用数据库的规划和创建方法进行了介绍。     

基于动态Wright体系结构描述语言测试方法

软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法,该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置,利用标号迁移系统LTS描述软件系统的状态变化及迁移信息,指导测试路径生成。     

供电企业配网GIS系统的应用体会

从配网GIS系统应用单位的角度介绍了配网GIS系统软件、硬件、体系结构及功能特色,并结合在系统建设及使用过程中的实际情况论述了对配网GIS系统的应用体会。     

移动集装箱式光伏系统

太阳能作为一种绿色环保的可再生能源,其发展规划已被纳入建设生态文明、保障国家能源安全的战略高度层面。在某些环境限制下,安装光伏板的数量受到限制,使其输出的电源无法满足各种发电电压需求的场合。本文描述了一种新型的移动集装箱光伏系统,适用于偏远地区需要自发电,并便于拆卸安装和运输。此系统利用标准集装箱的改造,使用多组光伏组件模块,可以满足更多发电量需求和特殊环境及用电需求的离网场合。     

水电厂自动化技术与计算机监控系统

随着水电厂自动化技术的提高。运行方式的改变，从而对现场实时监控提出了新的要求。本文针对水电厂自动化的具体情况。介绍了实现“无人值班”的自动化技术条件；描述了计算机监控系统体系结构、功能以及相关的子系统及其发展前景。     

电子商务中多Agent系统形式化建模与分析

多Agent系统(Multi-agent Systems,MAS)已在电子商务中得到了广泛应用。由于MAS是一个动态系统,现有的形式化方法不适合描述MAS的动态体系结构,而π演算适合描述具有动态结构的系统,以π演算为形式化基础对MAS进行建模与分析。通过构造一个电子商务系统的形式化模型,描述了π演算的建模和分析过程。π演算不但能描述Agent之间的交互,而且可以对系统的一些关键属性进行分析,如分析系统的死锁性等。     

计算机网络体系结构的分析和思考

将教材内容结合现有网络体系结构领域,尤其是OSI和TCP/IP方面的层级研究,选取了网络体系结构角度对计算机网络结构进行描述,主要划分为OSI与TCP/IP两种不同的计算机体系结构,通过对不同体系结构进行分层和功能描述,对各个层级涵盖的协议内容和目的进行展开说明,对不同层级之间的异同之处进行对比,综合分析了这两个体系结构不同层级的优缺点,并分别从结构方面、网络底层基础方面、简洁性方面、完善性方面及不足性方面对这两个体系结构进行评价。     

基于动态Wright体系结构描述语言测试方法

软件体系结构测试是对构件功能描述和接口描述的测试，是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法，该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置，利用标号迁移系统LTS描述软件系统的状态变化及迁移信息，指导测试路径生成。     

简论集中供热系统监控技术

提出了热网监控系统体系结构、现场控制器要具备的功能,供热系统的控制关键在于温度和压力控制,提出了温度和压力控制策略,对热网监控系统的通讯方案进行了比较,并结合实例对间接连接和混水连接系统形式的控制方案进行了分析。     

大准铁路TYJL-TR9计算机联锁系统维修管理

介绍了大准铁路所采用的TYJL-TR9计算机联锁系统,重点对其体系结构、硬件特点及现场维修管理情况进行了介绍。     

移动Ad Hoc网路由协议综述

移动Ad Hoc网是由一系列带有无线收发装置的移动节点所形成的一个无固定基站的多跳的临时自治系统。本文阐述了移动Ad Hoc网路由协议目前的研究现状，同时描述了移动Ad Hoc网的特征和设计移动Ad Hoc路由协议所面临的问题。重点综述了移动Ad Hoc网路由协议，对它们进行了分类、对比和分析。最后提出了关于移动Aa Hoc路由协议的研究热点和展望。     

自治分层规范系统模型研究

规范多agent系统通过规范控制agent个体行为实现系统宏观目标。在自然语言描述的抽象规范和操作语言描述的具体规范之间存在巨大的语义鸿沟,采用分层规范模型将高层抽象规范逐级转换成底层具体规范是解决这一问题的有效手段。但是目前的分层规范模型存在着层次过多,层间界线模糊的问题,同时规范细化和层间规范转换完全依赖手工完成,不仅降低了系统可靠性和动态适应性,同时提高了规范系统开发成本。本文提出并实现了一种自治分层规范框架模型,该模型将规范系统分成三个层次,并且在形式化规范层建立概念语义蕴涵关系和行为责任关系实现了规范的自动细化,建立行为-操作映射模型实现不同层次的形式规范间的自动转化,提高了规范系统自治性,降低了规范系统开发成本,提高了系统可靠性和动态适应性。     

录井现场无线三网合一系统

本文介绍了河南油田录并公司自行研制的录井现场无线三网合一系统．以取代传统的录井现场三网系统：该系统解决了传统三网安装不方便、信号衰减的难题,实现了视频、电话、网络三网舍一,且全部信号采用无线传输的方式,同时引进了目前最流行的云终端技术。具有安装简单、维护简单、信号稳定等优点：已申请了中华人民共和国实用新型专利。     

基于.NET的电信工单业务系统设计与实施

本文以电信管理网体系结构为蓝本,结合电信管理网在电信工单领域的设计思想,围绕电信工单业务系统的设计和应用,提出了系统的总体设计思想和问题解决方案.     

管道/过滤器式的软件体系结构的应用研究

软件体系结构设计给出了大规模软件复用,特别是领域复用的重要设计模式。体系结构描述了软件系统的整体组织结构与风格,对软件的性能和质量有直接的影响。管道/过滤器模式是一种面向数据流的软件体系结构。文章对这种体系结构做了探讨,并结合一个具体应用实例(ATM系统)给出了设计原型。     

防空武器网络化作战系统研究

系统分析了地面防空武器从平台中心化作战体系到网络中心化作战体系的发展变化,并对网络化作战体系的体系结构及动态作战指挥控制网的生成和作战流程进行了讨论,同时对网络化作战体系的未来发展进行了展望。