本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。

本发明公开了一种高速电主轴力-热耦合建模方法，包括：分别 获取轴承与主轴待结合的表面、以及主轴与轴承待结合的表面的工程 参数，并利用分形接触理论以及赫兹接触理论计算轴承与主轴之间结 合面的刚度和热传递系数与接触压力和接触间隙的映射模型，根据轴 承的结构参数和材料参数并使用轴承力学模型和轴承热学模型获得轴 承负载和温度与刚度、轴承外圈接触热阻、轴承内圈接触热阻和发热 功率之间的映射模型，计算主轴的电机热源，计算主轴各表面散热系 数，根据主轴的结构和上述结果构建有限元模型，读取主轴的运行参 数，用有限元模型对运行参数进行处理。本方法能降低现有方法中结 合面所引起误差、模型结合面及轴承力学和热学参数不更新导致的误 差。 

本发明公开了一种全参数化三维输电线路杆塔的建模方法，该 方法基于杆塔类型抽象出构成杆塔的所有节点，并进行编号，利用与 杆塔工程参数相关的函数表达式描述每个节点的三维坐标，然后通过 节点配对的形式描述每根钢材的三维空间位置，实现三维杆塔模型的 创建。按照本发明的建模方法，输入不同杆塔工程参数，杆塔三维模 型自动调整，极大降低了杆塔三维模型建模的工作量和修改的工作量， 提高了三维模型的建模效率和准确度。

本发明公开了一种高速电主轴力-热耦合建模方法，包括：分别获取轴承与主轴待结合的表面、以及主轴与轴承待结合的表面的工程参数，并利用分形接触理论以及赫兹接触理论计算轴承与主轴之间结合面的刚度和热传递系数与接触压力和接触间隙的映射模型，根据轴承的结构参数和材料参数并使用轴承力学模型和轴承热学模型获得轴承负载和温度与刚度、轴承外圈接触热阻、轴承内圈接触热阻和发热功率之间的映射模型，计算主轴的电机热源，计算主轴各表面散热系数，根据主轴的结构和上述结果构建有限元模型，读取主轴的运行参数，用有限元模型对运行参数进

本发明公开了一种自由曲面微细铣削切削力建模方法。包括如 下步骤:(1)获取包括刀具半径 R、刀具螺旋角β、切削刃数 Nf、每齿 进给量 ft、刀具偏心距ρ和刀具初始偏心角αr 在内的加工参数;(2) 将刀具的切削刃沿刀具轴向离散成一系列切削微元，获取参与切削的 切削微元;(3)计算当前切削刃的轴向位置角为φ的切削微元 P(k,φ)的 瞬时切削厚度;(4)计算切削微元 P(k，φ)的切削力;(5)利用步骤(3) 和(4)计

本发明公开了一种液态或半液态金属电池的建模方法，包括以下步骤，根据电池阻抗谱进行拟合，构建电池的阻抗谱拟合电路，根 据阻抗谱拟合电路构建电池的等效电路模型；采用对称脉冲对电池进 行混合脉冲功率性能测试，获取用于辨识电池的开路电压、电阻、电 容参数的测试数据；根据测试数据拟合电池的电动势、欧姆内阻、极 化电阻、极化电容、扩散等效电阻和扩散等效电容与 SOC 的函数关系， 辨识出等效电路模型的参数；采用安时法计算电池的 SOC；对 SOC 进 行修正，获得修正 SOC；根据修正 SOC，对等效电路模型的

NS-3 是一款面向网络系统的离散事件仿真软件，主要用于研究与教学目的。 NS-3 作为源代码公开的一款免费软件， GNU GPLv2 认证许可，可被大众研究、 改进与使用，它将逐步取代目前广泛应用的 NS-2 网络模拟软件。NS-3 是由 C++ 和 Python 语言编写的， 可作为源代码发布并适用以下的系统： Linux ， Unix variants，OS X，以及 Windows 平台上运行的 Cygwin 或 MinGW 等。NS-3模拟仿真平台可以用来模拟仿真各种类型的网络、以及各种类型的协议，在原有平台基础上自定义仿真环境与参数等。 基于NS3的并行模拟仿真系统，借助NS-3模拟仿真平台开源、免费并且技术先进等优势，在NS-3仿真系统上实现多计算节点并行仿真，提高仿真效率。本项目科技成果，在保证并行仿真效果与串行仿真结果一致的前提下，提高模拟仿真时间效率，适用于计算量巨大的模拟仿真任务，计算效率与并行计算节点数量相关，增加计算节点能够大幅度提高模拟仿真时间效率。项目研究成果可用于科研机构，企业项目开发等所需的复杂模拟仿真任务，提高其项目研发、验证的效率，缩短产品开发、测试周期。

