机动车微机检测与管理系统

机动车的安全检测与管理对交通安全及环境保护有重要意义。本文从工程角度介绍和比较集中控制式、分级分布式、分组控制式等几种微机控制系统的结构、布置和软件功能，探讨不同使用条件如何选择较合理的微机检测与管理系统。     

剩余静校正的小波包预处理方法

强反射层追踪与相对时差拾取中的“多值”现象严重影响剩余静校正的效果，为此提出的小波包预处理方法，可以实现地震道噪声与信号及不同强反射层的分离，从而能自动识别并提取“纯”的强反射层，提高强反射层追踪的可靠性和相对时差的拾取精度．     

肿瘤坏死因子(TNF)的分子结构和生物学活性

TNF最初被发现是因为它显示了抗癌活性,现已判定它是免疫细胞接受某些特定的刺激因子所产生的多功能细胞因子,它参与了炎症和免疫反应以及细胞生长或抑制的各种蛋白质因子中的一族,本文讨论了TNF的分子结构和生物学活性及两者之间的关系。     

稳态模型估计新方法及其强一致性分析

本文将文［６］中的结论推广到线性多变量系统，得到了稳态模型以及过程导数的强一致性估计，数字仿真结果也说明了该方法的有效性和实用性。     

半序Banach空间上映射的本质性和平凡性

给出了半序Ｂａｎａｃｈ空间上映射的本质性和平凡性的几个判定定理，应用它们得到了锥压缩不动点定理的下述推广：定理６设ｘ是ｂｅｎａｃｈ空间，Ｙ是具有锥Ｋ的Ｂａｎａｃｂ空间，Ω＿１和Ω＿２是Ｘ的有界开集，本质，全连续，若则存在使得Ａｘ＝Ｊｘ。     

ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

用Ω展开方法讨论化学体系的涨落

运用ＶａｎＫａｍｐｅｎ提出的Ω展开方法，对两个化学反应系统：进行了研究，建立了这两个反应系统组分浓度的一阶矩和二阶矩。     

提高紫罗兰酮产率的研究

本文介绍了合成α－和β－紫罗兰酮的原理和改进方法。该法与传统的合成方法在反应温度、碱液浓度、催化剂等各方面都作了系列比较和筛选，尤其是环化过程采用特殊溶剂Ａ与Ｂ，可使两种紫罗兰酮在纯度、产率方面都有显著的提高。     

芭蕉芋生产葡萄糖浆的研制

本文介绍了采用α－淀粉酶、葡萄糖淀粉酶双酶法生产工艺，直接从鲜芭蕉芋（Ｃａｎｎａｅｄｕｌｔｓ）块茎生产葡萄糖浆的方法。该法降低了原料成本，工艺操作容易，设备要求不高，葡萄糖转化率高，产品增值优于其它芭蕉芋制品。     

气－热复合敏感元件的理论分析

本文从理论上分析了热敏元件对气敏元件的温度补偿原理，指出了构成低温漂复合元件分立元件需要满足的条件，阐述了实验上的可行性。