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

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

容有无穷小共形变换的黎曼流形

设M为n维连通的黎曼流形.用一组坐标邻域{U; x~h}覆盖M,这里,指标h,i,j,k,…取值{1,2,…,n}.g_ij、K_kji~h、K_ij 和K分别表示M的度量张量、曲率张量、Ricci张量和数量曲率.▽_j表示关于Levi-CiVita联络的共变微分.M上一无穷小变换V~h,如果它满足     

两平行载流长直导线周围磁场的定量讨论

在普通物理学里,磁感应强度B的环流只与环路上所包围的总电流ΣI有关,而与L外的电流无关;但L上各点的磁感强度B,却与空间所有的电流及分布有关。这一概念学生是不易掌握的。在此我就两平行载流长直导线周围磁场的分布规律予以讨论。     

城市地下水资源评价方法探讨——开采状态法介绍

作者在研究郑州市区地下水源地开采状态过程线的基础上,提出了一个以评价合理开采量为主要内容的“开采状态法”。其原理是在“大井法”的基础上,通过分析整个地下水源地的开采全过程,判断Q～S曲线类型,选取适宜的开采状态,从而确定其合理开采量及其相应的地下水位降深。     

经济方法与学校管理

按人们传统的观念,经济方法只是适用于物质生产部门的管理方法,在学校管理中是不适用的.随着社会主义市场经济体制的逐步建立及新体制建立过程中对学校教育所产生的影响,经济方法在学校管理中的意义和作用已引起教育界有识之士的重视,并在学校管理中进行了有益的尝试.笔者认为;在新旧体制转轨过程中,新旧两种体制都对学校管理产生作用和影响,此种情况表明,运用经济方法是强化学校管理的有力手段,是提高学校管理水平的重要保证.一、学校管理中运用经济方法的客观依据管理科学中的经济方法主要是指按照价值规律的要求,运用经济手段,讲求经济效益的管理方法.而在学校管理中则包括校内教育经费的再分配,校内教工工资制度的改革,及对教育劳动奖惩措施的实施等.在学校管理中运用经济方法的客观依据有三:其一、教育本身即具有经济价值.教育也是一种生产力——通过教育可以提高劳动者的素质,即提高劳动者的知识水平和技术水平,进而提高劳动的生产率.从这个意义     

茅盾佚简三封

近年来在查阅现代文学期刊和报纸文艺副刊时,先后读到茅盾三封书简。这些书简,茅盾生前从未将它们编入过任何集子,浙江文艺出版社1984年10月出版的《茅盾书简》亦未编入。然而这些书简对于我们研究茅盾的生平和思想无疑是珍贵的,爰特依写作年代辑录如下,并略加说明。     

海沧区科技发展战略研究

一、海沧区科技发展的内外部环境分析 1、优势与劣势 （1）优势 海沧区经过十多年的建设和发展．已经形成了一定的优势，具体包括： ●作为国家级开发区．海沧区的工业区、港区已具规模，已奠定了比较坚实的经济基础：较强的综合经济实力、完善的基础配套设施、良好的产业基础、区域和地缘的独特优势以及市场和体制的先行优势。     

蔬菜施肥专家系统模糊推理的算法设计

采用人工神经网络原理实现了对施肥知识的提取和组织，提出了农业专家系统模糊推理的算法设计，并应用到蔬菜施肥智能咨询系统中，咨询报告由已知条件、养分计划、施肥方案、追肥安排、专家解释、决策评价等6部分组成，其性能指标和可操作性是目前农村和菜农容易接受的。图l，表2，参3。     

凤岗冬凌草二萜化合物的`HNMR研究

从贵州凤岗县产的冬凌草中分离到三个对映—贝壳杉烯型二萜化合物,均系螺断贝壳杉烯型,且C_6—C_(19)之间都含γ—内酯环。本文对这三个化合物以及它们的五个衍生物的氢谱数据,进行了归纳、总结和讨论。     

艾青的三封佚简

诗人艾青在长达半个多世纪的创作生涯中,不但为我们创作了许多脍灸人口的诗篇,而且撰写了一部探索诗美的精湛论著《诗论》。这部诗论自一九四一年九月由桂林三户图书社初版以来,直到一九八○年八月由人民文学出版社再版,在四十年里已出了七版,这部体大思精的诗论被文学史家称为“新文学诞生以来最具创见的一部诗论”。(司马长风《中国新文学史》下卷)