检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

从Petri网到形式描述技术和协议工程

软件学报 2000年第5期11卷 606-615页

作者：罗军舟 *** 沈俊顾冠群东南大学计算机科学与工程系

协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Pe... 详细信息

协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Petri网理论的 FDT.该文说明了 Petri网作为协议描述技术的优势 ,指出当前基于Petri网的协议工程研究的难点 ,其中面向协议开发的网工具是一项重要的研究内容 .按照开放系统互连参考模型的层次 ,总结了国际上的研究进展情况 ,并阐述了未来的研究趋势 .最后从协议描述、协议验证与分析以及辅助测试与实现这 3个角度给出了基于

关键词：协议工程形式描述 Petri网计算机网络

在线全文

学校读者我要写书评

暂无评论

一种防火墙系统安全模型的形式描述

小型微型计算机系统 2003年第4期24卷 691-694页

作者：白跃彬郑守淇侯宗浩邹勇西安交通大学计算机系陕西西安710049 IBM CDL 北京100000

文中提出了一种防火墙系统的安全模型,该模型构筑在防火墙系统的安全服务基础之上,将安全模型抽象为若干安全服务的集合并用形式化的方法进行了描述.着重描述了安全服务的动态特性、安全模型的动态特性以及安全模型和防火墙系统之间的... 详细信息

文中提出了一种防火墙系统的安全模型,该模型构筑在防火墙系统的安全服务基础之上,将安全模型抽象为若干安全服务的集合并用形式化的方法进行了描述.着重描述了安全服务的动态特性、安全模型的动态特性以及安全模型和防火墙系统之间的相互关系.提出了安全服务的双向性及关键服务集的概念.该模型在已实现的分布式动态防火墙原型系统中得到了验证.

关键词：防火墙系统安全模型形式描述网络安全计算机网络建模

在线全文

学校读者我要写书评

暂无评论

特征形式描述及特征预编译

计算机工程与应用 2003年第29期39卷 108-109,150页

作者：郭荣余涛陆汝占上海交通大学计算机科学与工程系上海200030

特征的处理是自然语言句法分析的一个重要问题。该文提出特征处理的预编译方法,详述了基于特征形式描述的特征预编译算法,并实现了一个特征预编译器。测试表明,预编译方法可以很好地增加句法分析的可扩展性和运行速度。

关键词：特征形式描述预编译

在线全文

学校读者我要写书评

暂无评论

协议形式描述风格的研究

小型微型计算机系统 1998年第3期19卷 62-69页

作者：李腊元武汉交通科技大学武汉430063

本文研讨了适应于计算机网络协议的形式描述风格。文中以一个实例 ,研究了几种典型形式描述技术 (FDT)的不同风格。这些形式描述技术包括 Petri网、L OTOS、关系表示法和 Z。

关键词：计算机网络形式描述 FDT 网络协议 OSI

在线全文

学校读者我要写书评

暂无评论

谓词逻辑中有关函数及其部分性质的形式描述

谓词逻辑中有关函数及其部分性质的形式描述

逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议

作者：陈其楼潘正华上海市张堰中学无锡江南大学理学院

使用计算机来处理自然语句的问题,首要的工作是问题本身的形式描述。命题逻辑的表达问题的能力,仅限于连接词的使用,而谓词逻辑由于变元、谓词、量词和函数的引入具有很强的表达问题的能力,已成为描述计算机所处理的知识的有力工具。人... 详细信息

使用计算机来处理自然语句的问题,首要的工作是问题本身的形式描述。命题逻辑的表达问题的能力,仅限于连接词的使用,而谓词逻辑由于变元、谓词、量词和函数的引入具有很强的表达问题的能力,已成为描述计算机所处理的知识的有力工具。人工智能学科将谓词逻辑看作是一种基本的知识表示方法和推理方法。本文对谓词逻辑中的函数及部分性质进行了形式描述。

关键词：形式描述全称量词存在量词

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

身份认证过程的一种形式描述

内江师范学院学报 2008年第4期23卷 27-28页

作者：刘益和内江师范学院网络应用项目开发重点实验室//内江师范学院计算机与信息科学系四川内江641112

