航天型号软件代码质量度量评估实现

结合和完善Logiscope和McCabe两种软件度量体系,根据航天型号软件的具体特点,选取出依据软件程序代码的可量化测量度量元,同时修改并增加了3个新定义的度量元,并通过测试不同型号的软件确定出模型参数,建立质量度量评估模型。本研究成果有助于航天型号软件的量化评价,为质量管理人员了解软件质量水平、软件设计师改进软件程序质量,提供量化的客观依据。     

基于时间持续性的动态风险度量模型

基于一致性风险度量公理建立的CVaR方法缺乏多时期风险度量属性,特别是动态持续性.针对这些问题,本文在动态一致性风险度量框架下,提出动态风险度量方法(DVaR),并利用我国深市和沪市数据对VaR、CVaR和DVaR方法进行实证比较研究,通过回测方法比较3种方法的有效性.     

软件可靠性度量实例研究

为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。     

随机变量信息度量研究

指出在决策理论等领域的研究中,直接应用Boltzmann-Shannon熵或其泛化形式来度量随机变量信息时,存在2个缺点;随后提出了随机变量信息函数所应满足的4个条件.在此基础上,导出了度量离散随机变量信息的一种新方法,并证明了其函数形式的唯一性.这种度量方法保留了信息熵度量的大部分性质,并具有一些新的性质.最后将其推广到连续随机变量.将这种信息度量方法应用于决策理论的研究,收到了良好的效果.     

动态一致性风险度量

以投资期限的划分为分界点,提出了静态和动态两种类型的金融风险度量方法.以风险度量的一致性标准为纽带,分析和证明了动态风险度量的一致性.最后,对一般概率通过函数变换,应用Choquet积分思想,对动态一致性风险度量的特征进行了探讨,指出它在实际应用中为多期风险度量方法提供的理论依据,对长期组合投资具有重要的现实指导意义.     

基于收益长期相关的风险度量及投资期限效应

在资产收益具有长期相关性的框架下,从序列可预测性的角度将风险定义为实际与预测结果的偏差;认为该风险能够用序列中的噪声进行度量。在此基础上,还以不同抽样间隔的上证综合指数收益序列对风险度量的投资期限效应进行了考察。     

体系对抗仿真中体系效能分析初探

从体系对抗的角度研究战争或作战问题是应对军事变革的一种新思路。本文首先说明信息时代体系对抗仿真的必要性；然后论述系统效能度量分析的基本原理，从而引出体系效能度量分析原理；接着探讨用试探性建模与分析方法来对体系效能进行度量分析，提出一个分析框架；最后概要介绍用试探性建模与分析方法对一个战区级体系对抗模型进行体系效能分析的例子。     

基于加权Minkowski距离的IFS相异度度量方法

针对现有直觉模糊集合间距离度量的局限性,提出一种基于加权Minkowski距离的相异度度量方法。该度量方法适合于连续论域中集合间距离的测量,而且通过引入加权参数解决了各个属性具有不同权重的实际问题,同时克服了现有IFS距离度量的缺陷,进而解决了几个特殊直觉模糊集合之间距离度量问题。通过算例分析比较,证明了该方法在现存的距离度量方法中是比较优越的。     

基于框架的软件测试性分析

软件测试性分析能帮助设计人员开发出更易测试的软件,从而减少软件测试的难度和费用。为了分析不同软件的测试性、提供各种测试性信息,提出一种基于框架的软件测试性分析方法。框架由测试性度量、易测试特性度量、测试性因素度量以及它们之间的关系构成。首先,根据不同软件的特点和测试情况,从框架中获取测试性因素度量|然后,分析影响同一易测试特性的测试性因素,通过模糊计算模型度量易测试特性|最后,综合易测试特性计算软件测试性。实例应用表明该方法确实可行,能够为软件开发提供帮助。     

系统复杂性的度量方法

在前人工作的基础上,对系统复杂性的度量问题进行了系统地总结、分析和研究,首先,具体给出了混沌系统的定性和定量判别方法;然后,提出了度量混沌复杂性的"混沌度"的概念和计算方法;最后,系统总结了结构复杂性的五种度量方法.     

Optimal Budget Spending for Software Testing under the Condition of Nonlinear Constraint

Software testing is a very important phase of the software development process. It is a very difficult job for a software manager to allocate optimally the financial budget to a software project during testing. In this paper the problem of optimal allocation of the software testing cost is studied. There exist several models focused on the development of software costs measuring the number of software errors remaining in the software during testing. The purpose of this paper is     

社会设计工程问题框架

为寻求一种解决社会问题的工程化方法,提出了社会设计工程.研究了社会设计工程问题框架,给出了框架的五要素及其相互关系,对问题的解进行了描述.最后,通过分析社会设计工程问题的特点,得出社会设计工程问题不能靠对策论或运筹学等简单方法进行处理,需要运用解决复杂性问题的方法来处理.     

基于模糊评价方法的软件质量评价研究

