基于椭圆曲线密码体制的具有前向安全特性的签名方案

根据有限域上非超奇异椭圆曲线离散对数难解性假设,利用椭圆曲线上Weil配对的双线性性质没计了一种新的基于椭圆曲线密码体制的前向安全数字签名方案,并将前向安全特性和盲签名基本思想融为一体,在此方案的基础上又设计了一种前向安全强盲签名方案.与以往盲签名方案相比,这种前向安全强盲签名方案增加了前向安全特性,对盲签名的有效时间进行了控制,在保证签名前向安全的基础上进一步保护了消息发送方的隐私权,可应用于更加广泛的领域.本文还提出了时段因子的新概念,两种新方案均通过时段因子辅助私钥进化并将其作为签名的重要组成部分且参与验证过程,因此两种方案同时具备有效性、前向安全性和抗伪造性等性质,有效地确保了签名算法的安全性.     

区间Bézier曲线的离散

把Bézier曲线的离散公式推广到区间Bézier曲线,并提出区间控制多边形的概念,证明了离散不断进行时,区间控制多边形收敛到原区间Bézier曲线.这里的离散公式可以增加控制顶点的数目,便于更加灵活地对这些区间曲线作形状控制.由离散公式和离散的收敛性可得到一种简洁有效的区间Bézier曲线的几何作图方法.     

一种基于离散插值的多项式曲线逼近有理曲线的方法

提出了一种用多项式曲线插值逼近有理曲线的方法.首先,构造一条含参数的多项式曲线,令其插值于有理曲线的一些固定点处,求解相应的方程得到待定参数的值,从而确定多项式插值曲线.然后,采用离散的Hausdorff距离计算插值曲线与有理曲线之间的误差,典型数值算例表明,本文方法具有较好的可行性.     

基于多线性映射的可公开验证加密方案

为提高可公开验证加密方案的安全性,提出一种标准模型下基于多线性映射的可公开验证加密方案.通过用户公钥验证密文中陷门的合法性,结合多线性映射性质实现可公开验证,使用一次签名算法提升方案的安全性,并进行了安全性证明.分析结果表明,该方案是标准模型下选择密文攻击安全,不需要用户的私钥就能对密文进行验证,在安全性上有很大提高.     

测地距离的基本解方法求解各向异性热传导方程

基本解方法属于径向基函数类方法,它使用微分算子的基本解作为基于欧氏距离的径向基函数．借助测地距离,给出了求解各向异性材料中的热传导方程的基本解方法．该方法无需对时间进行离散或Laplace变换,也无需进行变量变换,而是直接在整个时间空间区域上进行求解．文中给出了数值例子,来验证基于测地距离的基本解方法在求解该各向异性问题时的稳定性和有效性．     

基于离散曲率的三次均匀B样条的局部光顺算法

在研究B样条曲线节点的曲率和对应控制点的离散曲率之间关系的基础上,引入了一种新的离散曲率——第二离散曲率的概念,得出了三次均匀B样条曲线节点的曲率和对应控制点的第二离散曲率成正比的结论,并给出了基于第二离散曲率三次均匀B样条曲线的光顺算法.该算法通过直接调整控制点的第二离散曲率进行曲线的光顺,从而使光顺过程更为简洁、更具几何直观性.算例表明,该算法具有较好的光顺效果.     

三角域上调和与双调和的有理bézier曲面设计

在建筑、机械、计算机、应用数学这4大学科交叉形成的新兴的计算机辅助几何设计领域,首次提出了三角域上有理Bézier调和曲面的造型问题.主要方法和思路:给定欲求三角有理Bézier调和曲面的2条边界曲线,将这2条有理边界曲线进行Hybrid逼近,得到2条多项式曲线,以此为边界,应用Arnal等最近提出的由边界条件生成三角Bézier调和曲面的算法,得到一张三角多项式Bézier调和曲面;同时对欲求的三角有理Bézier调和曲面,应用张磊等提出的有效算法进行多项式逼近,得到一张带参数的三角多项式Bézier曲面,将此曲面与上述已得到的三角多项式Bézier调和曲面作比较,使它们之间的目标距离最小,就导出一个多变量的最优化问题,逼近求出未知参数,就可得到一张高精度的三角有理Bézier近似调和曲面.进一步,以上思想和算法被推广到三角有理Bézier双调和曲面.文中给出丰富实例验证了算法的正确和有效.     

