汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

超宽带雷达反隐身机理综述

本文对超宽带（ＵＷＢ）／冲激雷达的反隐身机理作了全面的讨论。从冲激脉冲具有的超宽带特性、短时性、信号先兆效应、电磁导弹特性,以及吸波材料的驰豫时间效应和自诱导透明性等方面,分析对比了冲激雷达与常规雷达回波的差异。初步实验结果表明,超宽带冲激雷达有优越的反隐身能力     

面向钢铁企业的分布式智能化管理信息系统YHWG

我们开发的“分布式智能化管理信息系统ＹＨＷＧ”由钢种辅助设计专家系统、转炉炉衬监测诊断专家系统和低合金钢及转炉炉衬信息管理系统等部分组成,目前已在武汉钢铁公司得到应用,取得了良好的经济效益     

分布式结点自组织时分多址算法

提出了一种分布式结点自组织时分多址算法,并论证了算法的正确性和功效。     

论管理协议细栈MTS的构造

开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。     

阶梯形变截面弹性支座连续梁的弯曲计算

本文利用折算载荷法,推导出了阶梯形变截面弹性支座连续梁弯曲计算的基本方程,编写了通用计算机解题程序。     

基于格结构假设空间证据推理的双向传播计算模型

在专家系统中,基于证据理论的推理网络一般为格结构形式,将证据理论的现存形式直接应用于具有复杂结构的推理过程存在很大的困难。本文基于格结构假设空间,采用不确定知识的可信度表示方法,给出了初始基本概率赋值函数的一种计算方法,并在扩充的Shenoy-Shafer结点处理模型的基础上,提出了证据推理的双向传播计算模型。     

任意三角域上的光滑插值法

本文讨论了三角域和多边形域上的光滑函数在边界的法向导数和沿边界的方向导数的关系,得到了三角域和多边形域上C~1(C~2)插值的简化判别条件。提出了三角域上的一种C~2插值方法。最后,我们给出了误差估计和计算实例。     

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

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

论现代科学方法在武器系统研制和战略决策中的重要作用

本文认为现代科学方法在武器系统研制中的作用主要表现在:研制思想的整体性、研制方法的综合性、研制手段的模型化、组织管理的科学化和全局上的最优化;在战略决策中的作用主要表现在:作战演习的模拟化、指挥系统的自动化、后勤工作的现代化和军事预测的科学化。