标准模型下的限制性广义指定验证者签名

基于Waters签名方案,首次提出了一个在标准模型下安全的限制性广义指定验证者签名方案。在弱Gap双线性Diffie-Hellman问题困难假设下,该方案被证明是安全的。     

线性弹性柔性壳非协调有限元计算模型

本文基于Ciarlet-Lods-Miara定义的柔性壳模型提出一种Galerkin非协调有限元离散格式.首先,对积分区域进行Delaunay三角剖分,并在三角网格上对位移前两个分量用一次Lagrange多项式逼近,对第三个分量(即法向位移)用非协调Morley元逼近.其次,讨论了构造的Galerkin非协调有限元离散格式解的存在性、唯一性和先验误差估计.最后对特殊边界条件下的锥壳采用该方法进行数值实验,计算出不同网格下锥壳的位移,并通过分析数值实验结果证明有限元离散格式的收敛性和有效性.     

CE-Bézier曲面光滑拼接的研究与实现

针对CE-Bézier曲面造型中复杂曲面难以用单一曲面来表示的问题,通过分析CE-Bézier曲线的唯一性,提出了一种新的CE-Bézier曲面的光滑拼接技术。首先,在分析第1类CE-Bézier曲线基函数及其端点性质的基础上,对第1类CE-Bézier曲线的唯一性进行了研究,得出了对于同一条第1类CE-Bézier曲线可以有很多组不相同的控制顶点和形状参数与之对应的结论;其次,利用该结论进一步给出了两相邻第1类CE-Bézier曲面片间G1光滑拼接的一般几何条件,并通过合理地选取形状参数,进一步简化了该曲面的G1拼接条件;最后,给出了第1类CE-Bézier曲面光滑拼接的几何造型实例。实例结果表明,该方法简单、直观、易实现,有效地增强了CE-Bézier方法表达复杂曲线曲面的能力,可广泛地应用于工程复杂曲面的造型系统中。     

球面坐标系下的线性弹性壳体的Koiter模型

长期以来,对三维弹性壳体的研究一直是用二维问题来逼近三维问题.在众多二维壳体模型中,最经典也最被广泛认可的模型就是Koiter模型.本文推出了线性Koiter模型在特殊坐标系一球面坐标系下的常微分模型,同时得到了偏微分形式的Koiter模型.为今后数值模拟提供了更大方便.     

CE-Bézier 曲面光滑拼接的研究与实现

针对CE-Bézier 曲面造型中复杂曲面难以用单一曲面来表示的问题,通过 分析CE-Bézier 曲线的唯一性,提出了一种新的CE-Bézier 曲面的光滑拼接技术。首先,在 分析第1 类CE-Bézier 曲线基函数及其端点性质的基础上,对第1 类CE-Bézier 曲线的唯一 性进行了研究,得出了对于同一条第1 类CE-Bézier 曲线可以有很多组不相同的控制顶点和 形状参数与之对应的结论;其次,利用该结论进一步给出了两相邻第1 类CE-Bézier 曲面片 间G1 光滑拼接的一般几何条件,并通过合理地选取形状参数,进一步简化了该曲面的G1 拼接条件;最后,给出了第1 类CE-Bézier 曲面光滑拼接的几何造型实例。实例结果表明, 该方法简单、直观、易实现,有效地增强了CE-Bézier 方法表达复杂曲线曲面的能力,可广 泛地应用于工程复杂曲面的造型系统中。     

标准模型下可证安全的身份基签名方案

针对Paterson-Schuldt标准模型下可证安全的身份基签名方案中安全归约的不紧密性,利用双线性对性质,提出一个身份基签名方案.该方案使用Waters和Gentry身份基加密方案中密钥生成算法的思想,能回答所有私钥询问和签名询问,从而保证了紧密的安全归约和弱安全假设,同时在标准模型下可证安全.安全性分析结果表明,基于改进计算性Diffie-Hellman假设所提方案能抵抗适应性选择消息攻击下的存在性伪造.