本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。

本项技术融合3D打印、半固态快锻、柔性机器人3项重大技术，将金属增材-等材-减材合三为一，实现3D打印锻态等轴细晶化、高均匀致密度、高强韧、形状复杂的金属锻件，全面提高金属制件强度、韧性、疲劳寿命及可靠性，解决锻件增材制造世界性难题。

本发明公开了一种用于单向活动支座安装方向错误处治的限位装置与方法。本发明的方法包括步骤1：切除原单向活动支座限位板，解除原单向活动支座错误方向的约束；步骤2：根据限位装置上的锚栓孔位在墩顶面以及原单向活动支座垫石侧面钻孔用于安置锚固螺栓，将所述限位装置的上钢板与原单向活动支座的上钢板顶紧，下钢板与墩顶面密贴，中间钢板在原单向活动支座垫石高度范围内与原单向活动支座垫石侧面密贴；步骤3：限位装置下钢板与墩顶面混凝土接触面、中间钢板与原单向活动支座垫石侧面混凝土接触面采用结构胶调整平整度。本发明可以节省大量的支座更换设计、施工、监控等费用，而且避免了顶升施工的施工风险，且对桥面交通没有任何影响。

项目属现代农业技术领域，围绕农田信息快速感知、稳定传输和精准管控三大瓶颈难题，在植物养分/生理/病害信息快速感知，土壤水/盐/养分特性多维快速测试，农田复杂环境下信息无线稳定传输，基于作物生长需求的物联网环境调控和肥水药精准管理等核心技术取得了重大突破，自主研制了系列产品和系统，总体达到了国际同类研究先进水平，部分达国际领先水平。相关成果已经在全国20 多个省市的农田、果园与设施农业等推广应用，取得了重大经济和社会效益，对推动我国数字农业和农业物联网技术的发展具有重要意义。

所分析研究的尾矿坝坝址区为一峡谷段，两岸山顶高程可达500m左右，土坝于1978年施工后并投入使用。坝底高程为425m，坝顶高程为455m，坝高30m，坝顶宽5m，坝顶长90m。分设三个马道，设计边坡比自上至下分别为1:2.0、1:2.5、1:3.0，下游坡的变坡处设马道宽2m，下游坡脚设排水棱体，排水棱体高7.5m，坝址堆石棱体坡比为1:1.5。相应设计总库容77万m3，有效库容62万m3，服务年限20年。坝体材料由人工填土、残积土组成。尾砂坝运行以来，随着尾砂的堆积和水位上升，整个坝体逐渐处于饱和状态，坝面多处有水渗出。1998年2月13日，当时水位距坝顶约2m，右坝坡约447m高程处渗漏产生流土而失稳破坏。 该研究项目分析了土坝塌溃的原因和影响土坝稳定性的机理；对重建后坝体的安全稳定性进行了分析计算，并针对相应影响因素提出了综合治理对策；对类似工程土坝的设计施工及运行管理提出了相应的注意事项和预防措施。有相应的分析软件。

北京大学本科生课程学习实行教学计划和导师指导下的自由选课制。各专业教学计划规定应修满的总学分及各类课程学分的具体要求。学生应根据教学计划规定的各类课程学分要求和学院的指导意见，根据自身情况合理安排学习进度，努力在规定的时间内完成教学计划。

《先进高折射高色散透明陶瓷的研发与产业化》，现阶段成熟产品为：微晶/多晶蓝宝石陶瓷材料，主要用于高档珠宝和饰品行业，其基本特点包括折射率n≥1.76，硬度≥9，半透明或微透明，外观色泽类似翡翠和玉，可耐1200℃高温而无损。在天然翡翠等玉石资源日趋枯竭，价格不断上扬的背景下，这种以蓝宝石材料为基通过高温工艺制备而成的新型珠宝材料具有广泛的市场前景。 透明陶瓷是现代无机材料发展的最前沿领域，通常用于激光光学、发光材料等方面，如何将原本不透明的陶瓷透明化，是技术难点，目前国外尚未有将透明陶瓷反向微透明化用作珠宝饰品行业的报道，原因在于只有东方才有独特的朦胧审美观和玉文化，因此本项目处于较为领先的阶段。

该成果提出了变压器局部放电检测的系统的、全面的外部干扰排除方法；提出了变压器局部放电超宽带天线阵列定位新技术；提出了变压器内部局部放电缺陷严重程度的特征参数，进而提出了局部放电缺陷的类型和严重程度的诊断方法，并且设计并实现了相应的自动诊断软件。 研究成果通过了实验室试验验证，并在上海市电力检修公司和福建省十余座变电站得到应用。该成果抗干扰技术的在线检测结果的准确性与过去相比提高了3倍，准确率提高到95%；定位技术误差一般不超过30cm；总体运算时间在秒级，Y型优化阵列准确定位区域比现有的矩形阵列大18倍。 该成果在局部放电缺陷严重程度的诊断方法和预警预测方法方面填补了国内外空白，对放电类型的严重程度识别的准确度达到了93.3%以上。

