检索结果-内蒙古大学图书馆

西南交通大学学报 2021年第3期56卷 587-593,610页

作者：王恪铭王霞程鹏刘宁张传东西南交通大学信息科学与技术学院四川成都611756 西南交通大学系统可信性自动验证国家地方联合工程实验室四川成都610031 西南交通大学唐山研究生院河北唐山063000 北京和利时系统工程有限公司北京100176

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML(unified modeling language)图工具快速... 详细信息

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML(unified modeling language)图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性.结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.

关键词：车站联锁系统形式化验证定理证明数据确认功能仿真测试

来源：评论

学校读者我要写书评

暂无评论

数据确认技术及其在Delphi中的实现

引用

计算机应用 2001年第12期21卷 81-83页

作者：代荣辉诸昌钤西南交通大学计算机学院多媒体与虚拟现实实验室四川成都610031

文中介绍了数据确认技术及其在Delphi中的实现方法和这些方法各自的优缺点 ,以及怎样在多层分布式应用程序的客户端实现这些方法。

关键词：数据确认 Delphi 数据库字段数据集

来源：评论

学校读者我要写书评

暂无评论

民用建筑“四节一环保”数据确认研究

引用

数学的实践与认识 2020年第12期50卷 136-147页

作者：原雯徐芳芳王新民北京大学前沿交叉学科研究院北京100871 山东科技大学数学与系统科学学院山东青岛266590 北京大学数学科学学院北京100871

根据“四节一环保”大数据分析与确认的相关研究内容,提出以应用为导向的数据确认方法.提出有效性、完整性、唯一性、准确性为民用建筑“四节一环保”数据的质量检验维度.根据数据的具体形式对重复数据进行定义,识别与清除.为了检测异常... 详细信息

根据“四节一环保”大数据分析与确认的相关研究内容,提出以应用为导向的数据确认方法.提出有效性、完整性、唯一性、准确性为民用建筑“四节一环保”数据的质量检验维度.根据数据的具体形式对重复数据进行定义,识别与清除.为了检测异常值,使用局部异常因子与调优箱形图结合的方法,从自对比角度对多源异构动态数据进行质量确认.考虑到不同变量之间的相互关系,提出使用K-means聚类和最小二乘回归的方法,并利用箱形图的思想从交叉对比角度确认数据质量.实验结果表明,民用建筑“四节一环保”数据确认方法能够更有效更全面地提高数据质量.

关键词：四节一环保数据质量数据确认自对比交叉对比

来源：评论

学校读者我要写书评

暂无评论

燃气涡轮发动机试验数据确认概念研究

引用

微计算机信息 2005年第12S期21卷 110-112页

作者：唐雅娟湖南长沙国防科技大学航天与材料工程学院 410073

本文介绍了燃气涡轮发动机地面试验数据确认系统研究与应用现状,详细阐述了基于试验系统物理模型的解析冗余检验相关多传感器信号有效性方法和基于信号序列统计与时频特征分析单传感器通道信号有效性的方法,提出了系统研究框架。

关键词：燃气涡轮发动机数据确认解析冗余统计检验时频分析

来源：评论

学校读者我要写书评

暂无评论

如何进行计量校准后的数据确认

引用

中国无线电 2016年第2期 58-59页

作者：侯峰辽宁省无线电监测中心

0前言日常的测试工作都是通过仪表来完成的,仪表本身的准确程度决定了测试的精度水平,准确程度的衡量要通过量值溯源来实现。量值溯源是通过一条不间断的比较链,使测量结果能够与规定的参考标准联系起来的特性（见图1）。检定和校准是... 详细信息

0前言日常的测试工作都是通过仪表来完成的,仪表本身的准确程度决定了测试的精度水平,准确程度的衡量要通过量值溯源来实现。量值溯源是通过一条不间断的比较链,使测量结果能够与规定的参考标准联系起来的特性（见图1）。检定和校准是实施量值溯源的重要方法和手段。《实验室资质认定评审准则》中规定了＂实验室应确保其相关检测和或校准结果能够溯源至国家基（标）准。实验室应制定和实施仪器设备的校准和或检定（验证）、确认的总体要求＂。

关键词：量值溯源计量校准数据确认校准结果相关检测精度水平校准证书实验室认可准则实验室管理测量结果

来源：评论

学校读者我要写书评

暂无评论

牛津经济研究院宏观经济学家Matthew Martin：预计美联储6月按兵不动降息前仍需更多数据确认通胀走势

牛津经济研究院宏观经济学家Matthew Martin：预计美联储6月按兵...

引用

21世纪经济报道

作者：周蕊

