基于树语言逼近的安全协议形式化分析

利用形式化方法或工具自动化分析实用安全协议十分必要,定理证明技术因其可解决无限状态系统的验证备受关注,但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和重写逼近理论为基础,以项重写形式化定义协议模型,以树自动机模拟协议攻击者知识集,给出攻击者知识集可达项逼近求解的算法,并根据上述模型讨论秘密性和认证性的验证方法,最后以Needham-Schroeder公钥认证协议为例验证模型的有效性,并指出下一步研究方向。     

RIP协议原理与实验教学研究

介绍了RIP协议的基本特点,描述了RIP协议原理与距离向量算法,通过构造的实例讲解其如何工作并给出RIP协议的试验过程,最后总结了网络原理的教学方法。     

过测地线的近似极小直纹曲面设计

为了在服装鞋帽制造业及材料剪裁中采用过给定测地线且具有近似最小面积的直纹曲面,提出一种直纹曲面算法.该算法将过给定测地线的曲面设计和近似极小曲面的逼近技术进行有机结合,把直纹曲面表示成含2个参变量的形式;利用变分法的思想进行最优化,并分别在弧长参数和一般参数下对其进行了讨论.最后通过一些实例验证了文中算法的正确性和有效性.     

试谈Windows NT操作系统登记项的完整性

通过对Windows NT的操作系统及Windows中的.INI文件介绍,较全面、深入地介绍了Windows NT中的配置数据库登记项,对Windows NT如何维护登记项的完整性进行了讨论。     

中文文本体裁分类中特征选择的研究

针对文本体裁自动分类在特征选择和权重计算方面的特殊性,提出文本的内容类别信息,改进传统特征选择方法CHI以及权重计算公式tf.idf,并运用支持向量机在含5类体裁的语料上进行中文文本体裁自动分类。实验结果表明,该方案是可行的。     

一种改进的C4.5算法及实验分析

C4．5算法在对连续值属性进行离散化处理时,需要计算所有潜在划分的信息增益,由于不能快速找到最佳划分点,因此在算法时间复杂度方面存在一定局限。基于Fayyad和Irani的证明,对C4．5算法在连续值属性离散化和连续值属性惩罚项等方面进行了改进。实验结果表明,改进算法能够从总体上提高算法执行效率,在降低算法的分类错误率方面也具有应用的潜力。     

基于频繁链表的完全加权项频繁集挖掘算法

频繁项集的挖掘是关联规则挖掘中一个关键的问题,典型的关联规则挖掘算法都是以数据库的多次扫描来实现的,而且不能即时反映数据库的变化,且其频繁项集的产生都只考虑了项目在数据库中出现的频度而没有考虑项目的重要性。本文提出了一种基于频繁链表的完全加权项频繁集的挖掘算法,该算法不但能动态反映数据库的变化,而且在频繁集的挖掘中只需扫描一次数据库,并根据项目的重要性程度对项目赋予了一定的权值,用以挖掘人们更感兴趣的关联规则。     

CVS在小城镇电子政务系统中的应用

介绍了软件配置管理工具CVS的运行机制及其功能特点,以及小城镇电子政务系统的体系结构和运行模式.针对在小城镇电子政务系统开发中产生的问题,CVS规范了软件开发流程,降低了管理难度,提高了开发效率,使整个开发过程在受控制、高效率的情况下进行,提高系统的可靠性、代码及文档的全面性与可追踪性.     

线性逻辑方程组的解

软件设计和硬件设计中经常遇见用逻辑方程或逻辑方程组表示的数学模型,讨论这类数学模型的求解问题是非常必要的.给出了AX=0,AX=1,AX=B,AY=1(X中不含逻辑非变量,Y中含逻辑非变量)等类型的线性逻辑方程组有解,有惟一解的充分必要条件,讨论了解的个数并给出了求解公式或解集表示式,阐明了任何形式的逻辑方程或逻辑方程组都可转化为线性逻辑方程组求解,采用置换矩阵和极大项两种方法,系统全面地解决了线性逻辑方程组、一般逻辑方程和一般逻辑方程组的求解问题.     

一类不确定系统的最优极小极大鲁棒控制

讨论一类不确定系统的极小极大鲁棒动态输出反馈控制问题.给出不确定系统的极小极大鲁棒控制的定义.利用线性矩阵不等式(LMI)处理方法和Lyapunov稳定性理论,得到了在干扰和不确定性最大的情形下极小极大输出反馈控制器存在的充分条件.引入凸优化技术, 求得最优极小极大控制器.它不仅保证闭环系统渐近稳定, 且使得闭环系统性能指标的上界最小.仿真算例说明了所设计的控制器具有较强的干扰抑制功能.