协同工作支持在虚拟实验室中的研究与实现

指出了支持协同工作在虚拟实验室开发中的重要性,并着重介绍式,包括集中式应用程序共享和复制式应用程序共享.通过详细介绍复制式应用程序共享实现的2个重点--分发事件的选取和并发策略的控制,描述了支持协同工作的虚拟实验室的主要实现思路,给出了一个基于DirectPlay开发的协同工作功能模块的实现实例.     

CSCW系统的共享运行空间

ＣＳＣＷ系统是一个支持多用户协同工作的多应用程序集成系统。从用户角度来看存在着共享工作空间以支持多用户的协同工作；从应用程度角度观察，提出了共享运行空间这一技术概念支持应用程序的开放协调运行。并通过对共享运行空间与用户，程序和共享工作空间等实体的接口通道详细分析，提出了共享运行空间的功能框架模型。     

基于CSCW的工作组组织与管理系统的研究

在分析传统的组织结构模型和CSCW（计算机支持的协同工作）对人力资源要求的基础上,提出了一种基于CSCW思想的工作组组织与管理模型,并给出了其在“集中-分布”混合式模型中的系统实现方法．     

协同数据库中异构数据的集成技术

探讨分析协同环境下各协作方交互过程中存在的数据异构问题,针对协同数据库的特点及设计方法,提出一种计算机支持的协同工作(Computer Supported Cooperative Work, CSCW)环境下异构数据的集成结构模型,并对模块查询过程的算法进行描述,阐述可扩展标记语言(Extensible Markup Language, XML)文档与数据库数据的映射这一异构数据集成的关键技术,解决协同数据库环境下信息的共享问题.     

一个支持协作QoS要求的自适应群件对象平台

提出一个根据用户的协作QoS需求和当前协作环境进行动态自适应调整的协作对象平台,通过结构自适应调整实现了介于集中和完全复制之间的半复制式副本结构,同时通过同步自适应调整实现了介于乐观和悲观之间的副本同步策略。在实现上采用XML语言作为共享数据的表达方式,同时支持Web浏览器和用户定制客户端访问,并提供了对异构环境下协作的良好支持。     

P2P技术的应用与发展

介绍了基于P2P技术的对等网络的定义及其特点，探讨了实现P2P的即时通信、协同工作、共享和信息搜索、分布式服务功能的应用程序和支持这些应用程序的各种技术．详细分析了P2P应用程序导致的安全问题，展望了其未来的发展前景。     

一种基于移动代理的资源发现模型

在分布、异构的网格环境下,资源发现和监视机制是关系到资源共享和协同工作效率的关键。介绍了Globus中资源发现和监视服务,在此基础上提出了一种基于移动代理的网格资源发现和监视模型,并介绍了该模型中资源发现和监视的过程,给出了该模型所具有的优点。     

业务过程模型驱动的网格工作流互操作机制

从工作流调度模型、工作流映射模型和业务过程评价模型等角度，建立了业务过程模型驱动的动态网格工作流的互操作机制．通过不同层次的业务过程模型，驱动支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机，建立工作流调度模型，解决面向业务流程的动态集成问题；通过建立业务工作流、抽象工作流、执行工作流的映射模型，解决复杂业务工作流到执行工作流的映射与纵向式集成问题；通过建立业务过程选择模型，解决企业业务过程在动态联盟合作伙伴间的评价、动态选择与共享问题．     

CSCW系统中间件的设计和实现

随着CSCW应用程序在许多领域的广泛使用，越来越迫切地需要开发一种支持协同工作的通用平台，由它来提供该类系统中必要的协作功能和通讯服务，以避免在开发不同应用程序时对这些功能的重复设计，文中在分析协同应用需求的基础上提出了CSCW系统中间件设计思想，建立了中间件模型及其基本控制机制，通过使用面向对象方法实现中间件的程序设计，并提出了一套完整的API，便于用户在此基础上进行各类协同应用程序的开发。     

面向窄带环境的异地同步协同设计方法

