-
公开(公告)号：CN113591674A
公开(公告)日：2021-11-02
申请号：CN202110856044.4
申请日：2021-07-28
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种面向实时视频流的边缘环境行为识别系统，包括视频流获取模块、视频流存储模块、视频流预处理模块、缓存模块、滑窗定位模块、行为识别模块和用户界面模块；滑窗定位模块基于弹性跳跃滑窗的动作启动在线检测方法通过定位动作发生的位置节省了大量的计算资源，同时，并没有因为放弃滑动窗口的逐帧滑动致使原本性能优良的模型的检测性能产生较大的损失，在一定程度上实现了模型轻量化效果，避免大量无效数据送入行为识别模块，提高了行为识别的效率，提高了识别的实时性，通过数据本地化处理，更好得保护了敏感场景下边缘设备获取到的数据的隐私安全问题，该系统相较于普遍基于云中心的行为识别服务更有利于资源受限的边缘设备使用。
-
公开(公告)号：CN106227696B
公开(公告)日：2020-01-07
申请号：CN201610628003.9
申请日：2016-08-03
Applicant: 桂林电子科技大学
IPC: G06F15/78
Abstract: 本发明公开了一种快速重构高性能目标阵列的方法，包括如下步骤：模型介绍、引入规则、约束定义、逻辑列和目标阵列最大化定义、处理器阵列重构算法和实验分析等，该快速重构高性能目标阵列的方法，而对于HPTA的构建，其等价于在网络中寻找节点不相交路径的最大数目，使得这些节点不相交路径具有上述偏序关系且路径的总花费最小，且具有相同的位置，当重构过程结束后，高性能目标阵列的重构问题可在多项式时间内得到最优解，可以将原宿主阵列中所有相邻集为空的处理单元视为故障处理单元，不仅实现了算法NMHP，同时也实现了算法ALG06和ALG14作为对比实验。对比现有技术的缺点，本发明优势明显，花费较小，其而更加准确，值得以后推广使用。
-
公开(公告)号：CN106201881B
公开(公告)日：2019-02-01
申请号：CN201610543275.9
申请日：2016-07-12
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明为一种基于ASP的CSP并发系统调试方法，包括以下步骤：步骤1、根据描述CSP并发系统行为特征的ASP规则集，得到实例化性质规则集；步骤2、生成性质成立或不成立的原因；步骤3、生成反例迹并利用反例迹调试系统错误；步骤4、通过性质成立的原因生成ASP规则L，表示系统中使该性质成立的部分系统结构，分析系统修改后对已验证性质的影响，如果新系统满足规则L，性质依然成立，否则性质需要重新验证。本方法采用基于ASP的CSP并发系统的性质验证框架仅需两层模型即可完成性质验证，且两层模型间的差异较小；利用性质不成立时的反例迹实现针对CSP并发系统错误的调试，避免系统部分改变后，对仍成立的性质重复验证。
-
公开(公告)号：CN105260295B
公开(公告)日：2018-09-25
申请号：CN201510581206.2
申请日：2015-09-14
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种时间多栈下推网络的静态转换方法，首先，为了描述实时系统中并发递归机制，以及线程之间的交互，在MPDN的基础上引入时钟，提出TMPDN模型，并给出其语法及操作语义。其次，利用时钟域等价的优化技术，通过静态转换方法，将连续时间的TMPDN模型转换成离散的MPDN模型。本发明能够实现同时实现实时并发系统的实时性和并发性的描述，并能为实时并发程序的形式化验证提供保证。
-
公开(公告)号：CN104267936B
公开(公告)日：2017-10-17
申请号：CN201410470378.8
申请日：2014-09-16
Applicant: 桂林电子科技大学
IPC: G06F9/44
Abstract: 基于树语义的异步动态下推网络可达性分析方法属于软件安全、可靠性技术领域，其特征在于将树语义引入到异步动态下推网络中，通过构建一个中间模型模拟模型的树语义，并采用上下文限界方法使模型的可达性为可判定，计算有限的k次上下文执行内的可达格局集合，通过计算可达格局集合与目标格局集合的交集是否为空，判断出目标格局集合是否可达，从而确定程序的抽象模型中是否存在设计错误或漏洞，保证模型的正确与可靠。
-
Patent Agency Ranking
公开(公告)号：CN106201881A
公开(公告)日：2016-12-07
申请号：CN201610543275.9
申请日：2016-07-12
Applicant: 桂林电子科技大学
IPC: G06F11/36
CPC classification number: G06F11/3604 , G06F11/362
Abstract: 本发明为一种基于ASP的CSP并发系统调试方法，包括以下步骤：步骤1、根据描述CSP并发系统行为特征的ASP规则集，得到实例化性质规则集；步骤2、生成性质成立或不成立的原因；步骤3、生成反例迹并利用反例迹调试系统错误；步骤4、通过性质成立的原因生成ASP规则L，表示系统中使该性质成立的部分系统结构，分析系统修改后对已验证性质的影响，如果新系统满足规则L，性质依然成立，否则性质需要重新验证。本方法采用基于ASP的CSP并发系统的性质验证框架仅需两层模型即可完成性质验证，且两层模型间的差异较小；利用性质不成立时的反例迹实现针对CSP并发系统错误的调试，避免系统部分改变后，对仍成立的性质重复验证。
-
公开(公告)号：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: 本发明公开一种基于回答集程序的调机路径规划方法，针对单台编组调机的路径移动编排，给出了回答集程序结合随机产生器的方法。首先将典型编组站中调车场的轨道进行类型分类，接着将实例图中所停放车厢的位置按轨道类型转换成网络图，然后将网络图转换成规则集通过各种符合人工经验的约束条件来得到路径规划的方案，且还需要再利用随机产生器来随机生成与调车场轨道数目相对应的规则集，以应对现实场景中不断扩增的调车场轨道数目。本发明是一种理论和建模语言的结合对调机移动的路径进行规划的技术，利用随机产生器生成与轨道数目相对应的程序编码，最终自动的生成规划结果。
-
-
-
-
-
-
-
-
-
Search Results
51
records
(took 0.029 seconds)
