基于公式真度的公式集约简

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。     

逻辑方程解的性质

以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是舍有 n 个原子公式的合式公式,X是待定的公式,A的真度τ(A)=K/2n,α=m/2n,且1-τ(A)＜α≤1.我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmn+k-2nk·22n-k.(2)α≠1时,上述方程的解集合是不相容的.(3)解集合中公式的相似度最大值为1-1/2n,相似度的最小值为|2n+1-2m-k|/2n.(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的.     

β-二酮-茂基二氯化钛/MAO催化体系用于苯乙烯间规聚合

制备了 β 二酮类配体 [O ,O]的茂基二氯化钛配合物CpTi(dbm)Cl2 .实验证明 ,这类配合物在助催化剂甲基铝氧烷MAO作用下 ,可催化苯乙烯间规聚合 .显示较高的活性 (10 7× 10 5gPS molTi·h) .所得聚合物具有较高的间规度 .CpTi(dbm)Cl2 MAO体系催化活性随铝 钛比的增加呈上升而后衰减 ,当铝 钛比为 5 0 0左右时活性最高 ;聚合温度较高时会导致催化活性下降 .对聚合物进行了1 3C NMR表征     

Observation of Weak Anti-Localization and Electron-Electron Interaction on Few-Layer 1T′-MoTe_2 Thin Films

Electronic transports of few-layer 1T'-MoTe_2 films are measured at temperatures down to 0.26 K. The lowtemperature conductivity exhibits logarithmic temperature dependence and negative magneto response. The negative magnetoconductivity can be well fitted by the two-dimensional weak anti-localization theory taking a single channel of electrons into account, with the parameters α≈-0.5 and l_φ∝ T~(-0 5). The logarithmic temperature dependence has a positive slope κ≈0.75, indicating the dominance of electron-electron interaction over the weak anti-localization effect, with an apparently negative Coulomb screening factor F that demands future work for clarification.     

金属硫(磷)化物用于电化学析氢反应

电化学分解水(Water Splitting)是获得高纯度氢能的重要手段。 因此,开发具有高活性低成本的电化学析氢反应(Hydrogen Evolution Reaction,HER)催化剂成为目前能源环境的研究热点之一。 本文总结了常用于HER反应的过渡金属硫化物以及磷化物非贵金属催化剂材料的合成方法,并且概况了如何构建特殊结构的金属硫化物及磷化物材料以调高材料的HER催化反应性能的方法,为开发其它高活性的非贵金属催化剂提供依据。     

退火温度对ZnO薄膜结构和内应变的影响

采用磁过滤阴极脉冲真空弧沉积技术(pulsed filtered cathodic vacuum arc deposition,PFCVAD),以Si(100)单晶片为衬底,在衬底温度400℃、氧气压力4×10-2Pa、靶负压400 V的条件下制备了具有c轴取向的ZnO薄膜。采用原子力显微镜(AFM)和X射线衍射仪(XRD)研究了退火温度对ZnO薄膜     

聚碳酸酯类非晶聚合物力学性能及其本构关系

聚碳酸酯是一类玻璃态非晶聚合物材料，由于其出色的耐热和抗冲击能力，被广泛地应用于国防军事和工业领域。针对主要应用于聚碳酸酯材料类非晶聚合物，首先回顾了其力学性能实验研究现状，从唯象的角度分析实验结果，揭示这类材料力学性能。其次介绍了这类材料的各种本构模型的发展历程、物理机制、力学特性、适用范围等。最后，概述了各类本构模型在聚碳酸酯类聚合物材料中的应用，从工程应用的角度进一步讨论了本构模型对材料力学行为的表征，同时给出了聚碳酸酯类材料在实验和理论研究中仍然存在的关键科学问题及进一步的研究展望。     

Y掺杂的ZnO纳米纤维材料的制备及其气敏传感器作用机理

采用静电纺丝法成功制备了Y掺杂的ZnO纳米纤维.并通过X射线衍射(XRD),扫描电子显微镜(SEM),能量色散X射线(EDX),透射电子显微镜(TEM)以及热重差热分析(TG-DTA)等手段对样品的结构和形貌进行了表征分析.同时用纯的ZnO和Y掺杂的ZnO纳米纤维制备了传感器,对浓度为(1-200)×10^-6 (体积分数)丙酮的气敏特性进行了测试分析.测试结果表明,可以通过简单控制纳米纤维中Y的含量,来微调该传感器的气敏特性.同时也发现通过Y掺杂, ZnO纳米纤维对丙酮的气敏特性有所改善,表现出很高的响应.纯ZnO和Y掺杂ZnO制成的传感器对几种潜在干扰气体表现出良好的选择性,比如氨气、苯、甲醛、甲苯以及甲醇.本文最后也讨论了该传感器的气敏作用机理.     

β-甲基戊二酸的合成工艺优化

以氰乙酸乙酯为起始原料,经氨解反应、加成缩合反应和水解脱羧反应三步合成了β-甲基戊二酸,总收率为77％.对各步反应条件做了优化,开发了一条原料易得、操作简单、收率高、溶剂可循环使用、环境污染小的β-甲基戊二酸合成工艺路线,适于批量生产.采用间接法通过GC-MS分析了水解脱羧反应得到的β-甲基戊二酸和所含杂质,从而探讨了...     

Synthesis,Bioactivity and Crystal Structure Analysis of 2-(Benzo[d]isothiazol-3-yloxy)-N-(3-cyano-1-(4-fluorophenyl)-1H-pyrazol-5-yl) Acetamide

A novel benzisothiazolin-3-one derivative, 2-(benzo[d]isothiazol-3-yloxy)-N-(3-cyano-1-(4-fluorophenyl)-1H-pyrazol-5-yl) acetamide(8), was synthesized from the initial compound benzo[d]isothiazol-3(2H)-one(BIT) 1 and 4-fluoroaniline 3. The structure of the target compound 8 was determined by elemental analyses, IR and 1H NMR. The single crystals of intermediate compound 6 and the target compound 8 were obtained and determined by X-ray diffraction analysis. The preliminary biological activity was also evaluated and the results showed the target compound exhibited a good anti-microbial activity.