论文部分内容阅读
计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组织ISO/TC97/SC21/WG1关于FDT特别小组提出的。本文在研究了标准LOTOS的基础上,对其进程语法表示方法进行了重大改进,提出直观LOTOS的概念。
形式描述技术：直观LOTOS的提出和研究
【摘 要】
：
计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组织ISO/TC97/SC21/WG1关于FDT特别小组提出的。本文在研究了标准LOTOS的基础上,对其进程语法表示方法进行了重大改进,提出直观LOTOS的概念。
【机 构】
：
清华大学,清华大学
【出 处】
：
通信学报
【发表日期】
：
1989年04期
其他文献
在ＡＴＭ网里业务阻塞控制是一个十分重要的问题。本文对一种缓冲漏桶业务阻塞控制算法在突发性业务输入情况下的性能进行了计算机模拟分析，模拟结果表明缓冲漏桶算法是一种适合于突发性业务的阻塞控制算法，文章在模拟结果的基础上给出了缓冲漏桶算法中参量选择的算法。
文献［１］将求Ｇｏｐｐａ码、Ａｌｔｅｒｎａｎｔ码最小距离下限归结为求循环陪集首集Ａ中最小的比ｒ大的元Ｍ（ｒ）的问题。本文研究了Ａ中元所具有的特征，并得到了计算Ｍ（ｒ）的一个有用的方法。
本文将非均匀、不规则的地形处理成阻抗表面，沿地形表面作共形网格剖分，并利用不变性测试方程法（ＭＥＩ方法），使截断边界进一步靠近地表，从而减少计算机内存的占用量，使对实际工程中遇到的电大尺寸地形的分析及研究成为可能，文中计算的电大尺寸达１８０个波长。本文对比了不同电尺寸和地形结构的散射和传播特性计算，并给出几个实用模型的计算结果。
本文利用四能级速率方程,推导出掺杂单模光纤激光器中输出功率与輸入泵浦功率之间的关系及阈值泵浦功率,并对掺钕单模光纤进行了计算。理论结果与实验结果相当吻合。
本文在假设噪声样本可用Portony模型n_i=ν_i+ρ(ν_(i+1)+ν_(i-1))表示(v_i为i.i.d.随机序列),且其边缘概率密度满足一定的正则条件下,探讨了仅已知非高斯噪声边缘分布和二
本文分析了BISDN中综合业务(数据/话音/图象)流统计复用的性能。采用变到达率泊松批量(VARPB)过程逼近统计复用系统的输入过程,形成了VARPB/D/1排队模型,求出了队列长度的分
本文介绍一种结构新颖,性能优良的8mm和频上变频器。变频器由双脊波导架、横杆结构和低耗参放变容管组成。变频器跨越X、K、Ka三个频段工作,在和频为35GHz,带宽大于500MHz下,
本文采用马尔可夫决策过程(Markov Deeision Processes)的方法,对动态无级电路交换网中业务流量的最优分配问题作了精确的数学解析,以便在状态依存网管方式下,求得平均期望收