区块链去中心化平台与代币的转账信息不一致问题的发掘与检测

1

作者 苏洲 《计算机研究与发展》 EI CSCD 北大核心 2024年第2期273-273,共1页

随着区块链去中心化平台的经济体量逐年攀高,对区块链去中心化平台和区块链代币的代码审查已经愈加趋于严谨,出现了大量基于去中心化平台或代币的研究.然而,鲜有针对去中心化平台和代币的交互问题进行研究,尤其是代币的实际转移与去中... 随着区块链去中心化平台的经济体量逐年攀高,对区块链去中心化平台和区块链代币的代码审查已经愈加趋于严谨,出现了大量基于去中心化平台或代币的研究.然而,鲜有针对去中心化平台和代币的交互问题进行研究,尤其是代币的实际转移与去中心化平台所期望的转移被默认为一致.根据可见的攻击实例,这一类交互问题实际上大量存在且造成了巨大的经济损失.文章将该类交互问题总结为“去中心化平台预期代币转移与代币本身的转移之间的不一致问题”.针对这样一个长久以来被忽视的安全问题基本处于黑盒的状态,这篇文章对该问题进行了研究,提出了有效的检测方法以及对结果进行了剖析. 展开更多

关键词 去中心化 区块链 代币 交互问题 转账 不一致问题 代码审查 经济损失

在线阅读 下载PDF 职称材料

有噪声加权无标度小世界网络的一致性问题

2

作者 董宇泽 章忠志 《计算机工程》 北大核心 2025年第6期20-28,共9页

一致性问题是分布式系统和网络控制中的一个基本问题。传统上,关于一致性的研究主要集中于无权网络,忽略了网络中边的权重影响。然而,现实中的网络,如交通网络、社交网络和电力网络,往往具有显著的加权特性,单纯依赖无权网络模型无法充... 一致性问题是分布式系统和网络控制中的一个基本问题。传统上,关于一致性的研究主要集中于无权网络,忽略了网络中边的权重影响。然而,现实中的网络,如交通网络、社交网络和电力网络,往往具有显著的加权特性,单纯依赖无权网络模型无法充分刻画其中的复杂交互行为。为了将权重影响纳入网络分析,重点研究了一类伪分形加权网络簇,探讨了边的权重对网络一致性的影响。利用拉普拉斯矩阵构建基尔霍夫指标与网络一致性的关系,深入分析一致性问题在加权网络中的表现。通过计算在相邻迭代间不同指标的递推关系,推导出相关指标的精确计算公式,包括基尔霍夫指标、加法基尔霍夫指标、乘法基尔霍夫指标和网络一致性等重要量的计算公式。数值分析表明,随着网络规模的增长,加权网络中的一致性逐渐收敛为常数,网络能够更好地抵抗外部噪声的影响。 展开更多

关键词 加权网络 电阻距离 基尔霍夫指标 一致性问题 伪分形网络

在线阅读 下载PDF 职称材料

非凸一致性问题邻近对称ADMM的收敛性分析

3

作者 张静雯 党亚峥 +1 位作者 倪诗皓 乔俊伟 《工程数学学报》 北大核心 2025年第4期721-735,共15页

交替方向乘子法(Alternating Direction Method of Multipliers,ADMM)求解两分块优化的研究已经逐渐完善,但对于非凸多分块优化的研究较少,提出了一种带松弛步长参数的对称邻近ADMM用于求解非凸一致性问题。在适当的假设条件下,证明了... 交替方向乘子法(Alternating Direction Method of Multipliers,ADMM)求解两分块优化的研究已经逐渐完善,但对于非凸多分块优化的研究较少,提出了一种带松弛步长参数的对称邻近ADMM用于求解非凸一致性问题。在适当的假设条件下,证明了算法的全局收敛性。其次,在效益函数满足Kurdyka-Lojasiewicz(KL)性质时,证明了算法的强收敛性。最后,数值实验验证了算法的有效性。 展开更多

关键词 非凸优化 一致性问题 交替方向乘子法 Kurdyka-Lojasiewicz性质 收敛性

在线阅读 下载PDF 职称材料

多智能体系统协调控制一致性问题研究综述 被引量：30

4

作者 谢光强 章云 《计算机应用研究》 CSCD 北大核心 2011年第6期2035-2039,共5页

