|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
一种模块化嵌入式多足机器人运动控制器
本发明公开了一种模块化嵌入式多足机器人运动控制器，包括PC 模块、机身控制模块和分别位于各条足上的足单元控制模块。PC模块用于识别机器人所处环境，确定机器人的下一步动作并将数据传送给机身控制模块。机身控制模块用于将该数据处理成为具体运动数据，再将数据通过机身总线分发到各足单元控制模块。本发明采用分层式控制方式，由数据运算层、机身控制层和关节控制层组成。数据运算层建立在 PC 机上，根据机器人的正逆运动学、动力学计算出机器人的步态数据。机身控制层以 ARM 处理器为控制核心。机身控制层有较大的存储空间
华中科技大学
2021-04-14
ATMP模块化高应用度全地形移动机构平台的设计研发与实现
一、项目进展
创意计划阶段
二、负责人及成员
姓名
学院/所学专业
入学/毕业时间
学号
简凯纳
机电工程学院/机械工程
2018.9/2022.6
201831031312
张星
电气信息学院/电子信息工程
2018.9/2022.6
201831072307
陈浩彬
机电工程学院/机械设计及其自动化
2020.9/
202031030285
邓青蓝
机电工程学院/机械设计及其自动化
2018.9/2022.6
201831053229
三、指导教师
姓名
学院/所学专业
职务/职称
研究方向
杨林君
工程训练中心/机械工程
实验师
机械工程
陈建勇
理学院/凝聚态物理
讲师
凝聚态物理
四、项目简介
目前，在移动机器人领域，轮式移动机器人因具有结构相对简单、驱动和控制方便、工作效率高等优点被广泛用在需要越过障碍物的工作中。但是，一般常用的移动装置为四轮驱动结构，动力相对不足，越障能力差；各种零部件之间拆装特别繁琐，不同模块之间管理混乱，更换属于一个模块的坏掉的零部件往往需要拆卸掉其它模块的零部件，电气元器件之间走线杂乱无序，电池等器件暴露在外部空气中，容易造成短路等安全问题。因此，增大驱动动力，提高越障能力，加强模块之间的管理，方便模块之间的拆装，提高电子元器件的安全性显得尤为重要。
我们项目本次设计和研究的是一种六轮结构的全地形机器人，使用模块化安装，使结构更为紧凑稳定，适用于多场景，提高轮式全地形机器人的应用度。我们采用基于探索者的PLA材料高提纯外分子重结晶化密致处理，极大增强了摩擦系数，底盘采用西南石油大学自主研发探索者二代原理高致合度准刚性攀岩越障地盘，越野能力增强，其底盘后侧主要为空体重心靠前，便于越障。
西南石油大学
2023-07-20
一种模块化多电平换流器拓扑结构的电容预充电方法
本发明公开了一种n+1混合式模块化多电平换流器拓扑结构及其控制策略，属于电力电子及分布式发电领域。其拓扑结构通过在传统n个半桥子模块的模块化多电平换流器(MMC)基础上，在每相上下桥臂加入一个全桥型子模块构成，使全桥子模块的电容电压是半桥子模块的一半，实现输出电压电平数由原先的n+1增长至2n+3。
本发明以提高子模块输出电平数、改善MMC换流器的输出电压质量为目的，根据其拓扑结构提出其控制策略：一种混合式调制方式和一种电容预充电方式，具有一定的有效性和可行性。
东南大学
2021-04-11
中国高等教育博览会—参观者数据与统计
拥有高品质商业观众
云上高博会
2021-12-09
基于大数据的机电设备寿命预测和维修决策系统
项目建设了面向机电设备的寿命预测和维修大数据决策系统，可为城市轨道交通建设运维过程机电设备维护检修提供了一种新的解决方案。
基于自主技术构建了基于云+管+端的机电设备大数据采集传输存储分析平台。“端”是自主研发的支持边缘计算的安全可信终端；“管”是基于MQTT的扩展增强安全传输通道；“云”是基于HADOOP技术的工业大数据云平台。平台对机电设备生产经营相关业务数据、设备过程数据和设备外部数据的采集、清洗、集成、建模及应用过程提供全方位支撑，利用机器学习技术对设备剩余寿命可靠度模型和全生命周期成本模型进行了训练和优化，并形成指导性维修方案。
项目采用了自主知识产权的嵌入式安全数据终端和融合安全的传输协议，为保护用户隐私，增强系统可信提供了技术保障。
项目采用了智能边缘计算终端技术，可以根据用户的不同机电设备下载不同的检修预测模型进行预测分析，能够支持灵活的组网方式，适应于各种应用场景，节省用户投资。
太原科技大学
2021-05-04
一种基于Hadoop的海量矢量数据划分方法及系统
本发明涉及一种基于Hadoop的海量矢量数据划分方法及系统。该方法包括：基于Hilbert空间填充曲线对空间数据集中的空间要素进行空间编码；通过Map函数和Reduce函数实现空间要素的键值化，并生成空间数据样本信息集；根据所述空间数据样本信息集生成空间数据划分矩阵；根据所述空间数据划分矩阵将各个空间要素划分入对应的存储数据块中，同时将相邻数据块分发至同一集群节点上。本发明系统将Hilbert空间填充曲线引入到数据抽样和划分规则中，充分考虑空间数据相邻对象的空间位置关系、空间对象的自身大小以及相同编码块的空间对象个数等影响要素，不仅保证了样本信息集的空间分布特征，提高了海量矢量数据的空间索引效率；同时也保证了基于HDFS数据块存储的负载均衡。
中国农业大学
2021-04-11
VHF/UHF 频段基于 OFDM 技术的高速数据通信系统
无线通信的突出问题：频率资源严重不足 。 我国无管会允许在这一频段进行数据的传输，如地质矿产、水利、 能源、国家地震局、建设部、气象局、军队等部门的专用无线通信系 统。 调研发现，目前这些部门迫切需要系统能够同时传送数据、语音 和图象。现有无线数据通信系统：小于 0.5bps/Hz 。 本项目提出的解决方案是采用 OFDM 及自适应变速率 MQAM技术，建立一个多载波无线通信系统。这一系统可以在 25KHz 带宽 内，有效频带利用率达到 3.2 －6.4bps /Hz；而且具有结构简单、成本 低的特点，可以很好地解决频带资源不足的问题,具有广阔的应用前 景
南开大学
2021-04-11
企业信息资源管理与数据质量控制平台
数据是企业的重要资源，数据质量则是体现其价值的关键。大多数企业已建立的众多的基础专业数据库、信息资源管理系统，并完成的数据仓库建设，但是对数据与信息的质量、新数据是否上来以及上来及时性等缺乏有效的监控手段；同时，已有信息资源往往被分散的保存着，其管理维护乃至数据库的变更都难以掌控。本系统基于元数据、元结构、元知识模拟专家对于数据与信息资源的管理策略，利用机器学习、自然语言处理以及知识库技术，实现了基础数据资源监控与管理，建立了基础数据资源动态监控与质量巡检系统。系统主要功能包括： 元数据管理 建立和管理包含所有基础数据库结构信息的元数据库，使对各个基础库中的最新数据项和数据项变更历史等有一个全面的掌控；同时也为今后建立在基础库之上的应用和对数据库的维护打下良好的基础。 重要基础数据的采集监控 对各基础数据库中的重要数据是否及时采集入库及基础数据的删除进行定期的监控，并对监控的结果给出相关结论报表，以便及时了解各基础库数据的数据增删情况。 数据质量巡检子系统 定期地对各基础数据库中的重要数据项进行质量检查，监控各数据项中的数据是否满足给定的规则条件，对于不符合条件的数据通过提供的预警机制进行预警。 本技术可用于通信、能源、交通、政府、国家中医药管理局、医疗机构、冶金行业、石油石化等行业。
北京科技大学
2021-04-11
全时空融合定位及用户行为分析挖掘大数据平台
研究背景及挑战:高精度无缝位置服务是智慧生活的关键技术之一, 也是实现以人为中心的智能情境感知技术基础。然而, 复杂城市峡谷(高楼、天桥、隧道)地区连续导航、室内外高精度无缝定位由于卫星信号频繁受到阻隔、室内布局动态变化等因素,实现连续高精度全空间定位存在诸多挑战。本科研团队研究内容:基于团队在 Wi-Fi, ZigBee, INS、图像、超声波、声音、RFID 等多种定位技术科研成果,研发高精度、低功耗、低成本、易部署的多源融合定位云平台,提供全时空位置服务及用户行为挖掘服务平台。融合定位云平台体系框架全时空定位服务平台上下文突破弹性导航软硬件架构及理论体系基于因子图多源融合定位算法科研基础:国家重点研发计划项目“自适应导航软硬件技术”、高精度高鲁棒性室内定位关键技术及装置研究(863)、无线传感网络定位技术研究(NSFC)、基于众包和群智计算的室内无线定位理论和方法 (NSFC)、自适应室内无线信号变化的低代价高精度定位技术研究(NSFC)等项目的支持下,已完成全时空融合定位云平台,以及用户行为挖掘大数据平台建设。 科研成果:1中国卫星导航定位科技进步一等奖2 获UbiComp交通模式识别比赛冠军3获阿里巴巴天池世界比赛冠军4 制定国家实时定位标准6项5 发表中科院一区顶级SCI期刊论文 10 篇6 获得国家发明专利授权 20项,申请国家发明专利 32项7 国际 IPIN2016 室内定位比赛第3名 成果应用案例:华为、三星、中国电信集成、华大电子、22所等
北京邮电大学
2021-04-10