江西师范大学计算机科学系
- 作品数：53 被引量：148H指数：6
- 相关作者：宋群徐明发钟元生更多>>
- 相关机构：上海交通大学电子信息与电气工程学院上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金江西省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学经济管理自然科学总论更多>>
- 利用循环不变式理解和开发程序被引量：5
- 1996年
- 本文论述循环不变式及其开发技术和程序设计的联系。并通过实例说明循环不变式在理解和开发程序中的巨大作用。
- 李云清薛锦云
- 关键词：循环不变式程序设计
- 代数规范描述及其语义的研究
- 1994年
- 用代数规范描述来描述抽象数据类型的基本思想是用它的标记和特征性质来说明抽象数据类型,它们的性质可用多类逻辑形式来表示,通常为受限的一价逻辑。
- 宋群聂承启
- 关键词：抽象数据类型语义
- VB应用程序动态连接与创建数据库表的实现被引量：4
- 2006年
- 讨论在VB数据库开发环境和Access 2000数据库管理系统中,如何实现VB应用程序动态创建和连接数据库表。
- 胡建红周世科谢晓明
- 关键词：VB数据库表
- 强函数依赖与偏序结构被引量：1
- 1993年
- 本文定义了强函数依赖概念,研究了具有强函数依赖关系模式的偏序结构,导出了确定所有候选关键字的新理论。根据该理论,开发了求解所有候选关键字的最优算法。
- 周定康
- 关键词：数据库
- 软件开发方法
- 薛锦云
- 选定以复杂算法程序的形式化技术为研究重点，取得了一系列创造性成果。提出了孪生圈，冠，展布树等新的抽象数据结构和解循环置换乘方问题的新算法，改进了Ｈｏｐｃｒｏｆｔ－Ｔａｒｊａｎ图平面性算法；提出了三种新的可重用部件模式，新...
- 关键词：
- 关键词：数据模型数据结构程序设计软件开发
- 求候选关键字的替换算法及其正确性和完备性证明被引量：5
- 1994年
- 本文研究了用替换方法求解候选关键字的理论和算法，并证明了该算法的正确性和完备性．
- 周定康
- 关键词：数据库候选关键字
- Java多线程机制及其应用被引量：12
- 2000年
- 在分析现有进程概念局限性的基础上 ,阐述了引入线程概念的必要性 ,进而给出了线程的确切定义和主要特征。最后描述了支持 Java多线程程序设计的语言机制和方法 ,并指出了线程实际应用领域。
- 王保华薛锦云丁树良
- 关键词：多线程程序设计JAVA语言面向对象
- 数据并行程序中的动态负载平衡模型被引量：2
- 2000年
- 在研究分析已有的负载平衡策略算法的基础上．应用Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ的信任函数理论，提出了一种基于信度网络的负载平衡策略算法，此算法较适应动态负载平衡，而且优于负载平衡的随机算法，若忽略系统的通信花费则可达到系统的完全负载平衡，综合各种费用，提出的算法通过状态管理器，在不完全信息的状态下可使系统达到较满意的平衡．此外，基于信度网络的负载平衡策略算法不仅适应于虚拟非规则网络，也适应于虚拟规则网．
- 王明文陆宁孙永强薛景云
- 关键词：动态负载平衡数据分布数据并行信任函数
- 一种设计模式的混合规范描述模型研究被引量：19
- 2001年
- 设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。
- 万剑怡薛锦云
- 关键词：设计模式软件设计
- 消元法化简关系模式求所有候选关键字新方法
- 1995年
- 本文研究了通过消元法将一个关系模式化成与之具有相同候选关键字的一组简单关系模式的理论和方法。
- 周定康
- 关键词：数据库候选关键字消元法
