一种程序不可达路径的自动检测方法

    公开(公告)号:CN105446881A

    公开(公告)日:2016-03-30

    申请号:CN201510843266.7

    申请日:2015-11-26

    Abstract: 本发明公开了一种程序不可达路径的自动检测方法,通过将待检测的计算机程序转化为控制流图;将控制流图转化为程序模型,进行可达性分析得到不可达状态,通过自动检测不可达状态得到不可达状态的集合,然后根据不可达状态的集合得到不可达路径集合。本发明以理论上较为简单的状态搜索技术为基础,相比已有技术通常基于较复杂的数学理论,有效降低了技术运用与推广的难度;提供了完整的、具有较高自动化程度的程序不可达路径检测方法;解决了控制流图的可达性检测问题;解决了静态分析技术在处理较复杂程序时所存在的困难与低效问题;解决了静态分析技术在处理多分支程序的过程中,难以表达复合型数据的问题。

    基于降分辨率的随机聚类统计的前景提取方法

    公开(公告)号:CN109636866A

    公开(公告)日:2019-04-16

    申请号:CN201811525938.X

    申请日:2018-12-13

    CPC classification number: G06T9/00 G06T2207/10016 G06T2207/20081

    Abstract: 本发明公开基于降分辨率的随机聚类统计的前景提取方法,其包括以下步骤:步骤1,以多种压缩比分别对不同场景数据集的视频图像进行压缩;步骤2,对获得的不同压缩比的图像分别利用ViBe和GMM方法进行处理,记录每一个压缩比下的CPU处理时间、精确率、查全率信息和F指标,作为压缩比的选择参考数据;步骤3,根据目标监控场景基于参考数据选取对应的压缩比进行压缩,再利用ViBe和GMM方法进行处理;步骤4,对ViBe和GMM方法的处理结果进行与运算,对两种前景轮廓的不完整进行互补;步骤5,对融合后的结果进行轮廓查找并绘制轮廓,消除目标内的空洞。本发明提高了前景提取精确率同时处理速度有较大的提升。

    隧道里基于RFID功率发射档识别自适用测距方法

    公开(公告)号:CN105929387B

    公开(公告)日:2018-12-07

    申请号:CN201610355571.6

    申请日:2016-05-26

    Abstract: 本发明公开了一种隧道里基于参考标签自适应测距方法,采用阅读器具有发射功率增益档可变性特性,根据改变阅读器发射功率档,待定位标签返回给阅读器的信号,识别待测距标签能返回阅读器的最低发射功率档。通过布置一些已知的固定位置的参考标签,利用功率识别技术,判断哪些固定参考标签的功率档与待定位标签的功率档相同,以这些固定参考标签的平均距离作为待测距标签的测距。本发明基于功率档的识别相比原有技术测量相位差与信号强度,其精度和对环境的敏感性要求更低,有利于适应变化的环境。隧道里基于参考标签自适应测距技术,其能适应隧道的简单环境,并且参考标签使用,能够更大限度地适应环境的变化对测距造成的影响,提高测距精确性。

    一种应用时间序列信号的RFID定位方法

    公开(公告)号:CN105445700B

    公开(公告)日:2018-03-09

    申请号:CN201510824196.0

    申请日:2015-11-24

    Abstract: 本发明公开了一种应用时间序列信号的RFID定位方法,应用时间序列的采集信号定位,包括如下步骤:步骤1)设置定位系统;步骤2)估算待定位标签与阅读器i的距离;步骤3)定位待定位标签的坐标位置(x,y)。本发明可以减少由于环境影响造成信号不稳定所引起的定位不精确性;采用若干个阅读器与待定位标签的距离来计算待定位标签位置,可以不受阅读器所在位置对定位精度影响,只要距离估算比较精准,则定位的坐标也一定精准,不受阅读器的位置影响。

    一种应用时间序列信号的RFID定位方法

    公开(公告)号:CN105445700A

    公开(公告)日:2016-03-30

    申请号:CN201510824196.0

    申请日:2015-11-24

    Abstract: 本发明公开了一种应用时间序列信号的RFID定位方法,应用时间序列的采集信号定位,包括如下步骤:步骤1)设置定位系统;步骤2)估算待定位标签与阅读器i的距离;步骤3)定位待定位标签的坐标位置(x,y)。本发明可以减少由于环境影响造成信号不稳定所引起的定位不精确性;采用若干个阅读器与待定位标签的距离来计算待定位标签位置,可以不受阅读器所在位置对定位精度影响,只要距离估算比较精准,则定位的坐标也一定精准,不受阅读器的位置影响。

    一种基于参考标签RFID定位的自适应方法

    公开(公告)号:CN104931925A

    公开(公告)日:2015-09-23

    申请号:CN201510307207.8

    申请日:2015-06-05

    CPC classification number: G01S5/02

    Abstract: 本发明公开了一种基于参考标签RFID定位的自适应方法,包括步骤一)设置环境参数方程、步骤二)单个区域的环境参数确定和步骤三)自适应RFID定位系统的设计。本发明技术能自适应地计算定位空间的环境参数,并能实时动态地适应环境,进而可以使定位方法能实时适应环境的变化,更能精确计算定位;与过去方法相比,解决了由于环境动态变化可能造成定位不精确的问题;例如,人员变身的移动,可能阻碍信号的传播,突然的塌方可能使信号传播强度发生变化造成定位精准降低。

    联合卷积网络和序列到序列模型的电池荷电状态SOC预测方法

    公开(公告)号:CN117787074A

    公开(公告)日:2024-03-29

    申请号:CN202310366739.3

    申请日:2023-04-07

    Abstract: 本发明公开联合卷积网络和序列到序列模型的电池荷电状态SOC预测方法,SOC数据由CNN卷积层数据提取得到重构数据。重构数据在编码层中经过多个LSTM网络层,每个LSTM都经过多层计算后得到多个输出,多个输出通过隐藏层融合为向量C作为解码层输入。解码层将向量C后经过同样的多层计算得到解码层输出,解码层输出经过全连接层结合公式得到单步输出。单步输出与预处理时计算的真实值SOC进行误差评估,误差值过大会不断更新网络层中的各层权重W与偏置值b,完成大量训练后保存训练的参数结果就能得到训练完成的模型,模型的最后的输出即为预测的SOC值。本发明提升了对SOC预测的准确性,能够更好的保护电池,降低使用成本。

    一种WSN逻辑型感知需求的验证方法

    公开(公告)号:CN109286939B

    公开(公告)日:2021-09-24

    申请号:CN201810984307.8

    申请日:2018-08-28

    Abstract: 本发明提供了一种WSN逻辑型感知需求的验证方法,包括如下步骤:步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统;步骤S20、将逻辑型感知需求描述为感知时态逻辑公式;步骤S30、将感知格局变迁系统转化为UPPAAL的系统建模语言,将感知时态逻辑公式转化为UPPAAL的性质描述语言,并使用UPPAAL自动验证传感器调度策略是否满足感知需求。本发明的优点在于:能够表达环境对象的被感知顺序以及相互之间的关联性,能够较全面地反应出传感器调度策略的内涵以及外延,提高了感知需求验证的自动化程度。

    一种WSN逻辑型感知需求的验证方法

    公开(公告)号:CN109286939A

    公开(公告)日:2019-01-29

    申请号:CN201810984307.8

    申请日:2018-08-28

    Abstract: 本发明提供了一种WSN逻辑型感知需求的验证方法,包括如下步骤:步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统;步骤S20、将逻辑型感知需求描述为感知时态逻辑公式;步骤S30、将感知格局变迁系统转化为UPPAAL的系统建模语言,将感知时态逻辑公式转化为UPPAAL的性质描述语言,并使用UPPAAL自动验证传感器调度策略是否满足感知需求。本发明的优点在于:能够表达环境对象的被感知顺序以及相互之间的关联性,能够较全面地反应出传感器调度策略的内涵以及外延,提高了感知需求验证的自动化程度。

    一种基于大数据的券商客户风险偏好分类方法

    公开(公告)号:CN106228399A

    公开(公告)日:2016-12-14

    申请号:CN201610573542.7

    申请日:2016-07-20

    CPC classification number: G06Q30/0201 G06Q40/04

    Abstract: 本发明公开了一种基于大数据的券商客户风险偏好分类方法,先使用主成分分析来简化数据。再利用改进的K-means算法进行迭代按算法确立聚心、聚类、调整聚心并删除不满足条件的聚心、重新聚类。直到聚心不再改变,停止聚类。确立聚心仅需一次,不需要迭代。得到客户的交易类别划分结果。基于上述的聚类结果,即客户的交易类别划分,结合不同产品的风险值,可确定客户的交易风险偏好。这是主要的。其次,辅助以已有的证券交易系统的在线问卷调查获得客户的主观风险偏好。二者相结合,可以更合理准确地得到客户的风险偏好的最终结果。本系统运行依靠券商的数据库,只要用户有交易历史数据,就可以据此判断该用户的投资偏好,这也直接反映客户的风险特征。这正是本系统的优越性和方便性体现。

Patent Agency Ranking