检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

舰载机弹药保障作业调度的形式化建模与验证

软件学报 2024年第9期35卷 4100-4122页

作者：金钊金璐张博闻吴庆顺冯朔李冠峰徐明亮郑州大学计算机与人工智能学院河南郑州450001 智能集群系统教育部工程研究中心河南郑州450001 国家超级计算郑州中心河南郑州450001 北京宇航系统工程研究所北京100076 中国船舶重工集团公司第七一三研究所河南郑州450015

航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证... 详细信息

航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证中存在的弹药保障系统难建模、作业执行行为难描述、形式验证工具难实现等挑战,基于分离逻辑的思想,提出一种弹药保障系统的行为模型,并利用定理证明器Coq对作业规划方案进行形式化验证.首先提出一个符合弹药保障作业特征的序列化双层资源堆模型;基于该模型,构造一套可用于描述作业执行行为的建模语言及其操作语义;最后在Coq中实现一种证明辅助工具.通过几个典型弹药保障作业规划方案的交互式证明实例,验证工具的可用性与工程实用性.

关键词：舰载机弹药保障作业形式化验证分离逻辑操作语义 Coq

在线全文

学校读者我要写书评

暂无评论

高精度智能断层预测技术及应用

石油地球物理勘探 2024年第4期59卷 837-847页

作者：张希晨韩瑞冬杜长江李磊陈茂山冯佳梦中国石油集团东方地球物理公司河北涿州072751 油气勘探计算机软件国家工程研究中心河北涿州072751

利用断层敏感属性识别断层的精度和适用性有限,主要可识别主干大尺度断层。对于中、小尺度断层,由于欠缺足够的分辨率、连续性,预测的断层数量不准,如果仅依靠单一属性预测断层的可信度较低。此外,长期以来断层解释以人工为主,严重影响... 详细信息

利用断层敏感属性识别断层的精度和适用性有限,主要可识别主干大尺度断层。对于中、小尺度断层,由于欠缺足够的分辨率、连续性,预测的断层数量不准,如果仅依靠单一属性预测断层的可信度较低。此外,长期以来断层解释以人工为主,严重影响工作效率。为此,为了突破单一方法的极限,从而识别更多的断层,改善断层预测的分辨率和连续性,消除“双边界”效应,创建了高精度人工智能断层预测流程,以逐级提升断层解释精度和效率。首先,开展叠后地震资料预处理,提高原始地震数据的品质,为生成高精度断层属性建立基础;其次,进行人工智能断层预测,为了进一步提升预测精度,对人工智能预测结果进行“断层增强—骨架化—蚂蚁体”处理;再次,利用多属性融合丰富多尺度断层信息;最后,依托高精度断层预测结果,结合智能化技术提高断层解释效率。将高精度人工智能断层预测流程用于渤海湾盆地X区实际资料,预测结果表明,剖面正断层以阶梯状、“Y”式组合为主,大部分为SE倾向,与断陷同期形成。平面上断层优势方位为NE向,与近SN向次级断层构成“梳状”组合,表明该区发生伸展变形的同时,可能遭受左旋走滑作用。

关键词：断层预测人工智能断层增强处理多属性融合

维普期刊数据库博看期刊

非定常自由面流动模拟的反扩散VOF算法研究

在线全文

学校读者我要写书评

暂无评论

船舶力学 2024年第5期28卷 663-675页

作者：李晓东吴乘胜王星王建春张亚英中国船舶科学研究中心江苏无锡214082 中船重工奥蓝托无锡软件技术有限公司江苏无锡214082

VOF(Volume of Fluid)方法由于其良好的守恒性和网格适应性,且具有计算资源需求相对较小等优点,成为船舶水动力学领域自由面流动CFD(Computational Fluid Dynamics)模拟的主流方法。但原始的VOF方法存在较为严重的界面扩散问题,导致模... 详细信息

