基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况,通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上,本文以软件测试过程中测试总代价最小为控制目标,采用交叉熵方法修正测试剖面,由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价,是一种有效的软件测试方法。     

高校教育信息化建设问题及对策

高校信息化建设是高校建设的一项重要任务,我国高校信息化经过十几年基础设施建设后,现阶段仍然存在一些问题。总结分析现阶段教育信息化建设中存在的问题及解决策略,有助于高校教育信息化建设健康、有序发展。     

基于ANSYS软件的管道漏磁场分析

介绍了漏磁场分析的基本理论以及由麦克斯韦方程导出的泊松方程对应的能量泛函,利用基于此理论基础的ANSYS有限元分析软件的ANSYS Multiphysics软件包对管道漏磁场进行模拟仿真,能得出大量缺陷漏磁场数据,这为缺陷漏磁检测定量化打下基础.     

一种基于VLIW DSP架构的高性能取指流水线

以超长指令字(VLIW)数字信号处理器(DSP)作为平台,针对现有提高单线程取指流水线效率的方法中存在的弊端,提出了一种高性能的取指流水架构.该架构支持无效取指的检测与作废,从而降低不必要的cacbe访问,减少取指流水停顿周期,该结构还引入专用硬件支持编译调度的循环软流水,有效提高指令并行性,降低代码存储空间,由此释放...     

乡村先进文化对社会软治理的引领作用——以河北边防总队实施爱民固边战略为鉴

河北公安边防总队通过实施爱民固边战略,发挥了乡村先进文化对社会软治理的引领作用,用承栽着乡村先进文化内容的、群众喜闻乐见的形式来影响群众,从而实现了社会协调,加深了沿海地区村民对于社会的认同感以及对于社会价值的遵从。     

基于VISA和SCPI的自动校准程序开发

描述了在VC++环境中开发的基于VISA接口标准的射频半实物仿真系统校准自动测试程序.利用VISA函数与接口无关、与操作系统无关、与编程环境无关的特点,通过GPIB总线和SCPI标准命令对矢量网络分析仪进行程序控制,达到空间辐射信号精确测量的目的,实现了目标阵列的宽带特性校准.     

基于Ansofl的PMLS发电机纵向边端效应仿真

永磁直线同步发电机特殊的结构使其存在一种特殊现象——纵向边端效应,从而严重影响了永磁直线同步发电机的性能。利用有限元电磁场分析软件Ansoft建立了永磁直线同步发电机的二维模型,分析了纵向边端效应产生的原因,以及纵向边端效应对永磁直线同步发电机初级磁场的影响。利用磁阻相等的原理,通过增加发电机端部齿宽度和极数两种方法来改善永磁直线发电机性能。经Ansoft软件仿真,结果表明增加端部齿宽度和极数可以有效抑制纵向边端效应,提高永磁直线同步发电机的性能。     

云纹数字图象处理新方法及通用软件系统

本文介绍了多种云纹数字图象处理新方法及云纹处理通用软件系统。在这些新方法中,利用云纹数字图象全场每个点的灰度信息进行处理和变换,得到全场直观、定量的应变信息。这些方法和软件系统为云纹法的广泛应用提供了有力工具。     

基于FMECA的信息系统软件失效安全风险评估与预测

随着大量软件产品应用于信息系统,不可避免地增大了软件失效对系统安全的影响概率。本文以某信息系统文电收发的处理过程为例,引入FMECA法,对其文电收发处理过程中由软件造成的风险进行分析,同时分析了引起风险常见的失效模式,并引入Markov模型对软件失效造成系统严重危害的风险进行预测,通过Markov模型与FMECA法结合能够迅速定位软件失效的原因,减少因软件失效造成的系统损失。     

Changing the paradigm: Simulation,now a method of first resort

Decades ago, simulation was famously characterized as a “method of last resort,” to which analysts should turn only “when all else fails.” In those intervening decades, the technologies supporting simulation—computing hardware, simulation‐modeling paradigms, simulation software, design‐and‐analysis methods—have all advanced dramatically. We offer an updated view that simulation is now a very appealing option for modeling and analysis. When applied properly, simulation can provide fully as much insight, with as much precision as desired, as can exact analytical methods that are based on more restrictive assumptions. The fundamental advantage of simulation is that it can tolerate far less restrictive modeling assumptions, leading to an underlying model that is more reflective of reality and thus more valid, leading to better decisions. Published 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 293–303, 2015