论文部分内容阅读
摘 要 随着互联网技术的不断发展，我国在计算机软硬件技术方面也取得了长足的进步，尤其是在嵌入式系统方面，对软硬件的划分有了自己独特的见解，为我国计算机互联网事业的发展与进步提供了很大的推动力。本文首先对π网的定义及其规则进行简单的描述与概括，然后概括下嵌入式系统目标，对嵌入式系统软硬件划分模型进行详细地分析，在基于π网的嵌入式系统基础上，本着全面提高软硬件性能的战略目标，探索出更加合理、更加科学的软硬件划分方法。
关键词 π网；嵌入式系统；软硬件；划分方法
中图分类号：TP302 文献标识码：A 文章编号：1671-7597（2013）15-0130-01
21世纪是一个以计算机为依托信息技术不断飞速发展的时代，这对网站设计工作者、嵌入式系统设计工作者等等要求愈来愈高，尤其是随着π网模式的发展，对嵌入式系统软硬件设计、更新、开发方面要求就更加高了。计算机工作者不仅要不断完善软硬件的设计模式，还要在满足嵌入式软硬件功能的基础上结合技术设计模式进行合理、进行划分。
1 π网的定义及其规则
所谓的π网归根结底就是一个比较高级、先进的模块化Petri网计算，此模块化Petri网是由π演算和Petri网组成，两部分进行一系列的结合而形成高效、模式化组合。其中π网主要由两个重要部分组成，他们分别是基本的π网和π网的复合规则。
无论是什么样的π网，都是根据一系列的基本π网复合规则而进行组合。通常来讲，π网可以分为四种，第一种是Tau网N，第二种是匹配网，第三种是输入网，最后一种则是输出网N。这些不同种类的π网类别在相关理论基础之上进行排序组合。
2 系统目标
基于π网基础之上的嵌入式系统软硬件划分方法是否科学、合理对能否到达预期目标有着非常重要的影响，系统软硬件在不同阶段有着不同的性能要求，即性能指标数据有所差异。比如在一个嵌入式系统中，A为此系统的核心部件，那么A就是一个多元组或者是n元组，在此嵌入式系统设计中是一个需要重点观察对象。
在进行基于π网基础之上的嵌入式系统软硬件划设计时，要综合考虑各个指标性能目标与要求，进行科学的定量计算与定量分析。其中首先要对嵌入式系统在开发、设计、更新过程中所涉及的成本进行综合计算与考虑，所考虑的成本主要包含基本设备成本与设计开发成本，设备成本的高低对嵌入式系统软硬件结构组成有着重要的影响，换言之系统成本就是嵌入式系统软硬件各个构件成本之和。
3 基于π网嵌入式系统软硬件划分方法
在嵌入式软硬件协同设计中，其核心技术就是软硬件技术的划分，什么是软硬件划分呢？所谓的软硬件划分指的是在嵌入式软硬件系统中，对所要进行的功能采用软硬件方式进行确定。其中软件模块一般具有成本低、灵活性强等优点，硬件模块的优点是运行处理速度快，不过硬件模块有一个致命的缺点--成本非常高。进行软硬件划分就是为了取得一个最优组合值，在兼顾成本、效能之间取一个最优值，这对网络发展有着十分重要的影响。
近些年，越来越多的计算机工作者开始致力于软硬件划分的设计研究中，并且也取得了不俗的成绩，尤其是在π网基础之上嵌入式系统软硬件划分研究上。其实从根本上来讲，软硬件的划分其实就是完善、更新、优化问题，现如今作为一种全新的基于π网基础优化的软硬件划分计算方法--分布估计算法在软硬件划分方面发挥着重要的作用。
其实分布估计算法很简单，是一种以概率模型为基础而进行的运算方法，不过这个算法与以往算法相比而言更加简单清新明了，其计算进化模型基础皆为高适应的个体概率分布，并且此进化模型会自动生成下一代群体--子群，分布估计算法正是采用这个更为先进、科学的方法来替代传统算法，大大地提升了系统运算速度，并且也大大地扩展了系统应用空间，使得信息更加精准，群体特性明显，优化软硬件系统。
基于π网嵌入式系统功能软件一般都是通过C/C++语言来实现目标的，在不同要求、不同标准的基础上进行数据分析从而生成一个控制数据流图，此数据流图可以说是一个行为阐述描写，主要对系统软硬件进行细致划分，从而促进系统软硬件各项功能的实现。对于以Gauss网络为平台而进行分布估计算法的嵌入式系统软硬件，计算机工作者经过细致的分析发现此类算法清晰简单，计算量小，即使对于那些复杂、繁琐的以π网为基础的嵌入式系统软硬件划分也是可以的，实践证明，分布估计算法不仅可以实现嵌入式系统软硬件的划分，还能够保持计算机各项性能指标的稳定性、安全性。
4 结束语
此文中所涉及的分布估计算法，是针对基于π网嵌入式系统软硬件而进行的一种划分方法，无论是单处理器还是双处理器，此算法都是可以应用的。分布估算法不仅可以进行科学、合理的嵌入式系统软硬件划分，还能够促进计算机软硬件系统的安全性与稳定性。不过在此文中，并没有不同任务之间的通信模式、调度模式考虑在内，因此在基于π网嵌入式系统软硬件划分实际工作开展过程中，还要将其他相关因素统统考虑在内，只有这样，才会真正地促进系统软硬件划分与功能的实现。
参考文献
[1]邓水光.Web服务自动组合与形式化验证的研究[D].浙江大学，2007.
[2]曹木亮.基于π-演算的Petri网和密码协议的形式化分析[D].上海交通大学，2007.
[3]徐海涛.基于SOPC的软硬件划分算法研究[D].哈尔滨理工大学，2009.
[4]李康顺，李元香，康立山，吴志健.一种基于输运理论的多目标演化算法[J].计算机学报，2007（05）.
[5]郭荣佐，郭进，王霖.嵌入式系统软件体系结构动态建模及应用研究[J].计算机应用，2009（04）.
[6]彭春华，孙惠娟，郭剑峰.求解PMU多目标优化配置问题的非劣排序微分进化算法[J].控制理论与应用，2009（10）.
[7]曲长征，于永利，金伟，高鲁.基于ExSpect的复杂离散事件动态系统建模[J].系统仿真学报，2005（12）.
作者简介
陈书敏（1978-），女，荆州职业技术学院机电工程学院讲师，研究方向：计算机应用，计算机基础课程的实验教学。
关键词 π网；嵌入式系统；软硬件；划分方法
中图分类号：TP302 文献标识码：A 文章编号：1671-7597（2013）15-0130-01
21世纪是一个以计算机为依托信息技术不断飞速发展的时代，这对网站设计工作者、嵌入式系统设计工作者等等要求愈来愈高，尤其是随着π网模式的发展，对嵌入式系统软硬件设计、更新、开发方面要求就更加高了。计算机工作者不仅要不断完善软硬件的设计模式，还要在满足嵌入式软硬件功能的基础上结合技术设计模式进行合理、进行划分。
1 π网的定义及其规则
所谓的π网归根结底就是一个比较高级、先进的模块化Petri网计算，此模块化Petri网是由π演算和Petri网组成，两部分进行一系列的结合而形成高效、模式化组合。其中π网主要由两个重要部分组成，他们分别是基本的π网和π网的复合规则。
无论是什么样的π网，都是根据一系列的基本π网复合规则而进行组合。通常来讲，π网可以分为四种，第一种是Tau网N，第二种是匹配网，第三种是输入网，最后一种则是输出网N。这些不同种类的π网类别在相关理论基础之上进行排序组合。
2 系统目标
基于π网基础之上的嵌入式系统软硬件划分方法是否科学、合理对能否到达预期目标有着非常重要的影响，系统软硬件在不同阶段有着不同的性能要求，即性能指标数据有所差异。比如在一个嵌入式系统中，A为此系统的核心部件，那么A就是一个多元组或者是n元组，在此嵌入式系统设计中是一个需要重点观察对象。
在进行基于π网基础之上的嵌入式系统软硬件划设计时，要综合考虑各个指标性能目标与要求，进行科学的定量计算与定量分析。其中首先要对嵌入式系统在开发、设计、更新过程中所涉及的成本进行综合计算与考虑，所考虑的成本主要包含基本设备成本与设计开发成本，设备成本的高低对嵌入式系统软硬件结构组成有着重要的影响，换言之系统成本就是嵌入式系统软硬件各个构件成本之和。
3 基于π网嵌入式系统软硬件划分方法
在嵌入式软硬件协同设计中，其核心技术就是软硬件技术的划分，什么是软硬件划分呢？所谓的软硬件划分指的是在嵌入式软硬件系统中，对所要进行的功能采用软硬件方式进行确定。其中软件模块一般具有成本低、灵活性强等优点，硬件模块的优点是运行处理速度快，不过硬件模块有一个致命的缺点--成本非常高。进行软硬件划分就是为了取得一个最优组合值，在兼顾成本、效能之间取一个最优值，这对网络发展有着十分重要的影响。
近些年，越来越多的计算机工作者开始致力于软硬件划分的设计研究中，并且也取得了不俗的成绩，尤其是在π网基础之上嵌入式系统软硬件划分研究上。其实从根本上来讲，软硬件的划分其实就是完善、更新、优化问题，现如今作为一种全新的基于π网基础优化的软硬件划分计算方法--分布估计算法在软硬件划分方面发挥着重要的作用。
其实分布估计算法很简单，是一种以概率模型为基础而进行的运算方法，不过这个算法与以往算法相比而言更加简单清新明了，其计算进化模型基础皆为高适应的个体概率分布，并且此进化模型会自动生成下一代群体--子群，分布估计算法正是采用这个更为先进、科学的方法来替代传统算法，大大地提升了系统运算速度，并且也大大地扩展了系统应用空间，使得信息更加精准，群体特性明显，优化软硬件系统。
基于π网嵌入式系统功能软件一般都是通过C/C++语言来实现目标的，在不同要求、不同标准的基础上进行数据分析从而生成一个控制数据流图，此数据流图可以说是一个行为阐述描写，主要对系统软硬件进行细致划分，从而促进系统软硬件各项功能的实现。对于以Gauss网络为平台而进行分布估计算法的嵌入式系统软硬件，计算机工作者经过细致的分析发现此类算法清晰简单，计算量小，即使对于那些复杂、繁琐的以π网为基础的嵌入式系统软硬件划分也是可以的，实践证明，分布估计算法不仅可以实现嵌入式系统软硬件的划分，还能够保持计算机各项性能指标的稳定性、安全性。
4 结束语
此文中所涉及的分布估计算法，是针对基于π网嵌入式系统软硬件而进行的一种划分方法，无论是单处理器还是双处理器，此算法都是可以应用的。分布估算法不仅可以进行科学、合理的嵌入式系统软硬件划分，还能够促进计算机软硬件系统的安全性与稳定性。不过在此文中，并没有不同任务之间的通信模式、调度模式考虑在内，因此在基于π网嵌入式系统软硬件划分实际工作开展过程中，还要将其他相关因素统统考虑在内，只有这样，才会真正地促进系统软硬件划分与功能的实现。
参考文献
[1]邓水光.Web服务自动组合与形式化验证的研究[D].浙江大学，2007.
[2]曹木亮.基于π-演算的Petri网和密码协议的形式化分析[D].上海交通大学，2007.
[3]徐海涛.基于SOPC的软硬件划分算法研究[D].哈尔滨理工大学，2009.
[4]李康顺，李元香，康立山，吴志健.一种基于输运理论的多目标演化算法[J].计算机学报，2007（05）.
[5]郭荣佐，郭进，王霖.嵌入式系统软件体系结构动态建模及应用研究[J].计算机应用，2009（04）.
[6]彭春华，孙惠娟，郭剑峰.求解PMU多目标优化配置问题的非劣排序微分进化算法[J].控制理论与应用，2009（10）.
[7]曲长征，于永利，金伟，高鲁.基于ExSpect的复杂离散事件动态系统建模[J].系统仿真学报，2005（12）.
作者简介
陈书敏（1978-），女，荆州职业技术学院机电工程学院讲师，研究方向：计算机应用，计算机基础课程的实验教学。