【摘要】可满足性问题（简称SAT问题）作为第一个被证明的NP完全问题，是计算机科学的核心问题之一。本文系统总结了基于硬件可编程逻辑（F......

Fluid dynamic models are generally appropriate for the investigation of inductively coupled plasmas.A commercial ICP etc......

广东省电信实业集团公司(以下简称省实业)作为广东电信主辅分营后的存续企业,肩负着深化中国电信改革,分流富余人员,确保国有资产......

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......

已有研究表明,在SAT求解器中引入重启可以极大地提高求解性能,并已出现了许多不同重启策略.目前还缺少全面的对比分析研究.为了避......

线性规划模型的求解问题,可以通过单纯形方法算出结果,但是运算量较大,而且容易出错,特别当变量较多,约束条件很多时更容易出错,如......

阐述了线性规划鞍点算法原理,讨论了解题器各模块的设计方法,给出了软件流程图和实验结果.......

针对在线冶金数模系统结构的整体性和复杂性，利用规划求解设计。一套简化的数学运算工具验证在线系统，经与原始模型反复测试，运算结果......

针对大规模TSV(Through Silicon Via)阵列无法直接得出耦合参数的封闭表达式的情况,提出了一种TSV阵列耦合参数的求解算法。利用有......

介绍了Ovid平台为用户所提供的网络资源链接技术Link Solver的使用方法。通过这一技术的使用，图书馆可以根据本馆用户的需求特点，对......

为促进学生对解耦控制的深入理解,设计了基于Simulink的仿真实验,在设计方案无误的情况下,发现仿真结果与理论分析差异较大,这将可......

随着教学方式、方法对教学资源的需求越来越多,人们需要更加开放的教育资源环境以供教学使用。在日常数学教学中使用智能手机APP辅......

高校辅导员在开展日常学生管理工作时要注重对学生的学习情况提出科学性的参考意见。本文详细介绍了高校辅导员利用Excel中的规划......

卫星地面站资源优化分配问题是在给定的时间内，对卫星需要执行的任务分配地面站及执行时间，以便卫星能最大限度地完成任务。该文对该......

针对在线冶金数模系统结构的整体性和复杂性,利用规划求解设计一套简化的数学运算工具验证在线系统,经与原始模型反复测试,运算结......

研究了考虑提前期、调整时间和多资源约束的多级批量计划问题。加工项目对不同资源的消耗可分布在提前期内的不同周期中，改善了多级......

借助仿真分析来确定钻井作业的最佳参数,对于降低钻井过程中隔水管系统失效危险性意义重大。在对深水钻井隔水管系统静态有限元求......

布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样......

In this paper, in order to make intelligent fi re car complete autonomy path planning in simulation map. Proposed system......

利用Excel规划求解工具，结合120万t/a柴油加氢工程建设的作业工序，确定项目建设中的关键路线，整个项目建设的最长总工期、最短总工期，......

融合了粒子群算法(PSO)和Solver加载宏,形成混合PSO-Solver算法进行优化问题的求解。PSO作为全局搜索算法首先给出问题的全局可行......

不正常航班机组重调度问题是航空公司航班重调度决策研究的重要环节,针对机组重调度问题建模和算法进行研究。采用约束规划建模,基......

现今,人们对资产的分配,包括投资方式的选择亦或是投资收益与风险的博弈有了更理性的思考,而对于那些拥有强大背景基础的银行而言,......

线性规划作为优化与管理之重要的数学方法,为社会、经济、生活及军事等领域中的决策管理提供了理论支持。目前,市场上已经有了专业......