基于Perti网的并行测试程序运行管理模型

并行自动测试系统中,为了对并行测试程序运行管理机制的运行状态进行分析,必须对该问题进行建模和仿真.在基于Petri网理论的基础上,提出了并行自动测试程序的运行管理模型.该模型基于Petri网描述测试流程的资源申请、资源分配、流程启动、运行监控、流程终止、资源释放的全过程.在该模型下对一个系统实例进行了仿真分析,实验结果表明,该模型适于描述该类系统的运行管理状态.     

网络安全审计与监控系统的设计与实现

该文给出了网络安全审计与监控系统的整体设计,提出了系统监听方式下和网桥方式下的拓扑结构,该文还给出了系统的功能模型实现流程．包括安全审计模型的实现流程和网络监控模型的实现流程,系统中的IP地址盗用模块设计和代理服务器监控模块设计和实现。该系统通过测试,运行良好,取得了较好的实用效果。     

网络安全审计与监控系统的设计与实现

该文给出了网络安全审计与监控系统的整体设计,提出了系统监听方式下和网桥方式下的拓扑结构,该文还给出了系统的功能模型实现流程,包括安全审计模型的实现流程和网络监控模型的实现流程,系统中的IP地址盗用模块设计和代理服务器监控模块设计和实现。该系统通过测试,运行良好,取得了较好的实用效果。     

Internet环境下政府并联审批系统研究

本文首先讨论了并联审批系统的目的与流程,在此基础上提出系统的设计思路与采用的体系结构并加以实现,文中还重点讨论了数据库模型、工作流引擎、XML、数字签名等主要实现技术.     

短信服务在企业工作流中的应用

介绍了工作流的基本概念,分析了目前运营商提供的短信服务特点,提出了一种基于短信服务的信息交互模型。该模型充分利用了短信服务的即时性．可提高流程参与者与工作流服务器之间信息交互的效率。将该模型用于投诉流程管理系统的建设。系统运行效果表明,该模型能有效地减少流程参与者接单及处理工单的时间,缩短工作流运行的时间,提高了企业处理投诉工单的效率。     

一种基于工作流的软件可靠性评估方法

随着工作流系统在企业运营中担负越来越重要的角色,工作流可靠性研究的重要性也日渐增加。文中提出了一套完整的工作流系统可靠性评估方法,帮助企业检验工作流系统的可靠性。首先,文中对工作流系统的体系结构进行分析,其中重点分析了工作流系统的流程及活动模式,提出一个以流程为基础的工作流可靠性评估方法。文中采用基于马尔可夫链的流程可靠性算法,将活动中的可靠性数据整合,计算流程的可靠性数据。在此基础上,基于Additive模型,根据流程的使用率将多流程的可靠性信息进行整合,最后求出工作流系统的可靠性数据。根据该方法,设计并实现了工作流系统可靠性评估软件,并通过在。 NET工作流平台上的实验,验证了该方法的可靠性预测效果是令人满意的。     

电信业务实时计费帐务系统的设计

本文提出了一个电信业务实时计费帐务系统的设计模型 ,主要包括系统总体结构设计、软件模块与流程设计、数据结构设计与运行设计 ,最后对该系统的设计要点做了小结。     

石油顶驱钻机PDM原型系统开发研究

文中设计了顶驱钻机PDM原型系统的系统结构和数据库，研究了数据库管理系统的功能和数据的存储模型，建立了PDM原型系统的基本框架。通过定义审批流程的操作，建立了原型系统中审批发放流程的过程模型；研究了CAD系统与PDM系统间的接口集成，提出了集成的解决方案，并以Proe2001为例，实现了Proe2001和PDM原型系统之间的集成。     

基于接口变迁的交互流程模型挖掘方法

