基于应对周边城市“虹吸效应”黔南州人口集聚提升策略研究

1

作者 李东升 潘春燕 《绿色科技》 2023年第7期215-219,共5页

近年来,随着黔中城市群的快速发展,人口集聚成为发展城市群必不可少的动因之一,因此,研究特定区域的制约人口集聚的影响因素就显得尤为重要。结合2000~2020年的贵州省各城市的常住人口数据,分别计算黔南州与省内城市、周边城市以及黔南... 近年来,随着黔中城市群的快速发展,人口集聚成为发展城市群必不可少的动因之一,因此,研究特定区域的制约人口集聚的影响因素就显得尤为重要。结合2000~2020年的贵州省各城市的常住人口数据,分别计算黔南州与省内城市、周边城市以及黔南州各城市的人口集聚度和黔南州不均衡指数,并对此进行人口集聚地区分类划分;其次,收集2000~2021年黔南州的相关数据,以黔南州人口集聚度为因变量,分别从自然因素、社会因素和经济因素中选取共29个指标来研究了黔南州人口集聚影响因素。结果表明:①2020年黔南州常住人口变异系数为33.68%,年均增加0.14%,呈现缓慢增长变化趋势;②2020年黔南州人口集聚度为0.61,表明黔南州的人口集聚程度较低;③第二产业占GDP比重、第三产业占GDP比重和基础设施指标对黔南州的人口集聚具有显著的正向影响。最后,在黔南州人口现状和人口集聚影响因素分析的基础上,提出了提升黔南州人口集聚能力的四大策略。 展开更多

关键词 人口集聚 变量选择 多元线性回归

在线阅读 下载PDF 职称材料

考虑扩散的SVEITR肺结核传播模型的最优控制策略

2

作者 李雅芝 刘利利 田妍妮 《数学物理学报(A辑)》 北大核心 2025年第3期934-945,共12页

该文建立了一个带有扩散因素的肺结核传播模型,引入提高个人防护意识,及时的检测和治疗,提高治疗水平以及降低复发率这四个控制变量,从理论和数值上讨论了肺结核的最优控制问题.首先使用偏微分方程的最优控制理论得到了最优控制的存在性... 该文建立了一个带有扩散因素的肺结核传播模型,引入提高个人防护意识,及时的检测和治疗,提高治疗水平以及降低复发率这四个控制变量,从理论和数值上讨论了肺结核的最优控制问题.首先使用偏微分方程的最优控制理论得到了最优控制的存在性,其次通过构造灵敏度系统和伴随系统,计算得出最优控制的特征,最后通过数值模拟展示了最优控制变量随时间变化的情况,并展示了最优控制效果,结果发现相比无控制情况,在控制终止时刻,最优控制可以显著降低潜伏者、染病者和接受治疗者的数量;相比单一控制情况,最优控制可以降低染病者峰值,延迟达峰时间,并减少染病者最终感染数量.所得结论可为一线疾病防控提供一定理论参考. 展开更多

关键词 肺结核 扩散模型 最优控制 数值模拟

在线阅读 下载PDF 职称材料

基于AHP理论的数学高考试题综合难度模型构建与应用 被引量：91

3

作者 武小鹏 孔企平 《数学教育学报》 CSSCI 北大核心 2020年第2期29-34,共6页

高考作为中国高利害性考试,其试题的难易程度直接影响着测试的质量和测量的公平性,综合难度系数模型能够在测试前对试题的整体难度做出评估,为有效合理的测量提供了保障。综合难度系数模型认为,影响数学高考试题难度的因素分为背景、是... 高考作为中国高利害性考试,其试题的难易程度直接影响着测试的质量和测量的公平性,综合难度系数模型能够在测试前对试题的整体难度做出评估,为有效合理的测量提供了保障。综合难度系数模型认为,影响数学高考试题难度的因素分为背景、是否含有参数、运算水平、推理能力、知识含量、思维方向、认知水平7个因素,各因素之间分为不同水平。研究选取16位数学学科专家对综合难度系数各因素与不同水平的难度做出比较评判,在此数据的基础上采用层次分析理论(AHP)对不同因素的权重和同一维度中不同水平的权重进行求解,进而建立了更为切合实际的综合难度系数模型。利用该模型对2019年理科数学全国Ⅰ和全国Ⅱ卷进行评价,并对该模型的应用前景和未来研究的方向进行了讨论。 展开更多

