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

中国安全科学学报 2008年第3期18卷 28-32页

作者：承向军应志鹏杜鹏北京交通大学交通运输学院北京100044 中国铁道科学研究院通信信号研究所北京100081

通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基... 详细信息

通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基于时段演算的ATP控车模式形式化模型;通过对模型的推演,对ATP控车模式进行初步安全性分析,发现ATP控车模式下对安全运行发挥主要作用的几个关键环节,特别是确保列车安全行驶,ATP控车与人工控制在转换时应满足的若干时间约束。研究的成果,为设计安全、可靠的ATP系统提供新的理论和分析手段。

关键词：高速列车形式化模型列控列车超速防护(ATP) 时段演算(DC)

来源：评论

学校读者我要写书评

暂无评论

一种基于带条件的轨迹的WS-CDL形式化模型研究

一种基于带条件的轨迹的WS-CDL形式化模型研究

引用

作者：梁智远西南大学

学位级别：硕士

随着因特网的不断发展,Web服务已成为了人们日益关注的焦点。然而,功能单一的Web服务已经不能胜任企业的应用。Web服务组合研究如何将众多相关的Web服务有机集成,形成功能强大的企业级服务,以完成商业目标。目前,关于Web服务组合方法有... 详细信息

随着因特网的不断发展,Web服务已成为了人们日益关注的焦点。然而,功能单一的Web服务已经不能胜任企业的应用。Web服务组合研究如何将众多相关的Web服务有机集成,形成功能强大的企业级服务,以完成商业目标。目前,关于Web服务组合方法有一种全新的观点叫做编排,用于从更高的层次描述一些参与方的点对点协作。关于编排的规范是WS-CDL,它以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型,也没有定义执行过程。当今很多对WS-CDL进行形式化的建模研究都不完善,或是建模之后没有讨论执行过程以及一致性问题。因此完善对WS-CDL的模型化相关工作具有十分重要的意义。本文总结并扩展了已有的建模方法,提出了一种带条件的轨迹的概念,并在此基础之上为WS-CDL规范建立了一种语法和语义规则(又称作全局模型)。为了讨论编排的执行过程,本文在每一个角色上为WS-CDL规范建立了语法和语义规则(又称作局部模型),并给出了从全局模型到局部模型的映射过程,然后严格定义了编排的执行过程,并给出了一种在各角色之间执行编排的算法,接着讨论了在该模型下编排执行的一致性问题。最后,列出了实现这些算法的数据结构和程序代码,论证了算法的有效性。

关键词： Web服务组合 Web服务编排描述语言形式化模型带条件的轨迹执行过程

来源：评论

学校读者我要写书评

暂无评论

数据库一致性的形式化模型

引用

云南软件产业 1989年第4期 44-52页

作者：吴启明

来源：评论

学校读者我要写书评

暂无评论

面向分布式拒绝服务攻击的通用形式化模型

引用

合肥学院学报（综合版） 2019年第5期36卷 82-88页

作者：汪彩梅李正茂合肥学院人工智能与大数据学院

分布式拒绝服务攻击(DDoS)具有攻击种类繁多、涉及参数复杂,因而存在缺乏一种准确、直观、通用的分析模型的问题,故提出了一种通用的DDoS形式化模型框架。首先在分析DDoS理论的基础上给出了通用形式化模型的详细定义;其次对系统实体功... 详细信息

分布式拒绝服务攻击(DDoS)具有攻击种类繁多、涉及参数复杂,因而存在缺乏一种准确、直观、通用的分析模型的问题,故提出了一种通用的DDoS形式化模型框架。首先在分析DDoS理论的基础上给出了通用形式化模型的详细定义;其次对系统实体功能、通信信道及实体间的交互行为进行了深入分析和详细的抽象建模;最后,对模型进行了实例化分析,在给出明确的问题描述后通过通用的形式化模型完成了对UDP洪水攻击的分析。实例分析表明了模型框架具有直观、易用及通用性特征。对于DDoS攻击的具体分析提供了一定的理论基础和实用价值。

关键词： DDoS 形式化模型实体通信信道抽象建模

来源：评论

学校读者我要写书评

暂无评论

软件体系结构讲座 (六)形式化模型和规格说明

引用

计算机与数字工程 1999年第6期27卷 56-68页

作者：王振宇梁先忠汪洋武汉数字工程研究所武汉430074

本讲讨论软件体系结构的形式化模型和规格说明,即软件体系结构的形式化基础。

