检索结果-内蒙古大学图书馆

作者：许文艳陕西师范大学

学位级别：硕士

自线性逻辑的概念诞生以来，关于线性逻辑及其子结构逻辑的研究已经引起了广泛关注。线性逻辑最初形成时源于把公式看成“资源”，因而从语义上讲又被称为“资源逻辑”。然而这种“资源”语义一直以来都没有形成严格的形式化体系。 1... 详细信息

自线性逻辑的概念诞生以来，关于线性逻辑及其子结构逻辑的研究已经引起了广泛关注。线性逻辑最初形成时源于把公式看成“资源”，因而从语义上讲又被称为“资源逻辑”。然而这种“资源”语义一直以来都没有形成严格的形式化体系。 1998年***借鉴game语义的方法首次提出“任务逻辑”的概念，把公式（即资源）理解为“任务”，给出了线性逻辑的某扩张及其语义理论，但该理论尚不完善，并未找到相应的语构体系．2002年，***又在一阶谓词逻辑框架下引入算子Π和∏，建立了严格的任务逻辑语义理论，并得到了完备的形式系统L*，使线性逻辑最初的“资源”语义完全形式化，同时指出该逻辑作为planning逻辑应用于人工智能领域时避免了frame问题和knowledge preconditions问题。然而***在谓词逻辑框架下的任务逻辑（简称为谓词任务逻辑）是不可判定的，且形式系统L*中的定理也未得到详细的讨论，这使它的应用受到了很大的限制。本文的目的就是对任务逻辑进行系统的研究，在命题逻辑框架下引入附加算子Π，建立命题任务逻辑的语义理论，并相应从语构上定义形式系统L，证明其可靠性，完备性及可判定性定理，详细考察形式系统L中的基本定理，为以后研究更广泛意义的任务逻辑奠定基础。与此同时，本文还给出了谓词任务逻辑的语义和语构理论，得到了界于形式系统L和L*之间的系统L′，并证明了系统L′的可判定性。本文的主要内容如下：第一部分：在经典命题逻辑语言中引入附加算子Π，把公式理解为“任务”，给出了“任务逻辑’的语义理论。第二部分：以经典命题逻辑的所有定理为公理，以A-规则和R-规则（具体定义见正文）为两条基本推理规则，建立了形式系统L，并证明了系统L的可靠性，完备性及可判定性定理。第三部分：对形式系统L中的定理进行考察，提出“模仿策略”的概念，得到了系统L中一系列基本定理和一些有趣的结果，为后面研究谓词任务逻辑的基本定理提供了依据。第四部分：介绍了谓词任务逻辑的语义和语构理论，针对形式系统L*，在L* 中去掉量词叭得到新的形式系统L’，并论证了刀的可判定性，从而使任务逻辑的应用得以推广.

关键词：任务逻辑附加算子最终状态可完成的可判定性

来源：评论

学校读者我要写书评

暂无评论

任务逻辑与小学语文单篇教学转型

引用

小学教学设计 2025年第10期 5-8,34页

作者：王崧舟杭州师范大学

我们都清楚,《义务教育语文课程标准(2022年版)》提出的“学习任务群”,无疑是语文教学领域的一个重要理念和有力工具。它就像一座桥梁,连接起课程内容与学生的学习体验;又似一把精准的梳子,梳理着语文教学的复杂脉络。学习任务群被明... 详细信息

我们都清楚,《义务教育语文课程标准(2022年版)》提出的“学习任务群”,无疑是语文教学领域的一个重要理念和有力工具。它就像一座桥梁,连接起课程内容与学生的学习体验;又似一把精准的梳子,梳理着语文教学的复杂脉络。学习任务群被明确划分为六大类,成为了课标制定者重新构建、系统组织语文课程内容的坚固支架。

关键词：小学语文语文教学学习任务群义务教育语文课程标准单篇教学任务逻辑语文课程内容学生的学习

来源：评论

学校读者我要写书评

暂无评论

任务逻辑中的定理

引用

模糊系统与数学 2006年第6期20卷 15-20页

