浅析提高信息系统软件测试质量的途径

随着信息技术为核心的高新技术在军事信息系统中应用的不断深入，作为信息系统核心部分的软件系统质量成为影响系统效能与可靠性的关键。如何有效保证软件系统质量、提高信息系统的可靠性成为目前我军亟需解决的重要问题。本文从软件工程的角度出发，针对信息系统中的软件系统，结合软件测试技术的发展和我军信息系统的现状，提出了提高军事信息系统软件测试质量的几种途径。     

商务印书馆函授学校英文科学员来源地考察——基于《英语周刊》(1921-1922)记载的分析

商务印书馆函授学校英文科在中国近现代成人教育史、职业教育史上都占据着非常重要的位置.1921年至1922年期间的《英语周刊》对英文科学员来源地等信息均有着较为详细的记载,弥补了已发现的相关史料的不足,从而可以对其办学效果做出一个客观、精确的评价.通过《英语周刊》的相关记载,可以发现英文科学员来源地范围覆盖区域非常广泛,其学员来源地构成状况呈现出了多元化、多样化的特点.仅仅从学员来源地状况的角度去审视、考察,商务函授学校英文科取得了显著的办学效果,它在一定程度上弥补了普通学校教育资源的不足,有力促进了中国教育近代化事业的发展.     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

基于算法估计的网络端到端时延测量方法

在网络端到端延迟的测量中,常用的方法大多是通过发送探测包来直接得到端到端的时延值.由于存在时钟不同步的问题,所以测量结果的误差较大.针对此问题,在Sue B.Moon提出方法的基础上进一步改进,提出了一种基于算法估计的软件方法,该方法更好地解决了收发时钟不同步的问题,提高了测量的精度.     

基于Monte Carlo仿真的武器装备贡献度评估法

为了更加科学、准确地对武器装备贡献度进行评估,从装备体系的角度出发,立足于作战任务实际,充分体现信息化条件下空战过程的随机性,提出了一种基于Monte Carlo仿真的武器装备贡献度评估法。对典型空中作战场景进行了任务阶段划分。提出了能够准确描述作战能力的指标项,建立了能够反映能力指标项的随机矩阵。并以拦截空中目标为作战背景,运用Monte Carlo仿真进行了验证,得出了与实际结果一致的结论。为武器装备的装备贡献度评估提供了理论支撑和方法模型。     

应变局部化理论及在岩土中的应用

应变局部化是物质内部应变积聚而生成的应变窄带,也称剪切带。固体材料特别是岩土材料的塑性变形和破坏常常与应变局部化现象相联系。应用经典连续介质力学来研究应变局部化现象遇到很多困难,如数值模拟的结果病态依赖于有限元网格等。为了克服这一困难,国内外研究者尝试着用各种不同的方法来研究应变局部化现象,包括理论、实验、数值模拟等方法。本文对应变局部化理论及其在岩土中新的应用进行了总结与回顾。     

近红外光谱技术快速测定汽油中芳烃、稀烃含量

对近红外光谱法预测汽油中的稀烃、芳烃含量进行了研究,用全交互验证法对36个不同油库、加油站汽油样品中的稀烃、芳烃含量进行了预测。研究结果表明,近红外光谱法预测汽油中的稀烃、芳烃含量方法可靠,预测结果能够满足国家标准对稀烃、芳烃含量分析的误差要求。     

几类特殊多叶函数的极值点和支撑点

设S(p,α)、C(p,α)及K(p,α)分别表示α阶的p 叶星像、凸像和近于凸函数族。本文对这些函数族的支撑点和S(p,α)的从属函数族的极值点和支撑点进行了研究,推广了Grassmann 和Perera 等人的结果。     

USB与RS232接口转换器的设计

针对RS232接口向USB接口转换的需求,提出两类设计方案。一类方案以CY7C68013芯片为代表,从硬件底层固件开始,进行全面系统开发。另一类采用类似CP2102的USB/RS232双向转换专用芯片进行设计,只需对芯片功能了解和应用,无须深入开发。第一类方案由于成本和开发难度的限制而很少被采用,但在特殊的操作系统或专门的应用条件下是优选方案。第二类方案经常被采用,但因受到芯片生产商的限制而无法进行特殊的应用。应用设计人员可以根据实际情况选择适合的方案。     

谈军校图书馆在信息素质教育中的地位和作用

介绍了信息素质及其教育的相关概念和理论,提出信息素质是军校生最根本的素质,并对图书馆在军校生信息素质教育中的主体地位进行了分析和阐述,概述了对信息素质教育与图书馆未来建设的认识。