流程模型挖掘是基于系统运行记录下的事件日志来还原特征对应流程模型的技术。目前已有的挖掘方法多是基于由系统分解出的不同模块之间交互频繁且模块包含特征较少的场景。在挖掘包含较多特征、交互不频繁的流程模型方面,目前的方法存在一定的局限性。鉴于此,文中提出了基于接口变迁的交互流程模型挖掘方法。首先,利用现有的挖掘方法来挖掘模块内部的特征序,确定初始模块网;其次,遍历事件日志以查找疑似接口变迁;然后,通过挖掘特征网来确定接口变迁,并对接口变迁增加接口库所;最后,基于开放Petri网,利用合成网的观点将交互模块合成为一个完善的流程模型Petri网。通过实例分析,验证了该挖掘方法的有效性。     

面向多智能体的流程工业运行任务模型研究

流程工业不同运行任务之间关系复杂,运行任务的模型也很复杂,采用合适的分析方法既可以简化问题,同时又能够较好地把握问题的本质。在这项工作中,作者采用了面向智能体(Agent)的方法分析流程工业运行系统,提出过程运行任务的智能体模型,并给出流程工业的多智能体结构。讨论了不同智能体之间的协调和协作关系,重点研究管理智能体模型,给出管理智能体的结构图。最后指出运用智能体模型分析过程运行系统的优点及给实际应用带来的效益。     

车辆系统集成化建模与换档规律特性仿真

将传动系统的虚拟样机模型与操纵控制系统的模型集成起来,实现对包括发动机、液力变矩直至行动系统在内的换档动态特性的仿真,建立换档规律、液压控制系统、动力传动系统及行动系统的集成化模型,并在虚拟样机及控制软件中实现多学科多软件的联合仿真,在对车辆的32 km/h加速性能的仿真试验中,得到相应的仿真时间以及相关动力传动系统的动态特性.     

基于状态转移图的虚拟集群节点可用性分析

针对虚拟集群节点的可用性评价,提出了一种基于状态转移图的虚拟集群节点可用性模型。首先,通过分析虚拟集群节点的部署方式和运行过程,确立了虚拟集群节点的5种生命周期状态,并阐明了5种生命周期状态之间的转移关系;然后,对于无备用节点和有备用节点两种情况下的虚拟集群节点,分别给出了相应的状态转移图,并建立了一系列的可用性模型。根据实际虚拟集群系统的运行日志,设定所提出的虚拟集群节点可用性模型的参数值,然后进行了多次数值模拟实验。实验结果表明,所提出的虚拟集群节点可用性模型的分析结果与实际可用性水平一致,能够正确地反映虚拟集群节点的可用性规律。     

基于OpenGL的卫星在轨运行可视化仿真系统设计与实现

针对如何构建一个卫星在轨运行可视化平台的现实问题,设计出一种基于OpenGL的卫星运行可视化仿真系统;介绍了该仿真系统的逻辑结构和网络结构,采用ADO技术实现了对卫星运行数据库的访问,利用3DS MAX构造了卫星模型和地球模型,实现了卫星在轨运行、覆盖效果、通信链路情况的可视化;实践证明,该仿真系统能够实时仿真卫星在轨运行的全过程,为卫星在轨实时管理提供了辅助决策支持平台;同时,该系统为航天部队网络化练兵提供了虚拟训练平台;对构建信息化条件下的虚拟战场仿真系统具有一定的借鉴意义。     

云计算中虚拟机资源自动配置技术的研究

针对云资源管理者所面临的负载动态变化以及弹性资源需求等问题,提出一种虚拟机资源的自动配置管理技术,把强化学习技术引入云虚拟资源的管理,将虚拟机的配置管理过程建模为马尔可夫决策模型,根据系统的运行状态以及输入负载的动态变化自动决策添加或删除虚拟机的行为。实验结果验证了本技术能够根据负载的动态变化完成云虚拟资源的自动配置管理任务,及时响应终端用户的实时性任务请求,保证了云资源使用者的SLA需求。     

基因序列分析软件Hmmpfam的可扩展并行性能优化

基于MPI(message passing interface)平台实现了HMMER软件包核心程序之一Hmmpfam的大规模并行计算.该版本针对原PVM(parallel virtual machine)并行版本在并行规模扩大后,master易成为通信瓶颈的问题,对通信结构进行了优化,提出了一种新的三层通信结构,在序列和HMM模型的两个层次上实现了并行化,并分别提供了有效的负载平衡策略,同时优化了I/O性能,在700多台处理机上达到95%的效率.     

