导读:本文包含了动作时序逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:站域保护,Petri网,动态逻辑,仿真分析
动作时序逻辑论文文献综述
黄景光,于楠,林湘宁,袁乐童[1]（2019）在《远程备用智能保护一体化中心动作逻辑时序建模》一文中研究指出针对双重化智能站域保护在检修、故障退出、灾变恢复等多种场景下可靠性不充分的问题,提出远程备用智能保护一体化中心(Remote Duplicate Configuration Smart-Protection Center,RDCSPC)继电保护新架构,需研究RDCSPC的动作逻辑情况。根据其与双重化智能站域保护之间的配合关系,使用Hierarchical Petri net Simulator(Hi PS)软件分别建立RDCSPC在热备用、冷备用工作模式下的时序Petri网(PN)模型并对之进行动态仿真分析,同时,采用PN矩阵分析法对所建立的时序PN模型进行描述验证。模型验证结果表明:所建立的时序PN模型可以有效的描述RDCSPC的动作逻辑。(本文来源于《电测与仪表》期刊2019年07期）
徐宁,李杰,纪晓婷,沈林成[2]（2016）在《线性时序逻辑描述下自主机器人运动与动作动态规划方法》一文中研究指出线性时序逻辑(LTL)为自主机器人高层次的运动和动作任务提供了富有表现力的形式化描述方法。基于LTL任务描述,本文提出一种适应环境变化与行动失效的动态规划方法。首先,在分区的环境中对机器人的环境认知和运动与动作建模;接着,将环境认知模型与运动和动作模型构建为统一的状态转移系统,以此对整个系统的状态变化进行抽象;第叁,提出了适应环境变化与行动失效的在线规划框架,在执行过程中动态的规划行动序列;最后通过室内机器人救火仿真实验,验证了方法的有效性。(本文来源于《第35届中国控制会议论文集（B）》期刊2016-07-27）
孙永新,赵希顺[3]（2014）在《基于动态时序描述逻辑的动作理论》一文中研究指出动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。(本文来源于《计算机科学》期刊2014年09期）
孙永新,赵希顺[4]（2012）在《带测试动作的动态时序逻辑扩展》一文中研究指出作为一种动态知识表示形式,动态时序逻辑(DLTL)尤适用于正规程序验证,然而它不直接支持测试动作,这使得其应用受到一定限制。为支持测试动作,提出一个DLTL扩展DLTL+和一个判定DLTL+公式可满足性的tableau算法,并给出了算法的正确性以及其时间复杂度为2O(n)的证明。分析表明,DLTL+提供了一种直接的、有效的测试动作支持方式,该方式比已知的其他方式更具有实际应用价值。(本文来源于《计算机应用研究》期刊2012年09期）
周宁,刘慧,王红兵,谢俊元[5]（2011）在《采用动作时序逻辑的Web服务组合方法》一文中研究指出基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。(本文来源于《计算机科学与探索》期刊2011年03期）
周倩朝,史衍琪,刘卫红[6]（2010）在《基于动作时序逻辑的Web服务组合》一文中研究指出为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法。Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法。(本文来源于《计算机应用与软件》期刊2010年12期）
朱林,蔡泽祥,刘为雄[7]（2005）在《Petri网描述的继电保护动作逻辑时序建模》一文中研究指出Petri网理论具有完善的理论证明依据,是离散动态系统建模的有效工具。该文基于Petri网理论,介绍了一种新的继电保护建模思路。保护装置可以看成一个离散动态系统。利用Petri网中并行、冲突、资源分享等特性,对继电保护中的动作逻辑演化及二次回路动态进行描述,建立了保护装置的PN模型。最后就RCS-901A/B超高压线路成套保护装置进行了工作原理分析和性能评估,证明了所提方法的有效性。(本文来源于《继电器》期刊2005年20期）
动作时序逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
线性时序逻辑(LTL)为自主机器人高层次的运动和动作任务提供了富有表现力的形式化描述方法。基于LTL任务描述,本文提出一种适应环境变化与行动失效的动态规划方法。首先,在分区的环境中对机器人的环境认知和运动与动作建模;接着,将环境认知模型与运动和动作模型构建为统一的状态转移系统,以此对整个系统的状态变化进行抽象;第叁,提出了适应环境变化与行动失效的在线规划框架,在执行过程中动态的规划行动序列;最后通过室内机器人救火仿真实验,验证了方法的有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
动作时序逻辑论文参考文献
[1].黄景光,于楠,林湘宁,袁乐童.远程备用智能保护一体化中心动作逻辑时序建模[J].电测与仪表.2019
[2].徐宁,李杰,纪晓婷,沈林成.线性时序逻辑描述下自主机器人运动与动作动态规划方法[C].第35届中国控制会议论文集（B）.2016
[3].孙永新,赵希顺.基于动态时序描述逻辑的动作理论[J].计算机科学.2014
[4].孙永新,赵希顺.带测试动作的动态时序逻辑扩展[J].计算机应用研究.2012
[5].周宁,刘慧,王红兵,谢俊元.采用动作时序逻辑的Web服务组合方法[J].计算机科学与探索.2011
[6].周倩朝,史衍琪,刘卫红.基于动作时序逻辑的Web服务组合[J].计算机应用与软件.2010
[7].朱林,蔡泽祥,刘为雄.Petri网描述的继电保护动作逻辑时序建模[J].继电器.2005