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

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

正常检验的计数抽样方案设计

根据序贯抽样理论，结合ＧＢ２８２８的设计原理和特点，设计了一套正常检验的计数抽样方案，从而可以较方便地解决一些合格质量水平不是优先数的产品质量检验问题     

深过冷Ni—Si共晶合金中Ni3Si的生长形态

采用熔融玻璃净化和循环过热相结合的方法，使Ｎｉ－Ｓｉ共晶合金获得了２２４Ｋ的大过冷度，对该合金深过冷快速凝固组织的形成机制和小平面相Ｎｉ３Ｓｉ的生长形态的研究发现，在过冷条件下，共晶组织形成之前，往往会生成组成共晶的两相的初生相，随着过冷度的增大，Ｎｉ３Ｓｉ初生相的生长形态由小平面形态向非小平面形态转变，其转变的临界过冷度约为６０Ｋ。     

用最小二乘法求无限深势阱基态能量和波函数

用最小二乘法求出了粒子在无限深势阱中运动时的基态能量和波函数,并与精确解进行比较,结果表明二者相差很小.     

关于数字系统设计的研究

阐述了VHDL硬件描述语言与电路设计的关系及设计过程，在此基础上对数字系统设计方法进行了分析与比较。     

科学家聚焦仿生学

仿生学(bionics)是模仿生物的科学，即研究生物系统的结构、物质、功能、能量转换、信息控制等特征，并将它们应用于技术系统，以改善现有的技术工程设备，创造新的工艺过程、建筑构型、自动化装置等的科学，是应用生物学的分支，是生物学、数学、工程技术学之间的交叉学科。仿生学的任务是研究生物系统的优异能力及产生原理，将其模式化。再运用于新技术设备的设计与制造，或者使人造技术系统具有类似生物系统的特征。仿生学的研究内容十分广泛，小至微观世界的分子仿生，大至宏观世界的宇宙仿生，主要包括：(1)电子仿生。模仿动物的脑和神经系统、感觉器官、细胞内和细胞间通信、动物间通信等，研制多种人工神经元电子模型和神经网络、高级智能机器人、电子蛙眼、鸽眼雷达系统以及模仿苍蝇嗅觉系统的高灵敏小型气体分析仪等；(2)控制仿生。模仿动物体内稳态调控、肢体运动控制、定向与导航等，研制蝙蝠和海豚动物的超声波回声定位系统、蜜蜂的“天然罗盘”、鸟类和海龟等动物的星象导航、地磁导航和重力场导航系统等；(3)机械仿生。模仿动物的走、跑、飞、游等运动，运用机械结构和力学原理，研制昆虫步行机等机械装置，寻求车辆、舰船、飞行器的最佳设计原理；(4)化学仿生。模仿光合作用、生物合成、生物发电、生物发光等；(5)医学仿生。包括人工脏器的研制、生物医学图像识别以及医学信号的分析处理等。此外，还在研究建筑仿生、农业仿生等。     

一种MOSFET器件模拟的新方法

逆算子方法是一种新发展起来求解强非线性问题的近似解析法,对这种方法在MOSFET器件模拟中的基本思想和实现方法进行了阐述,并将其运用于MOSFET器件模拟中,求解了半导体区域的一维非线性泊松方程,得到了MOSFET的一些重要参量的解析表达式,所获得的结果与数值计算的结果比较表明,该方法获得的结果物理意义明确、分析过程简单,收敛速度快捷.     

深盆气圈闭判识方法与应用

判识深盆气圈闭一般有 3种方法 :地质条件叠合法 ,理论模拟计算法 ,探测结果推定法。在深盆气勘探开发的不同阶段 ,由于研究的内容不同 ,对深盆气圈闭的判识采用的方法也不同。利用这 3种方法识别深盆气圈闭 ,可以确定圈闭的分布和发育范围 ,同时认为 ,深盆气圈闭的形成存在一个地质门限 ,进入这一门限 ,深盆气才可在圈闭内聚集成藏。将实际资料分析与理论计算相结合 ,预测了鄂尔多斯深盆气圈闭的发育范围 ,可为该盆地深盆气的勘探与开发提供依据     

直升机的全机水平测量工艺方法的应用

飞机水平测量是飞机总装时对飞机各部件相对位置准确度进行检验和调整的工序，是对飞机各主要几何尺寸或参数的误差(飞机总装质量)的最后总检测。我们采用的测量方法是常规光学仪器测量法，按飞机各部件相对位置的几何参数的测量要求，逐项测量有关测量点相对测量基准的距离和角度，通过测量数据的对比处理和计算，反应有关几何参数的误差。此方法对测量所需光学仪器安置位置没有严格的要求，只要一次测量能反映全部测量点即可。     

深锥浓密机底流浓度模型及动态压密机理分析

泥层高度和底流浓度是深锥浓密机最为重要的两个参数,因此有必要研究底流浓度随泥层高度的变化规律.采用自制小型深锥浓密机,对尾矿非连续/连续动态压密过程进行了物理实验;借助于有效孔隙比与泥层压强间遵循的Power函数关系,结合对尾矿颗粒的受力分析,推导出了底流浓度与泥层高度的数学模型,揭示了浓密机底流浓度与泥层高度的内在关系,并从尾矿颗粒空间结构的角度解释了该模型的变化规律;结合矿山生产对于底流浓度的要求,应用该数学模型,为其推荐了泥层高度的合理范围,验证了底流浓度数学模型的可靠性.该模型为深锥浓密机的设计和运行提供了理论依据.