环境水平不变的水声环境参数盲估计与实验验证

为秘密、隐蔽地获取非常时期或非合作海区的水声环境参数,提出了水声环境参数盲估计的概念,分析和研究了水声环境参数盲估计理论,并对其中的目标函数进行了详细探讨,同时利用SWelIEx-96海试的部分数据对基于水平不变的水声环境参数盲估计方法进行了实验验证.实验结果表明,基于环境水平不变的水声环境参数盲估计技术是可行和有效的.     

雷诺应力模型的初步应用

针对SSG/LRR-ω雷诺应力模型,选取NASA湍流资源网站上的四个典型算例,即湍流平板边界层流动、带凸起管道流动、翼型尾迹区流动和NACA0012不同攻角绕流,开展初步的验证与确认工作,将部分结果和CFL3D进行对比。对于NACA0012翼型绕流,对比雷诺应力模型和SA模型的升力系数,结果表明:在失速攻角附近,雷诺应力模型明显优于SA模型。在此基础上,将该模型应用于DLR-F6翼身组合体的数值模拟,计算得到的机翼表面典型站位压力分布和实验值吻合良好,同时该模型捕捉到翼身交汇位置的小范围分离。     

可执行体系结构研究

体系结构是系统设计与实施的蓝图,它能否正确、合理地指导实践在很大程度上依赖于体系结构的验证与评估.可执行体系结构研究为体系结构验证与评估开辟了新的途径.为了使各体系结构产品在整体上形成一个执行体,提出了可执行体系结构执行规则描述这一个概念.执行规则描述体系结构产品的执行、调用与数据流关系,为体系结构的执行提供了特定的背景信息.它通过标准的动态可执行模型接口分别调用该模型的执行引擎,从而达到体系结构在整体上执行的目的.体系结构的正确执行为体系结构验证提供依据,同时其运行结果为体系结构的评估提供依据.     

基于内容分析的协议识别研究

为解决多模式同时匹配的协议识别性能问题,提出了一种多模式组合有限状态机;以Thompson算法为基础,提出了一种压缩ε的NFA构造算法,该算法通过减少ε边及其对应状态,有效提高在协议模式编译时,NFA转换成DFA及DFA最小化过程的性能;基于上述理论与算法实现了一种One-Pass的组合多模式协议识别系统.实验表明:结合上述技术实现的系统,编译性能比标准DFA构造过程提高了7倍以上,匹配性能比L7-Filter提高了近20倍.     

Modeling of the whole process of shock wave overpressure of free-field air explosion

The waveform of the explosion shock wave under free-field air explosion is an extremely complex problem. It is generally considered that the waveform consists of overpressure peak, positive pressure zone and negative pressure zone. Most of current practice usually considers only the positive pressure. Many empirical relations are available to predict overpressure peak, the positive pressure action time and pressure decay law. However, there are few models that can predict the whole waveform. The whole process of explosion shock wave overpressure, which was expressed as the product of the three factor functions of peak, attenuation and oscillation, was proposed in the present work. According to the principle of explosion similarity, the scaled parameters were introduced and the empirical formula was absorbed to form a mathematical model of shock wave overpressure. Parametric numerical simulations of free-field air explosions were conducted. By experimental verification of the AUTODYN numerical method and comparing the analytical and simulated curves, the model is proved to be accurate to calculate the shock wave overpressure under free-field air explosion. In addition, through the model the shock wave overpressure at different time and distance can be displayed in three dimensions. The model makes the time needed for theoretical calculation much less than that for numerical simulation.     

空间应用载荷的天地端到端IP隧道协议通信架构设计

在地面运控子网和载荷信息网中设计IPsec、GRE或RFC2003三种IP隧道协议,通过平台信息网和天地测控网,封装的用户数据包能在天地通信链路中路由,以支持在轨载荷和地面运控终端之间端到端的灵活通信。设计支持IP隧道协议通信的天地一体化信息网络架构,给出各级路由器的设置和网段IP地址分配,计算和分析出三种IP隧道协议的通信效率与实时性。分析结果表明,采用IP隧道协议对改变传统地面运控模式、提高运控效率具有重要意义。     

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。     

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

针对SCPS-NP的协议分析方法

描述了卫星通信协议中网络层协议SCPS-NP的基本结构,阐述了BM算法与ID3算法原理,提出了一种新的针对空间传输协议的有效分析方法———NP-BM-ID3算法,并通过仿真实验进行验证。实验结果表明：通过将原有的数据集分类,该算法不仅有效地解决了模式串长度不足问题,而且减少了规则总数,在条件属性数量不变的情况下降低了运算复杂度。     

陆战Agent自主协作机制模型研究

陆战Agent是陆军作战复杂系统ABMS核心的基础要素,友方陆战Agent之间的协作机制是陆军作战复杂系统演化运行的关键支撑之一。陆战Agent之间的协作可归纳为自主协作和上级统一组织协作两种模式。陆战Agent之间的自主协作,与一般Agent系统中的协作模式相同,但由于陆军作战的特殊性,必须研究符合作战特点的陆战Agent自主协作机制。针对陆战Agent自主协作特点,对合同网协议进行了改进,探讨了陆战Agent自主协作机制模型的功能结构、框架、策略、流程和实施步骤,为陆军作战复杂系统的ABMS奠定了基础。