工作流网系统合理性的语言特性

工作流系统的合理性是描述事务处理过程的一个基本要求,目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑.该文从工作流网系统的语言角度研究了合理性的特征,给出合理性的一个网语言刻画,从而揭示了这一基本性质的行为特征.文中进一步研究同步合成工作流网系统和组合合成工作流网系统,分别给出这两种合成系统合理性保持的充分必要条件,为复杂工作流网系统合成建模与分析提供了一种新的途径.     

电子政务环境下基于PMI的工作流管理系统安全模型和授权策略研究

在对工作流的经典安全模型、PMI授权管理系统和工作流管理系统访问控制技术的研究基础上,将PMI引入到工作流管理系统经典的安全模型中,建立了电子政务环境下基于PMI的工作流管理系统安全模型,同时将基于角色和任务的访问控制引入到工作流管理系统安全模型的PMI授权策略中,扩展了基于角色的PMI授权策略．在论文的最后,对改进的安全模型进行了初步的实现,验证了模型的合理性．     

工作流技术在办公自动化系统中的应用

工作流技术是办公自动化系统中提高综合办公能力的先进手段之一，本文结合我院实际情况，建立了基于工作流技术的OA系统模型，着重分析了在OA系统中工作流的管理环境，以及对发文工作流程进行petri网分析。     

基于着色Petri网的电子商务工作流建模研究

工作流技术的核心内容就是工作流建模,但电子商务流程非常复杂,基本的Petri网往往因为细节过多而使其图形复杂,因此通过着色Petri网对电子商务系统工作流程进行建模和仿真.通过对电子商务系统的每一子流程进行建模,并利用仿真工具对模型进行分析和验证,结果表明应用着色Petri网建模可以规范其业务流程,提高其工作效率.     

OA系统公文流转模块的设计和实现

在给出工作流联盟对工作流的标准定义的同时对工作流进行详细的介绍.分析了B-S结构的特点及相对C-S结构的优点,并对基于工作流和B-S结构的OA公文流转模块的设计和实现进行了讨论.在讨论过程中对设计和实现过程中的结构设计、数据库设计、公文的保存和公文流转流程的实现等关键问题进行了详细讨论.     

异地电源制造中的动态访问控制研究与应用

基于异地制造系统的信息流动特点,在传统的访问控制矩阵基础上,提出了一种基于Petri网工作流的动态访问控制策略,给出了其访问规则和矩阵形式,并以一个方案评审工作流系统为例,说明了该方法的应用.     

协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化.     

面向角色方法在工作流仿真中的应用研究

随着工作流的发展,工作流建模技术已经成为了一个重要的课题.介绍了面向角色的建模方法,以及建模仿真平台Ptolemy Ⅱ,利用该平台的面向角色的建模思想,采用层次异构的思想组合各类组件来实现工作流建模仿真工作.同时对实际工作流模型案例进行了分析,采用面向角色的建模思想,在Ptolemy Ⅱ平台上完成了建模设计,仿真结果与模型中的计算结果进行了对比,得出二者的结果基本一致,解决了工作流仿真中遇到的并发性问题.     

基于本体论和SNMP的骨干设备性能监测

阐述了在网络管理中对骨干设备性能监测的方法.结合SNMP协议,以SNMP中MIB信息扩展为基础,设计并实现了一个具有实用价值的骨干网络设备性能监测系统.在获取各项性能指标时,结合本体论方法设计了信息检索工作流模型,并在检索过程中利用Logit模型选择最佳路径.实践证明,该系统能够及时地反映出设备性能的动态变化,极大的提高了巡检率.     

基于工作流的MIS开发工具:WF-MIS

分析了MIS开发工具支持MIS中流程定制和控制的实现的必要性。介绍了工作流技术的特点,提出将工作流技术应用到MIS开发工具中以实现MIS中的流程定制和控制;详细介绍了利用工作流构建的MIS开发工具WF-MIS的体系结构和实现过程,并介绍了如何利用其进行MIS开发．     

基于部分状态空间存储的Petri网库所界求解算法

Petri网是一种重要的形式化建模工具，有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界，主要思想为在生成状态空间过程中，通过引导消除可达图的部分回路同时结合T不变量的相关性质，以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验，通过对求解库所界的不同方法及其实验结果进行比较分析，说明了本文算法的有效性.     

着色Petri网的混杂系统仿真平台构架

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.     

Petri网动态运行可视化研究

讨论了可视化开发方法在开发Pmtri网工具中的应用，描述了Petri网的视化运行的表现形式，介绍了Petri可视化运行的设计方法。     

引入神经网络方法探讨群落内种群

神经网络作为方法论成功地应用到许多领域中,本文引入神经网络中的一些概念（如学习、稳定性、随机、能量）及其模型对群落内种群关系进行了初步地探讨,并且着重讨论种群间的关联强度,引入神经网络方法,可以大大推进生态学的研究。     

基于改进Wang-代数生成连通图全部树的方法研究

提出了一种求连通图全部树的方法,通过对Wang-代数的改进,在生成连通图的全部树时,无需进行环和运算,从而减少算法的时间复杂度;同时能求得图的全部树,并且能保证同一个树不会重复产生,克服了传统Wang-代数法求连通图的全部树时产生的冗余项问题.算例表明方法的正确性和可行性,可有效地应用于复杂电网络的拓扑分析.     

雷达网数据融合的自组织模糊神经网络模型

对雷达网的数据融合提出了一种自组织模糊神经网络模型,分析了该模型的自组织特征及神经元感应场内模糊隶属度函数最大的WTA竞争机制.通过二维舰船目标的识别和航迹融合仿真实验,证明了该方法的有效性.     

任务驱动教学法在Asp.net教学中的应用

任务驱动教学法是基于建构主义教学理论而提出的,结合Asp.net动态网站开发课程的特点,论述了任务驱动教学法在Asp.net教学中的应用.教学实践表明,在Asp.net教学中应用任务驱动教学法,可以激发学生的学习兴趣,提高学生的创新意识,取得了良好的教学效果.