周期芽苞Fibonacci序列构造M-J混沌分形图谱的一族猜想

利用逃逸时间算法绘制M－J混沌分形图谱，通过计算机数学实验找到Mandellbrot集的普适常数和相应充满Julia集的近似标度不变因子，定性说明了M－J混沌分形图谱标度不变的特性，同时，通过实验与数据分析发现Mandelbrot集周期芽苞的Fibonacci序列的拓扑不变性，找到M－集内的黄金分割点，最后给出由Mandelbrot集参数平面上某个吸引周期芽苞中的参数与动力平面上相应Julia集图像结构之间的对应关系，并给出M－J周期轨道的递归公式和多重结构特征图的猜想。  

IPv6协议测试系统研究和实现

IPv6必将成为下一代Internet网络的主导协议，如何测试各个厂商的IPv6实现是一个关键的问题，本文关注于IPv6协议的一致性测试，提出了一种分布式虚拟测试法，采用该方法我们实现了一个测试系统，并进行了实际测试，给出了一些测试结果和分析．  

无等待流水车间调度问题的优化

文中研究了以生产周期为目标的无等待流水车间调度问题.首先,结合问题特征,提出了一种复杂度为O(n)的快速生产周期算法.其次,研究了两种插入邻域结构:基本插入邻域和多重插入邻域,并提出了快速基本插入邻域算法和最大多重插入移动算法.在此基础上,将离散粒子群算法与上述两种邻域搜索算法相结合,得到了离散粒子群优化调度算法.第三,根据问题生产周期的不规则性,给出了一种通过延长工序加工时间进一步改进调度方案的方法.最后,仿真实验表明了所得算法的可行性和有效性.  

含自发事件的协议一致性测试例的生成

目前有许多基于有限状态机生成一致性测试序列的方法，但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充，使之适用于含自发事件的有状态机，并已将该方法应用于OSPF协议的一致性测试。  

无线传感器网络中的组划分算法

以增加网络生命期为目的设计组划分算法。考虑了传感器网络中各个组长节点的组合理性、平均组能耗和组间负载平衡等因素，对初始的组划分进行了分析和优化处理而得到一个平均组能耗小并且组间负载平衡的组划分，有效地延长了网络生命期．  

被动测试和主动测试的研究

协议测试对于保证协议实现的正确性起着至关重要的作用．现在研究较多的测试方法是主动测试,被动测试则是一种新兴的测试方法．对两种测试思想进行比较，提出了将两者结合以获得更好测试质量和测试效率的算法，即先对IUT进行被动测试．通过测试收集一些有用的启发式信息．然后再将这些信息用于指导后续的主动测试，此算法已被用于BGP协议的测试，实验证明该算法可以提高主动测试效率。  

在测试用例不放回时比较随机测试和分割测试

在测试用例放回的情况下,关于随机测试和分割测试的比较,许多研究者做了大量的工作,取得了显著成果.在测试用例不放回的情况下,类似的比较工作在国内外文献中尚未见到.然而在实际工作中,尤其是在软件测试早期和模块测试阶段,测试用例是不放回的.因此,在测试用例不放回的情况下,对随机测试和分割测试进行了比较,得出4个结论.与Chen和Yu在测试用例放回情况下的研究成果相比,一个不同的发现是,在平分子域、错误数、测试次数时,分割测试不如随机测试效果好.另外还发现,如何利用各种信息分割出错误集中的区域,然后着重测试,这是分割测试的核心.  

一种基于RSL的协议形式化描述技术的研究

1 引言随着计算机网络和分布式系统的发展,特别是开放型异构的互联,协议本身的复杂性越来越高,为了使通信协议的开发过程能理论化和规范化地进行,协议工程学已应运而生。它主要包括协议的形式化描述、协议验证、协议实现和协议测试等阶段,其中形式化描述技术(FDT)贯穿于整个协议开发过程的始终,是协议工程学的基础。  

Zigbee无线传感器网络平台的设计与实现

分析了Zigbee无线传感器网络的特点和关键技术,采用模块化的方法实现了Zigbee协议栈,设计了Zigbee无线传感器网络平台,并且进行了温度监测的实验。结果表明,该平台实现了Zigbee无线传感器网络的基本功能,可以更好地开发Zigbee技术。  

基于短距无线通信与3G的无线集中抄表系统

分析现有抄表系统存在的不足，介绍基于短距无线通信与3G的无线集中抄表系统。结合短距无线通信与3G技术，数据的汇聚与转发均通过无线方式进行。将采集到的计量表数据通过3G网络转发到计费部门的数据管理中心。与现有的抄表系统相比，该系统具有布置灵活、抄表范围大、功耗低、实时性好、干扰小等特点，在实际应用中有较好效果。