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

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

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

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

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

本发明多源约束类复杂曲面零件精密加工预处理方法属于复杂曲面零件精密加工领域，特别涉及多源约束类复杂曲面零件精密加工预处理方法。本发明对复杂曲面零件进行约束源分析，先确定零件类型，根据目标曲面最终面形的约束源类型，分析约束间的耦合作用机理，建立约束源之间的耦合关联模型，以满足性能指标为目标，找出对目标曲面的面形起决定作用的以性能指标为驱动的性能相伴曲面，确定通过调整几何约束以满足性能要求的修磨补偿方法，求得目标曲面各点区域的加工余量分布，最终确定满足性能指标的目标曲面精确面形。本发明提高了该类复杂曲面零件精密加工的效率和精度，使零件同时满足几何要求和性能要求。

针对大型复杂曲面工件的喷砂/喷涂工艺算法研发和软件开发，采用去示教+在线编程方式，通过前端智能传感装置（主要是低成本激光或立体视觉系统）获取工件数模，然后后端采用自动编程方式优化生成最优的喷涂工作路径，以适合目前喷砂/喷涂工艺所面对的小批量、多品种、非标准产品的生产需要，提高机器人喷涂/喷砂系统的自动化、智能化编程水平。具体技术指标： (1) 研发实现了一种基于激光或立体视觉扫描的喷涂/喷砂工件快速建模方法，实现了对复杂喷涂/喷砂工件表面的在线感知和高精度建模（表面建模精度0.1mm以内），以引导自动编程； (2) 针对大面积、大曲率、多孔洞等复杂工件曲面，研究实现了一种表面分割分层处理的自动化喷涂/喷砂轨迹生成方法，无需进行人工示教，可根据喷枪模型和曲面数模自动生成表面优化作业轨迹，且涂层加工精度在正负10%以内，表面覆盖率在90%以上； (3) 研发了一套面向复杂喷涂/喷砂作业的多机器人在线智能编程系统软件，并进行了初步应用验证，且可对覆盖率、作业时间等喷涂性能进行实时评估，从而为产业化提供了工程基础。

本发明公开了一种基于区域分割和曲面拟合的室内定位方法， 包括：在给定目标区域中设置 M 个信号源和 N 个参考点，保证每个参 考点能够接受来自至少一个信号源的信号强度，同时记录每个参考点 的二维坐标信息，对于每个参考点进行信号强度采样，然后对样本取 均值，得到第 i 个参考点的指纹，将给定目标区域划分为 K 个区域， 并根据每个区域内的参考点的指纹，建立相应的区域指纹，并存到指 纹数据库，在每个区域内，针对每一个信号源，利用该区域内参考点 的指纹，建立一个曲面拟合函数来表示该信号源在该区域内的信号强 度分布。本发明能够解决现有指纹定位技术中，定位性能受参考点粒 度的制约，定位结果只能从有限个参考点中提取，导致定位精度有限 的问题。