关键词：软件体系结构形式化模型规格说明

来源：评论

学校读者我要写书评

暂无评论

复杂表的形式化模型及其实现

引用

黑龙江大学自然科学学报 1998年第3期15卷 50-55,73页

作者：那丽春孟繁云陈庆奎黑龙江大学网络中心中国建设银行哈尔滨市分析黑龙江大学计算机科学系

给出一个在ＭＩＳ系统实现过程中，可以表示中文复杂表的形式化模型及其实现算法，实践证明是正确，有效的。

关键词：复杂表管理信息系统形式化模型

来源：评论

学校读者我要写书评

暂无评论

用Z语言描述排课问题的形式化模型

引用

西安工业大学学报 2008年第4期28卷 375-382页

作者：喻钧容晓峰曹子建西安工业大学计算机科学与工程学院西安710032

为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实... 详细信息

为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实现了模型中的一个实例.结果表明,形式化模型能够精确地定义和描述目标系统的数据模型、状态和操作,大大提高系统设计和开发的质量.

关键词：形式化方法规格说明语言Z 排课问题形式化模型

来源：评论

学校读者我要写书评

暂无评论

建筑设计领域知识系统的形式化模型

引用

计算机辅助工程 1992年第4期1卷 45-50页

作者：翟贤晏敏胡平华中理工大学

本文从语言和逻辑的观点出发讨论了迄今出现的建筑设计领域的设计系统模型。指出句法型和语义型系统各自的局限性,分析了设计过程形式化描述的逻辑特征。并在原型的概念模式基础上,发展了一种面向空间综合的方图模型。初步探索了形象思... 详细信息

本文从语言和逻辑的观点出发讨论了迄今出现的建筑设计领域的设计系统模型。指出句法型和语义型系统各自的局限性,分析了设计过程形式化描述的逻辑特征。并在原型的概念模式基础上,发展了一种面向空间综合的方图模型。初步探索了形象思维的计算机描述与实现方法。

关键词：建筑设计领域形式化模型知识系统建筑设计过程空间综合设计分析立面设计句法生成设计生成空间规划

来源：评论

学校读者我要写书评

暂无评论

一种程序设计形式化模型

引用

信息系统工程 2012年第12期25卷 14-17页

作者：穆学刚张曙光董金明江华伟安阳师范学院人文管理学院数学与信息工程系

本文提出程序设计形式化模型的基本问题,针对第一个问题,引入泛函分析的空间和算子理论,基于程序设计过程,建立了一种程序设计的形式化模型,包括代码基础、可视化、对象、控制结构和程序空间,分成为基础程序设计部分和形式化部分,旨在... 详细信息

本文提出程序设计形式化模型的基本问题,针对第一个问题,引入泛函分析的空间和算子理论,基于程序设计过程,建立了一种程序设计的形式化模型,包括代码基础、可视化、对象、控制结构和程序空间,分成为基础程序设计部分和形式化部分,旨在建立程序设计基础形式化概念体系。在理论和实践上具有一定的基础意义。

关键词：程序设计形式化模型空间算子

来源：评论

学校读者我要写书评

暂无评论

基于形式化模型的电力信息审计系统安全协议验证方法

引用

微型电脑应用 2022年第7期38卷 197-200页

作者：苏霞张晶晶孙静国网河北省电力有限公司河北石家庄050021 国网河北服务中心河北石家庄050000

由于已有方法未能使用形式化模型,导致安全协议验证效率下降,安全协议验证错误率和开销增加。结合形式化模型,提出一种基于形式化模型的电力信息审计系统安全协议验证方法。通过形式化模型,对电力信息审计系统进行形式化研究,采用SPIN和... 详细信息

由于已有方法未能使用形式化模型,导致安全协议验证效率下降,安全协议验证错误率和开销增加。结合形式化模型,提出一种基于形式化模型的电力信息审计系统安全协议验证方法。通过形式化模型,对电力信息审计系统进行形式化研究,采用SPIN和AVISPA对电力信息审计系统安全协议进行改进。利用Promela和HLPSL进行建模,查找安全协议中存在的攻击,获取攻击者的相关信息,查看存在的漏洞,完成电力信息审计系统安全协议验证。仿真实验结果表明,所提方法能够有效提升安全协议验证效率,降低安全协议验证错误率和开销。

关键词：形式化模型电力信息审计系统安全协议验证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：