中介谓词逻辑MF完备性的一些结果

本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。     

线性规划解的严格互补性

本文证明了所有标准线性规划问题的几乎所有的最优解都是严格互补的．     

电与磁对偶的双重协变规范场

引进磁荷三重规范场,与电荷三重规范场对偶地结合为双重Lorentz协变的规范场。求得中心对称静电场与静磁场解。电荷与磁荷互相对偶。     

议论文教学试探

如何搞好议论文的教学,在目前中学语文教学中,仍是一个值得探索的问题。我在和一些同行以及学生的接触中,得到了这样一个印象:教的缺乏信心,学的兴趣不大。有的学生甚至说,一听见上议论文,就象孙悟空听见唐僧念紧箍咒一样,头都疼了。课外阅读议论文的就更少了。我曾对中师一个班级的课外读书情况作过统计,该班五十人(全是高中毕业生),一学年共借书153册,其中议论文仅有1册,而且未读完就还了。平时看报刊,看议论文的也极少。譬如《红旗》杂志特约评论员重要文章《做     

氮离子重叠注强化精密轴承表面的研究

采用氮离子重叠注入法强化GC_r15钢试样及精密轴承套圈,AES-PRO分析表明,这种工艺能充分提高实际注入基体的氮原子数量和深度均匀性.显微硬度、Timken磨损试验及推力片接触疲劳试验说明,注入表面得到较大的强化;而精密轴承套圈的尺寸精度和粗糙度均不受影响.本文还利用AES-PRO及XPS谱图和X射线衍射谱,分析了氮离子注入强化的机制.     

Rm的置换多项式与COSTAS矩阵

本文给出了多项式ｈｋ（Ｘ）＝１十ｘ十ｘ２＋…＋ｘｋ置换剩余类环Ｒｍ（Ｚ／（ｍ））的充分必要条件；证明了Ｒｍ的纯奇次置换多项式ｆ（ｘ）不能生成ｍ×ｍ（ｍ≥４）的Ｃｏｓｔａｓ矩阵．并深人讨论了迪克逊多项式ｇｋ（ｘ，ａ）和ｈｋ（ｘ）与Ｃｏｓｔａｓ矩阵的关系．     

寓教于乐 生动活泼——语文知识教学琐谈

语文知识的教学,如果只是照本宣科,诠释概念,死记条文,学生就会感到枯燥乏味,当成一种负担。重要的是要使学生对这门课程产生兴趣。心理学家认为,兴趣是构成学习动机中最活跃、最现实的成分。明代学者王阳明说:“今教童子,必使其趋向鼓舞,中心喜悦,则其进自不能已。”美国教育家布鲁诺也说:“学习的最好刺激,乃是对所学材料的兴     

多路多信多通道广播的随机控制

本文直接由“完备群”概念导出基本控制电路,从而以较简单的电路结构形式,实现了多路多信多通道广播控制中的“五任意”,达到了预期的目标。文中所导出的基本“随机电路”还适用于其它同类型的控制系统。     

激光引变玉米自交系双列杂交群体数量性状的遗传关系分析

本文应用Hayman和jinks的方法(包括亲本和正交F_4的双列杂交群体),依据方差和协方差,估算加性与非加性的遗传参数,应用回归分析方法,分析其遗传关系。 材料和方法 根据Griffing,Hayman和jinks的分析要求,在选择亲本时,应注意满足二个条件: (1) 提供不同的基因型。 (2)亲本间杂交,大部分能产生强优势的高产纪录。 我们用激光引变系04、05、06、07、08,13、14、15、16、和本省用常规方法选育的优良自交系01,02、11、17、19、20、和21共16个自交系,组成120个正交组合和自交系本身     

超强酸催化有机酸衍生化分离分析研究

固体超强酸具有较高的反应活性和较好的选择性．文章研究了玫瑰茄油在固体超强酸催化下合成高级脂肪酸脂．再采用GC—MS对其中的脂肪酸进行了定性和定量分析．玫瑰茄油中各种脂肪酸的质量分数分别为棕榈酸18%；硬脂酸30%；油酸38%；亚油酸14%。