基于Modem的电压监测系统软件平台设计与实现

介绍了基于调制解调器的电压监测系统的上位机设计与实现方法以及系统软件结构框图,使用AT命令对调解调器进行编程,用微软的ActiveX控件MSComm实现了串行通信,为了确保可靠的通信,构造了系统的Petri网通信模型,分析的结果表明,本文建立通信模型不会发生死锁现象,还根据实际公共电话网的通信情况,介绍了一种如何从受干扰的数据中提取正确数据的方法,此方法呆大大提高通信效率,最后介绍了软件控制Access数据库进行报表打印的方法,这种方法使得打印的报表更加美观和专业化。     

测控网络技术在系统检测中的应用

介绍了利用总线测控网络技术,对汽车硅油风扇离合器性能测试系统的研究和开发,实现了3台离合器同时进行实时在线智能、实时显示测试曲线、测试结果打印以及报表等功能。同时该测试系统具有256个通道的数据通信能力。     

VB中实现报表打印的两种方法

当我们用vb开发数据库应用程序时,报表打印就成为一个很重要的环节,本文就介绍了在VB中打印报表的两种方法,一种是利用vb自带的报表设计器,另一种方法能够将VB中的数据输出到Excle里面,然后利用Excle的打印功能灵活的实现打印。     

巧用Visual FoxPro制作套表打印

从报表创建、报表布局及打印调试等方面介绍了利用Visual FoxPro的快速报表实现套表打印的具体操作步骤。在Visual FoxPro下制作报表简单、实用、方便，很好地解决了数据套表打印问题。     

单板机处理系统中的汉字显示及打印

本文介绍了在单板机处理系统中的CRT汉字显示和汉字报表打印的必要性及其实现方法,并介绍了索取汉字16×16点阵字模的简易方法及字模数据的横纵转换程序。     

基于C/S结构的报表传输系统的设计与实现

以局域网通信传输报表系统为背景，说明了设计报表传输系统的实现方法，为报表传输提供了一套简洁、高效的方法，采用C／S体系结构，实现了三级管理系统的集成化．提出了动态配置数据库的新方法，是对传统模式的改进．实现了网内传输、审批、汇总、查询及打印等功能．     

学校体运会成绩统计微机处理系统

文章介绍了一个在APPLE-Ⅱ微机上实现的学校体育运动会成绩统计微机处理系统的设计。系统使用多种数据组织、存放不同数据。为便于参数变化情况下打印报表和程序模块间的通讯,把各类报表文件的主、宾词数据变量和入、出口参数变量存于变量文件中。同时,采用二维表主、宾词平面换位、自动索取词源和自动调节宾词词距的灵活报表打印技术。     

VFP中动态打印报表的几种方法的实现

本文从数据动态和报表格式动态以及打印动态三个方面阐述了在VFP下动态打印报表实现的几种方法。     

能源数据采集与网络管理系统的设计与实现

介绍了能源数据采集系统在冶金实际生产中的应用.从数据采集、能源计量、画面监控、报表打印、数据查询等方面,论述了该系统的基本组成及功能.利用串行通讯技术实现了应用.     

PowerBuilder应用开发系统中的动态数据窗技术

文章介绍了在ＰｏｗｅｒＢｕｉｌｄｅｒ应用开发系统中的动态数据窗技术的实现过程及应用等，该数据窗技术主要功能是在打印一个报表，特别是单证的套打时，实现在程序运行中调整报表中的一些字段的位置、字体、大小，及隐藏某个字段，并可调整整个数据区各数据的位置。     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。     

列控-安全信息传输系统可靠性及安全性的形式化分析

基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.     

基于Petri网的间歇式化工生产过程建模与调度监控器设计

针对间歇式化工生产过程,提出了一种基于Petri网的调度监控器设计算法.首先给出了间歇式化工生产系统的建模方法,并得到了其Petri网模型;其次将生产工艺描述为字符串控制目标;随后,给出在对象Petri网上设计工艺控制库所的方法,使得闭环系统满足给定的字符串控制目标;最后,利用某化工厂一种树脂生产过程的建模和调度监控问题验证了本文的方法.     

间歇式化工形式化建模与顺序控制器设计

摘要：
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词：
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号： TB 61; TK 31
文献标志码： A     

基于HTPN战时通信装备维修保障系统建模

为了调整和优化通信装备维修保障系统中各类资源配置,采用DEVS(Discrete EVent System Specifications)与时间Petri网建模理论相结合的方法,对战时通信装备维修保障系统进行分层次建模,构建了战时通信装备维修保障系统层次时间Petri网(HTPN:Hierarchy Time Petri Net)模型,并讨论了模型的具体应用。该模型克服了普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析和仿真实现。通过此模型还可分析得出通信装备最短的维修时间,为装备维修的决策阶层提供决策支持,进一步提高了军队装备维修保障的能力。     

基于MSP430与Modem的光伏电站远程监控系统设计

文章基于MSP430单片机和Modem设计了一种光伏电站远程监控系统,实现对光伏电站运行参数的实时采集和运行状态的远程监控;介绍了该系统的组成、功能及其软硬件设计,重点介绍了Modem在通信中的应用和MSP430单片机通讯设置、波特率的计算方法;该系统电路简单,运行可靠,很好地实现数据实时、准确地传输.     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

面向对象的 FMS 仿真、调度与控制的统一模型

分析了传统ＦＭＳ设计中存在的问题以及建立统一模型的必要性，提出了基于统一仿真模型的解决方案；作为建立统一模型的突破口，提出了虚拟工作站的概念，并初步探讨了基于虚拟工作站的ＦＭＳ控制模型；最后探讨了将面向对象的建模技术与Ｐｅｔｒｉ网相结合以构建统一模型的思路．     

复杂焊接机器人系统的协同控制

利用Petri网理论对多台机器人焊接系统进行了建模,根据系统的特点设计了基于局域网络通信的软件控制系统,实现系统的全局调度;利用建立的系统模型设计了多机器人铝合金交流脉冲GTAW的悬空角焊工艺实验.实验结果表明:系统各个机器人动作协调正确,未发生动作干涉等异常情况;焊接电弧燃烧稳定,工艺设计合理,加工过程流畅.焊接实验验证了系统建模控制的正确性,拓展了Petri网理论在焊接领域的应用.