单向Hash函数的一种构造方法

单向Ｈａｓｈ函数已成为密码学的一个重要组成部分，给定任一定长单向Ｈａｓｈ函数ｆ：∑＾ｍ→∑，ｍ〉ｔ，本文给出了利用ｆ构造一单向Ｈａｓｈ函数Ｆ的一种新方法，该方法易于并行化。     

基于Rijindael的安全Hash函数

该文提出了基于分组密码算法Rijindael的安全Hash函数。此Hash函数基于分组长度和密钥长度均为256比特的分组密码算法Rijindael-(256,256),其输出长度为256比特。并且该文证明了此Hash算法抵抗碰撞及作为单向函数的安全性。     

基于身份的动态口令验证*

基于RSA的基本思想，本文设计了一种动态口令验证方案，解决了Lamport方案中的问题．由于不要求每个用户都拥有公钥或数字签名，该方案还具有较低的系统复杂性．由基本方案进行扩展还可得到一基于身份的动态口令验证方法．     

迭代函数及其可计算性*

带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程序设计语言．该语言既可描述递归，又可描述迭代．本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数就可计算部分递归函数．这就等于证明任何图灵可计算的部分函数．都可用有坚实数学基础的部分迭代函数高效地进行计算．文中定义了复合算子、原始迭代和最小化迭代算子及部分迭代函数；证明了部分递归函数是部分迭代函数可计算的．     

逻辑结点函数的优化覆盖*

本文提出多级组合逻辑结构中逻辑结点函数的优化覆盖算法，证明了该算法在多级逻辑优化过程中的有效性．     

一种基于Petri网的软件定义构造方法*

本文描述一种支持MHSC方法论的软件需求定义构造的Petri网方法．基于提供的需求描述模型，可形成Petri网表达的软件定义结构，通过变换与求精方法，逐步生成实现层的功能模型．利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证．论文提出一种新的定义框架，并为软件自动生成的研究从定义层的描述机制出发提供一种新思路．     

一种快速收敛的遗传算法*

本文针对传统遗传算法收敛速度慢的缺点，提出了一种改进的快速收敛算法，并以八皇后问题为例进行了数值模拟，实验结果表明这种改进的遗传算法在收敛速度上大大优于传统遗传算法．     

一种并行时空混沌单向Hash函数的构造

针对现有的基于混沌的Hash函数的构造中并行性以及运算效率不高的问题,本文提出了一种并行的基于时空混沌的单向Hash函数的构造方法。该方法利用了帐篷映射计算简单的特点,结合交叉耦合映像格子避免有限精度实现产生的短周期行为,通过参数调制的方法实现并行计算。仿真实验表明,该方案很好的达到了Hash函数的各项性能要求,既有很高的安全性,又很好的实现了并行计算,从而提高了执行的效率。     

无单向Hash函数的数字多签名方案

Shieh等人提出了一种适用于移动代码的并列多签名和顺序多签名方案,但是,Hwang、Chang分别对所依据的基本签名方案提出了伪造攻击.对Shieh的并列多签名方案提出一种伪造攻击,接着提出新的没有使用单向Hash函数和消息冗余模式的基本签名方案,并提出了新的顺序多签名和并列多签名方案.该方案既具有Shieh方案的优点又克服了其不足,还可抵抗已知的伪造攻击.     

市场分析的一种框架*

本文提出并实现了一种利用市场信息进行市场分析的框架，并认为市场分析是一种提高市场行为决策质量的信息加工过程．在此基础上讨论了市场分析框架的组成结构．并且对信息加工中的主要问题如趋势分析、定性因果分析等进行了初步研究．     

一种改进的基于时空混沌系统的Hash函数构造方法

首先介绍了一种以时空混沌为基础的构造Hash函数的典型方案,并分析了它的不足和安全性问题.在此基础上提出了一种改进的Hash函数构造方法.理论和仿真实验分析表明,该算法具有更好的统计特性和更高的效率,有效地弥补了原算法中存在的碰撞漏洞.     