关键词 层次分析法 测试项目 综合难度 数学高考 难度模型

在线阅读 下载PDF 职称材料

美国高中数学教材评估标准的框架、立场与启示 被引量：4

4

作者 武小鹏 孔企平 张怡 《外国教育研究》 CSSCI 北大核心 2019年第10期71-85,共15页

教材评估标准作为教材研制、出版、发行以及选用的指导性文件,对保证教材质量、引导教材健康发展具有重要意义。美国教材评估标准分为国家层面和各州标准,美国国家层面的高中数学教材评估标准主要有《共同核心州立标准·高中数学出... 教材评估标准作为教材研制、出版、发行以及选用的指导性文件,对保证教材质量、引导教材健康发展具有重要意义。美国教材评估标准分为国家层面和各州标准,美国国家层面的高中数学教材评估标准主要有《共同核心州立标准·高中数学出版商标准》、《教学材料评价工具·高中数学》、《高质量教学材料工具·高中数学》和《高中数学课程与单元规定》,这四个标准在不可妥协标准和一致性标准两个方面存在着共性,在价值取向上有较明显差异。但总体而言,这些标准呈现"教材评估的价值取向:从立场单一转变为立场平衡;发展趋势:从实体思维转向实践思维;评价主体:从封闭集中发展为开放普适"的特征。美国教材评估标准对完善我国教材评估体系具有一定的参考价值。 展开更多

关键词 教材评估 高中数学 美国教材 教材审查

在线阅读 下载PDF 职称材料

基于TAP的数学概念教学论证过程量化研究设计 被引量：1

5

作者 武小鹏 张怡 《数学教育学报》 CSSCI 北大核心 2019年第6期76-80,共5页

推理论证能力是数学学习过程中的关键能力,尤其在重要概念的学习中,更应当强化概念的系统论证过程.图尔敏论证模型可将概念的论证过程加以结构化剖析,可以更明确深入地分析教师概念教学的论证过程,掌握教师课堂教学的论证水平.文章以图... 推理论证能力是数学学习过程中的关键能力,尤其在重要概念的学习中,更应当强化概念的系统论证过程.图尔敏论证模型可将概念的论证过程加以结构化剖析,可以更明确深入地分析教师概念教学的论证过程,掌握教师课堂教学的论证水平.文章以图尔敏论证模型为理论基础,借鉴Erduran等人对论证水平的划分,构建了数学概念教学论证水平分析框架.再按照课堂教学的IRF结构模式,将数学概念教学划分成若干个小的话轮.从话语分析的角度,对课堂教学的论证过程进行编码统计,进而做出量化分析.试图借助图尔敏论证模型和话语分析相关理论,构建数学概念教学论证分析框架,为数学概念教学的准确论证分析提供参考. 展开更多

关键词 图尔敏论证模型 IRF 论证教学 概念论证

在线阅读 下载PDF 职称材料

中国和韩国高考数学试题综合难度比较研究 被引量：59

6

作者 武小鹏 张怡 《数学教育学报》 CSSCI 北大核心 2018年第3期19-24,29,共7页

中国和韩国同属儒家文化圈,在高考制度上有着共同的特点,具有相互借鉴的价值.依据高考数学试题的特点,将传统的综合难度系数模型做了改进,再利用改进后的综合难度系数模型,对中韩两国近3年的高考数学试题从＂背景因素、是否含参、运算... 中国和韩国同属儒家文化圈,在高考制度上有着共同的特点,具有相互借鉴的价值.依据高考数学试题的特点,将传统的综合难度系数模型做了改进,再利用改进后的综合难度系数模型,对中韩两国近3年的高考数学试题从＂背景因素、是否含参、运算水平、推理能力、知识含量、思维方向、知识水平＂7个因素进行分析,比较得出＂中韩数学试题‘背景因素’有明显差异,韩国试题更加注重问题情境;韩国试题‘推理因素’难度水平偏低,注重演绎推理与合情推理的结合;中国高考数学试题‘综合难度’偏高,要求考生有一定的数学基础＂的结论,为中国高考数学试题的命制提供参考. 展开更多

