基于数据流逐比特回传校验实现的抗单粒子翻转传输协议

1

作者 章钰 王寅娣 +1 位作者 肖阳 周韧 《中国集成电路》 2025年第9期54-57,75,共5页

针对高性能抗辐射元器件,为了提高通信协议的传输可靠性,进而保障整个系统的稳定运行,提供了一种基于数据流逐比特回传校验的通信传输协议,在数据传输层,利用三模冗余和缓存重传策略提高内部存储器的抗单粒子翻转能力;在链路传输上,可... 针对高性能抗辐射元器件,为了提高通信协议的传输可靠性,进而保障整个系统的稳定运行,提供了一种基于数据流逐比特回传校验的通信传输协议,在数据传输层,利用三模冗余和缓存重传策略提高内部存储器的抗单粒子翻转能力;在链路传输上,可以将一个并行数据回传进行逐比特校验,发生因单粒子翻转造成的错误时只要将一个并行数据重传即可,提高了传输效率。并通过搭建的随机错误注入验证平台,验证了所提出的数据流逐比特回传校验的通信传输协议的可行性。 展开更多

关键词 单粒子翻转 传输协议 数据流校验 容错设计

在线阅读 下载PDF 职称材料

面向电信运营流程的数据稽核方法 被引量：4

2

作者 张雷 肖丁 艾波 《北京邮电大学学报》 EI CAS CSCD 北大核心 2006年第S1期126-129,共4页

针对电信收入保障的主要任务数据稽核,结合电信运营流程的特点,提出了一种新的数据稽核方法.该方法抽象了电信运营流程的数据流模型,根据一个数据两处体现的电信业务数据处理和变换的原理,基于数据之间的平衡关系和完整性约束关系,定义... 针对电信收入保障的主要任务数据稽核,结合电信运营流程的特点,提出了一种新的数据稽核方法.该方法抽象了电信运营流程的数据流模型,根据一个数据两处体现的电信业务数据处理和变换的原理,基于数据之间的平衡关系和完整性约束关系,定义出电信运营流程中的数据稽核关系;应用这种数据稽核关系可以检测并诊断电信运营流程不规范造成的故障,更好地支持企业的内控管理. 展开更多

关键词 电信收入保障 电信运营流程 数据流 数据稽核 函数映射 数据完整性 数据平衡关系

在线阅读 下载PDF 职称材料

模型检验在构件数据流测试中的应用 被引量：5

3

作者 曾红卫 缪淮扣 《计算机科学与探索》 CSCD 2010年第12期1121-1130,共10页

模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状... 模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状态机到Kripke结构的转换方法,并建立了全定义覆盖和全使用覆盖准则的陷阱性质构造公式。陷阱性质将使模型检验器NuSMV输出反例,从而产生构件的数据流测试序列。 展开更多

关键词 构件 数据流测试 模型检验 陷阱性质

在线阅读 下载PDF 职称材料

基于模型检测的数据流异常测试技术研究 被引量：2

4

作者 陈涛 许金超 钮俊 《计算机工程与应用》 CSCD 北大核心 2011年第25期1-4,共4页

程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检... 程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。 展开更多

关键词 变量使用 软件测试 数据流异常 模型检测

在线阅读 下载PDF 职称材料

基于相似日选择的调度计划安全校核潮流数据生成 被引量：18

5

作者 周海锋 徐伟 +3 位作者 鲍颜红 郭剑 严明辉 汪马翔 《电力系统保护与控制》 EI CSCD 北大核心 2015年第18期87-93,共7页

为了提高调度计划安全校核的准确度和精细度,提出了一种基于相似日选择的调度计划安全校核潮流数据生成方法。根据候选基准方式与计划方式综合相似度最高原则从相似日历史数据中筛选出基准方式,在此基础上生成内网潮流数据的拓扑信息和... 为了提高调度计划安全校核的准确度和精细度,提出了一种基于相似日选择的调度计划安全校核潮流数据生成方法。根据候选基准方式与计划方式综合相似度最高原则从相似日历史数据中筛选出基准方式,在此基础上生成内网潮流数据的拓扑信息和无功电压数据。通过在潮流计算迭代过程中自动投退容抗器,将计划方式母线电压控制在基准方式实际电压值附近,形成收敛的合理的内网潮流数据。根据联络线一致且联络线潮流最接近原则从外网潮流数据中筛选出待拼接的外网方式,在此基础上将内网潮流数据和外网方式数据进行拼接,通过调整外网潮流满足边界节点电压和联络线有功约束,生成满足调度计划安全校核的全网潮流数据。通过实际电网应用,验证了该方法的实用性和有效性。 展开更多

