|
搜索
搜 索
高等教育领域数字化综合服务平台
基于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
食品冷链物流蓄冷剂研发
项目简介： 近年来随着电商发展，冷链物流行业发展迅猛。但是和冷链物流 相配套的相关材料和装备发展严重滞后。本项目利用食品级原料研制 了一系列冷流物流配套的相变蓄冷剂及其产品蓄冷软包材、蓄冷包、 蓄冷板等，已经在天津天乐研究院（南开大学津南研究院）试生产， 产品得到了冷链物流行业内高度关注。 技术特点：冷链物流蓄冷剂及其蓄冷软包材等产品采用食品级原 料，一系列配方，无毒、无害、无污染、可循环多次使用。 进一步的研究集中在蓄冷剂的原材料研究，提高配方蓄冷剂的相 变潜热、降低成本，优化生产工艺等方面。 该项目于 2015 年 7 月在南开大学津南研究院注册成立天津冰利 蓄冷科技有限公司。目前，公司通过了 ISO9001:2015 质量管理体系 认证、ISO14001:2015 环境管理体系认证、SGS 产品菌群和毒性检测、DGM 航空运输条件鉴定，从配方到生产工艺到生产设备均有专利保 护。 公司目前年产食品冷链蓄冷剂 1.5 万吨，拥有自动化制剂生产线 一条、自动化冰利膜灌装生产线四条以及自动化冰利包生产线两条。 已与阿里巴巴集团盒马鲜生、大润发集团、顺丰集团、复华集团签订 了长期供货协议。 所需条件支持：本项目拟在长三角地区建立分厂，需要厂房及资 金支持。
南开大学
2021-04-11
优质高产绿色高效粳稻新品种的培育与应用
本项目挖掘水稻优质、高产、多抗等关键基因及其优异等位变异，建立水稻优质、抗稻飞虱、抗稻瘟病、氮高效利用等多基因聚合育种技术体系，利用该技术体系，培育优质高产绿色高效粳稻新品种，并研制配套栽培技术，进行新品种的应用与推广。
一、项目分类
重大科学前沿创新
二、成果简介
目前，我国南方主栽粳稻品种优质食味特性相对较差，且主推的优质食味水稻品种稻瘟病抗性普遍较差、氮肥利用率低并高感稻飞虱。此外，稻飞虱、穗茎瘟等病虫害的防治，仍以化学农药为主，以及化肥的过度使用，不但增加生产成本，污染环境，且严重影响了稻米品质，制约了我国水稻发展。因此，急需培育优质、多抗、氮高效水稻新品种。然而，优质、抗病虫、氮高效等育种性状，受表型鉴定等因素的制约，育种效率低、盲目性大、周期长，导致抗病虫、氮高效育种进展缓慢，优质、抗病虫、氮高效水稻品种严重匮乏。因此，迫切需要构建优质、抗病虫、氮高效利用育种技术体系，创制突破性新种质，培育优质多抗高效新品种，以满足市场需求。本项目在前期工作基础上，挖掘水稻优质、高产、多抗等关键基因及其优异等位变异，建立水稻优质、抗稻飞虱、抗稻瘟病、氮高效利用等多基因聚合育种技术体系，利用该技术体系，培育优质高产绿色高效粳稻新品种，并研制配套栽培技术，进行新品种的应用与推广。本项目成果，将显著提升我国南方粳稻优质、抗病虫、氮高效利用优异基因在育种上的利用效率和水平，加快突破性优质高产绿色高效粳稻新品种的培育；优质高产绿色高效粳稻新品种的育成和推广应用，将产生显著的社会经济效益，同时为我国优质食味粳稻品种的绿色安全生产提供品种支撑。
南京农业大学
2022-07-25