项目简介 针对制约我国机械装备行业发展与提升的复杂关键零部件再设计与快速加381 工等技术瓶颈，以影响整机性能的机械装备凸轮、汽轮机叶片、螺杆压缩机转子、 增压器叶轮等为研究对象，着力构建未知自由曲面复杂零件再设计技术与数据点 云直接加工技术的集成创新，使再设计效率和直接加工精度得到极大提高，技术 水平和产业化成果达到国内同类研究和应用的领先水平。 技术指标 (1)未知自由曲面复杂零件的高精高效数字化技术。研究了基于蚁群算法和 遗传算法的多特征测量路径规划技术、曲率连续自适应测量技术、BP 人工神经 网络重定位技术、Delaunay 半径补偿技术等，开发了“复杂未知自由曲面三维智 能测量系统”，为高精高效数字化奠定了基础。 (2)基于多分辨分析的曲线曲面控制顶点光顺技术。针对传统光顺算法计算 效率极低，细节难于保留等问题，研究了二进小波多分辨快速光顺技术和有理数 尺度小波的任意分辨率光顺技术，首创了“曲线曲面多分辨分析光顺系统”，兼 顾了光顺的整体性和局部性。 (3)复杂零件的三维再设计质量控制技术。针对多分辨光顺尺度无法确定， 光顺效果评判手段有限等难题，研究了基于线性假设和逆问题的多分辨光顺精度 控制技术、基于极限反射法的曲面品质分析技术，开发了“极限反射法曲面品质 分析系统”，实现了光顺尺度的快速反算，消除了视点和光源对评判结果的影响。 (4)双映射法数据点云直接加工技术。针对 CAD 建模及传统数控加工所引起 的累计误差，研究了双映射散乱点云结构拓扑技术、数据点云全干涉检查技术、 无干涉刀具加工路径规划技术，开发了“数据点云直接刀具规划与加工系统”， 实现了数据点云的直接加工，填补了国内在该领域的空白。 效益分析 项目研究成果使系统的测量精度提高了 1 个数量级，测量效率提高了 3 倍以 上，再设计周期缩短了 30%，在机床允许条件下，未知原型零件的直接加工精度 可达μm 级。项目成果在无锡透平叶片有限公司、无锡压缩机股份有限公司和无 锡沃凯精密机械制造有限公司等得到成功应用，研究成果获发明专利 7 项，软件 著作权 7 项，发表论文 64 篇，SCI 收录 9 篇。 应用情况 本成果有助于提升企业研发实力与效率，降低研发成本，提升企业技术水平 和核心竞争力。首创的数据点云直接加工技术，缩短了企业的工艺流程，提升了 产品的加工效率与制造精度，降低了废品率，对企业的节能减排和绿色制造同样382 有显著作用。项目在机械装备行业有极好的推广应用价值和社会效益。

项目简介 针对制约我国机械装备行业发展与提升的复杂关键零部件再设计与快速加381 工等技术瓶颈，以影响整机性能的机械装备凸轮、汽轮机叶片、螺杆压缩机转子、 增压器叶轮等为研究对象，着力构建未知自由曲面复杂零件再设计技术与数据点 云直接加工技术的集成创新，使再设计效率和直接加工精度得到极大提高，技术 水平和产业化成果达到国内同类研究和应用的领先水平。 技术指标 (1)未知自由曲面复杂零件的高精高效数字化技术。研究了基于蚁群算法和 遗传算法的多特征测量路径规划技术、曲率连续自适应测量技术、BP 人工神经 网络重定位技术、Delaunay 半径补偿技术等，开发了“复杂未知自由曲面三维智 能测量系统”，为高精高效数字化奠定了基础。 (2)基于多分辨分析的曲线曲面控制顶点光顺技术。针对传统光顺算法计算 效率极低，细节难于保留等问题，研究了二进小波多分辨快速光顺技术和有理数 尺度小波的任意分辨率光顺技术，首创了“曲线曲面多分辨分析光顺系统”，兼 顾了光顺的整体性和局部性。 (3)复杂零件的三维再设计质量控制技术。针对多分辨光顺尺度无法确定， 光顺效果评判手段有限等难题，研究了基于线性假设和逆问题的多分辨光顺精度 控制技术、基于极限反射法的曲面品质分析技术，开发了“极限反射法曲面品质 分析系统”，实现了光顺尺度的快速反算，消除了视点和光源对评判结果的影响。 (4)双映射法数据点云直接加工技术。针对 CAD 建模及传统数控加工所引起 的累计误差，研究了双映射散乱点云结构拓扑技术、数据点云全干涉检查技术、 无干涉刀具加工路径规划技术，开发了“数据点云直接刀具规划与加工系统”， 实现了数据点云的直接加工，填补了国内在该领域的空白。 效益分析 项目研究成果使系统的测量精度提高了 1 个数量级，测量效率提高了 3 倍以 上，再设计周期缩短了 30%，在机床允许条件下，未知原型零件的直接加工精度 可达μm 级。项目成果在无锡透平叶片有限公司、无锡压缩机股份有限公司和无 锡沃凯精密机械制造有限公司等得到成功应用，研究成果获发明专利 7 项，软件 著作权 7 项，发表论文 64 篇，SCI 收录 9 篇。 应用情况 本成果有助于提升企业研发实力与效率，降低研发成本，提升企业技术水平 和核心竞争力。首创的数据点云直接加工技术，缩短了企业的工艺流程，提升了 产品的加工效率与制造精度，降低了废品率，对企业的节能减排和绿色制造同样 有显著作用。项目在机械装备行业有极好的推广应用价值和社会效益。