|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
水体中主要病原微生物特异分子标识库德建立和快速检测技术
课题进展按计划进行，完成了240株检测范围内和检测范围外近缘菌株的收集；对29株军团菌、17株钩端螺旋体和32株克雷伯的靶基因序列破译和序列分析；完成了探针筛选及终型芯片点制；进行了105份模拟样品的检测实验；进行了芯片判读系统Bactarray软件的初步开发；初步建立了芯片生产质量控制体系；课题组额外进行了嗜肺军团菌3，6，13型的O抗原破译，并完成了其序列分析；申请发明专利2项，发表SCI 论文2篇。
南开大学
2021-04-14
一种五自由度的白光干涉原子力探针位姿调整机构
本发明公开了一种原子力探针位姿调整机构。包括探针座，调 节机构和连接头。其中探针座用于原子力探针的安装固定;调节机构 包括由下至上的第一调节部件、第二调节部件、第三调节部件以及第 四调节部件，分别用于原子力探针的里外水平偏摆、左右水平和上下 旋转、上下俯仰以及上下竖直位姿调节;连接头用于与显微物镜相连。 本发明能够实现原子力探针姿态在五个自由度上的细微调节，各个调 节动作相互独立，彼此不发生干涉，互不影响，提高了探针姿态的调 节精度;且能够对调节后的位姿进行锁定，使其保持稳定。
华中科技大学
2021-04-14
一种白光干涉原子力探针系统的成像自动调整装置及其控制方 法
本发明公开了一种基于白光干涉原子力探针扫描显微镜探针系 统的成像自动调整装置自动及其控制方法，该装置主要包括计算机， 夹持机构及铰链机构，原子力探针及其探针组件，白光干涉显微系统， 面 CCD 光路连接筒。在白光干涉原子力探针显微镜连接完成的情况 下，根据面 CCD 上探针的成像与面 CCD 坐标系的水平夹角，通过计算机来控制舵机偏转一定的角度，使得原子力探针在面 CCD 中的成像 与面 CCD 坐标系中的夹角在误差范围内，从而得到测量的结果有较小 的测量误差。本发明可以实现探针在面 CCD 中的成
华中科技大学
2021-04-14
一种类奔德斯分解的下垂控制孤岛微电网潮流计算方法
本发明公开一种类奔德斯分解的孤岛微电网潮流计算方法，将孤岛微电网潮流计算分解成通过传统潮流计算子问题和下垂节点更新子问题，对下垂节点进行等效后进行初始化；基于系统角频率，更新负荷和线路阻抗参数；通过传统潮流计算子问题，求解作为平衡节点的下垂节点和作为PV节点的下垂节点的相关变量参数；然后通过系统前后两次迭代状态变量之差来判断算法是否收敛：若收敛，停止迭代获得最终潮流解；若不收敛，通过下垂节点更新子问题，修正或求解作为平衡节点的下垂节点和作为PV节点的下垂节点相关变更参数；以此方式交替迭代，获得最终的
东南大学
2021-04-14
一种磁测探头及一种便携式铯原子激光光泵磁力仪
本实用新型公开了一种磁测探头及一种便携式铯原子激光光泵磁力仪，其中磁测探头包括VCSEL单模激光器(4)、准直镜(5)、圆偏振器(6)、铯原子气室(7)、加热线圈(8)、射频线圈(9)和光电探测器(10)；便携式铯原子激光光泵磁力仪是一种利用激光光抽运技术与铯原子磁光共振相结合，精确测量磁场的磁力仪，包括了一个由单模激光器作为泵浦光源的磁测探头、一个中继控制器，使用PC电脑从中继控制器读取即时测量数据。本实用新型测量系统可以实时准确测得同一位置的磁感应强度。
浙江大学
2021-04-13
AIChE再度报道华东理工大学原子层沉积ALD多尺度模拟研究进展
近日，我校化工学院功能膜与电子化学品团队青年教师庄黎伟博士，与美国约翰霍普金斯大学、北卡罗来纳州立大学等单位合作，开发了一套原子层沉积（ALD）技术在多孔材料纳米孔道内进行薄膜沉积的数值模型，可用于预测2-5纳米孔道内前驱体扩散、吸附、脱附、沉积反应以及孔道收缩直至堵塞的动态过程。
华东理工大学
2022-09-28
环境透射电镜助力解析Yolk−Shell结构向表面单原子催化剂转变过程
利用电解水制造高纯氢气是当前能源利用与转换中一个重大课题，因此，探索低成本、高效的水裂解制氢反应电催化剂具有重要意义。商用IrO2催化剂由于使用贵金属，成本非常昂贵。目前，单原子催化剂已被证明是用于氧气析出反应（OER）的有效催化剂，且由于这些单原子的配位环境，使得单原子催化剂具有高选择性。同时，单原子催化剂可以提高有效负载量，并减少至少10倍的贵金属使用。 制备单原子催化剂的典型方法
南方科技大学
2021-04-14
一德壹教喜获网络安全三级等保权威认证，安全保障再升级
三级等保认证的获得，印证了一德壹教具备提供高标准数据安全服务的专业能力。
深圳市一德文化科技有限公司
2023-03-02
天津大学机械学院大样品台原子力显微镜项目竞争性磋商公告
天津大学机械学院大样品台原子力显微镜项目竞争性磋商
天津大学
2022-05-27