|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于模型转换的CPS建模与验证方法
本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。
东南大学
2021-04-10
一种高速电主轴力-热耦合建模方法
本发明公开了一种高速电主轴力-热耦合建模方法，包括：分别 获取轴承与主轴待结合的表面、以及主轴与轴承待结合的表面的工程 参数，并利用分形接触理论以及赫兹接触理论计算轴承与主轴之间结 合面的刚度和热传递系数与接触压力和接触间隙的映射模型，根据轴 承的结构参数和材料参数并使用轴承力学模型和轴承热学模型获得轴 承负载和温度与刚度、轴承外圈接触热阻、轴承内圈接触热阻和发热 功率之间的映射模型，计算主轴的电机热源，计算主轴各表面散热系 数，根据主轴的结构和上述结果构建有限元模型，读取主轴的运行参 数，用有限元模型对运行参数进行处理。本方法能降低现有方法中结 合面所引起误差、模型结合面及轴承力学和热学参数不更新导致的误 差。
华中科技大学
2021-04-11
一种全参数化三维杆塔建模方法
本发明公开了一种全参数化三维输电线路杆塔的建模方法，该 方法基于杆塔类型抽象出构成杆塔的所有节点，并进行编号，利用与 杆塔工程参数相关的函数表达式描述每个节点的三维坐标，然后通过 节点配对的形式描述每根钢材的三维空间位置，实现三维杆塔模型的 创建。按照本发明的建模方法，输入不同杆塔工程参数，杆塔三维模 型自动调整，极大降低了杆塔三维模型建模的工作量和修改的工作量， 提高了三维模型的建模效率和准确度。
华中科技大学
2021-04-14
一种高速电主轴力-热耦合建模方法
本发明公开了一种高速电主轴力-热耦合建模方法，包括：分别获取轴承与主轴待结合的表面、以及主轴与轴承待结合的表面的工程参数，并利用分形接触理论以及赫兹接触理论计算轴承与主轴之间结合面的刚度和热传递系数与接触压力和接触间隙的映射模型，根据轴承的结构参数和材料参数并使用轴承力学模型和轴承热学模型获得轴承负载和温度与刚度、轴承外圈接触热阻、轴承内圈接触热阻和发热功率之间的映射模型，计算主轴的电机热源，计算主轴各表面散热系数，根据主轴的结构和上述结果构建有限元模型，读取主轴的运行参数，用有限元模型对运行参数进
华中科技大学
2021-04-14
一种自由曲面微细铣削切削力建模方法
本发明公开了一种自由曲面微细铣削切削力建模方法。包括如 下步骤:(1)获取包括刀具半径 R、刀具螺旋角β、切削刃数 Nf、每齿 进给量 ft、刀具偏心距ρ和刀具初始偏心角αr 在内的加工参数;(2) 将刀具的切削刃沿刀具轴向离散成一系列切削微元，获取参与切削的 切削微元;(3)计算当前切削刃的轴向位置角为φ的切削微元 P(k,φ)的 瞬时切削厚度;(4)计算切削微元 P(k，φ)的切削力;(5)利用步骤(3) 和(4)计
华中科技大学
2021-04-14
一种液态或半液态金属电池的建模方法
本发明公开了一种液态或半液态金属电池的建模方法，包括以下步骤，根据电池阻抗谱进行拟合，构建电池的阻抗谱拟合电路，根 据阻抗谱拟合电路构建电池的等效电路模型；采用对称脉冲对电池进 行混合脉冲功率性能测试，获取用于辨识电池的开路电压、电阻、电 容参数的测试数据；根据测试数据拟合电池的电动势、欧姆内阻、极 化电阻、极化电容、扩散等效电阻和扩散等效电容与 SOC 的函数关系， 辨识出等效电路模型的参数；采用安时法计算电池的 SOC；对 SOC 进 行修正，获得修正 SOC；根据修正 SOC，对等效电路模型的
华中科技大学
2021-04-14
构建基于卷基神经网络的胃癌HE病理切片AI辅助诊断算法
悬赏金额：95万元
发榜企业：百盛（广州）生物制品有限公司
需求领域：环医疗器械及设备及医学专用软件；临床医学-肿瘤
产业集群：生物医药与健康产业集群
技术关键词：人工智能；病理学；组织形态学
百盛（广州）生物制品有限公司
2021-11-01
单目视觉城市建筑物参数化三维建模
本书结合作者对图像处理,分析和三维重建等进行的研究和工作,对从数码相机拍摄的建筑物图像中以参数化建模的方法恢复建筑物的三维几何结构进行了论述和探讨.
江苏海洋大学
2021-05-06
裂解过程反应与传热过程耦合机理建模和 优化技术
乙烯工业是石油化学工业的龙头和核心，乙烯生产装置的核心部分是裂解炉，整个乙烯装 置效益与裂解炉的设计和操作有直接的关系，高水平设计和优化操作裂解炉是乙烯生产装置经 济效益提升的前提。本项目以乙烯裂解炉为例，研究了不同辐射模型对裂解炉流动、传质、传 热和反应的影响，建立准确的辐射模型；在此基础上，研究三维燃烧器的燃烧机理，比较不同 燃烧模型对裂解炉运行状况的影响，建立准确的燃烧模型；在以上模型的基础上，研究了裂解 炉炉膛CFD与炉管裂解反应模型耦合模拟和实验验证；在此基础上，建立基于CFD模拟的区域 法数学模型，研究了其在工业裂解炉中的应用，以提高工业装置的操作运行水平，降低成本和 能耗。
华东理工大学
2021-04-11
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。
东南大学
2021-04-10