-
公开(公告)号:CN116301817B
公开(公告)日:2025-03-18
申请号:CN202310311740.6
申请日:2023-03-28
Applicant: 重庆大学
Abstract: 本发明涉及一种适用于信息物理系统的建模与验证方法,属于信息化领域。该方法包括选取完整且闭环的信息物理系统设计案例;对所述的信息物理系统的离散模式变化、连续动态行为和层次结构进行形式化建模得到系统的多层次混成模型;将所述的多层次混成模型在PtolemyII平台中进行图形化建模;将所述的多层次混成模型根据规则转换为包含多个时间自动机模型的时间自动机网络;对所述的信息物理系统的属性和行为进行形式化规约;将时间自动机网络结合形式化规约进行多层次混成模型的验证。本发明针对多层次混成模型和时间自动机模型之间的差异,定义了模型的映射规则,使得信息物理系统能够较全面地建模与验证。
-
公开(公告)号:CN118282727A
公开(公告)日:2024-07-02
申请号:CN202410360275.X
申请日:2024-03-27
Applicant: 重庆大学
IPC: H04L9/40
Abstract: 本发明实施例公开了一种DDoS攻击检测方法、装置、芯片及终端,方法包括设置数据信息采集的时间窗口大小;任一个时间窗口内有数据包进入时,提取并存储时间窗口内进入的数据包的数据信息,数据信息包括数据大小、目标地址和协议类型;数据大小和目标地址用于计算比率属性,协议类型用于计算统计属性;将比率属性和统计属性的观测值作为实时流量特征,将比率属性和统计属性的预测值作为预测流量特征,从而通过预测流量特征验证实时流量特征,判断是否存在DDoS攻击,通过本发明可以有效区分正常流量和DDoS攻击流量,降低误报率。
-
公开(公告)号:CN118172089A
公开(公告)日:2024-06-11
申请号:CN202410373494.1
申请日:2024-03-29
Applicant: 重庆大学
IPC: G06Q30/0201
Abstract: 本发明涉及供应链网络设计技术,揭露了基于GSPN不确定性供应链系统建模和分析方法,包括:获取市场信息,从所述市场信息中提取供应链层级信息和供应链节点信息;利用所述供应链层级信息和所述供应链节点信息构建供应链分析模型,得到基础供应链分析模型;提取所述供应链节点的故障概率权重以及提取所述供应链层级信息之间的时间变量权重,并利用所述故障概率权重和所述时间变量权重对所述基础供应链分析模型执行权重化操作,得到目标供应链分析模型。本发明还提出一种基于GSPN不确定性供应链系统建模和分析装置、设备以及介质。本发明可以提高基于GSPN不确定性供应链系统建模和分析的效率。
-
公开(公告)号:CN117313147A
公开(公告)日:2023-12-29
申请号:CN202311269413.5
申请日:2023-09-28
Applicant: 重庆大学
Abstract: 本发明实施例公开了一种数据存储共享方法、装置、芯片及终端,方法包括数据拥有者使用对称密钥对共享明文数据进行对称加密,获得第一密文;对对称密钥进行加密,获得第二密文;将第一密文、第二密文保存为共享数据文件发送给数据存储者进行存储;其中,数据存储者将共享数据文件存储时,生成包括存储地址的文件索引;数据拥有者接收到已注册数据使用者发送的数据共享请求后,向其反馈文件索引,以使已注册数据使用者根据文件索引在数据存储者处下载共享数据文件;通过本发明能够降低电力数据的丢失损坏风险。
-
公开(公告)号:CN116301817A
公开(公告)日:2023-06-23
申请号:CN202310311740.6
申请日:2023-03-28
Applicant: 重庆大学
Abstract: 本发明涉及一种适用于信息物理系统的建模与验证方法,属于信息化领域。该方法包括选取完整且闭环的信息物理系统设计案例;对所述的信息物理系统的离散模式变化、连续动态行为和层次结构进行形式化建模得到系统的多层次混成模型;将所述的多层次混成模型在PtolemyII平台中进行图形化建模;将所述的多层次混成模型根据规则转换为包含多个时间自动机模型的时间自动机网络;对所述的信息物理系统的属性和行为进行形式化规约;将时间自动机网络结合形式化规约进行多层次混成模型的验证。本发明针对多层次混成模型和时间自动机模型之间的差异,定义了模型的映射规则,使得信息物理系统能够较全面地建模与验证。
-
公开(公告)号:CN116305075B
公开(公告)日:2025-03-21
申请号:CN202310311731.7
申请日:2023-03-28
Applicant: 重庆大学
Abstract: 本发明涉及一种适用于嵌入式系统的对称密码技术的适配性评估方法,属于工业控制领域。该方法为:给出适配性的定义。构建适配性评估指标体系。确定适配性评估指标权重系数。量化适配性评估指标特征值。形成基于AHP的模糊多层次适配性评估模型并应用模型得到密码技术与嵌入式系统的适配性评估结果。给出适配性评估结果与适配性定义的对应关系。此方法采用多方面评估标准评估密码算法与嵌入式系统的适配性,在特征值量化时,引入了算法基准,以AES‑GCM的表现为基准,构建了一种面向嵌入式系统的对称密码技术的适配性评估模型,可较准确地评估密码算法与嵌入式系统的适配性。
-
公开(公告)号:CN118278042A
公开(公告)日:2024-07-02
申请号:CN202410373250.3
申请日:2024-03-29
Applicant: 重庆大学
Abstract: 本发明提供了面向流数据的个性化本地差分隐私频率统计方法及系统。该方法在每个时间点判断是否发起频率统计,当发起频率统计时:用户侧根据用户隐私等级确定用户隐私参数;确定用户隐私等级下LOLOHA扰动算法和RAPPOR扰动算法的近似方差;若原始值域大小小于或等于最大通信开销阈值,且RAPPOR扰动算法的近似方差小于LOLOHA扰动算法的近似方差,则调用RAPPOR扰动算法获取扰动值;否则基于最优目标域大小调用LOLOHA扰动算法获取扰动值;生成用户报告;数据收集侧基于用户报告集获取频率估计向量。能长时间周期性地获取流数据频率统计结果,进行用户数据个性化隐私保护的同时提高了流数据频率统计结果的效用。
-
公开(公告)号:CN116305075A
公开(公告)日:2023-06-23
申请号:CN202310311731.7
申请日:2023-03-28
Applicant: 重庆大学
Abstract: 本发明涉及一种适用于嵌入式系统的对称密码技术的适配性评估方法,属于工业控制领域。该方法为:给出适配性的定义。构建适配性评估指标体系。确定适配性评估指标权重系数。量化适配性评估指标特征值。形成基于AHP的模糊多层次适配性评估模型并应用模型得到密码技术与嵌入式系统的适配性评估结果。给出适配性评估结果与适配性定义的对应关系。此方法采用多方面评估标准评估密码算法与嵌入式系统的适配性,在特征值量化时,引入了算法基准,以AES‑GCM的表现为基准,构建了一种面向嵌入式系统的对称密码技术的适配性评估模型,可较准确地评估密码算法与嵌入式系统的适配性。
-
-
-
-
-
-
-