基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

关于圆柱壳在水下爆炸冲击波作用下二次加载现象的数值模拟研究

运用大型商业有限元程序MSC.DYTRAN数值模拟了水下爆炸冲击波载荷作用下自由环肋圆柱壳的非线性动态响应.采用一般耦合算法(generalcoupling)模拟流体与结构的耦合效应,计算中考虑了材料的应变率强化效应,几何非线性的影响,分析了空穴现象的产生和二次加载对结构响应的影响.仿真结果表明,相同工况和厚度下的无限自由平板和自由环肋圆柱壳,后者的空化时间比前者长,而壳体运动的最大速度后者比前者低.     

基于单片机控制的PWM功率放大器的设计

指出了研究新型功率放大器的意义,提出了单片机控制的PWM功率放大器的设计思想,在对PWM功率放大器进行建模的基础上,设计了电流调节器,给出了数字控制算法,实现了单片机控制。PWM功率放大器的研究将为伺服系统的数字化提供新思路,为提高伺服系统的技术性能提供新方法。     

液体火箭发动机尾喷焰红外辐射特性

对液体火箭尾部喷焰红外辐射特性进行了仿真计算。利用所扩展建立的液体火箭发动机尾喷焰红外辐射组分的谱带参数数据库和尾喷焰流场数值仿真结果对辐射传输方程进行了数值求解,得到不同观测条件下的光谱辐射亮度。通过与实测数据对比,表明计算方法可行,结果合理。     

基于智慧校园建设推进军队院校教育现代化路径探究

教育信息化是教育现代化的基本内涵和显著特征。当前,我国正处于由基本实现教育现代化迈向整体实现教育现代化的重要战略期,国家教育从理论和实践层面进行了大量探索。在军队院校教育领域,教育技术应用、训练管理领域网络建设、数字校园建设等均为军队院校教育现代化奠定了创新发展基础,智能教育应用模式的改革探索也为军队院校教育现代化描绘了未来建设愿景。本文认为,推进军队院校教育现代化应发挥智慧校园建设平台的基础作用,充分融入国家教育体系,注重以先进教育理念驱动创新发展、以前沿信息技术提供解决方案、以总体架构设计规范目标功能、以智慧育人环境承载应用服务、以数据资源体系孕育智慧生态,走开军委军种院校三级联动推动创新发展的路子。     

浅议陆军合成旅装备一体化联合检验

近年来,装备试验深入推进。作为装备试验领域的最高形式,装备一体化联合检验已经成为陆军合成旅装备试验的新趋势和新常态。本文从装备一体化联合检验的概念入手,简要阐述了以作战效能、作战适用性、体系适用性和在役适用性为主的“一能三性”,从装备体系效能的联合检验、装备体系运用的具体检验和陆军合成旅的综合检验三个方面深入理解和认识装备一体化联合检验,提出了立足联合作战、立足贴近实战、紧盯短板弱项、聚焦摸清底数等四个需要重点关注的问题,以为陆军合成旅装备一体化联合检验的深入开展提供理论参考和借鉴。     

6LoWPAN网络中基于非协作博弈算法的能效拥塞策略

拥塞问题导致6LoWPAN网络的数据包丢失,降低了网络吞吐量,并增加了额外能耗.为此,提出基于非协作博弈算法的能效拥塞(Non-cooperative Gaming for Energy-efficient Congestion Control,NGECC)策略.NGECC策略利用信道占用情况和缓存区的使用状况,优化叶节点的数据传输速率,进而避免父节点端的数据传输拥塞,从而降低数据包的丢失率.仿真结果表明,提出的NGECC策略提升了数据包传递率、吞吐量,并降低了能耗和数据传输时延.     

串联增强型四轨电磁发射器轨道电磁特性分析

为更好地评估串联增强型四轨电磁发射器轨道的发射性能和使用寿命,研究了串联增强型四轨电磁发射器主、副轨道内部的电磁场特性以及所受的电磁力.构建了串联增强型四轨电磁发射器轨道的物理模型,在此基础上,提出主、副轨道的磁场模型和所受电磁力的计算公式.采用有限元分析方法,仿真比较了串联增强型四轨电磁发射器主、副轨道内部的电流和磁场分布以及所受电磁力的大小.结果表明:串联增强型四轨电磁发射器主轨道比副轨道的电流集中现象更明显,所处的电磁环境更加恶劣且要承受更大的电磁力.     

时空变换中定格的艺术画面——透析我国诗歌的变形美

我国是一个诗歌的国度。千百年来,人们在欣赏诗歌,在研究、探讨诗歌的创作方法和表现形式的同时,忽略了隐含在诗歌创作中一种独特的艺术表现形式———诗歌语言的变形。这种艺术手法如同现代的摄影技术,根据作者的创作意图,通过调整光圈,变换焦距以实现其时间、空间的变化,虚与实的变化以及人与物的特殊变化,各种独特的艺术视觉随着诗人的一声快门将一幅幅画面跃然纸上,而这一幅幅画面中所流淌着的深刻的思想内涵带给读者思想感情上的震撼往往更为强烈。因此,我们欣赏诗歌时对其中的变形美应仔细品味才能体会到其中独特的艺术魅力。     

论改革开放与新疆民族团结的发展

改革开放以来,随着社会经济的发展、人民生活水平的提高,各民族团结也上了一个新台阶。民族团结活动呈现出制度化、科学化和形式多样化的特点。另一方面也要看到,在社会各方面发生巨大变化的同时,新的矛盾又出现了。比如,城乡之间、不同地区之间以及东西部之间的差距在拉大,怎样缩小这些差距,成为新疆加强民族团结需要面对的重要课题。