基于子路径扩展的不可达路径检测方法

不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.     

对嵌入式软件开发原则与模式研究

伴随着持续发展的科学技术水平,人们更高要求软件,针对当前逐步增长的产品研发要求,以往传统软件开发方式难以满足,在此背景下,亟待开发出适应现代生活的嵌入式软件,更多的人将其目光放在开发嵌入式软件方法,以便可以将开发软件效率提升,确保开发质量,开发嵌入式软件,必须将其出发点放在客观实际,将已开发当成中心,着力需求嵌入式软件开发原则与模式。     

省级广播电视安全播出调度指挥平台的设计与应用

为切实推进省级安全播出调度指挥工作的信息化、网络化建设,进一步提高调度指挥效能,按照上级总体部署,结合省级具体情况,设计并建成了省级广播电视安全播出调度指挥平台工程.该工程的设计秉承安全、稳定、实用、经济的原则,充分采用当今尖端的计算机编程技术,将公告发布、数据传输、预警信息发送及视音频通信功能融为一体,并利用先进的网络集成和数字通信手段,通过光纤和SDH环网等设施将网络延伸至省局属各有关单位值班机房,既实现了安全播出信息资源共享和调度指挥指令第一时间到达播出第一线,又为安全播出事件事故的应急处置工作提供了便捷高效的平台.     

数学分析及数学软件在数学建模当中的应用探究

本文分别阐述当前的数学软件类型及其各自存在的特点,从而对当前主流的数学软件在数学建模当中的应用进行梳理。同时以LINGO软件在数学建模中的典型应用进行举例,以此给数学软件在数学建模当中的应用提供应用的实例参考。     

Juan Luis Villanueva仿真软件在S7-200 PLC教学中的应用

为了改善PLC课堂的教学效果,将Juan Luis Villanueva仿真软件用于S7-200PLC课程的日常教学。首先对Juan Luis Villanueva仿真软件做了简单介绍,之后通过实现四台电机顺序启动同时停止的例子介绍了使用仿真软件的教学过程,最后简要说明了采用仿真软件在PLC教学中的优势。     

机电一体化课程的仿真设计

机电一体化技术课程设计是机电一体化专业的实践课程。应用仿真软件,设计自动控制程序,丰富课程设计的内容。通过增加机电一体化设计的仿真设计环节,使学生的机电结合的知识更加巩固,同时对相关知识的理解也更趋向于立体化。这样的仿真环节,对同样有此课程的同行们,会有一定的启示作用。     

基于Android平台的软件加固方案的设计与实现

本文在深入分析Android的系统架构、软件结构及其执行机制的基础上,提出和实现了一种基于classes.dex文件动态加载的Android软件加固方案,实现软件关键代码的隐藏,可以有效地对抗各种针对Android软件的逆向工程攻击。     

5G蜂窝网络架构分析

为了满足未来移动业务快速发展的需求,除了更宽的频谱带宽、更先进的无线接入技术外,5G网络还需要新型的无线网络架构.根据5G网络主要性能要求,详细分析并总结了未来5G蜂窝网络架构的主要技术特征.基于上述讨论,提出了一种基于软件定义网络(SDN)和网络功能虚拟化(NFV)技术的新型5G蜂窝网络架构,并针对5G蜂窝网络架构可能存在的问题与挑战进行讨论,为后续研究发展提供参考.     

基于开源软件的IMS通信网络的设计与实现

随着IP多媒体子系统技术的应用和发展,如何有效建立IMS通信网络环境是进行IMS网络架构与功能研究的前提与重点,为此,针对目前IMS小规模网络构建的需求,研究提出了一种基于开源软件的IMS通信网络构建方案,以解决标准IMS网络构建成本高、难度大等问题。此方案基于Open IMS Core开源项目,从虚拟机构建、通信协议配置以及通信业务配置等多方面阐述了网络构建的初步设想,为IMS相关的科学研究提供了新的学习、试验以及测试平台。     

Hamaker 2: A Toolkit for the Calculation of Particle Interactions and Suspension Stability and its Application to Mullite Synthesis by Colloidal Methods

For modern processing of ceramics at the nanoscale, the influence of interparticle interactions in the suspended state becomes increasingly important. The Hamaker 2 program has been developed for the rapid prediction of these interactions, allowing us to gain important understanding of the often delicate balance of forces in ceramic powder suspensions. This article discusses the theoretical foundation of the implemented models and shows the benefit of this predictive approach applied to mullite production by colloidal methods.