期刊文献+
共找到58篇文章
< 1 2 3 >
每页显示 20 50 100
Operator Splitting Method for Coupled Problems:Transport and Maxwell Equations
1
作者 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
Convergence of a Generalized Riemann Problem Scheme for the Burgers Equation
2
作者 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
3
作者 孙颖杰 吴芳 刘亚丽 《物流科技》 2025年第2期28-32,共5页
针对传统算法解决复杂非线性规划收敛速度慢、寻优精确度低等问题,文章介绍并设计了模拟退火算法、自适应免疫遗传算法以及Python调用COPT求解器三种算法对地铁-货车联运的地铁转运站选址问题进行求解。最后,以西安市地铁网络为例,分别... 针对传统算法解决复杂非线性规划收敛速度慢、寻优精确度低等问题,文章介绍并设计了模拟退火算法、自适应免疫遗传算法以及Python调用COPT求解器三种算法对地铁-货车联运的地铁转运站选址问题进行求解。最后,以西安市地铁网络为例,分别运用这三种算法对地铁转运站选址问题进行求解,并对求解结果进行比较分析。结果表明,Python调用COPT求解器的算法在解决地铁转运站选址问题时,相较于自适应免疫遗传算法和模拟退火算法有着卓越的计算效能和精确度。 展开更多
关键词 地铁货运 选址问题 COPT求解器 自适应免疫遗传算法 模拟退火算法
在线阅读 下载PDF
地铁-货车联运的两阶段物流节点选址研究 被引量:1
4
作者 孙颖杰 吴芳 马军平 《交通科技与经济》 2025年第2期1-8,共8页
推行基于地铁-货车联运配送的城市物流新型配送模式,是应对传统货车配送引起的市中心交通拥堵和环境污染问题的有效途径。物流节点选址问题是该配送模式中重要的决策问题,构建两阶段地铁-货车联运的物流节点选址模型进行物流节点选址:... 推行基于地铁-货车联运配送的城市物流新型配送模式,是应对传统货车配送引起的市中心交通拥堵和环境污染问题的有效途径。物流节点选址问题是该配送模式中重要的决策问题,构建两阶段地铁-货车联运的物流节点选址模型进行物流节点选址:第一阶段,选择郊区地铁始发站作为备选地铁配送站,利用三角模糊数对地铁配送站进行方案比选;第二阶段,基于第一阶段比选结果,构建总成本最小化的地铁转运站选址模型,并用Python调用COPT求解器求解。以上海市地铁网络为例验证模型和算法,并进行敏感度分析。结果表明,Python调用COPT求解器求解选址分配问题展现出卓越的计算效能,综合考虑末端配送模式、开放地铁转运站数和地铁转运站最大服务范围可获得效益最大化的选址方案。 展开更多
关键词 地铁货运 选址问题 三角模糊数 COPT求解器 敏感度分析
在线阅读 下载PDF
并行分布环境下的黑板模型 被引量:4
5
作者 冯少荣 肖文俊 《华东理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第1期96-102,共7页
黑板模型支持并行性,它是分布式和并行编程可用的强有力的模型之一。在一个需要并行性和分布式编程的系统中,黑板模型有助于组织和概念化并发性及通信。本文着重分析了黑板模型的结构、构造方法、控制策略。基于CORBA(Common Object Req... 黑板模型支持并行性,它是分布式和并行编程可用的强有力的模型之一。在一个需要并行性和分布式编程的系统中,黑板模型有助于组织和概念化并发性及通信。本文着重分析了黑板模型的结构、构造方法、控制策略。基于CORBA(Common Object Request Broker Architecture)对象和全局对象研究了黑板和知识库的实现。最后,通过一个具体实例的实现方法和过程,说明了黑板模型解决分布式和并行编程问题的可行性。 展开更多
关键词 黑板模型 并行分布 知识库 问题解决者
在线阅读 下载PDF
SAT问题求解器重启策略对比分析 被引量:2
6
作者 郭莹 张斌 张长胜 《小型微型计算机系统》 CSCD 北大核心 2013年第12期2729-2733,共5页
已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避免重启策略选择的随意性,同时启发设计更好的重启策略,本文选择了具有代表性的7种重启策略,以目前广泛采用... 已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避免重启策略选择的随意性,同时启发设计更好的重启策略,本文选择了具有代表性的7种重启策略,以目前广泛采用的Minisat为基本求解器,在国际SAT2011竞赛中实际应用类基准测试集之上进行了实验对比分析.结果表明:(1)不同重启策略对SAT求解器的求解过程和求解性能影响巨大;(2)在应用类测试集上,几何序列调度策略的平均综合性能优于其他策略;(3)在限定范围内,重启频率越大,求解器综合性能越好;(4)增量变化的重启频率可以克服固定重启频率导致不完备搜索的问题. 展开更多
关键词 可满足性问题 求解器 冲突驱动子句学习 重启策略
在线阅读 下载PDF
分布式β-PSML语言框架及其应用 被引量:3
7
作者 苏依拉 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2005年第4期427-433,共7页
为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在... 为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web上进行自动推理.另外,分布式β-PSML语言的推理可以通过结合在语义Web和社会网络上的全局信息源与在企业门户中的本地知识与数据库完成.实验结果表明,分布式β-PSML语言通过结合全局与本地资源推理可给出正确的结果. 展开更多
关键词 问题解决标记语言 网络智能 语义WEB
在线阅读 下载PDF
MEMS器件虚拟运行中运动规律求解器的设计与实现 被引量:1
8
作者 谭宜勇 赵新 卢桂章 《高技术通讯》 CAS CSCD 北大核心 2005年第12期24-29,共6页
针对虚拟运行(在器件动态模型的基础上对MEMS器件运动性能进行评测的设计工具,其作用在于建立MEMS设计参数与器件运行之间的直接联系)中运动规律的联立、求解和实时仿真等问题,分析了几种典型MEMS器件的动态模型,提出了运动规律求解器... 针对虚拟运行(在器件动态模型的基础上对MEMS器件运动性能进行评测的设计工具,其作用在于建立MEMS设计参数与器件运行之间的直接联系)中运动规律的联立、求解和实时仿真等问题,分析了几种典型MEMS器件的动态模型,提出了运动规律求解器的设计原理和体系结构,其中包括三项关键技术:物理运动规律在部件库系统中的形式化表示,物理问题自动求解的推理算法,以及离线编译的优化技术.最后,设计和实现了运动规律求解器原型系统,并在该系统中测试了微泵的虚拟运行,达到了通过修改阀片设计参数和膜片驱动参数实时观察虚拟运行中状态相应变化的目标,即在微泵的设计参数与其运行之间建立了直接的关联关系. 展开更多
关键词 微电子机械系统(MEMs) 虚拟运行 运动规律 自动求解 编译
在线阅读 下载PDF
β-PSML语言中的混合推理算法 被引量:1
9
作者 苏依拉 刘椿年 《北京工业大学学报》 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
10
作者 倪天倪 《河海大学学报(自然科学版)》 CAS CSCD 1993年第1期62-69,共8页
HESE (Hohai Expert System Environment)是针对工程类同题特点而发展的专家系统开发环境.该系统采用高度模块化的装配式结构,由工程知识获取系统、综合求解运行系统和其他支持系统组成;支持多种推理模式、数值计算和图形处理的综合求解... HESE (Hohai Expert System Environment)是针对工程类同题特点而发展的专家系统开发环境.该系统采用高度模块化的装配式结构,由工程知识获取系统、综合求解运行系统和其他支持系统组成;支持多种推理模式、数值计算和图形处理的综合求解;是一种功能强大、便于开发的开放型环境.本文着重介绍其总体构成,知识表示和综合推理思想. 展开更多
关键词 知识工程 专家系统 设计 HESE
在线阅读 下载PDF
断裂问题的特征根区间及其二分迭代求解 被引量:4
11
作者 徐永君 袁驷 《工程力学》 EI CSCD 1996年第4期28-40,共13页
本文对任意切口和任意边界条件的双材料反平面问题和单材料平面问题的特征方程进行了分析研究,给出了这两类问题的各阶特征根分布区间,从而易于利用一般的迭代法进行高效可靠的求解.本文利用二分法研制了相应的通用特征根求解器,可... 本文对任意切口和任意边界条件的双材料反平面问题和单材料平面问题的特征方程进行了分析研究,给出了这两类问题的各阶特征根分布区间,从而易于利用一般的迭代法进行高效可靠的求解.本文利用二分法研制了相应的通用特征根求解器,可供任何数值方法直接调用.文中给出了若干数值算例用以显示本法的可靠性、高精度和高速度等优点. 展开更多
关键词 反平面问题 平面问题 特征方程 断裂
在线阅读 下载PDF
弹性力学“金课”建设中解决“三难”问题实践 被引量:4
12
作者 何峰 任天娇 +2 位作者 杨松 赵娜 李春林 《高教学刊》 2021年第4期77-80,共4页
文章按照国家建设“金课”要求,基于吴家龙教授编著的弹性力学教材内容和课程“三难”特点,以应力状态理论部分常见题型求解任意微分斜面应力矢量、正应力、切应力、主应力和应力主方向及最大切应力为例,分别应用Maple编制程序,再现弹... 文章按照国家建设“金课”要求,基于吴家龙教授编著的弹性力学教材内容和课程“三难”特点,以应力状态理论部分常见题型求解任意微分斜面应力矢量、正应力、切应力、主应力和应力主方向及最大切应力为例,分别应用Maple编制程序,再现弹性力学求解思维,解决学生数理求解难题;应用Matlab-GUI模块编制应力状态理论求解器,把繁琐抽象的力学公式和微分斜面结果进行图形可视化,使学生的抽象思维和力学思维得到兼容;通过弹性力学“金课”建设实践,可为学生力学学习及力学同行教学提供借鉴。 展开更多
关键词 弹性力学 “金课”建设 “三难”问题 应力状态求解器 微分斜面
在线阅读 下载PDF
DIES:一个领域独立的专家系统 被引量:1
13
作者 褚东升 《计算机科学》 CSCD 北大核心 1995年第2期76-78,81,共4页
DIES系统是一建造基于知识的自动问题求解器的领域独立专家系统.在该系统中其描述性知识和规范知识(规则)均为知识库中的标准类型项.DIES系统具有双重结构,即认知系统和求解系统,并可满足下列要求。
关键词 专家系统 DIES 知识库
在线阅读 下载PDF
求解QBF问题的启发式调查传播算法 被引量:11
14
作者 殷明浩 周俊萍 +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语言的推理及应用
15
作者 苏依拉 郑磊 +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的分布式环境中的应用
16
作者 苏依拉 刘椿年 《北京工业大学学报》 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永久损伤容错技术研究
17
作者 孙兆伟 刘源 +2 位作者 赵丹 陈健 张世杰 《宇航学报》 EI CAS CSCD 北大核心 2011年第3期652-659,共8页
现代卫星广泛使用的FPGA在空间高能粒子的影响下,会产生门电路的永久性损伤。而传统的三模冗余等容错方法不但成倍增加了系统硬件开销,还存在因冗余器件耗尽而失效的风险。因此,提出一种利用FPGA自身冗余资源,修复永久性损伤的容错方案... 现代卫星广泛使用的FPGA在空间高能粒子的影响下,会产生门电路的永久性损伤。而传统的三模冗余等容错方法不但成倍增加了系统硬件开销,还存在因冗余器件耗尽而失效的风险。因此,提出一种利用FPGA自身冗余资源,修复永久性损伤的容错方案。该方案通过建立FPGA内部资源的功能模型,将容错问题转化为数学上的可满足性问题。并且利用经过改进的GSAT算法对该问题求解,可以获得在功能上与损伤前完全相同的电路结构,及其所对应的FPGA配置文件。将该文件重新下载到FPGA中,可以屏蔽损伤带来的影响,从而达到利用FPGA自身冗余资源容错的目的。通过实验和分析可以看出,本文方案具有对损伤修复成功率高、计算量小和需要内存空间少的特点,因此符合星上计算能力和硬件资源十分有限的实际情况。 展开更多
关键词 现场可编程门阵列 容错 永久性损伤 可满足性问题 SAT求解器
在线阅读 下载PDF
β-PSML中混合推理算法的正确性证明
18
作者 苏依拉 《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第3期396-400,共5页
根据已经给出的β-PSML中的混合推理算法,通过结合产生规则,给出了β-PSML中混合推理算法的正确性证明及其复杂性分析.结果表明,在描述逻辑是可确定的情况下,无递归的β-PSML知识库可以提供一个正确和完备的推理算法.
关键词 分布式问题解决 问题解决标记语言 混合推理
在线阅读 下载PDF
改进的PPM格式及其在Riemann问题中的应用
19
作者 陈善群 廖斌 《应用力学学报》 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近似解算子
原文传递
用Excel规划求解报亭选址问题 被引量:1
20
作者 胡朝晖 张革伕 《物流工程与管理》 2011年第1期103-104,共2页
报亭的选址问题是一类目标优化问题,从采用精确重心方法来求解的数学模型来看,此目标问题是一个迭代型规划问题,不能直接用常规的Excel规划方法来求解。文中通过引入过渡变量来逐步进行迭代求解。在每一步通过比较前后2对坐标之间的误差... 报亭的选址问题是一类目标优化问题,从采用精确重心方法来求解的数学模型来看,此目标问题是一个迭代型规划问题,不能直接用常规的Excel规划方法来求解。文中通过引入过渡变量来逐步进行迭代求解。在每一步通过比较前后2对坐标之间的误差,在有限的时间与迭代次数内,求解到了地址目标。求解结果与手工计算的相吻合。 展开更多
关键词 规划求解 EXCEL 迭代模型 选址问题
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部