面向平面几何的自然语言作图研究

在计算机几何作图软件日趋成熟的情况下,如何让用自然语言描述的几何命题自动生成几何图形一直是几何作图软件研究中的难题。结合已有几何作图软件的需求,通过对几何自然语言的研究,建立了一套有效可行的语言理解模型,设计并开发了由几何自然语言向几何作图命令转换的接口,实现了将自然语言描述的几何命题自动转换为几何作图命令并生成几何图形的功能。测试结果表明,其转换正确率在84.17%以上。     

基于双向路径约束模型的XML文档结构相似性度量

为了弥补树编辑距离方法时间复杂度高和频繁路径方法丢失过多语义信息的不足,建立XML文档的双向路径约束模型,从而更全面地提取XML文档的结构信息,为更精确的XML相似度计算打下基础.引入自然语言领域中成熟的N-Gram思想,将基于N-Gram的划分方式应用在路径约束相似度计算中,加快了计算效率和精确度.运用正整数和各种权值简化N-Gram信息的提取和运算.实验结果表明,方法提高了聚类的准确率和召回率.     

基于文档类型定义约束的文档结构生成算法

文档类型定义(DTD)是一类文档逻辑结构的共同特征的规范化描述,作为文档内容层次关系描述的结构是文档类型定义的一个具体体现,并被文档类型定义所制约。通过采用一种快速的定位方法来支持文档结构节点在文档类型定义中的定位,本文提出了一个基于文档类型定义约束的文档结构生成算法,该算法可为基于结构的文档处理提供高效的实时约束机制和更严格的验证机制。     

一种基于可处理不等式约束的动态几何自动作图软件GeoDraw

针对目前大部分几何作图软件只能处理等式约束的不足,设计并实现一种基于可处理不等式约束的动态几何自动作图软件GeoDraw。该软件应用符号和数值混合计算,将构造式和生成式作图方法相结合,可以有效地生成含有不等式约束的动态几何图形,能通过鼠标点击和拖拽图形中的自由元素改变更新图形,并且在图形变化中动态地保持几何约束关系,主要应用于几何教学与研究。整个作图过程包括Maple中的三角分解,QEPCAD中的实量词消去以及Java中的语义解析、数值计算和图形生成等,且是完全自动的。     

面向平面几何命题理解的融合算法研究

随着初等几何命题可视化机器证明的发展,如何让几何教学辅助软件能够直接理解几何命题的含义,自动生成对应的几何图形并进行推理证明,成为当前研究的一个新问题。现有的几何命题理解方法虽然在一定程度上实现了几何命题向形式化命令的转化,但是这些方法均没有考虑几何命题中分句间的逻辑关系,无法解决分句间形式化命令的冗余和冲突问题,导致后期自动作图和推理的准确率不高。针对这一问题,在前期工作的基础上提出了一个几何命题分句间形式化命令融合算法,并将该融合算法集成应用于已有的自然语言几何作图接口进行实验论证。结果显示,几何命题分句间形式化命令融合算法将自然语言几何作图的准确率从原来的84.17%提高到了91.67%,能够有效提高几何命题理解的准确性。     

基于XSLT的XML文档节点间约束关系验证

提出一种基于W3C XSLT技术标准的验证方法,利用XSLT和XPath相关技术,通过定义规范化的输入输出信息结构以及约束规则,完成了对XML文档节点之间约束关系的验证.     

几何约束系统中约束的动态管理方法

几何约束系统的建模及求解是参数化技术的核心。但如何对约束进行方便、有效的管理一直是未完全解决的难题，所以在目前所见到的参数化系统中的大多数，难以处理冗余约束、局部过自由度等问题，这严重妨碍了参数化功能的发挥。文中利用自由度分析，非线性代数方程及矩阵理论，提出了一种在几何约束系统中对约束进行动态管理的新方法。并利用这种方法成功解决了冗余约束预报及局部过自由度判断等难题。     

协同模板中几何约束关系的表示与解释

模板设计标记语言TDML是协同模板中描述设计信息的标记语言，主要用于表示设计对象的部件信息、部件属性信息、部件位置装配关系信息、操作和连接信息等。设计对象是由一系列部件按照一定的约束关系装配而成的，所以约束信息是设计对象重要的结构信息。文章分析并总结了设计对象之间的几何约束及装配位置关系，采用TDML语言加以描述和解释，并用三维建模器ACIS实现了设计部件间位置关系的可视化。     

一种基于几何约束的RANSAC改进算法

图像拼接技术中消除特征点误匹配是一项重要环节,针对传统的消除误匹配的RANSAC算法迭代次数多,计算复杂度较大且不能完全消除误匹配等缺点,提出了一种基于几何约束的RANSAC改进算法。该算法将几何约束法应用到RANSAC算法中,对图像特征匹配点进行聚类分组,根据每条匹配点对连接线的斜率应该相等、长度也应该相等这两个几何关系建立预判断模型,对匹配点对集合进行预提纯。实验证明,该算法相较于传统的RANSAC算法,误匹配基本消除,迭代次数减少,计算效率提高,从而提高了图像匹配算法的效率。     

科技文档对象在标签PDF中的表示研究

