梁洪峻
- 作品数:13 被引量:137H指数:5
- 供职机构:天津大学计算机科学与技术学院计算机与信息技术系更多>>
- 相关领域:自动化与计算机技术理学矿业工程天文地球更多>>
- 形式规范语言数据求精过程的代数验证方法
- 2003年
- 软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。规范语言的求精过程可分为数据求精和过程求精。从面向模型的规范语言 (如VDM ,Z)出发 ,提出一种严格定义的类型代数理论和一组基于抽象代数的规则来验证数据求精过程 ,解决了形式规范语言在数据转换过程中的语言一致性问题。
- 王帆梁洪峻李潮
- 关键词:软件系统软件质量软件工程
- 数据仓库及其在商业的应用
- 2006年
- 应用数据仓库的基本知识,通过分析数据仓库的特点和主要应用范围及目前市场上一些数据库仓库产品,介绍了数据仓库的发展方向。
- 贺翔梁洪峻
- 关键词:数据仓库
- 一个抽象机库中B方法的研究被引量:2
- 2007年
- B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。
- 杨丹梁洪峻
- 关键词:B方法抽象机精化
- 模糊集和粗糙集被引量:42
- 2002年
- 介绍和比较了模糊集和粗糙集各自的理论和特点,同时讨论了两种理论相结合来研究问题的方法。
- 陈奇南梁洪峻
- 关键词:模糊集粗糙集不确定性知识库人工智能
- 一个基于知识的车间辅助设计系统PWADES被引量:2
- 1994年
- PWADES是一个基于知识的车间辅助设计系统,它集知识库、数据库和图形系统为一体,可以模仿选煤专业工程师完成设备选型、车间布置和绘制工程图。本文讨论它的知识库、数据库、图形系统以及它们的组织结构。
- 刘宗袆梁洪峻万忠实陈晓东吴石生
- 关键词:选煤厂CAD
- 基于UML的形式化规范说明研究被引量:10
- 2004年
- 软件的规范说明阶段 ( specification phase)对于软件的整体开发过程来说是一个非常重要的阶段 ,UML方法是目前比较流行的软件工程开发方法 ,它对软件整体开发过程提供了一套有用的模型。本文根据 UML和谓词转换 ,提出一种面向对象的形式化规范说明方法 ,并给出一组和 UML相对应的数学模型。本文的方法吸收了 UML和一般形式化方法的优点 ,具有数学的严谨性和精确性 ,并且更加易于理解和表达。
- 王帆梁洪峻
- 关键词:软件工程软件开发UML程序设计语言面向对象
- 沙尘天气影响因素的灰色关联分析被引量:2
- 2006年
- 自20世纪80年代中期以来,西藏沙尘天气显著减少,呈下降趋势,为探究造成这一变化趋势的原因,利用日喀则市1992~1995年的气象数据,运用灰色系统理论中的关联分析方法,研究了各因子对沙尘天气的影响程度,发现气温、植被及风速对沙尘天气的影响贡献最大,气候变暖、植被面积增加有助于减少沙尘.
- 唐小萍梁洪峻
- 关键词:沙尘天气影响因素灰色关联分析
- CAD专家系统集成环境CADEIE1被引量:3
- 1990年
- 本文讨论以专家系统为中心的CAD系统——CAD专家系统的应用目标、范围和限制;提出以专家系统为中心的CAD集成环境的结构;介绍了我们当前实现的CADEIE 1和它的试验性应用。
- 刘宗袆梁洪峻
- 关键词:CAD专家系统集成环境
- CSE算法:利用对频繁序列扩展来进行序列模式挖掘
- 2003年
- 序列模式挖掘是在多个有序事件序列中查找出现频率大于某个阈值的序列模式的数据挖掘方法 ,自从1995年序列模式挖掘的概念被提出以来 ,人们不断地对序列模式挖掘算法进行研究和改进 .本文介绍了一种新的序列模式挖掘方法—CSE算法及其具体实现方法 ,并对该算法性能做了初步的评价 .
- 尉海立梁洪峻
- 关键词:数据挖掘序列模式挖掘
- 数据仓库与数据挖掘被引量:61
- 1999年
- 本文介绍了数据仓库与数据挖掘的基本概念、特点和体系结构,讨论了数据挖掘的技术算法及数据仓库与数据挖掘的应用领域。
- 关俐梁洪峻
- 关键词:数据仓库数据收集数据库数据挖掘