核污染的危害及其去除方法

核污染已成为全球十大环境难题之一,成了人类摆脱不掉的阴影.论述了核污染设施的核污染去除方法如物理法、化学法、电化学法、物理-化学联用法、微生物清除法、焚烧、超级压缩法和土壤核污染去除方法如铲土去污、深翻客土、可剥离性膜、森林修复等,并分析了各种去除方法的优缺点,最后提出了加强管理削减核污染源、加强现有处理方法的联用、开发微生物处理新技术和开发基因工程修复植物的建议.     

CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

基于Simulink的履带车辆离合器动态仿真实现

以系统仿真软件MATLAB中的Simulink软件包为工具,通过对摩擦离合器工作过程特点的分析,在合理假设的基础上,建立了离合器工作过程中的动态仿真模型。得到的仿真结果对于离合器的实际测试及其故障检测分析有一定的参考作用。     

一类非线性军备竞赛博弈的动力学研究

针对多国军备竞赛问题,基于混沌动力学理论,并考虑到非线性因素对军备竞赛的影响,改进了理查森军备竞赛模型,建立了三国非线性军备竞赛的动力学模型,通过Matlab数值仿真表明,各博弈方的预期函数影响军备竞赛的稳定性,通过调整国家的不同预期函数变量,能够使军备竞赛从混沌逐步趋于稳定,这一结果将为国际军控研究提供一定的参考。     

江麓集团:推行TPM设备管理 让生产设备不怠工

<正>江麓集团在设备管理工作中积极探索TPM管理体系,使生产设备在生产中发挥了重要作用,提升了工作效率。日前,该公司《军工企业TPM管理体系构建及实践》荣获湖南省企业管理创新成果二等奖。一是通过TPM管理培训和宣传,全员自主管理设备意识增强。江麓公司举办了多期TPM管理活动培训班,培训内容包括《现代设备点检管理》、《TPM管理动态指标绩效》和《现代设备管理及意义》等课题,共有17个单位     

服役工况下镍基单晶高温合金的损伤机制研究进展

为提高镍基单晶叶片服役寿命、解决发动机和燃气轮机的关键核心技术,近年来国内外持续开展了大量针对镍基单晶高温合金服役情况下损伤与失效机制的研究。从实际服役条件出发,总结了镍基单晶高温合金疲劳、蠕变和热机械疲劳损伤机制等研究成果与进展。此外,针对大量实验造成的时间与成本增加问题,还总结了近年来在镍基单晶高温合金的寿命预测方法方面的研究工作与成果,并提出了目前在镍基单晶高温合金寿命评估与失效分析研究方面所面临的困难和挑战。     

单兵火箭筒在两栖登陆作战中的运用研究

<正>在二战中,美军“巴祖卡”火箭筒在步兵攻坚作战中大放异彩后,单兵火箭筒这种便于携带的压制性武器得到迅速发展,被公认为最成功的单兵支援武器之一。步兵遂行两栖登陆作战时将面临在复杂陌生地域、缺少后勤补给的条件下进行进攻战斗,特别是无法及时有效地获得远程炮兵和装甲部队的火力支持时,单兵火箭筒就成了进攻部队可靠便捷的支援火力,以完成攻坚和反装甲任务。     

锻造思想政治上非常过硬的二炮部队

锻造思想政治上非常过硬的二炮部队,必须坚持不懈抓好党的创新理论武装,切实打牢二炮部队的思想政治根基;坚持不懈抓好铸牢军魂工作,确保党对二炮部队的绝对领导;坚持不懈抓好思想政治教育,不断强化二炮部队的精神支柱;坚持不懈抓好干部队伍建设,不断巩固二炮部队的组织基础.     

美军VV＆A发展现状及其在JWARS系统中应用情况研究

VV＆A是一项管理与技术并重的工作过程。实行VV＆A的目的是为了提高建模仿真在应用中的可信度与有效性,证明该产品适合于所面向的特定应用。美军针对建模与仿真领域的VV＆A工作建立了比较完善的政策、程序、方法、技术和工具体系,并在大型仿真系统的研制与应用过程中进行了成功的应用,在实践过程中取得的经验又反过来促进政策、方法等的进一步完善。