一种新的基于时空混沌的单向Hash函数构造

对时空混沌中常用的耦合映像格子模型(coupled map lattice,CML)和已有的基于时空混沌的单向Hash函数构造进行了分析,在此基础上提出了一种新的基于时空混沌的单向Hash函数构造方法.首先根据Lyapunov指数谱确定CML中参数的取值,然后用线性变换后的消息来更改CML的状态,并通过迭代来扩散消息中每个字节对CML状态的影响,Hash值从最终的CML状态中抽取.研究结果表明,该方法具有很好的单向性、弱碰撞性、初值敏感性和灵活性以及更高的计算效率.     

带迭代算子的函数式程序设计*

本文提出了程序设计语言的一种新的计算模型，带迭代算子的函数式模型．文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明．该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解、证明及构造高技的执行系统．褶信该类语言是一种有坚实理论基础、高教的、实际有用的，高级确定性程序设计语言．     

一种基于混沌的可并行Hash函数

本文针对文献[4,5]中基于混沌的Hash构造算法的缺陷,提出一种新的算法.该算法在保证安全性的前提下,具有适合并行实现及最终Hash值对明文信息敏感依赖的均匀性等显著的优点.理论分析和仿真实验证明该算法可以满足Hash函数的各项性能要求.     

一种实用的数值型伪Hash函数排序方法

本文给出一种具有实用价值的数值型伪Ｈａｓｈ函数排序方法。该方法通过尽量避免比较而直接计算定位的方式提高排序速度。测试结果表明：该算法的排序时间好于比较式排序的代表性算法Ｑｕｉｃｋｓｏｒｔ，Ｓｈｅｌｌｓｏｒｔ。与现有算法相比，该算法简洁，灵活，易于实现，适合于某些应用领域的特殊需求。     

函数式语言编译实现技术的研究*

文章分析了编译实现函数式程序设计语言的主要技术，总结出函数式语言实现方法的两条设计准则：(1)简化函数调用处理的同时，减少被延迟求值参数所占用存储空间及其占用时间;(2)通过程序变换减少函数式程序的特殊语言现象．使其适应冯·偌依曼机的结构特征．文中介绍了几种新的编译技术以及采用这些技术实现的一个函数式语言编译系统．     

函数式语言的集合描述方法及其实现算法*

本文介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法．集合的引入改善了函数式程序的表达能力，并且为提高程序执行效率创造了条件．     

基于混沌的Hash函数的安全性分析

随着现代密码学的发展,Hash函数算法越来越占有重要的地位。针对基于耦合映像格子的并行Hash函数算法和带密钥的基于动态查找表的串行Hash函数算法进行了安全性分析。对于前者,发现耦合映像格子系统导致算法中存在一种结构缺陷,在分组序号和分组消息满足特定约束关系的条件下,无需复杂的计算可以直接给出特定分组和消息的中间Hash值。对于后者,分析了产生碰撞缓存器状态的约束条件。在此条件下,找到算法的输出碰撞的代价为O(2~(100)),远大于生日攻击的代价。     

一种基于变参级联混沌的Hash函数算法

针对级联混沌可能存在的密钥泄漏风险以及当前Hash函数的不足,提出了一种基于变参级联混沌的Hash函数算法,即在构成Hash函数的级联驱动系统中,引入了另一混沌系统的状态变量作为参数扰动,并在扰动强度的控制下实现安全的变参级联系统.由此构成的Hash函数不仅具有符合混沌规律的变参特性,同时还具有级联子系统间逐级串扰的性质,能有效降低由计算机有限精度和数字量化可能造成的短周期行为风险,对提高压缩函数内部结构的复杂度和抗碰撞性有着显著意义.实验结果表明：与其他混沌Hash算法和SHA-3算法相比,该算法具有高度的初值敏感性和良好的混乱与扩散性能,抗碰撞能力强,算法实现简单灵活,变参系统可控性强,在混沌保密通信、数字签名等领域具有良好的推广前景.