分支语句重构算法的研究与应用

由于条件分支语句的多重嵌套,导致代码的逻辑结构不清晰,可读性差,降低了生成基本路径集时划分基本块的效率。据此,提出一种代码自动化重构方法,该方法运用编译原理中语法分析的自下而上分析方法和归约思想,能够对嵌套的if-else条件语句实现自动化调整,实现代码结构的清晰化,更适用于生成基本路径集的工具,该方法提高了生成基本路径集的效率。而对于基于模型代数的基本路径集生成工具,改进了生成模型代数表达式的算法,并且能够准确地生成基本路径集。最后通过实验对案例进行对比,验证了重构方法及改进算法的有效性。     

基于组件的决策支持系统模型设计与实现

决策支持系统（Decision Support System简称DSS）是模型驱动的，DSS中模型的设计与实现是一个有待进一步研究的问题。本文把组件技术引入到DSS模型的设计与实现中来，提出基于组件技术的DSS的模型设计与实现策略。给出基于组件思想的DSS模型定义和运算，并给出基于组件技术的DSS基模型和复合模型的实现方法。     

一种基于Hadoop的EPC物联网数据分析系统的研究与实现

随着物流中心内部署的感知节点感知的EPC标签数据日益膨胀,并且由于单机容量以及计算能力的限制,使得传统数据处理方式已经不能很好地满足物流中心对于大数据处理的需求。为解决数据中心对内部历史数据进行高速有效处理的困境,在对Hadoop技术进行深入研究的基础上,提出了一种EPC物联网数据处理算法,并使用Hadoop技术进行实现。实验结果表明,在Hadoop平台中进行EPC数据处理,可以明显提高物流中心对历史数据的处理能力。     

基于KVM的虚拟化研究及应用

文中解释了基于硬件虚拟化技术解决方案Kemel-based Virtual Machine(KVM)的系统架构,分析了KVM的虚拟化拓扑结构灵活、硬件配置方案简单以及数据统一集中管理,如针对实践教学数据中心教学应用数量庞大、环境复杂,尤其使用加密狗作为加密手段的应用较多的特点,详细给出通过KVM解决上述问题的虚拟化设计方案,并通过一个案例具体说明了虚拟化部署过程中的重点及注意事项.该方案不但能满足教学正常进行的需求,成本低廉,而且能提高服务器的稳定性和利用率,降低数据中心的维护成本和复杂度.     

一种基于SIP协议的应用软件测试方法

提出了一种通过执行TTCN-3抽象测试套来验证应用程序正确性的新方法．介绍了SIP协议（Session Initiation Protocol,会话初始协议）及SIP协议的要素和消息,介绍了用于开发相关测试套的TTCN-3语言,给出了一个具体应用实例．实例验证该方法具有可行性．     

基于MSC的网络游戏软件测试方法研究*

针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。     

一种新的彩色图象文字提取算法

文字信息在描述图象内容时起着重要的作用,因此文字提取及识别是基于内容视频检索的关键技术。提出了一个从彩色图象背景中提取文字的快速而有效的算法。由于文本字符串的对比度较高,首先用一个改进的sobel算子将彩色图象变换为二值的边缘图象,再对该边缘图象进行涂抹处理,然后基于候选文本区的特征从不同复杂度的彩色图象中提取文本信息,最后将提取出的文本输入到文字识别(OCR)引擎,识别结果证明了此方法的有效性。     

一种改进的BGP路由策略冲突检测方案

本文针对路由仲裁者计划的不足，提出一种改进的BGP路由策略冲突检测方案，在改进方案中提出一种基于AS关系描述的路由策略冲突检测方法，研究表明所提出的检测方法可以克服RA计划的不足。对所提出方案的技术可行性进行论证，给出关键技术的实验结果和软件原型。