关键词 综合难度系数 比较研究 高考试题 韩国高考

在线阅读 下载PDF 职称材料

落实素养为本的高考测评研究——以2020年全国I卷数学为例 被引量：18

7

作者 覃创 严忠权 李敏 《数学教育学报》 CSSCI 北大核心 2020年第6期21-24,共4页

高考对学生素养的考查成为促进素养落实的有效途径.《普通高中数学课程标准(2017年版)》(简称《课标》)对高中学生数学核心素养做了明确界定,依据课标,构建课标内容、高考内容和数学核心素养3者为一体的高考数学素养测评框架.在此基础上... 高考对学生素养的考查成为促进素养落实的有效途径.《普通高中数学课程标准(2017年版)》(简称《课标》)对高中学生数学核心素养做了明确界定,依据课标,构建课标内容、高考内容和数学核心素养3者为一体的高考数学素养测评框架.在此基础上,对2020年全国Ⅰ卷高考数学进行分析,研究发现:高考所考查的知识内容与课程标准的要求相吻合;《课标》在各主题重点突出的核心素养与高考在各主题考查到的素养高度一致;素养的考查不平衡,对工具素养的考查较少.据此提出数学高考改革建议如下:(1)从培养未来高素质人才的角度出发,合理编排内容,促进教育的改革.(2)加强命题技术研究,全面落实学生学科素养的考查. 展开更多

关键词 数学核心素养 数学高考 素养测评 高考改革

在线阅读 下载PDF 职称材料

核心素养为导向的数学测评研究——以2019年高考全国Ⅲ卷为例 被引量：17

8

作者 覃创 严忠权 《数学教育学报》 CSSCI 北大核心 2020年第2期24-28,共5页

数学学科核心素养由数学抽象、逻辑推理、数学建模、直观想象、数学运算和数据分析组成。核心素养测评是教学改革的风向标,将数学核心素养按其结构特征分为思维素养、方法素养、工具素养,以2019年高考全国Ⅲ卷为例,剖析素养的测评情况... 数学学科核心素养由数学抽象、逻辑推理、数学建模、直观想象、数学运算和数据分析组成。核心素养测评是教学改革的风向标,将数学核心素养按其结构特征分为思维素养、方法素养、工具素养,以2019年高考全国Ⅲ卷为例,剖析素养的测评情况。研究得出:2019年高考试题的形式与内容在继承中变化,在考查"四基""四能"同时,更注重数学学科核心素养的考查,彰显出素养的导向作用,试题向着教育改革的方向命制。 展开更多

关键词 核心素养 课程标准 测评 高考数学

在线阅读 下载PDF 职称材料

数学学科视域下课堂互动双编码模型应用研究 被引量：18

9

作者 武小鹏 张怡 《数学教育学报》 CSSCI 北大核心 2017年第5期59-65,共7页

课堂教学语言是课堂教学的载体,抓住了课堂教学语言信息就等于掌握了课堂教学的灵魂.以弗兰德斯互动分析系统为理论基础,构建了具有数学学科特征的课堂互动双编码分析模型.利用该模型对专家型和新手型两类教师的数学课堂从课堂互动矩阵... 课堂教学语言是课堂教学的载体,抓住了课堂教学语言信息就等于掌握了课堂教学的灵魂.以弗兰德斯互动分析系统为理论基础,构建了具有数学学科特征的课堂互动双编码分析模型.利用该模型对专家型和新手型两类教师的数学课堂从课堂互动矩阵、动态折线图和课堂互动变量3个方面做了分析.得出ET倾向于表达情感、及时反馈、辨析数学概念,而NT更倾向于维护权威、控制学生、内容陈述、观点判断. 展开更多

关键词 弗兰德斯互动系统 MFIAS 课堂语言评价 课堂互动

