-
公开(公告)号：CN111597109A
公开(公告)日：2020-08-28
申请号：CN202010335247.4
申请日：2020-04-24
Applicant: 清华大学 , 国家计算机网络与信息安全管理中心
Abstract: 本发明实施例提供一种跨架构固件堆内存的缺陷检测方法及系统。该方法包括：获取仿真器和固件中的应用程序，在仿真器中基于二进制翻译技术对应用程序进行解析，使得应用程序与预设测试环境系统架构进行适配；通过遍历执行注册堆内存读写钩子函数和堆内存分配钩子函数，映射生成影子内存，基于影子内存执行预设内存缺陷检测算法，得到堆内存缺陷检测结果。本发明实施例通过仿真执行模块的跨平台特性，免于将检测工具部署到固件所在设备中，极大克服了传统内存检测工具需要部署到设备中的不切实际需求，提高对固件测试的效率，解决IoT设备存储空间有限的问题，同时内存缺陷检测模块也为在跨架构固件场景下检测多种堆内存缺陷提供有效解决方案。
-
公开(公告)号：CN111597109B
公开(公告)日：2022-03-11
申请号：CN202010335247.4
申请日：2020-04-24
Applicant: 清华大学 , 国家计算机网络与信息安全管理中心
Abstract: 本发明实施例提供一种跨架构固件堆内存的缺陷检测方法及系统。该方法包括：获取仿真器和固件中的应用程序，在仿真器中基于二进制翻译技术对应用程序进行解析，使得应用程序与预设测试环境系统架构进行适配；通过遍历执行注册堆内存读写钩子函数和堆内存分配钩子函数，映射生成影子内存，基于影子内存执行预设内存缺陷检测算法，得到堆内存缺陷检测结果。本发明实施例通过仿真执行模块的跨平台特性，免于将检测工具部署到固件所在设备中，极大克服了传统内存检测工具需要部署到设备中的不切实际需求，提高对固件测试的效率，解决IoT设备存储空间有限的问题，同时内存缺陷检测模块也为在跨架构固件场景下检测多种堆内存缺陷提供有效解决方案。
-
公开(公告)号：CN109201114A
公开(公告)日：2019-01-15
申请号：CN201811223206.5
申请日：2018-10-19
Applicant: 清华大学深圳研究生院
Abstract: 一种水性光催化材料溶胶及其制备方法和用途，该方法包括：1)将金属盐、烷基卤化铵、g-C3N4和CeO2纳米粉末加入去离子水中，超声条件下搅拌至烷基卤化铵溶解，且g-C3N4粉末分散为透明状，形成溶液A；2)将银盐加入到去离子水中，搅拌至完全溶解，形成溶液B。3)将溶液B倒入快速搅拌的溶液A中，陈化后得到中性、稳定和透明的光催化剂溶胶。制备方法在室温下进行，条件温和，操作简单，原料易得，最终制得胶体稳定、透明、呈中性，可直接与内、外墙涂料混合使用，或者喷涂于家具、门窗、天花板等物件上，催化剂与物件结合牢固，可使室内甲醛、NOx和NH3等气体污染物短时间内达到国家标准。
-
公开(公告)号：CN108491228A
公开(公告)日：2018-09-04
申请号：CN201810267094.7
申请日：2018-03-28
Applicant: 清华大学
IPC: G06F8/75
Abstract: 本发明提供一种二进制漏洞代码克隆检测方法及系统，其中方法包括：提取待检测二进制代码中的第一函数的函数特征和二进制漏洞代码中的第二函数的函数特征，函数特征包括基本块信息、控制流信息和函数调用信息；将第一函数的函数特征和第二函数的函数特征分别输入预设神经网络，利用预设神经网络计算第一函数和第二函数的相似度；当相似度达到预设阈值时，确定待检测二进制代码中存在二进制漏洞代码的克隆代码。该方法及系统解决了现有代码克隆检测方法所存在的克隆类型检测不全面、准确度低、复杂度高且不易于实现等问题，确保了克隆类型检测的全面性和检测结果的准确性，同时有效提升了检测效率。
-
公开(公告)号：CN104946510B
公开(公告)日：2017-06-06
申请号：CN201510145687.2
申请日：2015-03-30
Applicant: 博奥生物集团有限公司 , 清华大学
CPC classification number: B01L7/52 , B01L3/5027 , B01L3/502723 , B01L2200/10 , B01L2300/048 , B01L2300/0636 , B01L2300/0681 , B01L2300/0867 , B01L2300/161 , B01L2400/0487 , B01L2400/0655 , C12Q1/6844
Abstract: 本发明公开了一种集核酸扩增和微阵列检测于一体的微流控装置。该装置的特征在于，包括：用于核酸扩增反应的扩增室，所述的扩增室设在反应管内；用于杂交检测的检测室，所述检测室包括形成在平面基底上的微阵列和形成在所述微阵列周围的杂交腔体；以及连接扩增室和检测室并控制流体流路的微流控芯片；所述微流控芯片包括：用于放置样品和试剂的储液池，用于接受扩增产物和杂交试剂并使其混合的混合池，混合后的溶液被输送至杂交检测室，控制流体流路的阀结构，连接流路的微流体通道，以及与外围流路连接的通孔。所述装置与外围流路连接后形成相对闭合的体系。本装置能实现核酸扩增，杂交检测功能于一体；简化了操作流程，避免了操作过程中生物试剂对环境的污染。
-
Patent Agency Ranking
公开(公告)号：CN104946510A
公开(公告)日：2015-09-30
申请号：CN201510145687.2
申请日：2015-03-30
Applicant: 博奥生物集团有限公司 , 清华大学
CPC classification number: B01L7/52 , B01L3/5027 , B01L3/502723 , B01L2200/10 , B01L2300/048 , B01L2300/0636 , B01L2300/0681 , B01L2300/0867 , B01L2300/161 , B01L2400/0487 , B01L2400/0655 , C12Q1/6844
Abstract: 本发明公开了一种集核酸扩增和微阵列检测于一体的微流控装置。该装置的特征在于，包括：用于核酸扩增反应的扩增室，所述的扩增室设在反应管内；用于杂交检测的检测室，所述检测室包括形成在平面基底上的微阵列和形成在所述微阵列周围的杂交腔体；以及连接扩增室和检测室并控制流体流路的微流控芯片；所述微流控芯片包括：用于放置样品和试剂的储液池，用于接受扩增产物和杂交试剂并使其混合的混合池，混合后的溶液被输送至杂交检测室，控制流体流路的阀结构，连接流路的微流体通道，以及与外围流路连接的通孔。所述装置与外围流路连接后形成相对闭合的体系。本装置能实现核酸扩增，杂交检测功能于一体；简化了操作流程，避免了操作过程中生物试剂对环境的污染。
-
公开(公告)号：CN109201048A
公开(公告)日：2019-01-15
申请号：CN201811223207.X
申请日：2018-10-19
Applicant: 清华大学深圳研究生院
CPC classification number: B01J23/42 , B01D53/62 , B01D53/8668 , B01D53/8671 , B01D2257/504 , B01D2257/7027 , B01J23/58 , B01J23/63 , B01J23/8926 , C01B32/40
Abstract: 一种单原子催化剂及其制备方法，该方法包括：首先采用金属有机盐缓慢水解使其以单分子层氧化物的高分散形式包覆在氧化物载体表面，获得缺陷均匀的过渡金属氧化物层，然后将载体在贵金属硝酸合氨盐水溶液中润湿产生丰富的羟基，然后选择性地吸附贵金属硝酸合氨盐溶液中的贵金属-氨络合物，从而在载体表面形成单原子或者部分团簇，最后通过CO2+H2O气氛处理，使所有贵金属原子分散为单原子状态。本发明所制备的催化剂可以高效光催化氧化VOCs，同时可以高效催化逆水煤气反应生成CO。
-
公开(公告)号：CN104314617B
公开(公告)日：2016-02-17
申请号：CN201410410785.X
申请日：2014-08-20
Applicant: 中国神华能源股份有限公司 , 北京国华电力有限责任公司 , 神华国华(北京)电力研究院有限公司 , 清华大学 , 北京电联天时振动技术有限公司
Abstract: 本发明公开了一种抑制或终止汽轮机高中压转子渐进式弯曲的平衡方法，所述高中压转子的中间部分包括沿圆周方向间隔布置的多个螺栓孔(1)，所述平衡方法包括：步骤一：以预定转速旋转所述高中压转子并测量该高中压转子的配重前振动量步骤二：往所述螺栓孔上安装测试螺栓配重以所述预定转速旋转所述高中压转子并测量该高中压转子的测试配重振动量步骤三：计算所述测试配重对于高中压转子的振动的影响系数从而计算得出为取得平衡应增加的临界平衡配重步骤四：根据所述临界平衡配重，往所述螺栓孔上安装加载螺栓配重该加载螺栓配重不小于所述第二配重。本发明的平衡方法能够抑制或阻止汽轮机转子发生渐进式弯曲。
-
公开(公告)号：CN110287702B
公开(公告)日：2020-08-11
申请号：CN201910457312.8
申请日：2019-05-29
Applicant: 清华大学
IPC: G06F21/57
Abstract: 本发明实施例提供一种二进制漏洞克隆检测方法及装置，该方法包括获取漏洞数据库信息和待测目标二进制信息，根据所述漏洞数据库信息与待测目标二进制信息生成带标签语义流图集；根据所述带标签语义流图集和预设深度神经网络模型进行分析处理，得到目标相似性结果信息，根据所述目标相似性结果信息确定语义仿真输入信息；根据所述语义仿真输入信息进行语义仿真，得到语义仿真输出结果，根据所述语义仿真输出结果确定可疑漏洞。通过进行检测的过程无需获得源代码，具有普遍适用性；通过深度学习与语义仿真两阶段实现漏洞的相似性预测，确保了跨平台的漏洞检测结果的准确性，同时有效提升了检测效率。
-
公开(公告)号：CN108563583A
公开(公告)日：2018-09-21
申请号：CN201810428209.6
申请日：2018-05-07
Applicant: 清华大学
IPC: G06F11/36
CPC classification number: G06F11/3688
Abstract: 本发明实施例提供一种数据竞争检测工具的检测效果评估方法及装置，该方法包括：运行待评估的数据竞争检测工具，分别对各测试程序进行检测，获得数据竞争检测工具输出的实际数据竞争信息；将实际数据竞争信息与真实数据竞争信息进行比较，获得数据竞争检测工具的检测效果评估结果。本发明实施例通过将实际数据竞争信息与真实数据竞争信息进行比较，获得数据竞争检测工具检测效果评估结果。由于采用数据竞争检测工具输出的实际数据竞争信息与作为标准的真实数据竞争信息进行比较，能够采用统一标准评估不同数据竞争检测工具的检测效果，具有很强的客观性，能够帮助测试人员选择合适的数据竞争检测工具。
-
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.066 seconds)