综述了多智能体系统协调控制一致性问题的发展情况,介绍了解决一致性问题的主要原理和适用范围,对一致性协议进行了总结,对一致性问题研究的主要领域进行了深入阐述,对群集、蜂涌、聚集、传感器网络估计等问题进行分析和阐述。最后讨论... 综述了多智能体系统协调控制一致性问题的发展情况,介绍了解决一致性问题的主要原理和适用范围,对一致性协议进行了总结,对一致性问题研究的主要领域进行了深入阐述,对群集、蜂涌、聚集、传感器网络估计等问题进行分析和阐述。最后讨论了以上领域尚未解决的问题和未来的研究方向。 展开更多

关键词 分布式人工智能 多智能体系统 协调控制 一致性问题

在线阅读 下载PDF 职称材料

多分辨率仿真中一致性问题研究 被引量：5

5

作者 高志年 邢汉承 张君 《计算机研究与发展》 EI CSCD 北大核心 2002年第12期1625-1629,共5页

在多分辨率仿真中 ,当不同级别分辨率实体交互时会出现一致性问题 .它的产生是由于建模人员还没有找到一种很好的方法 ,去描述同一实体在多个分辨率级别间的相互关系而导致的 .即使在同一分辨级别中也可能发生不一致性问题 .分析了目前... 在多分辨率仿真中 ,当不同级别分辨率实体交互时会出现一致性问题 .它的产生是由于建模人员还没有找到一种很好的方法 ,去描述同一实体在多个分辨率级别间的相互关系而导致的 .即使在同一分辨级别中也可能发生不一致性问题 .分析了目前建模方法存在的问题 ,提出了解决一致性问题的 CM方法 .CM方法主张使用多分辨率实体 (MRE)的概念来替代聚合实体 (AE)和解聚实体 (DE) ,以一致的方式在指定的分辨率级别描述被仿真的对象 ,当有请求时 ,及时提供任意级别的属性绑定 .建立了映射函数和一致性模型 ,较好地解决了属性集数据的识别。 展开更多

关键词 多分辨率仿真 一致性问题 多分辨率实体 系统仿真

在线阅读 下载PDF 职称材料

小学语文教材词语注音错误及一致性问题 被引量：3

6

作者 萧国政 李春玲 黄友 《语文建设》 北大核心 2006年第6期51-53,共3页

关键词 小学 语文教材 一致性问题 注音 语言规范意识 词语 实验教材 编辑校对 规范工作

在线阅读 下载PDF 职称材料

考虑交通拥堵及工作量平衡性的一致性车辆路径问题 被引量：8

7

作者 刘恒宇 汝宜红 《西南交通大学学报》 EI CSCD 北大核心 2016年第5期931-937,共7页

为研究快递公司在提供一致性配送服务时,交通拥堵以及快递人员工作量平衡性因素对配送路径的影响,在传统车辆路径问题研究的基础上,提出了考虑拥堵和工作量的一致性车辆路径问题,并构建了混合整数规划模型.针对该模型的NP难性质,提出了... 为研究快递公司在提供一致性配送服务时,交通拥堵以及快递人员工作量平衡性因素对配送路径的影响,在传统车辆路径问题研究的基础上,提出了考虑拥堵和工作量的一致性车辆路径问题,并构建了混合整数规划模型.针对该模型的NP难性质,提出了基于模板路径的两阶段模拟退火算法(template-based simulated annealing heuristic,TSA).该算法通过构建模板路径求解初始路径方案,再利用模拟退火算法优化路径方案,降低车辆总行驶时间.将该模型和算法应用于3组基准数据(benchmark data set)的数值实验,结果表明:本文模型和算法能有效解决此类问题,交通拥堵使最优配送路径的总行驶时间平均增加18.38%,使快递人员在任意两天到达同一顾客的最早与最晚时刻之差平均增加12.92%;当快递人员配件量的不平衡性平均下降35.82%后,二者仅分别平均增加2.29%和1.68%. 展开更多

关键词 一致性车辆路径问题 快递业 交通拥堵 工作量平衡性

在线阅读 下载PDF 职称材料

一致性车辆路径问题下基于模板路径的模拟退火法 被引量：7

8

作者 刘恒宇 汝宜红 《交通运输系统工程与信息》 EI CSCD 北大核心 2015年第6期177-183,204,共8页

