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