王介生
- 作品数:11 被引量:123H指数:2
- 供职机构:中国科学院计算技术研究所更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- PROPS:一个实用的智能CAD系统辅助工具被引量:1
- 1993年
- 将智能系统与已有(传统)CAD系统相结合,从而使CAD系统智能化,是当前实现智能CAD系统的一条迅速、有效的途径。本文介绍我们设计并实现的智能CAD系统辅助工具PROPS,该系统能将用户编写的智能系统程序编译为容易与已有CAD系统(代码)相结合的C语言代码,并向用户提供丰富的接口命令以调试智能系统、跟踪推理过程,是一个实用的智能CAD系统辅助工具。
- 梁峥王介生
- 关键词:CAD智能系统PROPS
- 知识库的编译及其在数据库领域中的应用
- 1993年
- 知识库编译系统PROPS是我们在SUN工作站UNIX操作系统环境下研制的一个通用型知识处理系统,该系统不仅能够完成从知识库到C语言代码的编译工作,还允许用户决定目标C语言代码的构成并使用系统所提供的一系列命令来完成知识库的调试等工作。本文着重讨论该系统的功能、组成和关键技术,最后对该系统在数据库领域中的应用作了较为深入的探讨。
- 梁峥王介生
- 关键词:数据库知识库
- PROPS:一个实用的智能CAD系统辅助工具
- 梁峥王介生
- 关键词:人工智能计算机辅助设计
- 知识库的编译及其在数据库领域中的应用
- 知识库编译系统PROPS是在SUN工作站UNIX操作系统环境下研制的一个通用型知识处理系统,该系统不仅能够完成从知识库到C语言代码的编译工作,还允许用户决定目标C语言代码的构成并使用系统所提供的一系列命令来完成知识库的调...
- 梁峥王介生
- 关键词:知识库
- 文献传递
- 图像的排列变换被引量:114
- 1998年
- 任何一幅图像的直方图都可以看作是一个多重集合,该多重集由多种可重复使用的颜色组成,而具有该直方图的任意一幅图像就是该多重集上的一个全排列.因此,可以借助于集合论和群论中的一些理论和方法来研究图像的某些性质.本文首先从多重集和置换群的角度讨论了图像和排列之间的相互关系,然后作为应用实例介绍了两种基于排列变换的图像生成方法.
- 吴旻升王介生刘慎权
- 关键词:计算机图形学图像变换图像处理
- 一个面向对象的用户界面管理系统UIDIS
- 1994年
- 本文介绍了一个基于X-WINDOW的面向对象的实用用户界面管理工具。
- 程华王介生李凤森
- 关键词:用户界面面向对象
- 最优化测井数据处理软件系统
- 李凤森王介生周术夏
- 关键词:测井石油最优设计计算机辅助设计油藏
- 智能测井资料解释系统——ILIS
- 梁峥王介生李凤森
- 关键词:测井专家系统计算机分析数据处理石油
- CAM中一类新的NP完全问题被引量:1
- 1991年
- 本文提出了计算机辅助制造(CAM)中的一类作业调度问题并证明了它的NP完全性。
- 王介生李凤森
- 关键词:CAMNP完全问题计算机
- 静态图象的动态压缩方法被引量:2
- 1998年
- 文中介绍一种通过动态压缩途径来压缩静态图象的方法.该方法首先使用排列变换将静态图象分解成动态图象序列,然后再利用现有的MPEG压缩程序对该图象序列进行压缩.文中还讨论了各种扫描曲线对于所生成的图象序列中相关性的影响,肯定了希尔伯特曲线的良好的局部相关性.最后使用标准测试图象Lena进行了实验,结果,在压缩比同为66:1的情况下,本方法的峰值信噪比(PSNR)要比JPEG高出0.6dB左右.
- 陈九庆王介生刘慎权
- 关键词:图象压缩MPEG静态图象图象处理