根据一致性车辆路径问题的'服务一致性'特征,本文提出了基于模板路径的模拟退火法(TSA)以更好地求解此问题.该算法求解分为2个阶段:第1阶段求解模板路径,第2阶段以所得模板路径为参考获得各天车辆具体配送路径方案,2个阶段均采... 根据一致性车辆路径问题的'服务一致性'特征,本文提出了基于模板路径的模拟退火法(TSA)以更好地求解此问题.该算法求解分为2个阶段:第1阶段求解模板路径,第2阶段以所得模板路径为参考获得各天车辆具体配送路径方案,2个阶段均采用模拟退火法进行优化.借助小、中规模基准数据集,文章对TSA算法进行数值实验,并将实验结果与Con RTR算法和TTS算法的结果作比较,利用TSA法求解一致性车辆路径问题得到的配送路径方案和'服务一致性'指标均得到优化.实验结果表明,运用TSA算法规划车辆配送路径方案,不仅能够降低运营成本,还能提高配送服务质量. 展开更多

关键词 综合交通运输 一致性车辆路径问题 模板路径 模拟退火法 配送路径方案 运营成本 服务质量

在线阅读 下载PDF 职称材料

“一意孤行”且“渐行渐远”——美国《2011年货币汇率监督改革法案》与WTO补贴与反补贴规则的一致性问题及我国的对策 被引量：1

9

作者 栾信杰 《国际贸易》 CSSCI 北大核心 2012年第1期58-66,共9页

近年来，反补贴是中美贸易摩擦的一个热点。笔者（2008）曾撰文提出美国对华反补贴的基本态势是“两条腿走三步”。“两条腿”是指美国适用国内反补贴法和诉诸世界贸易组织（WTO）争端解决机制两种途径来处理中国的“补贴”问题。其“... 近年来，反补贴是中美贸易摩擦的一个热点。笔者（2008）曾撰文提出美国对华反补贴的基本态势是“两条腿走三步”。“两条腿”是指美国适用国内反补贴法和诉诸世界贸易组织（WTO）争端解决机制两种途径来处理中国的“补贴”问题。其“三步”分别是2006年之前的美国国内对反补贴措施是否适用于中国的法律辩论和对华反补贴的理论酝酿、2006年之后美国依据国内法实施反补贴救济和此后更多地利用WTO多边机制对中国提起补贴指控。 展开更多

关键词 反补贴规则 WTO 一致性问题 美国 改革法案 货币汇率 监督 中美贸易摩擦

在线阅读 下载PDF 职称材料

网络存储系统中多协议数据共享一致性问题的研究

10

作者 周敬利 夏洪涛 余胜生 《计算机工程与应用》 CSCD 北大核心 2002年第18期188-191,共4页

网络的开放性和数据存储服务功能的多样性,使得网络存储设备必须使用多套数据访问协议为不同系统平台的客户端提供多样化的存储服务。如何确保使用不同协议共享网络存储设备的各个客户端能协同工作,也即保证多协议数据共享的一致性成为... 网络的开放性和数据存储服务功能的多样性,使得网络存储设备必须使用多套数据访问协议为不同系统平台的客户端提供多样化的存储服务。如何确保使用不同协议共享网络存储设备的各个客户端能协同工作,也即保证多协议数据共享的一致性成为存储领域的一项关键技术和学术热点。文章系统地分析了网络数据共享中的同步和一致性问题,并提出了一套可扩展的分层式锁管理(ExtensibleHierarchicLockManagement)的解决方案。 展开更多

关键词 网络存储系统 多协议数据共享 一致性问题 文件系统 锁管理

在线阅读 下载PDF 职称材料

多视角面向对象分析的一致性问题

11

作者 屈玉贵 ustc.edu.cn +1 位作者 石勇军 ustc.edu.cn 《计算机工程与应用》 CSCD 北大核心 2000年第11期75-77,共3页

使用面向对象方法对一个系统进行需求分析时,一个对象的行为在不同的用户看来是不完全相同的.多视角面向对象分析方法就是首先根据每个用户的观点建立模型,然后将这些模型合并为一个统一的模型.在进行合并时,必须解决模型之间的不一致性... 使用面向对象方法对一个系统进行需求分析时,一个对象的行为在不同的用户看来是不完全相同的.多视角面向对象分析方法就是首先根据每个用户的观点建立模型,然后将这些模型合并为一个统一的模型.在进行合并时,必须解决模型之间的不一致性.文章主要分析了多视角模型间出现不一致的原因,并提出了解决不一致性问题的方法. 展开更多

关键词 多视角 面向对象分析 软件工程 一致性问题

在线阅读 下载PDF 职称材料

企业绩效整合的层次及其一致性问题探析

12

作者 丁宁宁 薛继东 《企业活力》 北大核心 2007年第12期88-89,共2页

企业在推行绩效管理时面临的问题繁多，不一而足。在实践中，常见的难点问题往往表现如下：

