朱晓梅
- 作品数：4 被引量：3H指数：1
- 供职机构：华中理工大学计算机科学与技术学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 分布式实时系统事件关系模型
- 1995年
- 分布式实时系统是当前计算机科学研究的一前沿领域。由于分布式实时系统本身的特点和其所嵌入环境规模的日益扩大,分布式实时系统的说明、设计、验证都很困难。系统说明是进行形式设计和验证的基础,因而必须开发出相应的系统说明方法。本文介绍了用事件关系模型来描述分布式实时系统的说明方法,其关键部分在于说明以对象为实体的事件之间的关系,利于系统形式设计与验证的实现。
- 朱晓梅刘键
- 关键词：分布式实时系统
- 基于消息通信的源到源并行编译实现中的几个问题
- 1997年
- 本文介绍了几个在实现基于消息通信的源到源并行编译中遇到的问题,如计算模型的选取、源程序中输入与输出语句的处理、过程参数引起的数据传送量不确定的问题、IF语句引起的消息传送的不确定性、数组的部分修改与整体相关的矛盾性、以及非结构化的控制语句问题,并给出了其中一些问题的实现方案。
- 朱晓梅
- 关键词：并行计算机消息通信
- 一种关于DO－loop并行划分的新观点与新方法被引量：2
- 1996年
- 本文提出了一个分配相关新概念以及与此相应的基于迭代空间等价分类的ＤＯ－ｌｏｏｐ并行划分的新观点与新方法．这种方法的主要特点是：①是关于以ＤＯ－ｌｏｏｐ并行划分的一个一般的统一的方法，能解决所有ＤＣ－ｌｏｏｐ的并行划分问题．②能准确地挖掘出程序中所有ＤＯ－ｌｏｏｐ的并行性，并且同时自动完成数据划分与计算划分．③最适用于ＭＩＭＤ与ＳＰＭＤ的大粒度并行划分．④可以和任务级并行划分技术、向量化技术、流水线技术结合起来，从而全面挖掘各主要抽象级并行性．
- 刘键谢卫朱晓梅谷秋艳
- 关键词：链接点计算机
- 分布式实时处理形式开发技术导论被引量：1
- 1995年
- 本文从程序设计的实质开始,讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题,提出了我们的看法并且论述了形式方法的分类,结合若干典型例子,对各类方法的特点也作了一些介绍。
- 刘键朱晓梅
- 关键词：软件开发程序设计
