Task scheduling for multi-electro-magnetic detection satellite with a combined algorithm

Task scheduling for electro-magnetic detection satellite is a typical combinatorial optimization problem. The count of constraints that need to be taken into account is of large scale. An algorithm combined integer programming with constraint programming is presented. This algorithm is deployed in this problem through two steps. The first step is to decompose the original problem into master and sub-problem using the logic-based Benders decomposition; then a circus combines master and sub-problem solving process together, and the connection between them is general Benders cut. This hybrid algorithm is tested by a set of derived experiments. The result is compared with corresponding outcomes generated by the strength Pareto evolutionary algorithm and the pure constraint programming solver GECODE, which is an open source software. These tests and comparisons yield promising effect.

新时代中国共产党的中心任务的生成逻辑与价值意蕴

中国共产党提出的中心任务内涵极为丰富,其背后是历史逻辑、理论逻辑和现实逻辑一体化的三维建构。以继承发展中华优秀传统文化、总结近现代发展经验教训、继承创新党已有的思想理论成果为主要构成的历史逻辑;以马克思主义为根本指导理论、党的指导思想为理论先导的理论逻辑;以三件大事为基础、解决实际问题为现实需要、三大规律为内在要求的现实逻辑是梳理分析党的中心任务的重要视角。中心任务的话语及其实践具有深刻的价值意蕴,聚焦驱动中华民族伟大复兴进程、坚持党的全面领导、创新人类探索现代化理论与实践三个层面,是深入理解并落实中心任务的重要思路。

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

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

基于反事实的相关背景知识获取方法

在多任务学习中,学习器会将已学到的知识添加到背景知识库中,并利用这些背景知识来辅助其他任务的学习。然而,随着背景知识的不断积累,知识库可能会变得庞大,给学习系统带来负担。因此,有必要对不相关的背景知识进行遗忘。现有的遗忘策略往往未充分考虑背景知识与学习任务之间的关联性,而是为不同的归纳任务提供相同的背景知识。针对这一问题,提出了一种基于反事实思维的相关性识别方法,即反事实获取法。该方法通过相关性函数评估每个假设对学习任务的具体贡献,仅保留那些相关性函数值超过设定阈值的假设。此外,该方法应用于归纳逻辑编程领域,设计出一个名为Countergol的多任务归纳逻辑编程学习器。理论分析显示,Countergol能够有效地缩减假设空间及样本复杂度。实验结果表明,通过与其他遗忘方法的对比,Countergol在大量任务学习中的优越性得到了进一步验证。

“钟摆逻辑”:有限结构化的村务工作模式——基于湖北S村的经验研究

我国村级组织具有复杂性,在村务工作的组织模式、规范要求和具体内容等层面存在较大差异。研究发现,基层的村务工作呈现出明显的“钟摆逻辑”,即面对常规任务和特殊任务采取不同的应对方式。在处理常规任务时,运用分工合作的模式,将任务进行条线分割,主要采用坐班制、固定工作场所及规则治理等手段;而面对特殊任务时,则结成“行动班子”,以团结合作、工作动员等方式来应对。这种在常态模式与动员模式之间的切换使得村务工作处于有限结构化的状态,有助于提升基层治理效能。

新时代“两个中心论”统一的内在逻辑

以经济建设为中心和以人民为中心统一于马克思主义理论逻辑,贯穿于新中国成立以来党的全部奋斗历程。准确把握和正确处理好“两个中心”的辩证统一关系,有利于促进经济社会发展和人的全面发展良性互动。

乡村治理中“一肩挑”制度研究综述

新时代背景下,为加强乡村基层治理体系,提升治理效能,“一肩挑”制度在党的十九大后正式成为政策导向。学者们围绕其实施逻辑、制度优势、当前挑战及应对方案进行详尽探讨,产出一系列高质量的理论贡献,为学术研究铺就坚实基础。然而,当前成果尚存局限。展望未来,应关注“一肩挑”制度的新动向,探究其在乡村治理中的新角色与模式,并强化跨学科研究,为乡村振兴和治理提供更为全面深入的理论支撑与实践指引。

基于EPMM的任务和活动的规范化研究

为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。

基于线性时序逻辑的最优巡回路径规划

基于线性时序逻辑(Linear temporal logic,LTL)的路径规划方法中,多点巡回路径规划问题尚无有效解决方案.为了在道路网络中实现最优巡回监测,提出了基于LTL的最优巡回路径规划方法.首先,将环境建模成一个切换系统,用LTL语言描述包含多个巡回点和障碍物的任务需求;接着,利用循环移位法构建能够融合任务需求和环境模型的扩展乘机自动机,以建立路径信息完整的网络拓扑;最后,采用基于迪科斯彻法的最优综合算法搜索扩展乘机自动机网络上的最优路径,从而获得能够满足复杂任务需求的最优巡回路径.仿真结果表明,该方法能够有效实现最优巡回路径规划.