关键词 相似日 调度计划 安全校核 数据整合 潮流调整

在线阅读 下载PDF 职称材料

微博签到大数据中旅游景区客流波动特征分析——以南京市钟山风景名胜区为例 被引量：40

6

作者 陈晓艳 张子昂 +2 位作者 胡小海 黄震方 吕龙 《经济地理》 CSSCI CSCD 北大核心 2018年第9期206-214,共9页

基于微观尺度利用微博签到数据对旅游流进行研究。选取典型旅游风景名胜区钟山作为微观尺度景区内部旅游流研究代表,从信息时代下的虚拟网络视角入手,借用新浪微博平台,抓取相关微博大数据,结合时间分层法、经验模态分解法(EMD)对旅游... 基于微观尺度利用微博签到数据对旅游流进行研究。选取典型旅游风景名胜区钟山作为微观尺度景区内部旅游流研究代表,从信息时代下的虚拟网络视角入手,借用新浪微博平台,抓取相关微博大数据,结合时间分层法、经验模态分解法(EMD)对旅游区内部客流波动特征进行探索,并通过剥离节假日与工作日的方式,对不同属性的游客进行节日与节事效应差异的研究。发现钟山风景区不同类型游客均具有'M'型签到时间规律,但性别、地域属性不同表现出明显的签到周期波动差异。此外,节假日效应对不同属性游客的影响各不相同。 展开更多

关键词 大数据 微博签到 旅游流 节假日 周期波动 南京市钟山风景名胜区

原文传递

定义及验证UML Statechart图中的数据流语义 被引量：1

7

作者 陆公正 吴澜波 张广泉 《计算机工程与应用》 CSCD 北大核心 2009年第24期56-59,共4页

在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构... 在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性。 展开更多

关键词 统一建模语言(UML) UML Statechart图 数据流语义 时序逻辑 验证 模型检测

在线阅读 下载PDF 职称材料

UML Statechart图中数据流的语义及验证

8

作者 陆公正 吴澜波 +1 位作者 于复生 张广泉 《苏州市职业大学学报》 2009年第1期60-65,共6页

由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证.首先,UML Statechart图是基于状态转换的,为此选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML St... 由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证.首先,UML Statechart图是基于状态转换的,为此选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义.然后,采用时序逻辑公式表示数据流所需满足的性质,同时给出了将UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性. 展开更多

关键词 UML Statechart图 数据流语义 时序逻辑 验证 模型检测

在线阅读 下载PDF 职称材料

基于多数据源的日前预报潮流自动生成方法 被引量：17

9

作者 谢昶 刘文颖 +2 位作者 文晶 王佳明 时岩 《电力系统自动化》 EI CSCD 北大核心 2012年第21期87-92,共6页

针对传统电网日前调度计划安全校核存在计算数据粗糙、结果误差较大等问题,提出了一种基于多数据源的日前预报潮流自动生成方法,以实现日前预报潮流的自动生成,从而提高日前调度计划安全校核工作的精细度和准确度。该方法首先从日前预... 针对传统电网日前调度计划安全校核存在计算数据粗糙、结果误差较大等问题,提出了一种基于多数据源的日前预报潮流自动生成方法,以实现日前预报潮流的自动生成,从而提高日前调度计划安全校核工作的精细度和准确度。该方法首先从日前预报潮流计算模型出发,分析了日前电网正常运行方式的参数构成;然后通过多数据源的参数获取和参数拟合,自动生成用于日前预报潮流计算的各类参数,初步形成日前预报潮流计算模型;最后根据联合动态潮流算法对潮流计算模型进行调整,自动生成收敛的日前预报潮流。通过在兰州地区电网检修计划安全校核系统中的实际应用,验证了该方法的收敛性和有效性。 展开更多

