基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

装甲车辆自动配电系统MilCAN总线通信设计

针对CAN总线实时性不能有效保证这一问题,提出了利用MilCAN总线作为装甲车辆自动配电系统网络总线;在CAN总线模块基础上实现了MilCAN高层协议,分析和设计了系统应用层通信协议。试验结果表明:在CAN模块上实现的MilCAN高层协议性能可靠,能够很好地满足自动配电管理系统数据传输要求。     

无标度网络理论在网络中心战中的应用

根据无标度网络理论对军事信息网络进行分析,认为军事信息网的逻辑层应为符合幂指数分布的无标度网络,传统的以泊松分布为理论基础的随机网络分析方法已不再适用,并通过构建随机网络和无标度网络的实例进行了对比分析,进一步论证了这个结论.根据无标度网络理论,对军事信息网的抗毁性特点进行了分析,得出了"对随机攻击鲁棒性强,对智能攻击脆弱性高"的结论,并提出了以网络连通性为标准,判定节点重要性的一般方法.参照国外的先进网络应用经验,针对军事信息网节点间非常不均衡的无标度特性,给出了"关键节点热备份"和"物理节点分散配置"的抗毁策略.     

高超声速圆球绕流流场及其近尾尾迹流场电磁散射特性分析

采用分段线性电流密度递归卷积时域有限差分(PLJERC FDTD)方法计算高超声速导电金属球绕流流场及其近尾尾迹流场电磁散射特性,分析等离子体绕流流场RCS的频率特性、双站散射特性、极化特性及随飞行高度、飞行马赫数、入射角的变化关系.计算表明,前向散射方向是全方位散射中RCS取得最大值的方向;马赫数较大(本文Ma≥14)时,入射波频率增大、马赫数增大及飞行高度降低,绕流流场前向RCS增大.马赫数较小(本文Ma≤10)时,飞行马赫数、高度及入射角变化对绕流流场UHF、L、S波段后向RCS和双站RCS影响很小;在UHF、L波段,绕流流场及本体的后向RCS差距较小.马赫数较大时,大范围过密等离子体尾迹的形成使得电磁波垂直轴线入射时绕流流场增大了目标本体的后向RCS;在L、S波段,绕流流场后向RCS曲线可用一条直线逼近.     

低功耗微处理器中异步流水线设计

随着工艺的不断进步及芯片上资源的不断增加,微处理器设计遇到了一系列问题:为芯片提供一个全局时钟网络越来越困难,时钟扭曲等问题越来越突出,芯片的功耗问题越来越严重.上述这些因素促使人们将注意力逐渐转向异步电路设计.在设计异步微处理器过程中,异步流水线的设计是一个非常重要的问题.首先总结了微处理器设计中出现的各种流水线结构,并给出了相应的异步实现;然后提出了一种异步流水线设计流程,用于加速异步流水线的设计;最后利用提出的流程设计实现了几种异步功能单元,实验结果表明异步电路能够有效降低电路的功耗.     

基于定点剪出法抗滑桩滑坡推力分布形式的确定

针对现有滑坡推力分布假设为三角形、矩形或梯形等不合理现状，提出基于定点剪出假设确定滑坡推力分布的方法。在不平衡推力法的基础上，分析桩身若干点以上潜在滑体稳定性对滑坡推力的影响，然后在相邻段滑坡推力分布为线性的条件下，计算全桩若干点处滑坡推力的分布值。结果表明，定点剪出潜在滑体的稳定性对滑坡推力分布影响较大，若该稳定系数大于工程安全要求时，则无滑坡推力产生，若该稳定系数小于工程安全要求且相邻段稳定系数相差较大时，滑坡推力分布将会产生突变。最后通过一个边坡支护桩滑坡推力分布的工程实例，对该理论分析的合理性进行了说明。且在抗滑桩结构设计中，可根据桩身若干点滑坡推力分布值，采用变截面配筋，以节省工程投资。     

电力系统电压稳定分析方法及应用

介绍了电力系统电压稳定性的概念及其分类，对电压稳定性的静、动态分析方法进行了介绍和比较，最后综合运用连续潮流法、模态分析法、分岔理论以及时域仿真法对WSCC9节点系统进行了电压稳定性分析，结果表明综合方法能充分利用各种方法的优点，分析的结果是有效可靠的。     

战区弹药保障敏捷供应链优化模型及实现算法

针对现有的供需矛盾,在分析战区弹药保障供应链管理任务需求的基础上,初步构建了战区弹药保障敏捷供应链管理框架及运行机制,分析了战区弹药保障敏捷供应链的供需协同机制,重点对多级库存优化控制模型、多级弹药配送决策优化模型及实现算法进行了研究,提出了战区弹药保障敏捷供应链建设的具体对策。     

WCNS格式在热化学非平衡流数值模拟中的应用研究

高精度格式因其在较低的计算资源消耗下仍能保持足够的精度而在精细流动结构的模拟中具有独特优势。首次将显式5阶加权紧致非线性格式(WCNS-E-5)引入二维高温非平衡流计算。进行了自由流速度5.0~5.7km/s的高焓风洞和高空条件下的圆柱非平衡流场数值模拟,得到了正确的流场参数分布,壁面压力和壁面热流等结果与实验值吻合较好。计算结果表明WCNS-E-5格式较2阶的MUSCL格式具有更好的热流网格收敛特性。分析并针对算例条件初步解决了高阶格式在刚性化学反应流模拟中的鲁棒性问题,为进一步采用高阶格式开展流场结构更加复杂的热化学非平衡流数值研究奠定了良好基础。     

Stage life testing

In progressive censoring, items are removed at certain times during the life test. Commonly, it is assumed that the removed items are used for further testing. In order to take into account information about these additional testing in inferential procedures, we propose a two‐step model of stage life testing with one fixed stage‐change time which incorporates information about both the removed items (further tested under different conditions) and those remaining in the current life test. We show that some marginal distributions in our model correspond either to progressive censoring with a fixed censoring time or to a simple‐step stress model. Furthermore, assuming a cumulative exposure model, we establish exact inferential results for the distribution parameters when the lifetimes are exponentially distributed. An extension to Weibull distributed lifetimes is also discussed.