一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

基于信元离开间隔与令牌控制的成形算法

提出基于信元离开间隔与令牌控制的成形算法，该算法可使源流量的峰值速率、平均速率、最大突发长度和ＣＤＶ变更到期望的值，并可保证已成形流量的透明性．而且当源流量符合声明的参数时，成形延迟很小．通过仿真，评估了所述成形算法的性能．给出了基于共享缓冲区、链表和递减排序器的成形器实现结构，并对其操作进行了研究．     

Cadion 2B改性硅胶预富集水体中的痕量金属

市售硅胶经HNO_3、HCI活化处理后能附载镉试剂2B.文中讨论了镉试剂2B改性的硅胶预富集自来水、湖水中的痕量金属离于,考察了各离子的富集、洗脱条件,从而建立了定量富集痕量锌、镉、汞、银的方法.该方法富集信数可达200倍以上,操作简便.     

微波对化学反应作用的动力学原理研究

一门新兴的交叉学科———微波化学正在兴起，而微波对化学反应作用的动力学原理是目前研究微波化学的理论基础。本文从场的角度和能量的角度出发，分析了微波对物质的作用机理，并设计了３种不同的反应体系。通过实验，提出了化学反应过程中的电磁场作用原理，并根据电荷粒子的动力学方程导出电磁场作用因子。     

宝山钢铁总厂原水,工业水质的初步分析（Ⅰ）

对宝山钢铁总厂水库与栩水池在不同时间内所采的水样进行溶解氧，五日生化耗氧量，化学耗氧量，总氮及总磷的测定；也对水库底泥的总氮及总磷含量进行测定。从ＤＯ，ＢＯＤ５的总磷来看，水体未达到富营养化标准，从ＣＯＤｃｒ来看，水体均处于超富营养化状态；从总氮浓度来看，水体均处于中营养化和富营养化之间。     

神经网络训练的分解重组算法

本文介绍了把线性不可分问题分解为一系列线性可分子问题、对线性不可分问题进行求解的网络分解重组算法．还证明了该算法的收敛性．实例研究表明：该算法不仅可以得到神经网络的隐层空间目标和隐层单元数，而且提高了对线性不可分问题的求解速度，因此是一个非常有效的神经网络训练算法．     

未知掺杂MOS结构少子产生寿命空间分布研究

本文采用线性扫描法测定未知掺杂ＭＯＳ结构少子产生寿命空间分布，结果表明，本方法是简单准确的。     

广西地区恒河猴(Rhesus Monkey)B病毒相关抗体的检查研究

采用玻片免疫酶法(IEA)和酶联免疫吸附试验法(ELISA),检查了来自广西不同来源恒河猴B病毒的相关抗体。结果表明:广西野生恒河猴受B病毒的感染较为普遍,来自龙虎山及扶绥保护区的猴,B病毒相关抗体阳性率分别是79.7%和75.3%。来自穿洞河及布柳河保护区的猴,B病毒相关抗体阳性率分别是26.1%和28.9%。大新保护区猴阳性率为57.1%。在不同组猴中,小群关养组猴相关抗体阳性率最高,野生猴次之,自繁猴最低。三组间,猴B病毒相关抗体阳性率的差异极显著(P<0.05),经ELISA检查确定为阴性的猴,用IEA检查出7.5%(15/200)的猴被判定为阳性猴。     

紫花苜蓿和红三叶接种根瘤菌试验研究

进行了豆科牧草紫花苜蓿和红三叶接种根瘤菌的试验．结果表明，接种根瘤菌后二者的生长速度、结瘤数量、根瘤重量、结瘤率、产量、土壤肥力等指标均有改善和提高     

森林病虫害防治现状与对策

文章对中国森林病虫害发生日趋严重的原因进行了分析，并在此基础上提出了防治对策。