关键词 日前预报潮流 自动生成 多数据源 日前调度计划 安全校核

在线阅读 下载PDF 职称材料

第24届大冬会计时和成绩系统数据流转技术研究

10

作者 马立和 邢薇 张萌 《电脑学习》 2009年第5期107-108,共2页

保证数据准确性及一致性,防止数据及文件丢失、篡改、伪造、受损,成为信息服务系统不得不解决的问题。由此,研究及实现了"主动的数据及文件同步"系统,从而有效地解决了以上问题,实现快速,准确的数据流转。

关键词 大冬会 数据流转 数据加密 数据校验

在线阅读 下载PDF 职称材料

面向系统功能特性的协同验证方法研究

11

作者 朱明 边计年 吴为民 《计算机集成制造系统》 EI CSCD 北大核心 2005年第12期1732-1737,1796,共7页

为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台。该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效... 为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台。该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效。因此,利用不同验证技术的互补验证能力,可提高验证效率。协同验证平台的实现是基于从控制数据流图得到的细化模型,该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术,以提高验证速度。根据在ITC99上的验证,证明了该协同验证方法的有效性和实用性。 展开更多

关键词 特性 验证 模拟 模型检验 协同验证 数据控制流图

在线阅读 下载PDF 职称材料

基于线性带权值的广义表的模型检验方法

12

作者 刘恩军 《计算机工程与应用》 CSCD 北大核心 2008年第29期88-91,共4页

提出了一个线性带权值的广义表(Linear Weighted Generalized List,LWGL)模型,同时给出了LWGL加法和乘法、析取和合取运算规则,实现了基于LWGL的高层次模型检验方法。实验结果表明LWGL模型对高层次模型检验是有效的。

关键词 线性带权值的广义表 模型检验 验证 数据流图

在线阅读 下载PDF 职称材料

嵌入式程序任务修改一致性校核新方案

13

作者 李响 贾建梅 +2 位作者 陈宏君 张磊 刘坤 《工业控制计算机》 2021年第6期1-3,共3页

直流控制保护程序由多个任务组成,任务由多个可视化程序页面组成。当前的可视化程序差异分析仅限于页面范围,对于任务内数据子网络跨页面迁移是否影响功能尚未有判断方法。提出一种新的一致性校核方案:读取修改前后任务链内各个页面数据... 直流控制保护程序由多个任务组成,任务由多个可视化程序页面组成。当前的可视化程序差异分析仅限于页面范围,对于任务内数据子网络跨页面迁移是否影响功能尚未有判断方法。提出一种新的一致性校核方案:读取修改前后任务链内各个页面数据,提取页面内各个输入符号,以输入符号为启始进行深度优先遍历形成单输入-多输出的数据流子网络,按照输入符号名字降序排列各数据流子网络,遍历各子网络的符号,汇总信息文本,计算CRC比较一致性。按照页面执行顺序和输入符号从上到下的位置顺序,分析修改前后任务链的子网络之间数据依赖有效位置是否发生变化,给出子网络在页面之间迁移修改是否存在实质影响的结论,解决了单纯比较页面CRC方法无法判断同等级任务链内页面之间整组迁移部分可视化网络是否有影响的问题。 展开更多

关键词 嵌入式任务 数据流 子网络迁移 一致性校核

在线阅读 下载PDF 职称材料

工资数据校验技术的设计与实现

14

作者 蒋淑红 张晓明 《北京石油化工学院学报》 2012年第2期32-36,共5页

数据准确性和一致性是工资管理系统的核心要求。针对工资数据可靠性的迫切需要,在分析现有方法的基础上,提出了完整的数据校验功能和实现技术,包括原始数据校验、格式转换和一致性校验等,给出了具体的软件设计流程和实现方法。设计了正... 数据准确性和一致性是工资管理系统的核心要求。针对工资数据可靠性的迫切需要,在分析现有方法的基础上,提出了完整的数据校验功能和实现技术,包括原始数据校验、格式转换和一致性校验等,给出了具体的软件设计流程和实现方法。设计了正则表达式以验证员工编号,设计了数据筛选方法以动态抽取数据子集。在数据文件管理中,实现了数据连接管理和数据格式转换方法。软件测试结果表明,系统能极大地提高工资数据校验的工作效率。 展开更多

