形式演绎系统L~*的扩张

来源 :四川大学学报:自然科学版 | 被引量 : 0次 | 上传用户:wuwei72323
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从语义和语法两个方面将形式演绎系统f层次化,得到f的一个扩张,从而增强了系统f的表达能力,使之能更有效地应用于模糊系统的研究,。
其他文献
基于我国社会经济的迅猛发展,电力行业的快速发展已经引起人们的重视。在供电企业中,做好电力基建项目前期及工程期间的管理工作,能够有效提高电力资源的利用率,保证供电质量
随着我国社会经济的发展,科技水平也朝向更高级的方向发展,推动了现代化的发展脚步,也相应带动了我国电力行业的快速发展。在实际的电力运行当中,需要将先进的信息技术投入到
以辣椒的下胚轴为外植体,在MS+6-BA 2.0mg/L+IAA 1.0mg/L培养基中诱导出愈伤组织.用加入秋水仙碱的培养基和液体浸泡两种方法处理愈伤组织,进行离体细胞多倍体诱导.结果表明:
随着网络技术的发展、普及、应用,人们逐步过渡到以网络为主流媒体的"新媒体时代",这对传统电视新闻媒体造成了猛烈冲击,新媒体与传统电视新闻相比优势广泛,并从物质层面、传播
进入21世纪之后,我国的经济进入了快速发展时期,经济形式和经济结构发生了巨大的转变,尤其电力企业的管理方面表现的非常明显。电力企业管理日益更新,其中绩效管理就是一种新
作者通过在圆背角无齿蚌斧足注射放射性核素 12 5I标记的酪氨酸后 ,在 30min及 1,2 ,4 ,6 ,9,12 ,2 4 ,4 8,72h和 6 ,8,10 ,15 ,2 0d等不同时间点 ,研究了酪氨酸在圆背角无
随着当前电力体制改革不断深入发展,对应的管理方法也必须具备科学性和有效性的特征,但传统输电线路在管理模式上有诸多不足,面对庞大的工作量,检修工作不够到位,这势必提高了运行
利用积分变换、非负矩阵谱的性质及微分不等式的技巧,给出了一类Volterra积分微分系统有界性与吸引集存在的充分条件.
根据自适应滤波器(LMS)算法的原理,本文提出了自适应滤波器(LMS)算法在TMS320VC5410上的实现方法,给出了系统的工作原理、电路、算法程序以及实验结果.
作者研究了环糊精对羧酸酯(PNPA和PNPP)水解的影响,将胶束的相分离模型用来对其作动力学处理,求得了相关的热力学和动力学参数.结果表明,在有环糊精存在时,PNPA和PNPP的水解