PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

用配点法求解四边搁支板的弯曲问题

根据弹性薄板微分方程的一般解和边界条件的配点法来求四边搁支板的弯曲问题,并以对称荷载作用下的正方形板为例进行了分析计算。     

卫星及其诱饵的表面瞬态温度场

文中给出了计算空间目标和诱饵表面温度场的方法,比较了目标和诱饵表面温度特性的差异,指出了这些差异对点目标自动识别的重要意义。     

分布式操作系统MTA－OS的设计研究

介绍了一个用于空－空多目标攻击数字仿真的分布式操作系统ＭＴＡ－ＯＳ的设计思想、系统结构、组成及主要功能。     

How long until midnight? Intelligence-policy relations and the United States response to the Israeli nuclear program, 1959–1985

Why did the United States fail to stop Israeli acquisition of nuclear weapons? Existing research argues that patrons such as the U.S. should have an easy time halting proliferation by militarily and economically vulnerable clients. Nevertheless, Israel acquired nuclear weapons with relatively little American opposition. Utilizing extensive primary source research, we argue that problematic intelligence-policy relations hindered U.S. efforts to arrest Israeli proliferation as (1) policymakers often gave mixed guidance to the intelligence community, resulting in (2) limited information on Israeli efforts that reinforced policy ambiguity. The results carry implications for understanding the dynamics of nuclear proliferation and intelligence-policy relations.     

利用过阻尼电路合成高压方波脉冲

在过阻尼RLC电路分时放电的基础上,提出新型高压方波脉冲产生方法。理论分析表明:过阻尼RLC电路产生的双指数电压波与脉冲形成线产生的方形电压波具有类似的上升沿和平顶。电路模拟表明:通过人工过零技术可以对双指数电压波进行截尾,从而形成完整的高压方波脉冲。建立了原理验证性样机,由两组RLC电路构成,每组电路包含一台脉冲电容器和一只三电极场畸变气体开关,两组电路共用一个上升沿调节电感。实验证明:样机可以在电阻负载上输出幅值为17 kV、平顶宽度为330 ns～5.8μs、上升沿为100～350 ns的单极性高压方波脉冲。该方法适应性强,对负载变化不敏感,同时具有良好的可调节性,方波上升沿、平顶宽度连续独立可调。     

van der Pol 振子在负反馈作用下的动力性态分析

本文从非线性振动理论和反馈控制论的角度研究了ｖａｎｄｅｒＰｏｌ振子在负反馈作用下的动力性态,用中心流形法和形式级数法分析了ｖａｎｄｅｒＰｏｌ振子的局部稳定性和Ｈｏｐｆ分叉行为,用Ｒｕｎｇｅ─Ｋｕｔｔａ法给出了仿真结果。     

2K-H 行星传动的极限传动比

在行星轮系机构综合中,研究行星轮数目与极限传动比的关系有着极其重要的意义。本文根据２Ｋ─Ｈ行星轮系机构的同心条件、安装条件和邻接条件,采用统一的符号,对满足上述条件的所有（六种）２Ｋ─Ｈ行星轮系机构,导出了行星轮个数与极限传动比的统一关系式,得到了所有２Ｋ─Ｈ行星轮系机构的极限传动比计算公式,为２Ｋ─Ｈ行星轮系机构的综合提供了理论根据。     

炸药装药在压剪加载下的起爆特点

进行了两类压剪加载实验：（１）利用石英的平面正碰撞产生压剪加载的实验,采用电磁质速法测试装药试件内部不同质点的运动情况,分析炸药装药中发生化学反应的可能性;（２）在压剪炮上采用平行倾斜碰撞产生压剪加载的实验,观测炸药装药爆炸的可能性。由实验可以看出：在亚爆轰状态的压缩加载应力条件下,剪切的联合作用对炸药的起爆起到敏化作用,适当比例的压剪加载造成更加敏感的炸药起爆响应。文中给出了起爆响应规律和响应机制的实验分析。     

自主武器的特点及对未来战争影响 ——《无人军队：自主武器与未来战争》述评

以自主武器为代表的人工智能正在掀起一场新的军事革命。保罗·沙瑞尔所著的《无人军队：自主武器与未来战争》一书通过技术概念解释、各路专家访谈与大量战场实例,深入浅出地探讨了自主武器的内涵、特点与影响。本文基于该书内容,结合相关文献、书籍、评论等资料,首先对自主武器与无人军队的内涵、现阶段的运用情况进行简要介绍;其次,通过对自主武器技术内核的分析,简要介绍自主武器在各类战争样式的运用、存在的反为敌方利用的可欺骗性风险和故障发生后产生更严重后果的不稳定性风险;最后从三方面总结自主武器对战争其他方面的影响,即对军队建设模式提出更高要求,对国际战略稳定的双重作用以及对战争法与战争伦理道德的挑战。