-
题名粒计算及其在图像分类中的应用研究
被引量：2
- 1
-
-
作者
王军
王员云
-
机构
仰恩大学计算机系
-
出处
《计算机工程与科学》
CSCD
北大核心
2009年第3期49-51,57,共4页
-
文摘
粒计算作为一种新的信息和知识处理方法,近年来在许多领域中得到了应用。本文在学习和研究粒计算基本理论与技术的基础上,将其应用于图像模式识别领域。通过分析研究不同粒度的特征信息粒所形成的图像特征信息粒格结构,提出了基于图像特征信息粒格的分类器。
-
关键词
粒计算
特征信息粒
图像
图像分类
-
Keywords
granular computing
feature information granule
image
image classification
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-
-
题名数据包校验算法与网关技术研究
被引量：1
- 2
-
-
作者
马玉春
刘杰民
孙长圣
-
机构
东北大学秦皇岛分校计算机工程系
仰恩大学计算机系
-
出处
《控制工程》
CSCD
2007年第B05期112-114,198,共4页
-
基金
中国高等教育学会"十一五"教育科学研究规划课题(06AIJ0240070)
-
文摘
计算机监控系统中数据包校验与网关技术及数据接收技术是其中的关键技术。重点研究各种常用的数据校验算法,包括异或校验、累加和校验、循环冗余校验与累加求补校验,以及相关的数据接收技术与网关技术,并举例论证。网关技术可以进行串行通信协议的转换,也可以延长串行通信的距离。最后,综合利用所研究的技术实现了一个计算机监控系统的远程处理方案。这些技术可以广泛应用于计算机监控系统中,并可增强系统的灵活性。
-
关键词
异或
累加和
循环冗余
累加和求补
网关
-
Keywords
Xor
Add
CRC
CheckSum
gateway
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名逻辑语言剪枝算子的过程语义及其实现
被引量：1
- 3
-
-
作者
李慧琪
赵致琢
-
机构
厦门大学计算机科学系
仰恩大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2011年第5期123-126,148,共5页
-
基金
福建省自然科学基金(A030007)
仰恩大学科学技术研究经费资助
-
文摘
论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言Gdel中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Gdel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。
-
关键词
逻辑程序设计
剪枝算子
延迟计算
-
Keywords
Logic programming
Pruning operator
Delay computation
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名Gdel语言编译时类型处理技术研究
- 4
-
-
作者
林永鹏
赵致琢
李慧琪
徐丹
-
机构
厦门大学计算机科学系
仰恩大学计算机科学系
-
出处
《计算机科学与探索》
CSCD
2010年第3期256-264,共9页
-
基金
福建省自然科学基金No.A030007~~
-
文摘
Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。
-
关键词
Goedel编译器
类型推断
多态处理
-
Keywords
Goedel compiler
type inference
polymorphic disposal
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
