导读:本文包含了任务逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,算子,群体,燃气轮机,系统,定理,决断。
任务逻辑论文文献综述
尤俊郎,李胜勇,陈佳俊,宗思光[1]（2018）在《基于任务逻辑和战位匹配的作战流程优化》一文中研究指出为缩短作战系统执行复杂作战任务时的时间,需要对作战流程进行优化。通过构建任务逻辑模型,得到作战流程执行时间计算方法,根据战位—元任务匹配关系,得出不同战位匹配情况下的所有作战流程。通过对各流程执行时间和战位—元任务匹配关系分析,找到影响整个流程执行时间的关键节点,并利用甘特图验证优化流程的可行性,最终选出最优流程,得到实现最优流程的途径。(本文来源于《指挥控制与仿真》期刊2018年05期）
周登极,陈梅珊,张会生,翁史烈[2]（2015）在《一种基于RCM知识库的燃气轮机维护任务逻辑决断方法》一文中研究指出燃气轮机维护费用高,可靠性要求严苛,现行的基于时间的维护策略存在若干缺陷,可以借助以可靠性为中心的维修(Reliability-centered Maintenance,RCM)技术,降低维护成本,保障设备可靠性。RCM基于逻辑决断图选择维护任务,针对性不强,且主观性太强。提出了一种基于RCM知识库的维护任务逻辑决断方法。该方法按照功能属性、故障属性、维护属性分析已有故障,形成知识库;对新发现的故障按照功能属性,基于知识库,应用C4.5算法生成逻辑决断图,根据其故障属性判断合适的维护任务。该方法被应用于某燃气轮机,对29台该燃气轮机5年的故障数据进行RCM分析,生成RCM知识库,并为预防可燃气体探测器误报警与防冰系统高背离两种故障,提供了解决方法。(本文来源于《燃气轮机技术》期刊2015年04期）
张巍,曾亮,李思昆[3]（2013）在《基于描述任务逻辑的群体组织协同关系模型》一文中研究指出群体组织模型是深入研究群体协同行为的基础,而现有的组织模型大多集中在对Agent组织的结构或个体低层指令级的交互上,不能描述组织高层的动态任务交互。提出一个新的群体组织协同关系模型GRNA。该模型包含两个子模型:认知模型和交互模型。认知模型构建于领域本体之上,为GRNA模型提供准确的术语定义;交互模型则基于描述任务逻辑理论,反映了群体的任务协同语义。实例分析表明,GRNA支持对群体规范和能力的描述,提供了组织任务可完成性的可判定的推理服务,能够描述组织的高层任务交互语义。(本文来源于《计算机工程与科学》期刊2013年01期）
张巍,曾亮,张会,李思昆[4]（2012）在《数字游戏中的协同——描述任务逻辑方法》一文中研究指出传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规划进行了形式化描述,给出了任务和规划可完成性的定义,以及联合策略下的规划可完成性的判定理论.通过示例说明,描述任务逻辑方法能够准确地描述虚拟群体高层指挥关系的任务交互语义,同时又能提供协同规划可完成性的可判定的推理验证服务.(本文来源于《计算机研究与发展》期刊2012年07期）
周圆[5]（2012）在《基于运行轨迹的任务逻辑关系的研究》一文中研究指出随着现代计算机系统的发展以及计算机软件在社会各领域中的广泛应用,软件的规模不断扩大,复杂度越来越高,不免会存在一些缺陷。随着社会生产生活的日益信息化,人们对软件功能的需求也在不断发生变化。为了满足人们不断变化的需求,发现系统的缺陷及提高软件系统的可靠性,相关人员需要对软件系统不断进行修改及升级。因此,理解软件运行行为就成了发现软件缺陷,了解软件性能以及对软件进行优化的关键。理解软件运行时的行为成了国内外众多专家学者研究的热点。系统调用是程序访问系统资源的接口,在充分考虑到软件运行与操作系统之间的交互的背景基础上,本文提出使用系统调用信息为踪迹对软件任务逻辑进行分析研究。首先,本文引入了获取软件运行时系统调用的方法——代码插装技术,通过对软件进行动态插装,根据分析需求标记需要监视的系统调用函数,在软件运行调用这些系统函数时,动态记录下函数的输入输出参数,最终获得软件运行时的系统调用信息。一方面,动态插装能够获取软件运行实时的系统调用信息,能够准确反映出软件的行为。另一方面,对于程序员来说,动态插装不需要阅读源代码等相关的预备知识。然后,本文提出了基于系统调用踪迹的软件任务逻辑关系分析方法。该方法主要以系统调用序列和系统调用参数为根据制定相关规则,并根据这些规则从截取的系统调用踪迹中提取出软件任务的原子操作及其逻辑关系。接着本文使用后缀数组算法在已提取的原子操作逻辑的基础上分析软件任务的层次结构。最后使用计算树逻辑在Kripke迁移系统上描述软件任务的表现形态及状态变迁情况。本文使用Auto Debug对FTP文件传输软件重复多次下载文件的任务过程中的系统调用进行记录,然后针对这些记录用本文提出的方法进行分析,提取出FTP软件该下载任务的原子操作和逻辑结构。通过实例验证,本文方法可以提取出软件任务各原子操作及其逻辑关系并推断出表达任务逻辑含义的层次结构,能表达出任务的状态变迁,对理解软件设计和提取软件模型起到关键作用。(本文来源于《广东工业大学》期刊2012-06-01）
耿国祥,王晋京[6]（2011）在《《社会主义的本质和根本任务》逻辑串讲》一文中研究指出在对社会主义的本质和根本任务的认识不断深化中,我们党带领全国人民奋力开辟出中国特色社会主义道路。(本文来源于《安徽文学(下半月)》期刊2011年03期）
许文艳,荆云鹏[7]（2006）在《任务逻辑中的定理》一文中研究指出基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。(本文来源于《模糊系统与数学》期刊2006年06期）
张会,李思昆[8]（2006）在《描述任务逻辑及其应用》一文中研究指出针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义,无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体属性的、可判定的任务逻辑系统———描述任务逻辑.将所构造的逻辑系统应用于具有组织的多主体系统行为建模,建立了基于描述任务逻辑的多主体组织模型和建模框架,并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点.(本文来源于《计算机学报》期刊2006年03期）
许文艳[9]（2004）在《任务逻辑》一文中研究指出自线性逻辑的概念诞生以来，关于线性逻辑及其子结构逻辑的研究已经引起了广泛关注。线性逻辑最初形成时源于把公式看成“资源”，因而从语义上讲又被称为“资源逻辑”。然而这种“资源”语义一直以来都没有形成严格的形式化体系。 1998年G．Japaridze借鉴game语义的方法首次提出“任务逻辑”的概念，把公式(即资源)理解为“任务”，给出了线性逻辑的某扩张及其语义理论，但该理论尚不完善，并未找到相应的语构体系．2002年，G．Japaridze又在一阶谓词逻辑框架下引入算子Π和∏，建立了严格的任务逻辑语义理论，并得到了完备的形式系统L~*，使线性逻辑最初的“资源”语义完全形式化，同时指出该逻辑作为planning逻辑应用于人工智能领域时避免了frame问题和knowledge preconditions问题。 然而G．Japaridze在谓词逻辑框架下的任务逻辑(简称为谓词任务逻辑)是不可判定的，且形式系统L~*中的定理也未得到详细的讨论，这使它的应用受到了很大的限制。本文的目的就是对任务逻辑进行系统的研究，在命题逻辑框架下引入附加算子Π，建立命题任务逻辑的语义理论，并相应从语构上定义形式系统L，证明其可靠性，完备性及可判定性定理，详细考察形式系统L中的基本定理，为以后研究更广泛意义的任务逻辑奠定基础。与此同时，本文还给出了谓词任务逻辑的语义和语构理论，得到了界于形式系统L和L~*之间的系统L′，并证明了系统L′的可判定性。 本文的主要内容如下： 第一部分：在经典命题逻辑语言中引入附加算子Π，把公式理解为“任务”，给出了“任务逻辑’的语义理论。 第二部分：以经典命题逻辑的所有定理为公理，以A-规则和R-规则(具体定义见正文)为两条基本推理规则，建立了形式系统L，并证明了系统L的可靠性，完备性及可判定性定理。 第叁部分：对形式系统L中的定理进行考察，提出“模仿策略”的概念，得到了系统L中一系列基本定理和一些有趣的结果，为后面研究谓词任务逻辑的基本定理提供了依据。 第四部分：介绍了谓词任务逻辑的语义和语构理论，针对形式系统L~*，在L~*中去掉量词叭得到新的形式系统L’，并论证了刀的可判定性，从而使任务逻辑的应用得以推广.(本文来源于《陕西师范大学》期刊2004-04-01）
王国俊,许文艳[10]（2004）在《从事实逻辑到任务逻辑》一文中研究指出在经典命题逻辑语言中引入附加算子冂,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为"任务",介绍了"任务逻辑"的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理,最后建立系统L中的一系列基本定理。(本文来源于《模糊系统与数学》期刊2004年01期）
任务逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
燃气轮机维护费用高,可靠性要求严苛,现行的基于时间的维护策略存在若干缺陷,可以借助以可靠性为中心的维修(Reliability-centered Maintenance,RCM)技术,降低维护成本,保障设备可靠性。RCM基于逻辑决断图选择维护任务,针对性不强,且主观性太强。提出了一种基于RCM知识库的维护任务逻辑决断方法。该方法按照功能属性、故障属性、维护属性分析已有故障,形成知识库;对新发现的故障按照功能属性,基于知识库,应用C4.5算法生成逻辑决断图,根据其故障属性判断合适的维护任务。该方法被应用于某燃气轮机,对29台该燃气轮机5年的故障数据进行RCM分析,生成RCM知识库,并为预防可燃气体探测器误报警与防冰系统高背离两种故障,提供了解决方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
任务逻辑论文参考文献
[1].尤俊郎,李胜勇,陈佳俊,宗思光.基于任务逻辑和战位匹配的作战流程优化[J].指挥控制与仿真.2018
[2].周登极,陈梅珊,张会生,翁史烈.一种基于RCM知识库的燃气轮机维护任务逻辑决断方法[J].燃气轮机技术.2015
[3].张巍,曾亮,李思昆.基于描述任务逻辑的群体组织协同关系模型[J].计算机工程与科学.2013
[4].张巍,曾亮,张会,李思昆.数字游戏中的协同——描述任务逻辑方法[J].计算机研究与发展.2012
[5].周圆.基于运行轨迹的任务逻辑关系的研究[D].广东工业大学.2012
[6].耿国祥,王晋京.《社会主义的本质和根本任务》逻辑串讲[J].安徽文学(下半月).2011
[7].许文艳,荆云鹏.任务逻辑中的定理[J].模糊系统与数学.2006
[8].张会,李思昆.描述任务逻辑及其应用[J].计算机学报.2006
[9].许文艳.任务逻辑[D].陕西师范大学.2004
[10].王国俊,许文艳.从事实逻辑到任务逻辑[J].模糊系统与数学.2004
论文知识图
