利用三次Bezier曲线求解几何约束问题

几何约束求解是智能CAD的一个关键技术.目前,几何约束求解的算法主要是构造包括点、直线和圆等几何体在内的几何图形,而在实际的工程设计中涉及的几何图形常常包括三次曲线或更复杂的曲线.通过增加三次Bezier曲线作为一个新的几何体,提出了一个包括点、直线、圆和三次Bezier曲线在内的几何约束问题求解的新算法,扩大了几何约束求解的作图范围.     

求解几何约束问题的几何变换法

提出两种基于图表示求解几何约束问题的方法. 第1种方法能线性地处理无循环约束的几何约束问题. 第2种方法可以解决含循环约束问题. 这一算法的复杂度与Owen, Hoffmann的三角分解法一样是二次，但解题范围有所扩大. 实际上这一算法可以解决所有关于简单多边形的约束问题. 这一算法的核心是将几何变换引入基于关系图的约束求解算法.     

一个高效的基于IBE的电子投票方案

传统的电子投票方案大多是以公钥密码学为基础的,在使用过程中,需要大量的认证和交互工作,存在耗时长、效率低的缺点.本文以IBE为基础提出了一种新的电子投票方案,它去除了公钥证书的认证过程,直接以用户的身份信息作为公钥,在保证安全性的前提下,有效地提高了电子投票的效率,同时也解决了目前已有的电子投票方案中对选民身份认证困难的问题.     

(2+1)维WGC方程和Volterra格方程的Lie对称

离散的Lie对称约化方法是研究微分差分方程的经典方法。应用离散的Lie对称约化方法研究(2+1)维WGC方程和Volterra格方程,获得这两个方程的无限维李代数及对称。因为(2+1)维WGC方程是一个有理型的微分差分方程,所以在约化过程中需要考虑其分母的约束条件;非线性离散Volterra格方程不能直接应用离散的Lie对称约化方法,为此采取相似变换法,将其转化为可以使用其进行对称约化的方程。     

基于微分-差分特征列法的Lie对称新算法

特征列方法将方程的零点集转化为几个特征列,即不可约的三角列的零点集的并集,使得方程达到降阶、降维度数的目的;李对称则提供了一套系统的方法,通过对对称约化和群不变解研究,方程阶数大大降低。这两种方法的共同之处在于其思想都是通过变换将原方程化为更易求解的同解方程(组),减少求解方程的计算量。将这两种方法有效结合,应用微分-差分特征列法将耦合的Toda晶格方程分解,对分解得到的特征列集应用差分Lie对称法,求得这些特征列集的不变群和群不变解。根据零点分解定理,这些特征列集的群不变解就是耦合Toda晶格方程的群不变解。     

用DM-分解求解几何约束问题

提出了几何约束求解的新方法:偶图DM-分解法.这种方法首先将一个几何约束系统分解成一些具有偏序关系的几何约束子系统,然后按偏序关系给出一个构造序列,从而降低了求解的难度.这种方法还可以判断是否存在过约束和欠约束的部分,并指出其存在的位置.同时,在改变几何约束问题的参数时,相应的几何图形不必完全重新构造,只需构造其中的一部分,这大大加快了构造的速度.最后举例说明这种方法的可行性和有效性.     

改进的几何约束求解的几何变换法

几何约束求解是智能CAD的一个关键技术,几何变换法是基于图论的几何约束求解方法的一种.在几何变换法的基础上,对几何变换法中的平移变换进行拓展,提出了两种新的变换算法:不相邻边交角变换和交叉边交角变换,将简单四边形的构造问题拓展到复杂四边形中,解决了两类有循环约束的复杂四边形作图问题,扩大了几何变换法的作图范围.