VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

军队工程招标激励模型研究

运用激励理论研究了军队工程招标采购过程中军方与承包商之间的关系,建立了军队工程招标激励模型。在不完全信息和竞争性招标中,投标人的行为是追求最大的效用,军方则需要建立一种机制诱使投标人按真实成本信息报价,以达到预期支付最小的目的。这种招标博弈的结果是军方与投标人之间达成贝叶斯纳什均衡(Bayesian Nash equilib- rium),即军方利用激励合同诱使投标人报出其真实成本,而投标人为达到中标目的则必须采取讲真话的占优策略,最终在双方均可接受的条件下达成协议。在此基础上,结合实际研究提出了改进的综合评标模型。     

心理倾斜现象研究

在日常的思想政治教育中,我们注意到一个比较普遍的心理现象:当官兵经历一些事件和变化时,总会产生一定的心理波动和倾斜,并表现出不同于以往的心理不平衡状态。比如军地待遇差异,先进或落后的评定,身边战友的升迁去留,或是战友之间发生的一些人际冲突等。类似的事件都会对官兵的心理产生影响,引发不同程度的心理倾斜,并产生一些或积极或消极的行为后果,因此需要思想政治教育者科学对待并认真解决。科学认识心理倾斜的内在机制心理倾斜是一种相对于心理稳定、平衡的状态,它指机体在对环境变化的适应过程中,心理协调应对能力与实际要求不平衡…     

转换视角看先进性教育成效

勿以“少数标准”看成效。不少同志认为,先进性教育的成效就是要看树立了多少典型、评出了多少先进、涌出了多少模范,视少数领导干部、标杆分子的言行转变为教育的最终成果,把广大党员群众置于教育对象之外。江泽民同志强调:在党的群体之中,我们教育和提高的主要对象是最广大群众、是全体党员,而不是一部分人,更不是少数人。“调动最大多数人的积极性创造性,对党和国家事业的发展始终是最具有决定性的因素”。如果我们的教育活动仅服务于部分人或少数人,那么,就算它再生动活泼,感染力再强,也不可能有明显成效。因此说,在看待先进性教育成效…     

如何增强基层政治教育实效性

随着时代进步和社会发展,基层官兵的思想行为、价值取向、道德准则等发生了很大变化,基层思想政治教育也遇到一些新的矛盾和问题。如,发展社会主义市场经济和推进中国特色军事变革的客观要求与部分教育思想观念滞后的矛盾,影响了教育效果;教育者阅历相对单一与教育对象经历日趋复杂的矛盾,影响了教育的亲和力;教育知识含量低与战士求知欲望强的矛盾,弱化了教育的吸引力。那么,要增强教育的效果,至少要使官兵感到:你说得有理而愿意接受,自己做得不对而乐于改正。更新观念,增强教育的时代感。当今时代,基层思想政治教育面临前所未有的挑战。教…     

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

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

阿喀琉斯的脚跟

近观进口大片《特洛伊》,果然是制作精美,场面宏大,故事曲折,回肠荡气。对影片中女主角海伦的美艳绝伦,特洛伊古城的雄伟气派,我都没有太在意。让我最感兴趣的是英雄阿喀琉斯的脚跟。阿喀琉斯是希腊神话中的大英雄。刚出生时,母亲为了让他永生,白天用神酒搽他的身体,夜里用神火     

美售台潜艇模型浮出水面

2003年11月,在新加坡举办的“2003亚洲海上防务展”上,美国诺斯洛普格鲁曼集团造船公司(前身是英格斯造船公司)前次公开了售台8艘常规动力潜艇计划,并在会场上展示了英格斯造船公司上世纪50年代为美海军所造的“长颌须鱼”级常规潜艇(Barbel class)的最新改良型——即售台潜艇模型。该模型是以“长颌须鱼”级常规潜艇设计蓝图为基础,经过重新设计并改造,     

道是无声却有“意”——海军对外交往中的非言语行为

为了促进我国海军与外国海军的友谊,我们必须注意军事交往中的文化交流。如果说扎实的外语基础、正确运用目的语的语法和词汇知识的能力有助于我们理解和构造句子,那么熟恶与语言有关的国情,民俗等文化知识则有助于得当地使用语言。这就需要我们在掌握语言的基本组成部分——语音、语法、词汇的同时,了解对方的民族文化习惯。