C2组织指挥控制关系的形式化描述*

针对C2组织的指挥控制关系目前还缺少很好地形式化描述方法,其量化研究比较困难,从C2组织的实体及实体之间的关系出发,形式化描述C2组织指挥(纵向)关系、横向关系、资源配置关系、执行关系等四种关系,最终构建出一个指挥控制关系网,为运用复杂网络理论以及图论等方法对指挥控制关系的量化分析研究提供基础。     

基于几何算法的水下航行器路径规划

在分析水下航行器路径规划影响因素及主要障碍物特点的基础上,提出了一种基于几何算法的水下航行器路径规划算法,并采用该算法对障碍物进行建模和路径规划研究,解决了水下航行器航经多障碍物海区的路径规划问题.最后,通过仿真试验验证了该算法的准确性与可行性.     

一种精确定位篡改攻击位置的混沌数字水印算法

基于混沌变换良好的随机性和初始条件极端敏感性,提出了一种精确定位篡改位置的脆弱混沌数字水印算法．该算法将混沌加权后DCT中低频系数作为图像特征,利用混沌DCT匹配块对生成脆弱水印序列,最后嵌入到图像的DCT中频系数中．实验结果与分析表明,该算法几乎不影响图像的视觉质量,对图像篡改区域具有检测有效性和定位准确性,实现了盲认证．该算法不仅提高了篡改定位的精度,虚检率与漏检率也相应降低．     

Confronting the “Perpetual Menace to Human Security”

Nuclear weapon states historically have attached great secrecy to their nuclear weapon and fissile material production programs and stockpiles, despite warnings that this would fuel fears, handicap informed debate and decision making, and drive arms races. As evidenced by the “Action Plan on Nuclear Disarmament” agreed upon at the 2010 Treaty on the Non-Proliferation of Nuclear Weapons (NPT) Review Conference, however, the international community now sees greater transparency about nuclear weapon and fissile material stocks as necessary for enabling and monitoring progress toward nuclear disarmament. To support this effort, the International Panel on Fissile Materials has proposed a step-by-step program for weapon states to declare their inventories, production histories, and disposition of nuclear warheads and fissile materials, and to set up joint projects to develop methods for verifying these declarations. This openness initiative is described here, and could be adopted at the 2015 NPT Review Conference, laying a basis for negotiating verifiable deep reductions in nuclear arsenals and their eventual elimination.     

可判定条件下的零知识证明

零知识证明是密码学关注的问题之一。在可判定条件下,运用代数学中群的共轭性质进行零知识证明,其实例就是数学中关于寻找共轭子的困难性问题。     

基于机器翻译的原型句蜕及其包装研究

首先简要介绍了HNC理论及其机器翻译观,结合机器翻译的难点与原型句蜕存在的普遍性,说明了解决原型句蜕变换的意义:接着对原型句蜕构成现象进行了描述,从汉英语义块构成对比分析中导出了汉英变换规则;从现有的机器翻译系统所暴露的问题中,说明原型句蜕变换对提高机器翻译质量的必要性和可行性;最后是对本文的结论和说明。     

当前消防建审工作面临的挑战及对策

以我国从计划经济向社会主义市场经济转型的国情实际为出发点 ,结合WTO的规则要求 ,分析当前消防建审工作存在的问题 ,并提出应对方法和措施。     

薄壳结构跌落冲击仿真与试验研究

为了验证薄壳结构跌落冲击问题动态数值仿真的方法途径,设计制作了带有配重的薄壳结构,测定了材料主要力学性能,利用非线性有限元软件对该结构进行单次和累积结果的多次跌落冲击数值仿真,并进行了验证试验。对该结构的跌落冲击过程、典型位置的加速度响应、塑性变形的仿真、验证试验结果进行了对比分析,结果表明：采用的数值仿真方法和途径能够较好地研究分析薄壳结构的跌落冲击及其他同类问题。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

无人集群体系设计与仿真评估方法

无人集群作战正在成为一种改变战争形态的新型作战样式.针对当前无人装备试验相对独立、缺乏一体化闭环设计与集成验证手段的问题,提出了一种体系设计与仿真评估方法.该方法包含了作战概念建模与需求分析、体系设计理念与体系设计、内场仿真实验与方案探索、体系原型研发与评估优化、外场集成试验与综合决策五个阶段,创新发展了体系设计、仿真试验、评估优化的理论方法、工具链路、集成环境,为无人集群的体系化、智能化、实战化提供了一定的理论与技术支撑.