美国对韩国"核保护"的历史与现状

在2006年10月朝鲜进行核试验后,美国再次强调了其对盟国的核保护,这使人们再次注意到这一建立了数十年的"核保护伞".     

中国特色社会主义:马克思主义中国化的理论形态和实践方式

中国特色社会主义这一马克思主义中国化的理论形态和实践方式,有着深刻的内涵。社会主义经历了从理论学说、社会运动到基本制度三大形态;中国人对社会主义的认识经过了四次历史性认同;中国特色社会主义的实质是解放和发展中国人的本质力量。     

坚持以科学发展观为指导加强军队思想政治建设

坚持以科学发展观为指导加强军队思想政治建设,必须坚持把思想政治建设摆在各项建设的首位。把思想政治建设摆在各项建设的首位,体现了以人为本的要求,是各项工作全面协调发展的客观要求,是保证部队全面建设持续健康发展的客观要求。同时,还必须准确把握思想政治建设的职能和任务,提高思想政治建设标准。各级领导都要重视思想政治教育,各项教育都要以理服人,各类干部都要善于做思想工作,各项工作都要做出思想性,各种规则规定的目标指向都要与社会主义核心价值取向相一致。     

以科学发展观为指导推进武器装备动员工作快速发展创新

武器装备动员在国防建设中具有突出的地位和重要作用。在武器装备动员工作中坚持科学发展观,要顺应新军事变革要求,突出创新,实现武器装备动员战时有保障和持续发展。本文首先阐述了新时期我国武器装备动员的特点及战略目标,总结了由于国家总体科技水平、国防投入、管理体制等影响我国现阶段武器装备动员发展的若干问题,并就贯彻落实国家"十一五"规划要求,提出了以科学发展观统领武器装备动员发展创新工作,武器装备动员工作要按照"平战结合、军民结合、寓军于民"的方针,创新武器装备动员模式,采取切实措施,把武器装备动员纳入国民经济和社会总体发展规划,提高快速动员能力。     

要地防空敌袭主攻方向判断方法研究

主要对要地防空时多个可能的敌空袭兵器来袭方向进行了分析,并确定每个来袭方向的综合评价指标。应用模糊层次分析法建立多层次的评价指标体系,确立被评事物对各等级模糊子集的隶属度。应用灰色关联理论消除各个因素之间的量纲和数量级差异,将综合运算得到的量值进行排序比较,以供指挥员进行战场情况判断。     

海水集料混凝土抗压强度及配合比试验研究

海水集料混凝土利用球形SAP形成内部球孔,是一种基于内部孔结构的新型混凝土。对水泥用量、球形SAP体积分数、水胶比和复合外加剂质量分数4个因素,各取4个水平进行正交试验,采用极差分析和方差分析归纳各因素对海水集料混凝土抗压强度的影响。结果表明:球形SAP体积分数对抗压强度的影响最大,其次是水泥用量和水胶比,复合外加剂质量分数的影响最小。在正交试验的基础上,将海水集料混凝土中球形SAP体积率视为孔隙率,得到一系列抗压强度的回归关系式,提出基于经验公式的海水集料混凝土配合比设计方法。     

三维均匀化理论预测多孔混凝土等效弹性模量

应用多尺度渐进展开的均匀化理论,推导三维均匀化理论的有限元解法,求解复合材料等效弹性系数。假设多孔混凝土由光滑均匀一致的球孔与水泥石基质组成,提出改进的随机投放方法,生成三维均匀化理论求解的随机单胞模型。以聚苯乙烯泡沫(EPS)混凝土为数值算例,生成6组不同体积分数的EPS混凝土随机单胞模型,通过三维均匀化理论的有限元法计算得到其等效弹性模量。计算结果表明:随机单胞模型能反映细观的非均质性,三维均匀化理论的有限元法计算得到的等效弹性模量变化趋势比较符合Miled的试验结果。     

Single batch machine scheduling with deliveries

We consider the problem of scheduling a set of n jobs on a single batch machine, where several jobs can be processed simultaneously. Each job j has a processing time p_j and a size s_j. All jobs are available for processing at time 0. The batch machine has a capacity D. Several jobs can be batched together and processed simultaneously, provided that the total size of the jobs in the batch does not exceed D. The processing time of a batch is the largest processing time among all jobs in the batch. There is a single vehicle available for delivery of the finished products to the customer, and the vehicle has capacity K. We assume that K = rD, where and r is an integer. The travel time of the vehicle is T; that is, T is the time from the manufacturer to the customer. Our goal is to find a schedule of the jobs and a delivery plan so that the service span is minimized, where the service span is the time that the last job is delivered to the customer. We show that if the jobs have identical sizes, then we can find a schedule and delivery plan in time such that the service span is minimum. If the jobs have identical processing times, then we can find a schedule and delivery plan in time such that the service span is asymptotically at most 11/9 times the optimal service span. When the jobs have arbitrary processing times and arbitrary sizes, then we can find a schedule and delivery plan in time such that the service span is asymptotically at most twice the optimal service span. We also derive upper bounds of the absolute worst‐case ratios in both cases. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 470–482, 2015     

二次检测立方攻击改进与实现

对二次检测立方攻击预处理阶段的提取二次表达式的算法进行了改进以优化攻击效率。将秘密变量的变化引入攻击中,使得攻击模型更加灵活;同时,利用时空折中的思想,通过存储常数项和一次项的计算结果,有效降低二次项的计算量。将改进的方法应用于简化版的PRESENT算法和Trivium算法上,攻击效率有显著提高。     

航天器调度中的资源约束推理方法

资源水平边界的估计是构建资源利用可行计划中的一个基础问题。通过分析航天器资源约束的共享与分离并存、累积与瞬时消耗并存、过度订阅与区间调度并存等特点,提出了资源时间网络、时间约束网络和约束网络相结合的资源约束描述方法;构建了增量式基于包络的资源约束算法和最早开始时间链展开资源约束算法,以快速获取资源一致的柔性解。实例证明,该方法较好地解决了航天器调度的资源约束推理问题。