-
公开(公告)号：CN118643494A
公开(公告)日：2024-09-13
申请号：CN202311692039.X
申请日：2023-12-11
Applicant: 复旦大学
IPC: G06F21/57 , G06N3/0499 , G06N3/084 , G06F8/41
Abstract: 本发明涉及一种基于生成式人工智能的代码逻辑漏洞发现方法，方法包括：S1、获取代码块的逻辑任务进行代码块划分；S2、生成与代码块一一对应的功能提示；S3、将功能提示输入代码生成器，代码生成器输出与代码块一一对应的验证代码块；S4、将S1的划分后的代码块和S3的验证代码块输入逻辑验证器；S5、为划分后的代码块和验证代码块中相同功能的代码块生成相同的输入，不同功能的代码块的输入互不相同，比对相同功能的代码块的输出对应的逻辑表达式，基于比对的结果确定代码逻辑漏洞。与现有技术相比，本发明具有实现检测复杂代码漏洞以及代码运行时漏洞等优点。
-
公开(公告)号：CN118413353A
公开(公告)日：2024-07-30
申请号：CN202410429043.5
申请日：2024-04-10
Abstract: 本发明公开了一种卫星协议漏洞分析方法及系统，其中，方法包括：包括：步骤S1、构建通用协议描述语言，以描述卫星协议；步骤S2、基于所述通用协议描述语言构造协议状态机模型，以模拟所述卫星协议的各种状态转换和行为，并预测所述卫星协议的返回状态；步骤S3、利用协议状态探索工具嗅探待测卫星的卫星协议的实际返回状态；步骤S4、利用协议状态重放工具重现预测的所述卫星协议的返回状态和所述卫星协议的实际返回状态，将所述实际返回状态与预测的所述卫星协议的返回状态进行对比分析。本发明能够对卫星协议的状态进行自动化分析，精准的发现协议安全漏洞，从而能够对漏洞进行更好的修复和防御，极大减轻漏洞分析中人的负担。
-
公开(公告)号：CN118409845A
公开(公告)日：2024-07-30
申请号：CN202410555697.2
申请日：2024-05-07
Applicant: 复旦大学
Abstract: 本发明公开了一种基于虚拟化技术的多线程模糊测试调度方法，包括基于虚拟机资源利用率的动态调度策略，包括：收集虚拟机资源利用率信息；计算虚拟机的资源利用率得分；根据虚拟机的资源利用率得分，将模糊测试工具分配到虚拟机上。本发明提出了一种基于虚拟机资源利用率的动态调度策略：该策略可以根据虚拟机资源利用率的变化动态调整模糊测试工具的分配，从而提高虚拟机资源利用率和模糊测试效率。
-
公开(公告)号：CN117951016A
公开(公告)日：2024-04-30
申请号：CN202410094201.6
申请日：2024-01-23
Applicant: 复旦大学
Abstract: 本发明涉及一种物联网设备固件更新漏洞的自动化检测方法，包括以下步骤：从固件中提取文件系统，并进行前后端文件分离；解析前后端文件，获得待分析后端binary文件；解析待分析后端binary文件，构建待分析后端binary文件间调用图、固件更新过程的函数间调用图、函数控制流图；根据构建得到的待分析后端binary文件间调用图、固件更新过程的函数间调用图、函数控制流图，进行漏洞检测，输出得到漏洞报告。与现有技术相比，本发明能够自动、准确、高效地检测物联网设备固件更新漏洞。
-
公开(公告)号：CN113436155A
公开(公告)日：2021-09-24
申请号：CN202110668377.4
申请日：2021-06-16
Applicant: 复旦大学附属华山医院
Abstract: 本发明提供了一种基于深度学习的超声臂丛神经图像识别方法，涉及超声图像智能识别技术领域，该方法包括：获取多例超声神经图像数据并进行预处理，构建训练神经网络模型所需的带有标签的超声图像数据集；将超声图像数据集按照8:2的比例分为训练集和测试集，将训练集中的超声图像进行扩充和特征增强；构建挤压‑注意力机制模块SA加到传统卷积中；在V‑net网络中引入挤压激励模块和注意力机制模块从而构建SA V‑net网络模型并进行训练；载入训练好的SA V‑net网络模型，输入测试集进行预测得到识别结果，并根据标签计算Dice系数。本发明能够帮助临床医生快速准确的定位需要进行神经阻滞的区域，帮助使得患者在术中更加平稳，术后恢复更快，具有更好的临床实用性。
-
Patent Agency Ranking
公开(公告)号：CN100567147C
公开(公告)日：2009-12-09
申请号：CN200710172527.2
申请日：2007-12-19
Applicant: 复旦大学
IPC: C01B33/18
Abstract: 本发明属于高分子材料领域，主要涉及一种合成有机-无机复合氧化硅纳米线的方法。该方法中以无定型氧化硅作为硅源，在铁的存在下通过有机胺水溶液的液-固相反应一步反应生成有机-无机复合氧化硅纳米线。合成方法简便、廉价。所得的有机-无机复合结构的氧化硅纳米线由于具有良好的荧光活性，较高的比表面积，高电绝缘性能，丰富的表面硅羟基等优点，因而在微纳米器件组装、纳米阵列研究、纳米光学传输、纳米高绝缘电阻等领域具有极大的应用潜力；同时这种有机-无机复合氧化硅纳米线做为一种新兴的纳米材料，在传统的工业催化、高分子材料补强、化妆品增白防紫外等领域也有广阔的前景。
-
公开(公告)号：CN101186303A
公开(公告)日：2008-05-28
申请号：CN200710172527.2
申请日：2007-12-19
Applicant: 复旦大学
IPC: C01B33/18
Abstract: 本发明属于高分子材料领域，主要涉及一种合成有机－无机复合氧化硅纳米线的方法。该方法中以无定型氧化硅作为硅源，在铁的存在下通过有机胺水溶液的液－固相反应一步反应生成有机－无机复合氧化硅纳米线。合成方法简便、廉价。所得的有机－无机复合结构的氧化硅纳米线由于具有良好的荧光活性，较高的比表面积，高电绝缘性能，丰富的表面硅羟基等优点，因而在微纳米器件组装、纳米阵列研究、纳米光学传输、纳米高绝缘电阻等领域具有极大的应用潜力；同时这种有机－无机复合氧化硅纳米线做为一种新兴的纳米材料，在传统的工业催化、高分子材料补强、化妆品增白防紫外等领域也有广阔的前景。
-
公开(公告)号：CN1329108C
公开(公告)日：2007-08-01
申请号：CN200510023933.3
申请日：2005-02-13
Applicant: 复旦大学
IPC: B01J13/02
Abstract: 本发明主要涉及一种贵金属空心微囊的制备方法。该方法是以介孔氧化硅微球为模板，经氨基修饰后，将贵金属纳米粒子灌注到微球孔道中，然后在表面吸附一层聚电解质，最后通过在碱性溶液处理条件下将氧化硅溶出，制备得贵金属空心微囊。该方法是一种简便的制备壳层组分可调的微囊的方法，适用于大多数功能性微囊的制备。由于产品形貌良好，性能优异，获得的微囊在许多领域如药物的包埋和缓释、催化、电化学、人工细胞的设计、生物活性试剂的保护体及特殊光学材料组装设计中有广泛的利用价值。
-
公开(公告)号：CN1683068A
公开(公告)日：2005-10-19
申请号：CN200510023935.2
申请日：2005-02-13
Applicant: 复旦大学
Abstract: 本发明主要涉及一种金属氧化物空心微囊的制备方法。该方法是以介孔氧化硅微球为模板，经烷基修饰后，将金属氧化物灌注到微球孔道中，然后在表面吸附一层聚电解质，最后通过在碱性溶液处理条件下将氧化硅溶出，制备金属氧化物空心微囊。该方法是一种简便的且壳层组分可调的微囊的制备方法，适用于功能性微囊的制备。本发明获得的微囊有望在许多领域如药物的包埋和缓释、催化、电化学、人工细胞的设计、生物活性试剂的保护体及特殊光学材料组装设计中有广泛的利用价值。
-
公开(公告)号：CN119420502A
公开(公告)日：2025-02-11
申请号：CN202411363006.5
申请日：2024-09-27
Applicant: 复旦大学
Abstract: 本发明涉及一种应用于车联网的联邦学习系统及方法，该系统包括多个CAV、RSU以及云端服务器，其中，多个CAV分别与RSU通信连接，RSU与云端服务器通信连接，CAV用于将收集的数据压缩加密后传输至RSU；RSU用于进行本地模型训练，并将训练得到的模型压缩加密后传输至云端服务器；以及接收来自云端服务器下发的聚合模型，并通过解密和重构操作，得到可用全局模型，用于下一轮模型训练；云端服务器用于接收各RSU上传的模型、并进行聚合处理，以得到聚合模型。与现有技术相比，本发明能够解决现有车联网中联邦学习方案面临的车辆计算能力不足以及隐私保护不足的缺陷，实现一种高效且隐私保护的联邦学习方案。
-
-
-
-
-
-
-
-
-
Search Results
25
records
(took 0.022 seconds)
