基于TCPN的产品协同设计过程时序逻辑推理研究

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.     

模糊着色Petri网及其在工作流建模中的应用

Petri网是当前工作流建模中广泛采用的工具之一，针对工作流过程定义中模糊信息的描述和处理问题，提出模糊着色Petri网的描述方法，并给出基于模糊着色Petri网的推理过程，最后给出一个简单业务流程的基于模糊着色Petri网的工作模型，并对该模型进行了分析。     

FPN推理模型在上下文感知系统中的应用研究

研究模糊Petri网模型在上下文感知系统中的快速推理算法.针对模糊Petri网的通用推理算法不能解决“或逻辑”问题,提出了模糊Petri网推理算法从变迁开始搜索,区别于通常从库所开始搜索的策略,有效解决了“或逻辑”问题;并在不增加虚库所和虚变迁的前提下对变迁先排序后再进行推理,降低了算法的空间和时间复杂度.最后,对模糊Petri网模型和推理算法进行仿真,实验结果验证了该算法的有效性.     

一种新的基于直觉模糊Petri网的模糊推理算法

基于模糊Petri网的推理机制研究是模糊Petri网领域的热点问题之一。在基于直觉模糊Petri网模型框架下的推理过程中引入库所重排策略及可激活变迁判断公式,提出一种新的基于直觉模糊Petri网的模糊推理算法。通过与已有文献的推理算法的对比分析,在得到同样精确结果的前提下,本算法能够有效地简化推理过程,节省推理时间,降低算法的时间复杂度。     

模糊Petri网及其在模糊推理中的应用

该文首先引入模糊Petri网(Fuzzy Petri Net)的定义，给出了一个九元模糊Petri网模型，并且详细介绍了模糊Petri网的激发规则。给出了产生式规则的模糊Petri网表示的三种模型，在此基础上提出了一种基于模糊Petri网的推理方法，最后使用模糊Petri网中知识表示和运行的基本算法解决了汽车质量检验和故障分析这一实际问题。实际应用证明基于模糊Petri网的产生式规则的推理具有知识表达能力强，处理不确定知识正确，推理过程简单直观，具有一定的智能推理能力，具有较强的实用价值。     

基于模糊神经Petri网的故障诊断模型

Petri网是对具有产生式规则的故障诊断系统的有力建模工具，但其缺乏较强的学习能力．本文以Petri网的基本定义为基础，结合模糊逻辑和Petri网模型，定义了模糊Petri网模型，在此基础上引入人工神经网络技术，给出了人工神经网络的模糊Petri网表示方法，并针对工程机械故障诊断异步、离散等特点，提出并建立了故障诊断的模糊神经Petri网模型及其改进模型．基于模糊神经Petri网的故障诊断系统结合了Petri网和人工神经网络的优点，经过自学习后同时具有很强的推理能力和自适应能力．     

基于TPN的协同设计过程时间推理及仿真

针对协同设计的时间复杂性,给出了基于时间Petri 网(time Petri net,TPN)的协同设计过程模型的形式化定义,并给出了协同设计过程TPN模型的几种基本关系模型的等价约简及时间推理规则.在此基础上,利用Delphi开发了一个仿真系统,系统中可以建立协同设计过程的TPN模型;通过输入各设计活动的时间参数,可以快速地自动推出整个过程完成的最早时间、最迟时间.最后,以链式输送机驱动装置的协同设计过程为例,建立TPN模型进行了时间推理和仿真实验.实验结果为协同设计时间安排提供了参考依据.     

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。     

基于矩阵运算的Petri网反向推理算法

通过对加权模糊Petri网模型和反向推理算法的研究,建立了加权模糊Petri网的关联Petri网推理模型。在此基础上,提出了基于矩阵运算的反向推理算法。通过实例对算法进行了检验,结果表明该算法具有解决复杂问题的并行推理能力、推理效率高、推理过程简单、容易实现。     

