-
公开(公告)号:CN113361074A
公开(公告)日:2021-09-07
申请号:CN202110505577.8
申请日:2021-05-10
Applicant: 武汉理工大学
IPC: G06F30/20 , G06F17/10 , G06F111/10 , G06F119/12
Abstract: 一种基于混合二元决策图的动态故障树分析方法,属于软件可靠性工程领域,目的在于考虑组件间的顺序依赖关系,结合逻辑代数模型,实现更高效的可靠性分析方法。方法如下:自上而下的遍历动态故障树,利用基于时序结构函数的代数模型表示每个动态门,得到动态故障树的代数结构函数;基于改进的香农分解算法,消除动态依赖关系,赋予二元决策图左右分支新的含义,利用新的形式表示根节点、中间节点和叶子节点;基于上述步骤,利用二元决策图的特点对系统进行定量分析,计算整个系统的不可靠度。本发明解决了决策图中产生无效节点的问题,适用于任意失效时间分布的系统和包含任意动态门的动态故障树,可用于动态和静态的混合分析模型,具有普适性。
-
公开(公告)号:CN113219936A
公开(公告)日:2021-08-06
申请号:CN202110324872.3
申请日:2021-03-26
Applicant: 武汉理工大学
IPC: G05B23/02
Abstract: 本发明公开了一种考虑内在故障和外在故障的基于不完全覆盖的可靠性分析方法,包括:构建由多个组件组成的系统,并构建系统可靠性故障树,据此得到对应的布尔结构函数;判断故障树中每个节点所属的故障类型是内在故障还是外在故障;计算每个节点的最小无关触发,最小无关触发发生后,节点对应组件的状态变为无关状态,无关状态组件发生未覆盖内在故障不影响系统的正常工作;依据不可靠度函数来计算系统的不可靠度,从而获得系统可靠度的结果。本发明针对不同影响范围的故障划分了内在故障和外在故障,同时结合组件的相关性,从而考虑了无关组件的未覆盖内在故障对系统的影响,提高系统可靠度。
-
公开(公告)号:CN112000580A
公开(公告)日:2020-11-27
申请号:CN202010876355.2
申请日:2020-08-27
Applicant: 武汉理工大学
IPC: G06F11/36
Abstract: 本发明公开了一种负载相关的软件老化检测方法,包括以下步骤:S1、利用负载生成器对待测软件进行加压;S2、利用监视工具定期收集多个老化变量,采用降维方法对关键变量进行化简,通过减少多重共线性来对老化趋势进行线性估计,并对老化变量进行分析,筛选出相关性最高的监视指标;S3、建立自动化时序分析模型,对筛选出的监视指标进行分析,得到时序曲线信号;S4、根据时序曲线信号构建偏离图,通过偏离值及变化规律判断是否存在老化现象。本发明解决了传统基于趋势检测的软件老化检测方法误报率高的问题,有助于开发者在开发阶段检测软件老化问题,避免软件老化问题带来的损失。
-
公开(公告)号:CN111881048A
公开(公告)日:2020-11-03
申请号:CN202010758279.5
申请日:2020-07-31
Applicant: 武汉理工大学
Abstract: 本发明公开了一种跨项目软件老化预测方法,首先对源项目和目标项目中的数据进行预处理,之后采用联合分布域适应减小边缘分布和条件分布差异,然后采用欠采样法和改进的子类判别分析法缓解类不平衡问题,最后使用机器学习分类器(逻辑回归等)进行预测。本发明考虑了软件老化缺陷数据集源项目和目标项目间的条件分布差异,并进一步采用改进的子类判别分析法等缓解极其严重的类不平衡问题。它解决了传统跨项目软件老化缺陷预测方法精度以及健壮性不高的问题,有助于开发者在开发测试阶段发现软件老化相关缺陷并移除,避免软件老化问题带来的损失。本发明已在真实软件上验证过其可行性,并可推广至其他软件来预测软件老化相关缺陷。
-
公开(公告)号:CN111326214A
公开(公告)日:2020-06-23
申请号:CN202010067402.9
申请日:2020-01-20
Applicant: 武汉理工大学
Abstract: 本发明公开了一种基于负数据库的基因数据上安全的相似患者查询方法及系统,包括以下步骤:将作为典型样本患者的基因序列转化为二进制串,并生成负数据库,并作为样本负数据库存储到服务器的基因序列总数据库中,同时存储与相应患者的医疗数据;将待查询的基因序列数据转化为二进制串,并生成相应的待查询基因序列负数据库,并上传服务器;计算待查询基因序列负数据库与基因序列总数据库中所有样本负数据库之间的编辑距离;找出编辑距离最小的样本负数据库,并返回相应患者的医疗数据。本发明可以在满足隐私保护的前提下,安全地计算基因序列间的编辑距离,由此比较基因序列间的相似性,用于基因医疗和疾病诊断。
-
公开(公告)号:CN110390147A
公开(公告)日:2019-10-29
申请号:CN201910602956.1
申请日:2019-07-05
Applicant: 武汉理工大学
Abstract: 本发明公开了一种多阶段任务系统可靠性分析方法,包括以下步骤:S1、根据对多阶段任务系统中各组件于各阶段的最小无关触发事件MIT进行定义,找到组件在各个阶段从无关变为相关的触发条件;S2、根据系统类型及使用场景,选择合适的无关触发策略,包括阶段覆盖策略和任务覆盖策略;S3、在相应的无关触发策略下,分析得到组件在各个阶段发生覆盖、非覆盖失效以及未失效时的一般化的逻辑表达式;S4、根据组件阶段内和阶段间的逻辑关系得到整个任务发生失效的逻辑表达式;S5、根据整个任务发生失效的逻辑表达式,利用不相交乘积和SDP技术,计算多阶段任务系统中考虑组件的无关覆盖时的可靠性。本发明加入了对无关组件的覆盖。
-
公开(公告)号:CN107944290B
公开(公告)日:2019-09-10
申请号:CN201711123241.5
申请日:2017-11-14
Applicant: 武汉理工大学
Abstract: 本发明公开了一种基于局部排序的虹膜模板保护方法,首先将膜数据与应用程序特定的字符串按位执行异或运算;然后将执行的结果划分为块,将块划分为组,每个组中的块根据其十进制值进行排序;最后将原始块转换成排序值进行存储。本发明同时满足国际标准ISO/IEC 24745对虹膜模板保护提出的不可逆性、可撤销性和不相关性,并且该方法可以获得良好的识别性能。
-
公开(公告)号:CN106708714B
公开(公告)日:2019-07-09
申请号:CN201611146319.0
申请日:2016-12-13
Applicant: 武汉理工大学
IPC: G06F11/34
Abstract: 本发明公开了一种计算系统首次被无关触发概率的方法,包括:构建系统的布尔结构表达式;计算系统的最小割集;计算系统中各组件的最小无关触发集合;对系统中组件的寿命模拟全排列,根据系统的最小割集和各组件的最小无关触发集合计算每个排列的系统被首次触发无关的时间;统计系统被首次触发无关时间点的次数,计算系统在各时间点被首次无关触发的概率,得到系统首次被触发无关的时间概率向量。本发明以完全非参数的方法比较不同系统的性能及其组件的关联性,而不涉及组件的寿命分布。可以在无参数的情况下,评估系统运行过程中首次出现无关组件的时间点,从而对比不同结构系统关联性的优劣。
-
公开(公告)号:CN109117255A
公开(公告)日:2019-01-01
申请号:CN201810708461.2
申请日:2018-07-02
Applicant: 武汉理工大学
Abstract: 本发明公开了一种基于强化学习算法的异构多核嵌入式系统能耗优化调度方法。在硬件方面,在每个处理器上装载一个DVFS调节器,通过调节各处理器工作电压,改变各处理器硬件特性,动态构建出匹配软件特性的硬件平台;在软件方面,针对传统启发式算法(遗传算法、退火算法等)或存在局部搜索能力不足或存在全局搜索能力不强等缺点,探索性地运用机器学习领域的Q-Learning算法来寻找能耗最优化调度解。Q-Learning算法通过不断试错以及与环境交互反馈的方式,可兼顾全局搜索和局部搜索的性能,从而实现比传统启发式算法更优的搜索效果。上千组实验表明,Q-Learning算法相较于传统GA算法,能耗降低率可达6%~32%。
-
公开(公告)号:CN120014016A
公开(公告)日:2025-05-16
申请号:CN202510156093.5
申请日:2025-02-12
Applicant: 武汉理工大学
Abstract: 本发明公开了一种水下豹纹鳃棘鲈表征测量方法、装置、设备及介质,该方法包括:在水下通过双目摄像头获取豹纹鳃棘鲈的水下图像,并通过关键点检测模型检测豹纹鳃棘鲈的关键点,得到各关键点在水下图像中的像素位置;建立水下光线折射模型;通过水下光线折射模型对关键点在水下图像中的像素位置进行折射偏移补偿,将关键点在水下图像中的像素位置转换为对应于空气介质中的等效像素位置;通过立体视觉技术获取各关键点的空间位置;基于各关键点的空间位置数据,确定水下豹纹鳃棘鲈的表征数据。本发明通过水下光线折射模型对豹纹鳃棘鲈的关键点在水下图像中的像素坐标进行折射偏移补偿,提升了关键点检测的准确性,能够实现毫米级精度的表征测量。
-
-
-
-
-
-
-
-
-