NP问题的最优轮复杂性知识的零知识证明

NP问题已有的知识的(黑箱)零知识证明都是非常数轮的,因此,在标准的复杂性假设下,NP问题是否存在常数轮的(黑箱)知识的零知识证明是一个有意义的问题.本文对该问题进行了研究,在一定的假设下给出了HC问题的两个常数轮知识的零知识证明系统.根据Katz最近的研究结果,在多项式分层不坍塌的条件下,本文基于claw-free陷门置换给出的HC问题的5轮知识的零知识证明系统具有最优的轮复杂性.     

普适复合水银承诺方案

水银承诺方案是一般承诺方案的一种有趣变形.水银承诺方案中增加了模糊公开阶段,模糊公开阶段不要求绑定性但是不能与真实的公开阶段冲突.普适复合安全性基本框架最早由Canetti等人提出.普适复合能够保证更高等级的安全性,比如满足普适复合性质即能实现并发安全、自适应安全以及非延展安全等等.文中提出一种普适复合水银承诺方案的构造并且在公共参数模型中证明其安全性.文中的结论一方面深化了水银承诺方案的研究,另一方面回答了Gennaro和Micali提出的一个公开问题.     

基于复合离散混沌动力系统的序列密码算法

利用复合离散混沌系统的特性,提出了两个基于复合离散混沌系统的序列密码算法.算法的加密和解密过程都是同一个复合离散混沌系统的迭代过程,取迭代的初始状态作为密钥,以明文序列作为复合系统的复合序列,它决定了迭代过程中迭代函数的选择(或明文与密钥),然后将迭代轨迹粗粒化后作为密文.由于迭代对初始条件的敏感性和迭代函数选择的随机性,密钥、明文与密文之间形成了复杂而敏感的非线性关系,而且密文和明文的相关度也很小,从而可以有效地防止密文对密钥和明文信息的泄露.复合离散混沌系统均匀的不变分布还使密文具有很好的随机特性.经分析表明,系统具有很高的安全性.     

复合离散混沌动力系统与Hash函数

在对一般的复合离散混池系统和一个由两个混池映射构成的特殊复合离散混池系统进行初步分析的基础上，建立了一个基于复合离散混池系统的带秘密密钥的Hash算法。算法以迭代初始点作为秘密密钥，以粗粒化的迭代轨迹作为其Hash值。该带秘密密钥的Hash函数满足一定的安全性要求，并且算法简单快速。     

酚醛胺固化剂的制备与性能研究

采用不同有机胺类固化剂与间甲酚、三聚甲醛进行曼尼希反应制得一系列酚醛胺固化剂。通过红外、DSC、TGA和力学性能测试对固化剂的结构与性能进行了研究。结果表明,相对于胺类固化剂,酚醛胺固化剂的粘度低、活性高,可在低温或常温下使用,其固化物的耐热性和强度下降,韧性提高。     

基于.NET的四层结构研究及其应用

阐述软件设计开发的四层结构的组织形式及其关键技术,提出了一种基于.NET的四层结构应用模型:显示层、业务逻辑层、数据访问层以及数据库,逻辑层次清晰、耦合度低.结合研究生综合信息系统应用实例,实现了基于.NET的四层结构的部署.和三层结构相比,负载能降低24.32%.     

基于SLIC的自适应多主体图像分割算法

为了解决多主体图像分割的交互分割问题,提出了一种基于SLIC超像素的自适应图像分割算法。首先利用SLIC对图像进行超像素分割处理,把原图像分割为大小相似、形状规则的超像素,以超像素中心点的五维特征值作为原始数据点通过自适应参数的DBSCAN算法聚类,确定多主体数目和分割边界。算法不需要用户交互,自适应确定分割数目。为了验证算法的有效性,在伯克利大学标准数据集BSDS500上与人工标注的分割图像进行比较, 前期的超像素处理使算法在时间上有很好的提升,对于一幅481×321像素的图像,只需要1.5 s就可以获得结果。实验结果表明,该方法可以有效解决多主体图像分割中的人工交互问题,同时在PRI和VOI的指数对比上也优于传统算法,本文算法可以在保证分割效果的基础上自适应确定分割数目,提高分割效率。     

Sierpinski垫片的Hausdorff测度

Sierpinski垫片是具有严格的自相似性的经典分形集之一 ,它的 Hausdorff测度的估计和计算在理论上具有更重要的意义。本文通过在 Sierpinski垫片上定义某种质量分布 ,导出了相应的分形插值函数 ,通过对该分形插值函数性质的分析 ,并用质量分布原理 ,给出了 Sierpinski垫片的 Hausdorff测度的一个下界     

基于伸缩因子的参数曲线自由变形

提出一种新的参数曲线自由变形方法：构造出特殊的伸缩因子函数，以此去作用（伸缩）待变形曲线方程，从而使曲线发生形变，通过交互改变控制参数，可达到预期的变形效果，实验表明，该方法数学背景简单，易于控制，重复使用可获得丰富的变形效果，适用于几何造型，计算机动画等领域。     

分形插值曲面

研究一类迭代函数系统和分形插值曲面的构造，得到分形插值曲面面连续的充分必要条件，由此给出了简单的分形超限插值方法和新的网格点插值方法；从而利用网格曲线或网格点上的特征生成连续的分形插值曲面，这种简单有效的方法可广泛地用于分形造型和数据拟合。