面向智能系统的混成时钟逻辑系统构建及应用
发布时间：2021-04-09 15:27
智能系统是当前研究热点,在一些安全攸关的智能系统中,时间和空间信息需具有一致性,即在规定的时间到达规定的位置。为确保智能系统的时空一致性,需对系统的时间和空间信息进行规约。时钟通常有物理时钟和逻辑时钟两种类型,将两者融合在一起形成的混成时钟（Hybrid Clock）能够同时对物理时钟和逻辑时钟进行规约,其物理时钟包含了智能系统的空间与时间信息,规约了时空一致性。本论文构建混成时钟逻辑（Hybrid Clock Logic,HCL）系统对智能系统的时空性质进行规约,通过HCL模型检测验证系统的性质,保证系统的安全性与可靠性。具体研究内容如下:1.建立了混成时钟逻辑系统的语法结构。为了满足系统性质描述的需要,本文在已有混成时钟运算和关系的基础上提出了一些新的运算和关系,定义了HCL的语法,给出了具体的高铁实例对混成时钟运算和关系进行解释,并研究了混成时钟关系的相关性质。2.构建了混成时钟逻辑模型检测方法。首先,通过定义时空一致性规范语言STeC设计与HCL公式之间的可满足关系,给出了 HCL公式的语义;然后,基于STeC设计转换成的混成时钟进行模型检测,设计了 HCL模型检测算法;最后,...
【文章来源】：华东师范大学上海市 211工程院校 985工程院校 教育部直属院校
【文章页数】：83 页
【学位级别】：硕士
【部分图文】：
高铁G43运行时刻图
华东师范大学硕士学位论文第五章STEC模型检测工具5.1.2本工具使用Java语言开发，其开发和运行环境如表5.1所示。表5.1:程序开发及运行环境类型相关软硬件参数开发平台IntelliJIDEACommunityEdition2018.1.2x64版本开发语言Java软件运行环境Windows10，jdk9运行硬件条件CPU：Intel(R)Core(TM)i5-2400或以上，主频在2.10GHz或以上内存：1GB以上显卡：支持DirectX5.1.3能STeC模型检测工具的用例图如图5.1所示，系统的主要参与者为用户，用例为系统的主要功能，主要包含以下功能：图5.1:系统用例图51
华东师范大学硕士学位论文第五章STEC模型检测工具1.提供友好的用户界面，方便用户选择和输入相应参数；2.根据打开的不同环境下的STeC设计，依据转换规则对STeC语句进行解析并转换成相应的混成时钟；3.在模型检测界面，输入HCL公式，首先对公式的合法性进行检测，若合法则进行可满足性检测。5.2工具这一小节将会对工具的软件架构、处理流程以及详细设计进行阐述。5.2.1软件构理程本软件的整体架构如图5.2所示，分为两个部分：图5.2:系统架构图52
【参考文献】：
期刊论文
[1]智能时代的信息物理融合系统[J]. 管晓宏. 网信军民融合. 2020(01)
[2]形式化验证方法浅析[J]. 陈波,李夫明. 电脑知识与技术. 2019(34)
[3]智能系统在城市道路管理中的应用[J]. 朱永森. 科学技术创新. 2019(16)
[4]人工智能的历史、现状和未来[J]. 谭铁牛. 智慧中国. 2019(Z1)
[5]信息物理融合系统研究[J]. 李馥娟,王群,钱焕延. 电子技术应用. 2018(09)
[6]电力系统信息物理融合建模与综合安全评估:驱动力与研究构想[J]. 郭庆来,辛蜀骏,孙宏斌,王剑辉. 中国电机工程学报. 2016(06)
[7]工业4.0和智能制造[J]. 张曙. 机械设计与制造工程. 2014(08)
[8]实时系统规范语言STeC的Maude重写系统[J]. 栾天骄,陈仪香,王江涛. 计算机工程. 2013(10)
[9]基于STeC-Stateflow转换系统的实时系统仿真与验证方法[J]. 纪政,李慧勇,陈仪香. 计算机应用研究. 2014(02)
[10]信息-物理融合系统若干关键问题综述[J]. 李仁发,谢勇,李蕊,李浪. 计算机研究与发展. 2012(06)
博士论文
[1]面向同步系统的时钟约束动态逻辑系统研究[D]. 张元睿.华东师范大学 2019
[2]时空逻辑PPTLSL及其应用研究[D]. 陆旭.西安电子科技大学 2017
[3]分布式系统的时间化通信行为模型[D]. 陈艳文.华东师范大学 2014
硕士论文
[1]信息物理融合系统的时空大数据的建模与分析[D]. 朱艺伟.广东工业大学 2019
[2]参数化时空规范语言的语义模型及其应用[D]. 王士忠.华东师范大学 2018
[3]基于STeC的空天地一体化地球观测的验证与仿真[D]. 杨志华.华东师范大学 2016
[4]基于STeC的时空一致性智能体建模与调控仿真验证[D]. 纪政.华东师范大学 2014
[5]实时系统规范语言STeC的Maude语义模型和静态分析设计及其工具实现[D]. 栾天骄.华东师范大学 2013
本文编号：3127868
【文章来源】：华东师范大学上海市 211工程院校 985工程院校 教育部直属院校
【文章页数】：83 页
【学位级别】：硕士
【部分图文】：
高铁G43运行时刻图
华东师范大学硕士学位论文第五章STEC模型检测工具5.1.2本工具使用Java语言开发，其开发和运行环境如表5.1所示。表5.1:程序开发及运行环境类型相关软硬件参数开发平台IntelliJIDEACommunityEdition2018.1.2x64版本开发语言Java软件运行环境Windows10，jdk9运行硬件条件CPU：Intel(R)Core(TM)i5-2400或以上，主频在2.10GHz或以上内存：1GB以上显卡：支持DirectX5.1.3能STeC模型检测工具的用例图如图5.1所示，系统的主要参与者为用户，用例为系统的主要功能，主要包含以下功能：图5.1:系统用例图51
华东师范大学硕士学位论文第五章STEC模型检测工具1.提供友好的用户界面，方便用户选择和输入相应参数；2.根据打开的不同环境下的STeC设计，依据转换规则对STeC语句进行解析并转换成相应的混成时钟；3.在模型检测界面，输入HCL公式，首先对公式的合法性进行检测，若合法则进行可满足性检测。5.2工具这一小节将会对工具的软件架构、处理流程以及详细设计进行阐述。5.2.1软件构理程本软件的整体架构如图5.2所示，分为两个部分：图5.2:系统架构图52
【参考文献】：
期刊论文
[1]智能时代的信息物理融合系统[J]. 管晓宏. 网信军民融合. 2020(01)
[2]形式化验证方法浅析[J]. 陈波,李夫明. 电脑知识与技术. 2019(34)
[3]智能系统在城市道路管理中的应用[J]. 朱永森. 科学技术创新. 2019(16)
[4]人工智能的历史、现状和未来[J]. 谭铁牛. 智慧中国. 2019(Z1)
[5]信息物理融合系统研究[J]. 李馥娟,王群,钱焕延. 电子技术应用. 2018(09)
[6]电力系统信息物理融合建模与综合安全评估:驱动力与研究构想[J]. 郭庆来,辛蜀骏,孙宏斌,王剑辉. 中国电机工程学报. 2016(06)
[7]工业4.0和智能制造[J]. 张曙. 机械设计与制造工程. 2014(08)
[8]实时系统规范语言STeC的Maude重写系统[J]. 栾天骄,陈仪香,王江涛. 计算机工程. 2013(10)
[9]基于STeC-Stateflow转换系统的实时系统仿真与验证方法[J]. 纪政,李慧勇,陈仪香. 计算机应用研究. 2014(02)
[10]信息-物理融合系统若干关键问题综述[J]. 李仁发,谢勇,李蕊,李浪. 计算机研究与发展. 2012(06)
博士论文
[1]面向同步系统的时钟约束动态逻辑系统研究[D]. 张元睿.华东师范大学 2019
[2]时空逻辑PPTLSL及其应用研究[D]. 陆旭.西安电子科技大学 2017
[3]分布式系统的时间化通信行为模型[D]. 陈艳文.华东师范大学 2014
硕士论文
[1]信息物理融合系统的时空大数据的建模与分析[D]. 朱艺伟.广东工业大学 2019
[2]参数化时空规范语言的语义模型及其应用[D]. 王士忠.华东师范大学 2018
[3]基于STeC的空天地一体化地球观测的验证与仿真[D]. 杨志华.华东师范大学 2016
[4]基于STeC的时空一致性智能体建模与调控仿真验证[D]. 纪政.华东师范大学 2014
[5]实时系统规范语言STeC的Maude语义模型和静态分析设计及其工具实现[D]. 栾天骄.华东师范大学 2013
本文编号：3127868
本文链接：https://www.wllwen.com/kejilunwen/daoluqiaoliang/3127868.html