通过引入信任度函数等新概念,利用Biba模型不写上,不读下思想,并对身份认证过程前后进行分析,选用适当的认证算法,对整个认证系统进行了形式描述,最后给出了一个使得信息系统的完整性总能得到保障的条件.

关键词： Biba模型身份认证形式描述完整性

在线全文

学校读者我要写书评

暂无评论

系统动态行为语义模型及其形式描述

计算机研究与发展 1999年第8期36卷 907-914页

作者：钱军冯玉琳中国科学院软件研究所计算机科学开放研究实验室中国科学院软件研究所对象技术中心

文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型、逻辑模型，基于进程代数的模型和方法、Ｉ／Ｏ自动机、Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地从本质上分析和比较了它们在描述系统动态行为方面的特点和优劣．文... 详细信息

文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型、逻辑模型，基于进程代数的模型和方法、Ｉ／Ｏ自动机、Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地从本质上分析和比较了它们在描述系统动态行为方面的特点和优劣．文中还着重剖析了基于网络环境下的分布对象计算系统的一些主要计算特征，包括交互、并发和分布等．文中是以一个全新的角度去审视那些主要的、较为成熟的模型和方法，针对分布对象计算系统的动态行为特点加以分析和比较，为系统地建立分布对象计算系统的计算模型和语义理论打下一定基础．

关键词：语义模型形式描述系统动态行为可计算性

在线全文

学校读者我要写书评

暂无评论

多协议标志交换技术的关键机制与形式化描述

计算机研究与发展 1999年第4期36卷 489-493页

作者：王宏宇顾冠群东南大学计算机科学系东南大学国家教委计算机网络与信息集成支撑技术开放实验室

文中讨论了一类新的网络层分组转发技术——多协议标志交换（ｍｕｌｔｉｐｒｏｔｏｃｏｌｌａｂｅｌｓｗｉｔｃｈｉｎｇ，ＭＰＬＳ）技术．ＭＰＬＳ技术将网络层分组的网络层转发与链路层交换相结合，这不仅有助于提高中继系统的分组转... 详细信息

文中讨论了一类新的网络层分组转发技术——多协议标志交换（ｍｕｌｔｉｐｒｏｔｏｃｏｌｌａｂｅｌｓｗｉｔｃｈｉｎｇ，ＭＰＬＳ）技术．ＭＰＬＳ技术将网络层分组的网络层转发与链路层交换相结合，这不仅有助于提高中继系统的分组转发能力，而且可以对提高网络路由系统的可扩展性起到一定的作用．文中针对目前ＭＰＬＳ技术缺乏形式化描述，不便于进行ＭＰＬＳ系统问题分析的现状，从分析ＭＰＬＳ技术的系统原理与核心机制入手，提出了一种采用算法语言对整个ＭＰＬＳ系统工作模型进行的形式化描述．文中的工作有助于分析ＭＰＬＳ技术，研究其现存问题的解决方法．

关键词：多协议标志交换网络局形式描述计算机网络

面向用户的CIMS总体设计模型体系的一种形式化描述

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 1999年第9期35卷 5-8,25页

作者：潘东王京春金以慧清华大学自动化系北京100084

总体设计作为引导企业CIMS建设的总纲和蓝图，其设计质量直接关系到CIMS建设的成败，以及未来企业的运行效率。面向用户的CIMS的总体设计模型体系（UMSCOD）为企业CIMS提供了良好的模型表现机制。文章提出了用LSL（LarchSharedLanguage... 详细信息

总体设计作为引导企业CIMS建设的总纲和蓝图，其设计质量直接关系到CIMS建设的成败，以及未来企业的运行效率。面向用户的CIMS的总体设计模型体系（UMSCOD）为企业CIMS提供了良好的模型表现机制。文章提出了用LSL（LarchSharedLanguage）对面向用户的CIMS总体设计模型体系的静态结构进行形式化的方法，使得该模型体系既能作为与用户交流、对系统建模的工具，又能保证模型体系中各子模型的一致性，为后续的模型分析和系统设计提供坚实的理论基础。

关键词： CIMS 总体设计 LSL 代数规约形式描述