-
公开(公告)号:CN115759955A
公开(公告)日:2023-03-07
申请号:CN202211285213.4
申请日:2022-10-20
申请人: 福建师范大学
摘要: 本发明涉及一种基于区块链的业务流程执行引擎。执行步骤:S1、构造BPMN业务流程模型(包含子流程的构造);S2、将BPMN转化为Petri网,并简化网络再转化为智能合约代码;S3、各协作方之间的交接通过从一条通道到另一条通道的序列流来表示;S4、支持组织用户帐户和角色的链上管理,以及带有访问控制的智能合同的自动生成;S5、流程实例的完整状态记录在区块链上,检索给定流程实例与其相关子流程实例之间的链接所需的所有元数据也记录在区块链上。应用本技术方案可以实现在区块链平台下监视流程实例的状态并执行其中的任务。
-
公开(公告)号:CN109831336B
公开(公告)日:2022-02-11
申请号:CN201910152573.9
申请日:2019-02-28
申请人: 福建师范大学
IPC分类号: H04L41/0677 , H04L41/06 , H04W24/08
摘要: 本发明公开基于MSD的传感器节点故障诊断算法,将无线传感器区域划分为若干相同的子区域,每个子区域内布置一个用于诊断故障的可以移动的传感器节点对该子区域的静态传感器节点进行故障诊断,并且该可移动传感器节点具有充足的能量且不会发生故障可。每个子区域进一步分隔为n×n的小正方形,每个小正方形的中心点作为故障诊断点;移动传感器节点沿着希尔伯特的移动路径一次途径故障诊断点并在到达每个故障诊断的进行故障诊断。移动传感器节点各自子区域的诊断故障结果通过选定的该子区域的桥节点传送至基站以供使用。本发明由MSD直接进行故障诊断,无需多次信息交换,且节点之间也不需通信,大大降低无线传感器的能量消耗。
-
公开(公告)号:CN109714789A
公开(公告)日:2019-05-03
申请号:CN201910152559.9
申请日:2019-02-28
申请人: 福建师范大学
摘要: 本发明公开基于多SINK节点的无线传感器节点故障诊断算法,针对于无法采取移动节点进行故障诊断的情形,提出基于无故障节点的故障诊断算法,首先给出无故障节点的布置算法,实现节点故障诊断的分布式进行,然后提出利用无故障节点对节点做出故障诊断算法,有效减少节点由于多跳造成的能量过多消耗。本发明大部分节点只需同无故障节点进行一跳通信即可实现故障诊断,有效地减少了能力的消耗。本发明具有较高的故障诊断正确率和较低的传感器能量消耗,符合无线传感器网络故障诊断算法的需求。
-
公开(公告)号:CN103873484B
公开(公告)日:2017-02-01
申请号:CN201410130071.3
申请日:2014-04-01
申请人: 福建师范大学
发明人: 陈志德
摘要: 本发明提供了一种基于移动网络的恶意蠕虫传播模型,该蠕虫传播模型为:其中,δ为移动手机个体从移除手机群R回到易感染手机群S的概率,ω为易感染手机个体直接被移除的概率,e为感染手机群体I回到易感染手机群体S的概率;θ为易感染手机群体S的感染概率,θ(t)表示感染率的时间函数,γ(t)表示移除率的时间函数;dS(t)/dt表示易感染用户群体的变化率,dI(t)/dt表示感染用户群的变化率;dR(t)/dt表示移除用户群的变化率。本发明针对移动蠕虫的传播,定义感染率和移除率都是时间T的函数,同时考虑了当移动手机感染蠕虫后,可以通过杀毒、打补丁,过滤恶意软件等措施来移除一
-
公开(公告)号:CN102708047B
公开(公告)日:2014-12-10
申请号:CN201210118820.1
申请日:2012-04-23
申请人: 福建师范大学
摘要: 本发明涉及一种数据流测试用例生成方法,采用遗传算法来搜索满足数据流测试准则的测试用例,在该方法中,适应度按如下公式计算:;其中,fitness(t)表示适应度,m表示测试用例t已经覆盖的路径条数,n表示程序总的需要覆盖的路径条数,p表示在未覆盖的(n-m)条路径中包含的分支谓词数量,所述分支谓词为程序分支的条件表达式,α表示分支谓词对适应度的影响权重因子,fi(x)表示程序第i个分支的分支函数值。该方法有利于提高数据流测试用例生成算法的收敛速度。
-
公开(公告)号:CN102663077B
公开(公告)日:2014-03-12
申请号:CN201210095140.2
申请日:2012-03-31
申请人: 福建师范大学
摘要: 本发明涉及网络安全技术领域,特别是一种基于Hits算法的Web搜索结果安全性排序方法,其特征在于:建立一个恶意特征库F(f1,f2,f3,…,fn),所述恶意特征库包含n种网络病毒、木马、漏洞在网页中出现的特征码,将所述恶意特征库的各特征码fx表示成由m个分量组成的向量形式,即fx=(fx1,fx2,fx3,…,fxm),其中x∈{1,2,…,n},fx∈F,各个分量所占权重用f’x来表示;然后,基于Hits算法,结合向量空间模型和恶意特征库,进行网页搜索结果安全性排序。该方法有利于降低恶意网页在搜索结果中的排序,从而降低访问到不安全网页的概率。
-
公开(公告)号:CN109640335B
公开(公告)日:2022-02-08
申请号:CN201910150809.5
申请日:2019-02-28
申请人: 福建师范大学
摘要: 本发明涉及一种基于卷积神经网络的无线传感器故障诊断方法,步骤如下:1)构建由1个基站、1个移动小车以及若干个可充电无线传感器节点构成的无线传感器网络系统模型;2)在基站构建依序连接有输入层、隐含层、全连接层和输出层的卷积神经网络;3)利用移动小车收集所有节点的感知数据并传输到基站存储,并转化成矩阵形式;4)将矩阵形式的感知数据输入到卷积神经网络中进行训练和自身学习,通过卷积层卷积核提取数据特征、池化层对数据特征进行压缩、全连接层连接最后两层、输出层输出最终数据分类结果;5)卷积神经网络根据数据分类结果将每一类对应着相应的传感器故障类型进行故障诊断,通过输出层输出节点诊断状态。
-
公开(公告)号:CN109934012A
公开(公告)日:2019-06-25
申请号:CN201910213707.3
申请日:2019-03-20
申请人: 福建师范大学
摘要: 本发明公开了基于区块链网络的医疗记录安全存储访问方法,针对目前在医疗记录EMR领域的四大核心问题:1)如何安全有效储存患者的EMR,2)如何实时上传EMR,3)如何设置访问控制过滤非法者。4)如何方便跨域下载EMR,提出一种基于区块链技术的电子医疗记录ERM存储与管理框架,该框架能够很好解决用户数据的隐私与安全问题。
-
公开(公告)号:CN109831336A
公开(公告)日:2019-05-31
申请号:CN201910152573.9
申请日:2019-02-28
申请人: 福建师范大学
摘要: 本发明公开基于MSD的传感器节点故障诊断算法,将无线传感器区域划分为若干相同的子区域,每个子区域内布置一个用于诊断故障的可以移动的传感器节点对该子区域的静态传感器节点进行故障诊断,并且该可移动传感器节点具有充足的能量且不会发生故障可。每个子区域进一步分隔为n×n的小正方形,每个小正方形的中心点作为故障诊断点;移动传感器节点沿着希尔伯特的移动路径一次途径故障诊断点并在到达每个故障诊断的进行故障诊断。移动传感器节点各自子区域的诊断故障结果通过选定的该子区域的桥节点传送至基站以供使用。本发明由MSD直接进行故障诊断,无需多次信息交换,且节点之间也不需通信,大大降低无线传感器的能量消耗。
-
公开(公告)号:CN109640335A
公开(公告)日:2019-04-16
申请号:CN201910150809.5
申请日:2019-02-28
申请人: 福建师范大学
CPC分类号: H04W16/225 , G06N3/0454 , G06N3/08 , H04W24/04 , H04W40/02 , H04W40/10 , H04W84/18
摘要: 本发明涉及一种基于卷积神经网络的无线传感器故障诊断算法,步骤如下:1)构建由1个基站、1个移动小车以及若干个可充电无线传感器节点构成的无线传感器网络系统模型;2)在基站构建依序连接有输入层、隐含层、全连接层和输出层的卷积神经网络;3)利用移动小车收集所有节点的感知数据并传输到基站存储,并转化成矩阵形式;4)将矩阵形式的感知数据输入到卷积神经网络中进行训练和自身学习,通过卷积层卷积核提取数据特征、池化层对数据特征进行压缩、全连接层连接最后两层、输出层输出最终数据分类结果;5)卷积神经网络根据数据分类结果将每一类对应着相应的传感器故障类型进行故障诊断,通过输出层输出节点诊断状态。
-
-
-
-
-
-
-
-
-