标签PDF文档通过内部标签描述文档逻辑结构信息,并建立了文档逻辑结构与内容之间的联系机制,因而较传统PDF文档有更好的可编辑性与交互性.然而PDF标准只提供了一些基本的文档逻辑结构标签,用于描述文档中的段落与图表等排版信息.而在科技文档中,常遇到公式,化学式等复杂的文档对象.为了在PDF中描述这些对象,对标签PDF文档结构作了研究,阐述了如何在标签PDF文档中结构化地表示科技文档对象,并用plug-in编程接口做了实现.     

基于XML的通用测试文档生成方法研究

针对目前软件测试过程中通用文档自动生成所面临的问题,介绍了一种基于XML的通用测试文档生成方法.分析了软件测试文档的基本种类及文档生成的重要性,论述了将XML技术用于通用文档生成中的优势,给出了一个基于XML的通用测试文档生成模型,并探讨了该模型的关键方案设计.     

Modifying the shape of B-spline surface with geometric constraints

The B-spline surface is one of the most commonly used parametric surface in computer aided geometric design and computer graphics. To develop more convenient techniques for designing and modifying B-spline surface is an important problem. A new method for the shape modification of B-spline surface with geometric constraints is presented in this paper. The deformation energy of the physically based B-spline surface is minimized based on finite element method, while geometric constraints including point, curve and boundary continuity constraints can be imposed to control the modified shape. By setting the external force zero, the surface is modified by the constraints solely. This lead to a simplified linear system to be solved and to eliminate the need of internal energy that could convert the iteration process of finite element function to a faster change for control points vector, such that the modified surface satisfies the given constraints. Practical examples are also given.     

基于多重约束的OpenXML复合文档内容源数据区容错定界算法

在高误码率条件下,接收到的OpenXML复合文档往往因数据含错而无法打开,而在文档修复过程中,对信源中每个源文件内容源数据区的定界经常容易出错,针对该问题,提出了一种基于多重约束的OpenXML复合文档内容源数据区容错定界算法。通过对文档协议冗余的分析与归类,将内容源数据区定界问题转化为对起始位置序列的最佳估计问题。在通过适当放宽匹配条件完成粗定界的基础上,利用冗余信息中的约束关系构建代价函数对观测数据进行筛选,有效地剔除“虚警”情况,进而实现对内容源数据区起始位置序列的最佳估计。仿真结果表明,在参数设置合理的情况下,该方法具有较好的容错定界能力。     

基于几何约束的文本图像倾斜角检测算法

针对文本图像倾斜检测的问题, 提出了一种新的基于几何约束的文本图像倾斜角自动检测算法。该算法采用边界标记自动机的方法对一组同行字符轮廓进行检测从而得到该组字符轮廓的最低点信息, 再用矩的方法剔除噪声字符, 并确定页面的倾斜角度。实验结果表明, 该算法在检测效率与准确率上都有了明显的提高, 同时在处理较大倾斜角和较少字符数目的倾斜检测中也有较好的执行效率。因此, 该算法可广泛应用于包括英文、中文、日文在内的多种语言文本图像的倾斜检测中。     

档案管理系统的柔性的研究与开发

传统的系统分析设计方法难以保证档案管理系统开发的效率和质量,结合柔性软件开发技术理论,提出了将基于构件的柔性开发方法应用于档案管理系统的设计思想,介绍了柔性开发子项目文档审批系统模型.柔性开发减少了不必要的人力、时间的浪费,大大提高系统的开发效率,使档案管理系统更加灵活,以满足用户多层次、多用途和变化的需求.     

Variational geometric modeling with black box constraints and DAGs

CAD modelers enable designers to construct complex 3D shapes with high-level B-Rep operators. This avoids the burden of low level geometric manipulations. However a gap still exists between the shape that the designers have in mind and the way they have to decompose it into a sequence of modeling steps. To bridge this gap, Variational Modeling enables designers to specify constraints the shape must respect. The constraints are converted into an explicit system of mathematical equations (potentially with some inequalities) which the modeler numerically solves. However, most of available programs are 2D sketchers, basically because in higher dimension some constraints may have complex mathematical expressions. This paper introduces a new approach to sketch constrained 3D shapes. The main idea is to replace explicit systems of mathematical equations with (mainly) Computer Graphics routines considered as Black Box Constraints. The obvious difficulty is that the arguments of all routines must have known numerical values. The paper shows how to solve this issue, i.e.,   how to solve and optimize without equations. The feasibility and promises of this approach are illustrated with the developed DECO (Deformation by Constraints) prototype.     

Joint-space orthogonalization and passivity for physical interpretations of dextrous robot motions under geometric constraints

A principle of ‘joint-space orthogonalization’ is proposed as an extended notion of hybrid (force and position) control for robot manipulators under geometric constraints. The principle realizes the hybrid control in a strict sense by letting position feedback signals be orthogonal in joint space to the contact force vector whose components exert at corresponding joints. This orthogonalization is executed via a projection matrix computed in real-time from a Jacobian matrix of the constraint equation in joint coordinates. To show the important role of the principle in control of robot manipulators, two basic set-point control problems are analysed. One is a hybrid PID control problem for robot manipulators under geometric endpoint constraint and another is a coordinated control problem of two arms. It is shown that passivity properties of residual dynamics of robots follow from the introduction of a quasi-natural potential and the joint-space orthogonalization. Various stability problems of PID-type feedback control schemes without compensating for the gravity force and with or without use of a force sensor are discussed from passivity properties of robot dynamics with the aid of the hyper-stability theory.