江西师范大学计算机科学系
- 作品数：52 被引量：148H指数：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年
- 本文研究了通过消元法将一个关系模式化成与之具有相同候选关键字的一组简单关系模式的理论和方法。
- 周定康
- 关键词：数据库候选关键字消元法
- Ada异常处理机制在容错可重用部件中的应用
- 1995年
- 软件容错是提高软件可靠性的重要手段,可重用软部件必须提供软件容错的措施。本文将Ada提供的异常处理机制作为软件容错的工具,分析了用这种工具实现多版本程序设计、恢复块技术和防卫式程序设计等典型的容错技术的途径,介绍了在可重用部件中构造异常处理程序直接实现软件容错的方法,最后还讨论了异常处理机制在容错软件中的应用准则。
- 吴云峰薛锦云杨庆红
- 关键词：容错异常处理机制程序设计可重用部件
- 自动提取程序异构性的框架
- 1999年
- 异构计算是并行处理的一个新领域，可望达到超级线性加速比。提取程序的异构性是异构计算的一个重要步骤，但是直到目前为止，还没有任何自动提取程序并行特征的研究报导。这方面的工作难度大，概念和术语含糊不清，本文从程序结构和程序运行的观点出发，清楚地给出了单指令多数据流（ＳＩＭＤ）、多指令多数据流（ＭＩＭＤ）并行性的形式定义，它是提取程序异构性的依据。文中还提出了基于程序结构变换和基于性能分析的两种方法，该方法可作为开创自动提取程序异构性的框架。
- 曾国荪陆鑫达周定康
- 关键词：异构计算性能分析并行计算机
- 二维Possion型点过程及其性质
- 1993年
- 本文从直观上给出二维Possion型点过程的定义,并应用概率生成函数的方法推导出其解析表达式,最后讨论了其若干特征。
- 王明文
- 关于群组决策特征根法的注记被引量：7
- 1999年
- 邱苑华教授提出了一个群组决策的特征根法GEM(Groupeigenvaluemethod),为决策支持系统中的专家选择开辟了新路,但文中主要定理所需要的条件是不满足的.本文作者给出了反例,并提出了使用特征根法时的一个准则.
- 王明文谭玮
- 关键词：群组决策反例特征根法
