软件质量及其度量准则

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

一种基于语义的Ontology映射方法

O n to logy映射是实现异构O n to logy互操作的有效方法,目前的O n to logy映射主要采用句法方法,而很少采用语义方法。本文提出了一种基于语义的O n to logy映射方法,该方法考虑了O n to logy中的概念属性,采用概念名称相似性、概念属性集合相似性、相关概念集合相似性等确定O n to logy之间的语义映射关系;采用语义半径提高了语义映射方法的灵活性。试验分析表明:该方法得到的映射的准确率和查全率在90%以上,准确率和查全率均优于S-M atch方法。该方法已在基于知识需求的主动式知识系统原型中实现,并在某研究所得到了应用。     

Lyapunov矩阵方程的一种数值解法及部分并行处理

本文设计了求解Lyapunov矩阵方程的一种新方法。所考虑的矩阵方程是 AX—XB=C(1)其中A,B,C分别是m×m,n×n和m×n的已知矩阵。 该方法首先是将系数矩阵A,B初等相似约化为三对角矩阵,即存在可逆矩阵U,V,使U~(-1)AU=A,V~(-1)BV=B,其中A,B为三对角矩阵。然后设计了矩阵方程AY—YB=C的公式解法,分三步: 1)求f(λ)=det(λI—A)的λ各次幂的系数a_0,…,a_m; 2)计算sum from i=1 to m (A_(m-i)-CB~(m-i)),f(B); 3)求解Y。解方程AY—YB=C的方法称为THR算法。 最后经逆变换获得原矩阵方程(1)的解X。 求解矩阵方程(1)的方法称为R—THR算法。该方法的计算量约为m~3+4/3n~3+7m~2n+5nm~2+m~2。 本文给出了R—THR的串行计算的数值例子,并给出了THR算法的并行计算格式。最后通过几种数值方法的比较,表明该方法是可行的,也是有效的。     

分组编码调制新进展

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

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

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

空间连续流电泳电流体力学过程的地基模拟

通过相似性分析得到了空间连续流电流体力学过程地基模拟的相似性准则，数值模拟表明，所得相似性准则是有效（近似）的，基于此，建立了空间连续流电泳电流体力学过程地基模拟实验系统，并进行了生物样品分离实验，当然，相似准则的最终检验有待于空间实验。     

模糊相似度景像匹配算法研究

研究了求取图像模糊特征域的计算方法,提出了采用图像模糊集相似度进行景像匹配的方法,并探讨了综合利用多种模糊集相似度算法进行匹配的方法,进一步提出了模糊综合相似度(FSSM)匹配算法.仿真验证表明,FSSM算法具有适应性好、匹配率高等优点,且实时性也较好,为飞行器实时景像匹配提供了一种可行方法.     

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个维度构建态势的指标描述,并进一步采用中介理论中的真值程度度量与熵权法建立了一种客观的终端区飞行区交通态势模糊综合评价方法,实现客观、准确的交通态势判别与样本间量化比较。选取国内典型繁忙终端区的实测数据,验证了评价方法与特性指标的有效性。     

每月小抄

[2012年3月23日][考古]中国科学家与巴西古生物学家合作,在中国辽西地区发现一种奇特的白垩纪翼龙化石。这件被命名为"猎手鬼龙"的化石进一步证实了中国辽西地区产出的翼龙组合与巴西东北部产出的翼龙动物群具有很高的相似性,它们之间存在着十分密切的演化关系。[2012年3月23日][考古]克罗地亚考古人员在温科夫齐一处建筑工地发掘出土一批银器,共50余件,总重约35千克,大部分为器皿。据初步判断,