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

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

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

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

拱坝体型设计的统计模型

应用数理统计方法，通过建拱坝数据库，确定拱坝体型厚高比，最小体积，最大柔度三个参数的统计模型，并对数座拱坝进行检验，得到比较一致的结果，提供的三个参数可拱设计人员在拟定拱坝体型几何参数和进行型优化设计时参考，并为宏观判断大坝安全性提供对比资料。     

机器人封闭动力学模型的递推组集方法

本文基于Ｊｏｕｒｄｉａｎ变分原理提出了一种建立机器人封闭式动力学模型的新递推算法，文中用旋转矩阵和相对位置矢量表示相邻杆件间的关系，建立了以关节变量为广义坐标的机器人显式动力学方程，并给出了建立动力学方程时有关运动学参数及其地广义坐标和广义速度偏导数的递推算法。     

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

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

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

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

关于Banach空间的几种光滑性和范数一致G—可微的等价条件

讨论了Ｂａｎａｃｈ空间的范数一致Ｇ－可微、很光滑汉极极端光滑性质的等价条件。     

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

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

颈动脉滴注瘫康灵治疗恢复期脑卒中疗效观察

对68例恢复期脑卒中病人采用颈动脉加压滴注瘫康灵治疗,结果显示治疗后患者肌力及Barthel生活指数明显提高(P<0.05),且在恢复早期治疗效果优于恢复期后期。     

杜氏藻同步化生长及核型分析

经１２ｈ光照和１２ｈ黑暗的光周期诱导，杜氏藻（Ｄｕｎａｌｉｅｌａ）出现同步化生长．以０．０５％秋水仙素处理、低渗及高位（６０ｃｍ）滴片，获得４种杜氏藻的核型．它们都是单倍体．染色体大多呈圆点状，极小．最长的染色体约为１．６μｍ，最短的染色体仅约０．５μｍ．染色体数分别是：Ｄ．ｐａｒｖａ１６条，Ｄ．ｂｉｏｃｕｌａｔａ２２条，Ｄ．ｐｅｉｒｃｅｉ２６条和Ｄ．ｍｉｎｕｔａ２８条．只有Ｄ．ｐｅｉｒｃｅｉ的第１至第４号和第７号染色体可见较明显的中间缢痕