求解器

作品数：384被引量：905H指数：13
导出分析报告
相关领域：自动化与计算机技术交通运输工程机械工程更多>>
相关作者：万德成张智军王建华李宣东金龙更多>>
相关机构：上海交通大学浙江大学国家电网有限公司清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金长江学者奖励计划国家重点基础研究发展计划工业与信息化部高技术船舶科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与科学x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于FastCAE的Geant4集成关键技术研究
《计算机工程与科学》2025年第2期210-218,共9页余昊昊 唐滨 
蒙特卡罗应用工具包Geant4主要用于模拟粒子在物质中输运的物理过程,被广泛应用在空间应用、辐射医学以及加速器物理等领域,然而Geant4默认交互界面简单、输入文件和命令繁琐,易用性较差。首先,依托FastCAE开源前后处理集成平台,开展面...
关键词：GEANT4 物理几何体生成 可视化 求解器集成 FastCAE 
开源前处理软件到通用有限元求解器的网格文件转换方法研究
《计算机工程与科学》2024年第12期2109-2116,共8页田卓 丁嘉欣 张常有 邵云霞 
国家重点研发计划(2023YFB3611303);河北省科学院科技计划(23A03)。
有限元分析软件能够对产品进行数值仿真,减少实验次数,降低研发成本,缩短创新设计周期,是工业软件中最核心的部分之一。但是,我国95%以上用户使用国外商业有限元软件,使工业仿真软件求解器成为工业软件“卡脖子”的核心问题之一。其中,...
关键词：开源软件 有限元分析 网格划分 求解器 
基于SAT求解器的故障树最小割集求解算法被引量：5
《计算机工程与科学》2017年第4期725-733,共9页罗炜麟 魏欧 黄鸣宇 
国家自然科学基金(61170043);国家973计划(2014CB7449014);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20161602);中央高校基本科研业务费
故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其主要缺点在于算法...
关键词：故障树分析 安全性分析 最小割集 可满足性问题 
基于硬件可编程逻辑的SAT求解算法研究与进展被引量：4
《计算机工程与科学》2016年第4期634-639,共6页马柯帆 肖立权 张建民 黎铁军 
国家自然科学基金(61103083;61133007)
布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器。但是,SAT求解器的运算效率始终是影响其应用的关键因素,所以利用硬件的高性能与并行性来加速...
关键词：现场可编程门逻辑 可满足性 求解器 
基于“天河一号”的并行电磁计算求解器
《计算机工程与科学》2013年第3期43-47,共5页刘立国 莫锦军 袁乃昌 
阐述了基于"天河一号"超级计算机的并行电磁计算求解器。该求解器采用并行有限差分算法,并行有限差分算法是求解电大目标的有力工具,它具有天然并行的优点,能够充分利用集群的计算资源。"天河一号"是世界上最快的计算机之一,它提供了强...
关键词：有限差分算法 天河一号 并行算法 并行效率 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部