基于M／G／1排队模型的业务流性能研究

针对无线传感器网络可能存在的拥塞问题，提出了一种新的业务流性能刻画方法．利用M／G／1排队模型建立了一步转移概率矩阵，在先来先服务策略的基础上推导了业务流的队列长度和等待时间的数学表达式，通过仿真实验分析了当服务源分别服从定长分布和后阶Erlang分布时，系统的等待时间与服务率、到达率之间的关系．结果表明，等待时间与到达率成正相关，与服务率成负相关，并且对k阶Erlang分布的影响更大．     

一类T_(BOS)~n 唯一路径簇构造与图形特性分析

应用布尔序集关系理论，研究了一类典型Ｔ _ＢＯＳ^ｎ 唯一路径簇的构造与实现方法．同时给出基本图形特性的分析．     

3GPP系统全系列信息安全及其算法设计与应用

介绍了GSM／GPRS与3GPP系统安全体制的安全功能及其算法；研究了GSM／GPRS中A3／A8、AS／GEA算法的实现技术；给出了3GPP中AKA协议和空中接口安全算法的设计要求及其多种设计方案；并结合我国《商用密码管理条例》的要求，探讨了3GPP中保密性与完整性算法的国内应用的特殊化和国际标准化的问题。     

并行进程快速定界搜索方法及应用

以如何实现高维情形ＳＭ（ｄ）阵列编码为背景,给出一种并行进程快速定界搜索（ＦＢＳＰ）方法,分别用来实现ｄ＝ １和ｄ＝ ２两种不同类型的ＳＭ 阵列编码。介绍了ＦＢＳＰ方法的模型、理论依据、具体应用实例和实现过程。     

无线mesh网络的安全组播虚拟网映射轻方案

为保证面向组播服务的虚拟网映射到无线mesh网导致的数据包丢失率低于一定服务质量需求,提出一个解决具有可靠性约束的虚拟网安全组播映射到有损链路的无线mesh网的轻方法.通过伺机转播和VEWL算法,在满足相应应用可靠性约束的同时减少虚拟网的激活时间,进一步提高网络资源的利用率;结合文[9]的无线mesh网密钥管理新方案,实现安全组播服务.以NS2进行仿真实验,结果表明,该方法优于纯粹的广播或单播解决方案.     

一种可操作的N≥5开关函数化简问题

提出一种Ｎ≥５开关函数的超卡诺图化简方法，较之常规卡诺图有更灵活的可操作性．给出了超卡诺图的构造原理，基本性质，相邻判别准则，超卡诺图的快速构造读图规则，降维覆盖和化简应用实例     

快速检验梅森素数的一种新方法

研究梅森素数与偶完全数的内在联系,分析偶完全数因子分解的结构特点,分别得到一个准偶完全数序列的通项公式:Sn=22n-2·(22n-1-1),和一个准梅森素数序列的通项公式:SMn=(22n-1-1).最后给出快速检验梅森素数新方法的算法思路.     

偶数Goldbach猜想计算机可解问题讨论(Ⅰ)

根据递归可计算性理论 ,提出偶数Goldbach猜想计算机可解命题 .首先把问题转化为研究第一类命题 :偶数N的全排列是否存在问题 ?即是否存在B(2n)素数矩阵中 .文中设计并构造了基本存在模型 ,提出了完备互余式 (modN )等一组新的互余理论概念 .构造性地证明了偶数N的唯一存在性 ,并给出 :任一给定的正偶数 N≥ 6 ,必定唯一存在素数完备互余式 (mod N (P) )或正则素数完备互余式 (mod+ N (P) )中 .     

安全软件模糊测试中多种群遗传算法的研究

结合多种群遗传算法和模糊测试技术,将测试用例对代码块的覆盖率作为适应度值评价的一部分,通过自动化产生畸形测试数据进行模糊测试。同时将针对不同漏洞类型的测试样例放在同一种群内进化,提升了测试效率,为提高软件的安全性提供了基础依据。     

一个离散自相似逻辑序列与分维问题

提出一个离散自相似逻辑序列与分维关系的问题，并证实该逻辑序列与文［１］介绍的一种符号动力学作为Ｌｏｇｉｓｔｉｃ映射结果的一致性。同时给出具体维数。