关键词 企业绩效 一致性问题 绩效管理

在线阅读 下载PDF 职称材料

具有通信时延的离散时间二阶多个体网络的一致性问题 被引量：8

13

作者 刘徳进 刘成林 《控制理论与应用》 EI CAS CSCD 北大核心 2010年第8期1108-1112,共5页

针对具有通信时延的离散时间二阶多个体系统的一致性问题，采用了具有静态领导者的一致性算法．根据广义Nyquist判据和Gerschgorin圆盘定理，得到了系统渐近收敛到领导者状态的充分条件．在个体与领导者构成的连接拓扑满足一定连通性的... 针对具有通信时延的离散时间二阶多个体系统的一致性问题，采用了具有静态领导者的一致性算法．根据广义Nyquist判据和Gerschgorin圆盘定理，得到了系统渐近收敛到领导者状态的充分条件．在个体与领导者构成的连接拓扑满足一定连通性的前提下，该充分条件是分散形式的，与控制参数、邻居个体之间的连接权值相关，而与通信时延大小无关．仿真结果证明了结论的正确性． 展开更多

关键词 二阶多个体系统 一致性问题 通信时延

在线阅读 下载PDF 职称材料

一种基于本体的军事需求一致性分析方法 被引量：5

14

作者 余滨 邹郓 +1 位作者 孙文波 段采宇 《火力与指挥控制》 CSCD 北大核心 2007年第9期47-50,共4页

军事需求不一致问题事关军事信息系统建设的成败。首先,分析了军事需求不一致的表现形式和产生原因,并从本体论的特征、功能入手对本体论与解决军事需求不一致问题的关系进行了讨论,提出了基于本体解决军事需求不一致问题的思路。其次,... 军事需求不一致问题事关军事信息系统建设的成败。首先,分析了军事需求不一致的表现形式和产生原因,并从本体论的特征、功能入手对本体论与解决军事需求不一致问题的关系进行了讨论,提出了基于本体解决军事需求不一致问题的思路。其次,以军事需求活动为主线,将军事需求本体分为概念本体、动作本体和活动本体,并通过应用领域分析、描述对象分析和对象关系分析三个基本步骤进行确定。第三,根据各类军事需求本体的不同,对各处本体的建模方法分别进行了阐述。最后,利用语义推理,实现了基于本体的军事需求一致性分析,并对推理步骤进行了详细的叙述。 展开更多

关键词 军事需求 不一致问题 本体 军事需求本体 一致性分析

在线阅读 下载PDF 职称材料

目标跟踪多智能体一致控制 被引量：5

15

作者 张文广 屈胜利 《宇航学报》 EI CAS CSCD 北大核心 2010年第9期2172-2176,共5页

研究了二阶多智能体系统跟踪一致问题。针对相对速度信息未知的网络,分析了有时滞和无时滞情况下网络的稳定性,给出了系统能够实现跟踪一致的条件。最后,通过仿真表明所提协议比现有协议性能更好。

关键词 多智能体系统 跟踪一致问题 时滞

在线阅读 下载PDF 职称材料

基于路由证据的域间路由不一致路径恶意自治系统检测机制 被引量：1

16

作者 蒋健 李伟 +2 位作者 罗军舟 陆悠 夏怒 《计算机学报》 EI CSCD 北大核心 2016年第6期1147-1161,共15页

域间路由系统中,自治系统依据路由策略选择报文转发路径,并将路径通告给邻居自治系统.为了追求更多的网络利益,自治系统向邻居自治系统通告的路径可能并不是实际转发报文的路径,从而产生域间路由路径不一致的问题.域间路由不一致路径不... 域间路由系统中,自治系统依据路由策略选择报文转发路径,并将路径通告给邻居自治系统.为了追求更多的网络利益,自治系统向邻居自治系统通告的路径可能并不是实际转发报文的路径,从而产生域间路由路径不一致的问题.域间路由不一致路径不仅欺骗正常自治系统的路由选路过程,损害其网络利益,而且对域间路由的稳定性也会造成严重影响.现有的检测机制主要关注不一致路径的检测,没有致力于发现导致路径不一致的恶意自治系统,无法为后续解决路径不一致的问题提供支撑.该文提出一种域间路由不一致路径恶意自治系统检测机制,采用路由证据将自治系统的路由行为与自治系统本身相绑定.路径源自治系统对路径中其他自治系统进行逆序比较路由证据,确定可疑自治系统,然后查询离自身较近的可疑自治系统的直接上游自治系统的路由通告历史记录,对可能接收可疑自治系统报文的自治系统请求路由证据,根据比较结果最终确定恶意自治系统.实验结果表明,该文的检测机制在查全率和查准率两个指标上均优于现有的检测机制,有效提高了检测不一致路径中恶意自治系统的准确率. 展开更多

