【摘 要】
：
该文提出了一种基于程度代数的形式化的软硬件划分方法,并给出了基于此方法的三种不同的划分框架.我们首先研究了以协规范语言L（Occam子集）的程序代数为基础的划分框架.为了保
论文部分内容阅读
该文提出了一种基于程度代数的形式化的软硬件划分方法,并给出了基于此方法的三种不同的划分框架.我们首先研究了以协规范语言L（Occam子集）的程序代数为基础的划分框架.为了保证划分产生的软硬件部件之间的通信能正确进行.我们引入了一套握手协议.并将软硬件规范的目标结构分别限定到语言L的遵从相应握手协议的通信进程子集上,我们为这种框架设计了两套不同的罗硬件划分规则,并证明了划分过程的正确性.随后,我们对前述划分框架进行精化,得到了一种混成式的软硬件划分框架.我们还研究了以Verilog HDL作为框架语言的软硬件划分;
其他文献
该文综述了风险的定义、特征、度量风险的方法和风险估计理论,综述了极端事件风险的研究方法和现状.该文还研究了极值分布的性质和参数估计,并把它运用于防洪风险分析中.在极
在体育教学中,我发觉常有一些进入青春期的女生对体育课不感兴趣,总是借故缺席或不活动,练习时怕脏、怕累、怕艰苦.她们锻炼积极性不高,做动作拖拖拉拉,能让就让,能躲就躲,在
纽约泛欧交易所集团和运营着欧洲最大证券交易所的德意志交易所一旦合并,将创造出一个控制11个金融衍生品市场的行业巨无霸。正如电影《华尔街2》里那句著名的台词“Money ne
对一个图G的点边子集F，若图G删去F中所有的元素后所形成的图没有分数完美匹配，则称F为G的一个分数强匹配排除集.我们称分数强匹配排除集的最小阶数为图G的分数强匹配排除数.这
该文首先用较多的篇辐详细地回顾与介绍了上世纪60年代末出现的单纯不动点算法(simplicial algorithm),将现在经常使用的效率较高的Merrill重复开始算法做了适当的归纳与整理
在第一章中，系统总结了有界凸平衡域Dnp中双全纯凸映照的判定条件和Bnp上α阶双全纯凸映照的判定条件. 在第二章中，给出了Cn中的有界凸平衡域Dnp上的双全纯凸映照的一些充分
该文主要是利用序约束下的统计推断方法对临床试验中的趋势性检验问题进行了研究.首先讨论了由独立逆抽样得到的K个2×2列联表中相对差的齐一性检验问题,并给出了参数的区间
合作经济作为社会主义市场经济不可或缺的组成部分,是一种发展的经济,随着社会主义市场经济的不断发展而发展。党的十六大召开以来, 各地新的农村合作经济组织,沐着十六大的
非线性最小二乘问题在科学计算和工程技术中有广泛的应用背景，该类问题是一类特殊的最优化问题，其目标函数的二阶导数具有特殊的结构，利用其特殊结构设计特殊有效算法是优化界关
结合我园节日课程开展了端午系列的活动,所以在大班开展“赛龙舟”的游戏活动.为了让幼儿能更好的玩耍,我们把阳台打造成赛龙舟的场地,让幼儿有更多的时间玩赛龙舟游戏,玩孩