描述任务逻辑及其应用

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

数字游戏中的协同——描述任务逻辑方法

传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规划进行了形式化描述,给出了任务和规划可完成性的定义,以及联合策略下的规划可完成性的判定理论.通过示例说明,描述任务逻辑方法能够准确地描述虚拟群体高层指挥关系的任务交互语义,同时又能提供协同规划可完成性的可判定的推理验证服务.

基于描述任务逻辑的群体组织协同关系模型

群体组织模型是深入研究群体协同行为的基础,而现有的组织模型大多集中在对Agent组织的结构或个体低层指令级的交互上,不能描述组织高层的动态任务交互。提出一个新的群体组织协同关系模型GRNA。该模型包含两个子模型:认知模型和交互模型。认知模型构建于领域本体之上,为GRNA模型提供准确的术语定义;交互模型则基于描述任务逻辑理论,反映了群体的任务协同语义。实例分析表明,GRNA支持对群体规范和能力的描述,提供了组织任务可完成性的可判定的推理服务,能够描述组织的高层任务交互语义。

从事实逻辑到任务逻辑

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

任务逻辑中的定理

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

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

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

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

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

促进学科核心素养发展的化学学习任务:要素、逻辑与功能

学习任务是促进学科核心素养发展、落实"素养为本"的课堂教学的核心因素。从学习任务的构成要素、逻辑关系以及素养发展功能等角度进行分析,旨在促进基于化学学科核心素养发展的课堂教学设计与实施。

海警缉私任务规划模型研究

为提高海警海上执法效率、节约海上缉私成本,建立了海警海上缉私任务规划模型。首先,通过对海警海上缉私任务规划问题中的要素进行分析,基于P/A网络图将缉私任务简化得到任务逻辑图;然后,用浮点数进行编码,使用改进的双染色体遗传算法进行实验求解,得到一个较为完善的海上缉私任务规划;最后,以某次海上缉私任务为例,对建立的模型进行了实际运用。结果表明:该模型得到的规划与实例结果基本符合,具有较高的效率和很强的时效性、完整性及抗影响性。

逻辑思维训练在创新教育中的应用研究

首先分析逻辑思维的含义和基本特点,进而探讨逻辑思维训练的主要内容和主要作用;然后通过对创新的本质和创新教育的基本特征的分析,把创新视为创造性地解决问题的活动;其后探讨在创新教育中的实施逻辑思维训练的主要任务;最后提出在创新教育中实施逻辑思维训练的原则、途径和方法。

嵌入式系统裸机的任务调度应用设计

在中低端MCU的嵌入式系统软件设计中,为了节省有限的RAM资源,只能采用不加操作系统的裸机方式。为了借鉴操作系统的任务调度机制,在裸机开发方式中,设计一种不带任务堆栈的逻辑任务,按照具体应用划分若干逻辑任务,这些逻辑任务共享一个系统堆栈,每个逻辑任务都有自己的事件队列和任务处理程序,任务之间通过发送事件的形式进行通信。这种方案既避免了加载操作系统对系统RAM资源和MCU计算资源的消耗,又能够实现类似于操作系统的任务调度机制,实现软件的模块化,从而设计出低耦合、高内聚的软件。

基于CMOS系统审计项目全周期管理的设计与实践

为了借助信息化手段实现审计项目全周期管理,在评估现实的信息化条件的基础上,分析审计项目管理的现状和存在的问题,进一步明确系统需求。基于系统需求,在企业CMOS系统的计划管理模块功能基础上,从基础设施层(IaaS)、中间件层(PaaS)、研发体系层等七个层级进行系统架构设计,并通过管控页面和逻辑表单进行系统功能设计,实现对审计项目作业的持续监督和全周期管理信息化。该系统设计可视化了内部审计项目的时间范围和空间范围,实现了审计作业集中化的远程网络审计,促进了审计信息的流通和共享。

技术知识观视角下的高职专业课程改革

技术知识观是制约高职专业课程发展的重要变量。在高职专业课程的改革中,必须依据当代技术知识观,确立与之相适应的培养完整"职业人"的多元课程目标体系,实现从实践能力的提高到实践智慧的生成;构建以"任务逻辑"为组织方式的课程模式,实现多种形态技术知识在课程中的整合;超越学校本位学习与工作本位学习,实现课程实施途径与教学方式的多样化。

虚拟实体组织行为建模方法研究

