-
题名车站联锁系统行为验证与数据确认的形式化方法
被引量：5
- 1
-
-
作者
王恪铭
王霞
程鹏
刘宁
张传东
-
机构
西南交通大学信息科学与技术学院
西南交通大学系统可信性自动验证国家地方联合工程实验室
西南交通大学唐山研究生院
北京和利时系统工程有限公司
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2021年第3期587-593,610,共8页
-
基金
国家自然科学基金(71502146,61673320)
中央高校基本科研业务费专项资金(2682017ZT12)。
-
文摘
车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML(unified modeling language)图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性.结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.
-
关键词
车站联锁系统
形式化验证
定理证明
数据确认
功能仿真
测试
-
Keywords
station interlocking system
formal verification
theorem proving
data validation
functional simulation
testing
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
U284.3
[交通运输工程—交通信息工程及控制]
-
-
题名数据确认技术及其在Delphi中的实现
被引量：2
- 2
-
-
作者
代荣辉
诸昌钤
-
机构
西南交通大学计算机学院多媒体与虚拟现实实验室
-
出处
《计算机应用》
CSCD
北大核心
2001年第12期81-83,共3页
-
文摘
文中介绍了数据确认技术及其在Delphi中的实现方法和这些方法各自的优缺点 ,以及怎样在多层分布式应用程序的客户端实现这些方法。
-
关键词
数据确认
DELPHI
数据库
字段
数据集
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名数智化背景下数据资产入表的关键问题探讨
被引量：6
- 3
-
-
作者
薛茜
曾小青
欧阳赞友
-
机构
长沙理工大学经济与管理学院
湖南省注册会计师协会
-
出处
《中国注册会计师》
北大核心
2024年第10期105-113,共9页
-
文摘
数智化时代,数据作为关键生产要素,在经济发展中越来越重要。财政部发文要求,自2024年1月1日起,符合条件的企业应当根据数据资源的持有目的、形成方式、业务模式,以及与数据资源有关的经济利益的预期消耗方式等,对数据资源相关交易和事项进行会计确认、计量和报告。本文对数据资产入表所要考虑的几个关键问题进行分析与探讨,包括数据资产的相关概念、确认、计量与列报、入表现状以及可能带来的影响等。数据资产入表对企业是一件大事,企业需要把握、应用好相关规定,助力企业自身发展。
-
关键词
数据资产入表
数据资产确认与计量
数据资产列报
数据资产入表现状与影响
-
分类号
F49
[经济管理—产业经济]
F275
[经济管理—企业管理]
-
-
题名森林资源管理信息系统开发中数据录入问题的探讨
被引量：1
- 4
-
-
作者
文东新
-
机构
中南林学院
-
出处
《内蒙古林业科技》
2004年第2期39-41,共3页
-
基金
中南林学院校青年基金项目森林资源地理信息系统开发研究.
-
文摘
数据录入在森林资源管理信息系统中是非常重要的,有很多因素影响了数据录入的效率。本文针对影响数据录入效率的几个方面的因素进行了探讨并提出了其解决办法。
-
关键词
森林资源管理信息系统
数据录入
数据确认
代码
-
Keywords
Forest Resource Management Information System
data input
data verify
code
-
分类号
TP391.14
[自动化与计算机技术—计算机应用技术]
-
-
题名电子商务中数据电文传递的法律规则研究
- 5
-
-
作者
吕国民
-
机构
暨南大学法学院
-
出处
《江海学刊》
CSSCI
北大核心
2002年第1期114-118,共5页
-
文摘
电子商务的应用给以纸面文件为基础的传统的法律制度带来了极大的挑战。这种挑战主要体现在两个方面 :一方面 ,许多传统的法律规则 ,如有关书面形式、签字、原件、证据等问题的规则由于不能适应电子商务的要求而需要调整与修订 ;另一方面 ,电子商务本身产生了许多在传统的商务活动中不会涉及到的新的法律问题 ,这些问题亟需确立新的法律来予以规范。本文主要探讨了数据电文传递过程中电文的归属。
-
关键词
电子商务
数据电文传递
法律规则
电子商务示范法
数据电文归属
数据电文确认
数据电文收发
-
分类号
D923.4
[政治法律—民商法学]
-
-
题名基于大数据的能源集团统一运行监测与安全预警平台
被引量：14
- 6
-
-
作者
王静
高昆仑
卞超轶
梁潇
-
机构
国家电力投资集团有限公司
全球能源互联网研究院有限公司
北京邮电大学
-
出处
《电信科学》
2018年第5期155-162,共8页
-
基金
国家自然科学基金资助项目(No.61471328)~~
-
文摘
能源集团信息化资产近年来急速增长,为有效应对信息安全风险,通过大数据和多源告警数据交叉确认机制等技术,设计了集团型企业中对信息化设备和应用系统进行集中运行监测并实现安全预警和日志审计的平台。提出了通过对全网海量多源异构数据的全局分析,实现信息网络安全风险与态势的实时感知。该平台对于提升信息系统运行和安全管理水平、及时预警信息风险向电力系统传播扩散等方面具有重要的研究意义和应用价值。
-
关键词
大数据
多源告警数据交叉确认机制
多源异构数据
态势感知
-
Keywords
big data
intersecting confirmation mechanics of multi-source data
multi-source heterogeneous data
situation awareness
-
分类号
TP309.1
[自动化与计算机技术—计算机系统结构]
-
-
题名EXCEL在气相色谱-质谱检测中的应用
被引量：3
- 7
-
-
作者
刘玉龙
王苏明
刘菲
陈宏坤
范俊欣
-
机构
中国石油集团安全环保技术研究院
中国地质大学(北京)水资源与环境工程北京市重点实验室
国家地质实验测试中心
-
出处
《岩矿测试》
CAS
CSCD
北大核心
2011年第1期116-120,共5页
-
基金
水体污染控制与治理科技重大专项资助--地下水源城市饮用水安全保障共性技术研究与示范(2009ZX07424-002)
国土资源地质大调查项目资助--地下水污染测试技术研究(1212010634607)
-
文摘
为了实现自动处理有机色谱分析数据,以Agilent 6890/5973N气相色谱-质谱仪检测地下水中挥发性有机化合物和多环芳烃的数据源为基础,编写了EXCEL应用程序,按批进行数据自动汇总、定性确认和结果计算,设置了对误确认数据的可逆恢复功能;对实验室空白、野外空白、实验室空白加标、实验室平行样、样品基体加标和质控样品回收率等各项质量控制指标进行统计和评价,并对分析方法长期性能的稳定性进行评价;同时生成质量控制报告,提供向数据库录入数据功能。
-
关键词
气相色谱-质谱法
EXCEL应用
质量控制
分析方法长期性能
数据确认
-
Keywords
gas chromatography-mass spectrometry
EXCEL application
quality control
long-term performance of the analytical method
compound identification
-
分类号
O213.1
[理学—概率论与数理统计]
TP39
[自动化与计算机技术—计算机应用技术]
-
