期刊文献+
共找到26篇文章
< 1 2 >
每页显示 20 50 100
基于关系的函数题目自动解析和解答方法
1
作者 孙慧慧 余新国 +1 位作者 孟皓 吕小攀 《计算机应用与软件》 北大核心 2024年第2期257-263,共7页
关系表示作为数学题目解答的基本问题而广受关注,而对于含有函数的题目解答,由于函数关系本身的复杂性以及表达方式的多样性,使得该问题超出了现有解题范围,为解答提出了新的挑战。针对这一问题,提出一种基于关系的自动解析和解答算法... 关系表示作为数学题目解答的基本问题而广受关注,而对于含有函数的题目解答,由于函数关系本身的复杂性以及表达方式的多样性,使得该问题超出了现有解题范围,为解答提出了新的挑战。针对这一问题,提出一种基于关系的自动解析和解答算法。扩展关系表示方式使其满足函数关系表示与计算的需要;通过改进句法语义模型和提出图形关系模式分别从文字和图形中提取关系;根据函数的模型化定义识别和提取函数关系;利用函数关系与数量关系进行等量代入,消除参数得到解答结果。对采集的数据集进行验证,与基于框架的基线方法相比较,该算法能够获得较好的结果,有效完成了83%的题目理解和66%的正确解答率。 展开更多
关键词 数学题目解答 关系解答 函数关系 句法语义模型 自动解答
在线阅读 下载PDF
基于序列公式树模型的电学问题解答方法
2
作者 菅朋朋 刘浩宇 +3 位作者 闫鸣 王彦丽 杨阳蕊 刘雪梅 《计算机工程》 CAS CSCD 北大核心 2024年第11期399-408,共10页
自适应理解和求解语义多变的问题文本是机器解答电学问题的关键挑战,现有方法多侧重于问题文本的语义分析和结构分析,无法将问题文本解析为类人解答的求解形式。为此,构建一种基于序列公式树模型的电学问题解答方法。首先通过问题文本... 自适应理解和求解语义多变的问题文本是机器解答电学问题的关键挑战,现有方法多侧重于问题文本的语义分析和结构分析,无法将问题文本解析为类人解答的求解形式。为此,构建一种基于序列公式树模型的电学问题解答方法。首先通过问题文本预处理标准化文本元素、关系提取,生成预编码序列和直陈关系序列。其次使用双向门控循环编码器对预编码序列进行特征编码,生成隐藏状态序列。再通过构建电学定理图,使用图卷积神经网络(GCNN)编码器建立直陈关系序列和定理之间的关联关系,将定理图中的关系结点转化为向量表示,生成公式结点嵌入状态序列,并提取不同变量之间的隐含电学关系。最后构建树形结构的解码器对隐藏状态序列和公式节点嵌入状态序列进行解码,形成问题的序列-公式树结构的求解式,实现电学问题的可读解答。构建一个包含3027个电学问题的数据集TexPE-3K,并对其进行标准化和信息标注。在数据集TexPE-3K上的实验结果表明,关系提取的平均准确率达到了96.8%,可读解答的平均准确率达到了55.57%,验证了该方法的可行性和有效性。 展开更多
关键词 电学问题 序列公式树模型 关系提取 可读解答 图神经网络
在线阅读 下载PDF
并行分布环境下的黑板模型 被引量:4
3
作者 冯少荣 肖文俊 《华东理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第1期96-102,共7页
黑板模型支持并行性,它是分布式和并行编程可用的强有力的模型之一。在一个需要并行性和分布式编程的系统中,黑板模型有助于组织和概念化并发性及通信。本文着重分析了黑板模型的结构、构造方法、控制策略。基于CORBA(Common Object Req... 黑板模型支持并行性,它是分布式和并行编程可用的强有力的模型之一。在一个需要并行性和分布式编程的系统中,黑板模型有助于组织和概念化并发性及通信。本文着重分析了黑板模型的结构、构造方法、控制策略。基于CORBA(Common Object Request Broker Architecture)对象和全局对象研究了黑板和知识库的实现。最后,通过一个具体实例的实现方法和过程,说明了黑板模型解决分布式和并行编程问题的可行性。 展开更多
关键词 黑板模型 并行分布 知识库 问题解决者
在线阅读 下载PDF
SAT问题求解器重启策略对比分析 被引量:2
4
作者 郭莹 张斌 张长胜 《小型微型计算机系统》 CSCD 北大核心 2013年第12期2729-2733,共5页
已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避免重启策略选择的随意性,同时启发设计更好的重启策略,本文选择了具有代表性的7种重启策略,以目前广泛采用... 已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避免重启策略选择的随意性,同时启发设计更好的重启策略,本文选择了具有代表性的7种重启策略,以目前广泛采用的Minisat为基本求解器,在国际SAT2011竞赛中实际应用类基准测试集之上进行了实验对比分析.结果表明:(1)不同重启策略对SAT求解器的求解过程和求解性能影响巨大;(2)在应用类测试集上,几何序列调度策略的平均综合性能优于其他策略;(3)在限定范围内,重启频率越大,求解器综合性能越好;(4)增量变化的重启频率可以克服固定重启频率导致不完备搜索的问题. 展开更多
关键词 可满足性问题 求解器 冲突驱动子句学习 重启策略
在线阅读 下载PDF
分布式β-PSML语言框架及其应用 被引量:3
5
作者 苏依拉 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2005年第4期427-433,共7页
为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在... 为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在语义Web和社会网络上的全局信息源与在企业门户中的本地知识与数据库完成.实验结果表明,分布式β-PSML语言通过结合全局与本地资源推理可给出正确的结果. 展开更多
关键词 问题解决标记语言 网络智能 语义WEB
在线阅读 下载PDF
MEMS器件虚拟运行中运动规律求解器的设计与实现 被引量:1
6
作者 谭宜勇 赵新 卢桂章 《高技术通讯》 CAS CSCD 北大核心 2005年第12期24-29,共6页
针对虚拟运行(在器件动态模型的基础上对MEMS器件运动性能进行评测的设计工具,其作用在于建立MEMS设计参数与器件运行之间的直接联系)中运动规律的联立、求解和实时仿真等问题,分析了几种典型MEMS器件的动态模型,提出了运动规律求解器... 针对虚拟运行(在器件动态模型的基础上对MEMS器件运动性能进行评测的设计工具,其作用在于建立MEMS设计参数与器件运行之间的直接联系)中运动规律的联立、求解和实时仿真等问题,分析了几种典型MEMS器件的动态模型,提出了运动规律求解器的设计原理和体系结构,其中包括三项关键技术:物理运动规律在部件库系统中的形式化表示,物理问题自动求解的推理算法,以及离线编译的优化技术.最后,设计和实现了运动规律求解器原型系统,并在该系统中测试了微泵的虚拟运行,达到了通过修改阀片设计参数和膜片驱动参数实时观察虚拟运行中状态相应变化的目标,即在微泵的设计参数与其运行之间建立了直接的关联关系. 展开更多
关键词 微电子机械系统(MEMs) 虚拟运行 运动规律 自动求解 编译
在线阅读 下载PDF
β-PSML语言中的混合推理算法 被引量:1
7
作者 苏依拉 刘椿年 《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第10期1413-1417,共5页
研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混... 研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件. 展开更多
关键词 WEB智能 智慧Web 分布式问题解决 问题解决标记语言 混合推理
在线阅读 下载PDF
综合型工程专家系统开发环境HESE的设计与实现 被引量:3
8
作者 倪天倪 《河海大学学报(自然科学版)》 CAS CSCD 1993年第1期62-69,共8页
HESE (Hohai Expert System Environment)是针对工程类同题特点而发展的专家系统开发环境.该系统采用高度模块化的装配式结构,由工程知识获取系统、综合求解运行系统和其他支持系统组成;支持多种推理模式、数值计算和图形处理的综合求解... HESE (Hohai Expert System Environment)是针对工程类同题特点而发展的专家系统开发环境.该系统采用高度模块化的装配式结构,由工程知识获取系统、综合求解运行系统和其他支持系统组成;支持多种推理模式、数值计算和图形处理的综合求解;是一种功能强大、便于开发的开放型环境.本文着重介绍其总体构成,知识表示和综合推理思想. 展开更多
关键词 知识工程 专家系统 设计 HESE
在线阅读 下载PDF
DIES:一个领域独立的专家系统 被引量:1
9
作者 褚东升 《计算机科学》 CSCD 北大核心 1995年第2期76-78,81,共4页
DIES系统是一建造基于知识的自动问题求解器的领域独立专家系统.在该系统中其描述性知识和规范知识(规则)均为知识库中的标准类型项.DIES系统具有双重结构,即认知系统和求解系统,并可满足下列要求。
关键词 专家系统 DIES 知识库
在线阅读 下载PDF
求解QBF问题的启发式调查传播算法 被引量:11
10
作者 殷明浩 周俊萍 +1 位作者 孙吉贵 谷文祥 《软件学报》 EI CSCD 北大核心 2011年第7期1538-1550,共13页
提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Propagation信息传递方法应用到QBF求解问题中.利... 提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Propagation信息传递方法应用到QBF求解问题中.利用Survey Propagation作为启发式引导DPLL(Davis,Putnam,Logemann and Loveland)算法,选择合适的变量进行分支,从而可以减小搜索空间,并减少算法回退的次数.在分支处理过程中,HSPQBF系统结合了单元传播、冲突学习和满足蕴涵学习等一些优秀的QBF求解技术,从而能够提高QBF问题的求解效率.实验结果表明,HSPQBF无论在随机问题上还是在QBF标准测试问题上都有很好的表现,验证了调查传播技术在QBF问题求解中的实际价值. 展开更多
关键词 人工智能 QBF问题 QBF问题求解器 因子图 调查传播 冲突学习 满足蕴涵学习
在线阅读 下载PDF
β-PSML语言的推理及应用
11
作者 苏依拉 郑磊 +2 位作者 刘椿年 钟宁 LIU Jiming 《计算机工程》 EI CAS CSCD 北大核心 2005年第23期146-147,168,共3页
随着Web的发展,用户检索有用的信息变得越来越难。因此,在Web环境下,迫切需要研发相应的系统解决这个问题。而这一系统的核心是问题解决标记语言和基于PSML语言的Web推理引擎。该文提出了β-PSML语言的推理算法,并说明了某些查询仅使用P... 随着Web的发展,用户检索有用的信息变得越来越难。因此,在Web环境下,迫切需要研发相应的系统解决这个问题。而这一系统的核心是问题解决标记语言和基于PSML语言的Web推理引擎。该文提出了β-PSML语言的推理算法,并说明了某些查询仅使用Prolog或OWL其中之一的推理引擎无法得到结果,只有通过结合Prolog和OWL二者的推理引擎进行推理才能得出结果。实验结果表明该方法是有效的,原型系统在语义Web上可得到良好的结果。 展开更多
关键词 问题解决标记语言 网络智能 语义WEB
在线阅读 下载PDF
β-PSML语言在WI的分布式环境中的应用
12
作者 苏依拉 刘椿年 《北京工业大学学报》 EI CAS CSCD 北大核心 2011年第2期260-265,共6页
在分布式、网络计算环境中,为了使在线的发现和匹配方法可行,采用预先定义的问题解决标记语言(problem solver markup language,PSML)的语法和语义开发和编写个体的内容和服务.在大型分布式Web环境下,提出了一种基于β-PSML的问题解决方... 在分布式、网络计算环境中,为了使在线的发现和匹配方法可行,采用预先定义的问题解决标记语言(problem solver markup language,PSML)的语法和语义开发和编写个体的内容和服务.在大型分布式Web环境下,提出了一种基于β-PSML的问题解决方法.实例表明,该方法可以很好地解决在分布式环境中的一些具体问题. 展开更多
关键词 WEB智能 智慧Web 分布式问题解决 问题解决标记语言
在线阅读 下载PDF
基于可满足性问题求解器的星上FPGA永久损伤容错技术研究
13
作者 孙兆伟 刘源 +2 位作者 赵丹 陈健 张世杰 《宇航学报》 EI CAS CSCD 北大核心 2011年第3期652-659,共8页
现代卫星广泛使用的FPGA在空间高能粒子的影响下,会产生门电路的永久性损伤。而传统的三模冗余等容错方法不但成倍增加了系统硬件开销,还存在因冗余器件耗尽而失效的风险。因此,提出一种利用FPGA自身冗余资源,修复永久性损伤的容错方案... 现代卫星广泛使用的FPGA在空间高能粒子的影响下,会产生门电路的永久性损伤。而传统的三模冗余等容错方法不但成倍增加了系统硬件开销,还存在因冗余器件耗尽而失效的风险。因此,提出一种利用FPGA自身冗余资源,修复永久性损伤的容错方案。该方案通过建立FPGA内部资源的功能模型,将容错问题转化为数学上的可满足性问题。并且利用经过改进的GSAT算法对该问题求解,可以获得在功能上与损伤前完全相同的电路结构,及其所对应的FPGA配置文件。将该文件重新下载到FPGA中,可以屏蔽损伤带来的影响,从而达到利用FPGA自身冗余资源容错的目的。通过实验和分析可以看出,本文方案具有对损伤修复成功率高、计算量小和需要内存空间少的特点,因此符合星上计算能力和硬件资源十分有限的实际情况。 展开更多
关键词 现场可编程门阵列 容错 永久性损伤 可满足性问题 SAT求解器
在线阅读 下载PDF
β-PSML中混合推理算法的正确性证明
14
作者 苏依拉 《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第3期396-400,共5页
根据已经给出的β-PSML中的混合推理算法,通过结合产生规则,给出了β-PSML中混合推理算法的正确性证明及其复杂性分析.结果表明,在描述逻辑是可确定的情况下,无递归的β-PSML知识库可以提供一个正确和完备的推理算法.
关键词 分布式问题解决 问题解决标记语言 混合推理
在线阅读 下载PDF
改进的PPM格式及其在Riemann问题中的应用
15
作者 陈善群 廖斌 《应用力学学报》 CSCD 北大核心 2017年第3期476-482,共7页
在Collela和Skora提出的PPM格式基础之上,为消除舍入误差带来的影响,发展了一种改进的PPM格式。将改进的PPM格式结合Riemann近似解算子应用于求解Riemann问题。选取双膨胀波和Rayleigh-Taylor不稳定性问题作为算例进行了数值验证,并将... 在Collela和Skora提出的PPM格式基础之上,为消除舍入误差带来的影响,发展了一种改进的PPM格式。将改进的PPM格式结合Riemann近似解算子应用于求解Riemann问题。选取双膨胀波和Rayleigh-Taylor不稳定性问题作为算例进行了数值验证,并将改进的PPM格式与原始PPM格式的求解结果进行了对比分析。结果表明:改进的PPM格式相较于原始PPM格式的求解精度有了明显提升;计算结果更加合理,气泡发展曲线与解析解更为接近。 展开更多
关键词 改进的PPM格式 原始PPM格式 RIEMANN问题 Riemann近似解算子
在线阅读 下载PDF
结合问题特征的分组式诊断方法 被引量:11
16
作者 刘梦 欧阳丹彤 +2 位作者 刘伯文 张立明 张永刚 《电子学报》 EI CAS CSCD 北大核心 2018年第3期589-594,共6页
模型诊断方法是人工智能领域重要的系统故障自动检测方法,被广泛应用于软件故障检测和硬件诊断.近年来由于电路规模和复杂度不断增大,其诊断难度也不断增大.本文通过对电路模型特征的研究,结合LLBRStree(Last-Level Based on Reverse Se... 模型诊断方法是人工智能领域重要的系统故障自动检测方法,被广泛应用于软件故障检测和硬件诊断.近年来由于电路规模和复杂度不断增大,其诊断难度也不断增大.本文通过对电路模型特征的研究,结合LLBRStree(Last-Level Based on Reverse Search-tree)诊断算法提出分组式诊断方法 GD(Grouped Diagnosis):首先结合电路特征确定组件的故障相关性并对电路组件进行分组,可缩减电路中需检测的规模;其次,利用分组后电路并结合非诊断解定理和SAT(SATisfiability)求解特征定位部分非诊断解,从而避免该部分的一致性检测来加速求解.本文算法可应用于电子电路故障诊断领域,并且实验结果表明该算法与LLBRS-tree算法相比求解效率平均提高了1.5倍,最多提高了3倍. 展开更多
关键词 基于模型的诊断 问题特征 分组 SAT求解器 集合枚举树
在线阅读 下载PDF
基于level set的Eulerian-Lagrangian耦合方法及其应用 被引量:3
17
作者 贾祖朋 蔚喜军 《力学学报》 EI CSCD 北大核心 2010年第2期177-182,共6页
提出了一种基于水平集的Eulerian-Lagrangian耦合方法,其中Lagrangian方法采用相容显式有限元拉氏方法,Eulerian方法采用基于近似Riemann解的有限体积Eulerian方法,多介质界面处理采用新的水平集和Ghost方法计算.给出了若干数值算例,包... 提出了一种基于水平集的Eulerian-Lagrangian耦合方法,其中Lagrangian方法采用相容显式有限元拉氏方法,Eulerian方法采用基于近似Riemann解的有限体积Eulerian方法,多介质界面处理采用新的水平集和Ghost方法计算.给出了若干数值算例,包括激波管问题以及金属和气体的运动界面及其大变形问题,并分别与精确解和相容显式有限元拉氏方法的计算结果进行了对比.数值结果表明,该方法计算结果正确,精度较高,能够准确捕捉物质界面,适用于处理大变形问题. 展开更多
关键词 大变形流体力学问题 多介质 Eulerian-Lagrangian耦合方法 水平集方法 近似Riemann解
在线阅读 下载PDF
一类线性奇异边值问题的区间分段求解 被引量:3
18
作者 阮宗利 李维国 《科学技术与工程》 2010年第20期4896-4899,共4页
对一类线性奇异边值问题采用区间分段处理,从而较好地刻画解的奇异行为。给出的数值例子说明了求解一个边界奇点问题的具体方法,其计算结果表明,该方法是有效的。
关键词 奇异边值问题 可去奇点 区间分段 幂级数法 ODE 解题器
在线阅读 下载PDF
平面杆系结构自由振动的一种解析解法
19
作者 周茂森 陈朝晖 《重庆大学学报(自然科学版)》 EI CAS CSCD 北大核心 2004年第7期126-130,共5页
介绍了一种平面杆系结构自由振动的解析解法。即将计算无限自由度平面杆系结构的自振频率和主振型的广义特征值问题转换为典型的常微分方程边值问题,构造了一系列平凡ODE,建立了相应的常微分方程组,并利用常微分方程求解器COLSYS予以求... 介绍了一种平面杆系结构自由振动的解析解法。即将计算无限自由度平面杆系结构的自振频率和主振型的广义特征值问题转换为典型的常微分方程边值问题,构造了一系列平凡ODE,建立了相应的常微分方程组,并利用常微分方程求解器COLSYS予以求解。该方法将一根杆件视为一个单元,直接求解其运动微分方程,是一种数值解析法,与有限元法相比,无需通过增加单元数提高计算精度,可精确求解平面杆系结构的任意阶自振频率和主振型。并利用该方法求解了一般约束、弹性支座以及变截面条件下的平面杆系结构无阻尼弯曲自由振动的任意阶自振频率和主振型,与精确解和现有软件相比,其计算结果表明,该方法的求解精度和效率较高。 展开更多
关键词 平面杆系结构自由振动 常微分方程边值问题 ODE求解器
在线阅读 下载PDF
众包模式及其奖金策略研究 被引量:8
20
作者 冯小亮 吴继研 王殿文 《广东财经大学学报》 CSSCI 北大核心 2018年第4期15-26,共12页
众包以公开悬赏的形式,将任务发包给不特定的网络问题解决者群体,参与者完成后提交方案竞标,发包方从中择优而奖。众包模式搭建了企业知识需求和社会闲置知识资源供给的桥梁,是内包和外包之外的第三种新型问题解决模式,已被广泛应用于... 众包以公开悬赏的形式,将任务发包给不特定的网络问题解决者群体,参与者完成后提交方案竞标,发包方从中择优而奖。众包模式搭建了企业知识需求和社会闲置知识资源供给的桥梁,是内包和外包之外的第三种新型问题解决模式,已被广泛应用于新产品研发、广告创意、程序设计和市场推广等诸多领域。如何吸引问题解决者的参与是众包应用管理的核心问题,以社会学习理论为基础,采用负二项回归模型,对16万余众包实际项目的二手数据进行研究,结果发现:奖金数量与参与者规模呈"倒U型"的非线性关系;合理利用分配方式有助于进一步提升奖金影响效果;高奖金与多奖项组合、低奖金与赢者通吃搭配效果更佳。这一研究有助于社会知识资源的开发利用,对企业众包奖金策略的制定具有参考和借鉴意义。 展开更多
关键词 众包 众包奖金策略 众包应用管理 问题解决者 奖金数量 奖金分配方式 社会学习效应
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部