Optimization of Liquid Organic Hydrogen Carrier (LOHC) dehydrogenation system

In this paper, the perhydrodibenzyltoluene dehydrogenation flowsheet has been simulated. Modelling of the dehydrogenation reactor has been performed using the 1-D model. External and internal mass transfer resistances are also considered. Non-isothermal pellet condition has been considered for simulating the dehydrogenation reactor. The flowsheet simulation has been carried out in DW-Sim v 6.5.2 integrated with the reactor model coded in Python. NET. The dehydrogenation reactor is operated at a feed temperature between 523 K ?613 K, a wall temperature of 623 K and 653 K, and a reactor pressure maintained at 1.2 atm. The amount of catalyst required for the perhydrodibenzyltoluene (PDBT) dehydrogenation reactor is evaluated such that the conversion reaches 99%. The process flowsheet has been simulated to produce 10 Nm³/hr of industrial-grade hydrogen. The effects of feed temperature, wall temperature, and hydrogen burner efficiency on various system requirements, including catalyst weight, energy supplied to the dehydrogenation reactor, areas of the heat exchanger, and hydrogen production from the reactor, have been discussed. Preliminary cost optimization based on the heat exchangers and catalyst at various feed temperatures, reactor wall temperature, and hydrogen burner efficiency has been carried out.     

基于ABAQUS/Python的数控弯管专用后处理模块的拓展

随着数控弯管成形技术的发展,要求数控弯管后处理程序能实现对管材下料的预测、管材回弹的补偿,以及为设备力能参数的选择提供依据。文章在该实验室已开发的数控弯管后处理模块的基础上,进行了拓展完善,实现了管件延伸率、比例回弹率和固定回弹率,及模具夹持力、助推力的计算等功能,开发了友好的中文图形用户界面以增强后处理模块的实用性,并以实例验证了所开发的模块功能的有效性。研究成果对有关塑性成形过程模拟仿真相关功能的开发,具有借鉴意义。     

ABAQUS二次开发在Csf/Mg复合材料微观几何建模中的应用

基于RSA方法构建Csf/Mg微观模型是对其材料性能进行有限元模拟的重要基础。由于Csf/Mg复合材料性能受纤维体积分数、纤维取向分布、纤维长径比等参数的影响,针对不同仿真需求采用手工方法建立其有限元模型工作效率极低,因此采用Python脚本语言对ABAQUS GUI进行二次开发,建立用户自定义图形界面。结果表明,对ABAQUS GUI进行二次开发可以根据用户需求创建图形用户界面,通过输入相关参数可以实现自动创建Csf/Mg复合材料有限元几何模型,同时极大地简化了建模过程。基于RSA方法可实现二维或三维纤维随机取向或定向分布的短纤维增强复合材料的几何建模。     

Dynamo-Python在BIM装配式预制机房的应用

随着BIM技术在装配式机电设计中的应用,对BIM模型的建立、拆分、成组以及加工图的输出等显得越来越重要。本文基于Revit参数化编程软件,通过可视化编程方法,利用Dynamo及Python实现了自动拆分管道并快速制作出满足我国设计规范的图纸。与传统手动建模及出图方法相比,大大提高了设计效率及出图质量,具有推广和应用价值。     

PYNQ框架的高精度异构无预选框检测模型实现

由于深度卷积网络的参数量及计算量过大,多尺度目标检测网络难以快速高精度地部署在许多资源及功耗受限的平台上。为解决此问题,本文基于Python productivity for ZYNQ(PYNQ)框架实现了无预选框检测模型CTiny的IP核设计及异构系统架构部署。首先,提出在卷积核中分段量化整体缩放系数的方式,使得预训练的高精度算法低损地部署于可编程门阵列(field programmable gate array, FPGA)上;其次,基于PYNQ框架实现了CTiny模型的系统搭建,包含ResNet主干网络、反卷积网络和分支检测网络;最后,将图片预处理及后处理等耗时计算从串行的ARM端移入并行的FPGA中,进一步缩减了总处理时长。实验结果表明:在PYNQ-Z2开发板上部署CTiny模型后,本文所提量化方式在公开光学遥感数据集NWPU VHR-10的平均检测精度达到81.60%,相较于截断量化提升了14.27%,实现了部署精简无预选框检测网络的精度低损耗的需求,且后处理的处理时长由ARM端的9.228 s缩减为了FPGA端的0.008 s,提高了检测模型的速度。     

SGARP中符号计算模块的实现及其应用

可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform, SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers, TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求.     

基于Python的交换机实时监控系统的设计与实现

从高校校园网运维工作实际出发,提出了一种基于Python语言+SNMP协议的网络交换机监测系统设计思路与实现方法。整个系统采用B/S模式,基于轻量级的web开发框架web.py实现。后端采用Python编程语言实现对交换机各项数据的获取,实时数据以HTML页面的形式供系统前端访问。该系统一方面能协助校园网管理运维人员快速及时定位网络交换机故障,提高了和快速反应能力和工作效率,另一方面通过对交换机性能的监控,为实现对交换机的性能调优提供数据支持。     

基于Python的新型仪表自动化测试系统

随着科技的发展和政策的支持,国产化仪表研发水平不断提升,性能越来越强,功能也越来越复杂.不管是仪表自身功能的体现还是质量检验的需要,测试都是不可或缺的环节.本文提出一种基于Python语言的自动化测试系统,利用其面向对象、简洁高效的特点,结合PyVisa、logging、pandas、matplotlib等强大的功能模...     

Dynamo可视化编程在车位排布中的应用研究

为了进一步提高车库设计中计算机辅助设计的自动化程度,通过解析和抓取设计师最常用的一种设计思路,同时模拟传统操作流程,基于Dynamo可视化编程编写了一套自动排布车位的程序算法。结果表明：对于每一种测试模型,当设计条件相同,且设计师和计算机均采用相同算法的情况下,人工布置的结果和计算机生成的结果均吻合。程序的运行效率、稳定性、运行结果的准确性、合理性,操作流程的便捷性等方面都基本满足了研究的预期效果。