多管理域合作检测DDoS攻击的一个方法

为有效地防御分布式拒绝服务 DDoS(Distributed Denial of Service) 的 攻击,提出了基于多域间入侵检测系统 IDSs(Intrusion Detection Systems) 合作的攻击检测模型.围绕重要网络资源,构建了以〈路由器,IDS〉对为基础的闭合的IDS 合作环,通过环上节点间信息共享和合作组内的警报关联分析,能够在DDoS攻击数据包汇聚成致命攻击流之前捕获攻击特征并采取相关措施.提出了合作环组织方式、共享信息交换方式、警报关联算法以及各节点系统逻辑结构.利用原型多域合作入侵检测 MDCI(Multiple Domains Cooperative Intrusion-detection)系统实施了DDoS攻击实验,针对实验数据分析可以看出,合作环模型有效地提高了IDS系统对DDoS攻击的预警速度.      

基于移动代理的自动入侵响应实施方法研究

为了在发现入侵行为后,对系统实施快速、有效的保护,提出了基于移动代理的自动入侵响应系统.通过响应分析自动产生响应计划,并自动派遣移动代理对被攻击主机实行封帐号、封端口、扬声器报警、关机等动作,或通过移动代理进行防火墙联动.响应计划的执行受到动态监控,并根据执行情况动态调整响应计划.所实现的原型系统已在金航网动态防御体系中得到应用,运行结果表明基于移动代理的自动入侵响应能对系统提供有效的保护.      

多导弹分布式自适应协同制导方法

针对多导弹的齐射攻击问题,提出了一种具有异构"领弹-被领弹"的分布式自适应协同制导方法.该方法在局部通信和传统比例导引基础上,基于分布式网络同步原理设计了领弹和被领弹的分布式协同制导律.领弹的分布协同制导基于固定系数的比例导引律,而被领弹的分布协同制导则基于自适应可变系数的比例导引律,并设计了被领弹比例导引系数的分布式自适应调节规律.给出了5枚导弹协同目标攻击的仿真结果,验证了该自适应分布式协同制导算法的有效性.     

多级协同项目执行中的资源冲突检测与管理

以航空航天型号工程项目为背景,针对多级协同项目中的资源冲突问题,利用基于时间约束网络的冲突检测算法实现了多级协同项目中的资源冲突检测,该算法建立了任务关系的时间约束网络模型,给出了基于模型的线性化、实例化方法和检测判据.针对资源冲突的检测结果表达及冲突信息的管理提出多视图表达方式,建立了基于UML的信息模型.基于研究结果设计开发了项目资源管理原型系统,以某航天项目任务的管理为例进行了验证,表明了研究结果的有效性.      

攻击机动目标的多导弹分布式协同制导律

在分布式通信和增广比例导引的基础上,基于网络同步原理设计了一种多导弹拦截机动目标的分布式协同制导律.该分布式协同制导律由导弹本地导引律和分布式协调策略两部分组成:本地导引律由增广比例导引得到;基于网络同步原理设计了导弹之间的分布式协调策略,实现多弹对机动目标的同时协同攻击.该分布式协同制导律只需要视距内相邻导弹之间传输状态信息,具有通信量小、可扩展性好等特点.仿真结果表明多弹网络系统采用该制导律能够有效地协同攻击机动目标.     

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.     

支持数字样机设计的集成设计信息建模

以产品仿真模型及其设计活动为主要控制对象,研究面向数字样机的产品设计信息建模的特点,并建立了支持数字样机设计的集成设计信息模型.将产品设计控制对象抽象为反映产品静态特性和动态特性的信息元及反映产品设计活动的设计元.从产品几何仿真、物理仿真和行为仿真三方面建立数字样机对象信息模型;以设计树对象、设计角色对象和资源配置对象建立设计过程控制信息模型.以此为基础建立面向数字样机的分布式产品协同设计仿真环境.     

多导弹分布式协同制导与控制方法

针对多枚导弹三维空间协同攻击机动目标要求,提出了一种多导弹分布式协同制导与控制方法.基于网络同步原理设计了一种多导弹三维位置同步算法,将目标视作领弹,与攻击导弹组成“领弹-从弹”的拓扑结构,实现了导弹对目标的协同攻击引导.同步算法给出了惯性坐标系导弹3个方向速度的指令,基于坐标变换将其转化为自动驾驶仪可以跟踪的速度及弹道倾角指令.基于切换控制方法设计了导弹自动驾驶仪,实现了多导弹协同制导与控制的闭环仿真.仿真结果验证了该方法的有效性.      

基于代理模型的高超声速飞行器协同优化设计

建立了类X-51A高超声速飞行器的多学科模型,包括外形、气动、推进、质量、热流、弹道等学科.采用多学科设计优化(MDO, Multidisciplinary Design Optimization)方法中的协同优化(CO, Collaborative Optimization)进行了计算,计算流程中构建了两个子系统优化器与弹道学科的代理模型,使用代理模型替代了计算耗时的真实模型.同时为了对比,采用了多学科可行法(MDF, Multidisciplinary Feasible Method)进行了优化计算.结果表明,二者的优化结果基本一致,优化之后的飞行器质量比初始构型飞行器降低了15.2%,航程提升了63.5%,并且使用代理模型后计算效率也得到了很大的提升.验证了基于代理模型的协同优化方法应用于高超声速飞行器设计中的有效性.     

基于成本分析的入侵检测响应模型

