摘要：互联网应用提供商(ASP)作为一种新兴的网络商业模式,正在成为IT市场的一个热点。基于ASP模式的制造企业信息化是我国制造业信息化工程发展的重点,但目前国内成功应用的例子不多。该文结合作者从事的科研项目,提出了一种基于面向服务架构(SOA)和Web服务技术的ASP应用系统设计方法,介绍了典型系统的应用框架并给出了一个服务和应用设计的例子。

摘要：研究了高层体系结构（HLA）下基于设计模型的仿真建模在虚拟产品开发中的应用，提出了一种基于DS理论的HLA协同仿真建模方法。该方法根据上游设计模型的主模型本体实例，使用领域规则和Ds不确定性推理创建实现不同目标的仿真模型，进而基于产品资源联邦动态创建HLA仿真任务的联邦对象模型（FOM）和仿真对象模型（SOM），并实现将协同仿真结果通过HLA支撑环境动态返回上游设计模型。建立了复杂产品协同仿真平台原型系统，通过实例验证了该方法的可行性。该方法保证了基于设计模型的HLA协同仿真建模的语义一致性，提高了建模效率。

摘要：为了支持多Agent软件系统的设计与开发,提出了一种基于形式化方法的Agent行为的定义与描述方法。该方法从Agent的状态、动作、动作序列到活动,采用形式化描述语言,逐步建立对Agent行为的定义和描述,该方法结构清晰,可理解性和可操作性强,能够有效地表棕并发性的Agent行为,为在基于AOSE的多Agent软件系统设计中,进行Agent行为特征的分析、定义和描述提供了一套有效方法。

摘要：综述了大规模定制的范围经济性和面向大规模定制的基本设计方法 ,并提出了一个虚拟设计框架。该框架改变了传统的设计模式 ,利用先进的设计方法学和仿真支撑技术为产品开发提供了最大柔性和敏捷性。同时 ,它提供了一个多学科合作的设计环境 ,用户直接参与进设计循环中。最后 ,结合新型剑杆织机的开发 ,展示了一个能够支持新产品快速成功开发的虚拟设计环境。

摘要：虚拟产品开发采用基于制造的仿真来优化产品和过程设计 ,为产品设计和生产过程的优化提供了集成的建模和仿真环境。实现了一个集成的、共享的、网络化的、并行协作的产品开发环境 ,可以从根本上改变产品生命周期的传统串行模式。结合新型剑杆织机的开发 ,研究了基于虚拟产品开发的创新设计 ,包括集成开发环境建立、创新设计和制造仿真三部分。它提高了产品性能 ,可缩短新产品的开发周期 。

摘要：针对分区协同设计中的关联关系的定义与表达问题,利用分区协同设计空间分析其组织特性,通过附加连接语义连接关系图,实现了无回路连接网络图,分析了不同分区之间的关联特性和连接方式。在建立关联关系信息模型的基础上,设计了分区协同设计关联关系求解算法,并提出了基于产品数据管理的关联关系管理模型,通过相关实例,验证了上述原理和方法的实用性。

摘要：重用已有设计必须理解设计原理 ,从各种文档中提取设计原理信息 ,但其完整性和一致性很难得到保证 .文中提出一种基于本体的设计原理信息提取方法 ,该方法以设计原理的知识模型为基础 ,通过查询驱动的用户界面 ,动态地预测设计人员所关心的问题 ,并给出相应的回答 .在文献综述和案例分析的基础上 ,文中建立了设计原理的本体 ,并以铁路货车转向架设计为例说明了智能信息提取的实现 .初步研究表明 ,与文档管理和关键字搜索相比 ,这种基于本体的设计原理信息提取方法具有完整性和一致性等优点 ,可以作为 KBDSS(Knowledge- Based DesignSupport System)的技术基础之一 .

摘要：针对多学科设计问题中约束条件过多过于复杂的情况 ,为了保证设计参数一次选取成功 ,提出了一种基于约束网络的多学科协同设计方法。该方法利用约束网络模型收集分属于不同学科的约束条件 ,并在设计期间监控这些约束关系。提出了反映协同设计需求的数学模型 ,设计了一个通用的一致性求解算法框架 ,并利用了基于区间代数的一致性算法。该方法能够在设计的初期就监控设计过程 ,有效地预报冲突。将该方法应用到铁路车辆的转向架设计中 ,已证明了它的有效性。

摘要：设计过程是一个知识密集的创造性过程。知识利用效率在很大程度上影响了设计的效率。将面向过程和面向用户的知识集成方法相结合 ,可以提高主动设计知识服务的精度 ,减少设计用户在设计知识检索上的开销。本文对虚拟产品开发中的知识集成方法进行了探讨 ,提出了协调 -意图 -行为三层设计过程建模方法 ,知识 -行为两层设计用户建模方法 。

摘要：支付是电子商务交易的关键环节,构建一个可信支付网络(reliable payments network,RPN)是电子商务可信交易环境的重要问题。以电子货币为代表的新兴支付工具迅速崛起改变了支付的风险特征,凸显了机制设计方法在RPN构建中的作用。该文分析了电子货币支付系统带来的风险挑战,提出了RPN问题的形式化定义,进而利用博弈论构建了RPN的理论模型。模型显示了支付网络安全防护"最弱一环"的动机错配困境。有针对性地提出了两类具有通用意义的政策干预工具:安全标准监管和损失责任分配机制。对工具效果进行了理论验证,从而为进一步的支付系统设计和监管政策实施奠定了基础。