一种新的数组逻辑结构猜想方法

许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。     

考虑CCD噪声条件下的编码曝光最优码字搜索方法

编码曝光技术将病态的运动模糊图像复原问题转化为良态问题,寻找最优码字是编码曝光技术的关键。面向实用化目的,提出了一种考虑CCD传感器噪声的编码曝光相机最优码字搜索方法。基于仿射噪声模型对图像成像过程中的噪声成分进行了系统分析,首次从理论上分析了Raskar码字选取依据并基于复原图像信噪比增益提出了光子噪声对最优码字构造影响的解析表达式。在对实际编码曝光相机进行噪声标定的基础上,提出了最优码字搜索的准则并构造出适应度函数,采用遗传算法进行优化搜索得到最优码字。仿真图像和真实图像的复原结果证实了该方法的有效性,复原图像信噪比得到有效的提高。     

基于最优刚性编队分布式生成算法

为了描述一类特殊的刚性图,给出最优刚性图的概念。在保持队形时,最优刚性图可以减少拓扑图的复杂性。为了最大可能地减少队形通信的复杂性,研究了最优刚性编队的生成理论。首先,提出了4个命题,用以论证基于分布式的最优刚性生成方算法的可行性;其次,基于这些命题,提出了一种多智能体系统的编队算法;最后,通过仿真来验证所提算法的有效性。     

部分服务台同步多重休假的GI/M/c稳态队长

在经典GI/M/c排队中引入部分服务台同步多重休假策略,利用拟单生过程和矩阵几何解的方法,求解系统的稳态队长分布及其条件随机分解。     

用克罗内克积形式构成模糊推理中关系矩阵的新方法

通过对模糊推理的典型形式、推理方法以及推理关系的表达方式进行研究与讨论,提出了一种用克罗内克积形式表达模糊推理中关系矩阵的新方法.该方法以统一的形式成功地表达了单模糊变量与多模糊变量情况下关系矩阵的构成方法,为模糊推理的理论研究和应用提供了方便.     

群体决策的 αk-较多规则

借助αｋ较多序的概念,给出了一种群体决策的决策规则,称作αｋ较多规则,利用该规则可对供选方案进行选优。验证了它满足Ａｒｒｏｗ公理的一致性、独立性、非加强性和非独裁性。讨论了群体最优解的存在性条件。本法有着灵活、有效的优点。     

军产住房价格的综合评估

依据模糊数学的模式识别方法以及房屋质量评价标准,建立了军产旧住房估价中关键的新旧程度系数(折旧率),从而综合评估军队住房价格.     

广义逆阵的Jordan标准形求法

本文给出Ｊｏｒｄａｎ阵加号逆的计算公式,并借助地此建立了求任一方阵Ａ∈Ｃ＾ｎ×ｎ的减号逆的方法。     

国防资源与国家资源协调配置研究

文章所指的国家资源为国家财政资源,国防资源为从国家财政资源中支出的货币部分。从国家经济发展的现实看,国防资源与国家资源协调配置,应高度重视国防预算,适度增加国防经费,提高军费占GDP的比重。另外,还要优化国防资源内部配置,以使国防资源与国家资源协调发展。     

多目标攻击导弹捷联惯导的传递对准

在分析中距复合制导空空导弹捷联惯导传递对准的基础上,提出由机载火控系统根据导弹发射包线计算发出开始捷联惯导传递对准精对准的时刻,导弹惯导提前进行传递精对准的方法。利用此方法可以解决机载武器系统多目标攻击空空导弹传递对准满足连续发射多枚导弹实时性要求的问题。最后,在单目标情况下就开始传递对准时刻包线给出了算例。