检索结果-南通市图书馆

Lukasiewicz逻辑值上下文无关语言的代数刻画

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2011年第3期47卷 47-50,119页

作者：韩召伟韩召莹陕西师范大学数学与信息科学学院西安710062 陕西师范大学计算机科学学院西安710062 西安石油大学理学院西安710065

提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l... 详细信息

提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。

关键词： Lukasiewicz逻辑 l值下推自动机 l值模糊上下文无关语言代数刻画

在线全文

学校读者我要写书评

暂无评论

模糊Büchi自动机的等价刻画

计算机学报 2013年第6期36卷 1235-1245页

作者：韩召伟李永明陕西师范大学数学与信息科学学院西安710062 陕西师范大学计算机科学学院西安710062

模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊... 详细信息

模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶Lukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用'层次化'处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法.

关键词：模糊逻辑模糊Büchi自动机模糊ω-正则语言单体二阶Lukasiewicz逻辑刻画

水稻齿叶矮缩病毒Pns10的定位及其自身互作研究

在线全文

学校读者我要写书评

暂无评论

水稻齿叶矮缩病毒Pns10的定位及其自身互作研究

作者：韩召福建农林大学

学位级别：硕士

水稻齿叶矮缩病毒(Rice ragged stunt virus,RRSV)是呼肠孤病毒科(Reoviridae)水稻病毒属(Oryzavirus)的典型成员。RRSV基因组由10条dsRNA组成(S1-S10),编码11种蛋白质(S4编码2种蛋白),其中包括8种结构蛋白和3个非结构蛋白(Pns6、Pns7和Pns10)。该病毒引起的水稻齿叶矮缩病在东南亚、东亚和南亚的一些国家局部地区发生,给当地的水稻生产带来很大的损失。本文通过直接荧光观察和免疫荧光技术研究了RRSV Pns10及其缺失N端10个氨基酸的突变体Pns10△N和缺失C端10个氨基酸的突变体Pns10△C在昆虫细胞中的定位情况。结果发现,完整的Pns10及其N端和C端缺失突变体在Sf9细胞中都能形成类似于viroplasm基质的内含体。缺失N端10个氨基酸的突变体形成的内含体要比完整Pns10形成的内含体要大,在细胞中的分布比完整Pns10形成的内含体分布更为弥散。缺失C端10个氨基酸的缺失突变体形成的内含体在大小和数量上都与完整的完整Pns10形成的内含体没有明显差异。通过酵母双杂交技术和免疫共沉淀技术对Pns10、Pns10△N和Pns10△C的自身互作进行了研究。结果表明Pns10能自身互作,Pns10△N和Pns10△C则不能自身互作,这说明Pns10具有自身互作的功能,并且该蛋白的N端10个氨基酸和C端10个氨基酸是Pns10的自身互作必需的。通过实验得知RRSV Pns10定位在细胞质,具有自我互作的能力。已有报道表明Pns10还具有ATPase活性。因此Pns10很可能是组成病毒原质的成份,并在病毒的装配中起作用。

关键词： RRSV Pns10 免疫荧光酵母双杂交技术免疫共沉淀

棉铃虫3种蜕皮相关基因的RNA干扰效应比较

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

南京农业大学学报 2014年第1期37卷 81-86页

作者：杨静韩召军南京农业大学植物保护学院/农作物生物灾害综合治理教育部重点实验室江苏南京210095

利用表达dsRNA的细菌液连续喂食棉铃虫,比较热激同源蛋白70基因(Hsc70)、几丁质酶基因(Chi)和蜕皮激素受体基因(EcR)的沉默效应。结果表明:dsHsc70处理后试虫热激同源蛋白70基因的表达量为对照的115%,无显著差异,试虫的生长发育也没有... 详细信息

利用表达dsRNA的细菌液连续喂食棉铃虫,比较热激同源蛋白70基因(Hsc70)、几丁质酶基因(Chi)和蜕皮激素受体基因(EcR)的沉默效应。结果表明:dsHsc70处理后试虫热激同源蛋白70基因的表达量为对照的115%,无显著差异,试虫的生长发育也没有显著变化。但dsChi和dsEcR处理后,棉铃虫几丁质酶和蜕皮激素受体基因的表达量分别下降到对照的37.2%和80.3%,且化蛹成功率也显著降低,分别为对照的53.2%和79.1%。此外,dsChi处理棉铃虫的体质量增长缓慢,幼虫死亡率(49.3%)显著高于对照(11.1%),但发育异常率没有显著变化。而dsEcR处理试虫的发育异常率(14.6%)显著高于对照(2.8%),但体质量增长速率和幼虫死亡率与对照没有显著差异。综合分析表明,在RNA干扰研究中,并不是所有的被干扰基因都会表现出明显的沉默效应。因此,为了获得显著的沉默效应,靶基因的选择至关重要。本研究表明:棉铃虫几丁质酶基因较其他两种基因更适合作为研究RNAi防治害虫的靶基因。

