非否认协议公平性分析的扩展串空间方法

针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,并结合丛概念,构成了扩展串空间.分析非否认协议的公平性,首先将协议行为归纳为攻击者串、发送者串、接收者串和可信第3方串,以此构造协议的扩展串空间模型,然后结合协议迹和定理证明验证丛中存在发送者串等价于丛中存在接收者串,从而证明非否认协议公平性.通过扩展串空间方法对Zhou-Gollmann协议公平性的分析,得到了与Kailar逻辑和Lanotte自动验证方法相同的结果.与Kailar逻辑相比,扩展串空间方法仅使用自由加密假定,弱化了初始假定;与Lanotte自动验证方法相比,扩展串空间方法无需使用状态空间搜索,避免了状态空间爆炸问题.     

某简易污泥填埋场污染物调查与扩散迁移研究

未经规范处理进行简易填埋处置的污泥对周围环境存在较大的污染风险。基于某简易污泥填埋场项目,通过对场地地貌及地质条件分析,从污泥、渗沥液、周围土壤、地下水四个方面出发进行污染物调查;并建立污染物Mn的扩散迁移模型,分析不同时间段Mn的扩散迁移规律。调查及模拟结果表明,污泥填埋场存在渗透性较好的沙砾石层,地下水水力联系条件良好,污染物易发生迁移扩散现象;大部分污染物对周边环境影响较小,少部分污染物指标超标;Mn在填埋场周围的地层中迁移速度较为显著,其污染范围在25年后可以达到距离1号坑约400 m的距离,为了防止扩散迁移可在地下水流向方向设置相应污染防治措施。     

正负频率步进信号精确测速算法

利用正负频率步进信号特殊的信号波形,提出了一种复合测速算法。其核心思想是从不同的角度巧妙地利用回波间的相关性,通过分析与速度有关的相位或距离信息完成目标速度估计。所提算法不仅有效地利用了运动目标帧间距离走动的信息,还充分利用了运动目标在正负频率步进信号体制下耦合时移相反的特性,其结果能够直接实现高速运动目标的精确测速,完成目标微动特性的测量。仿真结果证明了所提算法的有效性。     

非线性离散系统的直接自适应神经网络控制器

对于一类非仿射离散时间系统,提出了一种新的自适应神经网络控制器。首先推导与原系统等价的仿射形式模型,由仿射模型推导控制律。控制律中采用一个神经网络,与传统的基于反馈线性化的自适应神经网络设计方法中采用两个神经网络相比,计算量大大减少且避免了控制器奇异问题。神经网络权值根据系统输入输出信号进行更新,另外σ项的引入,取消了为保证参数收敛持续激励的条件。系统的稳定性通过Lyapunov方法进行了分析,仿真实例验证了控制器的有效性。     

基于主成分约简和突变级数的舰载机出动能力综合评估方法

由于影响舰载机出动的因素复杂多样,且具有层次性、矛盾性和相关性等特点,因此利用主观的层次分析法难以准确获得客观的评估结果。为此,提出一种基于主成分约简与突变级数相结合的两级综合评估。首先,采用主成分约简,将相关的指标转换成相互独立分量,并根据贡献度确定主分量。其次,利用突变级数对约简后的主分量进行处理,实现两级综合评估。最后,以“尼米兹”航母高强度演习为例,对舰载机出动能力进行综合评估,将所得结果与层次分析法相比较,验证给出方法的有效性和可靠性。该方法易实现,消除评估指标之间的相关关系的影响,不用权重,大大减少评估的主观性,解决传统的评估方法对矛盾目标难以处理的问题。     

网络空间生态成熟度建模

针对网络空间安全和集体防御机制,应用软件成熟度方法研究建立网络空间生态成熟度模型。首先,分析了网络空间生态特点及其与决策权、信息共享和要素间协作关系,构建了网络空间生态成熟度的三维五级概念模型,定义了成熟度等级的关键过程域。其次,以作战体系为例,建立了网络空间生态成熟度分级模型,阐述了各级网络结构和要素作用关系。最后,提出了基于信息决策、要素协同和信息共享的成熟度三维能力模型,给出了仿真分析。     

机载导弹大机动弹射发射动力学特性分析

先进战机在大机动条件下需要实现导弹的内埋式弹射发射,战机大机动发射时导弹弹射分离参数偏离理想设计值,威胁导弹与载机的分离安全。采用理论仿真和试验相结合的方法对战机大机动下的导弹发射动力学进行研究。基于有限元法和柔性多体系统拉格朗日动力学方程并考虑发射系统刚柔气液耦合特性,建立了载机大机动条件性下的导弹弹射发射动力学模型,仿真分析了载机大机动时的离心力和科氏力对导弹弹射分离参数的影响。最后,通过发射试验进行了实际验证。仿真及试验结果表明:离心力有利于发射安全性,科氏力对发射安全性具有负面的影响,大机动发射时须考虑科氏力的影响。     

机动目标拦截新型微分几何制导律设计

针对大气层内机动目标拦截问题,基于广义微分几何制导体制设计了一种新型的微分几何制导律。与控制视线转率有限时间内收敛不同,采用视线转率随着弹目相对距离减小而渐进收敛的滑模面。鉴于观测器估计目标加速度存在初始尖峰现象,且嵌入观测器的制导律难以证明稳定性,假设目标加速度是具有未知上界的干扰,提出一种双幂次的自适应律对其上界进行估计。通过添加修正项,消除了饱和函数替代符号函数对稳定性的影响,并证明了所设计的制导律是渐进稳定的。仿真结果表明,所设计的新型的微分几何制导律能够有效拦截机动目标,且过载分布均匀、能量消耗少。     

无维护下极低使用占空比装备贮存使用阶段备件配置优化

针对当前舰艇装备备件配置均按常用装备、未考虑极低使用占空比装备不工作期间失效的不合理情况,对极低使用占空比装备不使用期间因部件故障对任务期间备件配置影响展开了研究。通过引入虚拟站点,将装备不使用期间等效转换为装备使用期间的状态,以装备可靠度为指标,建立了任务期间装备贮存使用的可靠度模型。以装备可靠度为约束,基于边际优化算法建立了舰艇装备备件配置优化模型;并依据备件保障流程,基于蒙特卡罗方法搭建了仿真模型。通过案例分析可知:对于极低使用占空比装备,考虑装备不使用期间部件失效的备件比不考虑装备贮存失效的备件要多,且模型的正确性通过仿真方法得到验证。模型可为舰艇上极少使用、长期贮存的装备制定备件方案提供参考。     

改进TOPSIS的多态融合直觉模糊威胁评估

针对防空作战中的目标威胁评估问题,提出一种新的多时刻融合直觉模糊集排序模型。首先,依据目标威胁属性的主、客观权重得到综合权重。然后,通过逼近理想解排序法来衡量直觉模糊集信息量的大小,利用直觉模糊熵来表征直觉模糊集信息的可靠性,并结合决策者的风险偏好,构建了基于信息量和不确定性的直觉模糊集排序模型,得出单时刻的目标威胁排序。最后,利用泊松分布逆形式构建了时间序列权重以融合多个时刻的决策信息,得出最终的目标威胁排序。仿真结果表明,所提算法综合了多时刻的决策信息,并可根据决策者的风险偏好进行调整,灵活性强,可靠性高。