论文部分内容阅读
对一阶逻辑?ukasiewicz系统中的几类特殊公式的公理化真度展开研究.根据真度定义及真度的性质,给出了将复杂公式的真度转换成几个简单公式的真度进行计算的方法,从而将真度计算的方法进行了推广.
一阶逻辑中几类特殊公式的真度计算方法
【摘 要】
：
对一阶逻辑?ukasiewicz系统中的几类特殊公式的公理化真度展开研究.根据真度定义及真度的性质,给出了将复杂公式的真度转换成几个简单公式的真度进行计算的方法,从而将真度计算的方法进行了推广.
【机 构】
：
延安大学数学与计算机科学学院,陕西延安 716000
【出 处】
：
延安大学学报（自然科学版）
【发表日期】
：
2022年1期
其他文献
通过岩心、薄片资料、物性及压汞曲线特征等数据对苏里格气田Z井区储层特征及影响因素进行了分析研究.结果表明,研究区岩石类型主要为碎屑砂岩和岩屑石英砂岩,填隙物以杂基和硅质胶结为主;储集空间主要为粒间孔和粒间溶孔,储层非均质性严重;储层物性主要受到成岩作用、沉积作用和岩石碎屑组分的影响,成岩作用影响储层孔隙结构,沉积相中优势相改善储层物性,从而进一步影响储层油气聚集.
针对陕北地区温室大棚存在施肥过量等问题,拟提出适合陕北地区的较优施肥制度.试验由施肥方式和施肥量2个因素组成,施肥方式为滴灌施肥(D)和常规施肥(C),施肥量为F1(N 240-P2O5120-K2O 150 kg·hm-2);F2(N 180-P2O590-K2O 112.5 kg·hm-2);F3(N120-P2O560-K2O75 kg·hm-2),共6个处理.结果表明,番茄干物质量、叶绿素、产量均随着施肥量的增加而增加,F1与F2处理的番茄产量显著高于F3处理;肥料偏生产力(PFP)随着施肥量的增
Genome-wide meta-analysis identifies ten new psoriasis susceptibility loci in the Chinese population
Psoriasis is caused by many factors and is characterized by excessive proliferation of the epidermis and erythema with silver scales on the surface of the skin and concomitant with a variety of diseases(Griffiths et al.,2021).Despite the unclear aetiology
期刊
Melastomataceae has abundant morphological diversity with high economic and ornamental merit in Myrtales.The phylogenetic position of Myrtales is still contested.Here,we report the chromosome-level genome assembly of Melastoma dodecandrum in Melastomatace
通过求解二维含时薛定谔方程的数值方法,研究了不同电离能的原子高次谐波产生.采用能够分辨出只有短电子轨道对高次谐波贡献的数值方案,随着激光波长的增大和激光强度的降低,结果表明:计算得到的短轨道高次谐波频谱在阈值附近出现了一个能量区,在这个能量区域,高次谐波的产生受到了明显的抑制;能量区域的宽度取决于靶的电离能.进一步分析表明:此能量抑制区归因于隧穿出口对短轨道高次谐波产生过程的影响,从而为研究隧穿的空间特性提供了一个可能的观测对象(独特的高次谐波产生特征),同时验证了此方法也适用于其他原子的隧穿出口,对近阈
研究了不定方程x3-8=13y2的整数解问题.利用奇偶分析、同余性质、Pell方程解的性质以及递归序列等初等方法,得到了不定方程x3-8=13y2的所有整数解.从而丰富了形如x3-8=Dy2(其中D为素数,且D≡1(mod 6))的不定方程整数解的研究内容.
构筑挥发性酸碱气体检测荧光传感薄膜.利用慢光子效应增强荧光的特性,在具有三维大孔结构的SiO2反蛋白石光子晶体孔隙填充功能有机小分子(HPQ-AC),实现了对NH3和HCl气体的高效连续检测.将所制的传感薄膜置于NH3氛围中,30 s内在496 nm处发射强的荧光.通过选择光子禁带蓝带边与荧光发射波长重叠的光子晶体,实现对NH3的荧光传感;当继续暴露于HCl气体氛围中,光子晶体传感薄膜的荧光发生猝灭,实现了对HCl气体的高效检测.所构筑的反蛋白石光子晶体薄膜实现了对酸碱气体的连续检测,也为开发其他气体荧光
采用水热法合成了二维Bi3O4Br纳米片,并将其用于活化过硫酸单盐(PMS)类芬顿催化降解有机污染物.结果表明,所得Bi3O4Br对盐酸四环素(TC)和罗丹明B(RhB)具有优越的降解活性,这主要归因于二维Bi3O4Br纳米片可高效活化PMS,并使Bi3O4Br的光生载流子(e?/h+)有效分离.原位ESR测试结果表明,·OH、SO4·-和·O-2共同参与TC和RhB的氧化降解.在此基础上,提出了可见光驱动Bi3O4Br活化PMS降解TC和RhB的反应机制.研究表明,Bi3O4Br可以作为一种环境友好的催
选取子午岭保护区药用植物刺五加,分析其不同部位紫丁香苷、多糖和黄酮的含量.结果发现子午岭保护区刺五加不同部位紫丁香苷、多糖和黄酮含量均存在显著差异.紫丁香苷含量为0.0001％～0.0018％,其中茎干中含量最高,为0.0018％;多糖含量为3.43％～7.53％,其中茎干中含量最高,为7.53％;黄酮含量为0.45％～5.12％,其中嫩叶中含量最高,为5.12％.与其他地区相比,子午岭保护区刺五加多糖含量处于较高水平,黄酮含量处于中等水平,紫丁香苷含量处于较低水平.该地区刺五加茎、枝和叶均具有药用价值,
通过开展基础地质研究、精细划分注采小层、完善注采井网等措施,提高注入水波及体积,整体提升地层压力,提高水驱控制程度和水驱动用程度.同时,在地层能量恢复区域对低产、低效井和停躺井进行恢复改造,从而提高单井产量和最终采收率.研究结果对该区块注水优化及同类储层具有一定实际意义.