关键词 工资管理 数据校验 一致性 软件技术 流程图

在线阅读 下载PDF 职称材料

基于微博签到数据的天山天池景区游客流时空特征研究 被引量：12

15

作者 陈曦 李啸虎 关靖云 《地域研究与开发》 CSSCI CSCD 北大核心 2019年第4期85-91,共7页

在大数据背景下,基于新疆天山天池景区2012年4月1日至2018年3月31日游客新浪微博签到数据,采用时间分层法、ArcGIS核密度分析法,从时间和空间角度对天山天池景区游客流分布特征进行分析,结果显示:(1)年内季节性变化明显,夏季客流量最多... 在大数据背景下,基于新疆天山天池景区2012年4月1日至2018年3月31日游客新浪微博签到数据,采用时间分层法、ArcGIS核密度分析法,从时间和空间角度对天山天池景区游客流分布特征进行分析,结果显示:(1)年内季节性变化明显,夏季客流量最多,秋季次之,冬季客流量最少;(2)年内平均签到季节指数高峰值在8月,低峰值在1月;(3)非黄金周游客签到曲线呈现“前低后高”特征,“十一”黄金周游客签到曲线凸显“中间高、两边低”的特点;(4)游客签到量在日尺度上呈现“单峰”型结构;(5)景区游客流在空间上呈现出“多核心集聚”特征,且每个核心具有明显的等级分异规律。 展开更多

关键词 新浪微博 签到数据 游客流 时空变化 天山天池

在线阅读 下载PDF 职称材料

管线普查项目中排水流向检查方法探讨 被引量：3

16

作者 徐晗 张黔松 《测绘通报》 CSCD 北大核心 2018年第A01期247-249,共3页

随着地下管线数据应用的丰富,管线普查范围地扩大,管线数据量地成倍增加,对地下管线普查数据库数据检查的要求越来越高。本文根据多年的管线普查项目经验,对具体普查管线数据检查工作过程中的难点——排水流向检查进行了探讨,并提供了... 随着地下管线数据应用的丰富,管线普查范围地扩大,管线数据量地成倍增加,对地下管线普查数据库数据检查的要求越来越高。本文根据多年的管线普查项目经验,对具体普查管线数据检查工作过程中的难点——排水流向检查进行了探讨,并提供了简单、可快速实现的解决方法,以求为后续其他普查项目的开展提供参考。 展开更多

关键词 地下管线 数据检查 流向检查

原文传递

数据运营安全在数据主权中的应用研究 被引量：3

17

作者 王文宇 《信息安全研究》 2021年第10期949-953,共5页

数字化背景下,数据是国家之间、企业之间的核心竞争力,数据流动是当今国内国际发展的常态化趋势,包括国家之间的跨境流动、企业之间的数据开放、企业内部的数据处理以及个人与组织之间的个人信息交互.在数据流动的全流程中,把握数据主... 数字化背景下,数据是国家之间、企业之间的核心竞争力,数据流动是当今国内国际发展的常态化趋势,包括国家之间的跨境流动、企业之间的数据开放、企业内部的数据处理以及个人与组织之间的个人信息交互.在数据流动的全流程中,把握数据主权是重中之重.不管是国家层面、企业层面、个人层面,只有掌握数据主权,才能保障国家安全、维护企业利益以及个人的合法权利.数字化转型时期,如何在数据安全层面对数据主权进行保护,是现有技术手段无法解决的难点.通过数据运营安全的研究,在数据流动中内嵌安全属性,以数据本体为核心对象,基于人工智能对数据进行风险评估与合规检查,融合数据沙盒,将数据运营安全技术应用于数据主权保护,从数据安全层面保障数据主权. 展开更多

关键词 数据流动 数据主权 数据运营安全 人工智能 风险评估 合规检查 数据沙盒

