Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

数字滤波法在主轴回转精度测试中的应用

机床主轴回转精度的测量是机械工程测试中的重要项目之一。本文提出一种数字式测量系统,用数字滤波技术成功地解决了模拟式测量方法中难以解决的一些技术难关,使测量精度达到0.1微米。     

激波灭火技术的初步研究

讨论了激波灭火技术的基本原理， 给出可行的研究路线。采用新型的计算效率较高的ＥＮＯ差分格式， 从非定常ＥＵＬＥＲ方程出发， 对近地爆炸波产生的流场进行数值模拟， 分析后认为控制爆炸波后风场是关键。     

高保真超宽带TEM喇叭的分析与设计

本文讨论了波形保真的ＴＥＭ嗽叭分析和设计问题．本文提出了两个新论点：１）嗽叭的开口端阻抗不能看作真空波阻抗,它与嗽叭尺寸、张角有关;２）冲激脉冲有时序性能,反射只与局部结构有关,因此,波形保真嗽叭不同于普通的宽带嗽叭．本文按此思想设计了一个宽张角圆锥ＴＥＮ嗽叭,实验表明波形保真良好．     

粒子数对共振吸收早期现象粒子模拟的影晌

用不同的模拟粒子数对1016W/cm2功率水平的激光与不均匀等离子体相互作用中的共振吸收现象进行了模拟,比较了粒子数不同对结果带来的差别,并对结果从计算和物理的角度进行了分析。     

复杂零件产品虚拟开发技术研究

本文针对复杂零件产品制造精度要求高,工艺性差,残次品率高,生产周期长等特点,在探讨虚拟产品开发技术及其原型系统的基础上,提出了一种复杂零件产品开发的新模式：即在虚拟状态下对产品进行构思、设计、分析、仿真、装配、测试、性能及经济性评估、快速原型及产品数据管理等。     

运动目标的射频模拟原理

目标的运动可以用一个天线阵模拟。本文推导出模拟的基本公式并给出一些模拟结果,也讨论了阵的设计原则。     

分布参数管道的一种改进的小分段数有限元模型

在分段数为１和２时，现有有限元模型的一阶谐振频率比一维分布参数模型的一阶谐振频率低许多，因而其适用的频率范围较低，计算精度较差。本文提出了一种改进的小分段数有限元模型，通过修正流体管道的并联导纳使分段数为１和２时的有限元模型的一阶谐振频率与一维分布参数模型一致，从而提高了其使用的频率范围和计算精度。利用单根管道阀门关闭的水击问题的仿真计算对改进模型的效果进行了验证。在分段数为２时，原有的有限元模型的计算结果与分布参数模型的计算结果相差较大，而改进后的模型的计算结果与分布参数模型的计算结果基本一致。     

机械手的显式递推牛顿-欧拉动力学及其分散自适应控制的并行方案

文中推导了PUMA 560机械手的显式递推牛顿-欧拉动力学方程,提出了分散自适应控制的并行实现方案。算法复杂性分析显示了该实现方案的高效性。     

多波切仑柯夫振荡器的设计

采用相对论全电磁模粒子模拟程序，对多波切仑柯夫振荡器进行了设计，给出了一套结构参数。模拟结果表明：所设计的器件在较宽的运行条件下（Ud＝300～500kV，Ib＝0．45～10kA，τγ＝10～102ns）能产生相干微波，微波频率位于X波段（～10GHz），辐射效率在10％左右，最大输出功率约300MW．