基于约束网络的多学科协同设计方法

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

基于模型的三维几何约束网络求解研究

以图论为基础，建立了基于模型的三维几何约束网络模型，给出了此模型的求解算法。对数值求解作了研究，提出了三维几何约束解的手针维护。     

模糊约束网络在机床产品协同设计冲突检测中的应用

分析了机床产品协同设计中约束的内涵和特点,并用EXPRESS-G图描绘了约束网络的结构模型.将机床产品协同设计中的约束分为硬约束和软约束,从数学上给出模糊约束和模糊约束满足问题的定义.采用遗传算法作为协同设计过程中模糊约束满足问题的求解方法,在遗传算法的运行过程中对软硬约束分别进行了不同的技巧处理,遗传算法利用硬约束通过前向检查算法随机产生几何可行初始群体来限制设计空间,并给出遗传算法的具体实现过程.提出了基于模糊约束网络的冲突检测系统的体系结构,并对原型系统进行开发.最后,以某车床传动轴的设计为例验证了约束在协同设计冲突检测中的应用.     

约束满足问题求解及ILOG SOLVER系统简介

首先综述求解约束满足问题的基本算法和搜索策略, 然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成, 并给出用该系统求解的两个地图着色示例.     

协同设计中冲突管理的研究

冲突是协同设计过程不可避免的问题.从冲突管理流程出发,提出了相应的冲突管理模型,对协同设计中的冲突检测和消解方法进行了探讨,详细描述了解决约束满足问题的区间传播算法.在此基础上,给出了建筑物协同设计过程中冲突检测和消解的应用实例.     

分布式并行CAIP系统协同求解模型的研究

采用ＳＴＲＩＰＳ规划系统语法格式和图论知识,论述了基于知识的通用检测规划的领域模型、抽象分层规划以及相应的任务分解算法,从而建立了基于分布式并行处理智能检测规划集成开发平台ＩＤＰＩＰ的分布式并行协同求解模型．     

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

自动化仪表ICAD系统对设计问题的求解策略

以工业自动化仪表为设计对象,讨论其ICAD系统求解设计问题的关键技术,包括：系统的总体结构、各子系统的功能及其协作方式、仪表功能设计和结构设计的方法、设计任务的规划与控制。     

基于自由度分析几何约束求解方法中过约束和欠约束的处理

在自由度分析方法的基础上使用依赖图, 解决了约束求解过程中的过约束和欠约束的处理问题. 依赖图中保留了求解问题中变量间的依赖信息. 当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息, 由用户进行处理.     

基于D-tree分解的欠约束与完备约束的几何约束求解

提出了解决欠约束、完备约束的几何约束问题的D-tree分解算法.首先,提出了一种适用范围更广的处理特殊约束策略,可以将这种特殊约束与普通约束统一化,采用转化策略将欠约束的几何约束问题转化为完备约束的几何约束问题.然后,根据几何约束图中结点的度的性质给出了D-tree分解算法,相比经典算法,D-tree分解算法拥有更低算法复杂度和相同的求解域.最后,根据D-tree分解算法结果的规律性,给出了一个为基于数值的求解方法导出求解序列的策略.D-tree分解算法通过导出的求解序列将提高几何约束求解中基于数值的求解方法的求解效率.     

网络协同设计动态数据交换系统

动态数据交换是成功实现网络协同设计的关键技术，作者分析了网络协同设计交换数据的特点，研究了网络协同设计动态数据交换中所涉及的数据转换、数据传输、数据操作，提出了异类CAD系统之间的动态数据交换体系结构和动态数据交换组织模式。以STEP为产品数据交换标准，ORA—CLE数据库为系统核心数据库，各CAD系统用户可同时访问ORACLE数据库，实现信息共享和交互。提出STEP—ORACLE动态数据交换组织模式，实现了跨平台异类CAD系统之间动态数据的实时交互和数据的实时一致性。     

协同环境下基于客户满意度的协商模型

