图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

图形LOTOS和Peteri网模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具，用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网，该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ，根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单，这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ     

从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法,称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．为将来的进一步研究提供了一个良好的环境     

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言Ｊａｖａ完善从体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件,使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开,而且为了方便用户,满足工业界和其它领域的要求,给出了一个从ＧＥ－ＬＯＴＯＳ到Ｅ－ＬＯＴＯＳ描述的一个算法。     

关于路由协议的一致性测试的一种形式方法

为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。     

图形E—LOTOS的一个编辑软件和执行算法

给出了图形Ｅ－ＬＯＴＯＳ编辑软件的主要组成和特点,同时提出了图形Ｅ－ＬＯＴＯＳ的一种执行算法．试图为今后的系统设计、验证、执行和测试工作提供一个良好的环境．     

QWF－1型汽车尾气分析仪配装自动记录仪的研制

ＱＷＦ－１型汽车尾气分析仪配装自动记录仪的研制ＤＥＶＥＬＯＰＭＥＮＴＯＮＴＨＥＡＴＴＡＣＨＥＤＡＵＴＯＭＡＴＩＣＲＥＣＯＲＤＤＩＡＬＯＦＭＯＤＥＬＱＷＦ－１ＡＵＴＯＴＡＩＬ－ＧＡＳＡＮＡＬＹＳＩＳＡＰＰＡＲＡＴＵＳＬｉＬｉａｎｇｅｒＣｈｅｎＪｉａｎｂ...     

一种MELSEC—NOVELL网关的设计与实现

在分析了ＮＯＶＥＬＬ网和ＭＥＬＳＥＣ网的基础，提出一种ＭＥＬＳＥＣ－ＮＯＶＥＬＬ网关的硬件设计实现方法。     

Oracle数据库系统中PL/SQL程序的自动生成

介绍了Ｏｒａｃｌｅ数据库系统中含ＳＥＬＥＣＴ、ＩＮＳＥＲＴ、ＵＰＤＡＴＥ和ＤＥＬＥＴＥ语句的ＰＬ／ＳＱＬ程序自动生成工具的设计与实现。分析了ＳＱＬ中ＳＥＬＥＣＴ、ＩＮＳＥＲＴ、ＵＰＤＡＴＥ和ＤＥＬＥＴＥ语句的语法结构，介绍了Ｏｒａｃｌｅ数据库中系统表ＵＳＥＲ－ＴＡＢ－ＣＯＬＵＭＮＳ的内容和结构，最后介绍了采用三遍扫描的方法实现ＰＬ／ＳＱＬ程序自动生成的过程。     

基本FFET的试制和性能研究

论述了铁电场效应晶体管（ＦＦＥＴ）的基本工作原理，给出了其设计方案．采用ＳＯＬ－ＧＥＬ法制备了基本的ＭＦＳ－ＦＥＴ和ＭＦＯＳ－ＦＥＴ，对其电性能进行了测试分析．测试结果表明：ＭＦＯＳ结构的ＦＦＥＴ具有极化存储特性．     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。     

基于LOTOS对象模型的并发形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。     

FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.     

分布式多媒体系统DMS同步问题分析与探讨

就分布式多媒体系统DMS中同步问题进行了分析与探讨,首先论述了形式化规范语言LOTOS的约定与其本概念,然后对其进行了基于时间的扩充,引入时间操作算子,确定了相应的语法定义和语义规则。通过基于时间扩充的LOTOS,对分布式环境下的多媒体同步问题进行分析,给出了一种复杂的多媒体严格同步系统和具体的算法描述。     

基于Petri网的语义Web服务过程模型匹配算法研究

为了在服务发现中提高效率及准确率,在服务匹配过程中引入了服务执行状态的变迁等因素即服务的过程模型。而Petri网能够把Web服务的过程模型进行形式化描述．在服务发现中引入Petri网,通过Petri网描述web服务的过程模型,再对Petri网进行语义标注,最后通过计算过程模型的相似度来实现基于Petri网的语义Web服务发现匹配．这种方法结合现有采用功能性参数匹配的语义web服务发现对提高服务发现率,尤其对改善服务发现准确率起到了一定的作用．     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。