一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

美育视角下社会管理创新的田野调查问题探析

把美育纳入社会管理的过程中并确定具体的管理、田野观察点,既可以使审美育人走出学者们的课堂和书斋,解决当前我国美育建设相对势弱问题,又可以使审美育人融入社会管理和人民群众的实践中,提高实践的质量和水平。要以个案来展示影响社会管理发展的某种重要因素、这种因素的张力以及它的存在和发展逻辑,以审美育人的标准和尺度考察社会管理者的行为,群众的感受和所见所闻、所思所想,关注群众现实生活的巨变。最理想的调查方式是选择那些与研究者成长背景完全不同的观察点,会收到最佳的效果,因为这样会避免先入为主的感觉。要特别注意运用相关的理论考察社会管理创新的机理,增强整体关照能力和深刻度。要在悬置经验本位和相关理论假设的前提下得出个案研究的新结论。     

面向装备作战仿真的弹药调拨供应决策建模方法研究

针对用线性规划方法在解决弹药调拨供应决策过程中存在的弹药调拨供应量的分配与弹药保障原则关联不紧密的问题,采用目标规划理论与方法,引入优先级区分主要作战方向和次要作战方向弹药库的重要程度,在同一优先级上以权重区分一梯队、二梯队及预备队弹药库的弹药保障优先顺序,使得模型的构建过程与弹药保障原则紧密相联。同时,在模型构建过程中,综合考虑了弹药消耗预测量、弹药储备标准和弹药运输时限等因素对弹药调拨供应决策的影响,并从本级弹药储备不足和充足两种情况进行了数值模型及分析,验证了模型的正确性与可靠性,为弹药调拨供应提供了决策支持与理论支撑。     

利用数形结合方法求解几类代数问题

数学研究的对象是现实世界的数量关系(数)和空间形式(形)。“数”和“形”常按照一定的条件相互转化。数形结合思想是数学的重要的思想方法之一,并蕴于数学基础知识和基本技能之中,在数学解题中应用十分广泛。其实质是将抽象的数学语言与直观图形结合起来,发挥“数”与“形”两种信息的转化及其优势互补与整合,使逻辑思维与形象思维完美统一起来。对于培养学生的创新意识和创造思维具有积极的促进作用。     

浅谈新课标下高中物理实验探究教学

在新课程改革中,新课标下的物理教材,更充分地体现出以学生为主体的原则。本文从开展探究性实验教学;实验教学引入不要拘泥于传统、强化实验创新设计等几方面阐述了如何在物理实验教学中培养学生的创新能力。     

蒙特卡洛法的截击空战仿真

针对具体空战环节,应用蒙特卡洛方法仿真了截击空战的全过程,提出了截击空战仿真的程序逻辑方案;并结合具体实例,得出仿真数据,定量分析了空战毁伤概率,进而分析了截击空战的作战效能。仿真结果比较符合实际空战情况,具有一定的创新性和实际应用价值,其分析问题解决问题的方法和过程对解决类似的问题有一定的借鉴意义。     

基于Fiducial推断的Bayes验前分布的表示

先验分布的确定与表示是Bayes统计推断的出发点和关键点。提出了一种基于信仰推断 (FiducialInfer ence)观点确定Bayes先验分布的设想 ,有助于解决无验前信息或验前历史信息较少时先验分布的确定问题 ,文中给出了一个实例说明了该方法的应用     

攻击大目标子母弹射击概率的分析与估算

射击概率是子母弹武器效能分析的重要参数,本文以攻击大（线）目标子母弹为对象,提出一种计算命中概率的简便的近似法,计算结果表明该方法计算量小,计算精度工程上可接受;本文还引出了子母弹封锁概率的概念,并作了初步分析。本文结果对子母弹武器论证与设计使用将提供有益的参考。     

保密通信中同相和正交通道失衡对干扰抑制性能的影响

针对同时存在恶意干扰与非法窃听的通信环境,提出一种协作干扰(cooperative jamming, CJ)掩护的保密通信架构,收发信机之间采用跳频技术躲避恶意干扰,并采用协作干扰技术阻塞非法窃听。但该架构的通信带宽较大,会在收发频率振荡器中引起显著的同相和正交(in-phase and quadrature, IQ)通道失衡。鉴于此,对收发IQ通道失衡引起的信号失真进行数学建模,给出接收机处信干噪比的数学表达式,并给出干扰抑制比的闭合表达式。仿真结果表明,收发IQ通道失衡引起的信号失真的功率远大于热噪声功率。随着收发IQ通道失衡加剧,所提架构的信干噪比和干扰抑制比性能均会急剧下降,当幅度和相位失衡分别达到0.95和π/50时,信干噪比和干扰抑制比均损失了47 dB。     

基于混合优化的前馈-反馈复合控制器最优设计

为了解决传统PID控制器在电动舵机系统设计中难以满足控制要求的问题,首先设计了一种规范化前馈-反馈控制系统,然后利用混沌优化算法和共轭梯度方法相结合的混合优化算法对前馈-反馈控制器参数进行了优化.仿真结果表明:基于混合优化算法的前馈-反馈控制器具有很好的动态和静态性能,增强了系统的稳定性和鲁棒性,降低了学习参数选择的盲目性和对经验的高度依赖性.