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

西北工业大学学报 2014年第5期32卷 719-724页

作者：黄兴利胡伟慕德俊郭蓝天李哲西北工业大学自动化学院陕西西安710072 温州大学商学院浙江温州325035

大规模集成电路通常隐含难以检测的设计错误,而在使用过程中又可能产生新的故障点。对故障效应的传播路径和范围进行准确评估,有助于确定关键模块是否受到故障的影响和定位抑制故障效应传播的关键点。然而,常规的故障效应传播分析方法... 详细信息

大规模集成电路通常隐含难以检测的设计错误,而在使用过程中又可能产生新的故障点。对故障效应的传播路径和范围进行准确评估,有助于确定关键模块是否受到故障的影响和定位抑制故障效应传播的关键点。然而,常规的故障效应传播分析方法往往忽略了逻辑门对故障传播的阻断效应,以及扇出重回聚区域对故障效应传播的影响。提出了一种精确的故障效应传播模型,并采用布尔逻辑函数对所提出的模型进行了形式化描述。实验结果表明:所提出的模型可对故障效应的传播范围进行更为准确地评估,并显著降低误报率。

关键词：故障效应分析故障效应传播形式化模型逻辑门

来源：评论

学校读者我要写书评

暂无评论

二进制翻译正确性及优化方法的形式化模型

引用

计算机研究与发展 2019年第9期56卷 2001-2011页

作者：傅立国庞建民王军张家豪岳峰数学工程与先进计算国家重点实验室(战略支援部队信息工程大学)

二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具... 详细信息

二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具有等价性,而等价的证明依赖于适当的形式化模型.为了满足研究二进制翻译正确性以及翻译优化方法对理论模型的需求,对已有理论模型进行了深入的剖析,并进一步构建了新的基于后继关系的映射模型.该模型既能够形式化地描述正确翻译的二进制翻译过程所具备的性质和构造方法,也可以在翻译过程形式化描述的基础上对翻译过程优化方法的特征和性质进行描述.通过构建翻译正确性及翻译过程优化方法的形式化模型,为二进制翻译技术中关于翻译过程的实现以及优化方法的策略组合等进一步研究提供了更强的理论支撑.

关键词：二进制翻译翻译正确性效率翻译优化形式化模型

来源：评论

学校读者我要写书评

暂无评论

网络服务体系结构及其形式化模型的研究

引用

计算机研究与发展 2005年第7期42卷 1115-1122页

作者：杨鹏吴家皋东南大学计算机科学与工程系南京210096 东南大学计算机网络和信息集成教育部重点实验室南京210096

下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基于交互的... 详细信息

下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要.提出了一种基于交互的网络服务体系结构(INSA),作为从服务角度研究下一代网络的下一代网络服务体系结构参考模型,并详细论述了INSA参考模型的总体结构和各层功能.用构件来描述网络实体,用连接件来描述构件间交互,建立起了下一代网络服务体系结构的形式化模型,为形式化分析和验证网络服务体系结构的总体性质以及进一步研究网络服务体系结构中与服务相关的各种性质奠定了基础.

关键词：下一代网络信息基础设施网络服务体系结构交互形式化模型

来源：评论

学校读者我要写书评

暂无评论

通信协议形式化模型的研究

引用

计算机学报 1998年第5期21卷 419-427页

作者：李腊元武汉交通科技大学计算机科学与工程系武汉430063

本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型．文中讨论了这类形式模型的有效性和适用性，运用该类模型对... 详细信息

本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型．文中讨论了这类形式模型的有效性和适用性，运用该类模型对通信协议的主要概念及性质进行了形式定义和描述．重点给出了基于该类模型的协议安全性及活性的形式定义，研讨了安全性及活性的验证，以及某些典型形式描述技术FDT（Estelle，LOTOS，SDL）之间的语义联系，从而为通信协议的研究提供了一种有效的形式基础．

关键词：通信协议形式化模型谓词逻辑计算机网络

来源：评论

学校读者我要写书评

暂无评论

面向对象软件体系结构的形式化模型

引用

小型微型计算机系统 2003年第10期24卷 1739-1742页

作者：眭鸿飞陈松乔中南大学信息科学与工程学院计算机理论与软件研究所湖南长沙410083

软件体系结构设计中的形式化方法 ,一直是软件工程领域中的研究热点 .而在面向对象环境中如何对体系结构进行形式化 ,以精确描述其静态结构与动态交互行为 ,则一直未有好的解决办法 .本文使用符号逻辑方法描述面向对象系统中的基本组成... 详细信息

