移位算子是近次正常算子的充要条件

本文在文献[1]工作的基础上,给出单侧加权移位算子是近次正常算子的充要条件,它们是通过移位算子的权序列性质来刻画的。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

FY-2型发动机燃烧室计算模型

本文提出了一个液体火箭发动机双组元自燃推进剂高压燃烧过程的计算模型。模型考虑了偏二甲肼的分解反应、四氧化二氮的离解反应、高压蒸发、液滴二次雾化以及燃烧室横截面上混合比和流强分布的不均匀性。应用该模型对FY-2型发动机的三种喷注器结构的燃烧效率及能量释放分布进行了理论计算,计算结果与试车数据和现象相当吻合。     

Turbo C与Microsoft FORTRAN混合编程的实现

本文通过研究Borland公司的Turbo C与Microsoft公司的FORTRAN混合编程时出现的问题,提出了修改初始化模块及函数库的原理与方法,并利用TLINK的动态连接功能,实现了这两种语言在源程序级的混合编程,最后说明了实现过程与注意事项。     

方差分量的Bayes二次无偏估计及可容许估计的非负性

对于有P 个方差分量的线性模型,本文导出了方差分量线性函数的Bayes 不变二次无偏估计的显示表达式,证明了Bayes 不变二次无偏估计类形成了可容许的不变二次无偏估计的完全类。在可容许的不变二次无偏估计类中,讨论了非负参数函数的非负估计问题,给出了可容许的非负定估计存在的充要条件。     

等离子体氮化SiO_2膜的电学性质

本文研究了等离子体氮化 SiO_2膜的电学性质,在低温下获得了性能优良的介质膜。     

组合回转壳体动力分析的混合界面法

组合回转壳体在工程结构系统中大量存在,对它们进行动力分析是十分必要的。介绍了混合界面法的主要原理和在组合回转壳体结构系统动力分析中的应用,并用两个例题作了分析和计算,证明是成功的。该方法可推广到其它复杂系统结构的动力分析。     

带混合边界条件的m——分支半线性反应扩散系统

采用非线性分析的方法与技巧,研究了一类带混合边界条件的m(m≥2)一分支半线性反应扩散系统解的整体存在性.首次给出一种控制条件,使其“IntermediateSums”控制指数可达到 ∞.     

VX的DS2消毒产物的气相色谱-质谱法分析

建立了用ＤＳ２,５０％ＤＳ２水溶液（Ｖ／Ｖ）,Ｎａ２ＣＯ３水溶液对ＶＸ消毒后的样品处理与制备的方法,比较了“氯化氢／甲醇除胺法”和“水中止除胺法”２种中止反应的特点。用气相色谱－质谱法进行了消毒后产物的分析与鉴定。并探讨了３种消毒剂与ＶＸ反应机理。