命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．     

滑动平均法改进型灰色预测模型在德山开发区电力负荷预测中的应用

利用灰色控制理论对德山开发区电力需求量进行预测.用生成方法对原始数据进行处理,消除了影响电力需求量的众多非重要因素,并从原始数据中挖掘有用的信息,建立微分拟合方程,基于残差修正提出滑动平均法改进型灰色预测模型,增加当年数据的权重,避免数值的过度波动.德山开发区电力负荷预测结果表明该模型能有效提高预测精度.     

人类新基因ZNF322的研究进展

根据计算机克隆的ZNF322基因序列设计引物,从人类胚胎心脏文库中克隆了ZNF322基因.该基因位于染色体6p22.1,编码由402个氨基酸残基组成、含有9个连续排列的C2H2型锌指蛋白质.Northern杂交的结果表明该基因在成人所有被检测组织中表达。亚细胞定位研究证明ZNF322蛋白分布在胞核和胞质中.报告基因分析显示ZNF322是一种潜在的转录激活因子.     

太行山猕猴种群mtDNA遗传多样性研究

2007年11月～2008年2月,利用非损伤性取样法,在太行山猕猴国家级自然保护区采集到3个地理单元、5个野生种群猕猴个体的粪便样品,并从22份样品中提取到DNA,在此基础上,分析和探讨了野生太行山猕猴种群的遗传多样性状况及种群遗传结构.结果表明:①在341 bp的mtDNA控制区序列中发现11个变异位点,其中转换和颠换的位点分别为9个和2个;②在3个地理单元中,共定义了9种单倍型;③AMOVA分析结果表明,88.02％和11.03％的遗传变异分别发生在各地理单元间和各种群间,而地理单元内的各种群间的遗传变异仅占0.95％,且济源、焦作和新乡3个地理单元间存在着显著的遗传分化(P＜0.01),无共享单倍型;④济源黄楝树种群具有最多的单倍型数(3),最高的单倍型多样性(0.833),最高的核苷酸多样性(0.002 93)和最高的平均核苷酸差异数(1.000).因此,从保护物种基因多样性的角度考虑,建议自然保护区管理部门将该种群列为优先保护单元.     

镇江市生态建设的现状、问题及对策

分析镇江市生态建设的现状及问题,在保持经济持续发展的前提下解决好社会、经济与环境之间的矛盾,从产业结构、环境质量、生态意识和推进水平等方面开展生态市创建工作。     

基于根轨迹控制的球杆系统

通过建立球杆系统机械模型、角度模型和电机模型,得到球杆系统的数学模型,设计根轨迹控制器,通过在线整定控制器参数,提高球杆系统的控制性能.仿真实验结果证明根轨迹控制效果良好,适应能力较强,具有算法简单、参数整定容易等优点.     

新郑机场雷暴气候特征分析及观测要点

本文根据新郑机场2004～2010年的观测资料,分析了新郑机场雷暴的天气特征、变化规律以及产生雷暴的环流形势,并在此基础上结合了个人观测工作经验总结出雷暴天气的观测要点.     

粉末注射成形喂料的流体动力学

本文通过合并近年来报道的高聚物和颗粒物质的流体力学理论,提出了一个描述其混合物—粉末注射成形喂料宏观力学行为的新理论.与传统的喂料非牛顿流体力学相比,该理论多出了颗粒温度和两个弹性应变张量（分别表征高聚物和颗粒物组元）等状态变量,能全面描述喂料中出现的颗粒骨架和高聚物的弹性效应.对平面定常剪切流动情形,它简化为表观剪切黏度性质与喂料一致的非牛顿流体力学方程,表明新理论包含了传统喂料理论,因此可用于研究其适用前提,和包括法向应力差系数在内的流变学参数.本工作除有助于研究复杂多相系统连续力学方程的建立方法外,还将对粉末注射成形领域关注的喂料动力学分析提供一条新途径.     

新爆轰模型及其实验验证

从理论、实验和应用三方面论证了作者提出的LADM爆轰模型（Least Action Detonation Model,LADM）.经典爆轰理论CJ模型和ZND模型（简称CJ-ZND模型）是忽略输运效应的一维层流模型.LADM模型用熵原理确定爆轰过程终点,用Hamilton原理确定从炸药到终点的真实爆轰过程,除化学反应外还考虑了输运效应和爆轰产物粒子的复杂运动.X光照片显示,爆轰波反应区后存在一个静止区域,与LADM模型的理论分析结果相符.LADM模型可以描述乳化炸药的压力分布.     

潇河流域水利史研究的回顾与展望

潇河发源于晋中市昔阳县沾尚镇陡泉岭,自东向西流经山西中部,于太原市清徐县注入汾河,全长137km,流域面积近4000km^2,是汾河的第二大支流。有不少学者对潇河水利方面已进行了卓有成效的研究,对今后水利事业的开展有一定借鉴意义。但是,很多学者的研究停留在农田水利工程与技术介绍的层面之上,而且简单重复的现象比较明显,研究理论和方法较为单一。今后潇河流域水利问题的研究应综合多学科。从历史、社会、生态多方面对潇河重新进行审视。