论文部分内容阅读
基于静态分析的Ada数据流分析方法
【机 构】
：
航空航天大学计算机系
【出 处】
：
第六届全国抗恶劣环境计算机学术年会
【发表日期】
：
1996年期
其他文献
ＧＩＶＥ是我国第一个完全基于数据流机制造的通用可视化平台，它采取模块化用户界面，用户只需定义一些模块之间的接口，即可以方便地实现一个针对专门应用的可视化系统，数据封装是为数据流
一句式的界定
"一"在动词、形容词前的分布较为复杂,就目前的研究成果来看,可以归纳为三类情况:一是"一·V/Adj."用在其他动词之后,形成完整句,如"这部电影值得一看"、"这件事不值得一提"、"房间已经粉刷一新"、"精神为之一振"等.二是用于"一…就…"句式,此句式语法学界已经给予了较多的关注,做了比较多的研究,这里不再赘述.
该文章介绍了基于汇编语言的数据流自动测试工具ＡＤＴＡ（Ａｕｔｏｍａｔｉｃ Ｄａｔａｆｌｏｗ Ｔｅｓｔ Ｆｏｒ Ａｓｓｅｍｂｌｙ Ｐｒｏｇｒａｍ）的设计，并针对设计过程中所遇到的程序自动插装等问题，提出一些解决办法。
该文研究帧同步头的高速检出问题，提出了一种脉动阵列处理方法用于帧同步头的提取。分析和实验表明该方法可以达到较高的吞吐率，可以用于高速数据流的证同步。
根据《世界汉语教学学会章程》中关于“本会每三年举行一次大型学术讨论会”之规定 ,并经 2 0 0 1年 5月 11日在中国上海召开的本会第五届第二次常务理事会议研究决定 ,2 0 0
本文介绍了ATM网络的四种数据流CBR、VBR、ABR、UBR建立ATM连接和数据流管理内容，带宽管理的特点，基于每条虚通道（VC）的数据流排队，智能缓存和分组数据包舍弃等。