作者：许文艳荆云鹏西安电子科技大学理学院应用数学系 95588部队预警指挥引导系

基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。

关键词：任务逻辑模仿策略定理

来源：评论

学校读者我要写书评

暂无评论

描述任务逻辑及其应用

引用

计算机学报 2006年第3期29卷 488-494页

作者：张会李思昆国防科学技术大学计算机学院长沙410073

针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义,无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体属性的、可判定的... 详细信息

针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义,无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体属性的、可判定的任务逻辑系统———描述任务逻辑.将所构造的逻辑系统应用于具有组织的多主体系统行为建模,建立了基于描述任务逻辑的多主体组织模型和建模框架,并且表明应用描述任务逻辑构造应用系统具有表达能力强、结构紧凑的特点.

关键词：任务逻辑可判定描述语言多主体系统组织模型

来源：评论

学校读者我要写书评

暂无评论

从事实逻辑到任务逻辑

引用

模糊系统与数学 2004年第1期18卷 1-8页

作者：王国俊许文艳陕西师范大学数学研究所陕西西安710062

在经典命题逻辑语言中引入附加算子冂,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为"任务",介绍了"任务逻辑"的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理... 详细信息

在经典命题逻辑语言中引入附加算子冂,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为"任务",介绍了"任务逻辑"的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理,最后建立系统L中的一系列基本定理。

关键词：事实逻辑任务逻辑可靠性完备性可判定性命题逻辑

来源：评论

学校读者我要写书评

暂无评论

基于运行轨迹的任务逻辑关系的研究

基于运行轨迹的任务逻辑关系的研究

引用

作者：周圆广东工业大学

学位级别：硕士

随着现代计算机系统的发展以及计算机软件在社会各领域中的广泛应用,软件的规模不断扩大,复杂度越来越高,不免会存在一些缺陷。随着社会生产生活的日益信息化,人们对软件功能的需求也在不断发生变化。为了满足人们不断变化的需求,发现... 详细信息

随着现代计算机系统的发展以及计算机软件在社会各领域中的广泛应用,软件的规模不断扩大,复杂度越来越高,不免会存在一些缺陷。随着社会生产生活的日益信息化,人们对软件功能的需求也在不断发生变化。为了满足人们不断变化的需求,发现系统的缺陷及提高软件系统的可靠性,相关人员需要对软件系统不断进行修改及升级。因此,理解软件运行行为就成了发现软件缺陷,了解软件性能以及对软件进行优化的关键。理解软件运行时的行为成了国内外众多专家学者研究的热点。系统调用是程序访问系统资源的接口,在充分考虑到软件运行与操作系统之间的交互的背景基础上,本文提出使用系统调用信息为踪迹对软件任务逻辑进行分析研究。首先,本文引入了获取软件运行时系统调用的方法——代码插装技术,通过对软件进行动态插装,根据分析需求标记需要监视的系统调用函数,在软件运行调用这些系统函数时,动态记录下函数的输入输出参数,最终获得软件运行时的系统调用信息。一方面,动态插装能够获取软件运行实时的系统调用信息,能够准确反映出软件的行为。另一方面,对于程序员来说,动态插装不需要阅读源代码等相关的预备知识。然后,本文提出了基于系统调用踪迹的软件任务逻辑关系分析方法。该方法主要以系统调用序列和系统调用参数为根据制定相关规则,并根据这些规则从截取的系统调用踪迹中提取出软件任务的原子操作及其逻辑关系。接着本文使用后缀数组算法在已提取的原子操作逻辑的基础上分析软件任务的层次结构。最后使用计算树逻辑在Kripke迁移系统上描述软件任务的表现形态及状态变迁情况。本文使用Auto Debug对FTP文件传输软件重复多次下载文件的任务过程中的系统调用进行记录,然后针对这些记录用本文提出的方法进行分析,提取出FTP软件该下载任务的原子操作和逻辑结构。通过实例验证,本文方法可以提取出软件任务各原子操作及其逻辑关系并推断出表达任务逻辑含义的层次结构,能表达出任务的状态变迁,对理解软件设计和提取软件模型起到关键作用。

