一种基于实例状态的工作流系统监控方法

工作流监控是处理工作流运行期各种例外、保证工作流实例正确高效执行的有效方法.基于状态的工作流监控方法不仅可以实时处理实例执行过程中出现的各种例外、消除实例运行的阻塞,并能对任务执行进行必要的干预.但这类监控也经常造成工作流模型及实例的不一致,如不加以调整,会导致后续任务无法执行.在对ADEPT模型及过程实例进行形式化定义基础上,给出用于验证过程模型正确性和过程实例一致性的判定规则;提出一个基于状态的实时监控方法,该方法由一组状态转换原语和过程实例转换算法组成.采用该监控方法并结合上述判定规则,在完成各种监控任务的同时,保证了模型的正确性和过程实例的一致性.最后讨论了原语操作的完备性和一致性.     

面向监控的工作流管理系统的设计

为了提高工作流管理系统的可信性,在扩展开源项目uEngine工作流管理系统的基础上,设计并实现了监控功能,可有效的对工作流实例进行实时和动态的监控。将其应用到某大学电子校务平台上,取得良好的效果。     

一种基于集成可信身份识别和访问管理方法的安全可信网络框架

本文提出一种基于集成可信身份识别和访问管理方法的安全可信网络框架,该框架提供了一种灵活建模和描述数字用户身份的机制,同时支持基于事务的隐私保护和个人数据获取,以及灵活的第三方问责机制与端到端的安全交流,从而完成可信认证。     

面向网格监控的工作流建模研究

网格监控系统种类繁多而且大多具有自身特定的应用领域,有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基于活动网络图为网格监控的数据处理流程建立工作流模型并进行语义描述。通过阐释网格监控架构和具有代表性的网格监控系统,总结分析了3种监控过程的一般数据流程,为典型的数据处理流程设计了工作流模型,给出了主要工作流模型的形式化说明。此建模方法有助于网格监控模块的设计,同时为面向网格监控的信息处理过程的分析与评价提供了一种可供参考的形式化语义。     

一种软件行为动态可信研究方法及其可信要素

在信息安全领域中,软件的可信是在可用性、可靠性和安全性的基础之上建立的,是软件开发人员和用户都十分关注的问题。本文总结了可信和软件行为的概念,分析了软件可信研究的主要问题和方法,基于信任的定义和软件行为的特点,提出了一种软件动态可信研究的方法及软件行为动态可信的若干要素。     

工作流挖掘：一种新型工作流自动化建模方法

为解决传统工作流建模方式主观性强、效率低以及成本高等问题，出现一种从工作流日志中自动化推导工作流模型的建模方法，又称工作流挖掘。这种新方法在国际上还处于研究初级阶段，但已引起广泛关注。该文对当前主要研究学者的工作及挖掘算法进行总结，介绍了两种不同类型挖掘算法的具体建模过程，并对其性能进行比较分析，用实例进行解释说明。     

一种面向等级保护的多级安全域间可信互联方法

通过分析等级化信息系统安全应用支撑平台的设计结构,针对不同等级间信息系统的互联会导致许多额外风险等问题,将可信网络连接(TNC)思想引入到定级系统应用平台的互联中,提出了一种面向等级保护的多级安全域间可信互联方法,设计了域间多级可信网络互联的框架,说明了架构运行的控制流程,并将其应用到具体的等级化信息平台的互联中,给出了实际互联方案,并对互联可信性进行了分析。为保障等级化安全应用平台跨域互联的可信性和安全性,特别是减少不同等级应用平台互联带来的额外风险,提供了有效的互联技术框架和方法。     

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

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

一种面向工作流安全审计的扩展模型挖掘算法及应用

工作流系统特有的内在领域知识和逻辑性使得简单应用现有的安全审计技术将会造成这些信息的丢失,从而降低安全监测的准确性和效率。另外,现有的工作流模型挖掘技术能较好地获取流程任务间的关系模型,有助于安全审计分析,但大多缺乏分析数据流与任务流的内在联系。因此,对工作流模型挖掘α算法引入了数据流的分析,使其在安全审计中有效地进行异常检测和入侵检测,从而提高了审计分析的准确性和有效性。     

