样条有限点法分析板的非线性动力响应问题

本文提出了用样条有限点法分析板的几何非线性动力响应问题。采用了三次B样条函数与梁的振型函数的乘积作为试函数,由虚位移原理的动力方程出发,建立起以样条函数结点参数表示的基本方程,推导了非线性刚度矩阵的精确显式,并用wilson-θ法求解动力增量方程,求得挠度响应曲线。本文给出了算例,并与文献结果进行比较。本文提出的方法具有计算量小、精度高等优点。是十分有效的方法。     

超高精度车床直线运动误差检测与补偿系统的理论与实验研究

本文介绍了用三传感器误差分离法在线检测超高精度车床拖板直线运动误差和加工工件的素线直度误差。检测系统的精度高达±0.078μm。在此基础上,通过微计算机对误差数据进行数学处理,并驱动伺服机构对工件素线直度误差进行补偿加工。结果使工件素线直度精度提高到0.5μn/160mm,比补偿前的精度提高了50%以上。     

非共轴光学系统的光路计算与象质评价

针对非共轴光学系统提出新式光线抽样;运用切比雪夫数值积分建立崭新的质量函数;以最小二乘法和0.618法实现最佳象面快速自动优选;简化了坐标变换和数据输入。     

线性语言和顺序语言关于置换的判定问题

S.Ginsburg和G.F.Rose在[1]中利用可定义集合及顺序可定义集合的概念,得到了cfl(上下文无关语言)和sl(顺序语言)关于gsm(广义顺序机)和csm(完全顺序机)的制定问题之不可解性。本文用更初等的方法,不仅得到了ll和sl关于gsm和csm的制定问题之不可解性,而且还得到了ll(线性语言)和sl关于置换和同态的制定问题之不可解性,顺便还得到了ll和sl关于补运算的不封闭性。我们首先引进一些概念和记号。注意,凡是文中没有说明的概念和符号,都可以在[1]和[3]中找到。     

指挥控制通信与情报系统(C3I)

本文是一篇关于C~3I系统的概述。它介绍了C~3I的各组成部分以及这些部分是如何组成一个系统的。另外,讨论了几个与C~3I系统有关的技术问题。     

一种分析噪声背景下目标特征有效性的方法

本文根据目标特征和噪声分布,在一定假设条件下推出了最小错误率（Ｂａｙｅｓ错误率）的表达式,从而把特征分布、噪声大小直接与分类的最小错误率联系起来,给出了一种分析噪声背景下目标特征的有效性的方法。文中利用这种方法对目标和诱饵的红外辐射特征的有效性进行了分析     

α粒子在高温高密度氘氚等离子体中输运和能量沉积率的有限元计算

α粒子在高温高密氘氚等离子体系统中输运时其角密度分布函数满足非定态Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程。本文将一维球对称情况下的Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程在时域离散时分离成速度与坐标方向的两个方程，再对此两个方程中的速度变量作多群化处理，坐标变量（包括运动方向变量）采用有限元方法处理，分别得到了两个有限元方程。通过对两个有限元方程的耦合求解，数值求解了α粒子角密度分布函数随时间的变化，据此分别计算了α粒子对背景等离子体中的离子、电子的能量沉积率以及α粒子对背景等离子体的总能量沉积率随时空的演化。     

基于关系数据库的仿真模型管理

本文将讨论仿真模型库管理技术。从仿真模型库管理的实际需求出发，提出以关系代数系统实体结构（ＲＡＳＥＳ）框架为理论依据、利用关系数据库进行模型库管理的方法，并给出模型库管理算法的形式化描述及系统设计。     

大系统的 LQG/H∞优化模型降阶

本文给出了大规模控制系统的一种新的综合LQG/H_∞模型降阶方法。该方法同时兼顾了系统的时域特性与频域特性,使得对于在状态空间形式下的大系统的降阶既尽量保持原系统的频率特性,又具有与原对象更为接近的最小二次误差。     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。