在线阅读 下载PDF 职称材料

基于伪F统计量的属性特征降维方法研究 被引量：5

10

作者 刘文博 梁盛楠 +1 位作者 余泉 董小刚 《东北师大学报（自然科学版）》 CAS 北大核心 2020年第1期43-49,共7页

提出了一种基于伪F统计量的特征选择算法(FSPF)来对属性特征进行降维,评价输入特征的重要性程度.通过特征重要性累积比率,获取了最具有区分能力的特征组合.利用加权K最近邻、随机森林、人工神经网络、决策树、梯度提升与支持向量机,对... 提出了一种基于伪F统计量的特征选择算法(FSPF)来对属性特征进行降维,评价输入特征的重要性程度.通过特征重要性累积比率,获取了最具有区分能力的特征组合.利用加权K最近邻、随机森林、人工神经网络、决策树、梯度提升与支持向量机,对真实数据集进行了分类.实验结果表明:经过FSPF特征选择算法进行变量重要性筛选后,可以较为有效地提高目前主流机器学习方法的分类预测性能. 展开更多

关键词 伪F统计量 特征降维 监督学习 分类预测

在线阅读 下载PDF 职称材料

基于茶文化视角的大学数学实验教学模式研究 被引量：4

11

作者 张大林 熊梅 《福建茶叶》 2019年第5期254-255,共2页

创新型人才的培养是大学教育的根本性任务.在大学数学教学过程中,实施数学实验教学,对创新型人才的培养起到至关重要的作用.从茶文化视角下有针对性的讨论了大学数学教学过程中存在的问题和数学实验教学实施的必要性和充分性.

关键词 创新 数学实验 实验教学 策略

在线阅读 下载PDF 职称材料

差转计算算法在连续型因素上的改进与应用

12

作者 赵静 包研科 《统计与决策》 CSSCI 北大核心 2024年第4期38-44,共7页

为解决差转计算算法在连续型数据下挖掘出的推理知识可靠性低、知识泛化效果差和泛化过程存在一定判别风险的问题,在概率论与数理统计、因素空间理论背景下,结合差转计算算法原理,文章提出了一种新的连续型数据离散化方法,并构造了累积... 为解决差转计算算法在连续型数据下挖掘出的推理知识可靠性低、知识泛化效果差和泛化过程存在一定判别风险的问题,在概率论与数理统计、因素空间理论背景下,结合差转计算算法原理,文章提出了一种新的连续型数据离散化方法,并构造了累积决定度、相对贡献度用于度量推理知识的可信赖程度。为验证所提离散化方法的有效性,将其与差转计算算法结合并应用于恶性肿瘤辅助诊断中,并以决策树为对比算法,实证结果表明:所提离散化方法与差转计算算法的融合有效提升了算法泛化效果,融合后的差转计算算法决策综合性能与决策树相当,且知识表达较决策树简单;构造的累积决定度、相对贡献度两个指标能够有效度量推理知识的贡献度和可信赖程度。 展开更多

关键词 知识挖掘 因素空间 差转计算算法 辅助诊断

在线阅读 下载PDF 职称材料

修正SEIQRDP传播模型的构建与分析

13

作者 杨忠保 刘泽山 +1 位作者 潘春燕 张大林 《复杂系统与复杂性科学》 CAS CSCD 北大核心 2024年第4期34-41,共8页

为研究SEIQRDP传播模型的状态,通过引入隔离控制策略,构建SEIQRDP_G传播模型;通过引入疫苗控制策略,构建四种不同修正SEIQRDP传播模型;采用基本再生数、决定系数和中位数绝对误差作为评价指标,模型在长春市的真实疫情数据进行实证分析... 为研究SEIQRDP传播模型的状态,通过引入隔离控制策略,构建SEIQRDP_G传播模型;通过引入疫苗控制策略,构建四种不同修正SEIQRDP传播模型;采用基本再生数、决定系数和中位数绝对误差作为评价指标,模型在长春市的真实疫情数据进行实证分析。实验结果表明,SEIQRDP_G传播模型最贴合实际的疫情数据;SEIQRDP_Y_1和SEIQRDP_Y2_2的基本再生数最少;SEIQRDP_Y2_1与SEIQRDP传播模型的决定系数最少。 展开更多

