甚高频数据链模式二协议栈的软件框架设计研究

为解决协议工作效率低下的问题,参考HDLC协议软件的设计方法,本文提出了甚高频数据链模式二(VDL M2)协议的软件模型和设计思想。首先,介绍了VDL M2协议栈的层次架构,并简要阐述了各层的功能。然后,介绍了协议栈的软件设计与实现方法,在不改变Linux内核现有地址族的前提下,创建基于本协议的新套接字地址族AF_VDLM2的操作。依据功能操作,软件结构确立为模块化结构布局;着重分析了协议栈数据收发模块的软件设计流程及缓冲区的结构设计。最后,介绍了协议层之间的通信方式——共享内存区的数据结构及创建和操作。用该方法设计的协议栈可方便地加载到机载通信单元,大大节省了设备成本。     

C/C++软件的危险函数静态检查研究

C/C++软件开发过程中,源代码中若使用了危险函数,会造成内存缓冲区溢出,产生严重的安全漏洞和隐患,因此对源代码进行危险函数检查非常重要.对于大型软件模块需要将危险函数静态检查工具集成到持续集成工具上,对源代码进行危险函数检测.结合工作实践,介绍了危险函数检测工具,叙述了对源代码进行检查的流程;详细叙述了基于持续集成的危险函数检查过程;最后介绍了两个典型案例.工作实践表明,进行危险函数检查有助于及时发现和处理软件中的危险函数隐患,从而提高软件产品的质量和安全性.     

索式火箭回收着陆系统缓冲装置设计与分析

针对索式火箭回收着陆系统中摩擦缓冲装置的缓冲能力和调节能力有限的问题,提出了一种基于最小二乘法和系统动力学特性的液压缓冲装置反问题设计方法。该方法通过对液压缓冲装置中控制阀凸轮外形和储能器初始压强的设计来调节着陆火箭运动学特性,使火箭按照特定的运动学特性在有限的缓冲位移内减速至静止稳定且缓冲加速度最小。对索式火箭回收着陆系统建立精准高效的多体动力学模型,并针对不同的工况进行仿真校验。仿真结果表明根据所提反问题设计方法设计的索式火箭回收着陆系统能够按照特定的运动学特性减速缓冲着陆火箭,具有较强的减速缓冲能力;针对不同质量和着陆位置偏差的着陆火箭,具有自动调整液压阻力保持火箭相同的运动学特性的能力。     

令牌传递网络节点消息缓冲容量的确定方法

在网络系统中,节点缓冲区内消息发生覆盖或溢出会造成消息的丢失,对于限时令牌网络,节点消息发送时间和消息缓冲容量的分配是影响消息实时性的重要因素.针对令牌传递网络分析了节点消息缓冲机制,说明了消息缓冲容量的确定与网络带宽分配方法的关系,并提出了消息缓冲容量的确定方法,导出了避免消息覆盖或溢出所需的最大发送和接收缓冲容量余度.指出在消息的产生间隔大于该消息的最大允许的延迟时间和接收节点响应时间的条件下,发送和接收端的消息缓冲容量等于被缓冲消息的长度.     

S／DB系统同步定时器的设计

同步定时器是ＣＤＡＳＳ／ＤＢ系统的重要部件。它用高精度数字锁相环,精确地恢复地球同步气象卫星原始云图数据采集的同步基准信息。数字锁相环由用高速器件组成的相位比较器和用计算机软件实现的滤波器构成,采用标准频率计数方式,完成对精太阳脉冲（ＳＰ）和数字太阳——扫描同步检出（ＳＳＤ）的锁相及星上时钟频率测量等任务。微机还兼作Ｓ／ＤＢ系统管理机。     

油气分离式缓冲器静压、落震试验分析

对油气分离式缓冲器的静压曲线特性、P0的测量误差、落震容差减油试验进行了分析。分析结果表明:油气分离式缓冲器的摩擦系数μ可以介于0到5%之间;温度和压力表对P0的测量结果有很大的影响;落震容差减油试验要考虑串油漏油和漏油的情况;在给油腔灌油时,要尽量排尽里面的空气。     

C程序缓冲区溢出漏洞精确检测方法

C程序中的缓冲区溢出漏洞是影响系统安全性的严重问题,利用工具有效地检测并消除出这一漏洞,可以大大提高系统的安全性.针对现有工具在检测缓冲区溢出漏洞上的不足,提出了一种利用模型检测技术对C语言代码中潜在的缓冲区溢出漏洞进行精确检测的新方法.该方法首先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定,再使用模型检测工具对可达性进行验证.使用这一方法建立了一个精确检测C程序中缓冲区溢出漏洞的原型系统,并使用该原型系统进行了试验.结果表明该方法可以较为精确地检测并定位出代码中的漏洞.      

面向多用户环境的弹性云缓存系统研究与实现

由于在改善网络带宽性能、缓解堵塞、提升用户体验等方面的优势,缓存技术在网络应用中被广泛使用,然而当前越来越多的网络应用迁移至云平台,原来针对单一业务和主机环境的缓存管理机制在面对云计算下多用户、多业务混杂环境时暴露出诸如不具备多业务类型的普适性、管理策略与云平台的资源配置脱节、未考虑多用户环境下缓存数据的复杂性、重复性等不足,最终影响缓存效果和资源利用效率,因此研究一种面向多用户环境的弹性云缓存系统,首先分析多用户、多业务的云环境对缓存管理的需求特点,提出基于双层映射的缓存存取模型,然后设计缓存系统框架与功能模块,并研究相应的逻辑、物理资源的配置算法及其他功能的实现方案,最后在校园网环境下实现缓存系统并对其进行验证,分析结果表明本文提出的缓存系统能够有效满足用户需求同时提高资源利用率。     

地面支援设备飞机保护装置研究

为避免在使用过程中损伤飞机,飞机地面支援设备与飞机接触或可能接触的部位需设置保护装置。本文分析了目前飞机地面支援设备保护装置存在的问题,提出了设计原则,包括限制速度装置、各种保护装置的材料选择及其结构设计,并介绍了地面支援设备保护装置的发展方向。     

GRB host galaxies: An unbiased sample

We describe the current status and recent results from our Swift/VLT legacy survey, a VLT Large Programme aimed at characterizing the host galaxies of a homogeneously selected sub-sample of Swift   GRBs. The immediate goals are to determine the host luminosity function, study the effects of reddening, determine the fraction of Lyα$\mathrm{Ly}\mathrm{\alpha }$ emitters in the hosts, and obtain redshifts for targets without a reported one. The main effort so far has been the definition of a very carefully selected sample, obeying strict and well-defined criteria: 68 targets in total. Among the preliminary results is a large optical detection rate, the lack of extremely red objects (only one possible case in the sample) and an update of the Swift   GRB redshift distribution with 〈z〉∼2.0$〈z〉\sim 2.0$.