|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于模型转换的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
软件健康检测平台
成果介绍研究方向为：（1）智能化软件工程(Intelligent Software Engineering,ISE)，旨在把人工智能技术、大数据技术和新型计算技术与传统的软件工程技术结合起来，运用到软件开发和管理过程中，以便提高软件开发的效率、降低软件开发成本，提升最终软件产品的质量等。具体包含智能化软件开发方法与技术、智能化软件调试和测试技术、智能化软件架构和演化技术等等。（2）软件全方位缺陷检测(Software Defects Detection from All Aspects, SDD)，研究各种类型的软件缺陷检测和定位技术，保障开发出少缺陷、高质量、高可靠性、高安全性和可信的软件产品。技术创新点及参数相关技术达到国内领先水平，有不少核心技术是国内首创。主要创新点包括：（1）全方位的缺陷类型分析；（2）全方位的缺陷分布检测；（3）全方位的缺陷检测视角；（4）全方位的缺陷检测技术；（5）全方位缺陷定位技术。
东南大学
2021-04-11
通用飞行仿真软件
一、主要功能和应用领域 通用飞行仿真软件主要包括：气动数据加载模块，飞行管理模拟模块，飞行控制模拟模块，飞行器六自由度运动规律模拟等功能模块。可提供动态的飞机飞行仿真参数，为开发人员在地面条件下全面综合和评估飞行管理、飞行控制和闭环系统性能提供支持。其主要功能包括 ？ 飞行仿真软件能实时模拟并输出飞机的飞行参数，飞行曲线能完整覆盖飞机的飞行包线； ？ 飞行仿真软件能模拟飞机的各种典型飞行剖面； ？ 飞行仿真软件能够实现基本的飞行控制和飞行管理功能； ？ 飞行仿真软件能够模拟风、大气等外部环境对飞机飞行的影响。 图1 系统架构 二、特色及先进性： 1、使用基于模型的实现方式，把Matlab设计的模型文件自动生成C或C++软件代码，代码规范，避免了人为编码可能引入的缺陷。 2、生成的代码可以进一步转化为一个可执行的独立文件，便于其他系统对该仿真软件的访问和调用。 三、能为产业解决的关键问题和实施后可取得的效果 通过模拟无人机的飞行过程，实时输出飞行器的经纬高、姿态，以及目标环境等信息。除了可以支持飞行管理、飞行控制等系统功能模块的性能评估，也可以为航电系统的验证和评估提供外围模拟数据，降低了航电系统仿真验证对铰链硬件环境的依赖。
电子科技大学
2021-04-10
通用飞行仿真软件
通用飞行仿真软件主要包括：气动数据加载模块，飞行管理模拟模块，飞行控制模拟模块，飞行器六自由度运动规律模拟等功能模块。可提供动态的飞机飞行仿真参数，为开发人员在地面条件下全面综合和评估飞行管理、飞行控制和闭环系统性能提供支持。
电子科技大学
2021-04-10
通用飞行仿真软件
通用飞行仿真软件主要包括：气动数据加载模块，飞行管理模拟模块，飞行控制模拟模块，飞行器六自由度运动规律模拟等功能模块。可提供动态的飞机飞行仿真参数，为开发人员在地面条件下全面综合和评估飞行管理、飞行控制和闭环系统性能提供支持。
电子科技大学
2021-04-10