【摘 要】
:
基于Pavelka关于模糊命题逻辑的思想,结合L型Fuzzy集合与经典二值命题逻辑理论,初步建立了一种基于有限格蕴涵代数的格值命题逻辑程度化的语义理论.定义了L型重言式和L型矛盾式的概念,给出了几类L型重言式之间的关系定理.从不确定性推理的角度,定义了逻辑公式集在一定水平上的可满足性概念.在此基础之上,定义了基于一个逻辑公式集合的语义结论算子,研究了语义结论算子的性质以及信息的相容性问题.
论文部分内容阅读
基于Pavelka关于模糊命题逻辑的思想,结合L型Fuzzy集合与经典二值命题逻辑理论,初步建立了一种基于有限格蕴涵代数的格值命题逻辑程度化的语义理论.定义了L型重言式和L型矛盾式的概念,给出了几类L型重言式之间的关系定理.从不确定性推理的角度,定义了逻辑公式集在一定水平上的可满足性概念.在此基础之上,定义了基于一个逻辑公式集合的语义结论算子,研究了语义结论算子的性质以及信息的相容性问题.
其他文献
为了深入理解沿海城市大气环境中NO2和海盐颗粒物的非均相反应规律,本研究使用漫反射红外傅立叶变换光谱(DRIFTS)比较研究了0%和20%相对湿度(relative humidty,RH)下NO2在湿海盐颗粒物表面的非均相反应.动力学测量表明硝酸盐的生成对NO2是二级反应,并且0%和20%相对湿度条件下,NO2分子浓度为1.96×1015molcules·cm-3时,反应增长阶段反应摄取系数分别为
使用漫反射红外傅立叶变换光谱(diffuse reflectance infrared Fourier transform spectroscopy,DRIFTS)和离子色谱(ion chromatography,IC),研究了甲磺酸气体与CaCO3和高岭土颗粒物的非均相反应.研究表明,这两个反应都在颗粒物上生成了甲磺酸根离子(methanesulfonate MS-),这同甲磺酸气体与NaCl和
为了探索、了解登陆台风强风过程的湍流特性和空间相关特性,利用设置在澳门友谊大桥主跨桥中相距30m的两台三维超声测风仪实测的"鹦鹉"台风过程数据,在数据可靠性、代表性判别基础上,采用谱分析、数值模拟和统计等方法,重点分析了"鹦鹉"台风过程的强风时段的平均风速和风向特征、湍流强度、湍流积分尺度、湍流功率能谱、空间相关系数和相干函数等.实测数据分析发现:(1)同步观测的两台测风仪获取的台风过程平均和湍流
超短激光脉冲与大气相互作用产生具有分子特征谱的荧光光谱,如能对该荧光光谱进行识别,则可获知气体的成分和浓度,目前该方法在环境监测中应用的主要困难是缺乏光谱分析的有效手段.针对这个问题,本文提出了一种新颖的基于光谱峰谷沿匹配的定量分析方法.首先采用小波分解对光谱数据进行压缩去噪,对重构后的光谱进行光谱峰/谷沿相似度的分析.在此基础上,选取由主要特征峰构成的六个特征峰团,并对峰团的强度进行主成分分析.
带障碍物圆管内爆燃的沿程峰值超压和火焰传播速度值是关系到安全生产的重要数据.本文在一氧化碳爆燃实验的基础上,提出了多级分区模型来计算沿程峰值超压,模型将带障碍物管看成由障碍物隔开的首尾相接的一系列的泄爆腔体.基于数据分析,得到了利用一氧化碳氧化反应当量比、膨胀比、开口面积比等已知参数来计算沿程峰值超压的经验公式,研究发现沿程峰值超压与爆燃过程中的气流湍流因子具有近似线性关系,提出了火焰传播速度的经
利用2008年10月敦煌辐射校正场同步实验数据,实现了超光谱成像仪在轨辐射定标,并以内蒙贡戈尔草原和澳大利亚Lake Frome实验场两次野外实验数据为依据,对超光谱成像仪的定标系数进行真实性检验.最后,提出了"定标误差置信区间"的概念,定量化计算出定标系数误差的置信区间.结果表明,2008年敦煌定标结果具有较高的可信度,所有通道的定标误差置信区间为2%~12%,较好地满足超光谱成像仪定量化应用的
近月段距离地球遥远,若飞船发生故障,将严重威胁航天员的生命安全.针对近月段制动引起的飞船主发动机失效从而导致的任务中止问题,首先分析由于主发动机失效可能引起的轨道类型以及与之对应的中止方式;然后在双二体假设下,提出普适的非共面近月段中止轨道计算方法.在此基础上,对中止轨道的特性进行分析,并给出中止轨道在能量消耗,飞行时间等方面的特性.最后,给出主发动机多种失效情况下的仿真算例.仿真结果验证了本文提
本文测试了掺杂石墨浆作背接触层的CdTe薄膜太阳电池的导纳谱,计算得到电池中存在的影响电池性能的缺陷能级及其俘获截面.掺杂石墨浆作背接触层的CdTe薄膜太阳电池中存在三个缺陷能级,其位置Et-Ev分别约为0.34,0.46和0.51eV,对应的俘获截面分别为2.23×10-16,2.41×10-14,4.38×10-13cm2.
光伏电池长时间处于太阳光照射下,自身温度随之升高,会造成电池材料的光学参数和热膨胀系数的变化,从而影响光伏电池微结构表面的吸收特性.本文从电磁场理论出发,借助时域有限差分方法(FDTD),通过对半球、圆柱、小球这三种典型光伏电池表面微结构的研究,分析温度对光伏电池表面吸收特性的影响,同时研究材料属性、结构周期对光伏电池表面吸收特性的影响.