软件质量及其度量准则

几乎所有的软件开发者都同意软件的质量是至关重要的,但并不都知道如何使软件具有高质量。在软件工程中,对这个问题的研究已形成了一个分支——软件质量保证。软件质量保证是为使软件产品符合规定需求所进行的一系列有计划的工作,它贯穿于软件的全部开发过程。许多研究表明,开展软件质量保证对于开发者和最终用户都是有益和合算的。下面数据可以说明这一点: a.开发部门在软件维护方面的工作量逐步上升,已占全部开发工作量的50%到80%。 b.在软件生命期中用于发现和纠正软件错误的成本以几何级数的速度上升。对于纠正同一个错误,在维护阶段所花的成本要比在分析阶段所花的成本高10倍以上。     

分组编码调制新进展

１９８２年，Ｕｎｇｅｒｂｏｅｃｋ提出了将郑积码与调制一体化的网络编码调制（ＴＣＭ）方案，这种方案能够在不增加系统带宽与发射功率的前提下，提高信息传输的可靠性。作为ＴＣＭ一个 分支的ＢＣＭ方案是由Ｉｍａｉ与Ｈｉｒａｋａｗａ于１９７７年提出的，它是将分组码与调制一体化，采用这种方案构造出的码字称为ＢＣＭ码，ＢＣＭ码有许多优于ＴＣＭ码之处，文章简要叙述了网络编码调制（ＴＣＭ）技术提出的前景，重点论述了分     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

基于中介理论与交通特性的终端区态势评价

终端区交通态势的准确度量是制定并实施流量管理措施的重要依据之一。通过提取终端区宏观与微观的交通特性,从进离场及总量3个维度构建态势的指标描述,并进一步采用中介理论中的真值程度度量与熵权法建立了一种客观的终端区飞行区交通态势模糊综合评价方法,实现客观、准确的交通态势判别与样本间量化比较。选取国内典型繁忙终端区的实测数据,验证了评价方法与特性指标的有效性。     

航天运输系统中软件复杂性度量与控制

用软件度量学的方法来科学地评估软件质量,能够更有力地对软件开发过程进行控制和管理,合理地组织和分配资源,制定切实可靠的软件开发计划,从而获得高质量的软件.     

基于遗传算法的地磁匹配搜索策略

为降低导航成本,提出仅利用磁测计和里程计的地磁场匹配定位方法.为解决搜索空间过大的问题,提出以遗传算法在匹配区域搜索可能路径的方法.该方法以相关性度量作为适应度函数,交叉与变异仅针对点列的相对关系完成,提出用局部适应度函数自适应调整交叉概率与变异概率.仿真结果表明,该方法可以有效完成地磁匹配导航中任意形状路径的匹配.     

一种适用于高速OFDM的符号定时同步算法

OFDM系统以其优秀的频带利用率受到了广泛的应用。本文就OFDM系统在高速数据传输环境下出现的符号定时同步问题与经典同步算法中的问题的不同点做了分析,并对针对小子载波数情况出现的不同对已有的经典符号定时同步算法做出了相应的改进。最后使用Matlab对其进行了仿真,可以得出在小子载波数的情况下捕获性能良好,是一种可以用于高速OFDM系统的符号定时同步算法。     

基于贝叶斯因子和二阶概率方法的圣地亚热传导模型确认挑战问题

针对美国圣地亚国家实验室为促进模型确认方法的发展所提出的热传导挑战问题,根据现代模型确认思想总结了该挑战问题解答中应包含的核心内容。在确认度量环节采用贝叶斯因子考察了实验数据是否支持所给模型,在此基础上通过二阶概率方法得到了模型预测的分布,以此计算出模型预测结论的置信度。该过程中考虑了模型参数的随机不确定性和认知不确定性,最后通过灵敏度分析辨识了模型参数的不确定性对模型预测的影响。研究表明该挑战问题中的实验数据支持所给模型,模型预测受导热系数的不确定性影响最大,模型预测材料在调控条件下的失效概率不满足调控要求,该结论的置信度为99.97%。     

ν-gap度量及其在飞行控制律评估中的应用

传统控制律评估方法主要用于单输入单输出(SISO)系统,且对模型参数摄动考虑不够全面,针对这些不足,研究了ν-gap度量方法。在介绍系统广义稳定裕度相关概念的基础上,给出了ν-gap度量的定义、特点和性质以及近似摄动模型的计算,提出ν-gap度量评估控制律的步骤。实例结果表明,该方法不仅克服了上述传统评估方法的缺陷,而且还有根据所求的各摄动影响情况忽略影响小的元素,以减少计算量及可以找到最坏情况下的参数摄动组合等优点。