VOF(Volume of Fluid)方法由于其良好的守恒性和网格适应性,且具有计算资源需求相对较小等优点,成为船舶水动力学领域自由面流动CFD(Computational Fluid Dynamics)模拟的主流方法。但原始的VOF方法存在较为严重的界面扩散问题,导致模拟的界面厚度过大、空间分辨率不够,进而影响流场相关变量的计算精度,这一问题在非定常自由面流动模拟中尤为明显。本文针对上述问题,通过在VOF控制方程中引入人工对流项以达到抑制界面扩散、压缩界面厚度的目的,并采用隐式离散人工对流项的方式提高计算稳定性,形成了反扩散VOF算法。经Zalesak和剪切场等经典算例在不同数量网格下的测试验证,表明反扩散VOF算法能够大幅压缩界面厚度,同时明显减小质量误差。随后的三维无障碍溃坝算例和破舱进水算例,进一步证明了反扩散VOF算法在实际非定常流动模拟中能够更好地捕捉自由面并提高计算精度。

关键词：自由面 VOF方法人工对流项反扩散

基于3DCS的双前轴商用车转向拉杆关键尺寸识别方法

在线全文

学校读者我要写书评

暂无评论

重型汽车 2024年第3期 21-22页

作者：刘晓晋振业王佳王玉明高月辉中国重汽集团汽车研究总院中国重汽集团产品试验检测中心

双前轴商用车辆的转向系统杆系多、尺寸链组成环多,转向直拉杆的定位精度直接决定着车辆的直行能力,进而影响着轮胎异常磨损、跑偏等车辆故障率。文章以某国产双前轴商用车为研究对象,借助3DCS分析软件建立三维仿真模型并通过蒙特卡洛... 详细信息

双前轴商用车辆的转向系统杆系多、尺寸链组成环多,转向直拉杆的定位精度直接决定着车辆的直行能力,进而影响着轮胎异常磨损、跑偏等车辆故障率。文章以某国产双前轴商用车为研究对象,借助3DCS分析软件建立三维仿真模型并通过蒙特卡洛模拟分析法进行仿真计算,求解出直拉杆长度的调节范围,并识别出影响直拉杆参数的关键因素。

关键词：双前轴转向拉杆尺寸精度蒙特卡洛关键尺寸

在线全文

学校读者我要写书评

暂无评论

动态气动相似理论下的浮式风电模型设计验证

工程热物理学报 2024年第5期45卷 1359-1365页

作者：王新宝蔡畅陈晔雯杨英健肖洋李庆安中国科学院工程热物理研究所北京100190 中国科学院风能利用重点实验室北京100190 中国科学院大学北京100149 中国船舶重工集团海装风电股份有限公司重庆401122

浮式风电缩比实验一般采用传统的推力系数相似理论进行模型设计。模型机组可再现原型机组平均推力,但功率性能偏低,且动态气动相似性难以保证。本文提出一种基于最优叶尖速比映射关系的新型动态气动相似理论,并以NREL5-MW为原型机组,分... 详细信息

浮式风电缩比实验一般采用传统的推力系数相似理论进行模型设计。模型机组可再现原型机组平均推力,但功率性能偏低,且动态气动相似性难以保证。本文提出一种基于最优叶尖速比映射关系的新型动态气动相似理论,并以NREL5-MW为原型机组,分别设计了传统理论和新理论下的两款模型机组。与传统模型机组相比,新模型机组除了满足推力系数相似,功率系数也可通过增加某常数与原型机组近似。纵荡-纵摇组合运动下的计算结果表明:相同的叶尖速比变化下,新模型机组的动态推力、动态功率及其系数与原型机组的相似性明显优于传统模型机组。本工作适用于风洞实验研究,可在一定程度上解决水池实验中模型机组气动性能不够准确的问题。

关键词：浮式风电相似理论推力系数模型机组

在线全文

学校读者我要写书评

暂无评论

浅述水电站机组LCU的现场调试

切缝辅助滚刀破岩临界间距试验及预测模型研究

中国科技纵横 2024年第12期 93-96页

作者：李宇豪中国葛洲坝集团机电建设有限公司试验中心湖北宜昌 443000

水电站"无人值班(少人值班)"模式广泛应用过程中,计算机监控系统占据主导地位,机组LCU在水电站整个计算机监控系统中属于主体结构之一.本文主要介绍了水电站机组LCU基本构造与性能,阐述了机组LCU在施工现场的调试项目与调试流程,主要包... 详细信息

