|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
轨道交通车站周边城市设计及车站综合体设计(广州市、郑州市)
广州市轨道交通花山车站周边城市设计及车站综合体设计： 广州市轨道交通花山车站周边城市设计及车站综合体设计： 花山站综合体东邻106国道，西邻规划的龙口东路，整个综合体地块约为73850平米，南北走向的景观河从地块东部穿过。地块中部规划一条“L”型机动车道把地块分隔为两块，北部两座均为商业建筑地块，由“L”型车道进入两侧地块，便于外来车辆进入且不阻碍主干道交通。花山站综合体建筑在地块南部，通过空中连廊联系地块北部两座商业建筑。 广州市轨道交通天贵车站周边城市设计及车站综合体设计： 天贵路站综合体东邻凤凰北路，西邻规划次干道，南邻区域快速路平步大道，占地55047平方米。整个综合体整体布置于地块的东侧，西侧开放为城市绿地广场。依托于南侧天贵路城铁站综合开发，形成此区域内的标志性建筑物。综合体裙房共四层，为大型商业，内部设有中庭，一方面便于南方地区通风采光，另一方面为顾客提供宜人的休闲空间。综合体裙房之上为区域标志性高层，共31层，130米高。 郑州市轨道交通经开站车站综合体设计： 经开站综合体东邻经开十四大街，西邻京广高铁，南邻经南十二路，占地27450平方米。整个综合体整体布置于地块的中部，综合体东侧为站前城市绿地广场。依托于经开站城铁站综合开发，形成此区域内的标志性建筑物。综合体裙房之上为区域标志性高层，建筑总高度为99.1米高。 北京市轨道交通园博园车站站前广场设计： 园博园站位于梅市口路与京周公路交叉口的西侧，主体位于梅市口路中绿化带上空，道路以北的地块内设有进出站大厅和设备管理用房，南侧设进出站楼扶梯，南北两部分通过天桥与车站主体连接。 为方便车站与园博园的联系，在车站东侧跨京周公路设天桥，连接北侧站厅二层和园博园。 主体建筑面积为3530m2，北侧站房总面积为5100 m2，，车站主体与北侧站房的联系天桥以及南侧天桥和出入口面积为1280 m2，总建筑面积为9910m2。
北京交通大学
2021-04-13
3、高端化工设计人才。4、工艺设计人才。
1、基础研究人才。2、化工工艺人才。3、高端化工设计人才。4、工艺设计人才。
山东硅科新材料有限公司
2021-09-01
高原铁路一体化电力自动化系统
铁路电力系统主要为编组站、车站、检修工厂、机务段、车辆段、通讯、列车行车信号等动力和照明提供用电，它虽工作于电网的末端，属于电力、输、供三个环节中的供配电环节，但其对供电可靠性的要求却非常高。近年来铁路行车速度不断提高，直接与行车有关的新工艺、新设备无不要求电力供应稳定可靠。青藏铁路平均海拔超4000米，其环境达零下25度，使普通电器设备无法正常启动；其大气压力远远低于正常海拔值，使普通电器设备的耐绝缘、耐冲击、继电器触头及印制板的设计性能等均不能满足要求。同时，青藏铁路沿线恶劣的自然环境，给设备进行现场试验和维护带来诸多不便。因此，需要一体化的系统来综合解决这些问题。该系统包括如下几个方面的内容：1）适用于高原低温等恶劣环境的保护、测控装置的新硬件平台。2）适用于高原低温等恶劣环境的基于地理信息系统、管理信息、视频监控系统的铁路电力远动高度系统。3）适用于高原低温等恶劣环境的铁路电力综合自动化系统。4）适用于高原低温等恶劣环境的铁路电力线路自动化。5）适用于高原低温等恶劣环境的变（配）电所电气设备状态在线监测系统，包括一次设备的在线监测和二次设备的在线监测。
西南交通大学
2021-04-13
二维材料硒化铟的非晶化方法
本申请涉及一种二维材料硒化铟的非晶化方法。本申请的非晶化方法包括：S1：提供设置有纳米层状硒化铟样品的电学芯片；S2：对电学芯片施加脉冲电压，使硒化铟发生非晶化。本申请通过施加脉冲电压来诱导非晶化，具有快速、精确、节能等优势，适用于高性能电子和光电器件的制造。
兰州大学
2021-01-12
自动化微型化油品酸值测定分析仪
导热油在使用过程中，在高温条件下与空气接触极易氧化，产生酸性物质，腐蚀设备，严重影响导热油的安全运行，酸值是导热油品质的重要指标。本油品酸值测定仪结合 3D 打印技术和流程控制系统而设计，一部分是利用 3D 打印技术设计的 3D 模块（如图 1a 所示）和固定在其上的油水分离膜实现油样品和标准碱水的充分混合反应再分离；另一部分是利用连接在该 3D 模块上的 pH 电极和信号转换装置通过计算机上的流程控制系统实现油品酸值的自动一体化检测。
该油品酸值测定仪一方面利用油水分离膜解决了传统检测方法中油样品和标准碱水分离不充分而导致检测结果不精确的问题，将分析流路中油水混合、分离部分以及检测部分通过 3D 打印的方式实现检测流路的集成化和设备的微型化；另一方面通过流程控制系统与计算机联用，易于实现自动化、一体化快速检测。
利用该油品酸值测定仪检测油品酸值无需使用指示剂，方法简便，分析速度快，平均样品分析时间为 5-6 min，灵敏度高且样品检测重现性高，检测的范围广，检出限为 0.2 mg KOH/g（S/N=3）。本仪器将 3D 打印技术开创性地结合流动注射技术、离子选择性电极技术，实现微型化油品酸值检测仪器的设计开发，完全避免了有毒有害有机试剂的使用，绿色环保，准确度高，可以用于现场和在线检测导热油酸值分析。
江南大学
2021-04-13
用于微纳操作的微运动平台设计与控制
主要技术要点（创新点） ： 设计一种基于柔顺机构仿生物尺蠖运动规律设计的微动机器人。 设计了一种能夹持不同大小和形状不规则物体的新型空间微夹持器。 针对微夹持器在夹持微小物体过程中的粘着问题，提出了一种基于压电振动控制的释放操作方法。项目背景：该成果来源于胡俊峰副教授主持的国家自然科学基金项目《基于柔顺机构的智能微操作机器人动力学与控制研究》。微操作机器人广泛应用于微机电系统、生物医学、航空航天等前沿领域。成果主要研究微操作机器人的力学建模、设计和控制。
江西理工大学
2021-05-04
高清数字视频及宽带网络ADC芯片设计
主要功能和应用领域：主要应用在数字视频芯片（DVB，DAB，DMB等数字视频广播标准）和通信网络（WLAN，WiFi，WiMAX等）领域。具有极为广泛的用途和应用价值。 特色及先进性：在满足数字视频芯片和通信网络要求下，采用了自创的校正方法，实现了更低的功耗、大大节省了芯片面积、降低了芯片的复杂度、提高了芯片的稳定性、不易受外界环境如温度、电源电压和工艺的影响，使性能更加出色。 技术指标：采样速率200MSps，分辨率10-Bit，ENOB达到8.7-Bit以上（±10%电源电压变化和-40~125度温度变化），总体功耗 < 100mW。 实施后可取得的效果：此类ADC芯片应用领域极广，中高端领域均有大量且稳定的需求。一旦形成产品，产量和销售极其可观。现在市场上此类ADC芯片主要掌握在国外大公司手里，定价相对较高，如果能够实现同等性能下更低的定价或者同等价位但是更出色的性能，将有巨大的市场。
电子科技大学
2021-04-10
一种抗龙卷风格栅设计方法
本发明公开了一种抗龙卷风格栅设计方法，首先确定格栅竖直高度H，实际需求的格栅通风面积A，与框架前侧横向连接杆连接的平面板的宽度l1，挡板的厚度t，然后选取挡板中间的弯折角，确定格栅中挡板的层数n，上下相邻两块挡板弯折角顶点之间的距离h，最后计算格栅的水平厚度W，确定抗龙卷风格栅的结构。本发明方法设计的框架和连接杆件主要起到保持整体结构稳定的作用，挡板则用来提供通风面积与对内部的防护作用，经过实际验证具有非常好的通风和防护性能，对于核电站等相关设施具有十分主要的意义。
东南大学
2021-04-11
计算机辅助孔型设计、模拟和优化（CAE）技术
在棒、线、型、管材等轧制工艺制度制定中，首要任务之一是进行科学的孔型设计。孔型设计合理与否直接影响到轧制效率、产品质量和实际操作条件等。型材轧机的经济效益可以通过提高孔型设计质量和优化轧制工艺制度（包括速度制度等）来实现。传统孔型设计主要是依据经验试（凑）错法（Trial & Error），往往需要经过多次试轧和修正才能轧出合格产品，研发周期长、成本大。 本项目《计算机辅助孔型设计、模拟和优化技术》以现代计算机辅助工程（CAE）技术为核心进行孔型设计，采用反映轧制过程多阶段、多影响因素的精确数学模型，在满足咬入及变形条件、孔型中稳定条件以及设备能力和电机负荷等限制条件下，进行孔型优化设计，既获得满足要求的轧材几何形状、尺寸精度、表面质量和组织性能等，又达到高效率生产的目的。其设计系统的核心是应用计算机优化获得最佳孔型系统、轧辊及孔型配置以及最优工艺控制方案和工艺控制模型，还可以对孔型设计结果进行计算机模拟，根据模拟结果再对设计方案进行必要的修改，用计算机模拟和优化加速孔型设计进程、提高孔型设计质量（包括安全性、可靠性、共用性等），减少或代替试轧过程。 可应用于下列各类棒、线、型、管材等轧制过程的孔型设计： 简单断面、复杂或异形断面型材等。 棒、线、型材及管材等孔型设计，包括：螺纹钢筋、圆钢、方钢、角钢、槽钢、工字钢、轻轨、重轨、扁钢、球扁钢、H型钢、T型钢等各类型材；热弯或冷弯型材等；管材孔型设计等。 连续式轧机、半连轧、万能轧制法以及横列式轧机等。 钢种：各类碳素钢、碳结、优质碳结、各类合金钢和特殊钢等。
北京科技大学
2021-04-11