期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
76
篇文章
<
1
2
…
4
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
移动Agent系统名字解析机制的研究与实现
被引量:
9
1
作者
王申康
滕敏堂
《软件学报》
EI
CSCD
北大核心
2002年第4期616-620,共5页
名字解析机制是移动Agent技术研究的重要课题.目前,多数基于域名系统的名字解析机制由于算法自身的复杂性限制,很难实现移动对象的应用级位置透明性访问.全局的、与位置无关的命名和名字解析极大地方便了移动Agent系统通信模型和导航模...
名字解析机制是移动Agent技术研究的重要课题.目前,多数基于域名系统的名字解析机制由于算法自身的复杂性限制,很难实现移动对象的应用级位置透明性访问.全局的、与位置无关的命名和名字解析极大地方便了移动Agent系统通信模型和导航模型的建立,具有良好的实用性.通过引入一种基于全局命名模式的名字解析机制,为移动Agent系统建立了一种全局统一的命名方法——UON(universal object naming),并从对象的注册、对象的移动和移动对象的访问3个方面给出了名字解析的具体实现过程和相关算法,从而有效地解决了移动Agent系统应用级的位置透明性问题.
展开更多
关键词
名字解析
通用对象命名
对象注册
对象移动
对象访问
移动AGENT系统
人工智能
下载PDF
职称材料
生物遗传育种专家系统
被引量:
2
2
作者
王申康
《计算机学报》
EI
CSCD
北大核心
1989年第6期465-471,共7页
本文提出一个生物遗传智能模型假设,并用专家系统的方法模拟生物杂交育种过程,提出亲本选配规划,该系统包括表达遗传规律和育种专家经验的遗传杂交模型及杂交后代生成推理网络,本文以蚕育种为例,描述了系统的结构及知识表达方法,系统的...
本文提出一个生物遗传智能模型假设,并用专家系统的方法模拟生物杂交育种过程,提出亲本选配规划,该系统包括表达遗传规律和育种专家经验的遗传杂交模型及杂交后代生成推理网络,本文以蚕育种为例,描述了系统的结构及知识表达方法,系统的通用性可适用于其它动植物的育种。
展开更多
关键词
生物贵传
专家系统
育种
下载PDF
职称材料
一种基于sDOM的XML文档索引算法
3
作者
王申康
张雪燕
《计算机应用研究》
CSCD
北大核心
2005年第2期87-89,共3页
改造XML树模型是提高XML查询效率的重要方法。通过分析现有的索引算法,对XML树模型进行了改造,提出了基于Signature的索引策略(s DOM)。采用该策略预处理XML文档可以大大缩小搜索范围,从而提高了查询的效率。
关键词
XML
SIGNATURE
s-DOM
下载PDF
职称材料
KAL:一个可学习的知识获取环境
4
作者
王申康
何钦铭
黄志华
《自动化学报》
EI
CSCD
北大核心
1992年第3期383-384,共2页
可学习的知识获取环境KAL帮助软件工程师从领域专家那儿获取专家知识,形成一个具有继承性的概念层次结构。该环境为知识获取提供视图(viewing)、图示(graphing)、概念聚类和概念发现等工具。
关键词
知识获取
机器学习
下载PDF
职称材料
面向概念的通用知识获取系统
5
作者
王申康
《软件学报》
EI
CSCD
北大核心
1991年第4期54-60,共7页
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的通用知识获取环境。系统结合了人工智能(ai)、面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术。系统以概念为知识基元,由概念描述器(cd)予以描述。cd是一个类框架...
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的通用知识获取环境。系统结合了人工智能(ai)、面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术。系统以概念为知识基元,由概念描述器(cd)予以描述。cd是一个类框架和类对象 的结构,它由一组概念特性和属性,逻辑约束和函数式等支持。这些特性可由具体的应用而赋于实际的含义。知识库中的概念集是一个层次式的继承网络。另外系统还附有一些语义子系统,如一阶逻辑系统和简单的自然语言系统,用以各种类型的语法检查及知识的冗余、互斥及非一致性检查。系统主要用于辅助专家开发新系统的描述、定义和说明。也可对已有的系统、文件文本进行描述并用于教育。最典型的应用是软件系统和专家系统的开发。
展开更多
关键词
面向概念
知识获取系统
人工智能
下载PDF
职称材料
一阶逻辑知识库的检测
6
作者
王申康
《自动化学报》
EI
CSCD
北大核心
1992年第5期614-618,共5页
本文提出的方法是以Loveland的MESON一阶逻辑定理证明过程为基础,用于一阶逻辑规则知识库的冗余性和不一致性的检测。知识库的规则可包含非真、或及if-and-only-if规则。系统以交互形式从正、反向推理研究知识库规则增加时的变化。
关键词
一阶逻辑
人工智能
知识库
下载PDF
职称材料
面向概念的知识获取系统
7
作者
王申康
《计算机学报》
EI
CSCD
北大核心
1991年第12期902-909,共8页
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的知识获取环境.系统结合了人工智能(AI),面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术.系统以概念为知识基元,由概念描述器(cd)予以描述.cd由一组概念特性、属性...
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的知识获取环境.系统结合了人工智能(AI),面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术.系统以概念为知识基元,由概念描述器(cd)予以描述.cd由一组概念特性、属性、逻辑约束和函数式等支持.概念集在知识库中是一个层次式的继承网络.系统主要用于辅助专家开发新系统的描述、定义和说明.也可对已有的系统、文本文件进行描述并用于教育.
展开更多
关键词
面向概念
知识莸取系统
人工智能
下载PDF
职称材料
容错多处理机中一种高效的实时调度算法(英文)
被引量:
16
8
作者
王健
孙建伶
+3 位作者
王新宇
杨小虎
王申康
陈俊波
《软件学报》
EI
CSCD
北大核心
2009年第10期2628-2636,共9页
针对基于主副版本容错的多处理机中独立的、抢占性的硬实时任务,提出了一种高效的调度算法——TPFTRM(task partition based fault tolerant rate-monotonic)算法.该算法将单机实时RM算法扩展到容错多处理机上,并且调度过程中从不使用...
针对基于主副版本容错的多处理机中独立的、抢占性的硬实时任务,提出了一种高效的调度算法——TPFTRM(task partition based fault tolerant rate-monotonic)算法.该算法将单机实时RM算法扩展到容错多处理机上,并且调度过程中从不使用主动执行的任务副版本,而仅使用被动执行和主副重叠方式执行的任务副版本,从而最大限度地利用副版本重叠和分离技术提高了算法调度性能.此外,TPFTRM根据任务负载不同将任务集合划分成两个不相交的子集进行分配;还根据处理机调度的任务版本不同,将处理机集合划分成3个不相交的子集进行调度,从而使TPFTRM调度算法便于理解、实现以及减少了调度所需要的运行时间.模拟实验对各种具有不同周期和任务负载的任务集合进行了调度测试.实验结果表明,TPFTRM与目前所知同类算法相比,在调度相同参数的任务集合时不仅明显减少了调度所需要的处理机数目,还减少了调度所需要的运行时间,从而证实了TPFTRM算法的高效性.
展开更多
关键词
硬实时
主副版本
容错
调度算法
多处理机
周期任务
下载PDF
职称材料
一个基于范例推理的专家系统ICMIX
被引量:
19
9
作者
王铭阳
孙优贤
+1 位作者
何钦铭
王申康
《计算机学报》
EI
CSCD
北大核心
1997年第2期105-110,共6页
蛋鸡饲料配方是一个要求考虑多种制约因素、需要丰富实践经验的问题域.本文介绍的ICMIX是基于范例推理的蛋鸡饲料配方专家系统,其范例面向规划模型,由日粮类型子范例和营养标准子范例构成.范例库中的基本范例代表了典型情况下...
蛋鸡饲料配方是一个要求考虑多种制约因素、需要丰富实践经验的问题域.本文介绍的ICMIX是基于范例推理的蛋鸡饲料配方专家系统,其范例面向规划模型,由日粮类型子范例和营养标准子范例构成.范例库中的基本范例代表了典型情况下的原料组合及营养约束.系统按实际生产环境根据知识库中的规则和模型对范例综合、修正,然后调用线性规划得到最优配方.
展开更多
关键词
饲料配方
基于范例推理
线性规划
蛋鸡
鸡
下载PDF
职称材料
基于超文本结构的智能计算机辅助教学系统
被引量:
48
10
作者
陈颖
何钦铭
王申康
《计算机研究与发展》
EI
CSCD
北大核心
1998年第5期442-446,共5页
文中参照认知信息处理模型提出建立以超文本结构为基础的ICAI系统的方法.为了增强控制的灵活性,系统建立了教学知识的分层模型(实体级、概念级和单元级)及其在概念级上的三种链接(控制链、浏览链和固定链).同时定义期望值以...
文中参照认知信息处理模型提出建立以超文本结构为基础的ICAI系统的方法.为了增强控制的灵活性,系统建立了教学知识的分层模型(实体级、概念级和单元级)及其在概念级上的三种链接(控制链、浏览链和固定链).同时定义期望值以表示教学知识的重要程度,使得系统能够自动地确定学习的重点,从而对教学参数进行调整.
展开更多
关键词
超文本
学生模型
教师模型
ICAI
下载PDF
职称材料
基于瞬时步态能量图的远距离身份识别
被引量:
12
11
作者
马勤勇
王申康
+1 位作者
聂栋栋
邱剑锋
《电子学报》
EI
CAS
CSCD
北大核心
2007年第11期2078-2082,共5页
提出了一种基于瞬时步态能量图的远距离身份识别算法.首先根据摆动距离计算出步态周期,并指定步态周期中的关键时刻.步态序列中一个关键时刻的所有侧面轮廓图的平均值构成一个平均瞬时图.一个关键时刻的瞬时步态能量图的计算利用了当前...
提出了一种基于瞬时步态能量图的远距离身份识别算法.首先根据摆动距离计算出步态周期,并指定步态周期中的关键时刻.步态序列中一个关键时刻的所有侧面轮廓图的平均值构成一个平均瞬时图.一个关键时刻的瞬时步态能量图的计算利用了当前关键时刻以及其他关键时刻的平均瞬时图.提高了每个关键时刻侧面轮廓图像的质量,并比单纯使用步态能量图的方式增加了步态的运动信息.随后计算出所有关键时刻侧面轮廓图相对于瞬时步态能量图的偏移的累积图像,与步态能量图共同作为描述一个对象的特征向量.最后,使用最近邻算法进行步态特征分类.在USF步态数据库上对该算法进行实验,并与基线算法以及另外两个新的步态识别算法进行比较,结果显示该算法达到了更高的总体识别率.
展开更多
关键词
生物特征
步态表示
步态识别
特征提取
步态周期
下载PDF
职称材料
基于Lucene的全文检索系统研究与开发
被引量:
68
12
作者
郎小伟
王申康
《计算机工程》
CAS
CSCD
北大核心
2006年第4期94-96,99,共4页
提出了一种基于Jakarta Lucene的全文检索系统模型。该模型相对于Google的站内检索,以及传统的数据库检索都有较为明显的优势。其关键字的拆分比对技术、信息检索的速度以及最终结果的排序都有独到之处。能够保证检索的前100条记录最符...
提出了一种基于Jakarta Lucene的全文检索系统模型。该模型相对于Google的站内检索,以及传统的数据库检索都有较为明显的优势。其关键字的拆分比对技术、信息检索的速度以及最终结果的排序都有独到之处。能够保证检索的前100条记录最符合检索者的需要。
展开更多
关键词
索引
段
记录
域
关键字
下载PDF
职称材料
一种基于智能Agent的协同工作模型
被引量:
17
13
作者
朱晓芸
何钦铭
王申康
《计算机应用》
CSCD
1999年第6期5-8,共4页
计算机支持的协同工作(CSCW)需要研究出适应各种协同工作方式的灵活、开放、可扩充的模型结构。本文以分布式人工智能研究中的智能Agent为系统基本单元,提出一种基于智能Agent的协同工作模型,给出了它的具体实现。
关键词
协同工作
智能AGENT
人工智能
CSCW
下载PDF
职称材料
基于IIS总线的嵌入式音频系统设计
被引量:
19
14
作者
徐睿
李斐
王申康
《电子技术应用》
北大核心
2004年第4期7-9,共3页
介绍了基于IIS总线的嵌入式音频设备的硬件体系结构及其Linux驱动程序的设计。在音频驱动程序设计中综合使用了DMA、分段多缓存区和内存映射技术以提高系统性能,满足音频实时性的要求。
关键词
IIS总线
嵌入式音频系统
音频设备驱动程序
嵌入式Linux
DMA
内存映射
硬件体系结构
下载PDF
职称材料
元数据管理策略的比较研究
被引量:
30
15
作者
曹蓟光
王申康
《计算机应用》
CSCD
北大核心
2001年第2期3-5,共3页
本文讨论了元数据及元数据管理的若干问题 ,并通过对几种元数据管理策略和元数据交换标准的比较 ,来分析元数据管理的发展方向 ,以及实现元数据管理的方式和具体步骤。
关键词
元数据
元数据管理
元数据交换
关系型数据库
下载PDF
职称材料
基于主运动轮廓线的步态表示与识别
被引量:
6
16
作者
马勤勇
聂栋栋
王申康
《自动化学报》
EI
CSCD
北大核心
2009年第5期519-525,共7页
提出了一个基于步态主运动轮廓线构造特征矩阵,并进行特征表示和分类识别的算法.该算法首先从步态轮廓线提取三段代表人体主要运动的部分,基于它们到质心的横向距离构造描述步态图像序列的三个特征矩阵.然后,采用主分量分析(Principal c...
提出了一个基于步态主运动轮廓线构造特征矩阵,并进行特征表示和分类识别的算法.该算法首先从步态轮廓线提取三段代表人体主要运动的部分,基于它们到质心的横向距离构造描述步态图像序列的三个特征矩阵.然后,采用主分量分析(Principal component analysis,PCA)方法去除特征矩阵中的冗余数据,并利用多元判别分析(Multiple discriminant analysis,MDA)将特征矩阵投影到更易于分类的空间.最后,在USF步态数据库上计算测试对象的Rankn识别率,并与其他三个有代表性的算法进行比较.实验结果显示,本文算法的平均识别率更高,抗干扰性更强.
展开更多
关键词
生物特征识别
步态表征
步态识别
特征提取
轮廓线
下载PDF
职称材料
空间分类数据同位规则挖掘算法
被引量:
5
17
作者
王占全
王申康
华成
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第10期2339-2344,共6页
针对空间分类数据的特性,提出一种空间分类数据同位规则挖掘算法.利用空间关系定义数据挖掘中事务的概念,采用多层参与索引搜索空间同位规则,从而实现了对空间分类数据的有效处理.采用文中算法对杭州地区119火灾数据进行实验,并验证了...
针对空间分类数据的特性,提出一种空间分类数据同位规则挖掘算法.利用空间关系定义数据挖掘中事务的概念,采用多层参与索引搜索空间同位规则,从而实现了对空间分类数据的有效处理.采用文中算法对杭州地区119火灾数据进行实验,并验证了该算法的适用范围和性能.实验表明,该算法可以有效地处理经过离散化后的连续数据.
展开更多
关键词
空间同位
邻域
规则
分类数据
下载PDF
职称材料
基于数据仓库的综合知识发现系统的研究与应用
被引量:
9
18
作者
曹蓟光
王申康
《计算机应用研究》
CSCD
北大核心
2001年第3期68-70,86,共4页
讨论了基于数据仓库知识发现的若干问题,并在此基础上给出了基于数据仓库的综合知识发现系统的建设模型。此模型支持联机分析、决策支持和协同工作等多种应用系统。
关键词
数据仓库
数据集市
数据挖掘
知识发现系统
数据库
下载PDF
职称材料
人脸的层次化描述模型及识别研究
被引量:
11
19
作者
章高清
王申康
《计算机研究与发展》
EI
CSCD
北大核心
1999年第12期1448-1454,共7页
人脸自动识别是一个困难但有重要意义的工作.文中提出了一种基于人脸层次化描述的识别方法.该方法首先对人脸进行快速准确的特征定位及标准化,然后采用主元分析神经网络分别对定位的人脸及其特征区域进行最佳特征提取,从而得到人脸...
人脸自动识别是一个困难但有重要意义的工作.文中提出了一种基于人脸层次化描述的识别方法.该方法首先对人脸进行快速准确的特征定位及标准化,然后采用主元分析神经网络分别对定位的人脸及其特征区域进行最佳特征提取,从而得到人脸在低分辨率和较高分辨率上的两层特征描述用以识别,具有识别率高、特征数据量适中、可用于大量人像识别等特点.此方法在1300 幅人像上进行了测试,结果表明其在人脸转动、表情变化或人脸未经训练等情况下仍可以很好地识别.
展开更多
关键词
人脸识别
层次化描述
主元分析
人脸标准化
下载PDF
职称材料
一个基于CORBA的分布式主动数据库系统
被引量:
4
20
作者
王广昌
潘善亮
王申康
《计算机研究与发展》
EI
CSCD
北大核心
2001年第9期1092-1096,共5页
提出了一个基于 CORBA的分布对象计算技术及其公用对象服务、软件代理技术和商用数据库系统等技术的分布式主动数据库系统构建方法 .描述了该系统的体系结构、运行机制及实现策略 .最后讨论了系统尚存在的问题和进一步的工作 .
关键词
CORBA
体系结构
分布式主动数据库系统
分布对象
软件代理
下载PDF
职称材料
题名
移动Agent系统名字解析机制的研究与实现
被引量:
9
1
作者
王申康
滕敏堂
机构
浙江大学计算机科学与工程系
出处
《软件学报》
EI
CSCD
北大核心
2002年第4期616-620,共5页
文摘
名字解析机制是移动Agent技术研究的重要课题.目前,多数基于域名系统的名字解析机制由于算法自身的复杂性限制,很难实现移动对象的应用级位置透明性访问.全局的、与位置无关的命名和名字解析极大地方便了移动Agent系统通信模型和导航模型的建立,具有良好的实用性.通过引入一种基于全局命名模式的名字解析机制,为移动Agent系统建立了一种全局统一的命名方法——UON(universal object naming),并从对象的注册、对象的移动和移动对象的访问3个方面给出了名字解析的具体实现过程和相关算法,从而有效地解决了移动Agent系统应用级的位置透明性问题.
关键词
名字解析
通用对象命名
对象注册
对象移动
对象访问
移动AGENT系统
人工智能
Keywords
Algorithms
Computational complexity
Object oriented programming
Reliability
Servers
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
生物遗传育种专家系统
被引量:
2
2
作者
王申康
机构
浙江大学计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1989年第6期465-471,共7页
基金
中国科学院科学基金
文摘
本文提出一个生物遗传智能模型假设,并用专家系统的方法模拟生物杂交育种过程,提出亲本选配规划,该系统包括表达遗传规律和育种专家经验的遗传杂交模型及杂交后代生成推理网络,本文以蚕育种为例,描述了系统的结构及知识表达方法,系统的通用性可适用于其它动植物的育种。
关键词
生物贵传
专家系统
育种
分类号
Q321 [生物学—遗传学]
下载PDF
职称材料
题名
一种基于sDOM的XML文档索引算法
3
作者
王申康
张雪燕
机构
浙江大学计算机学院
出处
《计算机应用研究》
CSCD
北大核心
2005年第2期87-89,共3页
文摘
改造XML树模型是提高XML查询效率的重要方法。通过分析现有的索引算法,对XML树模型进行了改造,提出了基于Signature的索引策略(s DOM)。采用该策略预处理XML文档可以大大缩小搜索范围,从而提高了查询的效率。
关键词
XML
SIGNATURE
s-DOM
Keywords
XML(eXtensible Markup Language)
Signature
s-DOM
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
KAL:一个可学习的知识获取环境
4
作者
王申康
何钦铭
黄志华
机构
浙江大学人工智能研究所
出处
《自动化学报》
EI
CSCD
北大核心
1992年第3期383-384,共2页
文摘
可学习的知识获取环境KAL帮助软件工程师从领域专家那儿获取专家知识,形成一个具有继承性的概念层次结构。该环境为知识获取提供视图(viewing)、图示(graphing)、概念聚类和概念发现等工具。
关键词
知识获取
机器学习
Keywords
Knowledge acquisition
machine learning.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
面向概念的通用知识获取系统
5
作者
王申康
机构
浙江大学人工智能研究所
出处
《软件学报》
EI
CSCD
北大核心
1991年第4期54-60,共7页
文摘
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的通用知识获取环境。系统结合了人工智能(ai)、面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术。系统以概念为知识基元,由概念描述器(cd)予以描述。cd是一个类框架和类对象 的结构,它由一组概念特性和属性,逻辑约束和函数式等支持。这些特性可由具体的应用而赋于实际的含义。知识库中的概念集是一个层次式的继承网络。另外系统还附有一些语义子系统,如一阶逻辑系统和简单的自然语言系统,用以各种类型的语法检查及知识的冗余、互斥及非一致性检查。系统主要用于辅助专家开发新系统的描述、定义和说明。也可对已有的系统、文件文本进行描述并用于教育。最典型的应用是软件系统和专家系统的开发。
关键词
面向概念
知识获取系统
人工智能
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
一阶逻辑知识库的检测
6
作者
王申康
机构
浙江大学计算机系
出处
《自动化学报》
EI
CSCD
北大核心
1992年第5期614-618,共5页
文摘
本文提出的方法是以Loveland的MESON一阶逻辑定理证明过程为基础,用于一阶逻辑规则知识库的冗余性和不一致性的检测。知识库的规则可包含非真、或及if-and-only-if规则。系统以交互形式从正、反向推理研究知识库规则增加时的变化。
关键词
一阶逻辑
人工智能
知识库
Keywords
:Artificial intelligence
knowledge base
first order logic
theorem proving.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
面向概念的知识获取系统
7
作者
王申康
机构
浙江大学人工智能研究所
出处
《计算机学报》
EI
CSCD
北大核心
1991年第12期902-909,共8页
文摘
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的知识获取环境.系统结合了人工智能(AI),面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术.系统以概念为知识基元,由概念描述器(cd)予以描述.cd由一组概念特性、属性、逻辑约束和函数式等支持.概念集在知识库中是一个层次式的继承网络.系统主要用于辅助专家开发新系统的描述、定义和说明.也可对已有的系统、文本文件进行描述并用于教育.
关键词
面向概念
知识莸取系统
人工智能
Keywords
Artificial intelligence, software engineering, conceptual descriptor, inheritance network, program specification, programming environment, natural language.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
容错多处理机中一种高效的实时调度算法(英文)
被引量:
16
8
作者
王健
孙建伶
王新宇
杨小虎
王申康
陈俊波
机构
浙江大学计算机科学与技术学院
出处
《软件学报》
EI
CSCD
北大核心
2009年第10期2628-2636,共9页
文摘
针对基于主副版本容错的多处理机中独立的、抢占性的硬实时任务,提出了一种高效的调度算法——TPFTRM(task partition based fault tolerant rate-monotonic)算法.该算法将单机实时RM算法扩展到容错多处理机上,并且调度过程中从不使用主动执行的任务副版本,而仅使用被动执行和主副重叠方式执行的任务副版本,从而最大限度地利用副版本重叠和分离技术提高了算法调度性能.此外,TPFTRM根据任务负载不同将任务集合划分成两个不相交的子集进行分配;还根据处理机调度的任务版本不同,将处理机集合划分成3个不相交的子集进行调度,从而使TPFTRM调度算法便于理解、实现以及减少了调度所需要的运行时间.模拟实验对各种具有不同周期和任务负载的任务集合进行了调度测试.实验结果表明,TPFTRM与目前所知同类算法相比,在调度相同参数的任务集合时不仅明显减少了调度所需要的处理机数目,还减少了调度所需要的运行时间,从而证实了TPFTRM算法的高效性.
关键词
硬实时
主副版本
容错
调度算法
多处理机
周期任务
Keywords
hard real-time
primary-backup
fault-tolerant
scheduling algorithm
multiprocessor
periodic task
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一个基于范例推理的专家系统ICMIX
被引量:
19
9
作者
王铭阳
孙优贤
何钦铭
王申康
机构
浙江大学工业过程控制技术研究所
出处
《计算机学报》
EI
CSCD
北大核心
1997年第2期105-110,共6页
文摘
蛋鸡饲料配方是一个要求考虑多种制约因素、需要丰富实践经验的问题域.本文介绍的ICMIX是基于范例推理的蛋鸡饲料配方专家系统,其范例面向规划模型,由日粮类型子范例和营养标准子范例构成.范例库中的基本范例代表了典型情况下的原料组合及营养约束.系统按实际生产环境根据知识库中的规则和模型对范例综合、修正,然后调用线性规划得到最优配方.
关键词
饲料配方
基于范例推理
线性规划
蛋鸡
鸡
Keywords
Feed formulation, case-based reasoning, linear programming.
分类号
S831.5 [农业科学—畜牧学]
下载PDF
职称材料
题名
基于超文本结构的智能计算机辅助教学系统
被引量:
48
10
作者
陈颖
何钦铭
王申康
机构
浙江大学人工智能研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
1998年第5期442-446,共5页
基金
国家自然科学基金
文摘
文中参照认知信息处理模型提出建立以超文本结构为基础的ICAI系统的方法.为了增强控制的灵活性,系统建立了教学知识的分层模型(实体级、概念级和单元级)及其在概念级上的三种链接(控制链、浏览链和固定链).同时定义期望值以表示教学知识的重要程度,使得系统能够自动地确定学习的重点,从而对教学参数进行调整.
关键词
超文本
学生模型
教师模型
ICAI
Keywords
intelligent computer assisted instruction, hypertext, student model, teacher model, expected value
分类号
G434 [文化科学—教育技术学]
下载PDF
职称材料
题名
基于瞬时步态能量图的远距离身份识别
被引量:
12
11
作者
马勤勇
王申康
聂栋栋
邱剑锋
机构
浙江大学计算机科学与技术学院
上海交通大学计算机科学与工程系
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第11期2078-2082,共5页
文摘
提出了一种基于瞬时步态能量图的远距离身份识别算法.首先根据摆动距离计算出步态周期,并指定步态周期中的关键时刻.步态序列中一个关键时刻的所有侧面轮廓图的平均值构成一个平均瞬时图.一个关键时刻的瞬时步态能量图的计算利用了当前关键时刻以及其他关键时刻的平均瞬时图.提高了每个关键时刻侧面轮廓图像的质量,并比单纯使用步态能量图的方式增加了步态的运动信息.随后计算出所有关键时刻侧面轮廓图相对于瞬时步态能量图的偏移的累积图像,与步态能量图共同作为描述一个对象的特征向量.最后,使用最近邻算法进行步态特征分类.在USF步态数据库上对该算法进行实验,并与基线算法以及另外两个新的步态识别算法进行比较,结果显示该算法达到了更高的总体识别率.
关键词
生物特征
步态表示
步态识别
特征提取
步态周期
Keywords
biometrics
gait expression
gait recognition
feature extraction
gait period
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于Lucene的全文检索系统研究与开发
被引量:
68
12
作者
郎小伟
王申康
机构
浙江大学人工智能所
出处
《计算机工程》
CAS
CSCD
北大核心
2006年第4期94-96,99,共4页
文摘
提出了一种基于Jakarta Lucene的全文检索系统模型。该模型相对于Google的站内检索,以及传统的数据库检索都有较为明显的优势。其关键字的拆分比对技术、信息检索的速度以及最终结果的排序都有独到之处。能够保证检索的前100条记录最符合检索者的需要。
关键词
索引
段
记录
域
关键字
Keywords
Index
Segment
Document
Field
Keyword
分类号
TP393.09 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一种基于智能Agent的协同工作模型
被引量:
17
13
作者
朱晓芸
何钦铭
王申康
机构
浙江大学计算机科学与工程学系
出处
《计算机应用》
CSCD
1999年第6期5-8,共4页
基金
国家自然科学基金
文摘
计算机支持的协同工作(CSCW)需要研究出适应各种协同工作方式的灵活、开放、可扩充的模型结构。本文以分布式人工智能研究中的智能Agent为系统基本单元,提出一种基于智能Agent的协同工作模型,给出了它的具体实现。
关键词
协同工作
智能AGENT
人工智能
CSCW
Keywords
Computer supported collaborative work, Intelligent agent, Distributed artificial intelligence
分类号
TP11 [自动化与计算机技术—控制理论与控制工程]
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于IIS总线的嵌入式音频系统设计
被引量:
19
14
作者
徐睿
李斐
王申康
机构
杭州浙江大学计算机科学与技术学院
出处
《电子技术应用》
北大核心
2004年第4期7-9,共3页
文摘
介绍了基于IIS总线的嵌入式音频设备的硬件体系结构及其Linux驱动程序的设计。在音频驱动程序设计中综合使用了DMA、分段多缓存区和内存映射技术以提高系统性能,满足音频实时性的要求。
关键词
IIS总线
嵌入式音频系统
音频设备驱动程序
嵌入式Linux
DMA
内存映射
硬件体系结构
分类号
TN912.3 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
元数据管理策略的比较研究
被引量:
30
15
作者
曹蓟光
王申康
机构
浙江大学人工智能研究所
出处
《计算机应用》
CSCD
北大核心
2001年第2期3-5,共3页
文摘
本文讨论了元数据及元数据管理的若干问题 ,并通过对几种元数据管理策略和元数据交换标准的比较 ,来分析元数据管理的发展方向 ,以及实现元数据管理的方式和具体步骤。
关键词
元数据
元数据管理
元数据交换
关系型数据库
Keywords
metadata
metadata management
metadata interchange
分类号
TP311.132 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于主运动轮廓线的步态表示与识别
被引量:
6
16
作者
马勤勇
聂栋栋
王申康
机构
燕山大学信息科学与工程学院
燕山大学理学院
浙江大学计算机科学与技术学院
出处
《自动化学报》
EI
CSCD
北大核心
2009年第5期519-525,共7页
文摘
提出了一个基于步态主运动轮廓线构造特征矩阵,并进行特征表示和分类识别的算法.该算法首先从步态轮廓线提取三段代表人体主要运动的部分,基于它们到质心的横向距离构造描述步态图像序列的三个特征矩阵.然后,采用主分量分析(Principal component analysis,PCA)方法去除特征矩阵中的冗余数据,并利用多元判别分析(Multiple discriminant analysis,MDA)将特征矩阵投影到更易于分类的空间.最后,在USF步态数据库上计算测试对象的Rankn识别率,并与其他三个有代表性的算法进行比较.实验结果显示,本文算法的平均识别率更高,抗干扰性更强.
关键词
生物特征识别
步态表征
步态识别
特征提取
轮廓线
Keywords
Biometrics, gait expression, gait recognition, feature extraction, silhouette contour
分类号
TP391.41 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
空间分类数据同位规则挖掘算法
被引量:
5
17
作者
王占全
王申康
华成
机构
华东理工大学计算机科学与工程系
浙江大学计算机科学与技术学院
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第10期2339-2344,共6页
文摘
针对空间分类数据的特性,提出一种空间分类数据同位规则挖掘算法.利用空间关系定义数据挖掘中事务的概念,采用多层参与索引搜索空间同位规则,从而实现了对空间分类数据的有效处理.采用文中算法对杭州地区119火灾数据进行实验,并验证了该算法的适用范围和性能.实验表明,该算法可以有效地处理经过离散化后的连续数据.
关键词
空间同位
邻域
规则
分类数据
Keywords
patial co-location
neighborhood set domain
rule
categorical data
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于数据仓库的综合知识发现系统的研究与应用
被引量:
9
18
作者
曹蓟光
王申康
机构
浙江大学人工智能研究所
出处
《计算机应用研究》
CSCD
北大核心
2001年第3期68-70,86,共4页
文摘
讨论了基于数据仓库知识发现的若干问题,并在此基础上给出了基于数据仓库的综合知识发现系统的建设模型。此模型支持联机分析、决策支持和协同工作等多种应用系统。
关键词
数据仓库
数据集市
数据挖掘
知识发现系统
数据库
Keywords
Data Warehouse
Data Mart
KDD
Data Mining
Decision Support
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
人脸的层次化描述模型及识别研究
被引量:
11
19
作者
章高清
王申康
机构
浙江大学计算机科学系
出处
《计算机研究与发展》
EI
CSCD
北大核心
1999年第12期1448-1454,共7页
基金
浙江省公安厅的资助
文摘
人脸自动识别是一个困难但有重要意义的工作.文中提出了一种基于人脸层次化描述的识别方法.该方法首先对人脸进行快速准确的特征定位及标准化,然后采用主元分析神经网络分别对定位的人脸及其特征区域进行最佳特征提取,从而得到人脸在低分辨率和较高分辨率上的两层特征描述用以识别,具有识别率高、特征数据量适中、可用于大量人像识别等特点.此方法在1300 幅人像上进行了测试,结果表明其在人脸转动、表情变化或人脸未经训练等情况下仍可以很好地识别.
关键词
人脸识别
层次化描述
主元分析
人脸标准化
Keywords
face normalization, principal components analysis (PCA), layered representation, integral projection
分类号
TP391.41 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一个基于CORBA的分布式主动数据库系统
被引量:
4
20
作者
王广昌
潘善亮
王申康
机构
浙江大学人工智能研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第9期1092-1096,共5页
基金
国家"八六三"高技术研究发展计划项目基金资助 ( 86 3-5 11-0 30 -0 0 7-4 )
文摘
提出了一个基于 CORBA的分布对象计算技术及其公用对象服务、软件代理技术和商用数据库系统等技术的分布式主动数据库系统构建方法 .描述了该系统的体系结构、运行机制及实现策略 .最后讨论了系统尚存在的问题和进一步的工作 .
关键词
CORBA
体系结构
分布式主动数据库系统
分布对象
软件代理
Keywords
active database, distributed, CORBA, architecture
分类号
TP311.133 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
移动Agent系统名字解析机制的研究与实现
王申康
滕敏堂
《软件学报》
EI
CSCD
北大核心
2002
9
下载PDF
职称材料
2
生物遗传育种专家系统
王申康
《计算机学报》
EI
CSCD
北大核心
1989
2
下载PDF
职称材料
3
一种基于sDOM的XML文档索引算法
王申康
张雪燕
《计算机应用研究》
CSCD
北大核心
2005
0
下载PDF
职称材料
4
KAL:一个可学习的知识获取环境
王申康
何钦铭
黄志华
《自动化学报》
EI
CSCD
北大核心
1992
0
下载PDF
职称材料
5
面向概念的通用知识获取系统
王申康
《软件学报》
EI
CSCD
北大核心
1991
0
下载PDF
职称材料
6
一阶逻辑知识库的检测
王申康
《自动化学报》
EI
CSCD
北大核心
1992
0
下载PDF
职称材料
7
面向概念的知识获取系统
王申康
《计算机学报》
EI
CSCD
北大核心
1991
0
下载PDF
职称材料
8
容错多处理机中一种高效的实时调度算法(英文)
王健
孙建伶
王新宇
杨小虎
王申康
陈俊波
《软件学报》
EI
CSCD
北大核心
2009
16
下载PDF
职称材料
9
一个基于范例推理的专家系统ICMIX
王铭阳
孙优贤
何钦铭
王申康
《计算机学报》
EI
CSCD
北大核心
1997
19
下载PDF
职称材料
10
基于超文本结构的智能计算机辅助教学系统
陈颖
何钦铭
王申康
《计算机研究与发展》
EI
CSCD
北大核心
1998
48
下载PDF
职称材料
11
基于瞬时步态能量图的远距离身份识别
马勤勇
王申康
聂栋栋
邱剑锋
《电子学报》
EI
CAS
CSCD
北大核心
2007
12
下载PDF
职称材料
12
基于Lucene的全文检索系统研究与开发
郎小伟
王申康
《计算机工程》
CAS
CSCD
北大核心
2006
68
下载PDF
职称材料
13
一种基于智能Agent的协同工作模型
朱晓芸
何钦铭
王申康
《计算机应用》
CSCD
1999
17
下载PDF
职称材料
14
基于IIS总线的嵌入式音频系统设计
徐睿
李斐
王申康
《电子技术应用》
北大核心
2004
19
下载PDF
职称材料
15
元数据管理策略的比较研究
曹蓟光
王申康
《计算机应用》
CSCD
北大核心
2001
30
下载PDF
职称材料
16
基于主运动轮廓线的步态表示与识别
马勤勇
聂栋栋
王申康
《自动化学报》
EI
CSCD
北大核心
2009
6
下载PDF
职称材料
17
空间分类数据同位规则挖掘算法
王占全
王申康
华成
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005
5
下载PDF
职称材料
18
基于数据仓库的综合知识发现系统的研究与应用
曹蓟光
王申康
《计算机应用研究》
CSCD
北大核心
2001
9
下载PDF
职称材料
19
人脸的层次化描述模型及识别研究
章高清
王申康
《计算机研究与发展》
EI
CSCD
北大核心
1999
11
下载PDF
职称材料
20
一个基于CORBA的分布式主动数据库系统
王广昌
潘善亮
王申康
《计算机研究与发展》
EI
CSCD
北大核心
2001
4
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
4
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部