一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.      

网络安全投资外部性及博弈策略

在企业投资成本和投资利润不同的情况下,应用博弈论理论计算了网络安全投资过程中,由于病毒传染所带来的投资负外部性,提出了信息安全的投资博弈模型.确定了相互依赖前提下企业的投资成本临界点及其影响因素,以及多个企业进行信息安全投资的多个纳什均衡解.同时将问题扩展到风险内生的条件下,阐明该条件下企业投资成本临界点的变化不仅取决于相互传染的可能性大小,还取决于内生外部性的正负及其绝对值大小.该方法为信息安全的风险管理提供了新的思路,为企业确定自身的投资策略以及国家确定相应的政策指导提供依据.      

基于微分进化算法的航空发动机模型修正

为了提高航空发动机性能仿真模型精度,采用微分进化算法对发动机部件特性进行修正.对微分进化算法进行改进,提出折线式交叉变量变化方式,提高了算法的寻优能力.提出变步长牛顿-拉夫逊迭代算法,基于平衡方程残差范数变化趋势,改变牛顿-拉夫逊算法迭代计算步长,提高了模型的收敛性和收敛速度.在设计点,对各部件特性、引气系数、总压恢复系数进行修正,使修正后的模型输出与试验数据相匹配.仿真结果表明:改进后的牛顿-拉夫逊迭代算法收敛性更强、计算速度更快,修正后的各输出参数的最大建模误差减小到1.3762％,满足建模误差需求.     

GNSS实时卫星钟差估计技术进展

不依赖实体基准站增强信息的GNSS实时精密单点定位服务将逐渐成为主流定位模式。实时卫星钟差产品作为实时精密单点定位的关键先决条件之一，其精度直接决定实时精密定位服务的性能。计算实时卫星钟差的GNSS实时卫星钟差估计技术成为实时精密定位的核心技术之一，其主要包括两种解算模式：非差解算模式和差分解算模式。由于对卫星模糊度等未知参数处理策略的不同，卫星钟差估计技术又可细分为非差、历元差分、星间差分、混合差分等策略类型。针对不同实时卫星钟差估计技术的原理方法、算法效率、适用性等问题，综合目前已有相关研究成果的基础上，对GNSS实时卫星钟差估计的研究现状、关键技术和面临的挑战进行了较为系统的总结综述，并对未来卫星钟差预报产品和实时估计产品的关系进行了展望。     

耦合均衡论和隐式约束伴随方法的翼型气动多目标优化设计

通过耦合Nash竞争对策和伴随方法来研究气动多目标优化问题,其中对策论是描述现实世界中包含有矛盾、冲突、对抗、合作等诸因素的数学模型的数学理论与方法。将对策论的方法应用于互为冲突的多目标气动优化设计中,寻找各冲突目标之间的平衡解。计算结果表明：Nash均衡论可以很好地处理多目标优化问题,并且能自然地运用于并行环境。     

大气层内拦截弹微分对策制导律对策空间分布研究

 摘〓要〖HTSS〗: 为提高机动性和操作性,大气层内拦截弹多采用气动力/喷流反作用力（RCS）复合控制系统。在RCS工作时间有限的条件下,建立线性化对策模型,并利用微分对策理论研究了复合控制系统对3种可能对策空间的分布影响。RCS的使用时机不同,其对微分对策空间分布的影响也不同。基于对策空间的分布确定了RCS的使用时机,并给出了适合实际应用的制导策略。仿真研究表明本文提出的应用时机与制导策略能够实现气动力与RCS之间的有机结合,使制导指令达到最优分配,显著地提高了制导精度。     

DE算法在空间交会中的应用

在第一次脉冲位置可变的条件下,用差异演化(DE)算法实现航天器双冲量交会的优化。根据C-W方程建立双冲量交会模型,用时间-能量加权法计算混合优化指标。给出了所设计DE优化算法的编码、生成初始种群、变异、交叉、辅助和选择等操作步骤。仿真结果表明,DE算法较基本遗传算法(GA)能更有效地获得最优解。     

基于微分平滑的欠驱动刚性航天器时间最优轨迹规划研究(英文)

针对非轴对称欠驱动航天器提出了一种新的基于微分平滑特性的时间最优轨迹规划算法。首先,在控制输入受限的约束条件下,对给定的初末姿态,选取航天器机动时间最短为待优化的性能指标。其次,在欠驱动航天器的非受控轴上引入虚拟控制输入,扩展系统的平滑特性,从而使得系统的姿态和控制输入变量均可由平滑输出函数及其各阶导数代数表征;同时为保证优化问题的等价性,引入虚拟控制输入始终为零的附加等式约束。进一步,利用伪谱法离散系统的平滑输出函数,将优化问题最终转化为一个低维的,仅含有代数约束的非线性规划问题,且无需积分求解系统的动态力学方程。仿真结果表明该算法不仅能够有效地减少优化所需的时间,而且运算精度较高。     

用于快速仿真优化的改进差分进化算法及其应用

提出一种改进的差分进化算法,采用一种“位变”方法计算收缩因子,该方法首先根 据适应值对种群排序,然后根据各个体的排列位置确定收缩因子;采用正态分布函数对算法 参数进行随机扰动来维持种群的多样性;该算法还提出一种新的变异算子,并将其与基本的 差分变异算子结合使用以提高算法的寻优精度。经过对多个Benchmark函数的测试、分析和 比较,结果表明该算法具有较高的收敛精度和较快的收敛速度。最后将该算法用于火箭发动 机涡轮气动优化,以较小的计算成本将涡轮气动效率提高了2.5％。应用结果表明该算法 适用于快速仿真优化问题,能有效地节约计算成本。
     

基于差分吸收光谱技术的烟道SO2浓度的测量

利用差分光谱吸收（DOAS）技术，测量大气中痕量污染气体的浓度，是当前环保行业一项热门技术。对此方法适当改进，可以用来监测工业烟道排出的SO2的浓度和排放量，研究了利用DOAS技术测量烟气的测量方法、数据处理以及减小误差的方法，实现了烟气中SO2的在线实时测量。