期刊文献+
共找到58篇文章
< 1 2 3 >
每页显示 20 50 100
Convergence of a Generalized Riemann Problem Scheme for the Burgers Equation
1
作者 Mária Lukáčová-Medvid’ová Yuhuan Yuan 《Communications on Applied Mathematics and Computation》 2024年第4期2215-2238,共24页
In this paper,we study the convergence of a second-order finite volume approximation of the scalar conservation law.This scheme is based on the generalized Riemann problem(GRP)solver.We first investigate the stability... In this paper,we study the convergence of a second-order finite volume approximation of the scalar conservation law.This scheme is based on the generalized Riemann problem(GRP)solver.We first investigate the stability of the GRP scheme and find that it might be entropy-unstable when the shock wave is generated.By adding an artificial viscosity,we propose a new stabilized GRP scheme.Under the assumption that numerical solutions are uniformly bounded,we prove the consistency and convergence of this new GRP method. 展开更多
关键词 Scalar conservation law Finite volume method Generalized Riemann problem(GRP)solver Entropy stability CONSISTENCY CONVERGENCE
在线阅读 下载PDF
地铁-货车联运的地铁转运站选址算法比较 被引量:1
2
作者 孙颖杰 吴芳 刘亚丽 《物流科技》 2025年第2期28-32,共5页
针对传统算法解决复杂非线性规划收敛速度慢、寻优精确度低等问题,文章介绍并设计了模拟退火算法、自适应免疫遗传算法以及Python调用COPT求解器三种算法对地铁-货车联运的地铁转运站选址问题进行求解。最后,以西安市地铁网络为例,分别... 针对传统算法解决复杂非线性规划收敛速度慢、寻优精确度低等问题,文章介绍并设计了模拟退火算法、自适应免疫遗传算法以及Python调用COPT求解器三种算法对地铁-货车联运的地铁转运站选址问题进行求解。最后,以西安市地铁网络为例,分别运用这三种算法对地铁转运站选址问题进行求解,并对求解结果进行比较分析。结果表明,Python调用COPT求解器的算法在解决地铁转运站选址问题时,相较于自适应免疫遗传算法和模拟退火算法有着卓越的计算效能和精确度。 展开更多
关键词 地铁货运 选址问题 COPT求解器 自适应免疫遗传算法 模拟退火算法
在线阅读 下载PDF
地铁-货车联运的两阶段物流节点选址研究 被引量:1
3
作者 孙颖杰 吴芳 马军平 《交通科技与经济》 2025年第2期1-8,共8页
推行基于地铁-货车联运配送的城市物流新型配送模式,是应对传统货车配送引起的市中心交通拥堵和环境污染问题的有效途径。物流节点选址问题是该配送模式中重要的决策问题,构建两阶段地铁-货车联运的物流节点选址模型进行物流节点选址:... 推行基于地铁-货车联运配送的城市物流新型配送模式,是应对传统货车配送引起的市中心交通拥堵和环境污染问题的有效途径。物流节点选址问题是该配送模式中重要的决策问题,构建两阶段地铁-货车联运的物流节点选址模型进行物流节点选址:第一阶段,选择郊区地铁始发站作为备选地铁配送站,利用三角模糊数对地铁配送站进行方案比选;第二阶段,基于第一阶段比选结果,构建总成本最小化的地铁转运站选址模型,并用Python调用COPT求解器求解。以上海市地铁网络为例验证模型和算法,并进行敏感度分析。结果表明,Python调用COPT求解器求解选址分配问题展现出卓越的计算效能,综合考虑末端配送模式、开放地铁转运站数和地铁转运站最大服务范围可获得效益最大化的选址方案。 展开更多
关键词 地铁货运 选址问题 三角模糊数 COPT求解器 敏感度分析
在线阅读 下载PDF
Operator Splitting Method for Coupled Problems:Transport and Maxwell Equations
4
作者 Jürgen Geiser 《American Journal of Computational Mathematics》 2011年第3期163-175,共13页
In this article a new approach is considered for implementing operator splitting methods for transport problems, influenced by electric fields. Our motivation came to model PE-CVD (plasma-enhanced chemical vapor depos... In this article a new approach is considered for implementing operator splitting methods for transport problems, influenced by electric fields. Our motivation came to model PE-CVD (plasma-enhanced chemical vapor deposition) processes, means the flow of species to a gas-phase, which are influenced by an electric field. Such a field we can model by wave equations. The main contributions are to improve the standard discretization schemes of each part of the coupling equation. So we discuss an improvement with implicit Runge- Kutta methods instead of the Yee’s algorithm. Further we balance the solver method between the Maxwell and Transport equation. 展开更多
关键词 Operator SPLITTING METHOD Initial Value problems Iterative solver METHOD Stability Analysis Beam Propagation Methods TRANSPORT and MAXWELL Equations
在线阅读 下载PDF
基于Kokkos模板元编程的性能可移植求解器开发 被引量:2
5
作者 郑亮 黎坤运 +6 位作者 周兴彬 李永辉 于要杰 向玉开 胡健 柴华 郭黎 《数据与计算发展前沿》 CSCD 2024年第1期12-20,共9页
【目的】解决面向多样化异构计算架构的求解器应用编程问题。【应用背景】超级计算机的硬件架构日益多样化,新的异构架构因生态不够完善,往往导致软件移植研发门槛过高、研发周期过长,以及存在针对不同硬件反复适配、移植等问题。【方... 【目的】解决面向多样化异构计算架构的求解器应用编程问题。【应用背景】超级计算机的硬件架构日益多样化,新的异构架构因生态不够完善,往往导致软件移植研发门槛过高、研发周期过长,以及存在针对不同硬件反复适配、移植等问题。【方法】在Kokkos代数算子库基础上,开发一套面向国产E级计算环境的“性能可移植”模板元接口开源框架,用于线性代数求解器编程。【结果】本文给出其用于Krylov子空间算法的简单编程示范,实现了面向国产异构处理器的线性代数求解器移植,部分求解器相较于10核超线程Xeon CPU有数十倍以上加速。【结论】性能可移植编程可成为应对多样化异构计算的解决方案。 展开更多
关键词 性能可移植 Kokkos 模板元编程 线性代数求解器
在线阅读 下载PDF
基于关系的函数题目自动解析和解答方法
6
作者 孙慧慧 余新国 +1 位作者 孟皓 吕小攀 《计算机应用与软件》 北大核心 2024年第2期257-263,共7页
关系表示作为数学题目解答的基本问题而广受关注,而对于含有函数的题目解答,由于函数关系本身的复杂性以及表达方式的多样性,使得该问题超出了现有解题范围,为解答提出了新的挑战。针对这一问题,提出一种基于关系的自动解析和解答算法... 关系表示作为数学题目解答的基本问题而广受关注,而对于含有函数的题目解答,由于函数关系本身的复杂性以及表达方式的多样性,使得该问题超出了现有解题范围,为解答提出了新的挑战。针对这一问题,提出一种基于关系的自动解析和解答算法。扩展关系表示方式使其满足函数关系表示与计算的需要;通过改进句法语义模型和提出图形关系模式分别从文字和图形中提取关系;根据函数的模型化定义识别和提取函数关系;利用函数关系与数量关系进行等量代入,消除参数得到解答结果。对采集的数据集进行验证,与基于框架的基线方法相比较,该算法能够获得较好的结果,有效完成了83%的题目理解和66%的正确解答率。 展开更多
关键词 数学题目解答 关系解答 函数关系 句法语义模型 自动解答
在线阅读 下载PDF
基于序列公式树模型的电学问题解答方法
7
作者 菅朋朋 刘浩宇 +3 位作者 闫鸣 王彦丽 杨阳蕊 刘雪梅 《计算机工程》 CAS CSCD 北大核心 2024年第11期399-408,共10页
自适应理解和求解语义多变的问题文本是机器解答电学问题的关键挑战,现有方法多侧重于问题文本的语义分析和结构分析,无法将问题文本解析为类人解答的求解形式。为此,构建一种基于序列公式树模型的电学问题解答方法。首先通过问题文本... 自适应理解和求解语义多变的问题文本是机器解答电学问题的关键挑战,现有方法多侧重于问题文本的语义分析和结构分析,无法将问题文本解析为类人解答的求解形式。为此,构建一种基于序列公式树模型的电学问题解答方法。首先通过问题文本预处理标准化文本元素、关系提取,生成预编码序列和直陈关系序列。其次使用双向门控循环编码器对预编码序列进行特征编码,生成隐藏状态序列。再通过构建电学定理图,使用图卷积神经网络(GCNN)编码器建立直陈关系序列和定理之间的关联关系,将定理图中的关系结点转化为向量表示,生成公式结点嵌入状态序列,并提取不同变量之间的隐含电学关系。最后构建树形结构的解码器对隐藏状态序列和公式节点嵌入状态序列进行解码,形成问题的序列-公式树结构的求解式,实现电学问题的可读解答。构建一个包含3027个电学问题的数据集TexPE-3K,并对其进行标准化和信息标注。在数据集TexPE-3K上的实验结果表明,关系提取的平均准确率达到了96.8%,可读解答的平均准确率达到了55.57%,验证了该方法的可行性和有效性。 展开更多
关键词 电学问题 序列公式树模型 关系提取 可读解答 图神经网络
在线阅读 下载PDF
并行分布环境下的黑板模型 被引量:4
8
作者 冯少荣 肖文俊 《华东理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第1期96-102,共7页
黑板模型支持并行性,它是分布式和并行编程可用的强有力的模型之一。在一个需要并行性和分布式编程的系统中,黑板模型有助于组织和概念化并发性及通信。本文着重分析了黑板模型的结构、构造方法、控制策略。基于CORBA(Common Object Req... 黑板模型支持并行性,它是分布式和并行编程可用的强有力的模型之一。在一个需要并行性和分布式编程的系统中,黑板模型有助于组织和概念化并发性及通信。本文着重分析了黑板模型的结构、构造方法、控制策略。基于CORBA(Common Object Request Broker Architecture)对象和全局对象研究了黑板和知识库的实现。最后,通过一个具体实例的实现方法和过程,说明了黑板模型解决分布式和并行编程问题的可行性。 展开更多
关键词 黑板模型 并行分布 知识库 问题解决者
在线阅读 下载PDF
SAT问题求解器重启策略对比分析 被引量:2
9
作者 郭莹 张斌 张长胜 《小型微型计算机系统》 CSCD 北大核心 2013年第12期2729-2733,共5页
已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避免重启策略选择的随意性,同时启发设计更好的重启策略,本文选择了具有代表性的7种重启策略,以目前广泛采用... 已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避免重启策略选择的随意性,同时启发设计更好的重启策略,本文选择了具有代表性的7种重启策略,以目前广泛采用的Minisat为基本求解器,在国际SAT2011竞赛中实际应用类基准测试集之上进行了实验对比分析.结果表明:(1)不同重启策略对SAT求解器的求解过程和求解性能影响巨大;(2)在应用类测试集上,几何序列调度策略的平均综合性能优于其他策略;(3)在限定范围内,重启频率越大,求解器综合性能越好;(4)增量变化的重启频率可以克服固定重启频率导致不完备搜索的问题. 展开更多
关键词 可满足性问题 求解器 冲突驱动子句学习 重启策略
在线阅读 下载PDF
分布式β-PSML语言框架及其应用 被引量:3
10
作者 苏依拉 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2005年第4期427-433,共7页
为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在... 为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在语义Web和社会网络上的全局信息源与在企业门户中的本地知识与数据库完成.实验结果表明,分布式β-PSML语言通过结合全局与本地资源推理可给出正确的结果. 展开更多
关键词 问题解决标记语言 网络智能 语义WEB
在线阅读 下载PDF
MEMS器件虚拟运行中运动规律求解器的设计与实现 被引量:1
11
作者 谭宜勇 赵新 卢桂章 《高技术通讯》 CAS CSCD 北大核心 2005年第12期24-29,共6页
针对虚拟运行(在器件动态模型的基础上对MEMS器件运动性能进行评测的设计工具,其作用在于建立MEMS设计参数与器件运行之间的直接联系)中运动规律的联立、求解和实时仿真等问题,分析了几种典型MEMS器件的动态模型,提出了运动规律求解器... 针对虚拟运行(在器件动态模型的基础上对MEMS器件运动性能进行评测的设计工具,其作用在于建立MEMS设计参数与器件运行之间的直接联系)中运动规律的联立、求解和实时仿真等问题,分析了几种典型MEMS器件的动态模型,提出了运动规律求解器的设计原理和体系结构,其中包括三项关键技术:物理运动规律在部件库系统中的形式化表示,物理问题自动求解的推理算法,以及离线编译的优化技术.最后,设计和实现了运动规律求解器原型系统,并在该系统中测试了微泵的虚拟运行,达到了通过修改阀片设计参数和膜片驱动参数实时观察虚拟运行中状态相应变化的目标,即在微泵的设计参数与其运行之间建立了直接的关联关系. 展开更多
关键词 微电子机械系统(MEMs) 虚拟运行 运动规律 自动求解 编译
在线阅读 下载PDF
β-PSML语言中的混合推理算法 被引量:1
12
作者 苏依拉 刘椿年 《北京工业大学学报》 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
13
作者 倪天倪 《河海大学学报(自然科学版)》 CAS CSCD 1993年第1期62-69,共8页
HESE (Hohai Expert System Environment)是针对工程类同题特点而发展的专家系统开发环境.该系统采用高度模块化的装配式结构,由工程知识获取系统、综合求解运行系统和其他支持系统组成;支持多种推理模式、数值计算和图形处理的综合求解... HESE (Hohai Expert System Environment)是针对工程类同题特点而发展的专家系统开发环境.该系统采用高度模块化的装配式结构,由工程知识获取系统、综合求解运行系统和其他支持系统组成;支持多种推理模式、数值计算和图形处理的综合求解;是一种功能强大、便于开发的开放型环境.本文着重介绍其总体构成,知识表示和综合推理思想. 展开更多
关键词 知识工程 专家系统 设计 HESE
在线阅读 下载PDF
断裂问题的特征根区间及其二分迭代求解 被引量:4
14
作者 徐永君 袁驷 《工程力学》 EI CSCD 1996年第4期28-40,共13页
本文对任意切口和任意边界条件的双材料反平面问题和单材料平面问题的特征方程进行了分析研究,给出了这两类问题的各阶特征根分布区间,从而易于利用一般的迭代法进行高效可靠的求解.本文利用二分法研制了相应的通用特征根求解器,可... 本文对任意切口和任意边界条件的双材料反平面问题和单材料平面问题的特征方程进行了分析研究,给出了这两类问题的各阶特征根分布区间,从而易于利用一般的迭代法进行高效可靠的求解.本文利用二分法研制了相应的通用特征根求解器,可供任何数值方法直接调用.文中给出了若干数值算例用以显示本法的可靠性、高精度和高速度等优点. 展开更多
关键词 反平面问题 平面问题 特征方程 断裂
在线阅读 下载PDF
弹性力学“金课”建设中解决“三难”问题实践 被引量:4
15
作者 何峰 任天娇 +2 位作者 杨松 赵娜 李春林 《高教学刊》 2021年第4期77-80,共4页
文章按照国家建设“金课”要求,基于吴家龙教授编著的弹性力学教材内容和课程“三难”特点,以应力状态理论部分常见题型求解任意微分斜面应力矢量、正应力、切应力、主应力和应力主方向及最大切应力为例,分别应用Maple编制程序,再现弹... 文章按照国家建设“金课”要求,基于吴家龙教授编著的弹性力学教材内容和课程“三难”特点,以应力状态理论部分常见题型求解任意微分斜面应力矢量、正应力、切应力、主应力和应力主方向及最大切应力为例,分别应用Maple编制程序,再现弹性力学求解思维,解决学生数理求解难题;应用Matlab-GUI模块编制应力状态理论求解器,把繁琐抽象的力学公式和微分斜面结果进行图形可视化,使学生的抽象思维和力学思维得到兼容;通过弹性力学“金课”建设实践,可为学生力学学习及力学同行教学提供借鉴。 展开更多
关键词 弹性力学 “金课”建设 “三难”问题 应力状态求解器 微分斜面
在线阅读 下载PDF
DIES:一个领域独立的专家系统 被引量:1
16
作者 褚东升 《计算机科学》 CSCD 北大核心 1995年第2期76-78,81,共4页
DIES系统是一建造基于知识的自动问题求解器的领域独立专家系统.在该系统中其描述性知识和规范知识(规则)均为知识库中的标准类型项.DIES系统具有双重结构,即认知系统和求解系统,并可满足下列要求。
关键词 专家系统 DIES 知识库
在线阅读 下载PDF
求解QBF问题的启发式调查传播算法 被引量:11
17
作者 殷明浩 周俊萍 +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语言的推理及应用
18
作者 苏依拉 郑磊 +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的分布式环境中的应用
19
作者 苏依拉 刘椿年 《北京工业大学学报》 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永久损伤容错技术研究
20
作者 孙兆伟 刘源 +2 位作者 赵丹 陈健 张世杰 《宇航学报》 EI CAS CSCD 北大核心 2011年第3期652-659,共8页
现代卫星广泛使用的FPGA在空间高能粒子的影响下,会产生门电路的永久性损伤。而传统的三模冗余等容错方法不但成倍增加了系统硬件开销,还存在因冗余器件耗尽而失效的风险。因此,提出一种利用FPGA自身冗余资源,修复永久性损伤的容错方案... 现代卫星广泛使用的FPGA在空间高能粒子的影响下,会产生门电路的永久性损伤。而传统的三模冗余等容错方法不但成倍增加了系统硬件开销,还存在因冗余器件耗尽而失效的风险。因此,提出一种利用FPGA自身冗余资源,修复永久性损伤的容错方案。该方案通过建立FPGA内部资源的功能模型,将容错问题转化为数学上的可满足性问题。并且利用经过改进的GSAT算法对该问题求解,可以获得在功能上与损伤前完全相同的电路结构,及其所对应的FPGA配置文件。将该文件重新下载到FPGA中,可以屏蔽损伤带来的影响,从而达到利用FPGA自身冗余资源容错的目的。通过实验和分析可以看出,本文方案具有对损伤修复成功率高、计算量小和需要内存空间少的特点,因此符合星上计算能力和硬件资源十分有限的实际情况。 展开更多
关键词 现场可编程门阵列 容错 永久性损伤 可满足性问题 SAT求解器
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部