|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
一种模块化嵌入式多足机器人运动控制器
本发明公开了一种模块化嵌入式多足机器人运动控制器，包括PC 模块、机身控制模块和分别位于各条足上的足单元控制模块。PC模块用于识别机器人所处环境，确定机器人的下一步动作并将数据传送给机身控制模块。机身控制模块用于将该数据处理成为具体运动数据，再将数据通过机身总线分发到各足单元控制模块。本发明采用分层式控制方式，由数据运算层、机身控制层和关节控制层组成。数据运算层建立在 PC 机上，根据机器人的正逆运动学、动力学计算出机器人的步态数据。机身控制层以 ARM 处理器为控制核心。机身控制层有较大的存储空间
华中科技大学
2021-04-14
院校综合数字化经营（营销）融合应用实训实践中心建设方案
希润数字技术（武汉）有限公司
2024-12-06
移动应用平台
系统面向企业移动应用建设，实现对移动应用、移动设备、安全策略、集成接入的统一管理，规范建设过程，共享移动应用资源，降低移动建设成本，全面支撑企业的移动应用建设、实施和运行管控，提升工作效率。
山东胜软科技股份有限公司
2021-06-17
专家报告荟萃④ | 郑友取：高质量建强地方性应用型大学
当前我国正在大力发展新质生产力，其关键和特点就是创新，首要的是产业创新，产业创新要依靠科技创新，科技创新要依靠人才创新，人才创新要依靠教育创新。
中国高等教育博览会
2024-12-06
四种耐盐碱促生菌及其在生物肥料生产中的应用
盐胁迫直接影响植物的生长，我国现有约9913万公顷的盐碱土地，占全国可用耕地面积近四分之一，无法进行大规模农作物种植。植物耐盐碱促生菌可以通过调节土壤pH值，促进植物对营养物质的吸收，调节植物激素，调节植物耐受氧化和渗透胁迫的能力等，帮助植物抵抗盐碱胁迫在逆境下生长增产。
对于耐盐碱促生菌Bacillus subtilis N51和Bacillus cereus T146，实验室现通过连续发酵，优化发酵工艺以及喷雾干燥工艺，制备孢子形成率达70%以上、干粉菌剂活菌数目达1010/g的菌剂。
对于菌株Kocuria sp. LA1T6、Bacillus sp. LA1T8和Pseudomonas sp.T44，实验室现进行多糖包衣制剂的开发，研制高稳定性、成膜性、安全性和缓释性的包衣制剂。
北京大学现代农业研究院
2024-12-13
国家基金委：加强应用基础研究部署，提升关键核心技术攻关能力
2024年11月16日，自然科学基金委党组2024年第二次务虚研讨会议在北京召开。自然科学基金委党组书记、主任窦贤康主持会议并讲话。委领导班子，中央纪委国家监委驻科技部纪检监察组、审计署科技审计局有关领导，咨询委员会主任李静海、秘书长高瑞平，特邀科学家代表，各科学部主任（兼职）、全委局级以上干部出席会议。
国家自然科学基金委员会
2024-12-02
分子植物卓越中心等发现OsPHR-OsADK1分子模块调控菌根共生的分子机制
近日，中国科学院分子植物科学卓越创新中心研究员王二涛团队等在New Phytologist上在线发表了题为A PHR-regulated receptor-like kinase,OsADK1 is required for mycorrhizal symbiosis and phosphate starvation responses的研究论文。该研究揭示了OsPHR-OsADK1模块调控菌根共生和磷信号响应的分子机制。
分子植物科学卓越创新中心
2022-10-26
一种基于免疫遗传算法的模块化多电平变换器的调制方法
本发明涉及一种基于免疫遗传算法的模块化多电平变换器的调制方法，对模块化多电平变换器的优化控 制方面的问题进行研究，优化目标为模块化多电平变换器的输出电流波形最优，本发明结合模块化多电平变 换器的结构特点和输出特性，采用各相上桥臂投入子模块的数目表示工作状态，对模块化多电平的工作状态 进行优化，通过编码操作，注入疫苗，亲和度计算，浓度计算，免疫选择，交叉操作，变异操作，倒位操作， 经过多次迭代收敛后得到优化后的模块化多电平变换器的输出电压阶梯波。
武汉大学
2021-04-14
一种图案化的组合太阳能电池及其彩色太阳能电池模块
本发明公开了一种图案化的组合太阳能电池及其彩色太阳能电池模块。所述组合太阳能电池由多个彩色太阳能电池模块串联而成，包括第一彩色太阳能电池模块、第二彩色太阳能电池模块、……、以及第 N 彩色太阳能电池模块，N≥3；所述彩色太阳能电池模块依次包括阴极层、光活性层以及阳极层，所述阳极层的厚度为 5nm～500nm，所述阳极层由层数为 1 层～100 层的 PEDOT:PSS 薄膜组成；在所述第一彩色太阳能电池模块至第 N
华中科技大学
2021-04-14