针对软件质量评价研究中的度量问题建立了基于ISO/IEC 912 6标准的软件质量指标体系模型 ,结合质量评价方法研究中的常见问题 ,运用指标体系模型和模糊数学方法对软件质量评价标准进行模糊化处理 ,以度量数据为基础 ,根据软件质量子特性和指标之间的关系 ,采用模糊综合评价方法评价子特性质量和特性质量 ,通过建立软件质量评价模型 ,有效地解决了软件质量的多指标评价问题 ,可用于指导用户进行软件过程改进。     

基于组件的联邦成员生成框架设计与实现

高层体系结构（HLA）作为分布式交互仿真的标准,从很大程度上提高了仿真模型的可重用性和互操作性。但由于HLA接口规范中提供的服务数量庞大,这就使得仿真开发人员在理解HLA/RTI运行机制上需要耗费大量的时间而延误仿真逻辑模型的开发进度,因此为仿真开发人员提供一个通用的联邦框架,利用框架中简单的、面向对象的接口进行联邦成员开发成为一个关键问题。将基于组件的开发方法实现一种联邦成员生成框架,能通过FOM/SOM和用户输入,生成联邦成员框架代码,实现典型成员的公共功能。     

基于Maxmin公平的风险控制资源比例分摊方法

在项目风险管理实践中,如何将风险控制资源适当地分摊给各风险因素是一个重要议题.在风险控制资源总量有限的情况下,合理地分配风险控制资源将有助于提高风险控制效果,提高资源利用效率.考虑到比例分摊是一种在实践中被广泛采用的分摊方法,其直观的分摊原理更容易被决策者所理解和接受,因此引入比例分摊思想研究该问题.首先推导出项目风险控制资源分摊集的数学表达式,进而定义各定义风险因素的分摊效用函数,在此基础上以分摊效用值满足Maxmin公平为目标,构建风险控制资源分摊模型并给出相应的分摊算法.该模型被应用到软件项目开发实例中,结果表明该方法能够实现对风险控制资源的合理分摊,可以为项目经理提供有效的决策支持.     

多执行模式资源受限工程调度问题的优化算法

近几年来,模拟退火（ＳＡ）和遗传算法（ＧＡ）等智能优化方法在求解组俣最优化问题显示出了较强的能力,许多文献报告了它们在这类问题上的应用,有些文献则报告了一些它们的混合算法,然而,定些算法对问题的求解效果因问题的结构不同而有限大差异,它们的成功必须充分结合问题本身的特点,本文针对多执行模式资源受限工程调度问题的特点,设计了一种ＳＡ／ＧＡ混合算法,利用被普遍应用的标准问题对该算法进行了测试,取得了令人满意的结果。     

实施小组软件过程提高成熟度等级

软件能力成熟度模型(CMM)已经成为众多软件企业改进软件过程的框架,但是它只给出了过程改进的方面和要达到的目标,而没有具体说明如何进行软件过程改进。小组软件过程是一个具体的、完善的、可以使用的软件过程,它支持基于CMM模型的软件过程改进。通过分析小组软件过程与CMM之间的关系以及实施小组软件过程对提高软件过程成熟度的作用。指出了实施小组软件过程对我国软件企业过程改进的意义。     

批量制造业交货窗口提前／拖期生产计划方法

建立批量制造企业在交货期窗口下的提前／拖期生产计划模型,将交货期窗口（ｄｕｅ－ｗｉｎｄｏｗ）概念引入到带有能力约束的提前／拖期生产计划中,拓宽了生产计划问题研究的范围．并利用数学推导,将所建模型转化为线性规划模型,使得该模型运用单纯形法就可求取精确的最优解,从而解决了开发中的ＣＯＮＷＩＰ集成化生产管理软件对不确定交货期主生产计划的编制问题．     

Velocity compensation methods for LPRF modulated frequency stepped-frequency（MFSF） radar

In the high speed target environment, there exists serious Doppler effect in the low pulse repetition frequency (LPRF) modulated frequency stepped frequency (MFSF) radar signal. The velocity range of the target is large and the velocity is high ambiguous, so the single method is difficult to satisfy the velocity measurement requirement. For this problem, a novel method is presented, it is a combination of cross-correlation inner frame velocity measurement and range-Doppler coupling velocity measurement. The cross-correlation inner frame method, overcoming the low Doppler tolerance of the cross-correlation between frames, can obtain the coarse velocity of the high speed target, and then the precision velocity can be obtained with the range-Doppler coupling method. The simulation results confirm the method is effective, and also it is well real-time and easy to the project application.     

HTN规划中的资源缺项识别方法

资源缺项是应急决策过程中常见的问题, 在利用HTN求解应急行动方案过程中需要进行识别, 因此根据应急规划问题和应急规划方案的描述, 提出了一种通过在资源状态中添加缺项标记来识别消耗性、可重用性资源缺项的方法. 通过防洪工程抢险案例分析, 表明能够在HTN规划过程中有效地识别资源缺项, 并产生为多部门协商提供依据的资源缺项报告, 具有较大的应用价值.