期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
21
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于交互链路的相似用户推荐算法
被引量:
3
1
作者
李颖
朱保平
《南京理工大学学报》
EI
CAS
CSCD
北大核心
2018年第2期183-188,共6页
用户推荐是社交软件中必不可少的功能之一。针对目前绝大多数的用户推荐算法仅从用户的关注和粉丝中寻找相似用户,忽略了与其有过交互但却未关注该用户的人,以及仅关注用户间的直接交互、未考虑间接交互对推荐效果的影响等问题,该文提...
用户推荐是社交软件中必不可少的功能之一。针对目前绝大多数的用户推荐算法仅从用户的关注和粉丝中寻找相似用户,忽略了与其有过交互但却未关注该用户的人,以及仅关注用户间的直接交互、未考虑间接交互对推荐效果的影响等问题,该文提出了一种有效的基于交互链路的相似用户推荐算法。该算法将用户基本信息相似度与交互强度相结合,实现了相似用户的推荐。与已有算法相比,该算法扩展了发现相似用户的范围,并在交互链路的大背景下将间接交互引入交互强度计算中。实验结果表明,该文算法能够发现更多的相似用户。
展开更多
关键词
用户推荐
交互链
路
基本信息相似度
交互
强度
间接
交互
在线阅读
下载PDF
职称材料
考虑回收再制造的共享产品定价及供应链内外交互机制研究
2
作者
任雪杰
赵林度
《运筹与管理》
北大核心
2025年第4期65-71,共7页
不同于传统销售模式下废旧产品始于消费者的回收,共享产品归属共享平台,回收再制造带来的是供应链内部共享平台和制造商之间的交互和博弈。同时,供应链外部即链际之间存在竞争交互。根据是否回收再制造划分三种供应链结构,构建成员Stack...
不同于传统销售模式下废旧产品始于消费者的回收,共享产品归属共享平台,回收再制造带来的是供应链内部共享平台和制造商之间的交互和博弈。同时,供应链外部即链际之间存在竞争交互。根据是否回收再制造划分三种供应链结构,构建成员Stackelberg主从博弈和供应链间Nash非合作博弈的模型,得到不同结构下的产品定价,进而挖掘供应链内交互和链间竞争机制。结果表明,两条供应链均回收再制造时顾客能以最低的租赁价格获得产品使用权,制造商和平台也会因为节约了成本而受益。市场结构会自发从均不回收再制造演化到均回收再制造。回收补贴通过影响批发价实现制造商和平台的利润协调,回收再制造节约的成本按照一定比例分配,竞争越激烈,平台占有比例越大;制造商可放弃部分节约成本以鼓励平台订购更多的再制造产品。分析参数弹性发现,二者收益主要受自身参数影响,竞争对手的影响较小。
展开更多
关键词
共享平台
定价
再制造
链
内
交互
链
间竞争
在线阅读
下载PDF
职称材料
基于改进公证人机制的跨链隐私共享研究
3
作者
檀钟盛
陈春晖
+1 位作者
杨宏强
陈学斌
《信息安全研究》
北大核心
2025年第2期146-153,共8页
近年来,随着区块链技术的不断发展,安全问题也随之出现.例如,链上隐私数据泄露和隐私数据跨链交互等.针对上述问题,提出一种基于改进公证人机制的跨链隐私共享模型.首先,设计一种基于门限代理重加密的跨链数据共享机制,该机制规定公证...
近年来,随着区块链技术的不断发展,安全问题也随之出现.例如,链上隐私数据泄露和隐私数据跨链交互等.针对上述问题,提出一种基于改进公证人机制的跨链隐私共享模型.首先,设计一种基于门限代理重加密的跨链数据共享机制,该机制规定公证人节点需要质押一定量代币,跨链发起者需要提供一定量的跨链奖励,诚实公证人节点获取代币奖励,恶意公证人节点扣除一定量质押金给与发起者.该机制有效降低公证人节点为恶意节点的可能性;然后,设计一种基于哈希锁和默克尔树的代币锁定机制,确保跨链发起者和公证人节点在互不信任的前提下实现数据可信跨链;最后,实验结果和理论研究证明,所提模型公证人节点恶意攻击概率低、恶意攻击成本高,且所用算法在加解密效率方面优于其他比较方案.
展开更多
关键词
区块
链
默克尔树
智能合约
哈希锁
公证人机制
跨
链
交互
在线阅读
下载PDF
职称材料
基于交互式马尔可夫链的可信动态度量研究
被引量:
9
4
作者
庄琭
蔡勉
沈昌祥
《计算机研究与发展》
EI
CSCD
北大核心
2011年第8期1464-1472,共9页
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描...
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.
展开更多
关键词
可信计算
可信动态度量
交互
式马尔可夫
链
功能度量
性能度量
在线阅读
下载PDF
职称材料
基于跨链交互的网络安全威胁情报共享方案
被引量:
3
5
作者
冯景瑜
张琪
+1 位作者
黄文华
韩刚
《信息网络安全》
CSCD
北大核心
2022年第5期21-29,共9页
随着数字化转型逐步深入各行业,网络边界正逐渐淡化,网络安全威胁情报共享成为保护信息化基础设施安全的必要手段之一。针对单链威胁情报共享存在的查询和交易性能瓶颈问题,文章在多链模式基础上提出跨区块链交互的威胁情报共享方案。...
随着数字化转型逐步深入各行业,网络边界正逐渐淡化,网络安全威胁情报共享成为保护信息化基础设施安全的必要手段之一。针对单链威胁情报共享存在的查询和交易性能瓶颈问题,文章在多链模式基础上提出跨区块链交互的威胁情报共享方案。通过设计情报链、监管链和积分链的多链模型,防止内部成员恶意利用情报,有效提升参与方共享意愿及情报共享效率。为保障跨链交互的一致性,采用哈希锁定的跨链机制构建智能合约,确保多链间信息互换安全。考虑到威胁信息具有海量、多元、异构的特性,文章设计了一种情报处理机制,对威胁信息进行统一描述转换。最后在国产开源跨链平台WeCross上进行实验,证明了该方案的有效性。
展开更多
关键词
区块
链
威胁情报共享
跨
链
交互
智能合约
在线阅读
下载PDF
职称材料
交互式马尔科夫链上强模拟关系的计算
被引量:
1
6
作者
赵锡英
张明新
邢敬宏
《兰州理工大学学报》
CAS
北大核心
2008年第1期76-81,共6页
对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析.
关键词
交互
式马尔可夫
链
强互模拟等价
强模拟前序
算法
计算复杂度
在线阅读
下载PDF
职称材料
交互式马尔科夫链上弱模拟关系的计算
7
作者
赵锡英
张明新
邢敬宏
《兰州理工大学学报》
CAS
北大核心
2008年第2期96-100,共5页
对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量,将IMCs上弱模拟定义中的马尔可夫转移...
对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量,将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解.利用该线性规划问题的数值求解方法,可在多项式时间内求得该线性规划问题的解.从而得到判定IMC上两个进程是否弱模拟的多项式时间算法.
展开更多
关键词
交互
式马尔可夫
链
弱模拟前序
算法
计算复杂度
在线阅读
下载PDF
职称材料
基于交互式马尔可夫链的模型检验
被引量:
1
8
作者
许翔
吴尽昭
+1 位作者
林连南
陈剑锋
《计算机应用》
CSCD
北大核心
2008年第7期1868-1871,共4页
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实...
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价。
展开更多
关键词
交互
式马尔可夫
链
模型检验
性能评价
在线阅读
下载PDF
职称材料
基于交互式马尔可夫链的CTCS无线通信可靠性分析
被引量:
4
9
作者
谢雨飞
田启川
《铁道学报》
EI
CAS
CSCD
北大核心
2020年第5期84-90,共7页
CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS无线通信中存在的信道延时、通信故障、网络故障等随机事件与...
CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS无线通信中存在的信道延时、通信故障、网络故障等随机事件与确定动作的分隔问题,以及带有同步的并发操作的实现问题。定义了交互式马尔可夫链的相关语义和逻辑刻画,给出了基于交互式马尔可夫链的模型检验算法。分析结果表明:在具有修复机制和双网冗余结构的条件下,系统在规定时间内完成数据传输的概率大于99%,24 h内连续正常工作的概率大于95%,满足系统要求。
展开更多
关键词
列控系统
交互
式马尔可夫
链
无线通信
模型检验
在线阅读
下载PDF
职称材料
面向跨链系统的用户身份标识认证模型
被引量:
17
10
作者
王洒洒
戴炳荣
+1 位作者
朱孟禄
李超
《计算机工程与应用》
CSCD
北大核心
2022年第19期135-141,共7页
随着区块链技术发展以及广泛应用,链与链之间交互成为关注焦点,跨链身份认证与管理是实现区块链可信交互的基础。针对当前跨链身份认证与管理中存在的安全性与性能不足问题,提出一种基于ECC-ZKP的面向跨链系统的用户身份标识认证模型。...
随着区块链技术发展以及广泛应用,链与链之间交互成为关注焦点,跨链身份认证与管理是实现区块链可信交互的基础。针对当前跨链身份认证与管理中存在的安全性与性能不足问题,提出一种基于ECC-ZKP的面向跨链系统的用户身份标识认证模型。通过研究跨链身份标识模型,引入椭圆曲线加密算法和零知识证明,实现跨链身份标识注册、更新以及认证,为用户的跨链访问、通信提供可信身份认证服务。分析与测试结果表明,该方案具有较高的安全性,且在处理效率、资源利用率方面表现较好。
展开更多
关键词
跨
链
交互
零知识证明
身份标识
椭圆曲线加密算法
在线阅读
下载PDF
职称材料
基于多链融合的粮食供应链溯源系统
被引量:
5
11
作者
曹浩浩
刘扬
+3 位作者
李向阳
刘鑫磊
王耀启
张元
《应用科学学报》
CAS
CSCD
北大核心
2023年第4期563-576,共14页
区块链因具有不可篡改、群体共识、全程可追溯等特点而广泛应用于存证确权、商品溯源、协同共享等应用场景。基于区块链的粮食溯源难点在于粮食从种植、收储、加工、物流所涉及的供应链条比较长,追溯困难,并且同一供应链上企业之间的企...
区块链因具有不可篡改、群体共识、全程可追溯等特点而广泛应用于存证确权、商品溯源、协同共享等应用场景。基于区块链的粮食溯源难点在于粮食从种植、收储、加工、物流所涉及的供应链条比较长,追溯困难,并且同一供应链上企业之间的企业资源计划(enterprise resource planning,ERP)系统并不互通,企业自治ERP系统难以与区块链对接。本文基于联盟链与私有链融合提出了一种多链粮食供应链溯源系统(multi-blockchain food supply chain traceability,MBFST),企业间通过联盟链开展业务协作,企业内部基于私有链记录信息流转;设计了私有链与联盟链的跨链交互协议,根据溯源ID实现联盟链与私有链的交互与映射;通过私有数据集合等数据隔离机制,确保供应链企业私有数据的隐私保护。通过对原型系统的设计与实现,结果显示,MBFST能够实现粮食供应链企业间的全链条精准溯源,确保链上链下溯源信息的全程可追溯;通过Hyperledger Fabric的Node-SDK对系统的性能和吞吐量进行测试,实验结果显示,MBFST在压力测试中查询每秒事务处理量(transaction per second,TPS)最高可达1000以上,使用溯源ID的富查询TPS可达200以上,信息上链时延测试中平均时延稳定在0.2~0.3 s。对比现有的基于区块链的商品溯源系统,MBFST在溯源信息的追溯能力、链上信息的隐私性和追溯效率等方面都更具优势。
展开更多
关键词
区块
链
联盟
链
私有
链
供应
链
溯源
跨
链
交互
隐私保护
在线阅读
下载PDF
职称材料
基于马尔可夫链的性能检测器的设计与实现
被引量:
1
12
作者
许振兴
吴尽昭
陈剑锋
《计算机应用》
CSCD
北大核心
2010年第A01期215-217,共3页
为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器。对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证。该软件采用Java Swing界面编程技术,支持图形化建模系统和...
为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器。对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证。该软件采用Java Swing界面编程技术,支持图形化建模系统和撰写逻辑公式,界面友好,易于操作。
展开更多
关键词
模型检测
交互
式马可夫
链
时序逻辑
性能检测
系统结构
在线阅读
下载PDF
职称材料
基于区块链的智能电网分布式资源管理研究
被引量:
6
13
作者
汪磊
李敬兆
秦晓伟
《电测与仪表》
北大核心
2023年第10期73-78,共6页
针对智能电网中分布式能源系统存在的管理困难,电力资源难以调度等问题,提出了一种基于区块链技术的电力网络管理系统。使用以太坊作为开发平台,建立分布式能源的电力交互管理区块链。使用股权证明(PoS)变异算法确立区块链中发用电双方...
针对智能电网中分布式能源系统存在的管理困难,电力资源难以调度等问题,提出了一种基于区块链技术的电力网络管理系统。使用以太坊作为开发平台,建立分布式能源的电力交互管理区块链。使用股权证明(PoS)变异算法确立区块链中发用电双方共识机制,指定交易双方中的记账人;通过K-means聚类算法和粒子群优化算法(PSO)来设计分布式电能调度策略,进一步保障电网中能源交易分配的可靠性,最终实现电力运营智能合约下分布式能源的有效管理。实验结果表明:在智能电网中部署电力交互管理区块链,有效解决了分布式能源交易难达成,耗时长的问题,提高了电网中资源管理的合理性。
展开更多
关键词
智能电网
分布式能源
电力网络管理系统
电力
交互
管理区块
链
智能合约
在线阅读
下载PDF
职称材料
工业区块链技术进展
被引量:
1
14
作者
黄廷磊
邓松
+3 位作者
张姿
韩啸宇
蒋建辉
宗云兵
《广西科学》
CAS
北大核心
2021年第4期331-340,共10页
工业互联网正在加速推进,其中数据隐私泄露、数据安全和数据追溯等问题严重制约了企业之间的信息流通和数据共享。区块链作为一种去中心化、无需中介、不可篡改、可追溯的技术,在金融、虚拟货币领域被广泛应用。应用区块链技术可以很好...
工业互联网正在加速推进,其中数据隐私泄露、数据安全和数据追溯等问题严重制约了企业之间的信息流通和数据共享。区块链作为一种去中心化、无需中介、不可篡改、可追溯的技术,在金融、虚拟货币领域被广泛应用。应用区块链技术可以很好地解决工业互联网的应用难题。本文详细介绍工业区块链的内涵和应用现状,重点分析了工业区块链的核心技术和工业应用面临的难题,并对国内外在相关技术方面的研究进展进行了介绍。
展开更多
关键词
工业互联网
工业区块
链
交易性能
跨
链
交互
分布式账本
在线阅读
下载PDF
职称材料
基于双链区块链的电力数据资产交易系统架构
被引量:
10
15
作者
林洁瑜
崔维平
《中国电力》
CSCD
北大核心
2021年第11期164-170,180,共8页
为解决当今电力数据资产管理在数据共享、数据交易、数据安全等方面存在的问题,实现电力数据资产的智能管理,充分挖掘电力系统数据资源价值。首先结合电力企业现有数据采集和应用方式,分析了电力系统数据资产管理的问题;总结分析以往区...
为解决当今电力数据资产管理在数据共享、数据交易、数据安全等方面存在的问题,实现电力数据资产的智能管理,充分挖掘电力系统数据资源价值。首先结合电力企业现有数据采集和应用方式,分析了电力系统数据资产管理的问题;总结分析以往区块链数据交易的应用,提出交互式双链区块链的概念,并结合生物遗传学原理提出其运行机理和控制策略。交互式双链区块链将两条链之间的交互过程类比为遗传学中转录、翻译、表达调控和逆转录的过程。该平台架构能较好地解决电力数据资产交易中的安全性和复杂度问题,为电力数据资产交易平台架构提供了解决方案。
展开更多
关键词
交互
式双
链
区块
链
数据资产
电力物联网
可拓展拜占庭共识协议
在线阅读
下载PDF
职称材料
一种状态事件故障树的定量分析方法
被引量:
22
16
作者
徐丙凤
黄志球
+2 位作者
胡军
魏欧
肖芳雄
《电子学报》
EI
CAS
CSCD
北大核心
2013年第8期1480-1486,共7页
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一...
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
展开更多
关键词
安全性分析
状态事件故障树
交互
马尔可夫
链
定量分析
形式化方法
在线阅读
下载PDF
职称材料
一种状态事件故障树的时间特性分析方法
被引量:
10
17
作者
徐丙凤
黄志球
+2 位作者
胡军
魏欧
李伟湋
《软件学报》
EI
CSCD
北大核心
2015年第2期427-446,共20页
状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障...
状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.
展开更多
关键词
状态事件故障树
交互
马尔可夫
链
平均时间分析
形式化方法
在线阅读
下载PDF
职称材料
一种多核系统任务调度算法动态度量方法
被引量:
2
18
作者
谢盈
吴尽昭
《计算机应用研究》
CSCD
北大核心
2019年第1期132-135,13,共5页
任务调度算法的优劣直接影响系统的功能和性能,对其进行功能验证和性能评价具有很强的现实意义。改进了IMC构建多核系统任务调度算法的功能模型,扩展aCSL从逻辑层次上刻画任务调度算法的性能指标,并基于改进的IMC和扩展的aCSL提出了一...
任务调度算法的优劣直接影响系统的功能和性能,对其进行功能验证和性能评价具有很强的现实意义。改进了IMC构建多核系统任务调度算法的功能模型,扩展aCSL从逻辑层次上刻画任务调度算法的性能指标,并基于改进的IMC和扩展的aCSL提出了一种多核系统任务调度算法动态度量方法实现对任务调度算法的功能验证和性能评价。用例分析表明提出的动态度量方法能有效地对任务调度算法进行功能和性能的描述及度量,为多核系统任务调度算法的正确执行提供了有力支撑。
展开更多
关键词
交互
式马尔可夫
链
(IMC)
基于动作的时序逻辑(aCSL)
多核系统
任务调度
调度模型
动态度量
在线阅读
下载PDF
职称材料
随机进程代数IMCs的性能评价
19
作者
赵锡英
张明新
《兰州理工大学学报》
CAS
北大核心
2008年第3期73-76,共4页
将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共存的IMCs...
将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共存的IMCs模型的路径定义和基于概率转移率的路径转移发生的概率计算方法,解决了Until算子的描述.使用基于动作的逻辑aCSL给出IMCs的性能评价.证明该方法的正确性,它是纯马尔可夫链模型中性能评价方法的扩展.
展开更多
关键词
交互
式马尔可夫
链
性能评价
路径
aGSL逻辑
在线阅读
下载PDF
职称材料
一种鲁棒的多目标自动跟踪算法
被引量:
3
20
作者
肖敬若
张艳宁
+1 位作者
胡伏原
郑江滨
《信号处理》
CSCD
北大核心
2007年第3期437-440,共4页
针对复杂的自然环境,提出了一种能自动初始化目标模型,并能处理目标遮掩问题的多目标实时跟踪算法。该算法在精度和效率方面改进了Mean Shift算法,并结合扩展卡尔曼滤波器对目标进行运动建模,实现了对多目标的实时稳健跟踪。此外,为了...
针对复杂的自然环境,提出了一种能自动初始化目标模型,并能处理目标遮掩问题的多目标实时跟踪算法。该算法在精度和效率方面改进了Mean Shift算法,并结合扩展卡尔曼滤波器对目标进行运动建模,实现了对多目标的实时稳健跟踪。此外,为了自动初始化待跟踪目标模型,提出了一种三层目标链交互结构。该结构能够有效的去除由摄像机抖动以及背景噪声产生的伪目标。在复杂的自然环境下对算法进行了大量的多目标跟踪实验,验证了算法的实时有效性。
展开更多
关键词
多目标跟踪
Mean
SHIFT
EKF
三层目标
链
交互
结构
自动初始化目标
遮掩处理
在线阅读
下载PDF
职称材料
题名
基于交互链路的相似用户推荐算法
被引量:
3
1
作者
李颖
朱保平
机构
南京理工大学计算机科学与工程学院
出处
《南京理工大学学报》
EI
CAS
CSCD
北大核心
2018年第2期183-188,共6页
文摘
用户推荐是社交软件中必不可少的功能之一。针对目前绝大多数的用户推荐算法仅从用户的关注和粉丝中寻找相似用户,忽略了与其有过交互但却未关注该用户的人,以及仅关注用户间的直接交互、未考虑间接交互对推荐效果的影响等问题,该文提出了一种有效的基于交互链路的相似用户推荐算法。该算法将用户基本信息相似度与交互强度相结合,实现了相似用户的推荐。与已有算法相比,该算法扩展了发现相似用户的范围,并在交互链路的大背景下将间接交互引入交互强度计算中。实验结果表明,该文算法能够发现更多的相似用户。
关键词
用户推荐
交互链
路
基本信息相似度
交互
强度
间接
交互
Keywords
user recommendation
interactive link
similarity of basic information
strength
indirect interaction
分类号
TP391.1 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
考虑回收再制造的共享产品定价及供应链内外交互机制研究
2
作者
任雪杰
赵林度
机构
南京邮电大学管理学院
东南大学经济管理学院
出处
《运筹与管理》
北大核心
2025年第4期65-71,共7页
基金
国家自然科学基金资助项目(72071039)
南京邮电大学人文社会科学研究基金项目(NYY223004)。
文摘
不同于传统销售模式下废旧产品始于消费者的回收,共享产品归属共享平台,回收再制造带来的是供应链内部共享平台和制造商之间的交互和博弈。同时,供应链外部即链际之间存在竞争交互。根据是否回收再制造划分三种供应链结构,构建成员Stackelberg主从博弈和供应链间Nash非合作博弈的模型,得到不同结构下的产品定价,进而挖掘供应链内交互和链间竞争机制。结果表明,两条供应链均回收再制造时顾客能以最低的租赁价格获得产品使用权,制造商和平台也会因为节约了成本而受益。市场结构会自发从均不回收再制造演化到均回收再制造。回收补贴通过影响批发价实现制造商和平台的利润协调,回收再制造节约的成本按照一定比例分配,竞争越激烈,平台占有比例越大;制造商可放弃部分节约成本以鼓励平台订购更多的再制造产品。分析参数弹性发现,二者收益主要受自身参数影响,竞争对手的影响较小。
关键词
共享平台
定价
再制造
链
内
交互
链
间竞争
Keywords
sharing platform
pricing
remanufacturing
intra-chain interplay
inter-chains competition
分类号
F272 [经济管理—企业管理]
在线阅读
下载PDF
职称材料
题名
基于改进公证人机制的跨链隐私共享研究
3
作者
檀钟盛
陈春晖
杨宏强
陈学斌
机构
福建理工大学互联网经贸学院
出处
《信息安全研究》
北大核心
2025年第2期146-153,共8页
基金
福建省科技创新战略研究项目(2019R0086)
福建省本科高校教育研究项目(FBJG20190174)
+1 种基金
福建省教育科学研究课题(KJJKCG18-155)
福建省中青年教师教育科研项目(科技类)(JAT241234)。
文摘
近年来,随着区块链技术的不断发展,安全问题也随之出现.例如,链上隐私数据泄露和隐私数据跨链交互等.针对上述问题,提出一种基于改进公证人机制的跨链隐私共享模型.首先,设计一种基于门限代理重加密的跨链数据共享机制,该机制规定公证人节点需要质押一定量代币,跨链发起者需要提供一定量的跨链奖励,诚实公证人节点获取代币奖励,恶意公证人节点扣除一定量质押金给与发起者.该机制有效降低公证人节点为恶意节点的可能性;然后,设计一种基于哈希锁和默克尔树的代币锁定机制,确保跨链发起者和公证人节点在互不信任的前提下实现数据可信跨链;最后,实验结果和理论研究证明,所提模型公证人节点恶意攻击概率低、恶意攻击成本高,且所用算法在加解密效率方面优于其他比较方案.
关键词
区块
链
默克尔树
智能合约
哈希锁
公证人机制
跨
链
交互
Keywords
blockchain
Merkle tree
smart contract
hash lock
notary mechanism
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于交互式马尔可夫链的可信动态度量研究
被引量:
9
4
作者
庄琭
蔡勉
沈昌祥
机构
北京工业大学计算机学院
可信计算北京市重点实验室
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第8期1464-1472,共9页
基金
国家“九七三”重点基础研究发展计划基金项目(2007CB311100)
国家“八六三”高技术研究发展计划基金项目(2009AA012437)
“核高基”国家科技重大专项基金项目(2010ZX01037-001-001)
文摘
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信.
关键词
可信计算
可信动态度量
交互
式马尔可夫
链
功能度量
性能度量
Keywords
trusted computing
trusted dynamic measurement
interactive Markov chains
functionality measurement
performance measurement
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于跨链交互的网络安全威胁情报共享方案
被引量:
3
5
作者
冯景瑜
张琪
黄文华
韩刚
机构
西安邮电大学无线网络安全技术国家工程实验室
出处
《信息网络安全》
CSCD
北大核心
2022年第5期21-29,共9页
基金
国家自然科学基金[62102312]
陕西省高校科协青年人才托举计划[20210119]。
文摘
随着数字化转型逐步深入各行业,网络边界正逐渐淡化,网络安全威胁情报共享成为保护信息化基础设施安全的必要手段之一。针对单链威胁情报共享存在的查询和交易性能瓶颈问题,文章在多链模式基础上提出跨区块链交互的威胁情报共享方案。通过设计情报链、监管链和积分链的多链模型,防止内部成员恶意利用情报,有效提升参与方共享意愿及情报共享效率。为保障跨链交互的一致性,采用哈希锁定的跨链机制构建智能合约,确保多链间信息互换安全。考虑到威胁信息具有海量、多元、异构的特性,文章设计了一种情报处理机制,对威胁信息进行统一描述转换。最后在国产开源跨链平台WeCross上进行实验,证明了该方案的有效性。
关键词
区块
链
威胁情报共享
跨
链
交互
智能合约
Keywords
blockchain
cyber threat intelligence sharing
cross-chain interaction
smart contract
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
交互式马尔科夫链上强模拟关系的计算
被引量:
1
6
作者
赵锡英
张明新
邢敬宏
机构
兰州工业高等专科学校计算机工程系
出处
《兰州理工大学学报》
CAS
北大核心
2008年第1期76-81,共6页
基金
甘肃省自然科学基金(3ZS051-A25-047)
甘肃省教育厅科研基金(0712-02)
文摘
对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析.
关键词
交互
式马尔可夫
链
强互模拟等价
强模拟前序
算法
计算复杂度
Keywords
interactive Markov chains
strong bisimulation
strong simulation preorder
algorithm
computational complexity
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
交互式马尔科夫链上弱模拟关系的计算
7
作者
赵锡英
张明新
邢敬宏
机构
兰州工业高等专科学校软件工程系
出处
《兰州理工大学学报》
CAS
北大核心
2008年第2期96-100,共5页
基金
甘肃省自然科学基金(3ZS051-A25-047)
甘肃省教育厅项目(0712-02)
文摘
对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量,将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解.利用该线性规划问题的数值求解方法,可在多项式时间内求得该线性规划问题的解.从而得到判定IMC上两个进程是否弱模拟的多项式时间算法.
关键词
交互
式马尔可夫
链
弱模拟前序
算法
计算复杂度
Keywords
interactive Markov chains
weak simulation prelude
algorithm
computative complexity
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于交互式马尔可夫链的模型检验
被引量:
1
8
作者
许翔
吴尽昭
林连南
陈剑锋
机构
中国科学院成都计算机应用研究所
出处
《计算机应用》
CSCD
北大核心
2008年第7期1868-1871,共4页
文摘
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价。
关键词
交互
式马尔可夫
链
模型检验
性能评价
Keywords
Interactive Markov Chains(IMC)
model checking
performance evaluation
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于交互式马尔可夫链的CTCS无线通信可靠性分析
被引量:
4
9
作者
谢雨飞
田启川
机构
北京建筑大学电气与信息工程学院
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2020年第5期84-90,共7页
基金
国家自然科学基金(61703028)
北京市属高校基本科研业务费(X18071,X19020)。
文摘
CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS无线通信中存在的信道延时、通信故障、网络故障等随机事件与确定动作的分隔问题,以及带有同步的并发操作的实现问题。定义了交互式马尔可夫链的相关语义和逻辑刻画,给出了基于交互式马尔可夫链的模型检验算法。分析结果表明:在具有修复机制和双网冗余结构的条件下,系统在规定时间内完成数据传输的概率大于99%,24 h内连续正常工作的概率大于95%,满足系统要求。
关键词
列控系统
交互
式马尔可夫
链
无线通信
模型检验
Keywords
train control system
Interactive Markov Chain
radio communication
model checking
分类号
TP301 [自动化与计算机技术—计算机系统结构]
U284.48 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
面向跨链系统的用户身份标识认证模型
被引量:
17
10
作者
王洒洒
戴炳荣
朱孟禄
李超
机构
上海计算机软件技术开发中心
上海海事大学信息工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2022年第19期135-141,共7页
基金
上海市软件技术创新服务平台项目(20DZ2291700)
上海市“科技创新行动计划”高新技术领域项目(21511101504)。
文摘
随着区块链技术发展以及广泛应用,链与链之间交互成为关注焦点,跨链身份认证与管理是实现区块链可信交互的基础。针对当前跨链身份认证与管理中存在的安全性与性能不足问题,提出一种基于ECC-ZKP的面向跨链系统的用户身份标识认证模型。通过研究跨链身份标识模型,引入椭圆曲线加密算法和零知识证明,实现跨链身份标识注册、更新以及认证,为用户的跨链访问、通信提供可信身份认证服务。分析与测试结果表明,该方案具有较高的安全性,且在处理效率、资源利用率方面表现较好。
关键词
跨
链
交互
零知识证明
身份标识
椭圆曲线加密算法
Keywords
cross-chain interaction
zero-knowledge proof
identification
elliptic curve encryption algorithm
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于多链融合的粮食供应链溯源系统
被引量:
5
11
作者
曹浩浩
刘扬
李向阳
刘鑫磊
王耀启
张元
机构
河南工业大学信息科学与工程学院
出处
《应用科学学报》
CAS
CSCD
北大核心
2023年第4期563-576,共14页
基金
河南省重大科技专项(No.201300210100,No.201300210200)
郑州市协同创新重点专项(No.21ZZXTCX07)资助。
文摘
区块链因具有不可篡改、群体共识、全程可追溯等特点而广泛应用于存证确权、商品溯源、协同共享等应用场景。基于区块链的粮食溯源难点在于粮食从种植、收储、加工、物流所涉及的供应链条比较长,追溯困难,并且同一供应链上企业之间的企业资源计划(enterprise resource planning,ERP)系统并不互通,企业自治ERP系统难以与区块链对接。本文基于联盟链与私有链融合提出了一种多链粮食供应链溯源系统(multi-blockchain food supply chain traceability,MBFST),企业间通过联盟链开展业务协作,企业内部基于私有链记录信息流转;设计了私有链与联盟链的跨链交互协议,根据溯源ID实现联盟链与私有链的交互与映射;通过私有数据集合等数据隔离机制,确保供应链企业私有数据的隐私保护。通过对原型系统的设计与实现,结果显示,MBFST能够实现粮食供应链企业间的全链条精准溯源,确保链上链下溯源信息的全程可追溯;通过Hyperledger Fabric的Node-SDK对系统的性能和吞吐量进行测试,实验结果显示,MBFST在压力测试中查询每秒事务处理量(transaction per second,TPS)最高可达1000以上,使用溯源ID的富查询TPS可达200以上,信息上链时延测试中平均时延稳定在0.2~0.3 s。对比现有的基于区块链的商品溯源系统,MBFST在溯源信息的追溯能力、链上信息的隐私性和追溯效率等方面都更具优势。
关键词
区块
链
联盟
链
私有
链
供应
链
溯源
跨
链
交互
隐私保护
Keywords
blockchain
consortium blockchain
private blockchain
supply chain traceabil-ity
cross-chain interaction
privacy protection
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于马尔可夫链的性能检测器的设计与实现
被引量:
1
12
作者
许振兴
吴尽昭
陈剑锋
机构
中国科学院成都计算机应用研究所
出处
《计算机应用》
CSCD
北大核心
2010年第A01期215-217,共3页
基金
国家973计划项目(2007CB310803)
国家863计划项目(2007AA01Z143)
+1 种基金
国家自然科学基金资助项目(6087311860973147)
北京交通大学科学研究基金资助项目(2007RC110)
文摘
为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器。对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证。该软件采用Java Swing界面编程技术,支持图形化建模系统和撰写逻辑公式,界面友好,易于操作。
关键词
模型检测
交互
式马可夫
链
时序逻辑
性能检测
系统结构
Keywords
model checking
Interactive Markov Chains (IMC)
temporal logic
performance checking
system architecture
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于区块链的智能电网分布式资源管理研究
被引量:
6
13
作者
汪磊
李敬兆
秦晓伟
机构
安徽理工大学电气与信息工程学院
出处
《电测与仪表》
北大核心
2023年第10期73-78,共6页
基金
国家自然科学基金资助项目(51874010)
安徽省工业节电与电能质量控制协同创新中心开放课题基金项目(KFKT201406)
物联网关键技术研究创新团队项目(201950ZX003)。
文摘
针对智能电网中分布式能源系统存在的管理困难,电力资源难以调度等问题,提出了一种基于区块链技术的电力网络管理系统。使用以太坊作为开发平台,建立分布式能源的电力交互管理区块链。使用股权证明(PoS)变异算法确立区块链中发用电双方共识机制,指定交易双方中的记账人;通过K-means聚类算法和粒子群优化算法(PSO)来设计分布式电能调度策略,进一步保障电网中能源交易分配的可靠性,最终实现电力运营智能合约下分布式能源的有效管理。实验结果表明:在智能电网中部署电力交互管理区块链,有效解决了分布式能源交易难达成,耗时长的问题,提高了电网中资源管理的合理性。
关键词
智能电网
分布式能源
电力网络管理系统
电力
交互
管理区块
链
智能合约
Keywords
smart grid
distributed energy
power network management system
power interactive management blockchain
smart contract
分类号
TM73 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
工业区块链技术进展
被引量:
1
14
作者
黄廷磊
邓松
张姿
韩啸宇
蒋建辉
宗云兵
机构
中国科学院软件研究所
南京邮电大学
桂林电子科技大学
广西科学院
山东产业技术研究院
出处
《广西科学》
CAS
北大核心
2021年第4期331-340,共10页
基金
广西人才专项基金项目(AD18281059)
工信部大数据产业发展试点示范项目([2020]47号)资助。
文摘
工业互联网正在加速推进,其中数据隐私泄露、数据安全和数据追溯等问题严重制约了企业之间的信息流通和数据共享。区块链作为一种去中心化、无需中介、不可篡改、可追溯的技术,在金融、虚拟货币领域被广泛应用。应用区块链技术可以很好地解决工业互联网的应用难题。本文详细介绍工业区块链的内涵和应用现状,重点分析了工业区块链的核心技术和工业应用面临的难题,并对国内外在相关技术方面的研究进展进行了介绍。
关键词
工业互联网
工业区块
链
交易性能
跨
链
交互
分布式账本
Keywords
industrial Internet
industrial blockchain
transaction performance
cross chain interaction
distribu-ted ledger
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于双链区块链的电力数据资产交易系统架构
被引量:
10
15
作者
林洁瑜
崔维平
机构
国网湖北省电力有限公司经济技术研究院
国网能源研究院有限公司
出处
《中国电力》
CSCD
北大核心
2021年第11期164-170,180,共8页
基金
国家电网公司科技项目(电力数据资产化运营与价值挖掘关键技术研究,5100-201957475A-0-0-00)。
文摘
为解决当今电力数据资产管理在数据共享、数据交易、数据安全等方面存在的问题,实现电力数据资产的智能管理,充分挖掘电力系统数据资源价值。首先结合电力企业现有数据采集和应用方式,分析了电力系统数据资产管理的问题;总结分析以往区块链数据交易的应用,提出交互式双链区块链的概念,并结合生物遗传学原理提出其运行机理和控制策略。交互式双链区块链将两条链之间的交互过程类比为遗传学中转录、翻译、表达调控和逆转录的过程。该平台架构能较好地解决电力数据资产交易中的安全性和复杂度问题,为电力数据资产交易平台架构提供了解决方案。
关键词
交互
式双
链
区块
链
数据资产
电力物联网
可拓展拜占庭共识协议
Keywords
interactive double-chained blockchain
data assets
power internet of things
scalable Byzantine consensus protocol
分类号
F426.61 [经济管理—产业经济]
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种状态事件故障树的定量分析方法
被引量:
22
16
作者
徐丙凤
黄志球
胡军
魏欧
肖芳雄
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
广西财经学院信息与统计学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第8期1480-1486,共7页
基金
江苏省研究生培养创新工程(No.CXZZ11-0218)
中央高校基本科研业务费专项资金(No.CXZZ11-0218
+5 种基金
No.NS2012129)
国家自然科学基金(No.61272083
No.61170043
No.61100034
No.61262002)
回国留学人员科研启动基金(2012)
文摘
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
关键词
安全性分析
状态事件故障树
交互
马尔可夫
链
定量分析
形式化方法
Keywords
safety analysis
state/event fault tree
interactive Markov chain
quantitative analysis
formal method
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种状态事件故障树的时间特性分析方法
被引量:
10
17
作者
徐丙凤
黄志球
胡军
魏欧
李伟湋
机构
南京航空航天大学计算机科学与技术学院
计算机软件新技术国家重点实验室(南京大学)
南京航空航天大学航天学院
出处
《软件学报》
EI
CSCD
北大核心
2015年第2期427-446,共20页
基金
国家自然科学基金(61272083
61170043)
+3 种基金
回国留学人员科研启动基金(SEM 2012)
中央高校基本科研业务费专项资金(CXZZ11_0218
NS2012129)
江苏省普通高校研究生科研创新计划(CXZZ11_0218)
文摘
状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.
关键词
状态事件故障树
交互
马尔可夫
链
平均时间分析
形式化方法
Keywords
state/event fault tree
interactive Markov chain
mean time analysis
formal method
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种多核系统任务调度算法动态度量方法
被引量:
2
18
作者
谢盈
吴尽昭
机构
西南民族大学计算机科学与技术学院
中国科学院成都计算机应用研究所
中国科学院大学
广西民族大学广西混杂计算与集成电路设计分析重点实验室
出处
《计算机应用研究》
CSCD
北大核心
2019年第1期132-135,13,共5页
基金
西南民族大学中央高校基本科研业务费专项资金资助项目(2015NZYQN28)
国家自然科学基金资助项目(11371003
+2 种基金
11461006)
广西自然科学基金资助项目(2012GXNSFGA060003)
广西教育厅科研资助项目(201012MS274)
文摘
任务调度算法的优劣直接影响系统的功能和性能,对其进行功能验证和性能评价具有很强的现实意义。改进了IMC构建多核系统任务调度算法的功能模型,扩展aCSL从逻辑层次上刻画任务调度算法的性能指标,并基于改进的IMC和扩展的aCSL提出了一种多核系统任务调度算法动态度量方法实现对任务调度算法的功能验证和性能评价。用例分析表明提出的动态度量方法能有效地对任务调度算法进行功能和性能的描述及度量,为多核系统任务调度算法的正确执行提供了有力支撑。
关键词
交互
式马尔可夫
链
(IMC)
基于动作的时序逻辑(aCSL)
多核系统
任务调度
调度模型
动态度量
Keywords
IMC
aCSL
multi-processor system
task scheduling
scheduling model
dynamic measurement
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
随机进程代数IMCs的性能评价
19
作者
赵锡英
张明新
机构
兰州工业高等专科学校软件工程系
出处
《兰州理工大学学报》
CAS
北大核心
2008年第3期73-76,共4页
基金
甘肃省自然科学基金(3ZS051-A25-047)
甘肃省教育厅科研基金(0712-02)
文摘
将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共存的IMCs模型的路径定义和基于概率转移率的路径转移发生的概率计算方法,解决了Until算子的描述.使用基于动作的逻辑aCSL给出IMCs的性能评价.证明该方法的正确性,它是纯马尔可夫链模型中性能评价方法的扩展.
关键词
交互
式马尔可夫
链
性能评价
路径
aGSL逻辑
Keywords
interactive Markov chains
performance evaluation
path
aCSL logic
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一种鲁棒的多目标自动跟踪算法
被引量:
3
20
作者
肖敬若
张艳宁
胡伏原
郑江滨
机构
西北工业大学计算机学院
出处
《信号处理》
CSCD
北大核心
2007年第3期437-440,共4页
基金
该论文受国防基础研究项目和西北工业大学博士创新基金(CX200418)的资助。
文摘
针对复杂的自然环境,提出了一种能自动初始化目标模型,并能处理目标遮掩问题的多目标实时跟踪算法。该算法在精度和效率方面改进了Mean Shift算法,并结合扩展卡尔曼滤波器对目标进行运动建模,实现了对多目标的实时稳健跟踪。此外,为了自动初始化待跟踪目标模型,提出了一种三层目标链交互结构。该结构能够有效的去除由摄像机抖动以及背景噪声产生的伪目标。在复杂的自然环境下对算法进行了大量的多目标跟踪实验,验证了算法的实时有效性。
关键词
多目标跟踪
Mean
SHIFT
EKF
三层目标
链
交互
结构
自动初始化目标
遮掩处理
Keywords
Multi-target Tracking
Mean Shift
EKF
Tri-MotionRegion-List Interaction structure
Automatic initialization
occlusion dealing
分类号
TN953 [电子电信—信号与信息处理]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于交互链路的相似用户推荐算法
李颖
朱保平
《南京理工大学学报》
EI
CAS
CSCD
北大核心
2018
3
在线阅读
下载PDF
职称材料
2
考虑回收再制造的共享产品定价及供应链内外交互机制研究
任雪杰
赵林度
《运筹与管理》
北大核心
2025
0
在线阅读
下载PDF
职称材料
3
基于改进公证人机制的跨链隐私共享研究
檀钟盛
陈春晖
杨宏强
陈学斌
《信息安全研究》
北大核心
2025
0
在线阅读
下载PDF
职称材料
4
基于交互式马尔可夫链的可信动态度量研究
庄琭
蔡勉
沈昌祥
《计算机研究与发展》
EI
CSCD
北大核心
2011
9
在线阅读
下载PDF
职称材料
5
基于跨链交互的网络安全威胁情报共享方案
冯景瑜
张琪
黄文华
韩刚
《信息网络安全》
CSCD
北大核心
2022
3
在线阅读
下载PDF
职称材料
6
交互式马尔科夫链上强模拟关系的计算
赵锡英
张明新
邢敬宏
《兰州理工大学学报》
CAS
北大核心
2008
1
在线阅读
下载PDF
职称材料
7
交互式马尔科夫链上弱模拟关系的计算
赵锡英
张明新
邢敬宏
《兰州理工大学学报》
CAS
北大核心
2008
0
在线阅读
下载PDF
职称材料
8
基于交互式马尔可夫链的模型检验
许翔
吴尽昭
林连南
陈剑锋
《计算机应用》
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
9
基于交互式马尔可夫链的CTCS无线通信可靠性分析
谢雨飞
田启川
《铁道学报》
EI
CAS
CSCD
北大核心
2020
4
在线阅读
下载PDF
职称材料
10
面向跨链系统的用户身份标识认证模型
王洒洒
戴炳荣
朱孟禄
李超
《计算机工程与应用》
CSCD
北大核心
2022
17
在线阅读
下载PDF
职称材料
11
基于多链融合的粮食供应链溯源系统
曹浩浩
刘扬
李向阳
刘鑫磊
王耀启
张元
《应用科学学报》
CAS
CSCD
北大核心
2023
5
在线阅读
下载PDF
职称材料
12
基于马尔可夫链的性能检测器的设计与实现
许振兴
吴尽昭
陈剑锋
《计算机应用》
CSCD
北大核心
2010
1
在线阅读
下载PDF
职称材料
13
基于区块链的智能电网分布式资源管理研究
汪磊
李敬兆
秦晓伟
《电测与仪表》
北大核心
2023
6
在线阅读
下载PDF
职称材料
14
工业区块链技术进展
黄廷磊
邓松
张姿
韩啸宇
蒋建辉
宗云兵
《广西科学》
CAS
北大核心
2021
1
在线阅读
下载PDF
职称材料
15
基于双链区块链的电力数据资产交易系统架构
林洁瑜
崔维平
《中国电力》
CSCD
北大核心
2021
10
在线阅读
下载PDF
职称材料
16
一种状态事件故障树的定量分析方法
徐丙凤
黄志球
胡军
魏欧
肖芳雄
《电子学报》
EI
CAS
CSCD
北大核心
2013
22
在线阅读
下载PDF
职称材料
17
一种状态事件故障树的时间特性分析方法
徐丙凤
黄志球
胡军
魏欧
李伟湋
《软件学报》
EI
CSCD
北大核心
2015
10
在线阅读
下载PDF
职称材料
18
一种多核系统任务调度算法动态度量方法
谢盈
吴尽昭
《计算机应用研究》
CSCD
北大核心
2019
2
在线阅读
下载PDF
职称材料
19
随机进程代数IMCs的性能评价
赵锡英
张明新
《兰州理工大学学报》
CAS
北大核心
2008
0
在线阅读
下载PDF
职称材料
20
一种鲁棒的多目标自动跟踪算法
肖敬若
张艳宁
胡伏原
郑江滨
《信号处理》
CSCD
北大核心
2007
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部