关键词：软件分析任务逻辑系统调用踪迹计算树逻辑

来源：评论

学校读者我要写书评

暂无评论

从命题材料中发掘任务逻辑

引用

中学语文 2023年第32期 102-104页

作者：赵晓月江苏新沂市第一中学

近年来高考作文大多是材料作文,作文题目中提供的这些材料在开阔考生思维的同时,也给考生审题立意带来一定的难度。因此,我们必须高度重视材料之间的关联,然后去确定作文的立意,深化作文的主题,形成符合表达意图的整体逻辑,也就是任务... 详细信息

近年来高考作文大多是材料作文,作文题目中提供的这些材料在开阔考生思维的同时,也给考生审题立意带来一定的难度。因此,我们必须高度重视材料之间的关联,然后去确定作文的立意,深化作文的主题,形成符合表达意图的整体逻辑,也就是任务逻辑。

关键词：材料任务逻辑逻辑思维

来源：评论

学校读者我要写书评

暂无评论

从命题多材料中发掘任务逻辑——以近年各地中考作文题为例

引用

中学语文教学参考 2023年第6期 73-75页

作者：戎振纲广东实验中学越秀学校广东广州510095

近年各地中考多材料作文,其逻辑关系类型有:相关材料类、无关材料类、相反材料类.梳理材料间的关系,对很好地完成审题立意、获得作文任务的内在逻辑具有重要作用.教学中要强化相关材料间的逻辑,建立无关材料间的逻辑,疏通相反材料间的逻... 详细信息

近年各地中考多材料作文,其逻辑关系类型有:相关材料类、无关材料类、相反材料类.梳理材料间的关系,对很好地完成审题立意、获得作文任务的内在逻辑具有重要作用.教学中要强化相关材料间的逻辑,建立无关材料间的逻辑,疏通相反材料间的逻辑,进而确定符合作文立意要求的任务逻辑.

关键词：多材料作文多材料逻辑梳理任务逻辑

来源：评论

学校读者我要写书评

暂无评论

任务逻辑的处理方法、装置及设备

任务逻辑的处理方法、装置及设备

引用

作者：田世坤朱凌俊石博英属开曼群岛大开曼资本大厦一座四层847号邮箱

本申请公开了一种任务逻辑的处理方法，所述方法包括：确定任务包含的任务逻辑；在一个线程内运行所述任务包含的任务逻辑。采用上述方法，解决现有技术存在的增加线程切换开销、增大处理时延的问题。

标准号: CN110798366B

关键词：任务逻辑处理时延线程切换线程申请

来源：评论

学校读者我要写书评

暂无评论

一种任务逻辑库生成方法和系统、数据处理方法和系统

一种任务逻辑库生成方法和系统、数据处理方法和系统

引用

作者：宋学东黄蔚 100088 北京市西城区新街口外大街28号D座112室(德胜园区)

本申请提供了种任务逻辑库生成方法和系统、数据处理方法和系统，涉及计算机技术领域。本申请的方法包括：加载应用的配置文件；所述的配置文件包括应用的各任务逻辑，所述各任务逻辑由至少一个原子操作标识按逻辑顺序配置；针对所述各... 详细信息

标准号: CN102542047B

本申请提供了种任务逻辑库生成方法和系统、数据处理方法和系统，涉及计算机技术领域。本申请的方法包括：加载应用的配置文件；所述的配置文件包括应用的各任务逻辑，所述各任务逻辑由至少一个原子操作标识按逻辑顺序配置；针对所述各任务逻辑，根据各任务逻辑中的各原子操作标识，从原子操作库中提取相应的原子操作生成可执行任务逻辑；将所述各可执行任务逻辑与相应的任务逻辑标识一起存入任务逻辑库。通过本申请，对于不同的应用，可根据每个应用的实际情况进行配置，并结合原子操作库生成相应的任务逻辑库，从而使不同的应用可以采用同一套代码，节省了人力成本和时间成本。

关键词：任务逻辑原子操作配置文件可执行库生成应用申请计算机技术领域加载应用人力成本时间成本数据处理顺序配置配置

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：