采用多代理结构和对操作系统的内封装，将应用程序的操作命令提取出来，在异地系统间共享。讨论了建立面向窄带环境的异地同步协同设计支撑平台的关键技术，在体系结构上提出了一个基于操作信息共享的C／S结构。其中服务器上采用的协同管理方式和流量调节技术有效地保证了窄带环境的实施；客户机端的事件驱动与响应机制则严格实现了异地同步协作。按照这种思想建立的操作平台能够支持在地理上分布的工作团队通过低带宽的Internet，安全、实时地进行基于三维图形的异地协同工作。     

Study on Multi-agent Systems with Colored Petri Nets

The approach to model multi-agent systems with hierarchical colored Petri nets is introduced. In a multi-agent system, every agent is modeled with colored Petri net system, and the colored Petri net system of the multi-agent system is a hierarchical colored Petri net system, such that the agents planning deadlock detection and avoidance, can be analyzed with the Petri net system.     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

一种基于Petri网的可扩展的CIM信息系统建模方法

在对现有CIM信息系统建模方法局限性分析的基础上,提出了一种基于逐步求精的时间有色Petri网--分层时间有色Petri网(HTCPN),并给出CIM信息系统的设计框架及其HTCPN表示.介绍了利用HTCPN进行系统分析的方法.使用HTCPN可以很好地描述和分析系统的动态属性,由于引入了分层的概念,将复杂系统的设计和分析简化为简单子网系统的设计和分析,从而提高了系统设计的可扩展性和效率.     

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

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

自主存取控制的Petri网建模和分析

对计算机系统安全中的自主存取控制Ｔａｋｅ－Ｇｒａｎｔ模型提出了一种有色Ｐｅｔｒｉ网表达，并用可达性树技术对ｃａｎ；ｓｈａｒｅ问题提供了一个更为简明实用的解答。文中用一个实际的信息处理系统为例，演示了所提出的方法。     

基于模糊着色Petri网的车辆行驶状态估计

车辆行驶状态的有效估计是改善综合交通运输效能的有效途径,针对车辆行驶过程数学模型难以准确建立,依据车辆的行驶状态流跟Petri离散并行系统的相似性,提出利用具有良好层次化和时序性特点的Petri网建立车辆行驶状态估计模型。分析影响车辆状态变化的影响因素,将车速、车辆质心侧偏角以及车辆横摆角速度作为描述车辆状态属性指标,并确定输入的论域以及隶属度函数,依据车辆运动状态的可控性和驾驶舒适性建立相应的模糊规则。最后,在CPNtool中构建车辆行驶状态估计模型,采集路车试验数据对模型进行训练与测试,结果表明,Petri网模型不仅能够以可视化方式充分展现车辆状态变化过程,且能够通过着色的库所变迁确定影响车辆状态发生的关键性因素,模型的估计结果逼近真实值。     

协同设计系统中一种新的访问控制模型

在分析和总结主体对象访问模型和CSCWD(计算机支持协同设计)访问控制需求的基础上,提出一种新的访问控制模型———基于任务角色的粗粒度混合访问控制模型,解决了在主体 对象访问模型中无法根据应用逻辑相关性实施对访问对象的动态保护。提出了一个一般性的任务角色概念,它不同于传统的角色和任务。模型中利用任务角色把用户、角色和任务关联起来,成为对系统进行控制的主要手段,体现了CSCWD的面向任务的本质特征。利用赋色Petri网技术,建立了混合型访问控制模型,并对各部分的运行机制进行了分析。结果表明,该模型能够有效地描述访问过程中的动态行为,利于系统的分析验证。     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

基于Petri网和定制技术的油田档案管理系统设计

针对油田数字化档案馆中的系统模块化程度低及灵活性差等问题, 提出基于 Petri 网和组件技术的功能定制开发方法。 采用面向对象着色 Petri 网实现档案管理的层次化建模, 并添加复位弧优化档案调用流程。利用关联矩阵和可达图及相关理论, 对模型进行合理性分析。 通过模型提取组件, 建立组件信息库。 利用信息库结合用户定制的业务逻辑, 实现系统对组件的有序调用, 完成业务定制功能。 应用结果表明, 该系统定制灵活、 适应性强、 档案调用速度快, 满足实际需要。     

有色Petri网在软件开发中的应用

为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.