修正的条件/判定覆盖相关的问题

通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/-DC问题,提出MC/DC分析发现问题的方式,以及对问题的处理建议。     

理论获得实践权的条件

提出了理论获得实践权的三个条件，认识到这些条件，有利于理论普及和创造中坚持和发展真理。     

几种有限可重组合的公式型解法

对于有限可重组合问题 ,通常用母函数方法[1] 作解答 ,但当数据比较大时 ,母函数方法就不太方便。更重要的是 ,母函数方法很难在计算机中实现。本文对几种有限可重组合问题给出了公式型解法     

小雨打在我的头上

雨点往我头上掉,它恰似一个人有一双长长的脚,床上容不了。雨点往我头上掉,没完没了。著名歌曲《小雨打在我的头上!》是电影《虎豹小霸王》的主题曲,劳伯瑞福和保罗纽曼主演的经典西部片。它不像约翰伟恩系列的西部片描述阳刚正直的西部牛仔,这部电影的主角是两个火车大盗,是以     

节油的途径与进展

随着燃油价格的不断上涨,很多航空公司面临着成本上升、效益下降的困境,如何节油成为业界最为关注的问题。国内外的民航界对节油的方法进行了大量的研究和探索,本文参考国际航空运输协会(IATA)最新公布的燃油管理指导材料以及波音和空客公司的节油资料,结合国内外的最新应用成果,对此进行了全面的探讨。在航空公司的营运总成本中,燃油成本一般占20%至25%,而随着燃油价格的上涨,所占的比例更高达30%以上,这意味着油价每上涨1%将使营运成本上升0.3%以上,而国内油价从年初至今,已经历了3次大幅上调,从4190元/吨上涨到了5220元/吨,涨幅达24.6%…     

关于发展支线航空的几点思考

近几年来,我国国民经济持续高速增长,国家实施积极的财政政策和稳健的货币政策,更加有力地促进了国民经济各领域的健康、协调、可持续发展。与之相应,我国民航运输生产也持续以高于世界平均水平的态势稳步增长我国已成功地迈进世界民航大国的序列开始规划民航强国的宏伟蓝图,并在稳步实施。针对中国民航的发展现状、航线结构运力分布、机队构成,尤其是国家实施西部大开发战略,国家有关部门经过大量的调查研究、分析论证和协调工作,制定了《中国民用航空发展“十五”计划和“十年”规划》,该规划的附件《支线航空运输发展思路》中明确指出,我…     

图论中D=(dij)n×n的实际应用

在研究运输网、通讯网、公用事业服务网中,给某些设施选择最优地址的时候,就把各种网画成图,若画成的图是连通的,则可以转化为求图的中心和中位点问题.而求图的中心和中位点就必须利用离散数学图论篇的距离矩阵(D=(dij))n×n知识.     

航天飞机上留下中国学生的作品

中国学生设计的“蚕在太空吐丝结茧”的实验，随着哥伦比亚号航天飞机的爆炸，也永远留在了太空。事故发生后，众多媒体都对实验进行了相关报道。有的称这是中国学生的作品首次登上美国航天飞机，其实是不准确的。在这之前，已经有5个中国学生提出的实验方案登上了航天飞机。     

菊花祭——从《菊花的幽香》看劳伦斯作品中工业文明与人性的对立

《菊花的幽香》是劳伦斯的早期作品 ,文本通过一个矿工的死揭露资产阶级工业文明对人性的摧残 ,表现了资产阶级工业文明与人性的二元对立。文本还运用象征的手法 ,以菊花为婚姻与家庭的兴衰存亡的见证。