排序方式: 共有23条查询结果,搜索用时 562 毫秒
1.
计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。 相似文献
2.
为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性. 相似文献
3.
一种基于Bayes信任模型的可信动态级调度算法 总被引:3,自引:0,他引:3
提出了一种基于信任机制的任务调度模型,该模型通过借鉴社会学中的人际关系信任模型,建立网格节点间的信任关系,利用Bayes方法对节点的可信度进行评估,将节点的可信度并入DLS算法得到可信动态级调度(Trust-DLS)算法.仿真结果证实,提出的Trust—DLS算法能以较小的时间花费为代价,有效提高应用任务在可信方面的服务质量需求,保证网格环境中任务安全可信的执行。 相似文献
4.
为了实现多租户的云计算环境下用户对计算资源的公平使用,用有限资源应对最大量的用户需求,针对云计算中成批到达的可划分独立任务,研究了一种基于时分复用的虚拟化资源管理方法.将整个云中计算资源作为复用对象,根据用户任务需求确定资源的复用周期和时间片,给出了资源时分复用的多种策略,并且对不同策略进行了深入的性能指标分析,形成了相应结论,以应对和指导不同应用场景.最后验证了资源管理方法的有效性. 相似文献
5.
异构计算的一种可移植编程模型及实现 总被引:2,自引:1,他引:1
介绍了异构计算的一种编程模型.该模型处理的对象是任意非一致的求解任务映射到任意非一致的系统结构上.文中分别给出了任务图的分簇算法,系统图的分簇算法和映射算法及实例.利用该模型可设计出可移植的并行程序,然后调度到可动态配置的异构计算机组织上运行 相似文献
6.
对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。 相似文献
7.
综述了网络化软件自适应动态演化技术,以软件演化基本概念为基础,深刻分析了网络化软件自适应动态演化的动因,重点评述了网络软件自适应动态演化技术在需求捕捉、情境建模、感知操作、决策技术、演化操作五个方面的发展现状,由此指出网络化软件自适应动态演化面临的挑战和发展趋势. 相似文献
8.
异构计算开发最大循环并行性 总被引:1,自引:1,他引:0
首先给出了循环最大加速比的定义,它是循环体中隐含并行性大小的度量,并且讨论Do循环的各种类型和它们的相关性以及隐含的并行性.在异构环境中,如何开发这些并行性,文中给出了几种方法,这就是异构计算消除串行瓶颈,异构Do-all-loop调度,异构Do-aross调度.无论在理论分析还是在实验结果上,这些方法所得得的计算性能都优于同构计算. 相似文献
9.
基于超图文法的软件体系结构动态演化 总被引:2,自引:0,他引:2
提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架. 相似文献
10.
南昌市区公交线路优化方法 总被引:1,自引:0,他引:1
曾国荪 《江西师范大学学报(自然科学版)》1999,23(1):53-56
该文应用系统工程的观点,提出了解决南昌市区公交难的办法。 相似文献