Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

水生生物学精品课程中开设研究设计型实验的探讨

此文从加强本科生创新精神、实践能力和创业魄力培养的角度，对水生生物学研究设计型实验开设的必要性、效果和必须解决的问题进行了探讨。     

基于PC机的多频道自动硬盘播出系统

介绍了适合中小电视台的基于PC机的多频道自动硬盘播出系统的组成、工作流程以及具体操作.     

枣泉煤矿T-2火烧区下开采模拟实验

宁东矿区的火烧区普遍存在充水.为了预防T-2火烧区积水给枣泉煤矿安全生产带来的隐患,采用相似模拟实验的方法,研究12104和12206工作面开采后覆岩的垮落特征和火烧区岩层移动情况.实验表明,12104工作面开采对火烧区无影响,12206工作面的开采对火烧区积水的影响明显,必须采取措施在掘进和回采期间探放水.     

Radon-Nikodym定理与条件期望的关系研究

研究了Radon-Nikodym定理与条件期望的相互关系,以期为人们更好地理解概率论的基本概念提供参考.     

金代女真人的骑射体育活动

以骑射为基础的射柳、马球和围猎是金代女真人最喜好的体育活动.这些体育活动除了娱乐、健身外,还有重要的军事目的.     

山西省高校教体结合培养竞技体育人才对策研究

我国高校试办高水平运动队经过二十多年的实践和探索,积累了一定的经验,一些试点院校也取得了很大的成绩,得到人们的认可,但试办院校在发展过程中也暴露出了很多不足。通过对山西省9所试办高校高水平运动队的发展现状进行调查和分析,找出其中存在的主要问题,并针对性的提出了解决措施。     

高校竞争情报系统建设的思路探索

从3个方面对高校竞争情报系统建设的思路进行了论述,指出高校竞争情报系统建设要适应新的形势,适应高等教育竞争的发展,就必须进行思路创新。     

CN-环

研究CN-环的一些性质,主要证明了如下结果:①设R为CN-环和左SF-环,则R为强正则环;②R为约化环当且仅当R是左NPP环和CN-环;③CN-环的次直积也是CN-环;④设R为CN-环,则R为弱reversible环,反之未必;⑤设R为CN-环,每个单奇异左R-模Wnil-内射,则R为约化环;⑥设R为CN-环,每个单奇异左R-模YJ-内射,则R为约化的弱正则环.     

浙江嵊泗小洋山岛植物分布特点和环境因子分析

浙江嵊泗小洋山岛发育至今,生物、非生物环境因子起着重要作用.其中,成岛年龄、高程、土壤种类、土壤养分、土壤含盐量、土壤p H值等影响着植物群落的形成、定居与演替.在多年野外调查基础上,以时空跨度,运用PC-ORD生态学多变量分析软件中的典范对应分析(CCA)二维排序方法,阐述了小洋山岛植物群落结构和植物多样性,并对该岛植物群落的演替现状和植被恢复进行了二维排序分析.结果表明:(1)小洋山岛植物群落结构复杂多样有维管植物300种;(2)人们对小洋山岛进行各种建设的同时且先锋植物群正在发生,并为研究分析该岛植被恢复及其整个生态系统提供了基础资料.