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

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

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

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

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

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

一个多层的 context 逻辑

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

一台200keV中子发生器

本文介绍一台200KeV中子发生器的调试结果:用200KeV,1.5mA氘束轰击氚钛靶,由(d,T)反应产生中子产额可达2×10~(11)n/s;有效直径为20mm质量好的新靶,在160Kev,0.8mA下,中子产额5×10~(10)n/s维持4小时。该发生器采用高频离子源,用普通高压电瓷绝缘环装配加连管,高压电源采用四级倍压回路、离子源和高压电源的供电频率50Hz,靶室用水冷却。     

解稳态二维笛卡尔几何下中子输运方程的离散节块输运方法

离散节块输运方法(DNTM)是用来求解中子输运方程的一种高精度的粗网格输运理论方法。它的主要思想是,利用横向积分过程,将原来的二维方程转化为若干个耦合的一维方程。与传统的离散纵标法(SN方法)相比,该方法所用空间网格可以粗一个量级以上,而计算结果的精度相当。DNTM对角度变量的处理与S_N方法相同。本文介绍了利用平坦泄漏离散节块法数值求解二维笛卡尔几何下中子输运方程的理论和方法。在此基础上,发展了线性泄漏离散节块输运方法。针对这两种情况,分别编制了两个离散节块输运程序,并对几个一维和二维问题的本征值进行了计算,获得了令人满意的结果。     

基于agent 的分布式集成环境

本文提出了一种基于多ａｇｅｎｔ的分布式集成环境ＤＩＥＭＡ的通用框架,描述了ＤＩＥＭＡ的工作原理;提出了服务ａｇｅｎｔ和请求ａｇｅｎｔ的实现框架及其设计与实现。     

一种新的自变量选择准则

本文提出了一种着眼于提高回归系数估值精度的自变量选取准则,同时给出了相应的算法。     

等离子体粒子模拟技术引起的对于色散关系的偏离及对孤立子模拟的影响

本文用解析分析的方法分析了等离子体粒子模拟中的有限大小粒子、电荷近网格分配和时间差分方法引起的相对于等离子体静电波色散关系的偏离,导出了修正后的色散关系。文中设计了等离子体粒子模拟的计算机模拟实验方案,验证了有限大小粒子和时间差分方法引起的对于色散关系的偏离;介绍了用不同大小粒子进行孤立子现象的等离子体模拟,结果表明,粒子的大小不同可产生相反的结果。     

液体火箭发动机气液同轴式喷嘴混合特性实验研究

本文通过实验研究了液体火箭发动机气液同轴离心式喷嘴的混合特性。利用两相探针技术,测量了喷嘴下游喷雾流场中气液流强和混合比分布,考察了喷嘴缩进比和气液喷注压降等参数对混合特性的影响。结果表明,气液同轴离心式喷嘴的缩进比对喷嘴混合特性有较大影响,增大缩进比将导致更窄的气液流强分布和更均匀的混合,而改变气液喷注压降将导致不同的流强和混合比分布规律。