在线阅读 下载PDF 职称材料

串行通信协议SRSC的研究与应用 被引量：1

18

作者 宋新爱 刘天时 《航空计算技术》 2002年第4期131-134,共4页

以PSTN和Modem点对点串行通信为基础设计了一种通信控制规程SRSC协议,详细说明了SRSC协议的四层组成结构、设计思想、SRSC帧格式以及通讯机制,并进一步分析了SRSC协议的传输效率,从而说明了它的实用性和有效性。通过使用帧方式、CRC校... 以PSTN和Modem点对点串行通信为基础设计了一种通信控制规程SRSC协议,详细说明了SRSC协议的四层组成结构、设计思想、SRSC帧格式以及通讯机制,并进一步分析了SRSC协议的传输效率,从而说明了它的实用性和有效性。通过使用帧方式、CRC校验和选择重发纠错功能保证了协议的可靠性,该协议在一定程度上还可得到扩充。最后给出了SRSC协议在一种分布式多数据库系统结构中的应用说明,它以DLL的方式向数据库系统提供服务。 展开更多

关键词 分布式多数据库系统 串行通信协议 循环冗余较验 数据充填 滑动窗口 流量控制

在线阅读 下载PDF 职称材料

基于小波分析的锦州市旅游流时空特征研究 被引量：17

19

作者 赵明成 周凤杰 +2 位作者 鲁小波 王万山 鲁浚 《地域研究与开发》 CSSCI CSCD 北大核心 2019年第3期84-88,共5页

社交媒体签到数据为旅游流时空特征研究提供了新的途径。基于2017年3月至2018年2月锦州市旅游流微博签到数据,运用统计分析、小波分析、自然间断点分类法、权重分析等方法,结合MATLAB、ArcGIS等软件,对锦州市一整年的旅游流时空分布特... 社交媒体签到数据为旅游流时空特征研究提供了新的途径。基于2017年3月至2018年2月锦州市旅游流微博签到数据,运用统计分析、小波分析、自然间断点分类法、权重分析等方法,结合MATLAB、ArcGIS等软件,对锦州市一整年的旅游流时空分布特征进行研究,结果表明:旅游流出游呈现“峰林结构”特征,4—5月是锦州市全年旅游高峰期;省内游客集中于4—5月,省外游客集中于10月;旅游流呈现多时间尺度波动特征,其中8~12d和31~38d两个时间尺度的周期表现较为显著;旅游流客源属性不同,其出游时间集聚性、时间分布特征、时间尺度特征存在差异;旅游流在客源地和目的地空间上呈现集聚的特征,但其集聚特征受客源属性影响。 展开更多

关键词 旅游流 时空特征 签到数据 小波分析 锦州市

在线阅读 下载PDF 职称材料

网络购物诈骗犯罪的资金流查控研究 被引量：2

20

作者 秦锦康 《网络空间安全》 2023年第2期103-107,共5页

[目的/意义]在网络购物诈骗犯罪中,犯罪嫌疑人的核心动作就是转移资金,迅速复杂的资金转移过程,使得公安机关极易中断资金流查控线路.[方法/过程]通过对相关案例的研究,发现转移模式主要有资金拆分、虚实转换、点券变现和借助第三方支... [目的/意义]在网络购物诈骗犯罪中,犯罪嫌疑人的核心动作就是转移资金,迅速复杂的资金转移过程,使得公安机关极易中断资金流查控线路.[方法/过程]通过对相关案例的研究,发现转移模式主要有资金拆分、虚实转换、点券变现和借助第三方支付平台三种.作为一种资金密集型犯罪,在查控此类案件时,不仅要关注人、物、信息,更要关注资金.一旦能够找到查控资金流的突破口,就能事半功倍.[结果/结论]针对当前资金流查控工作的困境,公安机关要加强自身接报案后的资金查控水平,针对不同资金转移方式应对不同循线追踪措施,加强资金流查控能力,强化网络空间安全屏障. 展开更多

关键词 网络购物诈骗 资金流 查控 资本流 数据流

在线阅读 下载PDF 职称材料