电站虚拟仿真系统与SIS数据集成及应用研究

以600MW燃煤机组、Foxboro的1／A DCS系统和GE的XDPSDEH系统为研究对象,采用图形化建模和虚拟DCS技术,开发了基于Web平台的电站虚拟仿真系统,并通过虚拟仿真系统与SIS数据集成,建立虚拟仿真系统的初始工况,为全工况运行分析提供起始运算点。介绍了虚拟仿真系统的设计思想、体系结构以及开发过程,阐述了虚拟仿真系统与SIS数据集成的具体过程及应用。     

一种基于虚拟XML技术的XQuery查询器系统框架

1.引言 XML因具有可以直接在互联网(Internet)上使用、支持大量不同应用、与SGML兼容、XML文件容易编写且能够让人直接阅读等优点,受到人们的普遍关注,应用日益广泛。但因XML文件既包含内容也包含(通过标记表示的)内部结构,Web数据资源采用XML文件来描述,在下述方面可能会给应用处理带来不利影响:1)当XML文件内容繁多时,文件庞大,影响内存的处理效率;2)当需要在XQuery查询的     

An experience report on the verification of autonomic protocols in the cloud

Cloud applications are often complex distributed applications composed of multiple software components running on separate virtual machines. Setting up, (re)configuring, and monitoring these applications are complicated tasks because a software application may depend on several remote software and virtual machine configurations. These management tasks involve many complex protocols, which fully automate these tasks while preserving application consistency as well as some key properties. In this article, we present two experiences we had in formally specifying and verifying such protocols. The first one aims at designing a reconfiguration protocol of a component-based platform, intended as the foundation for building robust dynamic systems. The second aims at automating the configuration task of a set of virtual machines running a set of interconnected software components. Both applications are specified using the LNT process algebra and verified using the CADP verification toolbox. The use of formal specification languages and tools was a success. We conclude with a number of lessons we have learned while working on this topic in the last 3 years.     

VMOffset:虚拟机自省中一种语义重构改进方法

虚拟机自省是一种在虚拟机外部获取目标虚拟机信息,并对其运行状态进行监控分析的方法.针对现有虚拟机自省方法在语义重构过程中存在的可移植性差、效率较低的问题,提出了一种语义重构改进方法VMOffset.该方法基于进程结构体成员自身属性制定约束条件,可在不知道目标虚拟机内核版本的情况下,自动获取其进程结构体关键成员偏移量,所得偏移量可提供给开源或自主研发的虚拟机自省工具完成语义重构.在KVM（kernel-based virtual machine）虚拟化平台上实现了VMOffset原型系统,并基于不同内核版本操作系统的虚拟机,对VMOffset的有效性及性能进行实验分析.结果表明：VMOffset可自动完成各目标虚拟机中进程级语义的重构过程,具有可移植性与安全性,且仅对目标虚拟机的启动阶段引入0.05%之内的性能损耗.     

基于硬件虚拟化的虚拟机进程代码分页式度量方法

云环境下恶意软件可利用多种手段篡改虚拟机（VM）中关键业务代码,威胁其运行的稳定性。传统的基于主机的度量系统易被绕过或攻击而失效,针对在虚拟机监视器（VMM）层难以获取虚拟机中运行进程完整代码段并对其进行完整性验证的问题,提出基于硬件虚拟化的虚拟机进程代码分页式度量方法。该方法以基于内核的虚拟机（KVM）作为虚拟机监视器,在VMM层捕获虚拟机进程的系统调用作为度量流程的触发点,基于相对地址偏移解决了不同版本虚拟机之间的语义差异,实现了分页式度量方法在VMM层透明地验证虚拟机中运行进程代码段的完整性。实现的原型系统——虚拟机分页式度量系统（VMPMS）能有效度量虚拟机中进程,性能损耗在可接受范围内。