二维空间几何下角度积分通量的数值计算方法

本文比较详细地讨论了二维空间几何下角度积分通量数值计算中的求积点和求积权重的选取方法,并给出了数值积分的求积点和求积系数以及角度积分通量的数值计算公式。     

强脉冲 CO2 激光与靶的相互作用

在真空背景下的实验表明,当微秒量级的强脉冲激光与靶材相互作用时,由于靶材的升华,激光维持爆震波依然存在。爆震波产生的压缩波传入靶内,该应力波的作用是材料破坏的重要因素。而强脉冲激光引起的汽化反冲压力、热应力和烧蚀破坏也是不可忽视的因素。实验还表明,在真空背景下维持爆震波足以将后续激光屏蔽。     

爆轰波在可压缩金属板面上斜反射初始参数的计算

本文计算了爆轰波在可压缩金属板面上斜反射时的初始参数。计算中选用的五种炸药是TNT(p_0为1.64g/cm~3,1.45g/cm~3)、RDX(p_0为1.59g/cm~3,1.76g/cm~3,1.80g/cm~3)、RDX/TNT(77/23)(p_0为1.75g/cm~3)、Pentolite(p_0为1.65g/cm~3,1.68g/cm~3)和B 炸药(p_0为1.71g/cm~3);三种介质是铁、铜和铝。     

一种视频图像三维子带编码方法

介绍一种视频图像三维子带编码方法，它采用非对称滤波器进行子带划分，对各子带进行量化时，低频子带采用非对称树结构矢量量化方法，高频子带采用几何矢量量化方法。实验证明，由此构成的比特率为１１２ｋｂ／ｓ视频图像编码器获得了良好的重建图像质量。     

一类折扣型投资模型的最优停止

本文对一类折扣型投资模型进行研究，给出了一个明确的停止规则。     

多Agent系统计算的意愿理论

意愿是规范和描述多Ａｇｅｎｔ系统的一个重要抽象认知概念。本文提出了多Ａｇｅｎｔ系统计算的意愿理论以支持多Ａｇｅｎｔ系统计算的理论研究。基于多Ａｇｅｎｔ系统计算的动作模型理论，我们给出了意愿概念新的语义定义，获取和描述了它的一些重要逻辑属性。     

广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

基于深度学习的网络安全预见路径研究

当前,我国正处在由网络大国向网络强国转变的关键时期,网络安全威胁不容小觑。以深度学习为代表的人工智能技术在网络安全领域的应用价值日益凸显,着眼基于深度学习的网络安全预见路径和价值趋向研究,能够从方法论层面有效提高抵御网络安全威胁的主动性和针对性,实现由"被动防御"向"主动预见"的网络安全战略升级转型。文章探讨相关概念内涵,提出"数据预判—技术预测—战略预见"的网络安全预见逻辑路径,并对深度学习技术在网络安全预见领域的应用前景进行探讨,从技术的融合渗透、开源共享、要素协同治理等方面阐释了网络安全预见的价值趋向,通过理论分析论证深度学习技术对提升网络安全预见力的重要作用。     

地图数据库中基本图形对象的拓扑关系及其编辑

地图数据库是地理信息系统（ＧＩＳ）的核心。本文提出面向对象地图数据库的逻辑数据模型和数据结构,分析了地图的基本图形对象（结点和弧段）间的拓扑关系,围绕地图数据库的拓扑一致性,讨论了各种编辑操作的实现步骤。     

弹道导弹基本诸元的快速装订算法研究

应用牛顿迭代法实现了弹道导弹基本诸元的快速装订。推导了根据落点偏差求飞行程序角和发射方位角的牛顿迭代公式，设计了迭代算法，并给出了实际算例。考虑到迭代算法收敛速度与所给的迭代初值有一定的关系，提出了预先准备简易射表采用反插值算法为牛顿迭代法准备初值的方法，经计算表明可以大大减少迭代次数，从而实现标准弹道的快速设计。