虚拟实体组织行为建模主要研究虚拟世界中有组织的实体群的组织关系及其活动规律。提出了一种新的基于描述任务逻辑的虚拟实体组织行为建模方法,建立了一个将虚拟实体群的组织结构关系、协同行为功能规划和组织规范三个维有机结合的组织行为模型,结构简单,能满足像战场实体群等面向任务的有组织的虚拟实体群的行为建模的需要。设计并实现了一种符合XML标准的虚拟战场兵力实体组织行为建模语言CBML,能实现对虚拟实体组织行为模型的描述,并提供较强的推理功能,经用户初步使用表明,具有简洁、易用、高效的特点。

虚拟群体组织协同行为建模实践方法

将虚拟群体组织协同行为模型的建立过程分为两个阶段:任务交互设计阶段和模型抽象阶段。任务交互设计阶段以任务分解为牵引,通过任务分解、交互设计和行为确定三个有机结合的步骤,实现对组织协同行为过程的初步设计。模型抽象阶段在初步分析阶段得到的协同行为过程的基础上,进行进一步的分析和抽象,通过结构、元素和关系三个层次的设计,建立组织协同行为模型。使用结果表明:该方法可以有效地指导虚拟群体组织协同行为模型的设计。

动态使命环境下指控资源动态规划组织的仿真研究

指挥控制资源动态规划组织(TAC2O)是一个面向特定作战使命环境灵活构建的指挥控制组织。提出了TAC2O的概念和性能评价仿真框架。针对作战环境下TAC2O组织性能分析对时间要求的紧迫性,在CPN模型中引入了控制变量的概念,将TAC2O组织的各种参数以及使命任务之间的逻辑关系采用初始标识进行描述,建立了在动态使命环境下能够保持模型结构不变的TAC2O组织仿真模型。研究了一套使命任务之间逻辑关系到CPN模型中控制变量初始标识的转换规则,最后用实例验证了模型的可行性和正确性。

处突维稳行为建模仿真方法研究

非战争军事行动能力建设是我军建设的一个重要内容。目前极少有针对非战争军事行动的建模仿真研究。基于描述任务逻辑理论建立了一个计算机生成群体兵力模型GCGF。该模型具有层次结构,适宜描述不同规模的群体。并采用该模型对处突维稳型非战争军事行动进行了分析研究,军事群体对象能够正确做出符合处突原则的反应,效果良好,达到了预期目的。

多约束条件下基于蒙特卡洛仿真的进度风险评估方法

复杂项目的建设周期长、资源有限、不确定因素多,项目风险评估对项目成功与否起关键作用,其中进度风险评估是必不可少的一个环节。本文针对复杂项目中任务多逻辑关系,提出了基于蒙特卡洛仿真的进度推进算法;针对项目资源有限这个约束条件,提出了基于全拓扑排序的资源冲突解决策略,并给出了全拓扑排序的优化方案。最后介绍了实现的进度风险评估系统,并结合项目实例的2 000次仿真阐述了进度风险的计算,验证了算法及系统的可行性。该系统可帮助项目决策者识别关键任务和评估进度风险。

情境逻辑:情境化命题的关键

情境化命题存在情境可有可无,逻辑不清晰,内涵不够等问题.情境需要具体的建构,要呈现出一个有机的整体,让情境能真正支持学生完成有意义的学习,就要建立试题情境的清晰逻辑.明确情境诉求,可从确立目标、提示策略、明确角色定位等角度传递出情境立意,为命题提供逻辑依据;架构情境结构,在呈现情境的不同组成部分时遵守逻辑秩序;厘清任务逻辑,为学生从思考问题的起点走向解决问题的终点提供路径.清晰合理的情境逻辑是创设真实有效情境的关键,而高品质的情境方能确保试题的质量和效度.

村干部管理改革中的行政嵌入与镇村关系调试——基于和镇“千分制”考核制度实施过程的分析

加强村干部队伍建设是推进基层治理体系和治理能力现代化的关键。以和镇“千分制”考核制度建设为例,解析自上而下行政管理的实践逻辑。考核旨在强化政府对村级行政控制权,推进村干部队伍的规范化与精准管理,通过建立以目标考核责任制、打卡坐班制、绩效工资制和职务任免制等为核心的制度体系,促使村干部转变为准行政官僚并开启制度替代人情进程,镇村日益形成“发号施令者—执行者”、“检查验收者—被检查者”的去人缘化刚性关系。但当制度规则因突破人情规则而导致镇村关系出现裂痕时,为维持彼此关系稳定并推动任务完成,乡镇政府开始有限度地退让,通过共谋或默许的方式对考核政策予以变通,为人情规则创设生存空间。检查者和被检查者间的共谋现象表明,乡镇政府遵循着实用工具主义的任务完成逻辑,并非完全以发现被检查者的问题为目标,而是将检查作为督促和控制的手段推进任务落实。