基于领域本体的Web服务动态组合模型

给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接口匹配方法分解为组合服务。以客户订购产品为例,说明了领域本体的建立方法和Web服务动态组合模型的应用方法。     

动态种群划分量子遗传算法求解几何约束

几何约束问题的约束方程组可转化为优化模型,因此约束求解问题可以转化为优化问题。针对传统量子遗传算法个体间信息交换不足,易使算法陷入局部最优的缺点,提出了动态种群划分量子遗传算法（dynamic population divided quantum genetic algorithm,DPDQGA）,并将其应用于几何约束求解中。该算法种群中的个体按照一定规则自发地进行信息交换。在每一代进化的开始阶段,分别对两个初始种群中的个体计算个体适应度。将两个种群合并,使用联赛选择的方法为种群中的个体打分,并按照得分对种群进行排序。最后将合并的种群重新划分为两个子种群。实验表明,基于动态种群划分的量子遗传算法求解几何约束问题具有更好的求解精度和求解速率。     

基于拓展LIMD算法的智能动态几何软件设计

几何约束求解技术是新一代智能化参数化CAD的核心技术之一,是CAD领域的一个前沿课题．其目的是提供工程图形的自动求解,其主要特点是：自由拖动元素、动态图形生成、动态测量、动态轨迹生成．LIMD是约束求解中一个应用较广的算法,作者对该算法进行了拓宽和改进,提出了具体解决方法,并得到了较好结果．     

几何约束求解的去并拟合方法

依据有向图理论提出了去并拟合方法,由此导出了对于几何约束求解问题的去并拟合的并行处理及串行处理策略,进而得到了一套求解几何约束问题的完备算法。通过将该理论引入到参数化CAD的设计中,使得在算法复杂度增加不大的情况下,几何自动作图的范围大大拓宽。还将其应用于智能动态几何软件的设计中,取得了较好的结果。     

基于软件配置模型的构件化领域框架研究

以软件复用研究为背景,对面向软件定制的构件化领域框架进行了研究,提出了一种基于软件配置模型的构件化领域框架,并着重分析了利用框架进行软件定制的配置机制以及框架运行原理,最后以灾害快速反应系统为例,对模型和框架进行了实现.     

三维几何约束系统的等价性分析

针对过约束、完整约束和欠约束三维几何约束系统的求解问题,提出了等价性分析方法.该方法基于三维几何约束系统的内在等价性,充分挖掘几何领域知识,依据拆解约束闭环、缩减约束闭环和析出约束闭环等原则,采用等价约束替换来处理几何约束闭环问题,优化几何约束图的结构,实现几何约束系统的优化分解.最后用多个实例验证了该方法的正确性和有...     

基于领域模型重用的MIS开发方法及应用

指出３种支持重用的ＭＩＳ开发方法的不足之处,从系统族和领域模型的概念,领域需求的划分,建立领域模型的方法,目标系统的生成等４个方面结合实例分析了基于领域模型重用的ＭＩＳ开发方法。     

一种笔式用户界面软件领域模型及其应用

笔式用户界面软件以其自然、高效的交互方式,在很多领域中有着广泛的应用.笔式用户界面软件具有以交互为中心、用户个性化需求高的特点,由此也决定了用户在软件设计中的主导地位.以用户为中心的设计的关键问题在于,如何使用户的思想如实地反映到设计中.通过建立笔式用户界面软件特征模型PUIDM(thedomain model for pen-based user interface software),构造了一个连接用户与软件设计的平台.从上下文、软件实体、界面特征、体系结构等角度,对该模型的建立进行分析,并给出了相应的XML描述.在此基础上,描述了用户使用该模型进行软件设计的过程.实例表明,PUIDM能够正确引导用户进行设计,将用户意图充分地引入到软件设计和最终实现中,使软件满足可用性要求.     

基于信赖域方法的几何约束求解技术的研究