针对网络化制造环境下产品设计的特点,分析了客户满意度在产品设计中的重要性.将客户满意度应用到协同设计环境下的协商机制中.按照协同设计环境下产品设计的要求建立了在产品协同设计过程中客户满意度的指标体系,并以此建立了满意度数学模型.采用多Agent技术,建立基于客户满意度的协商Agent模型并分析了协商过程.结合企业实际需求,利用BP神经网络对客户满意度的评估进行了训练和仿真,通过神经网络减少评价过程中的人为因素,提高了评价的可靠性.同时验证了基于BP神经网络的客户满意度协商模型的有效性.     

基于Web技术的3D CAD协同设计

介绍3D CAD网络协同设计的概念、组织，并进一步分析了利用网络进行设计信息的管理、交流。论述了通过Auto CAD 2000实施3D CAD网络协同设计的方法。     

On an Improved Constraint Satisfaction Model

约束满足模型是较为成功的模型之一，但也存在可改进之处。通过深入讨论Ｓｃｈｅｍａ模型，给出改进模型的设想与算法，经模拟实验加以验证，并给予深入讨论及理论分析。     

基于AutoCAD的实时协同设计系统

由于Internet网络带宽限制等诸多方面的影响,实时协同设计是较难实现的.本文以全分布式结构和集中分布式结构混合构造了一个实时设计系统,在课题组前期研究的基础上对动态数据格式的具体应用形式进行改进和优化,满足了协同设计原型系统对实时性的要求,最大限度地减少网络数据传输量,提高了系统的快速响应能力和稳定性.     

图案协同设计的过程规则提取及数据存储方案

智能图案的网络化设计，关键在于对协同设计过程的规则提取，以及对图案分类并进行网络化存储．针对这些要求，提出一种网络化智能图案协同设计框架，并给出一种协同设计过程规则提取方法及对设计产生的大量图案数据进行网络存储的方案．该设计过程规则提取方法和设计知识存储方案能够合理提取图案设计过程知识，同时在图案设计数据库增大时又能保证知识应用的检索效率．     

The Application of Constraint Satisfaction Technique in Conflict Detection and Resolution

The conflict detection and resolution in collaborative design is a key issue to maintain multidisciplinary design consistency,This paper proposes a new method for conflict detection and resolution based on constraint satisfaction technique.The representation of design constraint,the interval arithmetic of the constraint satisfaction problem CSP and the conflict resolution strategy based on constraint relaxation and adjustment are introduced.A constraint-satisfaction based conflict detection and resolution tool CSCDR is then developed.It can help collaborative designers to detect and resolve the conflicts in time in the early stage of the design process so that the unnecessary design iteration and repeated negotiation are avoided and the design efficiency is then much improved.A design case illustrates the effectiveness of CSCDR.     

网络环境下协同设计的多服务器技术

提出了一种分布式客户枳／多服务器系统结构,通过有效的多服务器冲突协商机制实现由多台网络服务器对协同设计用户的联合管理,避免协同过程对单一服务器的依赖,克服了单服务器系统的瓶颈,提高了协同设计过程的稳定性和可靠性．提出了一种基于排队理论的具有多服务器的客户／服务器系统的数学模型,通过分析求解服务器平均利用率、排队队长、等待时间等系统性能的解析结果,方便、直观地反映系统的动态行为,合理地组织系统、优化多服务器系统的设计．     

约束问题求解的一个统一方法

给出了一个新的求解约束的方法──动态约束算法．它通过引入新的约束类型，使变量操作和约束操作算法统一起来．在新的求解约束过程中，不需再区分变量与约束．     

Research on Product Digital Collaborative Design System

Network economy had changed manufacturing environme nt at all. Open global market offer more choice to customer, and it become changea ble and unpredictable as consumers‘ needs become more and more characteristic an d diversified. Various new technology coming forth and application accelerate th e rapid change of the market. The manufacturing enterprises were compelled t o change their strategy by the variability of the market, and time has been put to the all-important place. There is a need driven by ...