逻辑学的代数结构

用数学方法处理逻辑是一个值得进一步重视的课题。本文所讨论的“逻辑学的代数结构”一个主要目的是想更为广泛地应用代数方法来探讨数理逻辑中有关问题。     

狭谓词逻辑的布尔模型

本课题对《布尔模型》来说是一新的内容,该文虽在<逻辑学的代数结构>中已提出,但尚待论证,为此在此将给出严格的证明。§1 狭谓词逻辑在有限论域中的布尔模型命题逻辑构成布尔代数的一个模型,为了在狭谓词逻辑中给出其布尔模型、在此重述谓     

对称式不同形状簧片的振动特征

利用Workbench平台对射流液片激励3种不同形状劈尖的簧片振动问题进行计算分析,研究射流压强和劈尖形状对簧片振动特征的影响.结果表明:簧片振动达到稳态所需时间与射流压强成反比,簧片振幅与射流压强成正比,簧片振动频率与射流压强成正比或不变.同一射流压强情况下,等腰三角形劈尖簧片振动达到稳态所需时间最短,方形次之,半圆形最长;方形劈尖簧片振幅最大,等腰三角形居中,半圆形最小;等腰三角形劈尖簧片振动频率最高,方形最低,半圆形介于两者之间.     

离子选择电极法测定催化剂中氟

在催化剂的研制过程中，氟元素的加入可以增强载体或催化剂的表面酸性，防止Ni-Al、Al-W、Al-Mo等尖晶石的形成，延长催化剂的使用寿命。研究表明，载氟量对催化剂晶体结构、活性、选择性都有很大的影响。对于催化剂中氟含量测定，光度法需要用浓高氯酸蒸馏以绘制标准曲线；间接络合滴定法对酸度、共存元素要求严格，且操作繁琐。离子选择电极法具有测量准确、重复性好、分析速度快、操作简便等优点，是分析催化剂中氟含量的极为有效的手段。     

政府经济管理的法制化

我国正处于经济转轨时期,这一时期考验着政府经济管理的能力,而建立一个完备的法律体系,以法律规制政府经济管理行为对于促进我国市场经济发展具有重要的意义。     

倾斜式浮选柱用于超细粒煤脱灰的工艺研究

用倾斜式浮选柱对平均粒度小于15 μm的超细粉煤进行降灰的工艺试验研究,讨论了不同因素对浮选效果的影响.通过正交试验选择最佳工艺,用最佳工艺经过3次浮选得到灰分小于3%的超净煤.     

法家与墨家赏罚理路的差异

法家与墨家由于立足的哲理基础不同,反映在赏罚的理论与实践上,也表现为各有特色的不同侧面。就赏罚的理论基础、赏罚的原则、赏罚的效用而言,法家重人性,墨家重神秘;法家的逻辑较为周密,墨家则显得粗疏。法家与墨家因为所需阐释的不同价值取向所然,表现出了各具特色自成一家的理路设计。     

山西翅果油天然群体果实类型的划分

以山西南部4个翅果油种源区的野生翅果油果实和种子为材料,以果长、果宽、种长、种宽为指标对翅果油进行了聚类和判别分析,对翅果油大宫灯、小宫灯和长果型进行了初步的类型划分,并建立了翅果油各个果型的判别函数。结果表明：分类后果型内部差异较小,果型间差异较大,分类效果显著;聚类分析后,以果长、果宽、种长、种宽为指标进行判别分析,得出3种果型的判别系数。根据判别系数建立3种果型的判别函数：Y长果型=7817x1+7059x2+15949x3 +1028x4-356719;Y大宫灯=7563x1+7703x2+13544x3+10327x4 -324752;Y小宫灯=5728x1+ 6787x2+12564x3+9606x4-250641。判别回代正确率达984 %,能较好地判别果型的类别。     

胚胎发育与孕妇血锌含量的对比观察

为探讨早孕时期胚胎发育与微量元素的关系，测定了１２０例胚胎停止发育孕妇血锌含量，并与对照组比较，结果表明，８２例血锌含量低于对照组，占６８．３３％。     

《实质蕴涵》的一种立论

一、问题的提出(一) 在命题演算中讨论的联结词有下列五种: 1、非,由它可以从A作出“非A”,“非A”叫做A的否定式,记为(?)。