模糊有色Petri网的形式化推理算法研究

Petri网以其图形化的表示方式广泛应用于形式化推理中.基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统Petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现.     

面向协同设计的VRML模型装配特征信息重建方法

VRML模型具有适用于网络化协同设计的许多优点,但在应用时,其离散的三角面片构型造成了大量设计信息的缺失,限制了协同设计操作的实现。由于机械设计中回转体约占70%,其特征参数（如回转中心,回转半径等）在设计过程中有重要意义。为此提出了基于向量空间的回转体特征参数提取方法,对装配特征信息进行重建,为基于VRML模型的协同浏览、尺寸信息查询、模型装配定位等操作提供重要参数。对算法复杂度进行了分析。实验表明在高精度要求下算法具有很高的效率。     

Supporting collaborative sense-making in emergency management through geo-visualization

In emergency management, collaborative decision-making usually involves collaborative sense-making of diverse information by a group of experts from different knowledge domains, and needs better tools to analyze role-specific information, share and synthesize relevant information, and remain aware of the activities of others. This paper presents our research on the design of a collaborative sense-making system to support team work. We propose a multi-view, role-based design to help team members analyze geo-spatial information, share and integrate critical information, and monitor individual activities. Our design uses coordinated maps and activity visualization to aid decision-making as well as group activity awareness. The paper discusses design rationale, iterative design of visualization tools, prototype implementation, and system evaluation. Our work can potentially improve and extend collaborative tasks in emergency management.     

A u-IT collaboration evaluation model for value networks

The paradigm of competition between companies has been changed from the competition between individual businesses to the one between the supply chain management. To gain a comparative advantage in this supply chain management, IT collaboration, which has an important strategic location for cooperation between manufacturers, sectors, systems, applications, and processes and supports them, has begun to emerge as an important key. To date, however, most of the studies have searched factors constructing collaborative networks between companies, and there are few studies on performance analysis for activating collaborative networks between companies. Accordingly, this study would like to conduct performance analysis on collaborative networks between companies for measuring performance of constructing concrete collaborative networks and activating improved collaborative network systems from an industrial viewpoint. In detail, it would like to design a model for determinants to make construct collaborative networks and to analyze the utilization level and performance of collaborative networks between companies. In addition, it conducts correlation analysis on determinants of collaborative networks to improve performance of these collaborative networks.     

Towards a framework to manage formalised exchanges during collaborative design

New organizational frameworks for companies dealing with product development are required for the new market rules as for the rising pressure and complexity in product and process development. Thus, the new stake is to examine new methods of leading design activities as the cooperative design that deals with the sharing of various interests and resources among various actors, with the aim of reaching a common purpose. The latter lay on the development of products by means of knowledge sharing and interactions with a certain level of coordination between these varied activities. Embedded into the IPPOP research project perspectives, this paper focus on the particular collaborative situation of conflict management occurring during design activities. From an analysis of the conflict management domain, we shall specify a collaborative design framework dedicated to conflict handling thanks to one specification method based on the UML language. The specified solving process is applied on a real-life industrial case: a windmill stator sheet design. The design context of the artefact is exposed and the met conflicts are explained. Extracts of IPPOP demonstrator's graphical user interfaces, illustrating these collaborative aspects of the software application are then presented. They show the ability of the demonstrator to run the conflict solving process and to subscribe relevant actors in this process as well as filers to track pertinent past solutions suitable for the current problem.     

Does collaborative learning design align with enactment? An innovative method of evaluating the alignment in the CSCL context

