-
公开(公告)号：CN105446881A
公开(公告)日：2016-03-30
申请号：CN201510843266.7
申请日：2015-11-26
Applicant: 福建工程学院
IPC: G06F11/36
Abstract: 本发明公开了一种程序不可达路径的自动检测方法，通过将待检测的计算机程序转化为控制流图；将控制流图转化为程序模型，进行可达性分析得到不可达状态，通过自动检测不可达状态得到不可达状态的集合，然后根据不可达状态的集合得到不可达路径集合。本发明以理论上较为简单的状态搜索技术为基础，相比已有技术通常基于较复杂的数学理论，有效降低了技术运用与推广的难度；提供了完整的、具有较高自动化程度的程序不可达路径检测方法；解决了控制流图的可达性检测问题；解决了静态分析技术在处理较复杂程序时所存在的困难与低效问题；解决了静态分析技术在处理多分支程序的过程中，难以表达复合型数据的问题。
-
公开(公告)号：CN112862311A
公开(公告)日：2021-05-28
申请号：CN202110168886.0
申请日：2021-02-07
Applicant: 福建工程学院
Abstract: 本发明公开一种基于双层区块链的车联网信任管理方法，构建了新的信任凭证及评估体系，通过车联网主体的行为频率和信任值增速变化，来反映主体的行为趋势，从而有效提高了信任指标集评估主体可靠性的能力。采用双层区块链的结构，同时保存了信任评估数据和信任凭证数据，并使两类数据在逻辑上相互独立。由此，信任评估系统具有了容纳双重粒度数据的能力，保证了信任评估结果的可审计性和可追溯性。针对信任管理系统的节点特性，提出了基于伪随机数的记账权分配算法，能够有效提高共识效率，且可以避免因为共识而产生算力消耗。本发明还可以使记账节点序列具有不可预测性，从而有效防止有预谋的攻击。
-
公开(公告)号：CN108523296B
公开(公告)日：2020-11-17
申请号：CN201810273120.7
申请日：2018-03-29
Applicant: 福建工程学院
Abstract: 本发明公开了一种基于ZigBee的智能监测与自动穿脱环保鞋套。鞋套结合ZigBee无线传感器装置与ZigBee网络，实现穿戴者相关信息(譬如体温、体重、位置)侦测、传送、采集、延伸应用的创意。透过ZigBee树状网络拓扑结构以及DAAM分布式地址分配机制，并经由鞋套ZigBee装置的网络地址，判别穿戴者的位置信息，且能进一步追踪穿戴者位置的创意。透过所设计鞋套于博物馆类型展示中心的应用，实现参观访客相关大数据的采集、分析、延伸应用之能力的创意。结合隐藏式ZigBee传感器装置且可重复使用(非一次性使用)的鞋套设计创意。所设计鞋套无需穿鞋人俯身穿脱，能智能自动穿上或脱除。
-
公开(公告)号：CN105445700B
公开(公告)日：2018-03-09
申请号：CN201510824196.0
申请日：2015-11-24
Applicant: 福建工程学院
IPC: G01S5/06
Abstract: 本发明公开了一种应用时间序列信号的RFID定位方法，应用时间序列的采集信号定位，包括如下步骤：步骤1)设置定位系统；步骤2)估算待定位标签与阅读器i的距离；步骤3)定位待定位标签的坐标位置(x,y)。本发明可以减少由于环境影响造成信号不稳定所引起的定位不精确性；采用若干个阅读器与待定位标签的距离来计算待定位标签位置，可以不受阅读器所在位置对定位精度影响，只要距离估算比较精准，则定位的坐标也一定精准，不受阅读器的位置影响。
-
公开(公告)号：CN105445700A
公开(公告)日：2016-03-30
申请号：CN201510824196.0
申请日：2015-11-24
Applicant: 福建工程学院
IPC: G01S5/06
Abstract: 本发明公开了一种应用时间序列信号的RFID定位方法，应用时间序列的采集信号定位，包括如下步骤：步骤1)设置定位系统；步骤2)估算待定位标签与阅读器i的距离；步骤3)定位待定位标签的坐标位置(x,y)。本发明可以减少由于环境影响造成信号不稳定所引起的定位不精确性；采用若干个阅读器与待定位标签的距离来计算待定位标签位置，可以不受阅读器所在位置对定位精度影响，只要距离估算比较精准，则定位的坐标也一定精准，不受阅读器的位置影响。
-
Patent Agency Ranking
公开(公告)号：CN104931925A
公开(公告)日：2015-09-23
申请号：CN201510307207.8
申请日：2015-06-05
Applicant: 福建工程学院
IPC: G01S5/02
CPC classification number: G01S5/02
Abstract: 本发明公开了一种基于参考标签RFID定位的自适应方法，包括步骤一)设置环境参数方程、步骤二)单个区域的环境参数确定和步骤三)自适应RFID定位系统的设计。本发明技术能自适应地计算定位空间的环境参数，并能实时动态地适应环境，进而可以使定位方法能实时适应环境的变化，更能精确计算定位；与过去方法相比，解决了由于环境动态变化可能造成定位不精确的问题；例如，人员变身的移动，可能阻碍信号的传播，突然的塌方可能使信号传播强度发生变化造成定位精准降低。
-
公开(公告)号：CN112862311B
公开(公告)日：2023-06-06
申请号：CN202110168886.0
申请日：2021-02-07
Applicant: 福建工程学院
IPC: G06Q10/0639 , G06F9/54
Abstract: 本发明公开一种基于双层区块链的车联网信任管理方法，构建了新的信任凭证及评估体系，通过车联网主体的行为频率和信任值增速变化，来反映主体的行为趋势，从而有效提高了信任指标集评估主体可靠性的能力。采用双层区块链的结构，同时保存了信任评估数据和信任凭证数据，并使两类数据在逻辑上相互独立。由此，信任评估系统具有了容纳双重粒度数据的能力，保证了信任评估结果的可审计性和可追溯性。针对信任管理系统的节点特性，提出了基于伪随机数的记账权分配算法，能够有效提高共识效率，且可以避免因为共识而产生算力消耗。本发明还可以使记账节点序列具有不可预测性，从而有效防止有预谋的攻击。
-
公开(公告)号：CN109286939B
公开(公告)日：2021-09-24
申请号：CN201810984307.8
申请日：2018-08-28
Applicant: 福建工程学院
Abstract: 本发明提供了一种WSN逻辑型感知需求的验证方法，包括如下步骤：步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统；步骤S20、将逻辑型感知需求描述为感知时态逻辑公式；步骤S30、将感知格局变迁系统转化为UPPAAL的系统建模语言，将感知时态逻辑公式转化为UPPAAL的性质描述语言，并使用UPPAAL自动验证传感器调度策略是否满足感知需求。本发明的优点在于：能够表达环境对象的被感知顺序以及相互之间的关联性，能够较全面地反应出传感器调度策略的内涵以及外延，提高了感知需求验证的自动化程度。
-
公开(公告)号：CN103853559B
公开(公告)日：2017-04-12
申请号：CN201410089115.2
申请日：2014-03-12
Applicant: 福建工程学院
IPC: G06F9/44
Abstract: 本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL‑S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容性要求，确定组合过程自动机的可接受位置集合；依据用户限定的有效性要求，确定逻辑公式CSV；将优化模型转换为UPPAAL的建模语言；将可接受位置集合和逻辑公式CSV表示为CTL公式；将建模语言描述的组合服务模型与CTL公式输入UPPAAL进行验证；对OWL‑S中的原子过程与组合过程的描述更具体完整，可以无差异地参加组合运算，支持逻辑公式和表达式，描述能力更强，提高了验证的效率。
-
公开(公告)号：CN109286939A
公开(公告)日：2019-01-29
申请号：CN201810984307.8
申请日：2018-08-28
Applicant: 福建工程学院
Abstract: 本发明提供了一种WSN逻辑型感知需求的验证方法，包括如下步骤：步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统；步骤S20、将逻辑型感知需求描述为感知时态逻辑公式；步骤S30、将感知格局变迁系统转化为UPPAAL的系统建模语言，将感知时态逻辑公式转化为UPPAAL的性质描述语言，并使用UPPAAL自动验证传感器调度策略是否满足感知需求。本发明的优点在于：能够表达环境对象的被感知顺序以及相互之间的关联性，能够较全面地反应出传感器调度策略的内涵以及外延，提高了感知需求验证的自动化程度。
-
-
-
-
-
-
-
-
-
Search Results
20
records
(took 0.019 seconds)
