论自主武器军控的国际法及政策要点

如何规制自主武器是1980年《常规武器公约》框架下讨论的热点问题,目前这一议题已进入到政府专家组讨论阶段,对自主武器的研发、测试、部署及使用的关键问题,进行了比较深入的讨论。2018年以来,政府专家组会议最后文件已包含了未来谈判的若干指导性原则。本文认为,结合国际军控博弈的背景和各军事大国人工智能技术发展现状考虑,《日内瓦公约:第一附加议定书》第36条下缔约国审查义务、使用自主武器违反国际人道法的责任不得转移规则,以及2013年《武器贸易条约》对自主武器贸易的管制,是三个法律、政策背景极其复杂的问题。以自身军事能力不受到国际军控规则的严重削弱为基础考量,我国应该对此采取审慎的态度,尽力完善法律和政策。     

D-近次正常算子与不变子空间

研究D-近次正常算子类的代数与拓扑结构,在一定条件下证明其不变子空间的存在性．     

反馈式内置自测试设计方案对比研究

对两种基于反馈的自测试（BIST）方案进行了比较研究,给出了串行反馈和并行反馈BIST方案的设计结构和操作模式。分析了它们的状态转移图的拓扑结构,并对若干电路做了模拟实验。研究表明:添加线沟通测试图生成和响应压缩部分所产生的串行反馈BIST方案性能更好。     

异步转移方式(ATM)技术应用到指挥,控制和通信(C^3)…

异步转移方式对支持带宽要求强烈的,延迟敏感的领域大有作为,是未来Ｃ＾３系统的标志。在Ｃ＾３中实现ＡＴＭ,在做这样一个复杂的决策过程中,有许多因素要加以考虑。因为按照它们的性质,信息决策技术枉来就复杂,使用框架有助于构造这种决策问题。     

国防商标浅论

国防商标作为国防知识资产的重要组成部分,在国防建设中起着极为重要的作用。文章对国防商标的涵义、分类、特点、作用和国防商标权以及国防商标权的保护与转移等问题进行了探讨。     

相依目标群状态转移概率矩阵的特性及其应用

本文对相依目标群的状态转移概率矩阵的性质进行了深入的分析,得到了若干重要结论,并在此基础上讨论了相依目标群系统的火力分配模型     

三角形网格上的C1有理插值

本文描述了一种用线性算子的组合插值新方法。较之已往方法,插值函数结构简单,易于计算。并且估计了插值函数的误差,误差阶是O(h~4),比[4]中的误差阶高2.     

三维静磁场Robin问题的变分原理

利用非线性单调算子理论证明了由作者在另一篇论文中给出的三维静磁场Robin问题的变分原理     

索赔离散到达的风险模型

讨论了索赔到达时间和索赔额均服从几何分布的风险模型 ,利用逐段决定马尔可夫骨架过程的广义生成算子去构造有关盈余过程的鞅 ,精确求解了模型的破产概率     

基于马尔科夫链的一种评价方法

应用了数理统计与随机过程理论,从分析动态系统的状态以及状态转移情况给出了一种合理的评价方法,经过实例验证,该方法效果较好.