基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模，但缺乏有效的模型检测的方法，使用形式化方法对UML模型进行分析，可以发现UML模型的设计问题，提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网，既是一种图形化建模工具，又是具有严格的语法语义定义的形式化方法。通过引入事件托肯，改进了将UML模型转换为对象着色Petri网的方法，结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型讲行了分析．验证了模型的一系列性质．     

基于Petri网的煤矿斜巷监控系统研究

针对煤矿斜巷运输安全的实际,提出了一种基于PLC的集散控制系统,并利用Petri网对其进行建模。在建模过程中一方面采用了分层建模的技术,降低了模型的复杂性,并提高了系统的可靠性;另一方面,合理地采用了不同的控制方式,在充分保障系统安全性的前提下,尽可能地提高系统的实时性。此外,通过对Petri网模型的逐级分解、验证和优化,最终得到一个具备良构特性的Petri网模型。     

基于Petri 网/COM的物流系统建模仿真技术

本文针对制造业的复杂物流系统,采用分层有色Petri网进行建模,并提出一种基于CO M的HCPN仿真技术,其模块化和层次化的概念不仅为通用的物流仿真提供了清晰、灵活的解 决方案,而且使得其具有很强的灵活性和可扩展性．文中以某钢厂炼钢连铸物流系统为例, 描述了如何使用Petri网和COM相结合构造物流仿真系统．本文的方法同样适用于FMS等其它D EDS的建模与仿真．     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。     

基于对象Petri网工作流建模的研究与实现

结合XPDL（XML Process Definition Language）标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。     

基于Petri网的电力系统监控数据多点校核方法

由于人为误操作和数据库系统异步因素,电力系统监控数据存在错误风险,需要对监控数据进行多点校核来保障其一致性和正确性,可靠的监控数据保证电力系统的安全运转;然而多点校核业务流复杂且对数据精度要求高,目前的人工校核方法不仅成本高,且精度和效率低,不能保证整个监控数据的实时校核工作;为自动化监控数据多点校核过程,需要对整个业务流建模,针对该问题,提出一种基于Petri网的监控数据多点校核动态建模方法;首先将监控系统的校核业务背景形式化Petri网中的具有不同约束的节点;然后使用工作流Petri方法对校核的业务流程进行形式化定义、并将该业务流程用Petri网建模成为网状模型;最后,针对该模型提出一种化简技术对其进行化简,并证实该化简方法的有效性和该模型能拟合监控数据多点校核的整个流程。     

基于扩展Petri网的系统建模及形式化验证方法*

嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。     

基于Petri网的物流仓储系统的建模研究

Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并有图形方法的直观性和逻辑方法的概括性.运用Petri网建立入库子模型及出库子模型,并使用基本Petri网和随机Petri网的化简规则对相应模型进行化简继而分析,得出优化结论,从而实现物流仓储系统的建模研究.     

基于着色Petri网的工作流系统子流调用机制的研究与实现

提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。     

基于Petri网的CSP并发系统验证技术研究

通信顺序进程(CSP)和Petri网是两种重要的并发系统建模工具。CSP语言具有高度抽象性,可有效刻画并发进程之间的各种相互作用,但在物理结构的描述与验证分析方面显得不足。Petri 网是一种形式化、图形化的并发系统建模和分析工具,侧重于系统的物理结构描述和性质分析。结合两者优点,首先利用CSP描述待验证的并发系统,然后将其转化为Petri网来分析系统的动态行为特性,最后利用性质分析工具TINA对系统性质进行分析和验证。实验结果表明,传统的CSP进程性质验证工具不能验证CSP进程的安全性,但其转化为Petri网后可有效地分析出导致安全性不能满足的危险因素,从而扩大了CSP描述的并发系统可验证性质的范围。     

光纤通信技术及其在远程监控系统中的应用

介绍了光纤通信技术的原理。通过一个视频远程监控系统的应用实践,介绍了光纤通信技术应用中的经验和基本测试方法。     

通信卫星监控和数据采集系统初步研究