成果简介冶金过程仿真是以程序设计和物理模拟相结合， 通过数值计算和图像显示的方法， 对工程问题和物理问题乃至自然界各类问题进行研究。 冶金过程仿真在炼钢、 炉外精炼以及连铸过程有着广泛的应用。 在钢液的冶炼、 浇注过程中所涉及到的流体流动、 传热、 传质进行模拟， 其中包括钢包精炼过程、 连铸中间包、 连铸结晶器浇铸过程以及模铸浇铸过程中的三维多相流动、 传热、 传质与凝固的冶金过程仿真。外加电磁场作用下， 对连铸中间包的感应加热， 结晶器电磁制动条件下连铸结晶器内钢水的流动和夹杂物去除的冶金过程仿真研究； 钢包感应加热过程操作参数的优化等等有重要作用。 冶金过程仿真结果和工业试验的观察吻合很好， 对工业生产有较好的指导作用。成熟程度和所需建设条件本技术较为成熟， 课题组自行开发软件并配备了流体通用 CFD 软件包 ANSYSFLUENT， 以及磁流体模块（MHD）， 主要用来对冶金过程中流体流动、 组分传输、传热、 凝固、 燃烧以及电磁冶金过程的仿真分析。 经过多年来的积淀和发展， 针对纯净钢冶炼与连铸过程的数学物理模拟研究已经成为本方向较为成熟的研究手段和方法， 近十年， 相继完成近百项相关课题。 2005 年 11 月 30 日“高效异型坯连铸技术开发与应用” 项目， 获安徽省科技进步一等奖。 近几年实验室承担了多项冶金企业的课题， 高效异型坯连铸技术的开发与应用通过数值模拟， 确定中间包内档墙位置， 优化高拉速时中间包内钢水流场； 优化水口结构以及钢水凝固壳厚度的分布特征； 改善结晶器下部的传热条件； 该技术在马钢三炼钢厂取得了较好的经济效益。 先后成功应用于马钢、 济钢和和上海亚新等冶金过程中， 钢包、 中间包、 结晶器以及外场作用（电磁） 下， 对冶炼工艺以及反应器结构进行优化， 近期完成的科研项目有：上海亚新中天六流、 四流中间包内型优化设计的数值模拟研究；马钢第四轧钢厂连铸中间包挡墙工艺参数优化的数值模拟研究项目；马钢第四轧钢厂连铸结晶器水口结构工艺参数优化的数值模拟研究项目；马钢电炉冶炼厂 120 t 钢包吹氩工艺参数优化的研究项目；济钢三炼钢 ASP、 5#连铸机冶金容器流场模拟研究项目。技术指标通过对冶金过程反应器内（如， 中间包） 的流动和传热的数模研究， 掌握冶金反应器内（如， 中间包） 流体流动的规律， 提供合理的工艺设备参数， 使其冶金效果（夹杂物脱除、 钢水成分、 温度均匀性） 符合生产实际要求， 如， 中间包钢水达到包内任意两点的温差不大于 5 摄氏度为合格。 钢包达到较为理想的搅拌效果， 结晶器对液面波动、 凝固坯壳厚度以及流动的控制给出合理的参数， 为高效、 低能耗和绿色冶金提供指导。市场分析和应用前景在冶金过程仿真技术的研究下， 高效异型坯连铸技术使铸机作业率由 65%提高到 87%， 该模式在全连铸生产中应用属于国内首创。 同时对引进的原有工艺及设备进行了改造、 创新后， 使铸机达到了高拉速、 高作业率、 高质量的水平， 铸机的年产量由 63 万吨提高到 110 万吨， 2003 年该项目获安徽省科技进步一等奖。对于节能降耗效益显著。社会经济效益分析过程仿真技术在物理与数学模型相结合的条件下， 对冶金企业产品质量的提高具有重要作用。 提高钢液的洁净度， 较少铸坯修磨工作量的增加或产生废坯。不仅可提高企业的经济效益， 利于有效地节约能源， 降低碳排放， 也利于产生了良好的社会效益。合作方式合作开发、 受托开发联系方式冶金学院 王建军（0555-2312091）； 周俐（13955561593）岳强（15905556998）。

冶金过程仿真是以程序设计和物理模拟相结合，通过数值计算和图像显示的方法，对工程问题和物理问题乃至自然界各类问题进行研究。冶金过程仿真在炼钢、炉外精炼以及连铸过程有着广泛的应用。在钢液的冶炼、浇注过程中所涉及到的流体流动、传热、传质进行模拟，其中包括钢包精炼过程、连铸中间包、连铸结晶器浇铸过程以及模铸浇铸过程中的三维多相流动、传热、传质与凝固的冶金过程仿真。外加电磁场作用下，对连铸中间包的感应加热，结晶器电磁制动条件下连铸结晶器内钢水的流动和夹杂物去除的冶金过程仿真研究；钢包感应加热过程操作参数的优化等等有重要作用。冶金过程仿真结果和工业试验的观察吻合很好，对工业生产有较好的指导作用。

NS-3 是一款面向网络系统的离散事件仿真软件，主要用于研究与教学目的。 NS-3 作为源代码公开的一款免费软件， GNU GPLv2 认证许可，可被大众研究、 改进与使用，它将逐步取代目前广泛应用的 NS-2 网络模拟软件。NS-3 是由 C++ 和 Python 语言编写的， 可作为源代码发布并适用以下的系统： Linux ， Unix variants，OS X，以及 Windows 平台上运行的 Cygwin 或 MinGW 等。NS-3模拟仿真平台可以用来模拟仿真各种类型的网络、以及各种类型的协议，在原有平台基础上自定义仿真环境与参数等。