This study reports on a novel design methodology, namely, design-centered research (DCR), developed to analyze and evaluate the alignment between an online collaborative learning design and its enactment. The approach is illustrated in a study involving 40 groups in total. Twenty different online collaborative learning activities were designed and enacted by 20 groups of three students in each of two iterations. The collaborative learning design plans from the first round were adjusted after reflecting on misalignments observed through the method during the enactment, and then enacted and tested again by another 20 groups in the second round. The proposed method involves an interaction path graph as well as three proposed indicators of group functioning. These three indicators include: (a) the range of activated knowledge, (b) the degree of knowledge building, and (c) an interactivity of the approach. This approach to quantification of alignment between a collaborative learning design and its enactment was successful in revealing areas for improvement of the design. The results of the two round study indicate that the alignment significantly improved after the optimization of the collaborative learning design based on the analysis of the first round. The findings also suggest that optimizing a collaborative learning design using this method is associated with improvements in group performance. Building on these findings, the collaborative learning design framework is discussed in detail in this article, and resulting implications for practitioners are discussed in depth.

     

同源数据的协同挖掘算法研究

围绕知识管理和提高数据挖掘模型的可解释性问题展开研究,提出了采用协同挖掘的方法对同源数据进行模式评估和知识管理的CMA算法(Collaborative Mining Algorithm)。与集成学习产生同一类型知识规则的组合学习方式不同,协同挖掘在同源数据的基础上建立不同类型的学习模型,并且每类学习模型产生的知识规则的表现形式各不相同,通过比对学习形成了一致的知识规则。实验表明,协同挖掘可以有效发现数据中的隐含信息,提高知识管理的性能。     

基于专家系统的协同设计工作流管理系统研究

本文提出了一种支持协同产品设计的以规则为基础的工作流管理系统模型架构,其中以专家系统的推论引擎作为工作流程管理系统的推进机制,利用推论引擎的知识库存储流程的事实与规则,以各任务的输出结果、任务间的关联性并搭配预先定义好的流程规则作为推论的依据,讨论了系统的架构设计、关键技术及系统实现,该系统为复杂的工作流程提供了一种新的管理及控制模式。     

支持DFMC的同步协作工作流模型研究

针对面向大规模定制设计(DFMC)中的同步协作业务过程,建立了工作流模型：SynCo-WF．通过在同步协作活动中引入协作子,基于协作子状态变迁及其相互间的依赖关系,描述活动内部成员间的协作行为,模型因而具有描述同步协作语义;在协作组织中设定其外部接口和内部结构,活动参与者指派可以面向协作组织;基于行为目标驱动的参与者指派规则,协作组织可以动态地创建．最后,分析了如何将DFMC中协作活动映射到SynCo-WF．     

协同CAD系统中操作语义共享技术研究

研究了协同CAD系统的操作语义,给出了操作语义的定义和描述方法、操作语义的识别技术以及基于本体的映射模型,在此基础上提出了一种基于操作语义共享的CAD协同框架,最后给出了基于该框架的一个原型系统。     

An Exploratory Study: Supporting Collaborative Multimedia Systems Design

Multimedia systems design generally requires a collaborative effort from a group of designers with a variety of backgrounds and tasks, such as content experts, instructional designers, media specialists, users, and so forth. However, currently available design tools on the market are mainly designed for a single user. Tools intended to support a collaborative design process should coordinate independent activities of individual designers.This research investigated support for work groups engaged in designing multimedia systems. Specifically, it discussed a new collaborative design environment, called the KMS (Knowledge Management System)-based design environment, in which multimedia designers could share their design knowledge freely. Through two experimental groups, the research investigated impacts of the KMS-based design environment on their collaborative design activities (knowledge creating, knowledge securing, knowledge distributing, and knowledge retrieving activities). The research findings showed that the KMS-based design environment was a promising environment for collaborative multimedia systems design. More specifically, the research findings indicated that the KMS-based design environment supported creating, securing, and retrieving knowledge, but it did not support distributing knowledge. In addition, the research found that the social interactions between group members played important roles in the success of the collaborative multimedia systems design and that the KMS-based design environment did not support the socialization of group members. Furthermore, the research found that the inability of the KMS-based design environment to support the socialization was linked to its low performance level in supporting the knowledge distributing activity. The research explored the desired features of a collaborative support tool for multimedia systems design.