导读:本文包含了动态逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,动态,系统,多项式,文学批评,代数,观测器。
动态逻辑论文文献综述
张光芒[1]（2019）在《“人性”话语的动态逻辑与知识考古——评邓瑗着《晚清至“五四”文学批评的人性话语研究》》一文中研究指出新文化运动至今历经百年有余,今朝回溯之际,我们发现常常会陷入一种极其尴尬的两难悖谬之中:一方面,"五四"新文化运动与文学革命之初所倡导的文化理想的概念载体,如科学、民主、自由、启蒙、人性等等,突然失去了内涵与外延的相对稳定状态,甚至完全退化为一种所指游移的能指符号;而另一方面,我们尚未找到更有效的理论概念来阐释新文化运动和新文学史的相关话题,而只能仍然艰难地使用着它们。在此前提下,回到概念的生产过程,找到其发生学意义上的源头,即回到话语(本文来源于《海南师范大学学报(社会科学版)》期刊2019年05期）
张元睿[2]（2019）在《面向同步系统的时钟约束动态逻辑系统研究》一文中研究指出实时系统、嵌入式系统等反应式系统(Reactive Systems)往往具有“同步”特性,即模块间通信时间可忽略不计,同一时刻多个信号可同时发生.同步系统模型作为同步编程语言(如Esterel、Signal等)的基础,被广泛应用于反应式系统,特别是嵌入式系统的建模中.随着近年来物联网、信息物理系统等分布式实时嵌入式系统的蓬勃发展,同步系统的建模、规约与验证变得愈发重要.在同步系统中,基于“时钟约束”的系统规约在系统的安全性和可靠性方面扮演着关键角色.时钟约束规约语言(Clock Constraint Specification Language,简称CCSL)是一种基于“时钟”和时钟约束关系的形式化规约语言.它被广泛地应用于同步系统的规约与验证.以往CCSL规约的验证技术主要基于模型检测.由于模型检测技术的局限性,这些验证技术不支持无限状态CCSL规约(亦称为“非安全”CCSL规约)的验证.对于状态空间较大的系统,基于模型检测的验证技术存在状态空间爆炸的问题.动态逻辑(Dynamic Logic,简称DL)是一种对程序动态行为进行刻画和推理的模态逻辑,其验证技术主要基于定理证明和SMT检测.动态逻辑程序能(在抽象层)对系统行为进行建模,并配合动态逻辑公式对系统性质进行规约和验证.相较于基于模型检测的验证技术,基于定理证明的验证技术能够对无限状态系统进行验证,并从验证方法上避免了对状态空间的搜索.本文结合CCSL语言与动态逻辑DL,提出了一种基于时钟约束的动态逻辑(Clock-constraint-based Dynamic Logic,简称CDL)系统,将动态逻辑应用于同步系统的建模与验证中.CDL逻辑系统支持对同步系统建模,对基于时钟约束关系的同步系统CCSL规约进行刻画和验证;支持基于定理证明的“模块化”验证方法,能对“非安全”的CCSL规约进行验证.该系统为同步系统提供了一个基于定理证明技术的建模/验证框架.本文的主要贡献如下:1.提出了面向顺序程序的时钟约束动态逻辑(Sequential CDL,简称sCDL),定义了其语法和语义,并构建了sCDL证明系统.sCDL逻辑系统在一阶动态逻辑(First-Order Dynamic Logic,简称FODL)系统的基础上,引入了“信号”和“CCSL时钟关系”并对其证明系统进行了扩展.sCDL逻辑系统支持对顺序同步系统行为进行建模,对顺序同步系统中一类“简单的”CCSL时钟约束关系进行刻画和验证.2.对sCDL逻辑进行“并行程序”的扩展,提出了时钟约束动态逻辑CDL,定义了其语法和语义,并构建了其证明系统.CDL逻辑在sCDL逻辑的基础上,引入了“并行算子”和“并行交互机制”,并对sCDL的证明系统进行了扩展.CDL逻辑实现了对(并行)同步系统行为进行建模,对基于时钟约束关系的同步系统CCSL规约进行刻画和验证.3.对CDL逻辑证明系统的可靠性和完备性进行分析,并证明了CDL逻辑证明系统的可靠性和相对完备性定理.4.通过两个同步系统案例——数字滤波器和车载自动窗系统,分析了CDL逻辑在同步系统中的应用.用CDL逻辑对同步系统进行了建模,描述并证明了它们的CCSL规约.结果表明了论文提出的方法是合理和有效的.(本文来源于《华东师范大学》期刊2019-05-01）
董英东[3]（2018）在《从人工智能看自然语言的动态逻辑》一文中研究指出本文主要从人工智能视角研究动态的自然语言逻辑,探讨真值条件语义,动态修正和更新等动态系统以及可用来处理单主体和多主体之间的期望和博弈等问题,进而给出动态自然语言语句的一阶的语义,从语句层面转向会话语句和交流中的信息流,并给出相应的语义系统、行为动态逻辑的公理系统,最后给出人工智能语言和计算程序逻辑的实例,探讨自然语言的动态逻辑在人工智能中的应用和哲学问题。(本文来源于《科学经济社会》期刊2018年04期）
吴恒,高洁[4]（2018）在《浅谈法律翻译中的动态逻辑等价》一文中研究指出法律文本属于专门用途语言的一种,其翻译要求不同于一般性的语言翻译。为了实现动态的逻辑等价,需要深刻把握同一个概念在目的语和源语中的表达,及其使用的语境。本文提出了叁种词语逻辑等价的对应关系,以及相应的翻译策略。(本文来源于《课程教育研究》期刊2018年37期）
杨洪玖,袁源,夏元清,李丽[5]（2018）在《多因系统动态逻辑关系研究》一文中研究指出针对因果控制理论与技术中的"控因"问题,研究了多因系统动态逻辑关系模型,对多因系统进行合理控制.采用云控制框架对该模型进行整体设计,解决多因系统中的海量数据处理问题.针对因系统耦合问题,设计解耦观测器对多因系统间未知耦合项进行解耦观测.给出分布式模型预测控制方法对多因系统的整体优化控制方案,使多因系统在控制层面上达到整体性能最优.对犯罪问题多因系统进行仿真分析,验证了所提方法的有效性.(本文来源于《指挥与控制学报》期刊2018年02期）
侯丽平,何向东[6]（2018）在《基于动态逻辑的信息哲学研究》一文中研究指出文章主要从逻辑的视角探讨信息哲学,明确信息哲学是关于信息的本质及其动态变化规律的新的哲学分支。文章运用类比"语言转向"的方式定义了哲学的"信息转向"。并以动态认知逻辑作为理论工具分析信息及其信息的动态变化,为寻找一种分析各种信息及其动态变化的统一理论提供思路,实现对其基本规律的认识,从而更好地解释和指导人类的实践活动,以及处理实践活动中呈现的哲学问题。(本文来源于《科学技术哲学研究》期刊2018年03期）
吕一帆[7]（2017）在《DNA动态逻辑回路与静态结构自组装的生物化学应用研究》一文中研究指出DNA纳米技术包括以DNA动态链置换反应为研究对象的动态纳米技术和以形成不同DNA结构为目的的静态纳米技术。利用DNA纳米技术,实现对DNA动态和静态纳米器件构建的过程称之为DNA纳米工程。DNA纳米工程并不强调DNA分子作为遗传信息载体的原有功能,而是将DNA视为一种分子材料,通过合理的序列设计使DNA链按照既定的方式杂交或发生链置换,最终实现信号的传递或者结构的生成。DNA严格的沃森-克里克碱基互补配对规则,序列的可设计性以及功能基团的可定制性为构建一系列基于DNA动态或者静态纳米技术的纳米反应网络或者纳米器件奠定了基础。无论是动态还是静态的DNA纳米技术,在过去的几年里都取得了长足的发展。其中,基于DNA动态杂交和链置换反应的DNA动态纳米技术,经过上个世纪最后几十年对DNA分子杂交热力学性质的摸索和沉淀,终于在本世纪初期开始崭露头角。随着链杂交和链置换动力学研究的逐步深入,人们基于DNA动态纳米技术开发出了DNA逻辑门,DNA分子马达,DNA步行者,DNA逻辑计算网络等诸多功能各异的DNA反应网络。而在DNA静态纳米技术领域,人们在简单DNA双链杂交的基础上,构建出许多复杂精致的微观或者宏观材料,例如DNA折纸结构,DNA水凝胶,DNA胶束结构,DNA树枝状结构,以及DNA纳米花等等。虽然DNA纳米工程不强调DNA的自然功能,而是更看重DNA作为结构单元的潜力,但DNA作为一类生物分子的本质并没有改变。其良好的生物相容性以及易被设计和改造的分子结构使DNA分子在生物化学应用领域有着得天独厚的优势。本论文1)致力于使DNA动态逻辑回路脱离试管环境而能够真正应用于仿生或者生物体系,2)着眼于当前DNA静态自组装结构在生物应用中存在的一些问题并加以改善,进一步挖掘DNA动态逻辑回路与静态结构自组装在生物化学应用领域的可能性,其具体内容如下:1)第2章:本章报道了一种无需酶催化且不含DNA发夹结构的有效核酸放大策略,称为熵驱动信标。与之前报道的基于DNA杂交和链置换的放大策略相比,熵驱动信标的驱动力是系统熵值的增加,而非新碱基对形成所释放的自由能。熵驱动信标表现出很高的检测灵敏度,在缓冲液中的检测下限可达5p M,在细胞匀浆中的检测下限可达50p M。熵驱动信标的其他优势包括零检测背景,优越的热稳定性以及对复杂环境的抗干扰能力。另外,基于单对碱基和相邻两对碱基链呼吸速率的巨大差异,熵驱动信标对包括碱基错配,插入和缺失在内的碱基突变表现出极高的识别能力,因此可以做为一种有效的核酸检测方法。2)第3章:本章报道了一种以DNA反应网络作为计算核心的人工细胞。当人工细胞遭遇模拟病原体侵染后,内建的DNA反应网络会执行一种精简的模拟免疫反应。DNA反应网络就像一个生物算法,它可以针对输入的信号分子发生响应;人工细胞就像一种微米尺寸的机器人,它的功能受内建的DNA反应网络驱动。DNA的程序化设计能力和生物学性质,使由DNA反应网络驱动的人工细胞可以将逻辑运算和生物识别有机地结合在一起,因此生物分子可以直接介入到分子运算的过程当中。本章所报道的以DNA反应网络驱动人工细胞的策略,对构建可用于未来生物学研究的人工细胞具有很好的启发作用。3)第4章:在本章的工作中,我们利用DNA动态逻辑回路实现了对细胞膜上分子碰撞的检测。细胞通过细胞膜分子与膜外环境作用。这些膜相关作用或者说分子碰撞的异常往往意味着疾病的发生。超分辨显微术虽然可以探测到膜分子的碰撞,却既无法对整个膜进行成像,也无法提供膜分子之间动态相互作用的相关信息。本章报道的这种新型DNA逻辑回路探针可以将瞬时的膜分子碰撞事件转化为可被读取的积累荧光信号。这种探针的工作模式模拟了马达蛋白,通过立足点介导的链置换反应从一个锚点移动到另一个锚点。利用这个探针,我们成功的在流式细胞仪和荧光显微镜的辅助下检测到了膜脂区域迅速的分子碰撞事件。我们的结果也表明相同膜脂区域内的脂分子相互碰撞的倾向性更大。4)第5章:本章基于DNA静态结构自组装理论,报道了一种可用于运载小干扰RNA并实现基因沉默的催化自组装DNA树枝状纳米结构。这种一步法制备的DNA树枝状复合物可以很方便的按需制备,并被证明拥有比商业化阳离子脂质体更好的沉默效率和更低的细胞毒性。5)第6章:本章报道了一种以DNA胶束为模板的球形金属还原法,实现了对DNA胶束的原位交联。本方法通过将一系列特异性的模板区域整合进二酰脂DNA单体分子中,成功制备了含有中空或者实心内核的铜,银和金交联的DNA胶束,操作简单且极具通用性。通过一系列表征和软件模拟,我们首次实现了对DNA胶束精确的结构论证。金属交联的DNA胶束表现出显着的优势,包括金属内核和DNA配体的一步法生成,尺寸的可调控性,在盐溶液中的高单分散性,制备时DNA配体的极高利用率,温和的合成环境以及更少的耗时和更高的细胞内在化效率。基于这种球形模板合成法,我们进一步制备了用于细胞内目标物成像的金属交联DNA胶束探针。另外,我们还将这种金属交联的策略扩展到基于双链DNA胶束上,表明该法具有很好的普适性。(本文来源于《湖南大学》期刊2017-10-01）
赵文仓,潘锦宇[8]（2017）在《基于微分动态逻辑的液压运动系统的分析与验证》一文中研究指出液压运动系统既包含连续过程也包含离散过程,可以认为是一个混成系统,在以往研究中缺乏对此类系统安全性的建模与证明。为了解决这个问题,以经典液压运动系统为例,结合专业知识,用微分方程对整个系统运动过程进行详细描述。结合微分动态逻辑和混成程序建立模型,通过工具KeYmaera来验证所建模型的正确性及液压运动系统运动的安全性。结果表明,所建模型正确,安全性良好。该方法适合应用于此类系统的建模与验证过程。(本文来源于《甘肃科学学报》期刊2017年02期）
周全胜,陈鹏[9]（2016）在《论价值观与世界观和方法论的动态逻辑》一文中研究指出价值观对于世界观和方法论来说具有链接功能。价值观与世界观、方法论比较,其理论内容、逻辑指向、社会功能均具有相对独立性;价值观与世界观、方法论存在着内容上相互包含、逻辑前提的先后承接、性质的相互作用等内在联系;价值观的内在矛盾影响着世界观和方法论的一致性状态,不过,随着实践的发展,主体自觉性增强,世界观与方法论必然会由不协调趋向协调统一。(本文来源于《教育观察(上半月)》期刊2016年07期）
付军[10]（2016）在《近似推理—多项式代数动态逻辑研究》一文中研究指出随着计算机技术的飞速发展,复杂系统,例如轨道交通、航空航天、工业控制等的规模和结构越来越庞大和复杂,系统出现缺陷和漏洞的可能性也在不断增加。任何微小错误都足以导致巨大的经济损失,甚至人员伤亡。如何确保复杂系统设计的正确性,是学术界和工业界一直关注的问题。已有研究和实践表明,基于逻辑推理的形式化方法是解决这一问题的有效方法。由于复杂系统普遍具有数据流交换、连续状态、性能指标等特性,传统的逻辑推理方法面临一些新挑战,主要包括如何建立系统行为与性质断言的统一逻辑框架,如何支持组合化、层次化刻画与验证,如何将数学计算过程与逻辑推理过程融合,如何在逻辑框架内建立系统性能的度量标准等。针对这些问题,本文详细研究了刻画系统行为和性质断言的统一逻辑语言,以及逻辑语言的数学模型、证明系统和近似推理系统,并结合实例深入探讨了它们在实际中的应用。本文取得的创新成果归纳如下：(1)提出了具有组合化和层次化特性的多项式代数动态逻辑(ADL),有效地解决了系统行为与性质断言的统一逻辑刻画问题。在ADL的框架中,系统行为被刻画为多项式代数程序,性质断言被刻画为ADL逻辑公式。ADL的组合化特性体现为：多项式代数程序具有组合化的结构,通过顺序、条件、循环等符号将各个子程序组合在一起；层次化则体现为：不同层次之间的关系可被刻画为ADL模态公式,如模态公式[α]φ→[β]φ可表示底层程序a实现了高层程序β的功能。(2)提出了一种更加精细的数学模型——多项式代数变迁系统(ATS),有效地解决了数据流交换、连续状态等的刻画问题。通过引入连续变量,ATS能够描述连续状态,并允许系统具有无限的连续状态空间,因而具有更强的系统刻画能力;通过在系统变迁上标记多项式表达式,ATS能够同时刻画状态跳转和数据流交换,因而可以刻画更加精细的系统行为。更加有意义的是,通过建立系统行为与多项式零点之间的联系,符号计算等成熟的数学方法能够应用于复杂系统的验证分析。(3)建立了ADL的形式化语义和证明系统(ADL演算),有效地解决了数学计算过程与逻辑推理过程的交叉融合问题。以ATS为语义模型,构造了ADL的形式化语义,包括多项式代数程序的变迁语义和逻辑公式的满足关系,变迁语义和满足关系都可用多项式零点定义,因而,逻辑公式的推导问题能够平滑地转化为符号计算的问题。同时,ADL演算是可靠且部分完备的。(4)建立了ADL的度量语义和近似推理系统,有效地解决了系统的性能评估问题。度量语义是对逻辑公式满足关系的一种量化描述,反映了公式成立的可能性,度量语义值越大则公式成立的可能性越高;近似推理系统由一组度量规则构成,用于估算系统性质在给定状态上成立的可能性。同时,近似推理系统是可靠的,而且是对ADL演算的量化扩展：凡是ADL演算可证的公式必定是可近似推导的。最后,本文对两个实例进行了验证与分析。实例分析结果表明,本文所建立的方法能够有效地刻画、验证和分析复杂系统的性质。(本文来源于《北京交通大学》期刊2016-06-01）
动态逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
实时系统、嵌入式系统等反应式系统(Reactive Systems)往往具有“同步”特性,即模块间通信时间可忽略不计,同一时刻多个信号可同时发生.同步系统模型作为同步编程语言(如Esterel、Signal等)的基础,被广泛应用于反应式系统,特别是嵌入式系统的建模中.随着近年来物联网、信息物理系统等分布式实时嵌入式系统的蓬勃发展,同步系统的建模、规约与验证变得愈发重要.在同步系统中,基于“时钟约束”的系统规约在系统的安全性和可靠性方面扮演着关键角色.时钟约束规约语言(Clock Constraint Specification Language,简称CCSL)是一种基于“时钟”和时钟约束关系的形式化规约语言.它被广泛地应用于同步系统的规约与验证.以往CCSL规约的验证技术主要基于模型检测.由于模型检测技术的局限性,这些验证技术不支持无限状态CCSL规约(亦称为“非安全”CCSL规约)的验证.对于状态空间较大的系统,基于模型检测的验证技术存在状态空间爆炸的问题.动态逻辑(Dynamic Logic,简称DL)是一种对程序动态行为进行刻画和推理的模态逻辑,其验证技术主要基于定理证明和SMT检测.动态逻辑程序能(在抽象层)对系统行为进行建模,并配合动态逻辑公式对系统性质进行规约和验证.相较于基于模型检测的验证技术,基于定理证明的验证技术能够对无限状态系统进行验证,并从验证方法上避免了对状态空间的搜索.本文结合CCSL语言与动态逻辑DL,提出了一种基于时钟约束的动态逻辑(Clock-constraint-based Dynamic Logic,简称CDL)系统,将动态逻辑应用于同步系统的建模与验证中.CDL逻辑系统支持对同步系统建模,对基于时钟约束关系的同步系统CCSL规约进行刻画和验证;支持基于定理证明的“模块化”验证方法,能对“非安全”的CCSL规约进行验证.该系统为同步系统提供了一个基于定理证明技术的建模/验证框架.本文的主要贡献如下:1.提出了面向顺序程序的时钟约束动态逻辑(Sequential CDL,简称sCDL),定义了其语法和语义,并构建了sCDL证明系统.sCDL逻辑系统在一阶动态逻辑(First-Order Dynamic Logic,简称FODL)系统的基础上,引入了“信号”和“CCSL时钟关系”并对其证明系统进行了扩展.sCDL逻辑系统支持对顺序同步系统行为进行建模,对顺序同步系统中一类“简单的”CCSL时钟约束关系进行刻画和验证.2.对sCDL逻辑进行“并行程序”的扩展,提出了时钟约束动态逻辑CDL,定义了其语法和语义,并构建了其证明系统.CDL逻辑在sCDL逻辑的基础上,引入了“并行算子”和“并行交互机制”,并对sCDL的证明系统进行了扩展.CDL逻辑实现了对(并行)同步系统行为进行建模,对基于时钟约束关系的同步系统CCSL规约进行刻画和验证.3.对CDL逻辑证明系统的可靠性和完备性进行分析,并证明了CDL逻辑证明系统的可靠性和相对完备性定理.4.通过两个同步系统案例——数字滤波器和车载自动窗系统,分析了CDL逻辑在同步系统中的应用.用CDL逻辑对同步系统进行了建模,描述并证明了它们的CCSL规约.结果表明了论文提出的方法是合理和有效的.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
动态逻辑论文参考文献
[1].张光芒.“人性”话语的动态逻辑与知识考古——评邓瑗着《晚清至“五四”文学批评的人性话语研究》[J].海南师范大学学报(社会科学版).2019
[2].张元睿.面向同步系统的时钟约束动态逻辑系统研究[D].华东师范大学.2019
[3].董英东.从人工智能看自然语言的动态逻辑[J].科学经济社会.2018
[4].吴恒,高洁.浅谈法律翻译中的动态逻辑等价[J].课程教育研究.2018
[5].杨洪玖,袁源,夏元清,李丽.多因系统动态逻辑关系研究[J].指挥与控制学报.2018
[6].侯丽平,何向东.基于动态逻辑的信息哲学研究[J].科学技术哲学研究.2018
[7].吕一帆.DNA动态逻辑回路与静态结构自组装的生物化学应用研究[D].湖南大学.2017
[8].赵文仓,潘锦宇.基于微分动态逻辑的液压运动系统的分析与验证[J].甘肃科学学报.2017
[9].周全胜,陈鹏.论价值观与世界观和方法论的动态逻辑[J].教育观察(上半月).2016
[10].付军.近似推理—多项式代数动态逻辑研究[D].北京交通大学.2016
论文知识图
