-
公开(公告)号:CN107341575A
公开(公告)日:2017-11-10
申请号:CN201710556938.5
申请日:2017-07-10
Applicant: 桂林电子科技大学
CPC classification number: G06Q10/04 , G06Q30/0605
Abstract: 本发明公开一种基于回答集程序设计的交易双方的最优稳定匹配方法,首先根据买方和供应商的选择属性信息计算得到双方的感知吸引力;然后将感知吸引从大到小排序,建立双方各自的完全偏好列表,并引入并引入信誉度来建立相应的不完全偏好列表。最后采用回答集程序设计(ASP)对上述偏好列表进行描述编码,在DLV求解器中运行该程序可以得到所有的稳定匹配,并以双方最大满意为目标,可获得最优稳定匹配。
-
公开(公告)号:CN107103361A
公开(公告)日:2017-08-29
申请号:CN201710238014.0
申请日:2017-04-13
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于粗糙集与回答集的变压器故障诊断方法和系统,通过故障编码对应相应的故障类型,从而构成故障诊断知识库,通过气体采样器采集特征气体含量与知识库中的知识匹配,最终自动产生诊断结果。本发明是以知识表示为基础,以实用化为目的,可以轻松的处理庞大的未加整理的知识,能够与知识的追加、修正和清除进行简单地对应,适用于规则和数据具有模糊度的场合。本发明将粗糙集理论与ASP程序相结合,构建了基于粗糙集理论与ASP的变压器故障诊断专家系统‑‑RS‑ASP,该方法对三比值法的临界值进行处理,使原三比值法更加完整,准确率更高。
-
公开(公告)号:CN107067114A
公开(公告)日:2017-08-18
申请号:CN201710262502.5
申请日:2017-04-20
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于回答集程序的调机路径规划方法,针对单台编组调机的路径移动编排,给出了回答集程序结合随机产生器的方法。首先将典型编组站中调车场的轨道进行类型分类,接着将实例图中所停放车厢的位置按轨道类型转换成网络图,然后将网络图转换成规则集通过各种符合人工经验的约束条件来得到路径规划的方案,且还需要再利用随机产生器来随机生成与调车场轨道数目相对应的规则集,以应对现实场景中不断扩增的调车场轨道数目。本发明是一种理论和建模语言的结合对调机移动的路径进行规划的技术,利用随机产生器生成与轨道数目相对应的程序编码,最终自动的生成规划结果。
-
公开(公告)号:CN113554105A
公开(公告)日:2021-10-26
申请号:CN202110856334.9
申请日:2021-07-28
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种基于时空融合的物联网缺失数据补全方法,通过收集物联网传感器的时序数据,得到传感器的历史数据,对离线的传感器的历史数据进行统计分析,分析传感器数据的缺失情况;数据空间关系感知:采用标准化互信息的方法挖掘收集到的传感器的历史数据之间的关系,计算任意两个传感器历史数据之间的相关系数,并选择相关系数大于0.5的数据作为待补全传感器的空间关系数据;构建并训练关系感知LSTM模型;将采集到的不完整的传感器数据输入训练好的Ra‑LSTM模型中进行数据补全,得到完整的数据集。该方法既利用传感器自身的历史时序数据又利用传感器之间的空间关系数据;补全融合的方法,补全结果更准确;在多个传感器数据同时缺失的条件下同样适用。
-
公开(公告)号:CN107103361B
公开(公告)日:2021-01-26
申请号:CN201710238014.0
申请日:2017-04-13
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于粗糙集与回答集的变压器故障诊断方法和系统,通过故障编码对应相应的故障类型,从而构成故障诊断知识库,通过气体采样器采集特征气体含量与知识库中的知识匹配,最终自动产生诊断结果。本发明是以知识表示为基础,以实用化为目的,可以轻松的处理庞大的未加整理的知识,能够与知识的追加、修正和清除进行简单地对应,适用于规则和数据具有模糊度的场合。本发明将粗糙集理论与ASP程序相结合,构建了基于粗糙集理论与ASP的变压器故障诊断专家系统‑‑RS‑ASP,该方法对三比值法的临界值进行处理,使原三比值法更加完整,准确率更高。
-
公开(公告)号:CN111856954A
公开(公告)日:2020-10-30
申请号:CN202010699554.0
申请日:2020-07-20
Applicant: 桂林电子科技大学
IPC: G05B15/02 , G05B19/418
Abstract: 本发明公开一种基于粗糙集理论与规则相结合的智能家居数据补全方法,使用粗糙集属性约简算法将冗余信息去除,避免多于信息对数据补全产生。粗糙集理论使用信息熵的概念,能够发现数据之间潜在关系,而不是简单的数据之间线性关系。根据约简结果形成的规则符合决策系统中行为习惯,缺省推理允许信息在不完全情况下做出合适的推理,符合现实推理需求。粗糙集理论将连续数据离散化处理,在智能家居决策系统中,系统不需要准确数据,只需要传感器达到某个范围内就能做出决策,因此本方法能够实现智能家居决策系统中缺失值补全,提高决策系统的可靠性和准确性,提供良好的用户体验。
-
公开(公告)号:CN107067114B
公开(公告)日:2020-07-28
申请号:CN201710262502.5
申请日:2017-04-20
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于回答集程序的调机路径规划方法,针对单台编组调机的路径移动编排,给出了回答集程序结合随机产生器的方法。首先将典型编组站中调车场的轨道进行类型分类,接着将实例图中所停放车厢的位置按轨道类型转换成网络图,然后将网络图转换成规则集通过各种符合人工经验的约束条件来得到路径规划的方案,且还需要再利用随机产生器来随机生成与调车场轨道数目相对应的规则集,以应对现实场景中不断扩增的调车场轨道数目。本发明是一种理论和建模语言的结合对调机移动的路径进行规划的技术,利用随机产生器生成与轨道数目相对应的程序编码,最终自动的生成规划结果。
-
-
公开(公告)号:CN108509375A
公开(公告)日:2018-09-07
申请号:CN201810340885.8
申请日:2018-04-17
Applicant: 桂林电子科技大学
Abstract: 基于有效节点全方位最短连接的处理器阵列芯片复用方法属于处理器阵列重构技术领域,尤其涉及处理器阵列芯片的复用技术领域,其特征在于,对于处理器阵列芯片内烧制的失效处理器单元阵列,先后一次使用从左到右,然后再从右到左的贪心列路由算法程序分别得到两个在逻辑列左、右分布位置上相互互补的目标阵列,然后再在同一个处理器单元阵列即物理阵列上按有效处理器单元的坐标位置,标注出两个已取得的互补的目标阵列,即可获得一个完整的目标阵列。本发明具有速度快,易于普及推广的优点。
-
公开(公告)号:CN105183652B
公开(公告)日:2018-01-30
申请号:CN201510581987.5
申请日:2015-09-14
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明公开一种时间动态下推网络的转换方法,用于描述含有递归、动态线程创建的实时并发递归建模。首先在DPN中引入描述连续时间的全局时钟,以及能描述与时间相关全局变量和栈字符“年龄”的实数时钟,从而可对基于共享内存进行异步通信,且带有动态线程创建的实时并发系统进行建模。其次对基于整数划分的时钟等价技术,给出一种基于时钟关键点的优化技术,缩减时钟区间,从而缩减转换后的状态空间。由于时间动态下推网络为一种实时并发递归程序的抽象模型,基于关键点的时钟等价优化技术把该模型转换为动态下推网络,这样通过确认动态下推网络模型的执行是否会运行到错误状态,从而检测出此模型即所对应并发递归程序中的错误或漏洞。
-
-
-
-
-
-
-
-
-