谢卫
- 作品数：13 被引量：7H指数：2
- 供职机构：华中理工大学计算机科学与技术学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 长度受限情况下包含汉字字符串的打印方法
- 1995年
- 本文介绍了一种简单实用的字符串打印方法,使得当需要打印的字符串中包含汉字信息,且报表栏的长度一定时,能够对字符串进行正常切割,所切的字符串不至于将一个汉字一分为二。
- 金海谢卫
- 关键词：程序设计FOXBASE语言字符串
- call图与基于call图的相关分析
- 1993年
- call图用来反映程序中过程之间的调用关系,在程序分析和程序转换中起着重要的作用。本文首先讨论了简单情形下call 图的构造算法,然后提出了过程向量及其映射函数的概念,从而设计出一种针对允许过程作为参数时call 图的构造算法,并对该算法进行了详细的分析,其时间复杂度为O(n)。本文最后讨论并分析了基于call 图的程序相关分析方法。
- 谢卫徐碚刘键
- 用户自定义屏幕录入布局的方法
- 1994年
- 在使用Foxbase等进行管理信息系统设计时,其中经常要处理的功能之一就是数据登录。一般地,数据登录模块是由系统设计师在需求调查阶段根据用户的需求和数据库的内容进行屏幕设计和布局的,一旦设计好以后,用户就不能再对屏幕录入布局进行干预了。这样做大大限制了用户在使用系统时的灵活性和方便性,一个自然的想法就是在系统设计完以后,即用户在使用系统的过程当中能够对屏幕录入布局进行动态定义。本文提出了一种切实可行的实现方法。
- 金海谢卫
- 关键词：FOXBASE数据库屏幕
- A树搜索算法代价与误差关系的研究被引量：3
- 1995年
- 本文对Ｐｅａｒｌ提出的Ａ＊算法所使用的可采纳性启发式函数ｈ的准确性和期望代价之间的精确关系的两个定理做了介绍，并提出和证明了为确保这两个定理正确性的附加条件．
- 金海谢卫
- 关键词：树搜索启发式函数
- 一种关于DO－loop并行划分的新观点与新方法被引量：2
- 1996年
- 本文提出了一个分配相关新概念以及与此相应的基于迭代空间等价分类的ＤＯ－ｌｏｏｐ并行划分的新观点与新方法．这种方法的主要特点是：①是关于以ＤＯ－ｌｏｏｐ并行划分的一个一般的统一的方法，能解决所有ＤＣ－ｌｏｏｐ的并行划分问题．②能准确地挖掘出程序中所有ＤＯ－ｌｏｏｐ的并行性，并且同时自动完成数据划分与计算划分．③最适用于ＭＩＭＤ与ＳＰＭＤ的大粒度并行划分．④可以和任务级并行划分技术、向量化技术、流水线技术结合起来，从而全面挖掘各主要抽象级并行性．
- 刘键谢卫朱晓梅谷秋艳
- 关键词：链接点计算机
- 并行程序构造与测试的一种方法
- 1993年
- 本文以数据驱动的并行计算模型及其证明框架为理论基础,进一步探讨了并行程序构造及其关键步骤即谓词并行分解的理论与方法,得到一些较为实用的结果,在此基础上,最后讨论了并行程序的测试方法以及如何获得数据驱动的并行程序问题。
- 刘键谢卫
- 程序转换中的中间表示
- 1993年
- 程序的中间表示是一种与源程序等价的程序的可分析形式。本文根据程序转换、划分与优化的需要、对文献[1]提出的程序PDG图进行了改进和扩充,在此基础上提出了系统相关图的概念,并详细地讨论了它们的构造算法。
- 谢卫刘键李胜利
- 一个有效的数组下标相关性测试方法被引量：2
- 1993年
- 在并行化编译中,DO-循环中数组下标对之间数据相关性的有效测试一直是人们研究的问题、本文针对两种常用的相关性测试方法——GCD测试方法Banerjee不等式测试方法—存在的不足,提出了一种区间方程测试方法,它是上述两种方法的综合,但在不增加测试复杂性的前提下具有更高的精度。
- 谢卫刘键李胜利
- 关键词：数组
- 关于MIMD系统顺序并行转换的正确性
- 1993年
- 本文先根据Keller并行程序模式介绍程序等价性概念,然后重点阐述HZPARA系统中顺序程序并行转换规则及其不变性质,最后,给出顺序程序与其并行转换后的并行程序的等价性定理。
- 刘键谢卫鄢勇
- 进程划分的一个合并算法
- 1993年
- 本文把并行进程划分问题,看成是寻求一个进程流程图的合并变换序列问题,以我们先前得到的一个加速比估计式为指导,以响应时间最短为目标,对这种合并变换的正则性与效益因素进行了研究,从而发现了所有可能的有最大效益的正则变换,当不断地进行变换时,就能不断地单调地增加率益,直到一趟扫瞄完毕再不可能改善时为止。
- 刘键谢卫彭国强
