基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理

在语言真值格值一阶逻辑系统的框架下,讨论了两种推理模型中的不确定性推理理论与方法,并针对不同的推理规则得到了推理算法,其推理算法既有合理的语义解释又有严密的语法论证.     

数学无穷与中介逻辑(上)——Leibniz的割线与切线问题在中介逻辑中的逻辑数学解释方法(英文)

From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in ’unmediated opposition’ (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz’s secant and tangent lines in the medium logic system from the perspective of logical mathematics.     

Theoretical analysis of the performance of a single side band multicarrier source based on a re-circulating frequency shifter influenced by an optical bandpass filter

An optical bandpass filter （OBF） is an important element whose properties considerably influence the output performance of a single side band multicarrier source based on a re-circulating frequency shifter. The influence of the OBF in the loop on the output spectrum is theoretically analyzed. Numerical simulations and experiments are Mso carried out. Results show that the steepness and deepness of a nonflat-top filter influence the stability of the spectrum of an output multicarrier. To obtain multicarrier output with tone to noise ratio （TNR） 〉26 dB and error vector magnitude （EVM） 〈0.25, the steepness ratio of the filter should be greater than 0.75 and deepness should be larger than 0.99.     

A diagrammatic categorification of the fermion algebra

In this paper, we study the diagrammatic categorification of the fermion algebra. We construct a graphical category corresponding to the one-dimensional （1D） fermion algebra, and we investigate the properties of this category. The categorical analogues of the Fock states are some kind of 1-morphisms in our category, and the dimension of the vector space of 2-morphisms is exactly the inner product of the corresponding Fock states. All the results in our categorical framework coincide exnetlv with those in normal quantum mechanics.     

空间高层大气遥感远紫外成像光谱仪的光学系统

空间高层大气遥感远紫外成像光谱仪主要用于观测高层大气中的远紫外辐射和实现对其内部中尺度现象成像的功能。目前我国该类的相关仪器研究基础还比较薄弱,针对这种情况,在光学系统设计的角度上给出了一种适用于130～180nm波段探测的光学系统方案。该成像光谱仪光学系统以离轴抛物镜为物镜,串联Wadsworth结构为成像光谱系统;这种串联Wadsworth成像光谱系统采用离轴抛物镜做准直镜,分光器件为平面光栅和球面光栅串联,实现二次色散,同时球面光栅起到聚焦成像作用;在像差理论的基础上,对该结构的光程函数和各像差进行了分析,获得了改进结构的宽波段完善成像条件。针对低轨空间探测应用要求设计了相关改进型Wadsworth结构成像光谱仪光学系统,设计结果证明系统像差得到了充分校正,在奈奎斯特频率(20lp/mm)下全视场全波段调制传递函数值在0.6以上。该优化结构同时具备高空间分辨率和高光谱分辨率,性能优越。     

统计的基本思想

对于统计与概率的学习重要的是建立学生的统计意识,懂得统计与现实生活密切的联系,了解用样本估计总体的统计的基本思想,明了统计的实质是“为了从数据中提取信息,其特征之一是通过部分数据来推测全体数据的性质”．     

垃圾衍生燃料热解半焦气化过程中HCl与H2S析出规律

通过水平管式气化炉和化学吸收法,对比研究了矿化垃圾热解半焦（ARC）和常规垃圾热解半焦（NRC）在水蒸气和CO₂气化过程中腐蚀性气体（HCl和H₂S）的析出特性,考察了气化温度、气化介质类型和流量对腐蚀性气体析出特性的影响。当气化温度升至950℃,ARC在水蒸气气化过程中的碳气化率、HCl和H₂S产率分别为66.1%、100%和74.9%,而其在CO₂气化过程中的碳气化率、HCl和H₂S产率分别为77.8%、100%和2.9%;NRC在水蒸气气化过程中的碳气化率、HCl和H₂S产率分别为98.8%、100%和53.7%,而其在CO₂气化过程中的碳气化率、HCl和H₂S产率分别为100%、96.2%和10.3%。以NRC为原料,考察了水蒸气和CO₂流量对其HCl和CO₂析出特性的影响。NRC的HCl和H₂S产率均随水蒸气流量增加而增加,但当水碳比大于等于3.3时,其促进作用不再明显。NRC的HCl产率随CO₂流量的增加而增加,而H₂S产率随CO₂流量的增加而减小。     

射频放电等离子体中CO_2及CO_2-H_2混合气转化反应的原位研究（英文）

为探索CO_2气体在低温等离子体中的分解规律,开展了近室温条件下,射频等离子体中CO_2及CO_2-H_2混合气体的电离分解行为研究。反应产物通过差分四极质谱进行在线分析,并通过发射光谱对等离子体状态进行诊断。研究结果表明,在射频电场作用下二氧化碳气体迅速电离并部分分解为一氧化碳和氧气,随着射频功率升高CO_2分解率提高,而能量效率降低。氢气的加入可以显著降低CO_2分解达到平衡所需的时间,随着H_2含量的增加,二氧化碳的分解率先降低后升高,H_2的电离状态与对CO_2分解氧的消耗是导致CO_2分解率V字形变化的主要原因。     

化学职前教师PCK的结构与水平研究

本研究基于定量的研究方式测查189名化学职前教师PCK的结构与水平,结果表明（1）化学职前教师的PCK结构主要包括KoC、KoL、KoS、KoA等4个组分,且该结构具有良好的信度与效度;（2）化学职前教师PCK的4个组分之间存在显著相关,且显性的PCK教学方式比隐性的更有利于职前教师对PCK组分间的整合;（3）化学职前教师的PCK水平除KoS组分水平较为理想,其他知识组分水平均处于中等或中下水平;（4）在不同的PCK教学方式（显性或隐性）下,化学职前教师的PCK水平存在显著性差异。