相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

连杆机构准动力学分析的统一建模方法

探讨了基于构件真实质量分布的连杆机构准动力学（动态静力学）分析的统一建模方法，它适用于各种平面、空间连杆机构．采用达朗伯原理和矩阵方法，推导了机构支反力及驱动力求解的统一公式．开发了相应的准动力学通用分析系统，该系统已有效地应用于工程实际之中．     

三波长一元线性回归分光光度法的研究与应用

本文提出了三波长一元线性回归分光光度法。该法将几组不同组成的已知混合溶液,在三个测试波长下所测得的吸光度直接进行线性拟合,并建立了三波长线性方程 y=Kx+B。这种方法较好地克眼了三波长法过于依赖仪器波长精度和准确性的缺陷,以及通常三波长法测定实际混合样品时,完全由纯组分所建立的定量公式而引入的误差。提高了测定精度和可靠性,操作简便易行实用,又能兼顾三波长法的灵敏度和原有特长。     

拟常曲率空间的紧致极小子流形全测地的关于Ricci曲率的Pinching条件

本文证明了拟常曲率空间中紧致极小子流形是全测地的关于Ricci曲率的Pinch-ing条件,推广和包含了常曲率空间中Ejiri的相应结果,即Q>n-2(n>4)时,M=S~n(1)。     

利用反射成像测量薄透镜材料的折射率

给出了一种利用透镜的球面反射像测量薄透镜的材料折射率的方法。     

河南老湾花岗岩的源区成分模拟

老湾花岗岩的岩石化学、稀土元素和同位素特征指示出老湾花岗岩源于下地壳经部分熔融作用形成。源岩中含有壳源和幔源物质,具类似于高钾钙碱性安山岩的岩石化学特点。详细的研究表明了早元古界桐柏山群不能成为老湾花岗岩的源岩。模拟的太古代岩系岩石化学成分经高程度的部分熔融作用可以形成老湾花岗岩。     

谱分析方法在经济波动分析中的应用研究

针对我国经济序列较短的特点,将加窗周期图谱估计与最大熵谱估计相结合的谱估计方法用于经济周期波动的分析,并用各隐周期分量单独分辨的办法通过对数据进行三角叠加拟合来确定隐周期长度的准确值。     

用软锰矿浆在筛板塔中烟气脱硫

按一定比例将软锰矿粉与清水配成矿浆作为脱硫剂进行烟气脱硫研究,在单板筛板塔中考察了液气比、液固比、空塔气速、温度等操作条件对脱硫率的影响;并选择适宜的操作条件,在双板筛板塔中考察了脱硫率随时间变化的关系,建立了表征脱硫率与锰浸取率内在联系的回归方程