确知模态命题逻辑

本文对“确知”逻辑进行了形式化,给出了“确知”逻辑的语义;构造了正则“确知”逻辑系统,并证明了正则“确知”逻辑系统的可靠性.     

王文金教授莅临洛阳理工学院作学术报告

2007年10月29日，原河南大学校长、全国高校评议设置委员会专家王文金教授莅临洛阳理工学院作本科教育教学理念专题学术报告．全体院领导、科级以上干部、高级职称人员等近300人出席了报告会．报告会由院长杨小林教授主持．王文金教授认为大学理念的内涵体现在6个方面：(1)以培     

《虎女蒲公英》读后感

动物,是人类的朋友。在我的印象里,老虎不聪明--狐假虎威,心怀不轨--虎视眈眈,凶猛--饿虎吞羊。但是读了《虎女蒲公英》后,我对老虎有了新的认识。森林里有一只小老虎,刚出生就遇到蟒蛇.被一个人救了,并得名“蒲公英”。主人对潘晨畅它悉心照料,给它喂奶,陪它玩“拳击游戏”,在它长大后还训练它捕食,人与虎之间渐渐有了感情。     

炉渣吸附餐饮油烟的试验研究

介绍了餐饮油烟污染现状及炉渣材料,自行设计炉渣吸附装置,先在小型模拟装置中分别对床层高为2×10-2m、3×10-2m、4×10-2m、5×10-2m、6×10-2m炉渣的做油烟吸附试验,试验结果表明:3×10-2m高床层的炉渣吸附性能较好.然后固定床层高为3×10-2m,作炉渣吸附性能试验,实验结果表明,净化效率在60%～85%,床层阻力不超过250Pa.再做炉渣油烟的扩大型模拟实验,结果表明,炉渣的净化效率在40%～55%之间波动,且阻力较大,最大超过1000Pa.但因炉渣是一种固体废弃物,价廉易得,利用炉渣开发复合型油烟净化设备是今后油烟治理技术的发展方向之一.     

(Ba_(0.87)Sr_(0.04)Ca_(0.09))(Ti_(0.94-x)Zr_xSn_(0.06))O_3基纳米粉体及其陶瓷的制备与表征

目的改进(Ba0.87Sr0.04Ca0.09)(Ti0.94-xZrxSn0.06)O3基(BSCTZS)纳米粉体及其陶瓷的制备方法,研究Zr含量对BSCTZS粉体及陶瓷相组成、微观结构及其介电性能的影响,得到细晶高介电常数Y5V陶瓷材料。方法采用溶胶-凝胶法制备了一系列BSCTZS基(0.04≤x≤0.12)纳米粉体及其陶瓷,通过TG-DTG,XRD,TEM和SEM对样品进行表征,并测试陶瓷的介电性能。结果 BSCTZS粉体为立方相钛酸钡,其平均粒径小于100nm。随着Zr含量的增大,陶瓷的居里峰移向低温,介温谱ε-T趋于平缓,容温变化率得到改善,当Zr摩尔分数为8%时,陶瓷的室温介电常数达13200以上,并满足EIAY5V标准。结论溶胶-凝胶法工艺简单、均匀性好、纯度高、配方容易控制、粉体烧结活性较好,采用该方法可以得到满足Y5V标准的BSCTZS基陶瓷材料。     

2-（2’-喹啉偶氮）-4，5-二甲基苯酚光度法测定水中的铜

研究了2-(2′-喹啉偶氮)-4,5-二甲基苯酚(QADMP)与铜(Ⅱ)的显色反应,在pH=4.0的HAc-NaAc缓冲介质中,CTMAB存在下,QADMP与铜(Ⅱ)生成分子比为2∶1的稳定红色配合物,该配合物λm ax=561 nm,摩尔吸光系数ε为4.56×104L.mol-1.cm-1,铜(Ⅱ)含量在0~10μg/25mL内符合比尔定律,新方法用于水样中微量铜的测定,结果满意.     

H 矩阵的预条件Gauss-Seidel迭代法

讨论了线性方程Ax=b的Gauss-Seidel迭代法的求解问题.2003年,A.Hadjidimos等提出了预条件矩阵I Cα.该文证明了若系数矩阵A是H矩阵,则(I Cα)A是H矩阵.并给出两个数值例子作以说明.     

1980—2015年安徽省景观格局与生境质量时空演化特征分析

为探索现代城市化背景下安徽省土地利用类型变化对景观格局与生境质量的影响,基于安徽省1980—2015年时间序列土地利用类型数据,利用ArcGIS、Fragstats、InVEST模型等软件,分别从整体景观级别、类型景观级别、生境质量等级、生境退化度等方面对安徽省景观格局与生境质量进行分析与评估。结果表明：（1）安徽省土地利用整体空间格局无明显变化,土地利用转移变化以耕地向建设用地转移为主,79.6%的耕地流失面积转化为建设用地;（2）安徽省各景观指标波动范围10%左右,各斑块类型在景观中呈均衡化趋势分布,人类活动干扰程度的增大导致景观分散度、破碎化程度增强,优势地类间连通性下降;（3）安徽省整体生境质量指数年平均值在0.36～0.46之间,各城市生境退化度年平均值在0～0.06之间,北方地区生境质量低于南方、生境退化度高于南方,生境质量“优”“中”等级面积约占31%,“中”等级以下情况逐年改善,2010年以后所占面积维持在45%。研究结论对安徽省制定合理的土地利用政策、保护生态多样性、识别重要生境斑块、优化生态系统服务功能等具有一定的参考价值。     

一类三对角矩阵逆元素的估计式

研究了严格对角占优三对角矩阵逆元素的估计问题.利用严格对角占优和三对角矩阵的某些特性,推导出严格对角占优三对角矩阵逆元素的统一估计式.在这个估计式中,严格对角占优三对角矩阵不必是非负矩阵,因而,这个结论的应用范围更加广泛.     

天然气水合物试采井筒−土壤三维非线性耦合模型研究

常规二维模型用于研究水合物井筒稳定性时,不能反映地层沉降变形对井筒的影响,为此,考虑渗流场、应力场和井筒内外压力场的多场耦合作用,研究水合物分解引起的储层特征参数在近井界面区域的时变特征;采用流固耦合理论,建立天然气水合物井筒?土壤三维非线性耦合模型,并以南海某水合物井为例,对井筒稳定性影响因素进行分析.研究结果表明:...