软件体系结构设计中的形式化方法 ,一直是软件工程领域中的研究热点 .而在面向对象环境中如何对体系结构进行形式化 ,以精确描述其静态结构与动态交互行为 ,则一直未有好的解决办法 .本文使用符号逻辑方法描述面向对象系统中的基本组成单元。

关键词：面向对象软件体系结构形式化模型静态结构动态交互行为符号逻辑方法

来源：评论

学校读者我要写书评

暂无评论

GIS面目标间拓扑关系的形式化模型

引用

测绘学报 2005年第1期34卷 85-90页

作者：邓敏刘文宝冯学智南京大学城市与资源学系江苏南京210093 山东科技大学地球信息科学与工程学院山东泰安271019

拓扑关系的描述和区分是建立在空间目标相互作用过程中目标集及其分量集合拓扑特性变化基础之上的。建立了GIS中拓扑关系形式化描述和区分的一种广义模型,并与已有的形式化模型进行了比较分析,结果发现现有的形式化方法和模型是广义模... 详细信息

拓扑关系的描述和区分是建立在空间目标相互作用过程中目标集及其分量集合拓扑特性变化基础之上的。建立了GIS中拓扑关系形式化描述和区分的一种广义模型,并与已有的形式化模型进行了比较分析,结果发现现有的形式化方法和模型是广义模型的一些特例。在此基础上,进一步提出了面目标间拓扑关系形式化描述的基本模型,并根据定义的拓扑距离和拓扑复杂性概念,建立了一个新的拓扑关系概念邻域图。

关键词：形式化模型形式化描述拓扑关系面目标形式化方法广义模型目标集 GIS 空间目标发现

来源：评论

学校读者我要写书评

暂无评论

一种用于基于知识系统开发的形式化模型

引用

软件学报 1995年第A1期6卷 266-273页

作者：徐殿祥郑国梁

ＬＫＯ是一个新面向对象和逻辑范型相结合用于基行知识的系统的形式化开发模型，其中逻辑对象是集状态，约束，行为，继承于一体的抽象实体，它支持框架，规则，语义网络，黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求... 详细信息

ＬＫＯ是一个新面向对象和逻辑范型相结合用于基行知识的系统的形式化开发模型，其中逻辑对象是集状态，约束，行为，继承于一体的抽象实体，它支持框架，规则，语义网络，黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范。在知识获了过程中通过对形式规范反复地修改，验证及确认而形成软件原型。／

关键词：知识系统逻辑程序设计面向对象形式化模型

来源：评论

学校读者我要写书评

暂无评论

超文本形式化模型研究

引用

计算机研究与发展 1995年第3期32卷 45-50页

作者：余盛可北京大学计算机科学技术研究所

本文谰述了目前超文本系统中常用的形式化模型，它们分别基于图论、网论、逻辑和集论。

关键词：超文本多媒体形式化模型

来源：评论

学校读者我要写书评

暂无评论

面向应急主体的预案形式化模型

引用

系统管理学报 2015年第5期24卷 644-653页

作者：倪子建荣莉莉郄子君大连理工大学系统工程研究所辽宁大连116023

为不同的应急主体,提供在不同状态下应进行的应急工作,是预案内容的重要组成部分。为了能利用计算机方便而快速地得到上述类型信息,并将众多的应急工作有序地组织起来,提出基于顶层本体的预案形式化模型。具体内容包括:1基于顶层本体建... 详细信息

为不同的应急主体,提供在不同状态下应进行的应急工作,是预案内容的重要组成部分。为了能利用计算机方便而快速地得到上述类型信息,并将众多的应急工作有序地组织起来,提出基于顶层本体的预案形式化模型。具体内容包括:1基于顶层本体建立预案领域本体;2解决了模型中多元关系表示问题;3实现了对于原型系统中有用信息的检索;4应急工作并不是无须罗列的,利用时间推理将散布于不同位置的应急工作连接起来。

关键词：预案形式化模型顶层本体多元关系时间推理

来源：评论

学校读者我要写书评

暂无评论

基于TCOZ的UML用例图的形式化模型

引用

华东理工大学学报（自然科学版） 2004年第1期30卷 82-87页

作者：许维新虞慧群华东理工大学计算机科学与工程系上海200237

基于TCOZ,本文建立了UML视图的一种形式化模型,不仅为UML提供了一种精确的数学描述,也为其正确性分析和验证奠定了基础。

关键词： UML 用例图形式化模型 TCOZ 软件建模语言视图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：