海上大型绞吸疏浚装备是远海岛礁大规模高效吹填造陆的国之重器，是南海资源开发、一带一路港口建设等国家战略任务和重大工程的紧迫需求。绞吸疏浚装备具有同步完成海底岩土快速挖掘和长距离管道连续输送的可靠作业能力，需要作业定位、岩土挖掘、物料输送和疏浚监控四大系统的高度集成，其核心技术长期被欧洲垄断并严格封锁。项目组围绕海上大型绞吸疏浚装备的自主研发与产业化，历经15年产学研用攻关取得如下创新成果：     一、多自由度顺应式重载精确定位技术：针对漂浮作业装备高效稳定定位的挑战，提出主体、挖掘、定位等系统的多体耦合动力学分析方法，揭示了海洋环境与疏浚作业载荷的复合作用机理，发明了多自由度顺应式重载钢桩台车定位系统，保障了恶劣海洋环境中“定得稳”的疏浚作业要求，使得作业抗风等级从6级提高到9级，南海作业窗口期从约120天增加到约180天。     二、多参数自适应重型大挖深挖掘技术：针对海底坚硬岩石快速挖掘的挑战，提出大挖深倾斜弹性结构超长轴系设计方法，解决了机构运动和岩石挖掘的强冲击载荷导致系统失效的难题，研制出特种重型挖岩绞刀、超长轴驱动装置及多参数自适应控制技术，实现了36米水深下快速挖掘单轴抗压强度超过60MPa的坚硬岩石，满足了国家重大工程“挖得快”的需求。     三、多介质高浓度长距离连续输送技术：针对大颗粒物料高浓度长距离连续输送的挑战，提出多级颗粒混合流态分析技术，攻克了扭曲叶片型叶轮和对数螺旋线泵壳内流道设计难题，研制出高效输送大颗粒物料的系列疏浚泵和驱动装置，实现“排得远”的强大能力，将高浓度管道连续输送距离由6公里提高至15公里。     四、多系统集成优化总体设计技术和装备研制：针对各类型疏浚工程的不同需求，攻克了多系统集成总体设计、多工况功率平衡动力配置、装备综合控制与信息化管理等关键技术，构建了大型绞吸疏浚装备数字化集成设计平台，研制出电轴、变频等五大类56座绞吸疏浚装备，形成“系列化”产品自主设计和制造能力。     本项目授权发明专利34项、实用新型专利21项、软件著作权33项，制修订国家标准5项，发表论文112篇，构建了我国大型绞吸疏浚装备自主研发与产业化应用的完整体系，研制的“新海旭”、“天鲸号”、“天麒号”等装备打破国外技术垄断、不断创造中国记录，中国机械工程学会和机械工业联合会组织的成果鉴定会认为：“海上大型绞吸疏浚装备在总体上达到了国际领先水平。”     获奖等级：特等奖，国家科技进步奖     完成单位：上海交通大学、中交上海航道局有限公司、长江航道局、中交疏浚技术装备国家工程研究中心有限公司、中国船舶重工集团公司第七一一研究所、江苏科技大学、江苏海新船务重工有限公司

