基于公理系统的面向对象自动测试研究

文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term rewriting'技术生成‘消息对'形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证.     

一种基于人工逻辑蛛网的路由算法

文中从生物仿生学的角度,对自然界中看似简单的生物行为进行研究,并从中提取有益的思想运用到通讯网络路由技术中.对传统的路由算法加以扩充、改进,将关键链路思想加入其中,并应用到MPLS网络的LSP路由当中.人工蜘蛛网络是源于蜘蛛结网捕食的行为研究提出的一种网络拓扑结构.基于蛛网,给出了一种路由算法(CRASW).此算法在确定了搜索的区域后,能计算出区域内任意点到目的节点的路径.实验表明本算法更容易获得最优路径.     

一种类间测试顺序改进算法

确定类的测试顺序是面向对象程序测试中的关键步骤。描述对象关系图模型,提出一种基于对象关系图的类间集成测试顺序改进算法,与Tai和Traon等人提出的算法相比,该算法需要的测试桩较少、效率较高。在Redflag4系统下用Kylix3(C++)对算法进行实现。理论分析和初步实验证明了该算法的可行性和有效性。     

普适计算广播安全协议的研究

广播是普适计算环境中最基本的一种通信方式。对广播通信安全协议的研究显得十分重要。点对点的鉴别模式并不适用于广播安全;数字签名方法则对普适计算硬件要求太高。给出一种基于对称密钥算法的安全鉴别方案,通过对密钥发布方式的改进,满足普适计算硬件环境的广播安全鉴别,对μTESLA进行改进,避免了其由于时间同步错误导致的节点攻击。改进的方案获得更高的安全性能。     

主流即时通软件通信协议分析*

根据主流即时通软件通信数据明文传输的特点,利用网络捕包工具,采用逆推的方法,分析目前流行的即时通软件不公开且不统一的文本消息传输协议。着重描述了ICQ文本消息传输协议的格式,并且对ICQ、AIM、MSN、雅虎通几个主流即时通软件的协议特征进行了比较说明,为进一步的文本消息监控提供依据。     

中板厂加热炉数学模型数值模拟

以某中板厂加热炉为研究对象,建立四段步进梁式加热炉板坯数学模型并采用有限容积法进行了离散,模拟了钢坯内部温度场,与黑匣子试验数据进行比较,证明模型建立准确可靠.研究了板坯不同入炉温度以及不同厚度对加热时间的影响规律,并得出加热时间与入炉温度和厚度之间的经验公式.     

加热炉板坯断面温差数值模拟研究

采用有限容积法 (FVM),建立了四段步进梁式加热炉板坯加热过程的数学模型,通过编程模拟了板坯内部的温度场,并与黑匣子实验数据进行对比,验证了模型计算结果的可靠性.以Q235板坯为研究对象,模拟了板坯最大断面温差随板坯入炉温度的变化规律.并在板坯厚度相同的情况下,讨论了宽度变化对板坯出炉温度的影响,发现当宽度达到一定值时,板坯出炉的冷点温度和最高温度不再随宽度变化.     

V型滤池除铁锰改造的成功样板——曲靖市三水厂

曲靖市三水厂水源水锰超标10倍左右,使用杰丽牌覆合锰砂后,出厂水锰含量优于国家自来水标准,这是一次使用覆合锰砂除锰的成功实例。     

一种基于人工逻辑蛛网的路由算法

文中从生物仿生学的角度,对自然界中看似简单的生物行为进行研究,并从中提取有益的思想运用到通讯网络路由技术中。对传统的路由算法加以扩充、改进,将关键链路思想加入其中,并应用到MPLS网络的LSP路由当中。人工蜘蛛网络是源于蜘蛛结网捕食的行为研究提出的一种网络拓扑结构。基于蛛网,给出了一种路由算法(CRASW)。此算法在确定了搜索的区域后,能计算出区域内任意点到目的节点的路径。实验表明本算法更容易获得最优路径。     

基于扩展ORD图的类间集成测试顺序改进算法

在UML类图的基础上,将传统对象关系图(ORD)模型进行了扩展,并对它们进行了形式化的定义.提出了一种基于扩展ORD图的类间集成测试顺序改进算法,通过递归调用改进的Kosaraj鉴别强连通分量的算法来确定SCCs.本算法与Tai和Traon的两种算法比较,需要的测试桩最少,效率最高.理论分析和初步的实验证明这种方法是可行和有效的.