【摘 要】
：
Petri网是一种重要的协议形式方法。本文使用R.M.Keller提出的谓词动作网这一Petri网扩充模型对HDLC平衡型规程进行了比较完整的形式说明,并分别使用线性不变量(Linear Invariants)和标志机(Token Machine)两种技术对HDLC在正常工作态下的各种性质和异常态的可恢复性问题作了全面的分析和验证。
论文部分内容阅读
Petri网是一种重要的协议形式方法。本文使用R.M.Keller提出的谓词动作网这一Petri网扩充模型对HDLC平衡型规程进行了比较完整的形式说明,并分别使用线性不变量(Linear Invariants)和标志机(Token Machine)两种技术对HDLC在正常工作态下的各种性质和异常态的可恢复性问题作了全面的分析和验证。
其他文献
本文叙述一个在LBM PC机上用C语言实现的全屏幕处理例程及其自动生成系统。作为背景,首先简要地讨论了全屏幕处理的概念;然后,提出了对全屏幕处理例程的要求,给出了该例程的结构框架及其生成过程;最后,介绍了生成系统的主要功能,并用一个实例说明了该系统的使用。
本文从应用的角度,对微型计算机实时控制系统中常用的各种乘法算法进行了较为系统的分析和讨论。文中给出的算法具有一定的通用性和实用性,并用Z-80汇编语言指令写出相应的程序。
应用程序的生成系统这种新型的程序设计系统是近年来刚出现的,它的实现主要是将数据库理论与语言理论相结合而形成较完整的应用程序开发环境。 FORGEN系统是我们借鉴国外在这方面的研究而设计和实现的一种应用程序的生成系统。本文主要对FORGEN系统的基本结构、它所用到的三库思想和增量编译技术等作介绍。
刀具半径补偿的主要目的是将轮廓轨迹转化为刀具中心轨迹。在计算机数控中常用的刀具半径补偿是采用直线过渡方式。本文主要叙述了四种不同情况时的补偿算法,即直线-直线,直线-圆弧,圆弧一直线,圆弧-圆弧。最后述及了刀具半径补偿程序编制中的一些问题。例如比例因子的引入,运算精度的提高及实时性。
对于较大的模块库的管理是软件系统开发和维护中经常遇到的一个问题。本文论述了模块库结构的一些特点,提出用有向图及其逆拘图来表示模块库的结构。提出了调用图和逆调用图的概念,用于表示与任一模块有关的调用关系。本文最后介绍了一个模块库管理工具——MDLC的基本数据结构、功能,以及使用MDLC作模块库管理的主要优点。
本文介绍一种报表格式与数值处理分离式的微机通用报表应用程序及其设计技巧,这种程序及其设计技巧可缩短微机应用程序编制时间约1/3到2/3,对提高效益、降低成本具有普遍意义。
本文介绍了一种新的快速DFT计算算法,详细分析了该算法的步骤和算法的复杂性,并对该算法实现方法作了一些探讨和修正,以节省存贮空间。
在分布系统的构成或连网的实践中,往往需要链接多个异型计算机,所采用的操作系统和通信规程或标准也可能不同。本文提出了一种开发可适应于这种环境的、多级送取、支持并发多功能服务的多规程通信软件的方法。该软件具有一个通用规程接口及并发服务处理器,采用无连接方式,包括直接送取、机与机任务间通信,以及高层网络任务通信三种方式,具有便于使用、规程透明性、便于重构系统、提供足够的服务、开销低及响应快等特点。
本文对世界上还在研究的N个工件在M台机器上加工的最优排序的理论及其算法问题,从优势枚举的观点进行了研究,给出了相应的理论和算法。利用该方法,不仅可以解任意多个工件在任意多台机器上加工的最优排序确定,并计算出最省时的加工工时;而且计算机排序工作量要比文中提及的“枚举法排序”少得多。
本文提出的算法,当f(x)的“二次性”较强时,能自动转为DFP公式,当f(x)为一锥函数时,算法具有n步终止性,对检验函数进行计算的结果表明,本算法优于DFP公式。