非阻塞模式LCD多级菜单的设计及其数据结构

提出一种非阻塞模式LCD多级菜单的设计,分析了菜单的树形结构,给出了菜单的状态转换模型及其菜单的核心数据结构.并分析菜单实现算法的较小空间复杂度和给出了其数据结构的C51的实现.     

具有大2-adic与k错2-adic复杂度的周期序列

在密码学的流密码理论当中,2-adic复杂度、k错2-adic复杂度类似于其它复杂度测度,同样要具有较大的数值.文中借助数论中的中国剩余定理等相关理论研究了二元序列的2-adic复杂度与线性复杂度的关系,证明了具有最大2-adic复杂度以及较大k错2-adic复杂度的N周期序列的存在性,给出了具有这种性质的周期序列的数目的下界.以此种周期序列作为密钥流序列可以有效地抵抗穷举攻击.     

选择排序算法的一个改进及分析

针对少量记录排序的应用，对直接选择排序算法进行了挖掘，通过增加记忆功能，使算法性能得到明显提高。改进后的算法在大量记录排序时，较原算法的速度提高1倍以上；在少量记录排序时，是基于比较和移位的排序算法中总体表现最佳的；并且对原序列的有序程度很敏感，原序列相对有序时，速度能大幅度提高。结果表明：该算法很适合少量记录排序、部分排序、较有序记录的排序，以及与快速排序算法的混合使用。     

一类非单调线性互补问题宽邻域预估校正算法

对于一类非单调线性互补问题给出了一种新的内点算法-宽邻域预估校正算法,算法基于精典预估校正思想,把窄邻域拓展到一个宽邻域里使得算法更快地迭代,讨论了其算法的计算复杂性,并给出了数值实验.     

不同状态下运动皮层连通性仿真

为了研究脑卒中后运动功能损伤与康复的机制以寻找促进脑卒中患者康复的有效途径,用有向图表示运动相关区域连接成的网络,并将其视为动力学系统,通过复杂度反映系统功能分离和整合的程度,利用模式搜索方法优化网络结构,研究在静止状态、运动状态、中风损伤后运动皮层连通性的变化.仿真结果显示:运动状态下各区域间有较强的连接,而在损伤状态下,连接强度降低,与发生部位有关;在这两种状态下大脑半球内部区域间连接均大于其它类型连接,区域自连接较弱.研究结果表明该模型可以定性反映大脑运动皮层的连通性变化或者可塑性.     

交互式马尔科夫链上弱模拟关系的计算

对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量,将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解.利用该线性规划问题的数值求解方法,可在多项式时间内求得该线性规划问题的解.从而得到判定IMC上两个进程是否弱模拟的多项式时间算法.     

基于结构特征的人眼状态识别研究

本文在分析人眼图像结构特征的基础上,设计了基于图像复杂度的人眼中心定位方法。并根据人眼闭合过程中结构变化的特性,给出了判别人眼闭合状态的计算方法。该方法不需要精确的特征点定位,也不需要复杂的运算,ORL人脸数据库中的实验表明了本算法的正确性。     

移位寄存器在序列密码体制的应用及算法分析

通过简述现代密码体制中的为中密标准ＤＥＳ和ＲＳＡ公钥体制存在的某些问题，针对目前对上述两种体制研究的人较多，并且各国对自身研究水平实施保密，一般实际水平都要比所公开的超前五到十年或更多，所以很难确定其对上述体制的攻击强度，继而论述了序列密码体制的一般技术原理及其某些优越性，并给出一个基于序列密码体制的微机加密算法。     

求解0-1背包问题的两种方法的分析与比较

背包问题(KP)是计算机科学中典型的NP-hard问题,不存在多项式时间的精确算法。本文首先给出了求解0-1KP问题的一种改进的近似算法,讨论了算法复杂度与近似比;然后,给出了求解0-1KP的动态规划算法描述,并分析了算法的复杂度;最后,对两种方法进行了理论分析,并利用3个较大规模0-1KP实例的仿真计算结果与GDPSO进行比较。     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.