|
搜索
搜 索
高等教育领域数字化综合服务平台
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。
东南大学
2021-04-10
综采工作面多适应性快速安装/ 拆除成套装备
开展了综采工作面原有的安装/拆除技术和工艺、综采工作面快速安装/拆除技术、快速/安装拆除设备及其多适应性工艺的研究等，研制了自移机械手、变轨吊、液压组装架等设备，项目的研发成功将实现工作面安装/拆除设备成套系列化，对整个工作面的主要设备实现机械化安装与拆除，降低工人劳动强度，提高生产安全性有重要意义。
安徽理工大学
2021-04-13
一种具有运动自适应性的视频删帧取证方法
一种具有运动自适应性的视频删帧取证方法，包括生成去除 P 帧帧内预测模式的编码器；利用改进 的编码器对待检测视频进行去帧内编码预处理，得到预处理后的视频序列；对预处理后的视频序列中 P 帧运动残差数据的波动强度进行量化，得到波动强度序列；根据波动强度序列定位得到删帧点候选帧的 集合，利用颜色均衡和平均梯度去除集合中的光照突变干扰帧和聚焦抖动干扰帧，得到最终的检测结果。 本发明通过将残差波动程度量化，去除中低运动处的主要干扰帧并定位篡改所在帧；通
武汉大学
2021-04-14
鱼类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
变化环境下梯级水库调度运行风险辨识及适应性调控关键技术
成果聚焦将独立设计的单个水库联合运行，有效控制防洪、供水、发电等风险的累积与叠加，防范变化环境下的“黑天鹅”事件，创建了一整套适应变化环境的梯级水库风险辨识及调控理论与方法体系，解决了变化环境下梯级水库运行调度风险难预报、难评估、难管控三方面的难题：针对水库入库径流预测精度在变化环境下不断衰减的问题，首创了具有物理机制的时变预测理论体系，显著提高了“实时、近期、远期”入库径流的预报精度和预见期长度，为梯级水库风险源管控提供了基石;针对变化环境下梯级水库潜在风险的辨识问题，形成了非一致性条件下的“规划
武汉大学
2021-04-14
一种具有环境适应性的足式机器人稳定性控制方法及系统
一种具有环境适应性的足式机器人稳定性控制方法及系统，该控制方法通过利用上一触地过程相关参数信息与期望达到的控制目标进行比较，对飞行相水平运动速度和系统总能量实行反馈控制，预测控制触地角度并进行系统能量补偿控制，最终实现足式机器人 SLIP 等效模型在不同地面环境下的期望稳定周期运动。系统包括系统状态检测模块和稳定控制模块。本发明不需要建立具体的机器人动力学模型，不需要计算精确的不动点触地角度，通过反馈控制实现控制收敛，控制方法简单，计算迅速，很好的解决了现有方法控制实时性不足、适应性不够等问题。且具有较好的未知环境适应性，为足式机器人稳定性控制提供了一种较好的解决方案。
华中科技大学
2021-04-11
高博会活动日程⑩ | 推进现代职教体系建设改革，增强职业教育适应性和吸引力
高博会活动日程⑩ | 推进现代职教体系建设改革，增强职业教育适应性和吸引力
中国高等教育学会
2024-03-28
高安全性、舒适性滑雪头盔
滑雪头盔作为滑雪运动中不可或缺的安全装备，在《中国滑雪场所管理规范》中指出，滑雪头盔是必选项，滑雪头盔市场规模和发展潜力巨大。目前滑雪头盔市场仍由国外品牌主导。
东北师范大学
2025-05-16
可降解性快速止血材料
本技术成果是提供两种可降解的快速止血材料制备技术：壳聚糖海绵状止血材料和可水凝胶化棉花止血 纤维；这两种止血材料的特点是遇到血液等液体,能迅速形成凝胶,封堵伤口,达到快速止血目的。经家兔 止血模型实验表明，对于家兔耳动脉和肝脏大出血均能在1分钟左右完成止血,止血效果明显好于市面出售的 明胶止血海绵、速即纱（美国强生公司）等止血产品，并且都能体内降解。这两种产品可以开发成为临床止 血材料（一类，二类，三类）,也可以开发成为战争野战创伤救护，及运动，野外探险等户外急救敷料等。本技术成果止血效果可与国外先进的止血 材料相媲美，生产成本仅为国外先进材料速即 纱售价的1/10 ,若投入生产经济效益十分明 显。本技术成果愿意向军队后勤供应相关部 门、医药生产企业转化相关技术成果，或以技 术入股的方式共同将本技术成果产业化，生产 出具有完全知识产权的高附加值可吸收性止血 产品•
西南大学
2021-04-13
物体导电性实验材料
宁波浪力仪器有限公司（余姚市朗海科教仪器厂）
2021-08-23