|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
西安交通大学科研团队在环戊烷分子高效合成上取得重要进展
环戊烷结构广泛存在于天然产物及药物分子中，是小分子药物研发过程中出镜率很高的核心骨架之一。因此，如何方便、高效地合成多取代环戊烷分子一直是药物化学和有机合成领域的热点研究方向。
西安交通大学
2022-06-16
空间院MCI团队舱间无线能源传输技术被“羲和号”成功在轨验证
8月30日，我国首颗太阳探测科学技术试验卫星“羲和号”成果正式发布。本次发布成果以新型卫星技术、太阳科学探测为主，创下五个国际“首次”，对后续开展太阳空间探测任务及提升我国在空间科学领域国际影响力等具有重要意义。
西安电子科技大学
2022-09-01
云南大学方精云院士团队在Science上撰文 揭示森林混交的增产效应
该研究系统阐明了混交种植的增产效应及其机制，解决了森林经营生产中久而未决的理论和实践问题，为全球森林恢复和经营提供了重要参考。
云南大学
2022-06-09
西南大学胡昌华廖国建教授团队在治疗耐药真菌感染领域获得重要进展
机制研究发现高浓度优选化合物MW5破坏真菌细胞膜并诱导细胞产生ROS进而导致细胞死亡，低浓度MW5能破坏药物外排泵MDR1功能，进而增加氟康唑胞内浓度进而逆转其耐药性。
西南大学
2022-06-10
南京师范大学计电院研究团队在《Research》发表最新研究进展
金属卤化物钙钛矿半导体因其独特的光学和电学性能而成为近年来的研究热点。通过调整卤素组分即可实现从蓝到红全波段可调的发光，是钙钛矿半导体展现出巨大应用前景的重要因素之一。
南京师范大学
2022-10-12
安徽大学张文建副教授在聚合物纳米线方向取得新进展
聚合物纳米线（或称蠕虫状胶束）由于其高度各向异性的形貌结构而展示出许多优异的性能和广阔的应用前景，比如作为流变改性剂、超级絮凝剂、高效的Pickering乳化剂以及用于干细胞培养/存储的可灭菌凝胶。然而获得聚合物纳米线的实验室窗口非常窄，从而导致制备聚合物纳米线的难度较大并且重复性非常差。
安徽大学
2022-09-21
东北师范大学遗传学科在核质协同进化领域取得重要进展
近日，我校生命科学学院分子表观遗传学教育部重点实验室宫磊教授课题组在多倍体植（作）物核质协同进化领域取得突破性进展，研究成果“AtemporalgradientofcytonuclearcoordinationofchaperoninsandchaperonesduringRuBisCobiogenesisinallopolyploidplants”（“异源多倍体植物RuBisCo生物合成过程中的伴侣蛋白在时间梯度层面的核质协同进化”）发表在国际著名综合性学术期刊《PNAS,美国科学院院报》上。
东北师范大学
2022-09-27
新型戊糖乳杆菌素的高效制备及其在低温食品中的防腐保鲜应用
一、成果简介 本课题受到国家高技术研究发展计划(863 计划)项目与国家科技支撑计划项目的资助。针 对化学防腐剂在食品中应用的潜在危害，开展了新型天然生物防腐剂-乳酸菌细菌素的高效制 备和应用研究。获得了一种新型细菌素-戊糖乳杆菌素，并对其分子结构，生物学特性，工业 化制备及应用进行了深入研究。二、技术指标
中国农业大学
2021-04-14
在钛金属表面制备高质量镍基合金涂层的激光熔覆方法
一种在钛金属表面制备高质量镍基合金涂层的激光熔覆方法，其特征是它由混合粉压实片预制和激光熔覆处理二个步骤组成。所述的混合粉压实片预制是指将镍基自熔性合金粉末、氧化镧粉末先用球磨机混合均匀，然后烘干，最后在压力机上压制成片。所述的激光熔覆处理是指将压制片放置在经清洁处理的钛合金表面，然后进行激光熔覆加工。本发明通过添加氧化镧（La2O3），提高了镍基涂层粉末对激光热的吸收性能，提高了涂层与基体的界面融合性能。产品性能、指标本发明熔覆工艺性能优良，涂层组织致密，界面结合好，
江苏大学
2021-04-14