水电站"无人值班(少人值班)"模式广泛应用过程中,计算机监控系统占据主导地位,机组LCU在水电站整个计算机监控系统中属于主体结构之一.本文主要介绍了水电站机组LCU基本构造与性能,阐述了机组LCU在施工现场的调试项目与调试流程,主要包括无水调试和有水调试两大项,并对现场调试人员在调试过程中需要注意的问题和技术要求进行了总结.

关键词：水电站计算机监控系统机组 LCU 调试

来源：博看期刊评论

在线全文

博看期刊

学校读者我要写书评

暂无评论

科学技术与工程 2024年第3期24卷 1131-1137页

作者：唐崇茂中国铁建重工集团股份有限公司掘进机事业部长沙410100

提高坚硬岩石条件下滚刀破岩能力是隧道施工的长期追求目标,而采用水射流辅助滚刀破岩可有效降低岩石开挖难度和刀具载荷,是一种很有前景的新型破岩技术。针对水射流切缝辅助滚刀破岩这一方式,首先采用破岩试验验证了切缝间距对切缝辅... 详细信息

提高坚硬岩石条件下滚刀破岩能力是隧道施工的长期追求目标,而采用水射流辅助滚刀破岩可有效降低岩石开挖难度和刀具载荷,是一种很有前景的新型破岩技术。针对水射流切缝辅助滚刀破岩这一方式,首先采用破岩试验验证了切缝间距对切缝辅助滚刀破岩效果的影响,证明在岩石材料、贯入度、切缝深度一定条件下,切缝辅助滚刀破岩存在一个临界间距,当切缝间距小于临界间距时,切缝侧才能发生贯通破碎;然后采用岩石剪切破坏理论分析并提出了一个线性化临界间距计算模型,该模型表明临界间距的大小与切缝深度L和贯入度H的差值(L-H)线性线性相关。

关键词：滚刀破岩水射流切缝辅助破岩临界间距预测模型

在线全文

学校读者我要写书评

暂无评论

计算机网络系统综合防雷设计浅谈

林业建设 2004年第5期 16-18页

作者：瞿玉芬中国重工集团750试验场计算中心云南昆明510500

根据雷电防护分区和分级确定的防雷等级要求 ,综合考虑计算机网络系统的防雷设计 :防直击雷、等电位连接与共用接地系统、屏蔽及综合布线、浪涌保护器SPD的设计。

关键词：直击雷防护接地系统综合布线浪涌保护器防雷设计

在线全文

学校读者我要写书评

暂无评论

竖井掘进机真空气力出渣输送效率分析

西南交通大学学报 2024年

作者：黄鸿颖罗毅管会生马海成西南交通大学机械工程学院中国铁建重工集团股份有限公司

为了提高竖井掘进机真空气力出渣系统的输送效率，需要解决出渣系统参数与岩渣参数不匹配而导致输送效率低下的问题，因此基于单因素分析法和正交试验法开展输送系统参数对出渣输送效率影响的研究。首先基于流体力学总结形成真空气力出... 详细信息

为了提高竖井掘进机真空气力出渣系统的输送效率，需要解决出渣系统参数与岩渣参数不匹配而导致输送效率低下的问题，因此基于单因素分析法和正交试验法开展输送系统参数对出渣输送效率影响的研究。首先基于流体力学总结形成真空气力出渣系统参数与压力损失的计算模型，确定出渣系统的关键参数。采用FLUENT软件模拟真空气力出渣过程，将岩渣出口速度和气体平均压降作为出渣输送效率的考量指标。采用单因素分析法研究出渣系统的管道内径、气体流速、岩渣粒径和岩渣密度四个因素对输送效率的影响规律。基于正交试验法开展出渣输送效率的多因素分析，并应用非支配排序遗传算法获得帕累托前沿解集。最后开展真空气力出渣系统的输送效率试验。研究结果表明：1）气体流速和岩渣粒径对岩渣出口速度的影响最显著，管道内径和气体流速对气体平均压降的影响最显著。2）气体平均压降与岩渣出口速度不能同时达到最优，岩渣出口速度值最小值为最佳经济输送点，得到输送参数优化组合为：岩渣粒径=10mm，管道内径=150mm，气体流速=40m/s。研究成果可为竖井掘进机真空气力出渣系统的施工应用提供参考。

关键词：掘进机真空流体力学输送效率正交试验