江西师范大学计算机科学系
- 作品数：52 被引量：147H指数：6
- 相关作者：宋群徐明发钟元生更多>>
- 相关机构：上海交通大学电子信息与电气工程学院上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金江西省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学经济管理社会学更多>>
- 利用循环不变式理解和开发程序被引量：5
- 1996年
- 本文论述循环不变式及其开发技术和程序设计的联系。并通过实例说明循环不变式在理解和开发程序中的巨大作用。
- 李云清薛锦云
- 关键词：循环不变式程序设计
- 代数规范描述及其语义的研究
- 1994年
- 用代数规范描述来描述抽象数据类型的基本思想是用它的标记和特征性质来说明抽象数据类型,它们的性质可用多类逻辑形式来表示,通常为受限的一价逻辑。
- 宋群聂承启
- 关键词：抽象数据类型语义
- VB应用程序动态连接与创建数据库表的实现被引量：4
- 2006年
- 讨论在VB数据库开发环境和Access 2000数据库管理系统中,如何实现VB应用程序动态创建和连接数据库表。
- 胡建红周世科谢晓明
- 关键词：VB数据库表
- 强函数依赖与偏序结构被引量：1
- 1993年
- 本文定义了强函数依赖概念,研究了具有强函数依赖关系模式的偏序结构,导出了确定所有候选关键字的新理论。根据该理论,开发了求解所有候选关键字的最优算法。
- 周定康
- 关键词：数据库
- 一种设计模式的混合规范描述模型研究被引量：19
- 2001年
- 设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。
- 万剑怡薛锦云
- 关键词：设计模式软件设计
- 消元法化简关系模式求所有候选关键字新方法
- 1995年
- 本文研究了通过消元法将一个关系模式化成与之具有相同候选关键字的一组简单关系模式的理论和方法。
- 周定康
- 关键词：数据库候选关键字消元法
- 一种基于设计模式的三阶段并行程序设计方法被引量：17
- 2002年
- 并行程序的可编程性是并行计算的难点之一 ,使用传统的方法对非数值问题进行并行求解则更加困难 .通过对设计模式概念的扩展 ,定义了算法模式与结构模式 ,以此为基础提出了一种基于设计模式的三阶段并行程序设计方法 ,并通过算法模式库与结构模式库实现对该方法的系统支持 .该方法不仅可用于一般的数值问题求解 ,而且在处理复杂的非数值问题时与传统方法相比要简单得多 .
- 万剑怡孙永强薛锦云
- 关键词：设计模式并行程序设计方法可编程性
- 一种异构计算系统中考虑通信冲突的有效任务调度算法被引量：1
- 2002年
- 任务调度是异构计算的核心问题之一 .现有的异构计算系统的任务调度算法基本上没有考虑任务通信时可能在同一通道中发生冲突的情况 ,因而造成任务调度的结果与实际运行结果之间的差异 .本文提出了一种异构计算系统中的基于表调度 (list scheduling)的启发式任务调度算法 ,该算法考虑了任务通信中通道冲突的情况 ,在不提高算法复杂度的同时提高了任务调度的性能 .
- 万剑怡孙永强薛锦云
- 关键词：异构计算系统启发式算法计算机
- 关系模式中候选码数
- 1994年
- 本文研究了关系模式中可能出现的候选码数;候选码数与属性、函数依赖之间的关系;候选码数的极值问题.
- 周定康
- 关键词：候选码关系数据库
- Ada异常处理机制在容错可重用部件中的应用
- 1995年
- 软件容错是提高软件可靠性的重要手段,可重用软部件必须提供软件容错的措施。本文将Ada提供的异常处理机制作为软件容错的工具,分析了用这种工具实现多版本程序设计、恢复块技术和防卫式程序设计等典型的容错技术的途径,介绍了在可重用部件中构造异常处理程序直接实现软件容错的方法,最后还讨论了异常处理机制在容错软件中的应用准则。
- 吴云峰薛锦云杨庆红
- 关键词：容错异常处理机制程序设计可重用部件
