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

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

COBP方法及其在C4ISR系统评价中的作用

COBP（NATO Code of Best Practice for C2 Assessment）是北大西洋公约组织近期用来指导C4ISR系统效能评估的最新理论成果,本文首先对其主要部分进行了总结,详细阐述了它的评估过程,接下来给出了外军应用COBP方法进行C4ISR系统评估的一个应用实例,最后比较了COBP方法与其他系统效能评估框架的异同,总结指出COBP方法对我军指挥自动化系统评估的借鉴意义。     

寻觅自由灵魂的栖息地——谢的朝隐之梦与思乡情结

从谢的出身谈起 ,从激情踏入仕途到萌生朝隐梦想 ,从抒发剪不断理还乱的思乡情到朝隐梦的破灭 ,叙述了谢寻觅心灵家园、寻觅理想生存方式的过程 ,指出朝隐之梦与思乡情结的内在联系及深层意蕴 ,并运用弗洛依德的爱洛斯人格理论诠释了谢心灵矛盾及人生悲剧的本质原因。     

新疆人口分布的地域性研究

以新疆人口统计数据为依据,采用人口集中指数和规模顺序分布规律等分析方法,研究新疆各地区人口分布、动态过程和趋势特征。揭示新疆人口分布和人口变动的空间性差异,以及形成这种差异的自然和社会因素,有助进一步了解新疆人口发展的规律。     

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

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

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

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

路面不平度的频谱分析及其AR模型

描述了路面不平度的统计特性,建立了AR模型。运用现代谱估计的方法对沙土地、硬土地和耕地等非人工路面的频谱特性进行了分析,得到了沙土地等3种路面的加速度功率谱和位移功率谱密度曲线图。结果表明,沙土地和耕地路面要好于硬土地路面,该结论与常识相符,验证了用AR模型法进行功率谱分析的可靠性和可行性。     

语文教学与学员创新能力的培养

语文教学要注重创新教育的培养。要在语文教学中培养学员的创新能力,不断强化创新意识,培养学员创造性思维,激发学员的学习兴趣,多给学员自主学习的机会。     

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

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

From the International Conference on the Great Lakes Region-led negotiation to the Intervention Brigade

The eastern Democratic Republic of Congo (DRC) has been characterised by chaos and insecurity for a number of years, but the rise of the M23 rebellion in 2012 once again highlighted just how dire the humanitarian and security situation is. For most of 2012, the crisis was addressed through negotiations between M23 and Kinshasa, mediated by the International Conference on the Great Lakes Region (ICGLR). However, 2013 marked the signing of the Peace, Security and Cooperation Framework Agreement (PSC Framework), and the United Nations Security Council's adoption of Resolution 2098, which contains the mandate of the long-awaited Intervention Brigade (IB). The PSC Framework calls on Kinshasa to implement substantial political reforms while also urging the neighbours of the DRC to stop interfering in its internal affairs. The IB is mandated to carry out targeted operations against the so-called ‘negative forces’ that operate in the eastern DRC. For now, hope of resolving this ongoing crisis hinges on the continuing ICGLR negotiations, the implementation of the PSC Framework and the success of the IB. However, there are critical questions about all of these processes that need to be answered and understood, as the expectations for these processes – especially in the case of the IB – are extremely high. Will the ICGLR manage to negotiate a peace agreement and will the IB succeed, or will they go down in history as yet another failure to save the eastern DRC?