论文部分内容阅读
本文给出了用变换软件开发方法模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机器上运行的程序，整个开发过程是用变换型语言Ｐｏｌｙａ写的，最后提出了Ｐｏｌｙａ的改进建议。
用变换型方法模拟开发电话交换系统
【摘 要】
：
本文给出了用变换软件开发方法模拟开发电话交换系统的描述，由抽象的软件规范出发，通过一系列变换实现了数据的精化和操作的分解，最终得到可在机器上运行的程序，整个开发过程是用
【机 构】
：
北京大学计算机科学技术系
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年7期
【基金项目】
：
国家自然科学基金,863项目的资助
其他文献
视唱练耳课程,是学习音乐中必不可少的一项内容,是与理论相联系的一门重要学科。本文从音乐美学的视角,对视唱练耳与音乐审美的关系进行了初步探讨。认为视唱练耳学习者不仅
以鲢、鳙正反交所得1龄鱼种(分别记为正交鲢♀×鳙♂、反交鲢♂×鳙♀)进行生长及体型对比试验,饲养150 d。结果表明,反交比正交在体长和体重的增长上分别快9.28%、3
2006年，水利部、中国科学院水工程生态研究所争取并承担了20余项研究项目，积极参与了《长江流域综合规划》修编和《三峡水库消落区治理与保护规划纲要》的编制等方面的工作。该
本文介绍一个基于实例原型的设计支持工具ＤＥＳＴ２．０。在定义了实例原型之后，本文介绍了ＤＥＳＴ２．０的系统建立，并详细描述了基于神经网络的实例相似度的判定算法以及基于约束的方案修改策略。
有关专家研究发现,手部活动的训练会对大脑细胞产生良好的刺激作用,有利于大脑智力开发。陶艺教育是一种符合幼儿身心特点的综合性教育活动,幼儿在活动中通过切、拍、压、等
就目前西湖风景名胜区(以下简称'名胜区')的工作而言,西湖申遗是重点任务,而通过申遗所达到的效果更是名胜区所期望的目标。在申遗过程中,如何协调好发展和保护的关
杭州灵隐飞来峰石刻造像在我国古代造像艺术史上具有重要地位,是我国东南沿海最大的一处摩崖造像群,共有五代至宋、元、明各代造像345尊,分布于灵隐冷泉溪沿溪的南部石壁和洞
张之洞不仅是晚清洋务大臣,还是清末著名的教育家。在他督鄂的十七年里,其兴学育才思想逐渐形成,他的一系列举措加快了湖北教育的发展。到20世纪初叶,湖北教育已然领先全国。
清末新政时期是中国近代化改革中不可忽视的阶段,袁世凯在这一时期提出了推广新式学堂教育、建立合理的教育体制思想,践行学习国外的教育经验,这极大地丰富了中国近代教育改
本文研究的ＰＲＮＳ加法算法是运算器内的并行机制，作者在ＰＲＮＳ数母加法器的研制中，提出了一种新的ＰＲＮＳ数母加法器的逻辑结构，并严密地分析了比较各种实现方案，得出一个最佳选择。