关键词 传染病 SEIQRDP传播模型 疫苗控制 隔离控制 修正SEIQRDP传播模型

在线阅读 下载PDF 职称材料

基于FIAS与PPE理论的课堂教学评价研究 被引量：27

14

作者 武小鹏 张怡 彭乃霞 《电化教育研究》 CSSCI 北大核心 2016年第11期93-99,107,共8页

语言是课堂教学的重要载体,抓住了课堂语言信息就等于掌握了课堂教学的本质。本研究以弗兰德斯互动分析系统为基础,构建了课堂教学语言量化综合分析框架。该框架包括矩阵分析和动态曲线分析两个维度。其中,矩阵分析分为课堂结构、风格... 语言是课堂教学的重要载体,抓住了课堂语言信息就等于掌握了课堂教学的本质。本研究以弗兰德斯互动分析系统为基础,构建了课堂教学语言量化综合分析框架。该框架包括矩阵分析和动态曲线分析两个维度。其中,矩阵分析分为课堂结构、风格倾向、情感气氛三个子维度;动态曲线分为教师语言、学生语言和沉默或混乱语言三个子维度。依据该框架,我们对课堂教学语言信息进行编码,结合PPE课堂语言等级评价模型,得到专家型和新手型两类教师的评价等级。本研究通过基于数据的评价方式,采用量化"切片"的技术,抛开传统的主观评价方式,通过充分挖掘数据背后隐藏的规律,发现课堂教学语言的隐性问题,为教师的课堂语言提出合理可操作的改进措施;同时也为学生学习数学在语言方面提出建议,达到进一步改进课堂教学的目的。 展开更多

关键词 大数据 FIAS PPE 课堂语言评价 课堂互动

在线阅读 下载PDF 职称材料

严格随机正则(3,s)-SAT模型及其相变现象 被引量：7

15

作者 周锦程 许道云 +1 位作者 卢友军 代寸宽 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第12期2563-2571,共9页

研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则(3,s)-SAT问题,并给出了该问题的实例产生模型——SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则(3,s)-SAT问题相变点的上界,即... 研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则(3,s)-SAT问题,并给出了该问题的实例产生模型——SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则(3,s)-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则(3,s)-SAT实例是高概率不可满足的。实验结果表明:由SRR模型所生成的随机实例中,当N>60且s>11时,所有的(3,s)-SAT实例均是不可满足的,而当N>150且s<11时,所有的(3,s)-SAT实例均是可满足的,即严格随机正则(3,s)-SAT实例的相变点位于s=11处,且在s=11处(子句变元比为11/3)的严格随机正则(3,s)-SAT实例,比在相变点(子句变元比)4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。 展开更多

关键词 严格正则(3 s)-SAT问题 相变性质 计算复杂性 难解实例产生模型 生成函数

在线阅读 下载PDF 职称材料

用于微型飞行器的高转速超声电机 被引量：4

16

作者 王乐 王永杰 +1 位作者 芦小龙 赵淳生 《振动．测试与诊断》 EI CSCD 北大核心 2018年第1期170-175,共6页

为了探索和实现超声电机在微型飞行器领域的应用,提出了一种微型高转速超声电机。该电机利用定子的面外弯曲振动模态,依靠接触摩擦驱动转子旋转,进而带动与之固连的旋翼高速运转。定子主体由基板和碳纤维管组合而成,碳纤维管竖直安置于... 为了探索和实现超声电机在微型飞行器领域的应用,提出了一种微型高转速超声电机。该电机利用定子的面外弯曲振动模态,依靠接触摩擦驱动转子旋转,进而带动与之固连的旋翼高速运转。定子主体由基板和碳纤维管组合而成,碳纤维管竖直安置于基板中心,具有放大定子基板振幅的作用,碳纤维管的两端锥面作为电机的驱动面来驱使转子旋转,激励原件为四分区的环状压电陶瓷。利用有限元软件Ansys15.0对电机定子有限元模型进行了分析,并对电机尺寸进行了优化,确定了定子的工作模式并模拟了定子驱动端面质点的三维运动轨迹。实验样机的机械特性实验结果表明,在驱动频率为30.9kHz、电压为350V_(p-p)激励信号下,电机最大转速可达到5 520r/min,产生的最大升力达到14mN。结果表明,该超声电机具有高转速、高稳定性的特点,为进一步应用于微型飞行器奠定了基础。 展开更多

