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

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

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

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

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

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

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

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

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

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

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

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

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

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

微尾鼩的食性与防治初探

通过对微尾鼩胃容物的检验及个体饲养研究,以确定其食物组成和取食特性,并结合其生态地位来对其种群进行防治。结果表明微尾鼩主食蚯蚓及各类昆虫、肉类等,对各类作物的种子也有明显的喜好性,偶尔会取食某些绿色植物的茎杆、叶片。分析结果表明,可使用能降低其繁殖力的非毒杀饵料来控制其种群数量。     

高能物理计算网格应用系统

针对在高能物理计算中存在的海量数据存储和计算问题,讨论了高能物理计算网格应用系统的体系结构,并重点讨论了运用元数据模型,通过元数据方式对数据的集成和整合,为用户提供了高能物理异构数据资源统一访问机制,以适应高能物理计算环境下数据密集型应用对数据共享和处理的需要,提高数据共享的利用率,节约了计算和存储硬件资源,加速了高能物理研究的进程.     

Crystal structure determining of 7-ADCA based on X-ray powder diffraction

Traditionally, crystal structure data can be collected and determined from single-crystal X-ray diffraction. However, in the fields of organic and macromolecular crystallography, it is often difficult or impractical to grow single crystals with suitable sizes and purity. Therefore, it will be benefited from the newly growing analytical tool that combining X-ray powder diffraction based on polycrystalline samples and ab initio calcula- tion[1]. 7-ADCA is one of the most important intermediate…