自动OSPF协议测试的形式化及算法

针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程.首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试.在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足.将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量.     

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现

在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 ,并实际开发出了符合该模型的互连网关     

基于图文法的对象操作可视化

讨论对象的操作可视化,将其连续操作映射为图的剪枝与拼接,对其连续操作映射为图文法的推导,这不仅可视化了查询语言,也有利于可视化对象的设计过程。     

EL语言属性文法

介绍面向过程的程序设计语言－－ＥＬ语言属性文法的构成方法及其典型实例，它是属性文法编译程序生成系统的基础。     

面向对象的工程数据库的数据模型

求文根据贵州省科委与贵州电力局提出的电网调度自动化实用化技术实用化软件的研究方向，用形式化理论描述了面向对象的工程数据库的数据模型。这一数据模型已成功地应用于贵州凯里供电局电网调度ＳＣＡＤＡ系统。     

关于形式化及其实现的可能世界

形式化公理学为研究可能世界的存在条件提供了新的基础.在此基础上,可能世界完全摆脱了直观的干扰,因此它只受限于逻辑的制约;所以对象原有的刻划已失去了实质公理学阶段的意义转而由公理约束其存在形态并借翻译、赋值、解释、实现等方式生成可能世界.     

探"语言联盟"的方法论

邢公畹先生与陈保亚先生的方法论原则代表了当前语言学界方法论的两种主要类型。其实应该根据被比较的若干语言的实际量身定做一个分级的词表。两种分级法陈先生的分法更客观、更便于操作。而孟、黄两先生的分法难免显得具有经验性。在对应词项的确定上，竞成先生所举上海话与英语对应的例子把文字层面的字母与语音层面的音位相混淆从而导致这两种语言同源的错误结论。     

一种基于BDI的理性决策模型

随着人们对理性agent的BDI(Eelief，Desire，Intcntion，BDI)模型的认识和理解的逐步深化，越来越多的研究者开始将BDI结构用于其从事的研究领域．将BDI作为随环境变化的组件，描述决策的静态结构．在此基础上，通过信息采集一计划产生一偏好选择一计划实施与监控等步骤来完成决策过程，建立理性决策过程的形式化模型，并通过生活中的实例加以说明．该模型通过及时地更新组件，实时地对决策过程进行监控，从而增强了动态环境下决策的柔性．     

数据字典描述语言的研究与设计

在软件工程中，软件开发的基础工作是用户需求的获取与分析，而数据字典是用户需求说明书的重要组成部分。本文首先介绍了数据库设计过程中所涉及到的用户需求分析，对此进行了详细的说明。其次，给出了数据字典的形式化语言，并对其中的细节给出了必要的说明。通过对用户需求进行分析，并用此语言对其进行描述，形式需求说明书。     

基于不同形式化模型的网络通信协议验证技术的分析与比较

协议是数据通信、计算机网络等分布式系统的灵魂。协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段。阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于FMS、Petri网、以及时序逻辑TL模型的协议验证技术。