论文部分内容阅读
在舍弃了经典逻辑系统中公理L1)的基础上建立了一类模糊命题逻辑的准形式演绎系统L*G-R.并在此基础上研究了模糊逻辑系统中的代换定理,为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础.
模糊命题逻辑系统中的代换定理
【摘 要】
：
在舍弃了经典逻辑系统中公理L1)的基础上建立了一类模糊命题逻辑的准形式演绎系统L*G-R.并在此基础上研究了模糊逻辑系统中的代换定理,为进一步研究模糊命题逻辑系统的完备性
【机 构】
：
上海财经大学应用数学系,西安交通大学理学院
【出 处】
：
工程数学学报
【发表日期】
：
2003年6期
【基金项目】
：
国家自然科学基金
其他文献
摘要：目的 建立三波长切换法同时测定仙灵骨葆胶囊中淫羊藿苷等5种活性成分含量的方法。方法 采用Waters Atlantis T3 C18色谱柱（250mm×4.6mm，5 ?m）；以乙腈（A）-0.05%甲酸溶液（B）为流动相进行梯度洗脱（0～5 min，12%～20%A；5～15 min，20%～55%A；15～35 min，55%A；35～55 min，55%～76%A；55.1 min，1
设f是Rn中的单位球面Ωn(n2)上的可积函数,F: ={ψ:|ψ|单调趋于零∑∞k=1(Δλψ(k))kλ-1logk＜∞}Lψ(Ωn): ={f∈L(Ωn):φ∈L(Ωn),SF-L(φ)(x)=∑∞k=1(1)/(ψ(k))Yk
本文从机理分析的角度讨论了阿齐霉素治疗肺炎支原体的合理用药问题，利用室分析的方法给出阿齐霉素药代动力学一室模型，确定了在多次重复静脉注射用药情况下人体血药浓度累积模
讨论了常利率下的更新风险模型,证明了索赔时刻Tk的资产余额Uδ(Tk)(k0)构成一个齐次马尔科夫链,且给出其转移概率Q(x,B).利用转移概率得到了风险问题中的几个重要的量和分
提出了非平稳过程功率谱密度的概念.证明路面谱密度就是非平稳随机过程Wiener过程的功率谱密度.该结果对路面仿真以及为车辆振动提供输入激励的实时性和真实性具有很重要实际