论文部分内容阅读
本文将从理论模型角度研究Disjunctive命题理论,引入F-抽象模型、全抽象模型以及自由模型等概念,讨论他们的性质和关系.
Disjunctive命题理论的抽象模型
【摘 要】
：
本文将从理论模型角度研究Disjunctive命题理论,引入F-抽象模型、全抽象模型以及自由模型等概念,讨论他们的性质和关系.
【机 构】
：
上海师范大学数理信息学院,上海,200234
【出 处】
：
中国系统工程学会模糊数学与模糊系统专业委员会第十三届年会
【发表日期】
：
2006年10期
其他文献
目的 对脂肪来源干细胞(adipose-derived stem cells,ADSCs)促进颗粒脂肪游离移植后再血管化的机制进行综述. 方法 查阅近年有关ADSCs在游离脂肪移植和血管形成中的基础研究
目的 探讨采用多种化学试剂和蛋白酶对猪颈动脉进行脱细胞并制备多孔细胞外基质(extracellular matrix,ECM)的可行性.方法 取热缺血时间≤30 min的猪颈动脉,经1%SDS脱细胞处
目的 总结人工股骨头置换治疗老年不稳定型股骨转子间骨折的临床疗效. 方法 2006年9月-2008年2月,对22例老年不稳定型股骨转子间骨折行人工股骨头置换.男7例,女15例;年龄79～95
目的 研究大鼠BMSCs与小肠黏膜下层(small intestinal submucosa,SIS)复合后,施加动态应变刺激能否使BMSCs在体外分化为肌腱细胞(tcnocytes,TCs).方法 取1周龄SD大鼠骨髓,采
对在本文主要给出了Fuzzy广义时序机及其映射的定义,并对其保正则语言性进行了初步地探讨,为有效研究程序语言.
目的 总结功能性组织工程肌腱(functional tissue engineered tendons,FTETs)的研究和应用.方法 查阅近年来国内外有关FTETs研究的相关文献,并进行综合分析.结果 功能性组织
目的 综述人工全膝关节置换术(total knee arthroplasty,TKA)中股骨假体旋转评估研究进展,以减少假体旋转不良导致的术后并发症. 方法 查阅近年TKA术中股骨假体旋转定位参考
本文在L-闭包空间中引入了准Lindel(o)f可数性的概念,讨论了其基本性质.证明了它对L-闭包空间中的闭子集是遗传的,具有弱同胚不变性等.从而,保持了LF拓扑空间中准Lindel(o)f
依次应用米非司酮(mifepristone)和米索前列醇(misoprostol)的预期多中心流产试验研究的开展旨在为支持降低流产所需的米非司酮推荐剂量至200mg并允许回家服用400μg米索前