研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统(∮)*,在(∮)*系统中定义了后承关系|～:A|～B当且仅当A2├ B,证明了在(∮)*系统中的这种后承关
设(X,ρ,μ)d,θ是齐型空间,∈∈(0,θ],|s|<∈且引进了一类新的Triebel-Lizorkin空间F∞qs(X),并通过先建立与空间F∞qs(X)的范数相关的Plancherel-Polya型不等式的方法建立了这些空间的标架特征;给出了当|s|<∈,max{d/(d+∈),d/(d+s+∈)}
为了生产含低硫、色度好的柴油产品,采用计算机分子模拟技术研究了柴油馏分深度加氢脱硫(HDS)过程中多环芳烃有色体的形成机理。研究结果显示,柴油馏分中难脱除硫化物4-MDBT
对一类具有不可观测状态、未建模动态特性和随机干扰的单输入多输出随机非线性系统,给出了最小阶状态观测器和输出反馈镇定控制器的设计方法.基于所设计的最小阶状态观测器,给出了系统全部状态的估计,分析了状态估计误差的收敛性.进一步,结合Back-stepping法,构造性地设计出了输出反馈镇定控制,给出了闭环系统全局渐近稳定和概率意义下有界稳定的充分条件.
以基础教育发展为研究对象,在应用新增人口的离散预测模型基础上,分别建立了小学和初中招生数、分年级在校生规模、在校生总量、专任教师需求和补充规模的预测模型,并结合近
目的研究多杂环化合物的合成方法和抗菌活性.方法用[(5-吡啶-3-基-1,3,4-二唑-2-基)硫代]乙酸与相应的芳酰肼缩合,得到相应的目标化合物.用试管稀释法,研究目标化合物的体
本文给出了齐次群上的一类广义Picone型恒等式,由此证明了以下半线性方程组pα[u]=L·(a(x)Ф(Lu))+c(x)φ(u),pα[v]=L·(A(x)Ф(Lv))+C(x)φ(v)(其中φ(s)=|s|α-1s,s∈R,
图式理论被广泛应用于听力教学研究。本文在该领域已有研究的基础上,通过一次教学实验探讨了图式理论应用于听力教学中的局限性,对该理论在听力教学中的作用做出了客观的评价
目的 研究肠易激综合征 (IBS)病人外周血T淋巴细胞亚群比例和免疫球蛋白 (Ig)水平的变化 ,探讨IBS与机体免疫之间的关系。方法 应用流式细胞术测定IBS患者T 淋巴细胞亚群的
了解大连市乡、村干部需求,有针对性开展乡、村干部培训,必须优化教学内容,坚持分类分层次培训,突出方法创新,注重实际效果.