基于Tcl的ARP协议冒烟测试系统设计

协议的冒烟测试在网络产品的设计过程中有着重要的作用。文章关注于协议冒烟测试系统的设计和实现,提出了一种单机虚拟测试方法,并采用该方法实现了一个基于Tcl语言的协议冒烟测试系统,并在实际应用中取到了较好的测试效率。     

基于TCL的分布式协议测试系统

提出出一个基于TCL的分布式协议测试系统——DPTS。该系统具有通用性、易操作性、平台无关性和可扩展性,目前已对IPv6协议族各主要协议进行了广泛的一致性测试。给出了一些测试实例。     

无线网宽间隔跳频及其性能研究

论文主要对宽间隔跳频进行了介绍,给出了实现方法,针对我们常用的宽间隔跳频增益算法存在的问题,采用修正算法对宽间隔跳频增益进行了计算,同时分析了误码率及抗干扰能力,指出了和传统跳频相比较存在的优势和不足。     

无线传感器网络的WPCS覆盖策略

延长无线传感器网络生存时间的有效方法是让冗余节点进入休眠状态。而现有研究多是基于传感器感知模型为圆形的假设前提。该文集中讨论传感器感知模型非圆时,覆盖与连通性之间的联系,并提出适用性更广的WPCS(Well-Proportioned Coverage Strategy)覆盖策略。WPCS覆盖策略以最小化重叠面积为准则,其目的是最大化网络生存时间。仿真实验表明,WPCS性能优于CCP(Coverage Configuration Protocol),且具有一般性,并能很好地减少工作传感器数目,延长网络寿命。     

基于粒子群优化和变邻域搜索的混合调度算法

提出了用于解决作业车间调度问题的离散版粒子群算法.该算法采用基于工序的编码和新的位置更新策略,使具有连续本质的粒子群算法直接适用于调度问题.同时,针对粒子群算法容易陷入局部最优的缺陷,利用粒子群算法和变邻域搜索算法的互补性能,设计了粒子群-变邻域搜索算法、改进的粒子群算法、粒子群-变邻域搜索交替算法和粒子群-变邻域搜索协同算法4种混合调度算法.仿真结果表明,混合算法能够有效地、高质量地解决作业车间调度问题.     

一类解决无等待流水车间调度问题的蚁群算法

针对以最大完成时间为目标的无等待流水车间调度问题,提出了一种蚁群算法.首先,基于复杂度为O(n)的最大完成时间算法简化了适应值的计算;其次,基于当前最优解和轨迹密度的新解构造方法提高了求解质量;第三,基于快速插入邻域算法的多重插入移动提高了搜索效率;最后,基于典型算例的仿真试验,表明了所得调度算法的可行性和优越性.     

使用构造类别代数描述和验证密码协议

密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证，或者不利于描述。本文在构造类别代数中引入时序算子，对密码协议以及协议的入侵者进行建模，在此基础上利用时序逻辑推导协议应该满足的安全属性。通过在Equicrpt协议上的应用，说明了这是一种解决密码协议描述和验证的行之有效的方法。     

ORACLE报表生成工具

本文介绍了由中国科技大学计算机研究开发的“ＯＲＡＣＬＥ报表生成工具”的功能及其主要模块。该“ＯＲＡＣＬＥ报表生成工具”的功能和性能优于国内同类的ＯＲＡＣＬＥ报表生成工具软件。它可广泛地应用于使用ＯＲＡＣＬＥ数据库的各类软件中。     

通信顺序进程的扩充及其在协议形式化技术中的应用

讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念，并给出了可终止进程的判定方法：针对CSP只能进行同步通信描述的缺陷，提出了用CSP来描述异步通信的手段：最后给出了AB协议的CSP描述，并在此基础上初步讨论了协议规范的正确性及测试用例的生成。