井工煤矿无轨胶轮车全局调度模型

井工煤矿无轨胶轮车数量多,运输易受搬家倒面、突发事件等影响,传统的人工调度方法效率低,且易造成车辆闲置、空载、里程浪费等问题,而现有的辅助运输车辆调度方法大多面向固定任务使用离散事件优化的方案,将全局模型拆解为局部模型,缺乏对井工煤矿整体情况的分析。针对上述问题,提出了一种基于百度工业求解器的井工煤矿无轨胶轮车全局调度模型,介绍了该模型中信息收集模块、数据建模模块和工业求解器模块设计方案,以及无轨胶轮车全局调度流程。该模型采用基于“分批求解、迭代优化”的无轨胶轮车全局调度算法,由百度工业求解器基于动作调整启发式算法对车辆调度问题进行优化求解,解决了传统调度模型求解时间长、易陷入局部最优解等问题。实验结果表明,基于百度工业求解器的井工煤矿无轨胶轮车全局调度模型较人工调度方法大幅降低了使用车次,提高了车辆运转效率,调度优化的求解时间低于基于Gurobi求解器的局部调度模型,更适用于井下辅助运输场景下大规模复杂调度任务。     

线上求解法和MATLAB用于色谱分离动力学模拟

以线性推动力模型为基础,建立考虑轴向扩散、传质阻力和非线性吸附的色谱分离动力学模型,得到一组偏微分方程,然后用线上求解法将偏微分方程转化为常微分方程,采用MATLAB的常微分方程求解器求解。部分模拟结果与试验值进行了比较,结果表明,线上求解法结合MATLAB的常微分求解器可快速、准确地模拟色谱分离过程。     

固定床反应器拟均相轴向扩散模型通用软件的开发

本文对求解化学反应器轴向扩散模型的四种数值方法—迭代法、打靶法、有限差分法和正交配置法进行了比较,对迭代法做了改进。利用改进的迭代法开发了求解化学反应器轴向扩散模型的通用程序。     

CAE软件操作小百科(49)

如何求解初始值不一致的瞬态模型?使用COMSOL Multiphysics设置瞬态模型时,一个常见的错误是初始条件与载荷和边界条件不一致。在进行流体瞬态流动研究时最容易出现这种问题,在任意瞬态模型中也可能出现同类问题。在计算开始时,经常遇到求解器采用非常小的时间步长,或者求解器将报告类似错误消息:“找不到一致的初始值,最后一个时间步不收敛”。     

结构优化设计软件Tosca初探

一、前言 Tosca是标准的无参数结构优化系统,可以对具有任意载荷情况的有限元模型进行拓扑和外形优化.在优化过程中,可以直接使用已经存在的有限元模型.Tosca进行结构优化的每一迭代过程均在外部求解器中进行求解,通过采用众多业界认可的标准求解器从而保证了计算结果的高质量.     

基于Isight的板簧式起落架参数优化北大核心

针对板簧式起落架设计过程中需要反复迭代与试验的问题,在Virtual.lab中建立了板簧式起落架参数化模型并进行motion求解器与mecano求解器耦合非线性仿真,通过试验验证了仿真的准确性。将仿真计算所得结果通过程序输入Isight中,Isight根据输入结果及NSGA-Ⅱ优化算法生成新的设计参数并返回Virtual.lab中,程序对Virtual.lab中的模型根据返回的设计参数进行更新和仿真计算,由此完成一轮迭代循环。经过反复迭代循环可以完成板簧式起落架参数优化。结果表明motion求解器与mecano求解器耦合非线性求解能较好的模拟板簧式起落架落震过程;NSGA-Ⅱ优化算法优化效果较为明显,优化后板簧式起落架质量减少了15.1%,效率增加了20.0%。     

二维几何约束求解器

开发了一个二维几何约束求解器.该求解器是新一代智能CAD系统的核心,它采用了基于图和规则的几何推理方法,高效、稳定、实用.论文提出了几何约束模型及其约束图表示,深入介绍了基于点刚体归约的几何推理算法,描述了求解器的体系结构.     

基于SystemC的SAT求解器设计

该文描述了可满足性问题(SAT)求解器的设计及性能。首先,基于DPLL算法设计了一个单核SAT求解器的SystemC模型。校准这个模型,使之与工作站级计算机的软件性能相匹配,结果发现通过不连续内存访问数可以准确地估计运行时间。接着,设计了一个多核SAT求解器模型,使之能共享学习短句。通过广泛地仿真,演示了这个方法的并行效率。针对DPLL算法并行化水平低时的性能退化问题,进行了算法改进,结果得到了明显的改善。     

有限元前处理软件ANSA功能概述

一般来说，CAE分析工程师80％的时间都花费在了有限元模型的建立和修改上，真正的分析求解时间也消耗在了计算机上，所以采用一个功能强大、使用方便灵活并能够与众多CAD系统和有限元求解器方便地进行数据交换的有限元前后处理工具，对于提高有限元分析工作的质量和效率具有十分重要的意义。     

基于Matlab的SMB色谱分离过程计算机仿真研究

针对考虑因素全面的SMB综合速率模型，采用有限元方法和正交配点法分别对柱向和吸附剂颗粒径向模型进行离散化，利用Matlab ODE求解器对SMB过程进行了数值求解，并编制了SMB过程仿真软件。在此基础上进行了一个SMB分离实例仿真，分析了切换时间和流量变化对分离性能的影响，验证了SMB过程分离性能的参数敏感性，提出了对系统实施先进控制的必要性。     

