计算机网络防御策略模型

目前计算机网络防御研究中缺乏高层且易于细化的策略建模方法,因此在分析Or-BAC模型(Organization Based Access Control model)的基础上,对网络防御控制行为进行抽象,建立计算机网络防御策略模型(CNDPM,Computer Network Defense Policy Model).该模型对保护、检测和响应等策略进行统一建模,并引入角色、视图、活动自动分配的方法,以提高分配的效率,同时给出了策略到规则的推导规则,以细化为具体的防御规则.还给出了策略的完备性、有效性和一致性的形式化描述及分析.实例分析表明,该模型表示的计算机网络防御策略,能够有效地转化为防御规则,具有较好的实用性和扩展性.      

合理运用SI技术快速收敛高速数字电路设计

随着数字电路集成度和工作频率的不断提高,信号完整性(Signal Integrity, SI)问题在产品研制过程中越来越突出。以惯导系统中的某导航计算机为例,针对故障信号回路,使用仿真软件对其SDRAM时钟信号进行信号完整性仿真,并进行优化设计。通过对比优化前和优化后的仿真与测量结果,验证了由于端接参数不匹配造成SDRAM时钟信号的非单调性畸变问题。仿真与测量结果表明,在产品研制流程中加入信号完整性仿真环节有利于设计快速收敛,提前规避风险,缩短研发周期,降低设计成本,提高电路产品的可靠性和电磁兼容性。     

基于算法组件动态组合的固体火箭发动机计算机辅助设计/计算机仿真(SRMCAD/CS)

提出了一种新的软件模型根据发动机设计人员的设计/仿真任务动态地组合算法组件得到所需的设计/仿真算法, 模型可以灵活地胜任发动机设计领域变化多样的设计/仿真计算任务, 并且可以使整个软件系统具有很好的扩展性.该研究意图在于创建一个规范、开放的算法组件接口体系, 在此基础上建立一个可重用、可扩展的算法组件库和一个算法组件动态组合机制, 从而将设计人员编制设计/仿真算法的任务转变成利用已有算法组件动态地组合出所需的设计/仿真算法.该模型让设计人员在设计/仿真工作中重用算法组件库中已有的算法成果, 同时又保持了设计人员的自主性, 使设计人员的工作变得更加容易和高效.      

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架,它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先,本文介绍了联邦学习的基本概念和威胁模型,有助于理解其面临的攻击。其次,本文总结了由内部恶意实体发起的3种攻击类型,同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较,进一步讨论了该领域未来的发展方向。     

机载三股流板翅式冷凝器数值计算与实验研究

分析了翅片、隔板和流体的传热规律,采用有限容积法建立了包含相变流和交叉式在内的多股流板翅式换热器数学模型。基于蒸发制冷循环试验台,在4种工况条件下对机载交叉式三股流板翅式冷凝器换热性能进行了实验,并在特定工况下,通过温度场分析了各股流体间的换热特性。经数值计算与实验结果的对比,流体换热量的最大相对误差为8.08%,满足工程设计计算需求。通过定性分析,认为流体流量分配不均、相变流体潜热以及相变对流表面换热系数的计算是误差的主要来源。     

多跑道离场分配仿真模型及算法

多跑道作为大型繁忙机场的关键资源和瓶颈区域,在机场运行管理中必须对其进行科学和高效配置。基于经验滑行时间数据,建立了多跑道离场分配模型,在满足场面运行安全约束的前提下,以离场航班滑行时间最小为目标,寻求最优的跑道分配方案。通过选取典型机场进行地面网络建模,结合实际运行数据及航班计划等信息,利用计算机仿真对模型进行了验证分析。仿真结果表明,所提方法与随机分配方法相比,多跑道机场地面容量提高了2．1％,冲突探测与解脱次数降低了20．6％,最大延误时间减小了5．2％。因此,机场运行安全与效率得到改善,所提方法有效,适用于多跑道离场分配问题。     

基于滑模反演控制的稳定平台齿隙非线性补偿

针对航空遥感惯性稳定平台中齿隙非线性带来的不稳定问题,结合反演控制和滑模控制的优点,在传统反演控制的每一步迭代过程引入与齿轮运动状态相关的基于连续饱和函数的动态滑模面,设计了相应的滑模反演控制器。在保证了系统误差快速收敛的同时,抑制了反演过程中的误差积累,实现了系统非线性误差精确补偿。仿真实验结果表明,与传统反演控制相比,滑模反演控制显著降低了齿隙非线性对系统动态性能的影响,有效提高了系统对期望角位置、角速度的跟踪性能。     

机载电源模块通用测试平台设计

针对机载电源模块种类繁多,功能各异,传统手工测试方法繁琐、复杂的缺点,设计了一种通用电源模块测试平台,它具有自动化程度高、可靠性强、使用及维护方便等特点,通过不同的适配器可以测试不同的电源模块,可扩展性强。给出了该平台的硬件组态、功能实现及相应软件设计流程,实际使用表明该测试平台具有极高可靠性和实用性,可以大幅度缩短电源模块的研制和生产周期。     

机载嵌入式系统中的多核处理架构研究与分析

与单核处理器相比较,多核处理器在性能、功耗、体积以及重量各方面都有绝对的优势,这使得多核处理器在机载嵌入式系统中的应用成为必然趋势。在分析了航空电子系统的任务特点之后,介绍了两种最常见的多核处理器系统架构：对称多处理（SMP）和非对称多处理（AMP）,对这两种系统架构在机载嵌入式系统的应用进行了研究分析,并分析了其关键技术对实时性、安全性和确定性的影响。     

一个简单有效的单值曲面消隐算法

本文给出一个在矩形定义域上单值双变量函数和单值插值光顺曲面的计算机图象显示中消去隐藏线的算法。该算法简单有效、存贮量小、实施快速,其子程序具有一定的通用性,可用于矩形定义域上所有类型的单值曲面的消隐问题,适用于各种类型的图象输出设备。该程序可以很容易地加到现有的任意单值曲面的造型程序中,对该曲面进行消隐处理。