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

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

无线传感器开发系统的设计及实现

设计并实现了一种低功耗、通用性好的无线传感器节点,重点介绍了开发板的软、硬件设计,充分考虑了节能和扩展性的需求。系统支持多种目标文件格式。     

火力发电厂锅炉补给水处理系统的扩容设计

结合某火力发电厂原锅炉补给水处理系统水处理工艺和设施,对系统进行扩容改造设计。系统介绍扩容改造工艺流程及主要新增设备的设计参数,并对系统进行部分优化。结果表明,扩容改造后的整套系统运行稳定,出水水质满足国家标准《火力发电机组及蒸汽动力设备水汽质量》(GB/T 12145-2016)的有关要求,以期为类似电厂锅炉补给水处理系统扩容改造提供参考。     

灵活方便的ORACLE通用报表生成工具

ORACLE数据库系统是目前世界上最流行的关系数据库管理系统。它的主要优点是:具有很强的功能;具有大量的有特点的可选工具;以SQL语言为基础,可移植性好、能适应多种硬件环境。在国内,ORACLE数据库的用户也在迅速增加。 但是,ORACLE数据库系统也有不足之处。据美国DATAPRO公司对18家ORACLE用户的调查:用户认为ORACLE数据库不足之处是,ORACLE的报表生成能力差,使用繁琐。在国内,ORACLE也不能适应我国编制报表的习惯和要求。例如,ORACLE报     

基于TCL的IPsec协议一致性测试

IPsec协议体系是IETF制定的新一代网络安全协议标准，用于在IP层为IPv4和IPv6提供可交互操作的、高质量的、基于加密的安全．针对协议一致性测试的要求和IPsec协议体系的特点，设计了一种基于Tcl的IPv6协议体系中的IPsec协议一致性测试系统，并给出一个实例说明如何使用该系统进行测试例的开发,实践表明，该系统具有方便、灵活、模块独立性好等优点，基于Tel的一致性测试是一种有效的协议一致性测试技术．     

一种通信协议测试序列生成的新方法

本文讨论了一种协议测试的新方法,它使用构造类别代数述通信协议规范,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较,得出两种方法在一些方面是等效的,但在处理状态较多的协议时,这种方法有一定的优点。     

被动测试中观察者放置问题

在被动测试中如何放置观察者使得放置的数目最少并且能监视整个网络的运行情况是一个很有实际应用价值的问题．先证明了该问题是一个NP完全问题;接着讨论了在网络拓扑是树的特殊情形下该问题的解,并给出了针对树结构的一个线性时间算法;然后在一个已有的近似比为2的算法基础上给出了一个改进算法并证明了其近似比为2—O（1）,最后用实验来验证了改进算法的有效性,指明了进一步的研究方向．     

基于TCL的电路板原理图自动审查平台建设

该文提出了一种用TCL语言作为审查脚本语言构造原理图审查系统的系统框架。在该系统中,利用TCL语言的扩展性,制定了一套应用于原理图通用数据结构的TCL扩展命令,并在此基础上构建原理图规则库和自动审查执行器,实现了原理图的自动审查。     

基于SOA的数字化校园平台的研究

为了解决学校系统功能孤立,开放性差产生的信息孤岛问题,文中提出了一种数字化校园建设的方案.该方案结合学校数字化校园的现状和SOA技术,提出一个由统一身份认证、统一信息门户和共享数据中心组成的数字化校园总体逻辑架构.在该架构的指导下分析并确定了数字化校园的信息流,实现了信息共享和资源优化.