本发明提出了一种基于模型转换的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，对等效电路模型的

以人性化自助服务为设计理念，面向高校师生提供7X24小时服务，以在线业务系统为支撑具有多种登录认证机制、自助信息查询、自助打印成绩单及证明文件、校园卡或微信自助缴费、微信验证信息真伪、短信智能预警、终端远程管理、参数动态设置等功能，可实现多校区、多部门自助服务一体化管理，推动学校治理理念转变，使学校更多地从"管理"师生向”服务"师生转变，改善工作作风和治理方法，提高学校管理效益和社会效益。 ■线下智能服务终端自助打印输出能力一赋能一取材料场景 ●应用一：成绩单/证明文件材料自助打印 自助打印终端集查询、缴费、打印功能于一体，提供“一站式”服务，可为高校师生提供成绩单、在读证明、学籍证明等各种证明文件的“7*24小时不打烊”自助打印，不受时间、空间限制，提升学校校务管理行政效能。 ●应用二：固定资产标签自助打印 系统对接学校现有资产管理系统，为师生提供稳定、可靠、便捷、7*24小时的固定(无形)资产和低值耐用品等资产的入账单、资产标、申请单、签自助打印服务;资产标签含有唯一二维码，可以通过扫码查看设备基本信息，方便入库。 ●应用三：证件一体化自助办理 系统对接人事系统，实现按照学校、学院(系)、专业、学生等(公司、部门、个人)配置证件卡模板;模板能够实现卡面的不同以及字段位置的不同，卡面上字段能够从系统直接带出，师生(员工)直接能够在自助服务终端免费(付款)打印证件卡。 ■线下智能服务终端自助打印输出能力一赋能一交材料场景 ●应用一：智慧财务报账 智慧财务报账终端告别手动报账的繁琐与不便，开启“人机协作，智慧报账”的全新报账模式。实现智能设备与业务系统深度融合，改变传统报账交单方式，克服时间和空间上的局限性，向广大师生提供全方位、全天候的财务服务，方便快捷，实现报账管理的信息化、智能化。 ●应用二：学生证自助补办 学生证自助补办终端为提供便捷、高效的补办服务。通过身份验证、费用支付、学生证打印、学生证回收盖章、学生证领取等功能，学生可快速完成补办申请。操作简单、安全可靠，支持24小时使用，适用于学生证遗失、损坏或信息变更等场景，极大提升了补办效率，节省排队时间。 ■线下智能服务终端自助打印输出能力一赋能一强身份认证场景 学籍电子注册身份验证基于图像或视频输入进行检测，与注册库比对，实现1:N的人脸比对，或与证件比对，实现1:1的人脸比对。适用于人脸登录、VIP人脸识别、人脸通关等无需刷卡验证的场景。 ■线下智能服务终端自助打印输出能力一赋能一咨询问答场景 学校管理员可通过“问答知识库FAQ管理”，整理录入师生办事过程遇到的常见问题，师生可直接在自助服务终端上通过语音进行咨询问答的服务;师生在操作过程中，系统自动通过语音方式提醒用户操作每一个步骤，完成操作后，可通过语音方式提醒学生注销退出系统、取卡等事项。  

 逆变器－电机拖动系统是交流传动互馈试验台的主要组成部分。由两套逆变器-电机拖动系统构成驱动和负载实验平台，实现能量在输入直流侧的互馈，有效地提高试验台的能量利用效率。拖动系统的控制基于DSP数字平台，可以采用矢量控制、直接转矩控制等高性能的控制策略对两套机组进行联合调节，从而模拟实际电力机车负载的各种动静态特征和调节特性。

项目简介 在国家自然基金（(61273154 和 51077066）项目经费资助下，开发研制了适用于电 动汽车的复合磁齿轮永磁容错电机。复合磁齿轮永磁容错电机结构，如图所示。从图中 可以看出，该电机将无刷直流电机和磁齿轮相结合。 磁场调制式磁齿轮主要由三部分构成。两个 旋转部分分别

高功率密度伺服电机是一种采用紧凑型结构的新型稀土永磁电机。该电动机极槽最优化配合，使电机体积、成本、加工性能、电机力能指标达到最佳，同时对力矩波动具有较强的抑制作用。高密度伺服电机和高精度磁编码器以及驱动控制器三个部分可以组成高精度驱动控制系统。是先进制造技术的基础，其应用范围非常广阔，如数控机床、精密电子装备、工业自动化装备、工业机器人、航空、航天等领域。