【摘 要】
：
该文研究嵌入式系统的软硬件划分和综合的技术.提出了一种基于并行语言PL的协同设计方法.着重介绍了基于PL的软硬件划分方法,软硬件协同综合技术.PL的形式化语义为软硬件划分
论文部分内容阅读
该文研究嵌入式系统的软硬件划分和综合的技术.提出了一种基于并行语言PL的协同设计方法.着重介绍了基于PL的软硬件划分方法,软硬件协同综合技术.PL的形式化语义为软硬件划分和综合的可靠性提供了理论保障.该文的主要工作包括：1.提出了一种基于CSP的并行语言PL,建立了PL的操作语义和代数语义.PL可以作为描述嵌入式系统的基本语言.2.建立了一种基于并行语言PL的形式化软硬件体系结构;提出了一种基于基本调度块（BSB）的并行系统优化划分方法;另外,语法制导的划分规则可以用于系统的划分和软硬件成分的组合.3.提出了基于PL的软硬件综合方法.基于并行语言PL的操作语义,提出一组将语言构造模块转化为硬件电路的规则,将程序转化成具有相同功能的硬件电路,硬件实现的正确性可以通过转化规则得以保证.
其他文献
规模在T(10字节)以上的大型数据处理应用的出现和发展使得在线存取第三级存储设备的研究成为其中的重要问题,而以磁带库为代表的大容量机械手存储库设备的在线存取则显得尤为
虽然已经设计了很多不同类型的电子公文系统,有的已经投入使用,但是很多公认的问题一直没得到系统的解决,这些问题是:安全性问题、通用性问题、体系灵活性问题等等,其中安全
目前解决Web数据库技术问题的方案和产品越来越多.随着国内信息化技术的起步和发展,采用哪种技术,才能快速地建立起安全、高效、易于扩充的Web信息系统已成为企业与开发者密
数据的处理从以前的文件方式逐步发展到数据库处理的方式。数据库从开始的层次数据库、网状数据库逐步演化到关系型数据库。 在很多情况下，企业拥有大量的数据，却缺乏对这些数据的有效的处理和分析，更无法对决策分析提供信息。很多企业面临着以下问题：如何处理并利用好这些珍贵的资源，将其中蕴藏的信息转化为生产力?如何对复杂的动态环境做出及时响应并且能在大量的数据(包括历史的、当前的各种数据)中找到有用的信息
所谓移动代理(Mobile Agent),是指一种能够在网络上移动代表用户执行给定任务的应用程序,它的出现是动态网络和智能代理技术发展的结果,是现在业界的研究热点之一.作为一种新
该文研究了目前这一方面研究的发展现状,提出了通用的交互模型分析工具IMAA和交互过程分析工具IPAA两个模型.在这两种新的模型下,用户可以借助于以往分析工具的组合的特性和
国内许多行业如冶金、医药、水泥等行业都对各种原材料有贮存及配料要求，也建立了一些数学模型来解决生产中有关配料方面的问题，也有很多行业如港口、铁路、仓储行业对于原料的
众所周知，Web应用是典型的浏览器/服务器（简称B/S，下同）架构的产物，B/S架构以其轻量级、易用性强、使用灵活等优点已经逐渐成为主流的应用程序架构，但是Web应用开发领域也面临着许