关键词：表达dsRNA细菌液几丁质酶蜕皮激素受体热激同源蛋白70

在线全文

学校读者我要写书评

暂无评论

基于量子逻辑的下推自动机与上下文无关文法

软件学报 2010年第9期21卷 2107-2117页

作者：韩召伟李永明陕西师范大学计算机科学学院陕西西安710062 陕西师范大学数学与信息科学学院陕西西安710062

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上... 详细信息

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性.

关键词：量子逻辑正交模格量子下推自动机量子上下文无关语言量子上下文无关文法

在线全文

学校读者我要写书评

暂无评论

金融危机后美国的新孤立主义思潮探析

美国研究 2017年第5期31卷 9-31页

作者：韩召颖岳峰南开大学周恩来政府管理学院

第二次世界大战后,国际主义成为美国对外政策的主导,但具有深厚历史传统的孤立主义仍不断以新的形式出现。2008年国际金融危机后,美国国内出现新的孤立主义思潮,美国的对外政策也体现出一定的孤立主义倾向:奥巴马政府将更多的精力放在... 详细信息

第二次世界大战后,国际主义成为美国对外政策的主导,但具有深厚历史传统的孤立主义仍不断以新的形式出现。2008年国际金融危机后,美国国内出现新的孤立主义思潮,美国的对外政策也体现出一定的孤立主义倾向:奥巴马政府将更多的精力放在国内问题上,在对外政策上坚持"最少介入";特朗普上台以后,以"美国优先"为口号,继续减少国际介入,避免承担国际责任,同时施行贸易保护主义和强硬的移民政策。此次新孤立主义思潮出现的原因是多方面的,既源于美国国内对自由国际主义实践结果的不满和解决国内问题的需要,也是美国相对实力下降和人口结构变化等趋势性因素作用的结果。

关键词：美国军事与外交新孤立主义奥巴马政府特朗普政府贸易保护

在线全文

学校读者我要写书评

暂无评论

植物保护学通论

丛书名：面向21世纪课程教材

2001年

作者：韩召军

面向21世纪课程教材:本书系统介绍了植物保护学的基本概念，植物保护涉及到的各类有害生物及其发生危害规律、预测方法、防治技术与策略，以及主要作物有害生物的综合治理和植物保护技术的推广应用等方面的理论和知识。

ISBN: (纸本)704009553X

关键词：植物保护高等学校教材

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

美国霸权、中国的和平发展与中美关系

南开学报（哲学社会科学版） 2007年第3期 19-28页

作者：韩召颖南开大学周恩来政府管理学院天津300071

冷战后国际体系的两个突出特征是美国霸权主导的单极世界与中国的迅速发展。中美两国在当前的国际体系中既存在着结构上的战略矛盾,但由于美国霸权自身的局限性以及中国在迅速发展过程中国内面临的种种困难,特别是中国经济很强的对外依... 详细信息

冷战后国际体系的两个突出特征是美国霸权主导的单极世界与中国的迅速发展。中美两国在当前的国际体系中既存在着结构上的战略矛盾,但由于美国霸权自身的局限性以及中国在迅速发展过程中国内面临的种种困难,特别是中国经济很强的对外依赖性,又使得两国之间的结构性矛盾不至于演变成为无法控制的大规模冲突。由于中美关系之间这种矛盾与合作并存的复杂性,两国关系近年来表现出十分明显的、周期性的起伏不定的突出特点。从近期来看,中美两国在各自的核心利益上并不存在根本冲突;从长远来看,中美两国避免冲突、加强合作符合各自的国家利益;同时,国际政治中权力本质的变化也将改变国际体系中权力分配的变动必然导致大国之间发生冲突的传统认识;另外,外交可以发挥重要的作用,以和平方式促进两国各自的国家利益。

关键词：美国霸权和平发展中国外交中美关系

在线全文

学校读者我要写书评

暂无评论

量子Müller自动机与单体二阶量子逻辑

软件学报 2014年第1期25卷 27-36页

作者：韩召伟李永明陕西师范大学数学与信思科学学院陕西西安710062 陕西师范大学计算机科学学院陕西西安710062

给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正... 详细信息

给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.

关键词：量子逻辑正交模格量子Müller自动机量子无穷正则语言单体二阶量子逻辑 Büchi定理