关键词 域间路由 路径不一致问题 恶意自治系统检测机制 路由证据 互联网

在线阅读 下载PDF 职称材料

混合阶多智能体无向网络的拟平均一致性 被引量：12

17

作者 宋运忠 谷明琴 《控制工程》 CSCD 北大核心 2009年第2期220-222,226,共4页

为解决混合阶动态多智能体网络的拟平均一致性,将混合阶动态多智能体网络的拟平均一致性转化为增广的一阶多智能体网络的平均一致性,并给出相应一致性问题协议的定义,根据网络的拓扑结构连通性特点,运用代数图论、矩阵理论中的圆盘定理... 为解决混合阶动态多智能体网络的拟平均一致性,将混合阶动态多智能体网络的拟平均一致性转化为增广的一阶多智能体网络的平均一致性,并给出相应一致性问题协议的定义,根据网络的拓扑结构连通性特点,运用代数图论、矩阵理论中的圆盘定理和李雅普诺夫理论证明了定拓扑和变拓扑无向网络下一致性协议的稳定性定理,并以由4个一阶智能体和2个二阶智能体所组成的混合阶智能体网络为例进行具体说明。理论研究和仿真结果都表明所提协议的正确性。 展开更多

关键词 一致性问题 异结构多智能体 拟平均一致 变拓扑

在线阅读 下载PDF 职称材料

IDS决策过程中的时空一致性研究 被引量：1

18

作者 罗光春 卢显良 《计算机科学》 CSCD 北大核心 2005年第6期121-123,139,共4页

本文讨论了将数据融合技术运用到入侵检测系统中的方法,并提出了一个基于数据融合技术的入侵检测机制——DFIDM。本文重点研究了数据提取和对象提取过程中的时空一致性问题,在该机制中,有多个检测器搜集系统日志文件、网络流量信息、网... 本文讨论了将数据融合技术运用到入侵检测系统中的方法,并提出了一个基于数据融合技术的入侵检测机制——DFIDM。本文重点研究了数据提取和对象提取过程中的时空一致性问题,在该机制中,有多个检测器搜集系统日志文件、网络流量信息、网络数据包等数据。这些数据首先由决策器进行本地决策,在通过数据提取和对象提取阶段的时间和空间校准之后,传送到融合中心进行决策。本文最后通过实验证明,采用了该机制的入侵检测系统能获得更好的性能。 展开更多

关键词 时空一致性 决策过程 IDS 入侵检测系统 入侵检测机制 数据融合技术 数据提取 一致性问题 网络数据包 技术运用 提取过程 日志文件 网络流量 融合中心 实验证明 检测器 和空间 对象 传送

在线阅读 下载PDF 职称材料

访谈调查实践中容易出现的问题 被引量：2

19

作者 汪雁 周万贺 《统计与决策》 北大核心 2001年第5期18-19,共2页

关键词 调查实践 忠实性原则 访谈对象 中性原则 一致性问题 统计调查

在线阅读 下载PDF 职称材料

基于异步动态的多机器人系统的一致性 被引量：1

20

作者 尹逊和 樊雪丽 张红 《系统工程与电子技术》 EI CSCD 北大核心 2014年第12期2426-2434,共9页

研究通过无线网络进行通信的多机器人系统的一致性问题。多机器人系统在固定通信拓扑下可建模为特定的网络控制系统,考虑信道噪声、不确定短时延和数据包丢失等因素的影响时,其可进一步视作由丢包率约束的异步动态系统。通过构造李雅普... 研究通过无线网络进行通信的多机器人系统的一致性问题。多机器人系统在固定通信拓扑下可建模为特定的网络控制系统,考虑信道噪声、不确定短时延和数据包丢失等因素的影响时,其可进一步视作由丢包率约束的异步动态系统。通过构造李雅普诺夫(Lyapunov)函数,运用线性矩阵不等式(linear matrix inequality,LMI)方法,得到了该系统指数稳定的充分条件。为实现多机器人系统的运动一致性,设计了控制器;讨论了不同的指数收敛率对多机器人系统收敛速度的影响,并进行了相应的理论证明和仿真验证。 展开更多

关键词 多机器人系统 一致性问题 固定通信拓扑 网络控制系统 异步动态系统

在线阅读 下载PDF 职称材料