制约逻辑C_m系统与相干逻辑R系统的等价性

C_m系统是制约逻辑的命题演算系统,是由浦其堇、邹君璧和林邦瑾三人在业师沈有鼎先生的具体指导下给出的,于一九七九年见世。R系统是相干逻辑(relevance logic)的命题演算系统,是美国逻辑学家安特逊和贝尔纳普于1959年建立的。本文的目的是证明这两个系统等价。 相干逻辑是关于相干蕴涵的逻辑。所谓相干蕴涵就是顾及命题在内容上的联系的一种联结词,它反映了可用命题变项之共同出现表示的内容上的联系;也就是说,A相干蕴涵B的必要条件是:     

多元统计方法用于太湖梅梁湾水质特征识别

旨在识别太湖梅梁湾水质特征,为水质保护、规划、管理、利用提供决策参考.研究利用太湖梅梁湾区域9个监测点数据,以主成分分析探讨主要污染来源;以聚类分析划分监测点类别并识别其空间相似性;以比对各类别监测点数据,讨论了污染物类别及浓度变化情况.结果显示梅梁湾水质主要受农业非点源、浮游植物生长、外源输入的有机悬浮物、含氮有机污染物及土壤土质5方面影响;梅梁湾区域9个监测点位划归为4类,即：河流入湖口、入湖口近岸、远离入湖口近岸及湖心点类;梅梁湾水质主要超标污染物为N、P,且各指标浓度变异不大.由此可见,太湖梅梁湾水质具有明确的空间分布与特征.     

利用柴油车车载排放测试对IVE模型的修正及模型应用

IVE模型是国内外应用较为广泛的机动车排放模型之一,为了使该模型在计算机动车排放时更为符合当地实际情况,本文首先将13辆我国道路上典型柴油车的车载排放测试数据与IVE模型基本排放因子进行了对比研究,获得了模型基本排放因子的修正系数,然后将修正后的IVE模型应用于宁波市机动车污染物排放因子的计算,获得宁波市各类型车辆的排放因子.结果表明,模型基本排放因子与排放测试结果相接近的污染物顺序依次为CO、NOX、HC;宁波市机动车CO的启动排放因子远远高于其他污染物,相当于HC和NOX启动排放因子的20倍左右;宁波市机动车运行排放因子中,公交车污染物排放因子最大,其次是重型货车和乘用车,最后是轻型货车.     

灰色聚类模型的改进及应用研究

对系统进行质量等级综合评价,应充分考虑各影响因子之间的相互作用关系.基于指数型白化函数的灰色聚类改进模型避免了经典聚类模型存在零权重现象的缺陷,使得指标样本值与各级非零权重之间建立了一一对应关系,并将该模型用于计算各单项因子的最大控制值或最小削减量.实例分析了2004年杭州市环境空气质量综合等级为Ⅲ级,并计算了综合等级要达到Ⅱ级标准时,单项指标SO2、NO2和PM10的浓度最小削减率分别为22.69%、27.9%和21.58%.     

火电厂PM2.5环境影响评价方法探讨

现行的大气导则中尚缺乏针对PM2.5的评价模型、方法及监测要求.通过长三角重点控制区某扩建火电厂排放的一次PM2.5和产生的光化学二次PM2.5对周围环境的影响预测,提出了火电厂一次PM2.5排放量估算的方法,并提出了火电厂PM2.5（包括一次和二次）对周围环境影响的预测方法.评价结果表明,具有光化学反应的CALPUFF模型能有效预测一次和二次PM2.5的生成,在环境影响评价现状监测因子中,因氮氧化物的削减对降低空气中PM2.5的浓度有显著效果,建议增加NH3和O3指标;在环境影响评价中CALPUFF模型可以作为PM2.5环境影响评价的预测模型.