|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
[5月23-24日·长春]教育科技人才一体化发展论坛
为深入贯彻习近平总书记关于教育的重要论述和全国教育大会精神，贯彻落实《教育强国建设规划纲要（2024—2035年）》和三年行动计划，展示宣传高校高质量建设成果，助推专业化创新型教师队伍建设，助推产教融合协同发展，中国高等教育培训中心决定举办“教育科技人才一体化发展论坛”。
中国高等教育学会
2025-05-09
【中国青年网】高博会服务高校设备更新改造及数字化建设专项工作新闻发布会召开
中国高等教育学会把服务高校设备更新改造及数字化建设列为重点工作，并纳入高博会重要项目。
云上高博会
2023-01-12
应用于 5G/6G 的高性能无线通信器件及自检测设备的研发及产业化
目前市场上缺乏能够成套交付新要求的毫米波天线、集成度高的滤波器等无源器件、以及其相应的检测设备的综合性企业，特别是具有从设计，加工，调试到性能检测认证的全产业链能力。基于我们朗普达创始团队的核心技术，我们不但能够提供业界最领先的毫米波天线模组，高性能的滤波器和其他无源器件产品，还可以交付针对这些器件的测试检测设备。这两方面的产品能力互相补充，互相促进，互相拓展，使得朗普达的产品具有客户群体广泛，客户类型多样，能够快速适应市场变化等特点。
我们的毫米波的人工电磁材料技术可以让5G基站天线具有比4G基站天线更小面积和更多的天线数及接口，极大地提高系统容量和频谱效率；天线阵列宽角扫描技术，可以在不增加天线数目的基础上将手机的覆盖能力提高70%以上；是满足新一代无线通信产业对多天线系统小体积、高容量、广覆盖的需求的重要保障，显得尤为迫切和重要。我们基于矢量拟合法的滤波器特性提取和诊断算法，能够更精准的设计高良率的无源器件；同时结合神经网络和人工智能算法，可以适用于我司的滤波器自动检测设备和产线，实现滤波器的无人调试和高效检验交付。
西安电子科技大学
2022-06-10
第63届高博会数字化、实训展区揭秘
在“融合·创新·引领：服务高等教育强国建设”的主题下，数字化&实训展区将聚焦教育数字化与产教融合，集结华为、海康威视、希沃、科大讯飞、宇树科技、优必选、天煌、亚龙等行业领军企业，展示智慧教育、虚拟实训、AI课堂等前沿技术，为高校教学改革与技能型人才培养提供全场景解决方案。
高等教育博览会
2025-05-15
【新华网】聚焦高博会|“新农科·新农人·新担当”——现代化大农业建设产教对话论坛举行
在第63届中国高等教育博览会期间，以“新农科·新农人·新担当”为主题的现代化大农业建设产教对话论坛在长春举办
新华网
2025-05-24
规模化沼气工程沼液、沼渣减量化及资源化利用
沼气工程是一种有效处理有机废弃物的工程技术,尤其是在畜禽粪污处理和高浓度有机污水处理方面效果显著,在国内外得到了大力推广应用。近年来,随着养殖业和农产品加工业向大型化发展以及沼气作为新能源开发利用,我国沼气工程正朝着大型化、产业化方向发展。沼气工程在处理有机废弃物的同时又能够产生清洁能源,处理后的沼液沼渣还可能成为有机肥料。但实际工程中这些废弃物往往不能得到预期的“就地直接利用”,带来很多负面影响：①沼液中含有大量的N、P、K营养元素、生理活性物质(BAC)、数量庞大的微生物菌群以及其它无机离子和极微量的重金属成分等。这些物质成份复杂、含量未知,直接用作肥料灌溉,难以发挥最好的效用,弊大于利;②沼液直接农业利用受季节性影响明显,且由于贮存和运输等原因,没有足够的田地及时消纳,只能直接排放造成环境污染；③沼液、沼渣在农田施用时,没有规范性的技术指导,一旦施用量过大,超过土地承载能力和作物利用能力,便会造成二次污染。因此沼液、沼渣问题已经成为制约规模化沼气工程产业化推广的瓶颈。本项目围绕规模化沼气工程存在的沼液、沼渣减量及其高附加值利用等问题开展研究,通过系统分析与测定沼液中的主要组分、生理活性物质及其物理化学和生物学特性；结合沼气工程厌氧发酵液回流工艺和沼液营养物质浓缩与水资源回收技术应用研究,显著减少沼气工程沼液沼渣排放量,有效实现发酵液中营养物质与水资源分离回收；系统考察了沼液作为有机营养液、沼渣作为有机肥和人工基质在农业应用的效果,解决沼液、沼渣的消纳问题,有效提高沼液、沼渣的附加利用价值,对于促进规模化沼气工程的可持续发展具有重要意义。
北京化工大学
2021-02-01
冬小麦智能化滴管水肥一体化栽培技术
水肥一体化滴灌技术是基于作物生长特性和环境状况等条件，借助新型滴灌系统， 在灌溉的同时将肥料配兑成肥液一起输送到作物根部土壤，确保水分养分均匀、准确、 定时定量地供应，达到节水节肥、提高水肥利用效率、增产增收等效果。在山东省首次 提出了完整配套的冬小麦智能滴灌水肥一体化栽培技术体系，实现了冬小麦的节水、节 肥、高效、环保的可持续生产，整体达到国内先进水平，经济、生态和社会效益显着。 目前，冬小麦智能化滴灌水肥一体化栽培技术体系在青岛、烟台、潍坊等推广应用每年 超过了5万亩，实现节水40%-60%，提高劳动效率80%以上，增加产量产量10％-20％。
青岛农业大学
2021-04-11
大豆生物加工与高值化利用关键技术与产业化
我国是世界上最大的植物油料加工和消费国，总量近 1.5 亿吨，在国家食品安全体系中举足轻重。植物油料加工长期以来以压榨法和浸出法制油、碱溶酸沉制蛋白、化学精炼油脂为技术主线，普遍存在：1）加工条件剧烈、能耗高、溶剂残留、环境污染；2）蛋白功能性差、组分高值化利用率低；3）生物精炼连续性差、附加值低等共性关键问题。本项目在国家自然科学基金重点项目、国家“863 计划”、国家科技支撑计划等重大项目支持下，历经 13 年持续攻关，以现代生物技术为手段，突破植物油料生物解离关键技术为核心、组合发明生物解离产物及油脂的高值化利用成套技术，形成了植物油料全产业链新一代加工技术体系。
项目已获授权发明专利 45 件，申请国际专利（PCT）3 件，出版著作 10 部，发表相关论文 205 篇（SCI/EI106 篇），主持制定或参与国家、行业标准 10 项。项目已获中国轻工业联合会技术发明一等奖、中国发明协会发明创业成果一等奖、黑龙江省技术发明一等奖、中国食品科学技术学会技术发明一等奖等省部级以上科技奖励 14 项。
项目技术主要用于生产有机大豆油脂、大豆蛋白肽以及大豆膳食纤维等产品，项目目前已通过中试实验。项目计划投资预计 2 亿元，建设规模为加工原料豆 20000 吨/年，项目达产后预计年销售额为 3.6 亿元人民币。通过该项目的实施，将打破了国外在高端油脂和蛋白产品生产上的技术垄断，增强了企业的核心竞争力。
东北农业大学
2021-05-10
节能型智能化半导体照明产品开发及产业化
该项目隶属于“天津市科技支撑计划重点项目”，项目将LED照明与光通信技术等结合起来，形成新的技术模式，开发了集照明与光通信为一体的LED系统，设计实现了基于照明LED的高速短距离光通信收发单元，LED室内调光调色照明控制器，基于LED照明的光学无线智能家居控制系统等，实现了通信质量和照明效果的协同优化。 本项目中的产品均属于典型的节能产品，具有很高的技术含量和高附加值，具有节能环保、电磁免疫、经济集约等优点，在上海世博会“沪上.生态家”、“航空馆”以及第七届中国国际半导体照明展览会等展出，获得显著的社会效益，对推动相关产业的发展起到很好的作用。科研团队近年来深入的研究半导体照明和通信技术，在半导体照明技术成果应用与产业化、光电信号转换、光通讯设备、高速光发射接收模块开发等相关领域开展研究工作，并取得突出的成绩，申请了相关的国家级自然科学基金项目，并已获批。
天津职业技术师范大学
2021-04-10