|
搜索
搜 索
高等教育领域数字化综合服务平台
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。
东南大学
2021-04-10
一种具有运动自适应性的视频删帧取证方法
一种具有运动自适应性的视频删帧取证方法，包括生成去除 P 帧帧内预测模式的编码器；利用改进 的编码器对待检测视频进行去帧内编码预处理，得到预处理后的视频序列；对预处理后的视频序列中 P 帧运动残差数据的波动强度进行量化，得到波动强度序列；根据波动强度序列定位得到删帧点候选帧的 集合，利用颜色均衡和平均梯度去除集合中的光照突变干扰帧和聚焦抖动干扰帧，得到最终的检测结果。 本发明通过将残差波动程度量化，去除中低运动处的主要干扰帧并定位篡改所在帧；通
武汉大学
2021-04-14
综采工作面多适应性快速安装/ 拆除成套装备
开展了综采工作面原有的安装/拆除技术和工艺、综采工作面快速安装/拆除技术、快速/安装拆除设备及其多适应性工艺的研究等，研制了自移机械手、变轨吊、液压组装架等设备，项目的研发成功将实现工作面安装/拆除设备成套系列化，对整个工作面的主要设备实现机械化安装与拆除，降低工人劳动强度，提高生产安全性有重要意义。
安徽理工大学
2021-04-13
鱼类NKEF-A重组蛋白对适应性体液免疫的活化效应及其应用
本发明公开了一种鱼类NKEF-A重组蛋白对适应性体液免疫的活化效应及其应用，所述的应用为用于制备能够促进鱼类体液免疫能力的免疫增强剂，所述鱼类NKEF-A重组蛋白的氨基酸序列为SEQID?NO:1所示；本发明提供的NKEF-A重组蛋白作为适应性体液免疫增强剂，其优点在于：(1)使用剂量小，效率高；以1:100(NKEF-A蛋白:抗原)的NKEF-A重组蛋白剂量即可发挥显著的免疫促进作用；(2)易于制备免疫混合液：NKEF-A重组蛋白是可溶性蛋白，容易与抗原混合，克服了传统矿物油乳剂类制剂不易乳化抗原的缺点；(3)安全性高；与细菌毒素或化合物制剂不同，NKEF-A是宿主自身的蛋白，不存在外源物质导入产生的潜在毒副作用。
浙江大学
2021-04-13
单相自适应重合闸装置
成果与项目的背景及主要用途： 目前，国内外的自动重合闸装置在断路器跳闸后，不论故障性质是瞬时性或 永久性，都采用盲目重合的方式。若重合在故障上，会给电力系统带来的巨大危 害；另外，输电线路瞬时性故障发生的几率高达 70%以上，因此，深入研究瞬时 性故障特征，是保证重合成功的关键。自适应自动重合闸的主要任务就是对瞬时 性故障或永久性故障进行预先判断,以确定重合闸是否动作，这对保证电力系统 可靠运行具有重大意义，同时具有巨大的经济效益。天津大学科技成果选编 105 技术原理与工艺流程简介： 电压判据、补偿电压判据、组合补偿电压判据是利用瞬时性故障情况下恢复 电压高于线路互感电压这一特点来区分故障性质。相位判据是根据故障后断开相 恢复电压的相位特性来区分故障性质的。其基本原理是瞬时性故障情况下，电容 耦合电压与电磁耦合电压之间的角度接近于 90 度，而永久性故障情况下，电容 耦合电压为零，利用相位判据的计算公式所得为 0 度角，因此可以准确判定故障 性质。本项目提出了基于相位判据、电压判据等相结合的单相自适应重合闸综合 决策系统，并开发了基于 DSP 和单片机的双 CPU 实现的单相自适应重合闸装置。 技术水平及专利与获奖情况： 本课题提出了单相自适应重合闸综合决策系统，并且开发出了国内第一台单 相自适应重合闸装置，填补了该领域的国内空白，其技术经济指标很高。目前国 外亦无此类成熟产品。正在申请部分理论成果的专利。 应用前景分析及效益预测： 本项目开发的“单相自适应重合闸装置”已于 2003 年 3 月在重庆电网 500kV 长寿站的 220kV 长代东线路投入试运行。试运行期间，装置工作正常，动作正 确。该项自适应重合闸技术对于保障电力系统安全、可靠运行具有重大意义，可 保障电网的连续可靠供电，并可减少重合闸重合于故障对电网、用户和设备带来 的损失。 应用领域：电力系统超、特高压输电线路。 技术转化条件：目前自动重合闸功能与继电保护功能是集中于一套装置内实现的。 本项目研制的单相自适应重合闸技术可直接应用于现有的继电保护装置内，无须 增加任何硬件成本，只需将自适应重合闸功能在保护装置内实现即可。 合作方式及条件：根据具体情况面议
天津大学
2021-04-11
曲面自适应磁吸附装置
本发明公开了一种曲面自适应磁吸附装置。其电机的外壳与支架固定连接；电机的输出轴与第一磁轮和第二磁轮固定连接，使得电机能够同时驱动第一磁轮和第二磁轮同轴转动；第一磁块、第二磁块和第三磁块与支架固定连接，第一磁轮和第二磁轮位于第一磁块和第二磁块之间，第三磁块位于第一磁轮和第二磁轮之间；所述曲面自适应磁吸附装置在使用时，第一磁轮和第二磁轮的轮面与壁面直接接触，而第一磁块、第二磁块和第三磁块与壁面间存在间隙。本发明所述吸附装置在不同曲率壁面运动时，第一磁轮、第二磁轮、第一磁块、第二磁块和第三磁块与壁面之间的吸附力的变化量互补，总吸附力能保持在一个较小的范围内变化，具有良好的曲面自适应能力。
浙江大学
2021-04-11
足下垂自适应刺激器
属于人体康复辅助仪器，适用于脑中风后引起的对腓总神经失控而造成的足下垂。涉及对患者行走时小腿姿态的检测，并在行走需要抬脚时适时释放电刺激脉冲迫使患者自动抬脚完成行走动作，并在患者迈出小腿之前根据运动速度以一定的周期自动持续刺激以保持抬脚。 本发明针对现状的不足，采用简单的安放过程，即固定在膝关节下胫骨粗隆处，且不论左脚还是右脚，通过左右刺激电极选择开关即可确定。使用时仅需要按照个人特点调节刺激强度后就可以正常使用。本实用新型可以根据患者的行走步幅大小和速度自动选择合适的时机发出刺激电流，并在患者迈出小腿之前根据运动速度以一定的周期自动持续刺激以保持抬脚，使患者可以恢复正常行走功能。
大连理工大学
2021-04-13
变化环境下梯级水库调度运行风险辨识及适应性调控关键技术
成果聚焦将独立设计的单个水库联合运行，有效控制防洪、供水、发电等风险的累积与叠加，防范变化环境下的“黑天鹅”事件，创建了一整套适应变化环境的梯级水库风险辨识及调控理论与方法体系，解决了变化环境下梯级水库运行调度风险难预报、难评估、难管控三方面的难题：针对水库入库径流预测精度在变化环境下不断衰减的问题，首创了具有物理机制的时变预测理论体系，显著提高了“实时、近期、远期”入库径流的预报精度和预见期长度，为梯级水库风险源管控提供了基石;针对变化环境下梯级水库潜在风险的辨识问题，形成了非一致性条件下的“规划
武汉大学
2021-04-14
多属性文本自适应标注系统
成果描述：多属性文本自适应系 统主要实现对每个未 知属性的通信实体进 行属性标注的功能。 主要分为两个过程， 即训练过程和预测过 程。 在训练过程中，系统 根据用户提供的已经 具有属性的数据集、 用户选择的分类算法 所对应的参数进行训 练，得到训练模型。 在预测过程中，系统 根据用户选择的训练 模型对未知属性的数 据集中的每个实体进 行属性标注，并得到 标注过属性的数据集 。（注：在训练过程 中，用户可以使用在 训练数据集上进行交 叉验证的方法获得在 固定参数和分类算法 下模型对未知样本预 测的性能的大致估计 。）市场前景分析：随着互联网的迅速发 展，Web页面上的信 息量呈指数级急剧增 长，如何快速、准确 地从海量数据中抽取 出用户真正需要的信 息已经成为互联网对 科研工作者提出的严 峻挑战。 属性标注能够将网页 非结构化文本内容转 化为结构化的属性数 据，方便用户查询和 进一步分析使用；其 作为信息抽取的关键 一步，对提高信息抽 取的性能方面也具有 重要意义。与同类成果相比的优势分析：包括训练和预测两个 过程，实现对不同数 据集的自适应性属性 标注； 特征选择功能，可以 在训练模型时，选择 出对区分数据类别更 有用的特征词，这样 ，可以降低实体所对 应属性的维度，从而 ，减少占用的内容空 间，提高计算效率； 交叉验证功能，帮助 我们在训练阶段，就 可以了解参数和算法 的选择，对属性标注 时准确性的影响； 生成报告功能，可以 在训练阶段的交叉验 证结束后，产生一个 训练阶段的报告，帮 助用户更好地记录实 验数据、参数、时间 和准确性等信息； 评估功能，比较模型 标注结果与样本真实 标签的一致性、差异 性，以评价一个模型 的好坏。
电子科技大学
2021-04-10
多属性文本自适应标注系统
多属性文本自适应系统主要实现对每个未知属性的通信实体进行属性标注的功能。 主要分为两个过程， 即训练过程和预测过 程。 在训练过程中，系统 根据用户提供的已经 具有属性的数据集、 用户选择的分类算法 所对应的参数进行训 练，得到训练模型。 在预测过程中，系统 根据用户选择的训练 模型对未知属性的数 据集中的每个实体进 行属性标注，并得到 标注过属性的数据集 。（注：在训练过程 中，用户可以使用在 训练数据集上进行交 叉验证的方法获得在 固定参数和分类算法 下模型对未知样本预 测的性能的大致估计 。）
电子科技大学
2015-02-12