关键词 压电陶瓷 超声电机 微型飞行器 升力

在线阅读 下载PDF 职称材料

随机正则(k,r)-SAT问题的可满足临界 被引量：7

17

作者 周锦程 许道云 卢友军 《软件学报》 EI CSCD 北大核心 2016年第12期2985-2993,共9页

研究k-SAT问题实例中每个变元恰好出现r=2s次,且每个变元对应的正、负文字都出现s次的严格随机正则(k,r)-SAT问题.通过构造一个特殊的独立随机实验,结合一阶矩方法,给出了严格随机正则(k,r)-SAT问题可满足临界值的上界.由于严格正则情... 研究k-SAT问题实例中每个变元恰好出现r=2s次,且每个变元对应的正、负文字都出现s次的严格随机正则(k,r)-SAT问题.通过构造一个特殊的独立随机实验,结合一阶矩方法,给出了严格随机正则(k,r)-SAT问题可满足临界值的上界.由于严格正则情形与正则情形的可满足临界值近似相等,因此得到了随机正则(k,r)-SAT问题可满足临界值的新上界.该上界不仅小于当前已有的随机正则(k,r)-SAT问题的可满足临界值上界,而且还小于一般的随机k-SAT问题的可满足临界值.因此,这也从理论上解释了在相变点处的随机正则(k,r)-SAT问题实例通常比在相应相变点处同规模的随机k-SAT问题实例更难满足的原因.最后,数值分析结果验证了所给上界的正确性. 展开更多

关键词 随机正则(k r)-SAT问题 可满足临界值 相变现象 计算复杂性

在线阅读 下载PDF 职称材料

本体知识库的模块与保守扩充 被引量：1

18

作者 余泉 常亮 +1 位作者 文习明 王驹 《计算机工程与科学》 CSCD 北大核心 2016年第11期2261-2267,共7页

模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上,给出了知识库保... 模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上,给出了知识库保守扩充的验证算法,并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。 展开更多

关键词 知识库 模块抽取 模块整合 通用模块

在线阅读 下载PDF 职称材料

多智能体模态逻辑系统KD45_n中的知识遗忘

19

作者 文习明 方良达 +2 位作者 余泉 常亮 王驹 《计算机科学》 CSCD 北大核心 2019年第7期195-205,共11页

遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研... 遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算。为此,多智能体模态逻辑系统KD45 n中的知识遗忘值得进一步研究。首先,基于模型理论给出知识遗忘的定义;接着,分析KD45 n中知识遗忘的主要性质;最后,提出KD45 n中计算知识遗忘的有效算法。该算法利用人工智能领域解决难求解问题的主要方法之一——知识编译技术,将一般公式编译成交替覆盖析取范式,再利用该范式进行知识遗忘的有效计算。研究结果表明,在KD45 n中满足一些很重要的知识遗忘性质,其计算时间复杂度是交替覆盖析取范式公式长度的多项式时间(原公式长度的双重指数时间)。与现有的非初等时间复杂度算法相比,所提算法更高效、更实用。 展开更多

关键词 多智能体模态逻辑 知识推理 知识编译 知识遗忘

在线阅读 下载PDF 职称材料

多智能体认知解释诊断类

20

作者 余泉 常亮 《计算机科学》 CSCD 北大核心 2017年第7期251-256,274,共7页

解释诊断是基于模型诊断研究领域的一个重要分支。针对认知解释诊断的可判定的片段,给出了认知解释诊断类的定义,并给出了一个求解唯一认知解释诊断类的算法。

关键词 认知规划 解释诊断 认知解释诊断类 多智能体系统

在线阅读 下载PDF 职称材料