美国经济分析局日前公布的数据显示，今年第一季度美国国内生产总值GDP环比增长1.3%，低于此前普遍预期的增长1.6%，主要反映出消费者对商品的支出减少。此外，美联储褐皮书强调，消费者对价格的敏感度和对进一步涨价的抵触情绪有所提... 详细信息

美国经济分析局日前公布的数据显示，今年第一季度美国国内生产总值GDP环比增长1.3%，低于此前普遍预期的增长1.6%，主要反映出消费者对商品的支出减少。此外，美联储褐皮书强调，消费者对价格的敏感度和对进一步涨价的抵触情绪有所提高。在通胀方面，美国个人消费支出价格指......

关键词：美联储褐皮书 Matthew Martin 宏观经济学家研究院数据确认

来源：评论

学校读者我要写书评

暂无评论

数据确认方法、装置、设备及存储介质

数据确认方法、装置、设备及存储介质

引用

作者：张东升 100176 北京市大兴区北京经济技术开发区科创十一街18号C座2层221室

本申请涉及一种数据确认方法、装置、设备及存储介质，方法包括：获取第一数据，其中，所述第一数据中包括账户名称；根据预先建立的账户名称与账户所属主体身份之间的映射关系，获得所述第一流水单中的账户名称所对应的账户所属主体身... 详细信息

标准号: CN111429219A

本申请涉及一种数据确认方法、装置、设备及存储介质，方法包括：获取第一数据，其中，所述第一数据中包括账户名称；根据预先建立的账户名称与账户所属主体身份之间的映射关系，获得所述第一流水单中的账户名称所对应的账户所属主体身份；从第二数据的列表中查询获得与所述账户所属主体身份相匹配的第二数据；采用所述账户所属主体身份相匹配的第二数据，与所述第一数据进行配对。本申请用以解决人工对两个数据列表中的大量数据进行核对准确度低，且耗费大量人力时间成本的问题。

关键词：账户主体身份第一数据匹配准确度存储介质时间成本数据确认映射关系预先建立配对申请核对流水查询

来源：评论

学校读者我要写书评

暂无评论

数据确认方法及装置

数据确认方法及装置

引用

作者：黄国刚李云波郭宇宸梁丹丹于健 518129 广东省深圳市龙岗区坂田华为总部办公楼

本申请实施例涉及通信领域，特别涉及通信领域中的数据确认方法及装置。该方法包括：STA发送数据帧；STA在所述数据帧发送结束起的X时长后，发送确认请求，所述X时长≥AP间通过回程链路的传输时延，所述确认请求为对所述数据帧的确认请... 详细信息

标准号: CN116318562A

本申请实施例涉及通信领域，特别涉及通信领域中的数据确认方法及装置。该方法包括：STA发送数据帧；STA在所述数据帧发送结束起的X时长后，发送确认请求，所述X时长≥AP间通过回程链路的传输时延，所述确认请求为对所述数据帧的确认请求。本申请实施例，STA在数据帧发送结束后的X时长后发送确认请求，所述X时长≥AP间通过回程链路的传输时延，在避免空口资源的浪费的前提下，完成AP侧上行联合接收的确认。

关键词：时长数据帧发送传输时延发送确认回程链路确认请求通信领域发送数据帧空口资源数据确认数据帧申请上行联合

来源：评论

学校读者我要写书评

暂无评论

无线通信系统中的数据确认方法和装置

无线通信系统中的数据确认方法和装置

引用

作者：雷海鹏中国香港鲗鱼涌英皇道979号太古坊林肯大厦23楼

公开用于数据确认的装置、方法和系统。一种装置包括确定用于下行链路(“DL”)突发的持续时间的处理器。该装置包括：发送器，所述发送器发送具有持续时间的DL突发，以及指示用于传输与DL突发相对应的混合自动重传请求确认(“HARQ‑ACK”... 详细信息

标准号: CN109075912B

公开用于数据确认的装置、方法和系统。一种装置包括确定用于下行链路(“DL”)突发的持续时间的处理器。该装置包括：发送器，所述发送器发送具有持续时间的DL突发，以及指示用于传输与DL突发相对应的混合自动重传请求确认(“HARQ‑ACK”)反馈的HARQ‑ACK码本大小的信令。

关键词：发送器混合自动重传请求数据确认下行链路处理器码本信令发送传输反馈

来源：评论

学校读者我要写书评

暂无评论

数据确认方法及装置

数据确认方法及装置

引用

作者：黄国刚李云波郭宇宸梁丹丹于健 518129 广东省深圳市龙岗区坂田华为总部办公楼

标准号: CN110247738B

关键词：时长数据帧发送传输时延发送确认回程链路确认请求通信领域发送数据帧空口资源数据确认数据帧申请上行联合

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：