一、立项背景 继电保护是保障电网安全运行的第一道防线。自上世纪80年代微机保护应用以来，历经多次更新换代，我国继电保护技术一直处于世界先进水平，为保障电网安全做出了突出贡献。随着智能电网的发展、超/特高压远距离输电大通道的建设、区域电网的广泛互联和波动性新能源的规模化接入，我国已建成世界上规模最大、结构最复杂的电网。电网的快速发展给继电保护带来了严峻挑战： 1、后备保护方面，由于电网结构复杂，运行方式多变，造成后备保护定值更难整定，保护选择性和灵敏性的矛盾更加突出，保护拒动误动风险并存。国内已发生多起类似“6.18”西安南郊站，因后备保护灵敏性不足拒动，造成变压器烧毁的重大事故；国际上屡屡发生的因潮流转移过负荷，后备保护误动引发的如美加“8.14”、印度“7.30”等大停电事故，也不断地对我国电网敲响警钟。 2、主保护方面，超/特高压电气设备结构复杂、线路距离长，短路电流变化大，造成主保护对变压器匝间短路、线路高阻接地等轻微故障的反应灵敏性下降。“11.22”济南特高压泉城站变压器爆炸正是由于保护对起始发生的轻微故障未能灵敏切除，引起事故扩大，造成了重大人员伤亡和财产损失。 这些问题已成为我国电网安全运行的重大隐患！问题的症结在于传统保护仅利用设备自身的电气量信息，在复杂电网环境下，保护反应的电气量在故障和非故障间差异变小甚至混叠，依靠定值配合无法保证保护可靠正确动作。不改变传统保护工作模式，仅对保护判据进行修正或调整定值，只能在一定程度上单方面地解决保护拒动或误动的问题。 二、发明思路 突破保护仅利用设备自身信息的限制，综合利用站间保护关联逻辑量、站域故障全过程电气量等信息，对后备保护、主保护、系统构成模式进行全面创新，构建“站域集中-站间分布式”新型保护系统。   图1 技术发明总体思路 三、发明方案 技术发明点1：基于站间逻辑量信息一致性特征的后备保护技术 传统后备保护既存在对相邻元件故障反应能力不足，保护拒动的问题，又存在受过负荷和系统振荡影响，保护误动的问题。针对上述问题，该项目发明了保护关联关系在线快速跟踪和可靠性校核方法；创造性地将故障的空间分布特征映射为站间的保护关联逻辑量信息，首创了基于站间逻辑量信息一致性特征的后备保护技术，攻克了保护不误动和不拒动无法兼顾的难题。 发明点1.1：发明了保护关联关系在线快速跟踪和可靠性校核方法，为保护可靠利用站间信息奠定了基础。 快速跟踪和可靠识别电网拓扑的变化，确定保护的关联关系，是保护利用站间信息首先要解决的关键问题。发明了保护关联关系在线快速跟踪和可靠性校核方法，关键技术包括：1）提出了基于虚拟阻抗矩阵的保护关联关系分析方法，创造性地将开关状态虚拟为支路阻抗并构建节点虚拟阻抗矩阵，在线微调矩阵元素即可实现开关状态的快速跟踪，跟踪时间由秒级缩短至毫秒级，为后备保护快速动作提供了可靠保障；2）发明了电气量和开关量信息双重约束的关联关系可靠性校核方法，首次将电气量信息引入保护关联关系识别，通过开关量信息和电气量信息实时匹配校验，实现了保护关联关系的可靠在线校核。 发明点1.2：首创了基于站间逻辑量信息一致性特征的后备保护技术，攻克了保护不误动和不拒动无法兼顾的难题。 电流元件、方向元件、阻抗元件等保护逻辑量信息，蕴涵着故障方向、故障范围等故障直接特征，并且信息交互简单、可靠。根据不同位置保护逻辑量反应故障的差异化特征，发明了基于站间逻辑量信息一致性特征的后备保护技术。关键技术包括：1）首次将电网故障的空间分布特征映射为保护逻辑量信息，按近后备和远后备灵敏性要求设定保护范围，实现了逻辑量信息与故障分布特征的关联和匹配，解决了保护强依赖定值的问题；2）首创了基于站间逻辑量信息一致性特征的后备保护技术（如图2所示）。利用逻辑量对故障反应的交叉重叠特征，根据动作一致性原则，既实现了故障设备的快速准确识别，又从根本上攻克了系统振荡及过负荷造成保护误动的难题。 基于站间逻辑量信息的后备保护技术可实现近后备保护全范围速动，远后备保护延时由1.5s以上缩短至0.5s以内；在原理上保证了对相邻元件故障反应的灵敏性，避免了后备保护拒动导致的重大事故发生；不受系统振荡和过负荷影响，避免了保护误动引发的连锁跳闸和系统性事故发生。   图2 基于站间逻辑量信息一致性特征的后备保护技术 技术发明点2：基于故障模型参数异变特征的主保护技术 现有电气设备主保护仅反应故障外在表现特征，在变压器匝间短路及线路高阻接地等轻微故障情况下，外部故障与内部故障特征差异不明显，易造成保护拒动。为解决上述问题，该项目基于故障的物理本质特征，揭示了故障导致电气设备模型参数变化的机理，利用故障全过程电气量信息，构建了可灵敏反应设备参数变化的故障模型，发明了基于故障模型参数异变特征的主保护技术，显著提升了对轻微故障的反应能力。 发明点2.1：首创了可反应变电站电气设备参数变化的故障模型，从物理本质上消除了非故障因素对主保护灵敏性的影响。 突破主保护仅反应故障外在表现特征的局限，利用设备故障全过程全相电气量信息，建立了对故障高灵敏而对非故障不敏感的模型。关键技术包括：1）发明了基于线路压降-阻抗联合分布的故障网络模型，建立了线路阻抗、过渡电阻及分布电容压降之间的幅值、相位关联关系，创建了仅保留线路阻抗压降分布情况的故障网络模型（如图3所示）；2）发明了基于电压磁链方程的变压器故障模型，建立了变压器高、中、低压各侧绕组电压与主磁链、漏磁链的等值平衡关系，消除主磁链的非线性成分，建立了仅反应漏磁链变化的变压器故障模型（如图4所示），从原理上摆脱了分布电容电流、负荷电流、励磁涌流等非故障因素的影响。 发明点2.2：发明了基于故障模型参数异变特征的主保护技术，实现了保护对轻微故障反应能力的大幅提升。 利用站域故障全过程电气量信息，反应故障前后模型参数的变化情况以及三相不一致程度，发明了基于故障模型参数异变特征的主保护技术。关键技术包括：1) 发明了基于阻抗压降变化特征的线路主保护技术，构建了线路压降-阻抗参数关联矩阵，通过实时追踪矩阵中各元素的变化量以及元素间的差异，准确识别故障线路及故障位置（如图5所示）；2) 计及CT误差、变压器有载调压对保护的影响，实时计算各相等效漏感参数的突变量及不一致程度，发明了基于等效漏感参数变化特征的变压器主保护技术（如图6所示），显著提升了保护对变压器轻微匝间短路识别的灵敏性。 基于故障全过程电气量信息的主保护技术可以做到变压器匝间短路识别死区由5%降至2%，500kV线路接地故障过渡电阻反应能力由300Ω提升至1000Ω，故障定位误差由5%下降至1.3%。实现了对电气设备轻微故障的灵敏切除，可有效避免事故扩大造成的重大人员伤亡和财产损失。 技术发明点3：站域集中-站间分布式新型保护系统 构建基于故障全过程逻辑量、电气量信息的新型保护系统是对百年历史继电保护模式的重大变革，除满足复杂电网对继电保护的要求外，还需要考虑工程实现的可行性、应用场景的适用性和运行维护的便利性等重大工程应用问题。该项目首创了站域集中-站间分布式的新型保护系统构成模式，实现了与传统保护的有机衔接，可灵活组态适用各种电网应用场景；发明了基于时间序列特征和电气量物理约束的数据校核技术、基于保护关联关系的数据自适应替代技术，为新型保护系统信息交互提供了可靠保障。 发明点3.1：首创了站域集中-站间分布式的新型保护系统构成模式，奠定了新型保护系统在不同电压等级电网推广应用的基础。 该项目创建了“站域集中-站间分布式”的新型保护系统（如图7所示），实现了发明点1和2技术的工程推广应用。关键技术包括：1）发明了以间隔为基本单元的站域集中-站间分布式保护构成模式。间隔单元做到“即插即用”，扩展性强，可灵活组态适用各种电网应用场景；站域主机实现对站内信息的融合与优化利用；相邻站域主机虚拟为变电站间隔单元，实现站间分布对等交互信息。该模式通信链路清晰简捷，易于工程实现；2）发明了新型保护系统与传统保护的集成与自适应转化技术。新型保护系统在传统保护基础上集成故障全过程信息进化形成，在故障信息缺失的极端情况下仍具备传统保护功能。新型保护系统可充分传承传统保护成熟的运维经验，实现了与传统保护之间的有机衔接。   发明点3.2：发明了基于时间序列特征和电气量物理约束的数据校核技术、基于保护关联关系的数据自适应替代技术，保证了新型保护系统的可靠性。 基于新型保护系统构成模式，发明了站域、站间信息交互可靠性保障技术，实现了异常数据的实时校核与缺失数据的自适应替代。关键技术包括：1）发明了基于时间序列特征和电气量物理约束的数据校核技术，在线修正异常采样数据，解决了电气量在采样或传输中出现畸变而影响保护动作性能的难题；2）发明了基于保护关联关系的数据自适应替代技术，在间隔单元CT断线、PT断线等信息源丢失情况下，通过数据互补重构实现缺失数据的自适应替代，保证了保护功能的完整性，有效提升了保护的可靠 四、创新性成果 该项目攻克了传统保护不误动、不拒动无法兼顾的难题，取得了以下关键技术突破： 1、基于站间逻辑量信息一致性特征的后备保护技术，保护最长动作时间缩短至500ms以内，彻底解决了远后备保护拒动，以及受系统振荡和过负荷影响误动的问题； 2、基于故障模型参数异变特征的主保护技术，显著提升了保护对轻微故障的反应能力； 3、站域集中-站间分布式新型保护系统，实现了保护技术在不同电网场景下的广泛应用。