Petri网模拟系统

Petri网模拟系统(SIMULATOR)用于模拟Petri网,使用户能方便地观察Petri网的动态特性。首先在显示屏幕上画出一个Petri网,再设定一个初始的记号分布(token distribution),然后Petri网模拟系统可以按照使用者的意图,以多种不同的方式模拟这个网。在模拟过程中,一系列的迁移(transition)被选取出来发生(fire);随着迁移的发生,记号分布从一个状态转变为另一状态。借助这样的模拟过程,用户能够发现网中可能存在的死锁(dead lock)或者观察到网的活性(liveness)。     

Ada备忘录

介绍Ada语言的产生过程,语言的一般特点和程序包,并结合程序包的使用讨论Ada语言中的作用域概念和程序结构问题。     

抽象机语言文本

1.引言 1.1 职能 本语言提供一套语句。这些语句反映目前常用的一部分机器的共同特征。在系列软件移植的工程中,本语言是联系各具体机器的中间语言,并且作为系列软件的任何编译系统的目标语言。 本语言也可直接描述任何编译系统或计算     

Ada语言概述

Ada是以Ada Lovelace(十九世纪计算机先驱,C.Babbage的同事,Lord Byron的女儿)命名的一种新的程序设计语言,是由Jean Ichbian领导的以巴黎为基地的设计组设计的,设计组成员有Bernd Krieg-Bruechnet、Brian A.Wichman、Henry F.Ledgard、Jean-Claude Heliard、Jean-Raymond Abrial、John G.P.Barnes和Olivier Roubine等人。国外对Ada语言有不同的评价。有的说它代表了软件工程技术的最新水平,理由是它克服了PASCAL的许多局限性;而且说它有两大贡献,一是实现了程序设计抽象化,使用的全是抽象的数据类型。二是通过使用多任务和保护命令而实现了实时并行处理。当然也有不同的看法,如认为它是穿新鞋走老路,太独出心裁了以及需要很大的编译程序和优越的运行环境。今后发展前景如何,还得拭目以待。本文是1979年12月由Prentice-Hall出版的《Programming with ADA:Anintroduction by means of graduated examples》一书的第一章,目的是为那些具有Fortran这样的高级语言程序设计经验的程序员提供Ada的概述。全文分三部分:1—6节阐明Ada语言的“经典”特征,这些与PASCAL那样的语言已有的特征有密切关系。7—12节描述“新的”语言特征,这些有助于模块化和并行程序设计。13—18节描述程序结构和编译问题,这些对于理解怎样组装大程序是必需的。     

软件移植计划在TQ-16机上的实现

系列软件计划XR是结合国产计算机现况而提出的一种软件开发方案。本文介绍了在TQ-16机上实施此计划的初步结果,分析了系统软件移植时的主要困难和解决办法。