陈靖
- 作品数：8 被引量：21H指数：2
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 湍流稀液雾两相流燃烧的大涡模拟和火焰面模型相关问题研究
- 稀液雾燃烧工程应用广泛，深受研究者关注。随着计算能力的增强和数值模型的不断优化，数值模拟在研究稀液雾燃烧机理、指导燃烧器设计等方面发挥着越来越重要的作用。大涡模拟(LES)方法能够求解湍流中的大尺度含能结构，基于火焰面的...
- 陈靖
- 关键词：大涡模拟
- 一种新的MPI_Allgather算法及压缩查询并行算法研究
- 消息传输界面MPI是目前使用最广泛的并行程序设计平台，包括点到点通信和集合通信两种模式。作为并行计算的基础，通信的性能对于并行应用程序性能有着重要的影响。MPIAllgather是MPI库中使用频率最高的集合通信函数之一...
- 陈靖
- 关键词：集合通信性能评测
- 文献传递
- 时间符号迁移图及其互模拟判定被引量：3
- 2002年
- 引入时间符号迁移图的概念 ,作为既涉及通讯又具有实时性的并发系统的模型 .该文给出了这种迁移图时间互模拟的算法 。
- 陈靖林惠民
- 关键词：实时系统数据传送互模拟计算机
- 稠密时间表示及冗余消除被引量：1
- 2003年
- 算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重点.在当前实时领域(尤其是在基于稠密/连续时间语义)的算法研究中,该问题十分突出.从信息之间的依赖关系入手,分析了在对连续时间进行有穷表示和操作中存在的问题,通过改进范式化处理过程,给出了进行冗余信息消除的一种方法以及其正确性证明,并通过实验测试了改进的效率.
- 陈靖
- 关键词：时间自动机数据结构最短路径算法
- 带实时的传值与移动系统研究
- 该文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成.对于实时传值系统,该文的研究从计算模型与语义理论、分析与验证算法以及支持工具三个层面展开.在计算模型与语义理论方面着重探讨了带并发性的实时传值模型,定义了...
- 陈靖
- 关键词：实时系统数据传送移动计算进程代数互模拟可达性
- 文献传递
- 时间符号迁移图上的可达性分析被引量：2
- 2003年
- 提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法 ,并给出了算法的正确性证明 .
- 陈靖
- 关键词：可达性分析计算机
- 压缩算法的OpenMP并行化实现及并行解压缩初探
- 随着峰值速度达280.6万亿次 IBM BlueGene/L 机群的投入使用,高性能计算机正面临着飞速发展,双核处理器的出现使得用户面临无处不在的并行.如何将已有的串行算法并行化并在并行计算机上实现成为高性能计算发展面临...
- 宋刚蒋孟奇张云泉李玉成陈靖柳锴
- 关键词：并行编程GZIP
- 文献传递
- 一种新的MPI Allgather算法及其在万亿次机群系统上的实现与性能分析被引量：11
- 2006年
- 给出一个新的MPIAllgather算法———邻居交换算法(neighborexchange).提出的平均逻辑通信距离的概念和计算公式,可以有效地衡量通信的局部性.通过分析,发现在4种MPIAllgather算法中,邻居交换和环算法均具有最优的通信局部性.在万亿次机群深腾6800和曙光4000A上对4个MPIAllgather算法进行的性能测试和分析结果表明,邻居交换算法的长消息通信性能最优,中长消息通信性能不稳定,短消息通信性能次于递归倍增和Bruck算法.
- 陈靖张云泉张林波袁伟
- 关键词：MPI集合通信性能评测机群
