一种TTCN-3编解码器的演化方法

软件需求常常发生变化,导致软件经常被演化。由于 使用TTCN-3对演化后的软件进行测试时需要为大部分测试脚本重新开发编解码器,因此有必要对原来的编解码器进行演化,以提高测试效率。分析了TTCN-3编解码器的研究现状,提出了一种结合测试套文件对编解码器进行演化的方法。实验表明,该方法是可行的,为TTCN-3测试系统的使用提供了方便。     

程序在线评测系统的设计与实现

程序在线评测系统(Online Judge System)是面向程序设计的源代码自动评测系统,经过扩展可向教学方面转化,提供辅助教学功能.介绍系统主要模块功能及关键技术的实现.     

以自由基清除剂作为电压稳定剂的作用机理的研究

本文所选择的电压稳定剂能够有效地提高低密度聚乙烯电树枝起始电压,并能延长其在准均匀电场下的绝缘寿命。红外光谱的结果表明它影响聚乙烯的结晶峰的形状和位置。文章最后从化学的角度讨论了在电老化中自由基清除剂的反应机理。     

软件体系结构：一个新的研究领域

计算机软件系统中软件成分越来越复杂,系统规模不断扩大,使得软件体系结构越来越庞杂,软件系统的质量和性能已经不再仅仅取决于软件实现算法和数据结构,软件系统体系结构在一定程度上决定系统的优劣,因此软件体系结构(Software Architecture,AS)研究已经逐渐地引起计算机界的重视。软件体系结构作为一个新兴的计算机学科,它的理论体系和解决问题的方法尚未形成。加强其基础理论和应用方法的研究,不论对学科发展,还是对软件生产都具有理论意义和现实意义。     

铝基体超疏水表面结冰结霜特性研究

采用中性电解液,通过电化学加工技术及氟化处理方法制备出铝基体超疏水表面,接触角达160°,滚动角小于5°,并在其上进行了结冰和结霜研究.在不同实验条件下研究超疏水表面的形貌、霜高随时间的变化,并与相同条件下的普通铝表面、吸水性表面进行了对比.结果表明,该超疏水表面经过50多次结霜、除霜后,仍具有很好的超疏水性能,表现出良好的重复性和耐久性;与普通铝表面相比,铝基体超疏水表面具有明显的抗结冰结霜性能,霜晶先出现在四周边缘处并逐渐蔓延到中间,但抑霜能力随着冷表面温度的降低而减小;与吸水性表面相比,超疏水表面在抗结冰结霜的同时能有效抑制表面质量的增加.     

基于网格技术的物联网Savant中间件的实现技术*

简述物联网Savant中间件的工作原理,分析了目前Savant系统中存在的缺陷,并提出了相应的解决办法.讨论了网格技术的特点及与构造Savant系统紧密相关的技术细节和系统构建思想,就基于网格技术构造可扩展的Savant系统进行研究.提出了一种基于网格技术的Savant系统体系结构,并分析了这个体系结构的特点及优势.详细介绍了Savant系统的内部模块功能和交互方式,并介绍了一个能够满足这种设计需求的Savant系统原型的功能特点及实现方法.     

一种BPEL结构演化算法研究*

针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实,使用XML 解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的。利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程做模型检测,来验证该演化方法的可行性。实验结果表明BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题。     

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.     

大面积超疏水铝表面的电化学加工

为解决大面积超疏水表面加工难的问题,提出采用移动式阴极电化学加工技术和氟化处理方法来加工大面积超疏水铝表面,并使用扫描电子显微镜(SEM)、能谱仪(EDS)和接触角测量仪对铝表面的形貌、化学成分和疏水性进行了研究.结果表明:采用小面积移动式阴极制备大面积超疏水铝表面是可行的;当采用NaCl电解液时,在较优单位面积去除量不变的情况下,单位面积去除速度对铝表面的疏水性几乎无影响,这有利于实现超疏水表面的高效加工;加工后的铝表面获得超疏水性的关键在于表面存在合适的二元微纳米粗糙结构和低表面能涂层.