几何约束求解问题是当前基于约束设计研究中的热点问题。一个约束描述了一个应该被满足的关系,一旦用户已经定义了一系列的关系,那么在修改参数之后,系统会自动选择合适的状态来满足约束。拟将信赖域方法引入到几何约束求解中。因为传统的Newton法在实际计算时对初始点要求比较严格,且每次都要计算导数,当导数值出现奇异状况或非常小时,使计算无法进行,且收敛性不能保证,因而使方法受到一定的限制。信赖域方法既具有Newton法的快速收敛性又有理想的总体收敛性,而且可以解决Hessian阵不正定和鞍点等困难。     

部分变量迭代法求解几何循环约束

在对几何约束进行求解时,一般先要进行适当分解,然后再根据分解得到的求解次序进行依次求解。当同时进行求解的约束数量较多时,必须采用数值解法。如果这样的循环约束中变量的数量较多,则采用全部变量迭代的方法会导致计算不稳定,且计算时间较长。本文提出了部分变量进行迭代的方法,大大降低了迭代变量的个数,增加了计算的的稳定性,缩短了计算时间。     

A Constructive Approach to Solving Geometric Constraint Systems

This paper proposes a constructive approach to solving geometric constraint systems.The approach incorporates graph-based and rule-based approaches, and achieves interactive speed.The paper presents a graph representation of geometric conStraint syStems, and discusses in detailthe algorithm of geometric reasoning based on poinl-cluster reduction. An example is made forillustration.     

Geometric constraint solving with geometric transformation

This paper proposes two algorithms for solving geometric constraint systems. The first algorithm is for constrained systems without loops and has linear complexity. The second algorithm can solve constraint systems with loops. The latter algorithm is of quadratic complexity and is complete for constraint problems about simple polygons. The key to it is to combine the idea of graph based methods for geometric constraint solving and geometric transformations coming from rule-based methods.     

三维几何约束的球面几何求解

研究了球面几何学在三维几何约束求解中的应用，提出了球面求解法．该方法建立在姿态约束与位置约束解耦的基础上，并以求解关键的姿态约束为主，一旦姿态约束被解出，则位置约束很容易求解；同时将表征刚体姿态的矢量映射到球平面上的点，将姿态约束映射为球平面上两点的距离，借助球面几何的知识，能够高效、直观地推理出多数情况下姿态约束的解析解，而特殊的情况则结合数值法求解，并很好地解决了数值法的初值问题．     

二维几何约束求解器

开发了一个二维几何约束求解器.该求解器是新一代智能CAD系统的核心,它采用了基于图和规则的几何推理方法,高效、稳定、实用.论文提出了几何约束模型及其约束图表示,深入介绍了基于点刚体归约的几何推理算法,描述了求解器的体系结构.     

通用几何约束系统统一建模研究

在几何约束和几何实体的基本约束和欧拉参数表达的基础上,研究了通用几何约束系统的统一建模问题。通过对三维几何实体姿态约束和位置约束解耦性的分析,抽象出球实体、盒体和球盒体三种基本几何实体表达空间几何实体,并以基本约束的组合表达几何约束,形成几何约束模型特有的层次结构;并以有向图管理几何约束系统,可以清晰地反映姿态约束和位置约束的解耦性,实现约束系统的细粒度分解,得到规模更小的求解序列,实现高效求解。方法实现于原型系统WhutVAS中。     

几何约束求解与复杂连杆机构的模拟

提出几何约束求解的轨迹相交法．该方法理论上可以给出约束问题的所有数值解,实际调试效率也相当高,并将该方法用于复杂连杆机构的动态模拟．首先用图论中的最大b-匹配算法将一个连杆机构分解为广义构造序列,然后用轨迹相交法求解．据此还可以给出连杆机构的最优驱动构件的选择．     

快速判定几何约束奇异性的切面扰动法

针对冗余奇异和分支奇异的判定问题,提出一种新的切面扰动的判定方法.该方法将奇异的雅可比矩阵分为独立构型空间和奇异空间,变量沿独立构型空间的切面扰动,计算更新的雅克比矩阵的秩,依据秩亏的变化可以快速、稳定地判定约束奇异性.该算法克服了残量扰动法的数值迭代、计算量大和不稳定的缺点,并且在参数化特征造型系统InteSolid中得到验证.