【摘 要】
：
该文对系统级设计结果验证问题以及以系统任务为模型的任务模型检验方法MCTL进行了讨论.为了实现系统级设计结果检验,该文第三部分讨论了功能、任务及其约束条件,以及任务的
论文部分内容阅读
该文对系统级设计结果验证问题以及以系统任务为模型的任务模型检验方法MCTL进行了讨论.为了实现系统级设计结果检验,该文第三部分讨论了功能、任务及其约束条件,以及任务的规范定义.根据讨论的结果,该文第四部分给出了建立功能模块、验证规范的具体规则,提出了具体的算法结构.该文第五部分对MCTL软件系统的编制结构及实现算法进行了介绍.同时,给出了相应的应用实例.该文作者根据MCTL算子、约束条件和MCTL算法,编制了一个基于任务模型的验证系统-MCTL系统.该文主要对以下几个软件的编制思想进行了介绍:(1)库函数(2)自动布线功能(3)功能描述规则输入智能化(4)基本功能算子图的生成(5)后台故障识别另外,该文对软件中所设计的数据结构和软件的功能实现也进行了详细的介绍.在撰写该文和程序测试的过程中,作者也发现了软件的一些局限性,并提出了一些改进建议.
其他文献
信道辨识与均衡是无线通信系统中的一个重要环节,该文重点讨论了盲MIMO信道辨识和均衡问题.该文采用的信道辨识方法是利用系统输出信号的高阶统计量构造出系统的估计,此方法
水稻作为全世界最重要的粮食作物之一，却连年遭受着病害的侵扰，稻米产量和质量的提高受到严重制约。白叶枯病是我国最严重的水稻病害之一，水稻白叶枯病(Bacterial blight of ric
嵌入式系统的概念自提出以来得到了突飞猛进的发展,嵌入式系统被定义为以应用为中心、以计算机技术为基础、软件硬件可裁剪、适应于对功能、可靠性、成本、体积、功耗严格要
在该论文中,我们利用磁控溅射的AlO作为缓冲层在Si(111)衬底上制备GaN膜,这首先可以解决以上提到的三个困难;另外,在硅与GaN之间引入一层α-AlO绝缘层对于实现硅-绝缘体技术
ATM网络的多业务复用特性及其对QoS的承诺，使得其流量和拥塞控制变得非常复杂。总的来说，ATM网络的流量控制包括开环控制机制和闭环控制机制。开环机制包括连接允许控制，使用参
At present,China’s agricultural product trade is facing the development dilemma. The trade deficit is expanding,market and product structure is irrational,and
随着电信网和Internet网络的迅猛发展，多媒体通信的广泛应用，光纤通信已成为信息社会的支柱。同步数字体系(SDH)标准已由国际电信联盟ITU-T确立为世界性高速数字传输标准。SDH
dsRNA病毒的复制与组装常常在一种称之为病毒包涵体或病毒加工厂(ViralInclusionBodies,VIBorViralFactories)的特殊细胞结构中进行。这种结构包含完整或不完整的病毒颗粒、
本文结合移动通信技术和Internet互联网技术的发展趋势及人们对移动数据通信业务的不断需求，在对目前各种无线网络技术进行深入了解的基础上，对异构无线网络互联课题进行了深入