基于深度学习的差分神经区分器求解方法

针对差分神经区分器中准确率随着密码算法轮数增加而快速降低的问题，提出一种差分神经区分器求解方法。将深度学习技术与多差分密码分析相结合，通过采用神经网络拟合密码算法的多输入及多输出差分，设计多差分神经区分器通用模型。该模型中所使用的输入参数被设置为多个明文差分、相应的密文及密文差分。将其应用于分析Speck32/64及Simon32/64密码算法，结果表明，Speck32/64的5至7轮区分器准确率均有显著提升；Simon32/64的密码区分器轮数从9轮提升至10轮，说明该方法的有效性。     

利用混合整数规划的卫星操作规划问题研究

对于成像卫星的操作规划,如何高效求解其规划问题模型是一个十分关键的问题。针对基于规划域定义语言(PDDL)表示的成像卫星操作规划问题的求解,采用将基于命题式的PDDL语言描述的模型转化为多值变量模型的方法,建立了基于混合整数规划的问题求解模型,从而可以方便地采用混合整数规划的已有求解器进行求解,提高了问题的求解效率。对关键技术进行了分析,并设计了问题求解流程。仿真实验结果证明该方法是可行和适用的。     

对象族拓扑约束求解的研究

针对当前对象族模型在求解拓扑约束时存在的缺陷,提出一种求解拓扑约束的新方法,这种方法在求解拓扑约束时,把拓扑约束映射为布尔约束满足问题,通过用SAT求解器求解布尔约束来求解拓扑约束。实践证明,该方法不仅直接关联与拓扑约束指定的特征的语义,而且当模型中存在大量相交的特征时也是可行的,提高了拓扑约束求解的效率。     

基于服务架构的OpenFOAM求解客户端设计

针对OpenFOAM解算软件缺乏GUI功能用户交互体验性差问题，研究设计了一个OpenFOAM求解客户端软件。设计了基于服务的“云+端”计算架构，设计开发了一个OpenFOAM求解器服务，GUI客户端远程调用访问求解器服务，并集成可视化服务实现了数据可视化分析功能，实现了云端协同的求解计算功能；研究设计了基于界面模板的动态GUI界面生成方法，实现了客户端软件界面用户自定义配置功能。该软件支持基于服务的功能扩展集成，支持用户界面自定义、求解器用户设置界面自定义功能，用户界面友好，可扩展性强。通过实际的算例进行解算，验证表明了客户端软件能够通过远程调用云端求解服务、可视化服务实现完整的求解计算流程。     

LS-DYNA用户自定义材料模型开发与验证

当DYNA材料库中不包含所需要的材料模型时,用户可以自定义材料,生成新的DYNA求解器,进行问题的求解。其中需要采用数值算法求解本构方程组时,半隐式的图形返回算法体现了其良好的使用性。通过对一个简单的理想弹塑性模型的求解公式的推导,进一步阐述了这种方法以及编写材料程序的基本过程,并采用单单元模型验证了所编写程序的正确性。     

基于可满足性模理论的虚拟网映射问题求解

针对物理网络不支持路径分割且物理节点不支持重复映射的虚拟网映射问题，建立以物理网络资源消耗量最小化为目标的整数线性规划模型；基于可满足性模理论，构建这类虚拟网映射问题的SMT公式，并采用SMT求解器求解最优解。实验表明，所提方法能有效提高虚拟网络构建请求的接受率和物理网络提供商的长期收益。     

具有传感器故障的不确定系统的区域稳定可靠控制

针对具有不确定性的线性系统，考虑具有更广泛意义的传感器连续故障模型，应用修正的李亚普诺夫不等式，给出了系统区域稳定的充分条件．通过求解一组LMI完成状态反馈控制器的设计，经过仿真实例验证了结果的有效性．     

平面并联机构工作空间的三维螺旋扫描CAD求解

针对平面并联机构无奇异位置工作空间求解困难、过程繁琐、计算量大等问题，提出了基于CAD求解平面并联机构工作空间的三维螺旋扫描方法。将[n]自由度平面并联机构分解成[n]条支链进行独立分析，得到每条支链下末端执行器的可达区域，再将所有支链可达区域取交集即为平面并联机构工作空间。应用SolidWorks软件建立平面并联机构模型，进行几何特征处理，通过自动求解器求解，将求解过程图形化，快速得到同轴布局5R机构和平面3-RPR并联机构的无奇异位置工作空间。通过同轴布局5R机构的运动学实验，验证了该求解方法的可行性。     

工业及通讯领域微分方程组在线求解器的设计

针对工业现场控制以及仿真研究中普遍存在的微分方程组在线求解这一难题,从微分方程的反函数出发,结合工控软件运行特点,设计出有效的求解模型。在组态软件PineCAD上实现模型的搭建,实验证明可靠性与准确性。该求解器适用于对实时性要求较高的各类环境,具有简便高效的特点。     

Wiener滤波新方法

基于ＡＲＭＡ新息模型提出Ｗｉｅｎｅｒ滤波的一种新的时域方法。对带状态空间模型的线性离散随机系统，提出一种Ｗｉｅｎｅｒ状态估计器，可统一处理最优滤波、平滑和预报问题，且具有渐近稳定性，避免了求解Ｄｉｏｐｈａｎｔｉｎｅ方程和Ｒｉｃｃａｔｉ方程。仿真例子说明了其有效性。