一种适用于描述数字系统的可执行规范语言PAISLey

本文研讨一种适用于描述数字系统的可执行规范语言ＰＡＩＳＬｅｙ。文中对该语言所具有的交行机制，封装性，对不完全的忍耐性，定时约束，有限资源约束，一致性检查和相关性等方面进行了讨论。     

异型通讯协议互连的数据描述形式化语言ASN．1

ＡＳＮ．１是由ＩＳＯ和ＣＣＴＴ定义的以支持描述网际通讯协议中规定类型、类型值和传送格式的形式化语言。本文旨在研究ＡＳＮ．１描述数据类型的抽象符号、数据类型、构造规则、数据值、子类型和宏的概念及定义，数据类型值的描述格式，基本的编码规则ＢＥＲ。文中以若干实例表述了ＡＳＮ．１描述语言的应用。     

基于BPN和SPN模型的系统性能分析方法

本文讨论了ＢＰＮ的基本概念，给出了ＢＰＮ典型的Ｐｃｔｒｉ网模型、分析方法和分析性质，描述了由ＢＰＮ扩展的ＳＰＮ和ＤＴＳＰＮ的概念，结合ＳＰＮ和ＤＴＳＰＮ模型实例给出了它们同构的ＭａｒｋｏｖＣｈａｉｎ（ＭＣ）、标记概率和标志概率的计算结果。实践表明，ＳＰＮ能为具有随机过程的系统进行建模和定量分析，是扩展的ＢＰＮ中一种十分有用的分析工具．     

异型通讯协议互连的数据描述形式化语言ASN.1

ＡＳＮ．１是由ＬＳＯ和ＣＣＩＴＴ定义的以支持描述网际通讯协议中规定类型，类型值和传送格式的形式化语言。本文旨在研究ＡＳＮ．１描述数据类型的抽象符号，数据类型，构造规则，数据值，子类型和宏的概念及定义，数据类型值的格式，基本的编码规则ＢＥＲ。文中以若干实例表述了ＡＳＮ．１描述语言的应用。