一类三分子饱和反应动力系统的定性分析

研究化学反应中一类多分子一级饱和反应的数学模型应用微分方程定性理论,研究了该系统极限环的存在性、不存在性和唯一性问题。     

函数生成器的优化设计

本文介绍了一种优化的多变量函数产生器的设计思想,详尽论述了多变量函数快速插值算法、消除冗余断点搜索的思想以及搜索次数为１的断点搜索策略。实用表明,该产生器高效可行,比一般的多变量函数产生器减少计算量一半左右,有效地缩短了仿真问题的求解时间。     

卫星及其诱饵的表面瞬态温度场

文中给出了计算空间目标和诱饵表面温度场的方法,比较了目标和诱饵表面温度特性的差异,指出了这些差异对点目标自动识别的重要意义。     

CCRP(炸弹)对地攻击原理算法研究

本文在引入“计算航向”这一概念的基础上重新列出了CCRP对地攻击原理的计算公式。并由此计算出描述投放点相对本机位置的⊿K 与⊿t 两个量。⊿K 表示在当前的攻击条件下“计算航向”与实际航向之差,“计算航向”表示本机若在当前沿该航向按给定条件飞行,则经一定时间⊿t 后即可到达正确的投弹点。     

单舰防空能力评估模型

水面舰艇海上作战的主要威胁来自于敌方反舰导弹的攻击,因而水面舰艇的反导作战能力成为其战斗能力和生存能力的重要指标之一。在传统武器系统效能评估模型的基础上,根据单舰防空武器系统的特点,利用数学整合的方法建立了单舰在遭受单发导弹攻击和多发导弹攻击情况下的防空能力评估模型。这在一定程度上为导弹武器作战系统的指标论证、方案论证、工程研制、鉴定定型和作战运用等提供参考依据。     

运用跑道平面结构化线特征的固定翼无人机视觉导航算法

针对固定翼无人机在着陆阶段的位姿估计的问题,提出运用跑道平面结构化线特征的无人机视觉导航算法。利用单台固连在无人机上的前视相机对跑道区域进行成像,自动提取结构化线特征。在无人机降落前期利用完整的结构化线特征配置解算出无人机的六自由度位姿参数(偏航角、俯仰角、滚转角、纵向位置、横向位置、高度),并在无人机降落到较低高度时,利用退化的结构化线特征(跑道边缘)解算出无人机的关键位姿参数(偏航角、俯仰角、横向位置、高度)。三维实景仿真实验证明,在距离机场200 m处,无人机的距离参数精度小于0.5 m,角度参数精度小于0.1°。     

65纳米工艺双层三维静态存储器的软错误分析与评估

首先搭建了3D SRAM软错误分析平台,可以快速、自动分析多层die堆叠结构3D SRAM的软错误特性。此平台集成了多种层次模拟软件Geant4、TCAD、Nanosim,数据记录处理软件ROOT,版图处理软件Calibre,以及用于任务链接和结果分析的Perl和shell脚本。利用该平台,对以字线划分设计的3D SRAM和同等规模的2D SRAM分别进行软错误分析,并对分析结果进行了对比。对比分析表明2D 和3D SRAM的翻转截面几乎相同,但3D SRAM单个字中发生的软错误要比2D SRAM更严重,导致难以使用ECC技术对其进行加固。静态模式下2D SRAM和3D SRAM敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

A sequential auction‐bargaining procurement model

One of the most important decisions that a firm faces in managing its supply chain is a procurement decision: selecting suitable suppliers among many potential competing sellers and reducing the purchase cost. While both auctions and bargaining have been extensively studied in the literature, the research that combines auctions and bargaining is limited. In this article, we consider a combined auction‐bargaining model in a setting where a single buyer procures an indivisible good from one of many competing sellers. The procurement model that we analyze is a sequential model consisting of the auction phase followed by the bargaining phase. In the auction phase, the sellers submit bids, and the seller with the lowest bid is selected as the winning bidder. In the bargaining phase, the buyer audits the cost of the winning seller and then negotiates with him to determine the final price. For this auction‐bargaining model, we find a symmetric equilibrium bidding strategy for the sellers in a closed form, which is simple to understand and closely related to the classical results in the auction and bargaining literature. We also show that the auction‐bargaining model generates at least as much profit to the buyer as the standard auction or sequential bargaining model. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

基于熵权理想解法的炮兵C~4ISR系统效能评估

炮兵C4ISR系统的效能评估是我军信息化联合作战效能评估的重要研究内容.依据系统效能评估的需要,结合我军炮兵C4ISR系统的实际情况,提出了确立评价指标的3个重要原则,建立了炮兵C4ISR系统效能评价的指标体系,讨论了熵权理想解法的基本思想和主要步骤,并给出了炮兵指挥系统的评估案例.通过MATLAB编程实现,得到了各评价系统的优劣,速度快,精度高,弱化了主观因素,使得评价更令人信服,以便指导部队的日常训练和考核.     

基于单片机的远程光纤通信在点对点安全验证系统上的应用

现有的点对点安全验证系统都是基于电缆连接实现系统信息传输的。电缆传输信号存在传输衰减大、抗干扰能力差、在雷暴天气易发生事故等缺点。通过将基于单片机89C2051的远程光纤通信应用到现有设备来改进控制信号的传输模式，将电信号转换为光信号，在数据传输中使用传输同步码加密、数据包CRC校验、串行数据编码以及光纤连通性定时自动监测等技术，可以从物理信号传输到数据接收处理的整个过程中保证系统的安全性和可靠性；同时，通过光纤通信方案，也能节省系统构建和维护的经费。