一种基于串空间的不变集生成算法

在串空间模型中将理想定义为其不变集的代数结构,并利用它的性质描述攻击者攻击行为的能力界限,将安全协议的形式化分析规约为代数系统的不变集生成.引入hash:K×Bn-1→B,扩充了原模型中的子句关系,并给出理想诚实性判定定理在扩充子句关系下仍成立的结论.在此基础之上,提出诚实性判定条件的可满足性定理和一种新的不变集生成算法.     

基于云模型的隶属概念判定算法的改进

在人工智能领域中,李德毅教授等提出的定性定量不确定性转换模型——云模型,把概念的模糊性和随机性完全集成到一起,构成定性数据和定量数据的相互映射。但是,在利用云模型进行隶属概念的判定的算法中,不论对象是否明确属于某个概念,一律进行不确定性判定,过分地强调了模糊性和随机性。这不符合人类的认识规律,而且增加了算法的时间复杂度,甚至导致隶属概念判定的明显错误。该文根据人类认识规律对上述算法进行了改进。对那些可以明确确定属于某概念的对象,不再进行不确定性判定,直接被认定为属于该概念,只对处于多个概念边缘的不能确定属于某个概念的对象进行不确定性判定,使其符合人类的认识规律,降低了算法的时间复杂度。     

陶瓷坯料的挤压流变参数的测定方法

新型陶瓷材料产品的研究和开发过程中，需要进行多方面性质的研究，其中坯料的流变性质对于挤压成型的模具设计以及坯料组成的优化具有重要的指导意义。本文介绍了一种用于研究坯料流变性质的实用化方法和原理，即用挤出流变计测定坯料的流变参数；同时利用流变参数估算坯料通过锥形模和平板多孔模时的挤出压力。     

基于图元的事件图生成算法

与单轮运行情形不同，多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形，且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理论，提出用于并发运行密码协议安全属性验证的事件图模型。图元是事件图的构造单元，它满足消息事件之间的通信关系和前驱关系约束以及消息语句的新鲜性约束。定义消息事件之间、图元之间以及消息事件和图元之间的前缀、组合和选择运算，并给出事件图生成算法。     

基于云模型的隶属概念判定算法的改进

在人工智能领域中，李德毅教授等提出的定性定量不确定性转换模型——云模型，把概念的模糊性和随机性完全集成到一起，构成定性数据和定量数据的相互映射。但是，在利用云模型进行隶属概念的判定的算法中，不论对象是否明确属于某个概念，一律进行不确定性判定，过分地强调了模糊性和随机性。这不符合人类的认识规律，而且增加了算法的时间复杂度，甚至导致隶属概念判定的明显错误。该文根据人类认识规律对上述算法进行了改进。对那些可以明确确定属于某概念的对象，不再进行不确定性判定，直接被认定为属于该概念，只对处于多个概念边缘的不能确定属于某个概念的对象进行不确定性判定，使其符合人类的认识规律，降低了算法的时间复杂度。     

基于智能化建筑的社区网络服务系统设计

文章给出了基于智能化建筑的社区网络服务系统 ( DNSSIB)体系结构和功能描述 ,并讨论了硬件、软件子系统的设计     

基于SOM网络的三次B样条曲线重建

使用散乱点集重建曲线曲面,在逆向工程和计算机视觉中有着广泛的应用。提出基于SOM网络的三次B样条曲线重建算法。给定某一曲线散乱点集和一初始神经网络,优化SOM网络中神经元位置,使网络逼近散乱点和映射散乱点空间特征。用特征点反求三次B样条曲线控制点,利用控制点重建三次B样条曲线。试验结果表明,算法取得的曲线重建效果良好。     

spi演算证明协议非可否认性

spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明.通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围.     

云模型的隶属概念判定中阈值生成

在基于云模型的隶属概念判定算法中,人工给定的阈值不能根据对象隶属的多个概念的特征进行调整,从而影响到判定算法的适应性。基于云模型的“[3σ]规则”,提出一种自适应阈值生成算法。由其得到的阈值用于基于云模型的隶属概念判定算法,不仅使得原有的隶属概念判定算法可适用于不同特征的概念,而且使其更加符合人们的认识规律。阈值生成算法在不确定性的定性定量转换方面也具有较高的应用价值。