|
搜索
搜 索
高等教育领域数字化综合服务平台
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。
东南大学
2021-04-10
一种高通用性大装载小型无人飞行器
本发明提供一种高通用性大装载小型无人飞行器。该飞行器包括：翼身融合机体，设置在所述机体两侧的两个固定主翼，设置在所述两个主翼下方的两个撑杆以及设置在两个撑杆后端的模块化尾翼组件。所述两个主翼采用优化后的高升力翼型，使全机具有较小的失速速度；所述机体进行了翼身融合设计，机体内具有较大的装载容积，能够搭载多种任务载荷，同时，全机具有灵活的起降能力，可根据任务需要进行弹射起飞、滑跑起飞或垂直起降，从而提高了无人飞行器对不同类型飞行任务的适应能力和执行效率。
北京航空航天大学
2021-04-10
前瞻性队列成员管理及问卷调查智能分析系统
前瞻性队列成员管理及问卷调查智能分析系统是针对新时期大型中心人群队列的研究设计，体现了云 计算、互联网、大数据的设计理念和时代特征
中山大学
2021-04-10
生物酶法制备纳米级功能性膳食纤维技术
本技术采用花生壳、小麦麸皮、大豆皮等农副产物为原料制备 纳米纤维素。首次采用生物酶结合超声波技术以农副产品为原材料制备纳米级 膳食纤维，克服了目前酸法制备纳米级膳食纤维污染重、周期长等缺点，建立 了一种高效、绿色、环保制备纳米级膳食纤维的新方法；首次开发出纳米级膳 食纤维及高纤维食品：包括面制品、淀粉制品、肉制品及功能性饮料制品等， 拓展了纳米级膳食纤维的应用范围。本项目所开发的纳米级膳食纤维功能性食 品，兼具优良口感与保健功效，具有良好的市场前景，对建设资源节约型和环 境友好型社会具有重要的促进作用。 生产条件及经济效益预测：纳米膳食纤维素的初步市场估价为 15 万元/吨。 项目投产后，年加工量 2000 吨的农副产物生产线，估算投资额为 8000 万，可 产生经济效益 2.55 亿元，实现利税 1.2 万元。年加工量 1000 吨的农副产物生 产线，估算投资额为 4000 万，可产生经济效益 1.275 亿元，实现利税 8400 万 元；年加工量 500 吨的农副产物生产线，估算投资额为 2000 万，可产生经济效 益 6375 万元，实现利税 3200 万元。
青岛农业大学
2021-04-11
HL-1型信号式功能性电刺激治疗仪
HL-1型信号式功能性电刺激治疗仪采用进口微处理器电脑芯片和先进的汉字液晶显示技术，通过声光指令指导患者主动收缩和放松患侧肌肉，加快受损的神经和肌肉再生过程及运动功能恢复。可针对不同病理需要，仪器设置了7种固定治疗处方模式和自由编程处方模式。治疗过程中，可随时查看通过患者皮肤的实际功能性电流大小。应用语音（声音）和闪光灯（光信号）作为指导信号，无论是对于听力差，还是视力差的患者，甚至听力与视力均差的患者都能得到提醒与指导，然后将主动训练与被动电刺激相结合，引发肌肉的全收缩，带动关节完成关节的功能活动。 1、光信号提示功能：治疗中不同的语音信号和光信号提示患者收缩和放松肌肉，配合仪器进行被动训练。 2、语音提示信号录音功能：可录入以我国的普通话或各地方言或外国语表达的提示语音，并可在微处理器的控制下播出，指导医生或患者按操作指令进行治疗。 3、能实时检测治疗时通过患者局部皮肤的功能性刺激电流的大小。 4、微电脑程序控制，可在固定处方模式（7种治疗处方）或自由编程模式下运行。 5、设有两组输出通道，可同时进行两组肌肉或两名患者同时进行治疗。 6、高清晰汉字液晶屏显示。 7、友好的人机操作界面设计，具备语音和光信号提示，操作方便。8、造型美观大方，携带方便。
上海理工大学
2021-04-11
浅埋煤层开采顶板涌（突）水危险性分区预测技术
矿井水害的预测防治是煤炭生产中一项重要任务。前人对煤层顶板含水层地下水水害已研究提出了比较可行的预测方法，但对浅埋煤层顶板含水层地下水、采空区积水和地表水多种水源复合水害问题还未研究出合理的预测方法。本成果以陕北侏罗纪煤田典型浅埋煤层矿井为研究区，研究提出了浅埋煤层开采顶板涌（突）水危险性分区预测的技术方法，成果已通过陕西省科技厅组织的鉴定并获陕西煤业化工集团科技进步二等奖。本成果的技术原理是：以矿井水文地质与工程地质条件分析为基础，首先确定矿井煤层顶板的充水条件（充水水源、充水通道、充水强度）；其次，进行各充水因素的富水性分区；第三，进行各充水因素的冒裂安全性分区；第四，进行各充水因素的富水性分区和冒裂安全性分区的叠加综合分析，确定矿井不同区域各主采煤层的顶板涌（突）水危险性大小级别，编制矿井涌（突）水危险性分区预测图；第五，针对各充水因素制定相应的防治水措施
西安科技大学
2021-04-11
一种基于能量捕获的能效公平性优化方法
本发明公开了一种基于能量捕获的能效公平性优化方法，包括： 获取初始数据，包括基站发射功率、路径损耗因子、网络接收阈值、 用户与单层网络的基站之间的距离、网络总带宽和其它层网络的基站 对用户的干扰；在频谱正交分割的情形下，根据路径损耗因子和网络 接收阈值，得到覆盖概率的平均对数；根据覆盖概率的平均对数、网 络总带宽和网络接收阈值，以网络能效值最大为目标建立网络能效模 型，基于网络能效模型得到网络接收阈值的隐函数；将初始数据输入 到网络接收阈值的隐函数，得到最优网络接收阈值和最优网络能效值。 本发明在保证用户服务质量的同时，有效提升整个网络的能量公平性。
华中科技大学
2021-04-11
利用新型边缘整塑材料制取无牙颌功能性闭口式印模
相关专利提供了一种新型的用于制取牙科全口义齿印模的边缘整塑材料，以及利用这种新型边缘整塑材料的独特性能，临床常规制取无牙颌功能性闭口式印模的操作流程。应用范围:可应用于口腔医学临床全口义齿制作中的无牙颌印模制取工作效益分析:利用相关专利的新型边缘整塑材料独特性能，整合全口义齿印模制取与颌位关系记录两个临床操作步骤为一体，常规制取无牙颌功能性闭口式印模，操作流程简便、实用，义齿边缘封闭效果更佳，可显著提高全口义齿固位力。 一、主要技术优势： （1）边缘塑形材料在人体口腔温度下即具有良好的可塑性，无需常规材料的酒精灯烘烤步骤，在冷水冲凉后的常温下又能恢复一定的强度，为终印模材和印模石膏提供有力支撑，保证印模和工作模型不会发生变形。 （2）可以在患者口腔内同时进行唇、颊、舌各部位整体的肌能整塑工作，简化操作流程，较之传统材料，更能准确反映全口义齿边缘封闭区外形。 （3）充分利用新型边缘整塑材料独特性能，整合全口义齿印模制取与颌位关系记录两个临床操作步骤为一体，设计了一套临床操作简便、实用的制取无牙颌功能性闭口式印模的操作流程。 二、主要性能指标 （1）材料规格：直径 6—8mm，长 100—150mm 圆柱型 （2）材料性能：软化点温度为 37 摄氏度 （3）材料成分：医用石蜡、低聚度聚乙烯、环保无毒增塑剂、硅微粉等，经物理混合制成
天津医科大学
2021-04-10
关于举办全国颠覆性技术创新大赛领域赛的通知
根据《科技部关于举办全国颠覆性技术创新大赛的通知》（国科发火〔2021〕195号），科技部火炬中心将于近期举办全国颠覆性技术创新大赛（以下简称大赛）领域赛。现将大赛领域赛有关事项通知如下。
科技部火炬中心
2021-10-21
《人工智能领域研究生指导性培养方案（试行）》印发
根据相关要求，与本领域发展定位、学校学科布局和师资结构相适应的具体培养方向，可参考设置人工智能基础理论研究相关方向、人工智能共性技术相关研究方向、人工智能支撑技术研究方向、人工智能应用技术相关研究方向和人工智能与智能社会治理相关研究方向等五大培养方向。
教育部
2022-08-05