运用博弈论及信息安全技术有关理论,提出了一个基于成本分析的入侵响应投资模型,得出在此安全技术配置下博弈双方的最优策略,讨论了入侵响应的纳什均衡解,并通过成本分析从理论和实践两方面验证了此模型的合理性.针对现有入侵响应系统中不计成本就进行响应的问题,引入入侵损失和响应成本,通过比较二者关系,分析了系统管理员进行响应的条件成本,从而给出系统管理员灵活调整入侵响应的自适应策略,提高信息系统的安全性及抵抗攻击的能力,且避免不必要的资源浪费,实现信息保护和资源可用之间的平衡.      

基于时空图卷积网络的无人机网络入侵检测方法

无人机网络相比地面网络具有节点快速移动、拓扑结构变换频繁和通信链路不可靠的特点,传统的针对地面网络的入侵检测方法难以适用。针对无人机网络的时空动态特性进行建模,提出了一种无人机网络的入侵检测方法——基于注意力机制的时空图卷积网络（ATGCN）。将图卷积网络和门控递归单元组合为时空图卷积网络,从复杂多变的数据中提取网络的时空演变特征,通过注意力机制提取和入侵检测最相关的特征,输入支持向量机进行分类预测。多个数据集的实验分析表明:所提方法能够适应无人机网络的动态性和不稳定性,相比传统检测方法准确率高且误报率低,具有良好的鲁棒性和适应性。      

基于有限状态机的Type A卡防冲突技术

在分析了Type A非接触智能卡防冲突的基本工作原理的基础上,采用有限状态机模型对卡上位冲突检测协议的实现算法进行了数学表述和状态转换的设计,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程.最后,在智能卡芯片上实现了防冲突协议,实际应用证明系统运行正确.     

基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

基于雾计算的无线传感器网络联合入侵检测算法

为了保障无线传感器网络的安全性,提出一种基于雾计算的联合入侵检测算法Fed-XGB。Fed-XGB算法通过引入雾计算节点扩展网络边缘,减少通信时延,在提升联合学习全局模型和局部模型准确率的同时,降低了传输带宽和隐私泄露风险;通过改进基于直方图的近似计算方法,适应无线传感器网络数据不均衡特征;通过引入TOP-K梯度选择,最小化模型参数上传次数,提高模型参数交互效率。实验结果表明: Fed-XGB算法的检测准确率在0.97以上,误报率在0.036以下,优于其他对比算法;在遭受中毒攻击及数据含噪的情况下,算法检测分类性能依然稳定,具有较强的鲁棒性。      

不确定非线性主动容错控制系统模糊控制设计

考虑到实际主动容错控制系统中故障以及故障检测与隔离(FDI,Fault Detection and Isolation)决策出现的随机性,随机故障与FDI决策行为分别用两个Markov过程描述,用T-S(Takagi-Sugeno)模糊模型表达不确定非线性主动容错控制系统,并基于并行分布补偿(PDC,Parallel Distributed Compensation)方案,给出了能够保证闭环模糊系统鲁棒随机稳定的模糊控制器设计方法.鲁棒容错模糊控制器的存在条件由一组线性矩阵不等式(LMI,Linear Matrix Inequality)给出,从而方便地利用优化技术求解,随后倒车控制系统的仿真结果验证了所建议方法的有效性.      

考虑几何非线性的气动弹性模型缩比方法

随着飞机性能和需求的提高,大展弦比高柔性机翼逐渐成为新型飞机的主要结构形式。这类机翼具有高升阻比、大变形和重量轻等特性,几何非线性效应明显。然而机翼的大展弦比高柔性会带来更大的机翼变形,而机翼大变形则会引起相关的非线性气动弹性行为。为了评估这些非线性气动弹性行为并同时降低设计风险和成本,一般要使用缩比模型进行风洞试验以研究和确认真实飞机的气动弹性特性。基于此,首先使用了传统线性缩比方法来进行缩比,通过刚度质量耦合匹配模态响应法与刚度质量解耦匹配模态响应法这2种线性缩比方法,不断优化缩比结构的设计参数来满足目标缩比值。同时,提出一种动力学有限元模型的非线性静响应-模态协同优化方法,该方法是基于等效静态载荷法的几何非线性气动弹性模型缩比方法,通过2个不同的优化子程序分别匹配全尺寸飞机的非线性静响应和模态振型。结果表明,相比于传统线性缩比模型,考虑几何非线性的缩比模型能够更好地再现全尺寸飞机的非线性气动弹性行为。      

空间科学任务协同设计论证平台

空间科学任务协同设计论证存在设计方案耦合强,数据一致性差,数据变更难,数据与流程脱节等问题.为了解决上述问题,建立了典型空间科学任务的多层数字化模型;采用图形化方式对论证流程进行建模,并建立流程与数据的映射关系;通过共享数据池的方式为多岗位用户提供多方案数据协同机制;采用消息总线对数据变更进行及时提醒;利用方案依赖关系矩阵来判别方案耦合关系,最终自动合并任务总体设计方案.作为一个分布式平台,空间科学任务协同设计平台采用Eclipse RCP和Spring技术架构,整合了Hibernate、工作流Activiti5等中间件,提供统一门户,支持多岗位、多任务、多方案、多版本的管理能力,提供论证流程监控、数据协同交互等功能.结合某空间科学任务论证验证了该平台的有效性.      

基于COM/DCOM的分布式零件参数化 设计系统的研究

为解决基于UG(Unigraphics)的零件分布式设计的问题,分析比较了UG二次开发的两种模式,提出了一种基于零件库的通用参数化设计方法.采用COM(Component Object Model)方式建立了一个基于UG外部开发的通用参数化设计组件,利用DCOM(Distributed Component Object Model)实现了该组件的网络化,并在此基础上选用分布式三层网络模型,构建了一个基于COM/DCOM的分布式零件参数化设计系统,实现了LAN(Local Area Network)下对零件进行参数化设计的功能.