一个有效的逻辑设计验证系统

随着 VLSI 技术的发展,逻辑模拟在数字系统的设计中占有越来越重要的地位,已经成为不可缺少的工具。本文给出了一个有效的、实用化的设计验证系统的 GFLS,它是一个多级混合的逻辑模拟系统。文中系统地讨论了 GFLC 的功能、特色,采用的模拟模型,硬件描述语言 GFHDL,如何利用它辅助数字电路的设计,以及性能效率和应用情况等。     

工作流管理系统中协同建模技术研究

文中以工作流原型系统－ＡＷＦｌｏｗ为背景,就工作流管理系统中的协同建模过程进行了分析,并在ＡＷＦｌｏｗ中的工作流模型基础上提出了一种基于卡片的工作流表示方法,可以较方便地支持多成员协同建模,另外,还提出了一种支持同步和异步协同工作方式的混合式控制结构,提高了成员间协作的灵活性。     

一种支持动态任务分配的协同设计方法

协同设计是一种复杂的、由不同领域的专业人员参加的群体活动.介绍了一种多Agent设计系统中的协作方法,提出了支持动态任务分配的公告板机制以及设计过程中的冲突协调方法.公告板模型结合了黑板模型与合同网模型的优点,有效地利用Agent的自主性和协作性,采用分布与集中相结合的方式,克服了在分布式环境下进行动态任务分配时采用黑板模型与合同网模型的不足之处.同时,所提出的冲突预检查及冲突处理的方法可以在设计的早期阶段发现和解决冲突,以避免不必要的资源浪费.     

多Agent协同工作环境MACE

在ＣＡＤ／ＣＡＭ和ＣＩＭＳ等领域的分布协同计算中,分布人工智能领域的多Ａｇｅｎｔ技术已逐步得到越来越多的应用,本文阐述了ＭＡＣＥ（Ｍｕｌｔｉ－ＡｇｅｎｔＣｏｏｐｅｒａｔｉｖｅＥｎｖｉｒｏｎｍｅｎｔ）多Ａｇｅｎｔ协同工作环境中有关Ａｇｎｅｔ的概念,分类和结构,多Ａｇｅｎｔ系统结构,人与人交互界面,公用语言以及运行模式等问题,最后,以一个简单的机械组合件的交互和自动两种方式修改参数的协同设计为实例,论     

基于AFWlow的产品设计流程管理

目前 ,虽然存在数百种软件系统支持工作流管理 ,例如LotusNotes,但是这些系统绝大部分都是集中在办公自动化应用方面 ,它们在很多方面不适合产品设计流程的管理。正因为这样 ,我们在工作流管理系统AWFlow的基础上实现了一个产品设计流程管理系统。本文就其中的关键技术进行了论述 ,在AWFlow系统工作流模型表示方法的基础上提出了一种基于子流程模板库的产品设计流程表示模型 ,在此基础上给出了一种与以数据库为中心 ,能有机结合企业原由软件系统的体系结构 ,较方便的将符合OLE标准的应用程序与非OLE标准的应用程序集成到产品设计流程管理中。     

基于CORBA的通用组通信构件的设计与实现

组通信服务是CSCW系统中重要的服务之一 ,为了有效地支持CSCW协同应用的开发和集成 ,在对CORBA技术和组通信技术深入研究的基础上 ,笔者设计并实现了一个通用的组通信构件GGCC(GeneralGroupCommunicationComponent) ,以期解决CSCW系统开发中面临的组通信问题。讨论了CORBA规范和组通信技术在CSCW系统中的应用情况并分析了当前在这一领域所面临的问题 ,然后阐述了如何扩展CORBA规范并结合建立对象组机制以支持CSCW系统中组通信。最后文章详述了在“九五”攻关项目“企业协同计算构件及其应用研究”中组通信构件的设计思想及实现方法。     

一种基于MAS的作战计划协同设计系统

在分析协同设计系统的基础上 ,提出了一种基于MAS(多Agent)和WWW/Internet的作战计划协同设计系统结构。作者利用这种结构已初步研制了系统的原型。本文提出了MAS中的agent的基本结构及其实现模型 ,这种模型支持多用户在WWW /Internet共享环境下交互协商、分工合作、共同设计。     

因特网应用中音质技术的研究

语音是协同应用中最重要的组成部分之一。尽管已经出现了一些语音工具，但仍还有一些重要问题有待解决，尤其是音质普遍不高。本文分析了造成因特网语音应用中音质下降的原因，研究了静音抑制、传输控制、播放和操作系统调度等改善音质的方法。     

普适计算环境中基于群组特性的业务流程管理

局限于桌面设备的交互模式是制约业务流程管理在普适计算环境中广泛应用的主要因素.此外,日趋复杂和灵活的群组活动已成为当前企业业务流程的一个突出特点.传统的工作流管理系统从建模到运行对以上特性难以提供有效的支持.对通用工作流模型的表达能力和工作流运行机制进行扩展,设计并实现了一个具备用户多通道交互能力、支持多种群组协同活动的工作流管理系统.介绍了多通道交互的设计原理和针对群组活动的建模方法和运行机制,然后对应用中的一些结果和发现进行了讨论.