特克斯河引水枢纽监视与测控系统

主要论述了特克斯河引水枢纽监视与测控系统的组成，功能，特点，系统实现了对枢纽中的闸门开度，设备运行状态，上下游水位，灌渠引水流量的测量，监视和控制，并对数据进行实时自动采集，存储，查询，召唤打印报表和异常报警，水位测量误差＜1cm，闸门开度测量误差＜0.5cm。     

基于千兆位以太网的监控系统设计

论述了千兆位以太网的优点和基于千兆位以太网监控系统的组成功能及其网络的选取，系统实现了对闸门开度、设备运行状态、上下游水位等的测量，监视和控制，并对数据进行实时自动采集、存储、查询和异常报警。闸门开度测量误差＜1cm，最大量程为10m。     

一种用于电子政务系统集成建模的方法

本文介绍了当前电子政务系统集成中面临的一些问题,并结合电子政务系统的特点,利用Web Services技术和MVC模式,提出一种新的电子政务系统集成模型,该模型能够很好地解决当前电子政务系统中原有工作流子系统异构集成的问题,并能提高系统集成后的可管理性。     

基于MCGS的供水泵站的远程监控系统

在许多企业或小区中,都建有独立的供水泵站,这种小型泵站多数采用变频恒压供水,现场控制.介绍了一种基于MCGS的恒压供水远程监控系统,实现了供水泵站远程自动控制与管理,具有广阔的应用前景.     

基于免疫机理的计算系统性能监控和评估

对于分布式高性能计算系统来说,模拟免疫机理实现计算系统的性能监控和评估是一个崭新的研究途径.分析和比较了免疫机理和计算系统抗衰之间的异同,构建了基于多Agent的系统抗衰逻辑模型,模拟免疫机理对计算系统的性能进行监控、诊断和建立性能衰退的数学模型,并在仿真实验中评价了性能监控对于所监控的计算节点的影响.在此基础上以一个音像资源事务处理系统为背景进行了应用研究,给出了一个两阶段超指数分布的数学模型来评估性能.仿真实验和应用研究的结果表明方法是有效可行的.     

一种基于多串口卡的中波发射机监控系统

提出基于多串口卡实现低成本的中波发射机通用实时监控方案;基于Windows API实现了多串口卡数据收发模块,并将中波发射机所需采集的模拟量、状态量以及执行命令分成实时数据和非实时数据两类,对这两类数据采用不同的采集频次,实现用户对实时数据监控的要求;对各发射机设备进行数据采集时采用了统一发送-流水接收的处理方式,即统一地给各发射机发送数据采集命令,而以流水的方式依次处理接收数据,提高数据采集的效率;监控系统在Delphi7.0+SQL2000平台下实现,实际运行表明,该监控方案是有效的。     

网络监控系统的设计和实现

文中设计的网络监控系统使用软路由技术可以通过软件实现跨网段的连接,可以根据自己的需求在不同的网络上实现统一的监控管理。它可用于图书馆的管理系统、几个电子阅览室、语音室、多媒体教室等。软件全部代码使用VC++开发,对网络控制直接基于系统的底层进行设计,与操作系统结合紧密。它能实时地、动态地对所辖区所有监控元进行监视、控制与管理;采用多种记费方式。文中还给出了系统的实现情况。     

试析计算机管理系统的安全防控策略简

在计算机管理系统实际运用中,往往存在着不同程度的安全问题,主要体现在系统自身和外部因素两个方面。为了应对这些问题,需要根据实际情况采取相应的安全防控策略。文章介绍了计算机管理系统存在的安全问题,并根据具体情况提出了相应的安全防控策略,希望能够对加强计算机管理系统的安全防控提供指导。     

一种结构化的工作流过程建模方法

提出了一种结构化的工作流过程建模方法,并给出了相应的过程建模算法和过程模型分析,从而证明了所提出的方法的有设性。