论文部分内容阅读
作者讨论了量化plausibility测度在默认推理逻辑系统（P系统）中的推理能力，给出了一般量化plausibility测度与possibility测度具有相同推理能力的条件．
量化plausibility测度在默认推理系统中的推理能力
【摘 要】
：
作者讨论了量化plausibility测度在默认推理逻辑系统（P系统）中的推理能力，给出了一般量化plausibility测度与possibility测度具有相同推理能力的条件．
【机 构】
：
四川大学数学学院／长江数学中心
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2011年4期
【基金项目】
：
国家白然科学基金（10871137）,教育部新世纪优秀人才支持计划（070576）
其他文献
有关极值指数的估计方法不少，其中最著名的估计方法之一是Pickands型估计量．由于估计量都是基于次序统计量来构建的，所以估计量所包含的上次序统计量的个数的选取就是一个值得探
作者讨论了非自治吊桥面方程的长时间动力学行为．通过应用一些新的结果和能量估计技巧，获得了能量的一致衰退估计．当外力项厂满足条件（C’）（而非平移肾）时，作者证明了一致吸引子在H0^
本文利用G’／G方法来求解长短波相互作用方程，得到了该方程的大量精确解、包括孤波解、三角函数周期解和有理解．这些解对于理解长短波相互作用方程的控制系数导致的混沌行为有重
幕墙清洁机器人的运动系统是制约其发展的瓶颈之一，本文提出一种新颖的基于“双线定位”机制的运动系统，对其力学结构的稳定性、悬挂绳拉力负载进行了分析，提出了两种跟踪清洁路
本文应用RT—PCR和RACE方法扩增出三角褐指藻二酰基甘油转移酶（Ptdgat）全长cDNA，其完整编码框（ORF）为1587bp，编码528个氨基酸．基于克隆所得Ptdgat的ORF构建了反向互补RNA干扰载体，并
根据已有的水稻基因组注释，对水稻中已知的437个pre—miRNAs的基因组背景加以分析，有98个（--22％）与蛋白编码基因相重叠，其中69个（～16％）位于蛋白编码基因的内含子区域，即intronicmicroRNA
本研究以长白猪为材料，克隆了STAT4和STAT6基因的cDNA全长，其中STAT4基因cDNA全长2269bp，编码748个氨基酸的前体蛋白，与人、牛、大鼠、小鼠等哺乳动物STAT4氨基酸序列一致性分别
隐蔽通信是继加密技术之后一门新兴的信息传输安全技术.随着互联网的飞速发展，基于网络协议和流媒体的隐蔽通信技术蓬勃发展.论文提出了一种采用HOOK技术、基于目前流行的互联
环簇和轨形在数学和物理中具有广泛的联系．单纯环簇实际上就是一类具有良好结构的轨形．作者通过推广扇集和环簇之间的对应，定义了加权扇集和加权环簇，并给出了它们之间的对应．然后
本文以长白猪（Landrace）大脑cDNA为模板，克隆得到长白猪细胞因子抑制因子SOCS-3基因，并首次克隆得到长白猪SOCS-1和SOCS-4基因．此外，还利用长白猪基因组DNA为模板克隆得到SOCS-3假