基于TCP协议的双机热备份系统

针对指挥控制数据处理计算机是整个指挥控制系统的数据处理中心属于核心部件,其重要性是不言而喻的.为了提高指挥控制系统乃至整个武器系统的可靠性,对指挥控制数据处理计算机进行双机热备份设计.提出了一种对TCP协议进行双机热备份的实现方法,解决了基于TCP协议的上层应用的热备份实现问题,真正达到了服务不断流的要求,并详细阐述了其设计与实现过程.     

基于Hibernate的装备管理系统的设计与实现

分析了对象/关系映射框架Hibernate的体系结构和工作原理,提出了一种基于Hibernate框架的装备管理信息系统的体系结构和设计方案,详细介绍了基于Hibernate框架的数据持久层的设计与实现。     

一种发送速率精确可控的分布式网络流量生成方法

介绍了一种灵活高效的分布式网络流量生成方法;通过加入权重因子,利用反馈机制不断对产生的网络流量进行调整直至流量大小误差符合用户设定需求;结合ON／OFF模型,采用分布式结构产生了流量速率可调节的具有自相似特性的网络流量。通过该方法产生的网络流量大小精确可控,且具有自相似性,能更好地反映出真实网络流量的特性。     

基于XML的三层C／S模型在航空IETM中的应用研究

在简要介绍XML的基础上提出了基于XML的三层Client／Server模型,并对其数据获取、传输、显示以及外部处理的应用进行了分析。以某型飞机航空IETM系统为例,说明了其具体的实现;最后对基于XML的三层C／S模型的应用优势进行了总结。     

坦克嵌入式车场射击训练炮长操纵控制模型

在嵌入式射击模拟训练系统中,针对炮长操作过程对模拟训练的影响,建立了炮长操纵控制模型。炮长操纵控制模型包括炮长操纵模型和炮长射击决策模型。炮长操纵模型的建立是基于装备的物理模型和人的生理反应模型。炮长射击决策模型根据坦克射击教范要求,采用与/或正向演绎推理得到。在炮长操纵控制模型基础上,建立了射击反应时间模型,并与实际装备操作进行了比较,对建立的操纵控制模型进行了验证。     

京100850,北京100850,北京100850PTE

、中性单细胞凝胶电泳技术,分别比较Pten / MEFs与Pten-/-MEFs细胞中ROS、8-羟基脱氧鸟苷(8-OH-dG)水平、DNA双链断裂(DSBs)以及抗氧化能力的差异。结果:Pten-/-MEFs细胞中ROS、8-OH-dG水平明显增高,DSBs增加,抗氧化能力减弱。结论:PTEN可能通过调控细胞内ROS水平拮抗DNA氧化损伤。PTEN Deletion Leads to Increased Oxidative DNA Damage in Mouse Embryonic FibroblastsGOU Qiao     

基于先验信息的分布式星载单基线SAR/ATI方法

在综述了分布式星载SAP/ATI技术的基础上,阐述了单基线SAP/ATI技术的原理和杂波、噪声对检测、测速性能的影响,给出了一种基于先验信息的单基线SAR/ATI检测和测速方法,最后基于多功能的天基雷达仿真系统进行了仿真实验和性能分析.     

连续波DF/HF化学激光器喷管中氟原子复合计算

氟原子是连续波DF/HF化学激光器泵浦反应的重要参与者,其浓度分布尤其直接影响冷反应型激光器的泵浦效率及激射强度.在参与反应之前,氟原子将受到三体复合和壁面复合因素的影响而部分复合为氟分子.研究该因素对氟原子浓度的影响对激光器的分析优化是十分重要的.已有一定的实验方法可对其浓度进行测量研究,并建立了理论模型描述.将其与计算流体力学方法相结合对氟原子分布进行计算,研究了该方法的有效性,并对不同收缩段型面下氟原子复合进行了计算研究.     

纳米颗粒和非晶相复合刷镀层n-Al2O3／Ni-P的制备

采用纳米电刷镀技术在钢基体表面制备了n-Al2O3/Ni-P复合刷镀层,研究了复合刷镀液中纳米颗粒含量、刷镀电压和刷镀笔移动速度对复合刷镀层中P和Al2O3含量的影响.优化后的工艺参数范围为刷镀液中n-Al2O3颗粒含量20～30 g/L、刷镀电压8～12 V、刷镀笔移动速度5～10 m/min.制备的n-Al2O3/Ni-P复合刷镀层组织致密,含有纳米颗粒和非晶相.     

对一个重要极限证明中使用循环论证问题的质疑

有的著作认为在极限公式limx→0sinxx=1的证明中,要用到圆(扇形)的面积公式S=21Lr,而对后者的证明中必须要用到重要极限limx→0sinxx=1,从而犯了循环论证的错误。魏晋刘徽的“割圆术”是对无限问题的独特认识和致用的处理方式,是为证明圆面积公式而设计出来的一种方法。刘徽之前,希腊的阿基米德用穷竭法也证明了圆的面积公式。其中,刘徽的证法强调计算的程序性和构造性,而阿基米德则倾向于演绎的严谨性。这两种证明说明limx→0sinxx=1证明所谓的循环论证是可以避免的。