基于测地距离的基本解方法求解非齐次各向异性IHCP问题

提出了一种求解非齐次各向异性热传导方程一类反问题IHCP（inverse heat conduction problem）的无网格方法,该方法通过借助基于测地距离的Multiquadric（MQ）作为基函数得到整个时间空间区域上的一个近似特解,然后用基于测地距离的基本解方法直接在整个时间空间区域上对相应的齐次问题进行求解．用截断奇异值分解（TSVD）法求解所得病态线性方程组,用L-曲线准则确定正则化参数．用数值例子验证了该方法的有效性,并分析了数值解的精度与参数T、c的关系．     

SPH分析中的齿轮建模方法研究

对利用光滑粒子动力学(SPH-Smoothed Particle Hydrodynanlics)方法进行轮齿动态力学数值分析中的齿轮建模方法进行了研究.确定了齿轮齿根过渡曲线以及其他部分的参数方程,并根据所确定的参数方程建立了三维齿轮离散粒子模型的数学模型.编制了划分齿轮整体及局部离散粒子的SPH前处理程序.并对划分后齿轮离散粒子与齿轮理论轮廓之间进行了误差分析.分析结果表明,利用此办法可正确划分齿轮的SPH离散化粒子,是一种较好的前处理方法.     

自动铺丝平行等距轨迹规划算法实现

针对复合材料自动铺丝技术轨迹规划问题,提出了一种新的基于测地线的平行等距轨迹规划算法.该算法首先将已知的第一条轨迹线在曲面上等弧长离散得到若干数据点,然后在数据点处曲线切矢和曲面法矢的向量积方向上利用测地线的短程性获得下一条铺放轨迹上数据点,并利用B样条曲线拟和数据点生成铺放轨迹,最后使轨迹线铺满模具表面.算法中测地线利用微分方程组数值求解得到,以曲面曲线弧长为自变量,可实现等距线求解的自适应步长调整和较高的精度.经实际算例验证,该算法简单实用,精度能够满足铺丝技术工艺要求.     

具有消息恢复的指定验证人代理多重签名方案

针对已有指定验证人代理签名方案并不具有消息恢复功能,使用自认证公钥技术,提出了一种具有消息恢复的指定验证人代理多重签名方案.在该方案中,代理签名人可以代表多个原始签名人生成指定验证人的代理签名,只有原始签名人指定的验证人可以验证代理签名的有效性,而且由于指定验证人在验证代理签名时可以恢复消息,因此在传送签名时,没有必要传送消息和其他指定验证人代理签名方案相比,本方案降低了传输消息本身所需要的通信开销.     

网格模型PDE曲面重建中的边界曲线构造

利用偏微分方程(PDE)进行曲面拟合是计算机图形学研究领域中的常用方法,该类方法通过选取适当的边界条件来构造PDE,用PDE的解来表示几何曲面.基于网格简化方法和离散曲面测地线计算等技术,提出一种从网格模型提取PDE曲面片边界条件曲线的方法.首先,对复杂模型进行简化并分片处理;通过计算离散曲面的测地线为每个分片定义相应的PDE边界条件曲线,进而构造复杂模型的PDE拟合表面.最后,通过细分方法建立原模型的多分辨率表示.实验表明,该方法可以对具有不同几何复杂度的网格模型进行处理,产生具有细分连通性的多分辨网格模型.     

独立型风光柴储微电网的电源容量优化与配置

