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

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

活塞环非圆轮廓数控仿形加工系统及伺服机构设计

本文简要综述了国内外活塞环理论研究及加工技术的发展状况,介绍了活塞环加工的一种新的方式和技术──活塞环非圆轮廓数控访形加工系统的构成和工作原理,详细论述了其伺服机构的设计,最后给出了实验结果。     

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

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

新的固相反应法合成钼青铜化合物 NaxMo6O17的研究

本文介绍了一种以MoO_3和NaI 为原料,在高温、惰性气氛中通过氧化还原反应合成Na_xMo_6O_(17)化合物的新方法。进而研究了Na_xMo_6O_(17)化合物的组成分析和热分析方法。     

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

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

CRMXDBMS 汉字关系数据库管理系统

CRMX86操作系统是在改造iRMX86实时多任务操作系统的基础上开发出来的。它能高效地可配置与支持丰富的汉字功能。CRMXDBMS是它支持的一个功能相当于dBASE-Ⅲ和具有汉字功能的关系数据库管理系统,它具有两种用户加密手段、良好的汉化用户界面等特色。本文介绍了该系统的基本结构和主要设计技术。     

潜艇操纵面的建筑形式评述

本文概述近５０年（１９４４～１９９４）潜艇操纵面建筑形式的发展情况、现状和趋势。     

窗函数对谱分析精度的影响

FFT是古典和现代谱分析的基础,采用不同的窗函数,FFT变换的结果有明显的差异,用图解的方式,比较了矩形窗与汉宁窗对谱分析精度的影响。     

火炸药静电起爆最小发火能量测试方法研究

分析研究了测量火炸药静电起爆最小发火能量的三种方法,并进行了大量的对比试验,提出了首先进行OSTR法试验,然后进行逐步降压法试验,从而得出火炸药静电起爆的最小发火能量。     

差动式电涡流位移传感器

设计了差动式精密电涡流位移传感器.通过对参数的合理选择与优化,测量电路尽量采用线性集成元件,较好地解决了一般载频调幅式电涡流位移传感器线性范围小、线性度差、时漂和温漂大的缺点,能够满足在10kHz的动态范围内,对高速转轴在复杂环境温度条件下,进行长期精确的位移和振动监测的需要.