量化单一带标公式的消解

在引入量化单一带标公式的概念后,给出其消解算法,并证明该消解算法是健全的和拒绝性完备的。因此该算法可用于对量化单一带标公式进行理论上的研究,同时也可用于在实际应用中解决这类公式的可满足性问题。最后,根据消解算法,得出一个可以在多项式时间内判定可满足性的量化单一带标公式的子类。     

两 个 轴 异 面 的 管 道 拼 接

证明二轴异面的圆管在其任意平面截口处通常不能用三次代数曲面GC¹拼接, 提出构造轴线与给定二圆管的轴分别共面的辅助圆柱 , 并利用二轴共面的吴文俊公式实现了给定圆管的分两段的三次GC¹拼接.     

培养基配方与栽培方式对灵芝产量和质量的影响

研究了培养基配方、栽培方式、复合肥含量等因素对灵芝菌丝生长和子实体发育的影响 .结果表明 :母种菌丝在PDA加 ρ =2 0 0g·L- 1的树枝煎汁或加 ρ =5g·L- 1的酵母膏等培养基中生长最好 ;产量在以棉籽壳为主料的培养料中最高 ,栽培方式应选袋栽 ,复合肥以w =1%～2 %为宜 .     

科技项目决策与管理支持系统的研究

本文阐述了实现对科技项目进行管理并提供项目实施决策信息的计算机管理软件实现的过程,以及软件的技术特色。     

一对反演公式及Rogers公式

本文证明了一对反演公式，并利用此公式结合Ｈｅｉｎｅ变换给出了著名的Ｒｏｇｅｒｓ公式的一个新证明。     

量化带标公式的消解

首先引入量化带标公式,然后研究了量化带标公式的消解并且证明其健全性和拒绝完备性.另外,还引入了二元消解并证明其针对正规量化带标公式(一个量化带标公式的子集)是健全的和拒绝完备的.最后证明如果正规量化带标公式的每一个子句如果最多包含两个文字,则该公式的可满足性问题是易解的.     

关于最短路问题的一个简明表格处理法

给出了求解最短路问题的一类迭公式和具体求解的一种简明的表格处理方法。     

卷积公式的推广及应用

卷积公式在许多学科领域都有着广泛的应用,将卷积公式推广得到了两个随机变量线性组合的概率密度计算公式,利用这个公式简化了计算概率密度的过程。     

高速近距动态感应装置磁场分布的分析与仿真

以高射炮引信电磁感应装定系统为平台,对装备于炮口的高频近场电磁感应发射装置进行了结构分析,创建了该装置的数学模型,依据电磁场理论推导出了现有教科书中未见有的有限长疏绕螺旋载流线圈内部空间磁场分布计算公式,并借助于计算软件对其进行了数值仿真,从中定量得知疏绕螺旋载流线圈所产生的磁场能量主要集中在半径小于线圈口径百分之五十以内的轴向有限区域内,这对电磁感应接收装置的结构设计及优化具有工程指导意义。所采用的研究方法、获得的理论公式及结论普遍适用于其他高频近场磁感应装置的分析和设计。     

半固态表观粘度的两段半抛物线拟合插值法

在分析半固态金属表观粘度特点的基础上，提出了半固态金属表观粘度的两段半抛物线拟合插值法．用该法得到了精度较高的Sn-15％Pb和Al-4．5％Cu-1．5％Mg合金半固态表观粘度的拟合插值公式，并比较了这两种拟合公式的计算值与实验值．结果表明，两段半抛物线拟合插值法是有效的半固态金属表观粘度拟合方法，其拟合精度明显优于指数函数和幂函数模型的拟合公式．