一种基于UML状态图的规约变异测试方法

规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免不合理的变异操作;分析了每种变异算子产生等价变异体的条件,能够在生成变异体的同时检测并移除等价变异体,进而减少其对测试过程的影响;给出了杀掉每种变异体所需满足的条件,可在此基础上产生杀掉特定变异体所需的测试用例,从而提高测试用例集的质量。在此基础上,根据变异算子的实际功能,整合了功能相同的算子,减少了变异算子的数量,从而进一步降低了变异测试的开销。实验结果表明,本方法能够较好地提高测试用例的质量,进而提升测试的效率。     

基于Android平台的无线WiFi控制方法

提出了一种基于Android手机的无线WiFi控制系统。首先采用嵌入式ARM9为硬件控制模块,手机终端以Android为应用程序的开发,编写了一个手机客户端软件,完成了手机端与控制器端之间的数据传输,实现了手机远程对PWM调速等的控制。系统中Android手机可利用周围无线网络资源与其他设备进行交互并实施控制,不仅为现有智能控制系统提供了新的控制方法,也为实现机器与人的信息交换提供了新的交互手段。     

基于网格与R-树空间索引的矢量线图任意简单多边形窗口裁剪算法

针对大规模矢量线与大量裁剪窗口同时出现的线裁剪算法存在的三个主要问题,减少线段求交次数、简化交点出入属性计算以及无交点矢量线的取舍,本文提出了一种基于双空间索引的大规模线图任意多边形裁剪算法。算法根据裁剪多边形的边分别建立R-树索引和均匀Cell索引,应用两种索引各自的优点大幅减少被裁剪线段与裁剪多边形上线段的求交次数。在此基础上,基于均匀网格索引,提出局部射线法,简化交点出入属性计算和无交点矢量线的取舍。本文在传统算法基础上提出三点改进:首先提出基于两种空间索引模型进行线段求交计算,保证算法在理论上具有较低的时间复杂度;其次,在射线法和网格索引基础上提出局部射线法,使得判断每个交点出入属性的时间复杂度为O(1)～ O(n~(1/2)),与参考文献中的算法相比,此方法的优点是避免判断多边形上顶点的方向;最后,算法中裁剪多边形可以是包含任意多个洞的任意简单多边形,克服传统算法中对裁剪多边形的特定约束条件。     

一种基于多路径的干扰避免协议研究

如何保证无线网络业务的连续可靠传输,成为多跳无线网络MHWN研究中亟待解决的问题。多路径路由作为实现无线网络可靠运行的有效手段,得到了广泛的研究。本文主要研究了MHWN中干扰避免问题,提出了一种适合MHWN的多路径路由算法,该方法具有较低的协议开销,通过网络干扰动态性检测获取遭受干扰最小路径,从而可有效提高网络抗干扰能力,并极大降低源重路由次数。文中详细阐述了协议的实现,并基于NS2对上述方法进行了较全面的仿真研究。结果表明该方法具有更好的路由抗干扰性能。     

传感器网络中的局部异常检测算法

找到异常数据对于传感器网络来说非常重要。本文通过一个例子首先提出了局部异常的概念。与传统异常不同,局部异常仅取决于节点及其周围节点的取值。我们给出了局部异常的形式化定义,并首先提出了解决局部异常的Nave算法,由于其能耗过大,又提出了分布式的解决方案DLODA。DLODA将网络分成多个区域,每个区域选择一个簇头,簇头能够在网内提前算出部分查询结果,并过滤掉不会成为查询结果的数据,以节约能量开销。最后从能量消耗和响应时间两个方面对DLODA的性能进行了评估,实验显示DLODA具有良好性能。     

一种用于图形设备接口的笔画模型方法

视频监控的在屏交互过程中,需要快速地对交互控件、感兴趣区域、活动标记等图形和图像进行绘制,为避免画面的停滞感,要求图形设备接口能快速进行绘制.为此,提出了一种笔画模型方法.利用 DirectX的原始绘制能力,该方法将绘制任务转换成笔画对象,使视频系统在实时运行过程中,只需将已转换的笔画对象的绘制数据提交给 DirectX 进行渲染和显示即可,降低重复绘制时间,满足系统的快速绘制要求.基于笔画模型方法,开发了一种可快速绘制的图形设备接口.     

基于词间关系分析的文本特征选择算法

传统的特征选择方法通常使用特征评价函数从原始词集中筛选出最具有类别区分能力的特征。这些方法是基于以独立的词作为语义单元的向量空间模型,忽略了词与词之间的关联关系,难以突出文本内容中的关键特征。针对传统特征选择方法的不足,本文提出一种新的基于词间关系的文本特征选择算法。该方法考虑对文本内容表示起到关键性作用的词,利用关联规则挖掘算法发现词语之间的关联关系,并且通过相关分析对强关联规则进行筛选,最终生成与类别属性密切相关的特征空间。实验结果表明,该方法更好地表示了文本的语义内容,而且分类效果优于传统算法。     

基于GPRS的中央空调远程监控系统设计

远程监控系统对于中央空调系统的节能、集中管理、维修以及远程诊断有重要的意义。设计了一种基于中国移动GPRS的通信架构,实现中央空调制造商从中国大陆任意通过中国电信接入因特网的PC上监控位于中国大陆的中国移动GSM覆盖网络下的任意中央空调机组。与其他中央空调监控系统相比,具有应用范围广、成本低、数据实时性好的特点。     

中职计算机专业教学中能力培养的应用

本文就计算机改革中能力培养的重要性进行了初步探讨,指出了教学改革的一些新途径,并提出一些新颖的教学模式,以此着重培养学生的实践能力和思维能力。     

SPI总线扩展PLC输出点数的设计与实现

针对PLC主模块可用输出点数少的缺点,提出了采用SPI总线和移位寄存器HC595相结合扩展PLC输出点数,并设计了输出扩展电路;根据SPI总线及HC595的时序特点,确定了SPI的时钟模式,解决了时序的配合问题,并确定了输出点数的逻辑顺序;UDTY端接一下拉电阻,保证其处于高电平,SPI2CLK信号取反后输入到HC595,保证其采样到稳定的SPI输出数据,滤波电容,提高了电路抗干扰性能;编程实现对扩展输出点数的控制。实际应用表明,该设计方案经济、可靠。