|
搜索
搜 索
高等教育领域数字化综合服务平台
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。
东南大学
2021-04-10
一种基于对热点事件进行关联挖掘的电量预测方法
本技术成果提供了一种实用价值大、反映营销深层规律的、准确预测电量的基于对热点事件进行关联 挖掘的电量预测方法，包括以下步骤：1.分析数据，建立模型；2.挖掘热点事件；3.运用关联规则挖掘事 件之间的联系进行电量预测
中山大学
2021-04-10
基于二次规划的功率型储能调频责任划分方法
本发明公开了一种基于二次规划的功率型储能调频责任划分方法，该方法根据调频电源的基本信息及其实时状态信息，利用二次规划优化调频电源的输出功率，实现对区域误差信号的精确跟踪。同时，对于客观因素(如调频功率不足)造成跟踪失败时，利用线性规划方法实现跟踪误差的最小化。本发明充分利用储能装置的快速反应能力，对系统的二次调频信号进行最大程度的精确跟踪，提高了电网的调频能力。此外，该方法还能将电池储能的电荷状态维持在设定值附近，保证其剩余可充放电能力，增加其使用寿命；同时也有效减少了传统电机在调频过程中因为频繁爬坡造成的设备损耗。
东南大学
2021-04-11
一种基于场论的驾驶安全等级确定方法及装置
本发明公开了一种基于场论的驾驶安全等级确定方法及装置，方法包括：获取研究范围内所有车辆微观数据，包括车辆速度、加速度和位置数据；计算研究范围内其他车辆对目标车辆的作用值，包括速度分项作用值和加速度分项作用值；计算所有其他车辆对目标车辆的加权平均作用值；根据加权平均作用值确定目标车辆的驾驶安全等级。本发明提供的方法综合考虑一定范围内车辆的两车相互作用，对目标车辆的安全评估更加可靠，评估结果更加准确，进而为驾驶员和车辆提供科学合理的判断和决策依据，为道路交通安全提供保障。
东南大学
2021-04-11
一种基于小波差分算法的电缆故障测距方法
发明专利 “ 一种基于小波差分算法的电缆故障测距方法应用于电力电缆在线故障定位 ” ，证书证号 955827 ，专利号 ZL 2010 1 0235507.7 。该方法用于电力电缆的在线故障测距。
西安科技大学
2021-04-11
一种基于保持型仿人PID的系统控制方法
一种基于保持型仿人 PID 的系统控制方法 获取偏差信号后，对偏差信号进行 保持型仿人 PID 控制运算，再输出对执行器进行控制的控制信号 ， 控制执行器且通过执行器对 被控对象的被控变量进行调整 ， 用测量装置实时检测被控变量。本发明设计合理、构思巧妙、实现方便且适用范围广、控制效果好，运用保持型仿人 PID 控制方法的控制系统调节时间短、超调量小且抗干扰能力强。该技术与 2012.2 获得国家发明专利授权，授权专利号： ZL 201010190132.7
西安科技大学
2021-04-11
一种基于运动学变换的数控砂轮磨削加工方法
本发明公开了一种基于运动学变换的数控砂轮磨削加工方法，包括：生成初始砂轮加工路径并执行离散化处理以产生多个离散点；在砂轮架驱动轴的移动范围内选择位置点，并根据这些位置点网格划分生成多个立方体网格单元；找到分别包含各个离散点的立方体网格单元，然后计算离散点在所处网格单元中的体积误差矢量；利用体积误差矢量对各个离散点执行转换，由此生成新的多个离散点；通过拟合方式生成新的砂轮加工路径并执行相应的磨削处理。本发明中还公开了对计算体积误差矢量和点压缩处理方式的改进。通过本发明，能够有效降低由于数控磨床运动学特性及几何误差所引起的实际磨削轨迹与理想磨削轨迹之间的偏差，相应提高加工的几何精度和尺寸精度。
华中科技大学
2021-04-11
基于 RCM 译码符号不等分配的视频传输方法及系统
本发明公开了一种基于 RCM 译码符号不等分配的无线视频传输 方法。该方法包括：(1)根据 RCM 的成功解码概率模型以及视频失真 与 I 帧、P 帧和 B 帧的成功解码概率的关系，确定分配给视频 I 帧、P 帧和 B 帧的译码符号数；(2)对 H.264 视频的 I 帧、P 帧和 B 帧的比特 流进行数据提取和比特划分；(3)根据步骤(1)得到的分配给视频 I 帧、P 帧和 B 帧的译码符号数，对 H.264 视频的 I 帧、P 帧和 B 帧的比特流 进行 RCM 编码和传输。本发明通过为视频重建中重要性逐渐减小的 I 帧、P 帧和 B 帧合理地分配数量依次减小的 RCM 译码符号，实现了 H.264 视频在不同信道条件下的平滑质量传输。
华中科技大学
2021-04-11
一种基于能量捕获的能效公平性优化方法
本发明公开了一种基于能量捕获的能效公平性优化方法，包括： 获取初始数据，包括基站发射功率、路径损耗因子、网络接收阈值、 用户与单层网络的基站之间的距离、网络总带宽和其它层网络的基站 对用户的干扰；在频谱正交分割的情形下，根据路径损耗因子和网络 接收阈值，得到覆盖概率的平均对数；根据覆盖概率的平均对数、网 络总带宽和网络接收阈值，以网络能效值最大为目标建立网络能效模 型，基于网络能效模型得到网络接收阈值的隐函数；将初始数据输入 到网络接收阈值的隐函数，得到最优网络接收阈值和最优网络能效值。 本发明在保证用户服务质量的同时，有效提升整个网络的能量公平性。
华中科技大学
2021-04-11
基于遥感影像DN值多元参量定标模型的自适应成像方法
本发明涉及一种基于遥感影像值多元参量定标模型的自适应成像方法,其步骤包括建立成像系统电子学参数与遥感图像的定量数学关系；获取遥感成像系统的位置和姿态参数,并计算成像区域获取成像区域地物覆盖类型、地物反射光谱以及成像区域上空大气和气溶胶参数,根据辐射传输方程计算该成像区域对应的入瞳辐亮度；对每一景遥感影像入瞳辐亮度进行排序得到最大入瞳辐亮度值,并通过成像系统调节成像参数使其不超过成像系统最大输出图像值,然后驱动成像设备获取遥感影像。
北京大学
2021-02-01