基于Petri网的服装设计工作流管理系统的研究

提出在基于Petri网理论的基础上扩充得到工作流Petri网,依此来对工作流过程进行建模--工作流管理中的关键技术.通过一个服装设计工作流案例阐述了基于Petri网的工作流管理系统的建立.实践表明这种工作流管理方式形象直观、简单易行.     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

统一权限管理系统单点登录的实现

针对在多个网络应用系统中,为了一并解决多个应用系统平台的用户管理和认证问题,提出了建立一个统一的、应用级的和基于角色的用户管理系统,并且提供统一的身份认证服务的思想.介绍了一种将多个应用系统整合在一起的统一权限管理系统,利用SAML解决方案,实现了统一权限管理系统的单点登录.     

基于工作流的项目管理系统的分析与设计

文章讨论了传统的项目管理系统的特点和不足，提出了将工作流技术应用到项目管理系统中的思想，提供了设计思路和方案。     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

基于Petri网的安全工作流管理系统模型

访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

数字化校园中统一身份认证平台的设计

统一身份认证平台能在高度集成的校园网络应用环境中,将相互独立应用系统中的用户和权限资源进行统一、集中管理.统一身份认证平台的设计是在开源门户系统Liferay基础上,配置LDAP和CAS单点登录服务,通过定制CAS的认证流程实现统一身份认证.     

DBB模式下基于网络平台的建设项目管理运作体系研究

项目信息门户是基于互联网技术为建设工程增值的重要管理工具,本文首先对DBB模式下建设项目的信息流进行了分析,然后主要对DBB模式下在项目信息门户这个网络平台上的文档管理、信息交流及协同工作三大核心功能的实施进行了研究。     

基于网络流Petri网模型的设计更改技术

为了实现网络流系统设计更改的响应检测,将响应检测同网络的动态表达相结合,提出一种基于网络流Petri网(NFPN)动态模型的设计更改响应检测方法.用Petri网对网络流及设计更改进行描述,建立网络流Petri网的动态模型.在分析层级网络流特点的基础上,将Petri网完整可达图的构造同设计更改的响应检测相关联.通过多级抽象化简可达图,递归实现网络整体的分析.在配电网改造设计中的应用验证了该方法的可行性和有效性,降低了状态空间的复杂度,可见该方法适用于大尺度复杂网络.     

异构环境下改进型单点登录系统研究与设计

传统应用系统用户登录模块各自独立,使得用户在访问每个系统时必须记忆大量的用户名和密码,并且重复输入,使用起来很不方便,影响了工作效率,也给网络安全带来隐患。而异构环境下改进型单点登录系统的设计应用,用户仅仅一次登录就可以访问不同应用系统,减少了用户登录认证次数,提高了工作效率,大大降低了泄密风险,值得推广应用。     

基于UML的网络管理平台的分析与设计

根据当今网络管理平台建模方法的不足,提出了基于统一建模语言UML(Unified Modeling Language)的网络管理建模方法。详细介绍了基于UML的网络管理平台的实际建模过程,给出了各种网络管理子系统包、各子系统包之间的关系、各种类图、各类图之间的关系、顺序图、构件图以及配置图,讨论了系统结构和详细设计过程,优化了网络管理平台的建模过程。     

Comprehensive evaluation of communication network based on network carrying and associating relation

In order to solve the problem of integrated management in different types of networks,a comprehensive evaluation method for a communication network is presented via network carrying and associating relation. Based on the abstract and analysis of network relation,the principle and procedure of the evaluation method are discussed. The method considers the effect of individual diversity of network running indicator,and reflects the contribution and associating degree of network carrying relation. Experiment results verify that the proposed method is correct and efficient. The research provides a new idea for the future network management.     

基于Petri网的网络订票系统换乘问题的建模优化

针对网络订票系统换乘车次时只能换乘其他车次列车的问题,建立一种基于Petri网的流程模型对网络订票系统中换乘问题进行了优化.首先分析模型中各变迁行为轮廓的弱序关系; 然后在不影响订票流程的情况下,通过增加Petri网控制结构实现了换乘问题的优化,达到了合理的换乘目的.最后通过PIPE软件对优化模型进行了仿真模拟,结果表明优化模型安全、有界.     

基于网络监听的TMN信息转换系统

描述了基于网络监听技术信息转换系统的设计与实现。此系统具有数据包捕获信息过滤和消息转发等多项功能,能很好地满足综合网管收集信息的要求,已被成功用于电力通信网管理系统中。     

基于.net三层架构的用户服务系统的设计与应用

基于.net三层架构的统一用户服务系统主要包括统一认证和组织结构管理两部分功能。统一身份认证及组织结构管理系统的目标主要包括：提供统一的、完善的、易用的用户认证和组织结构管理平台;为现存的和即将开发的各应用系统提供一个跨平台的认证授权信息管理接口,解决了传统管理系统中组织结构混乱、用户使用不便、安全性差等问题;完善用户管理功能的同时,提高统一企业平台的安全性,抵御潜在的安全风险。     

进程网建模工具的设计与实现

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.     

基于无线传感网络的环境温度监测系统设计

为满足环境温度监测系统远距离,低成本,部署灵活等要求,设计并实现了一种树型结构的无线传感网络,通过无线传感网络采集环境温度数据并上传监控主机,实现远距离检测和监控.首先介绍了节点硬件设计,然后根据环境温度监测的应用需求进行软件设计,采用休眠机制以降低节点的功耗,最后将系统进行实地部署与测试.结果表明:该系统具有较高的实用性和可靠性.