摘要：提出了孤悬因子概念,并明确指出在数字签名设计中必须回避这一现象.此外,还具体分析了5个数字签名协议中出现的孤悬因子及冗余数据,证明了这些协议的不安全性.

摘要：在参数化CAD设计中 ,当重新生成一个几何实体时 ,常常由于所给的参数值不合理而导致重新生成的几何实体的拓扑形状发生改变 ,有时甚至无法重新生成几何实体 提出确定某类二维参数化CAD模型中参数的有效范围的代数算法 该算法的复杂度是O(n2 logn)

摘要：当前基于格设计的能够抵抗量子计算机攻击的签名方案是基于数论难题的传统签名方案的热门候选替代。通过Fiat-Shamir变换以及拒绝采样技术构造格签名是一种重要方法,共有5个格签名方案提交到美国国家标准与技术局的后量子算法项目中,基于Fiat-Shamir变换进行设计的有两个方案。其中Dilithium是基于模错误学习(MLWE)问题构造的Fiat Shamir签名,它的一个特性是在签名算法中使用了高效简洁的均匀采样。Dilithium签名方案构造在一般格上,为了获得更紧凑的公钥尺寸,Dilithium对公钥进行了压缩。另一方面,NTRU格上的密码方案比一般格上的密码方案在效率和参数尺寸上有更大的优势,该文给出了Dilithium签名在NTRU格上的一个高效变种方案,在继承Dilithium简洁设计的基础上,综合了NTRU和拒绝采样的技术优势而无需额外的压缩处理,进一步提升了基于格的Fiat-Shamir签名的效率。

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

摘要：有理参数曲线的恰当性是曲线的基本性质,虽然其在有理系数情况下已经有完备的结果,但在工程和CAGD应用中常常得到带误差浮点系数的有理表示形式.为此,讨论了这类有误差的有理参数曲线,定义了近似非恰当参数形式和近似非恰当指数,并通过半代数系统计算近似非恰当指数;在给出近似非恰当指数的同时,得到近似最大公因子.最后基于最小二乘法给出近似参数有理变换表示,计算出曲线恰当的近似有理参数表示.

摘要：针对三角形网格模型简化中保持细节特征的要求,提出了依据离散曲率划分三角网格顶点的特性,并结合区域增长法自适应地确定拓扑分支的优化算法.每个顶点根据其相邻面片顶点的曲率值划分属性区域,并在区域生长过程中重复选择K-ring碟形区域中具有相似属性值的顶点作为种子.为了有效地探索凸凹形状区域,以曲率极值点作为初始点,提出了有效的区域增长及合并的策略,突出了模型的局部特征和拓扑结构.最后通过一系列实验验证了该算法的快捷性.

摘要：三维模型的骨架保持了模型的拓扑特性,并被广泛应用于模型相似性比较、计算机动画及压缩等领域.根据多分辨率Reeb图的原理,提出了一种基于离散高斯曲率约束的骨架提取优化算法.通过计算网格顶点的离散高斯曲率判断曲面局部凸凹特性,以获取模型表面的双曲极值点作为约束点;并依据约束点及其邻域的μ函数值产生的分裂线进行区域细分,获得子连通区域、确定关节点、形成优化的骨架结构.实验结果表明,该算法有效地突出了模型的拓扑分支特征以及模型表面的细节,提高了骨架提取的精度和效率.

摘要：通过图上的随机游动构造了一个具有随机重构算法的密钥共享体制,该重构算法的空间复杂度由一般的多项式级别降低到对数级别,同时保持时间复杂度没有增加.另外,由该密钥共享体制可以诱导出一类具有特殊性质的线性码,进而构造出新的密钥共享体制以实现较好的存取结构.基于这个密钥共享体制可以设计一个具体的具有统计安全性的安全多方计算协议,而这一方面已知的例子并不多.

摘要：理性密钥共享体制通过引入惩罚策略使得参与者不会偏离协议,常采用的惩罚是一旦发现有人偏离就立即终止协议.这种惩罚策略有时导致惩罚人自身利益严格受损,从而降低了对被惩罚人的威慑.为了克服这一弱点,本文以扩展博弈为模型分析了理性密钥共享体制.首先给出(2,2)门限的理性密钥共享体制,证明了所给的协议是该博弈的一个序贯均衡,即经过任何历史之后坚持原协议仍然是每一个参与者的最优选择.特别地,在发现有人偏离后,协议所给出的惩罚策略既可以有效惩罚偏离者又能够完全维护惩罚人的利益.这是本文对前人设计的理性密钥共享体制的一个重要改进.然后针对将协议扩展到(t,n)门限情形,实现密钥分发人离线,达到计算的均衡等相关问题给出了一般的解决方案.

摘要：构造了一类收敛的多参数差分格式,根据细分格式和差分格式的关系以及连续性条件可得到任意阶连续的多参数曲线细分格式.通过选取合适的参数可以得到一些经典的曲线细分格式,如Chaikin格式、三次样条细分格式和四点插值格式等;同时设计了一种C1连续的不对称三点插值格式,可以生成不对称的极限曲线.给出了同阶差分格式线性组合的性质,从而可设计出更多收敛的多参数曲线细分格式.