甲基三硫代膦酸二乙酯合成反应液的气相色谱-质谱分析

在OPCW第18次水平考试土样中检测到一未知化合物,经多种分析技术测定,判断可能是甲基三硫代膦酸二乙酯．对合成甲基三硫代膦酸二乙酯的反应液进行了气相色谱一质谱测定,并对此反应液中的部分产物进行了质谱解析．     

侵华日军暴行的铁证——日军战俘及投诚官兵控诉日军暴行档案揭秘

解放军档案馆馆藏档案中,珍藏着多件抗战期间被改造日军战俘和投诚日军官兵控诉侵华日军暴行的档案,从暴行直接参与者、见证人的视角,反思、忏悔和揭露侵华日军对中国军民所犯下的累累罪行,是研究侵华日军暴行极其重要的历史文献。70多年后的今天,公布和研究这些档案史料,对于世人了解日本侵华战争的血腥历史和日本军国主义的滔天罪行,驳斥日本右翼势力刻意篡改历史、美化侵略行径的恶毒言论,警示爱好和平的人们,具有十分重要的意义。     

并行规约与扫描原语在ReRAM架构上的性能优化

规约与扫描是并行计算中的核心原语,其并行加速至关重要。然而,冯·诺依曼体系结构下无法避免的数据移动使其面临“存储墙”等性能与功耗瓶颈。近来,基于ReRAM等非易失存储器的存算一体架构支持的原位计算可一步实现矩阵-向量乘,已在机器学习与图计算等应用中展现了巨大的潜力。提出面向忆阻器存算一体架构的规约与扫描的并行加速方法,重点阐述基于矩阵-向量乘运算的计算流程和在忆阻器架构上的映射方法,实现软硬件协同设计,降低功耗并提高性能。相比于GPU,所提规约与扫描原语可实现高达两个数量级的加速,平均加速比也可达到两个数量级。分段规约与扫描最大可达到五个(平均四个)数量级的加速,并将功耗降低79%。     

被动全向声纳浮标跟踪潜艇的优化布放方法

反潜飞机利用被动全向声纳浮标可以隐蔽地跟踪潜艇,但浮标消耗量大。在满足定位精度的条件下,如何优化布放浮标以便有效增加跟踪时间是一个亟待解决的问题。首先分析了浮标探测性能和浮标群相对位置对定位精度的影响,得到浮标布放的五种基本原则;然后结合水下目标跟踪技术提出了两种用被动全向声纳浮标跟踪潜艇的优化布放方法:一种是利用遗传算法来优化每一枚浮标的布放位置,另一种是将一批次投放2-4枚浮标的多维优化问题简单转换成一维优化问题来确定浮标的布放位置。最后仿真计算了这两种方法的跟踪性能及浮标消耗量。仿真结果表明,两种优化布放方法均能满足跟踪要求,前者的浮标消耗量比后者略少,但后者的投放批次少很多,有利于减少人员的工作量。     

U型钢板桩施工的滑坡动态勘察技术及数值模拟

为节省边(滑)坡灾害的应急加固时间,提高边(滑)坡处置的效率和质量,针对边(滑)坡在勘察阶段提出了基于U型钢板桩施工的动态勘察技术,即在静压植桩机压入U型钢板桩的同时,利用与其配套的压入管理系统设备与软件对压桩数据进行监测和分析,从而反馈出地层强度等信息。数值模拟中,为了能利用工程中所得压桩阻力图谱来反推地层信息,归纳总结了不同土体在桩压入时的应力云图和压桩阻力规律。结果表明:压桩阻力规律与地层信息之间存在对应关系,据此可判断地层强度特征等信息,数值模拟也为后续的现场试验研究提供了依据。     

基于FMECA的信息系统软件失效安全风险评估与预测

随着大量软件产品应用于信息系统,不可避免地增大了软件失效对系统安全的影响概率。本文以某信息系统文电收发的处理过程为例,引入FMECA法,对其文电收发处理过程中由软件造成的风险进行分析,同时分析了引起风险常见的失效模式,并引入Markov模型对软件失效造成系统严重危害的风险进行预测,通过Markov模型与FMECA法结合能够迅速定位软件失效的原因,减少因软件失效造成的系统损失。     

基于改进层次分析法的对地攻击方案优选决策

应用改进层次分析法,研究了对地攻击方案优选决策问题.在分析直升机装备火箭武器对地攻击时影响任务完成的战技术指标的基础上,建立了攻击方案的优选层次结构模型.阐述了改进后的层次分析法的具体分析步骤,以及相比传统层次分析法的优越性,并通过实例计算证明了改进层次分析法是简便的、科学的,该评判方法为多目标决策优选问题提供了科学的...     

The knapsack problem with a minimum filling constraint

We study a knapsack problem with an additional minimum filling constraint, such that the total weight of selected items cannot be less than a given threshold. The problem has several applications in shipping, e‐commerce, and transportation service procurement. When the threshold equals the knapsack capacity, even finding a feasible solution to the problem is NP‐hard. Therefore, we consider the case when the ratio α of threshold to capacity is less than 1. For this case, we develop an approximation scheme that returns a feasible solution with a total profit not less than (1 ‐ ε) times the total profit of an optimal solution for any ε > 0, and with a running time polynomial in the number of items, 1/ε, and 1/(1‐α). © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

THE SECURITY IMPLICATIONS OF CHINA'S NUCLEAR ENERGY EXPANSION

Nuclear energy is an integral part of China's energy strategy and will increasingly contribute to China's total energy supply. China has more than twenty civilian facilities, including power reactors, mines, and enrichment plants, to support its nuclear power program. As China operates more nuclear plants, more nuclear materials will be produced and stockpiled, and more nuclear facilities will be spread around the country. To ensure that this expanded network of nuclear facilities does not increase the risk that nuclear materials will be diverted or become the target of attack, China will need to develop more reliable domestic nuclear security strategies. China is also poised to become a major exporter of nuclear energy technology. China has committed to keeping nuclear technologies out of the hands of dangerous states and/or sub-state organizations, but in order to fulfill its nonproliferation obligations as well as its treaty-based commitment to share nuclear technologies, China will need to strengthen nuclear export controls and practices. This report examines and evaluates security measures at Chinese civilian nuclear power plants and suggests ways to improve them. It also reviews current export control policies and systems, identifies likely challenges to the expanding nuclear sector, and proposes possible solutions.     

弹道修正弹火力分配

相对于无控弹,弹道修正弹的射击精度大幅提高,原有的无控弹的火力分配方案已不适用于弹道修正弹,因此对无控弹与修正弹的集火射击特点进行了研究,提出了一种针对弹道修正弹的均匀分块火力分配方案,仿真实例证明,该方案合理有效,可以根据所要达到的毁伤概率迅速计算出分块形式以及各个分块的瞄准点与耗弹量,便于应用。