描述任务逻辑及其应用

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

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

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

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

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

面向中国式现代化的国土空间格局优化:基本遵循、理论逻辑和战略任务

研究目的:立足中国式现代化五大基本特征,剖析国土空间格局优化和中国式现代化的关系,为国土空间治理体系和治理能力现代化水平的提升提供参考。研究方法:文献研究法,综合分析法。研究结果:(1)中国式现代化具有的人口规模巨大、全体人民共同富裕、物质文明和精神文明相协调、人与自然和谐共生、走和平发展道路五大特征是国土空间格局优化的基本前提、基本要求、基本原则、基本伦理和基本追求;(2)国土空间格局优化能够以“人地耦合”的基础逻辑、“规律纠偏”的功能逻辑、“文化精神”的引导逻辑、“生态文明”的支撑逻辑和“全球治理”的参与逻辑,助力中国式现代化的实现;(3)基于“需求—功能”的匹配思路,面向中国式现代化的国土空间格局优化战略任务是打造人地协调、融合均等、文明有序、优美和谐和安全共治的国土空间新格局。研究结论:中国式现代化的五大特征是国土空间格局优化的基本遵循,而国土空间格局优化则是助力中国式现代化实现的有效手段。未来,国土空间格局优化应当沿着中国式现代化的根本道路,不断提升国土空间治理体系和治理能力现代化水平。

时序逻辑控制的多席位任务协同调度算法

针对指挥控制方舱多席位任务协同的时效性问题,从时间和状态的角度,把复杂的指挥控制过程进行描述和任务编码,以任务树和任务执行甘特图的形式,建立了基于任务时序排列的多席位任务协同模型,并利用空闲事件驱动策略,提出了针对该模型的时序逻辑调度算法。实例仿真分析表明:相对于传统方式,算法使系统协同过程总的空闲时间减少了9%,任务整体并行执行时间减少了4.6%,该模型和算法能很好地描述和优化指挥控制过程中的多席位任务协同过程,减少任务协同过程中的空闲时间和任务整体并行执行时间,从而提高作战效率。

基于时序活动逻辑的复杂系统多Agent动态协作模型

动态复杂问题求解是人工智能和复杂自适应系统理论与应用重要研究领域,多Agent动态协作是研究热点和难点之一,如何将问题与任务切分有待进一步地研究.借鉴组织学思想将自适应系统中的自主运行单元抽象为Agent,把复杂自适应系统视为多Agent系统组织,从时间和状态角度对复杂动态系统的行为进行描述,提出了基于时序活动逻辑的多Agent系统动态协作任务求解自适应机制和构造模型,建立了用于协作推理的语义规则、授权规则和行为规则,通过在中国科学院智能信息处理重点实验室开发的MAGE等平台上多方实验和仿真测试,验证了方法的可行性和有效性.

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

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

四卡问题解决中的匹配偏向再探

选取经典的四卡问题作为实验材料,深入探讨了“综合考虑证真证伪作用”的提示以及逻辑分析过程对被试解决四卡问题不能产生促进效应的原因。结果发现:(1)多数被试能对卡片P和-Q进行正确的逻辑推断,但是最后却仍然倾向于选择卡片Q而非-Q,这种错误并非是由于附加的认知任务使得被试的短时记忆容量超载所致。(2)元音偶数组与元音非偶数组的被试对四张卡片作出正确逻辑推断的人数百分比基本一致,但是后者选择P-Q的人数百分比却显著高于前者,这表明多数被试似乎并不依据逻辑分析的结果及其命题检验的规则来作出选择,而是采用匹配策略,错误地选择了Q卡片。

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

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

面向云雾计算的实时任务调度算法的设计及分析

相比于云计算,雾计算通过将计算、存储和网络服务靠近物联网设备,满足了时延和响应时间要求。为此,提出基于模糊逻辑的实时任务调度(fuzzy logic-based real-time task scheduling,FLTS)算法。先利用模糊逻辑算法合理地给云层和雾层分配任务,当雾层执行任务时,就依据任务对计算、存储和带宽要求以及任务的截止日期、数据尺寸,选择最适宜的虚拟机处理任务。仿真结果表明,相比于同类算法,提出的FLTS算法提升了执行任务的成功率、完成时间以及平均周转时间等性能。

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

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