为准确配置独立型微电网容量,针对独立型风光柴储发电系统,给出一种以供电可靠性为约束,以系统全寿命周期成本净现值为目标函数的分布式发电单元容量优化方法.利用NASA气象网站的风速和日照辐射资料,生成单位容量风光电源的年度出力曲线;根据各分布式电源的寿命和购置运行维护成本,建立了微电网系统寿命周期内各分布式电源的成本净现值计算模型.在实例分析中,针对2种不同的负荷曲线,通过遗传算法求解,验证了该方法的有效性和正确性.     

陶瓷器型的表面几何设计问题

论述了陶瓷器型几何设计的关键问题,着重讨论了一种基于二次贝塞尔曲线的陶瓷器型表面上的曲线设计方法.为了克服单段二次贝塞尔曲线不足,探讨了双段二次贝塞尔曲线的求解设计方法,并通过一个实例验证了该方法的有效性.     

一种求解Robin反问题的边界型无网格方法

给出一种求解非齐次稳态热传导方程Robin反问题的边界型无网格方法. 该方法首先利用Newton法则将Robin反问题转化为Cauchy问题,然后用边界粒子法处理非齐次项以避免区域内部的离散节点,并结合基本解方法分别求得近似特解以及相应齐次问题的近似解. 鉴于所考虑问题的不适定性,引入截断奇异值分解和L-曲线准则来求解离散后得到的高度病态的线性方程组. 最后给出数值例子说明该方法的稳定性和有效性.     

多启发式信息蚁群优化算法求解取样送检路径规划问题

蚁群优化算法是一种求解组合优化问题的通用算法框架.取样送检路径规划问题是一种带约束的组合优化问题,本文给出了一种求解该问题的数学模型.为求解该问题提出了一种多启发式信息蚁群优化算法(MACO),在选择下一访问节点的概率计算公式中增加了一项启发式信息——起点到被选择点之间距离的倒数,并从理论上分析了该算法的收敛性.在9个算例上进行了仿真实验和分析,说明了新增启发式信息的有效性和适用性,验证了MACO算法可以有效求解该问题,并能获得质量更好的解.     

基于矩阵环上求根问题的数字签名算法

考虑定义在模数N的剩余类环上的矩阵所构成的矩阵环上的求根问题的困难性,本文设计了一个数字签名算法,证明了攻击者能够成功伪造一个签名当且仅当攻击者能够求解矩阵环上的求根问题.对矩阵环上的求根问题的困难性进行了分析,在一种特殊情况下,证明了矩阵环上的求根问题与整数分解问题是等价的.分析表明,该数字签名算法是一个高效安全的签名算法.     

一种改进的B样条曲线曲面正交距离拟合算法

提出了一种改进的B样条曲线曲面拟合的正交距离算法.在此类算法中,需要求解点投影问题以得到数据点的垂足,考虑到控制顶点对投影的影响,利用泰勒展式对投影算法的初值进行修正,加快了求解点投影问题的速度,从而提高了拟合算法的稳定性和效率.数值实验表明,改进算法比修正前的方法更加稳定,与变量投影法及LBFGS算法相比,达到最优解的计算时间更短,迭代步数更少.     

点到代数曲线最短距离的细分算法

距离计算在计算机辅助几何设计与图形学领域有着广泛的应用.为了有效计算点到代数曲线的最短距离,提出了一种基于区间算术和区域细分的细分算法.利用四叉树数据结构对给定区域进行细分,用区间算术计算细分后所有像素点到给定点的距离区间,得到最小距离区间.该方法的优势在于在得到任意精度的点到代数曲线最短距离的同时,亦得到了该结果的最大误差限.为进一步提高速度,还对算法进行了改进.     

两类特殊三次空间Bézier曲线的挠率特征分析

空间Bézier曲线的挠率在几何造型中被广泛应用. 文中利用笛卡尔符号法则讨论了两种特殊三次空间Bézier曲线的挠率单调性问题, 最后得出当空间三次Bézier曲线的控制边相等且中间控制边和相邻两控制边的夹角相等时, 挠率仅有一个极小值; 而当两夹角相等但控制边长成等差数列时, 文中给出了挠率单调及极值存在的充分条件.