通信卫星监控和数据采集系统（ＳＳＣＡＤＡ）专用于低数据速率卫星通信,可构成高性能价格比的大区域应用的专用卫星通信网。网络结构为星状网,远端数据采集与监控平台（ＤＣＳＰ）（即远端站）由一个全双工的星状网中的普通中心站控制。适于低成本解决传统的低数据速率卫星通信领域的难题,例如频率稳定性、相位噪声、抗干扰等。灵活的接口和协议选择为数据采集、远端监测、控制和交互应用等提供了高性能价格比的解决方案。通过模块设计可以进一部扩展网络功能。这就确保在适应网络功能需求和可用性的前提下最大限度的降低系统成本。它可应用于ＳＣＡＤＡ远端监控和数据采集、交互式数据通信、点到点及点到多点的数据通信等。     

无线通讯在水处理监控系统中的应用

简要介绍了采用无线以太网通信技术和先进的工业监控技术的热轧水处理系统的设计和应用。该系统通过利用西门子S7—200和S7—300PLC组成的混合系统实现了现场水处理设备的自动控制和远程监控,达到了系统设计的预期目标。     

直接转矩控制系统通信监控软件的研制

使用VB6.0对异步电动机直接转矩控制系统上位机通信监控程序进行了设计和开发.上位机通信监控程序可以完成系统参数的设置和传递,监控系统的运行状况并实时显示,对系统数据库进行实时存储和更新.在设计的过程中采用MSChart控件与Access数据库相结合完成了系统的实时监控,采用MSComm控件完成了上位机与下位机之间的数据传递.具有界面友好,便于操作,实时性强的特点.实践证明,该应用软件可以降低下位机设计的复杂程度,便于网络控制和远程控制.     

充电设施监控系统中的数据并发控制研究

针对充电设施监控系统在大并发数据处理上的难点,提出基于M/M/c排队论模型的数据并发控制算法。对数据帧在监控系统中的传输过程进行分析,确定解决通信服务器中数据传输的实时性和并发性问题是提高监控系统性能的关键。根据随机过程理论得到充电机数据帧进入通信服务器的过程服从泊松分布的结论,利用排队论建立并发控制算法的数学模型,采用多线程和多队列技术实现数据并发处理算法。根据性能指标,对损失代价和最优网关数量的关系进行定量分析,得到求解最优网关数量的优化方法。将并发处理算法应用到大型充电站中进行分析实验,结果表明,该算法不仅能够满足数据帧传输的实时性和并发性需求,且证明了网关优化方法可准确推导出最优网关的数量。     

Unix软件平台用于实时监控系统的研究

提出并讨论了Ｕｎｉｘ操作系统适用于监控系统的特点,并提出了对Ｕｎｉｘ进行实时化改造的方案以及对系统进行性能测试的工具,经过实时化改造后,Ｕｎｉｘ系统不失为实时监控系统的首选平台。     

基于Web的热力联网监控系统研究与设计

针对目前热力联网管理系统中存在的问题,提出了一种基于Web的新型热网监控系统方案,详细阐述了系统的功能,软、硬件的实现方法以及通信方式.该系统已经在长春热电二厂热力公司所属管网换热站投入运行,实现了系统稳定运行,有效地节约了资源,创造了良好的经济效益.     

基于GSM/SMS的分布式测控系统的通讯实现

针对传统的分布式监控系统数据通讯采用数传电台通讯方式,当系统用于地理位置较为分散、地势起伏较大的地区时存在数据容易丢失的问题,设计了基于GSM/SMS无线通讯方式实现数据通讯。利用GSM Modem TC35T分别与系统管理、现场两级的计算机连接,通过GSM短消息方式实现系统两级间的数据传递和命令传达,从而保证了数据传输的质量。通过在集中供热网工程中的实际应用说明,这种通讯方式不受系统地理条件的限制,在数据传递过程中确保传输的快捷性和数据的可靠性。     

基于GPRS的抽油机远程监控系统研究

针对油田油井数量多且数据量大的特点,提出一种新型基于GPRS的抽油机远程监控系统;整个系统包括现场层、监控层和管理层;这种结构可以避免数据阻塞,提高系统可靠性;从自动控制理论看,整个系统由大闭环控制回路和小闭环(位于现场层)控制回路组成,既可以由管理层对现场油井进行控制,同时现场实时控制器也可以实时控制抽油机转速,并对一些紧急事件进行处理;对现场层、监控层和管理层的硬件、软件系统设计方案进行了详细介绍;通过研究,对油田远程监控系统的研究起到一定的促进作用。     

基于Web的现代企业综合监控系统研究

提出了基于Web的现代企业综合监控系统概念，详细论述了系统结构、各类监控系统综合集成的方法，涉及的关键技术。