期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到218篇文章
< 1 2 … 11 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
综合分块主色和相关反馈技术的图像检索方法 被引量：33
1
作者 何清法 李国杰 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第10期912-917,共6页
图像数据的无序激增使得基于内容的图像检索技术成为研究热点 .为了克服普通颜色特征不考虑颜色的空间分布的缺点 ,提出了一种多分辨率分块主色法的空间颜色索引技术 ;同时 ,还将相关反馈技术融合到多分辨率分块主色算法中 ,以改善检索... 图像数据的无序激增使得基于内容的图像检索技术成为研究热点 .为了克服普通颜色特征不考虑颜色的空间分布的缺点 ,提出了一种多分辨率分块主色法的空间颜色索引技术 ;同时 ,还将相关反馈技术融合到多分辨率分块主色算法中 ,以改善检索效果 .据此 ,实现了一个图像检索原型系统—— Sm art Eye,并依据所设计的评价实验 ,将 Smart Eye的检索结果与其它相关的方法进行了比较和分析 .实验表明 。 展开更多
关键词 图像检索 多分辨率划分 主色 相似性测度 相关反馈 图像处理
下载PDF
Web数据库技术综述 被引量：24
2
作者 冯国臻 《计算机应用》 CSCD 1998年第10期1-4,共4页
本文全面介绍了Ｗｅｂ数据库技术、产品，并对它们进行了对比和点评。此外，文中对该领域中两项易于认识不清的问题提出来进行了专门说明，并分析了该技术的行业发展状况。
关键词 WEB 数据库 中间件 公共网关接口 Internt网
下载PDF
安全协议的验证逻辑 被引量：18
3
作者 白硕 隋立颖 +2 位作者 陈庆锋 付岩 庄超 《软件学报》 EI CSCD 北大核心 2000年第2期213-221,共9页
该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说明了这一逻辑框架在验证安全协议方面的应用 ,并讨论了需要进... 该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说明了这一逻辑框架在验证安全协议方面的应用 ,并讨论了需要进一步解决的问题 . 展开更多
关键词 信息安全 协议验证 INTERNET网 密码学
下载PDF
SET协议中问题的分析及解决方案 被引量：13
4
作者 陈庆锋 白硕 +2 位作者 王驹 张师超 隋立颖 《计算机学报》 EI CSCD 北大核心 2000年第2期202-209,共8页
文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”... 文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”两种安全机制 ,并在此基础上实现用 Prolog语言程序模拟验证过程 . 展开更多
关键词 电子商务 信息安全 SET协议 计算机网络
下载PDF
曙光2000超级计算机系统软件的设计 被引量：11
5
作者 孙凝晖 徐志伟 《计算机学报》 EI CSCD 北大核心 2000年第1期9-20,共12页
曙光 2 0 0 0超级计算机系统采用可扩展机群体系结构 ,是通用的超级并行计算机 ,可支持科学与工程计算、网络服务和数据处理应用 .该文介绍了曙光 2 0 0 0系统软件设计采用的 SU MA技术路线 ,即在通信软件、可扩展文件系统和服务器聚集... 曙光 2 0 0 0超级计算机系统采用可扩展机群体系结构 ,是通用的超级并行计算机 ,可支持科学与工程计算、网络服务和数据处理应用 .该文介绍了曙光 2 0 0 0系统软件设计采用的 SU MA技术路线 ,即在通信软件、可扩展文件系统和服务器聚集的设计上体现可扩展性 ,在可靠性设计和可修复性功能上体现高可用性 ,在单一控制点和系统的管理软件的设计上体现可管理性 ,在单一系统映像、集成化并行环境和傻瓜界面的设计上体现好用性 .文章详细阐述了系统软件的设计和关键技术 ,包括通信系统、COSMOS可扩展文件系统、管理软件和用户界面与工具 ,还对系统软件中存在的问题和改进方法进行了探讨 . 展开更多
关键词 超级计算机 系统软件 可扩展性 可管理性 设计
下载PDF
网络内容安全分发与版权保护技术 被引量：16
6
作者 庄超 白硕 李国杰 《计算机工程》 EI CAS CSCD 北大核心 2000年第6期50-52,共3页
信息的传播从印刷媒体向电子媒体过渡。首先简要讨论了网络上知识产权保护的问题以及相关的重要的产品。同时比较了几种基本的技术。对网络上的知识产权保护的计算结构给出了一个整体上的概述。
关键词 INTERNET网 网络安全 版权保护 知识产权
下载PDF
基于请求内容的高性能L5-Dispatcher 被引量：11
7
作者 雷迎春 李国杰 张松 《计算机研究与发展》 EI CSCD 北大核心 2002年第2期183-191,共9页
提出了一种实现高性能 L5 - Dispatcher的方法—— HTTP Splicing.其特点有 :1脱离正常操作系统的TCP实现 ,而根据 L5 - Dispatcher的需要实现一个功能精简的 TCP(称为 RTCP) ;2 HTTP请求的解析工作不再需第 3方程序 (如 Proxy应用程序 ... 提出了一种实现高性能 L5 - Dispatcher的方法—— HTTP Splicing.其特点有 :1脱离正常操作系统的TCP实现 ,而根据 L5 - Dispatcher的需要实现一个功能精简的 TCP(称为 RTCP) ;2 HTTP请求的解析工作不再需第 3方程序 (如 Proxy应用程序 )的干预 ,而直接实现在 RTCP中 ;3在 IP层转发 HTTP包 ;4完全的 I/ O零拷贝 ;5支持 HTTP1.1协议 .与已有的 TCP Gateway和 TCP Splicing相比 ,HTTP Splicing方法没有打断客户端和后端服务器之间的 TCP可靠传输机制 ,因此具有更好的性能 .经测试 ,用 HTTP Splicing技术实现的 L5 - Dispatcher的性能与 L inux操作系统自带的 L4 - Dispatcher—— ip vs——性能几乎完全相等 ,且比现有的基于 TCP Splicing技术的 L5 - Dispatcher的性能好约 2 0 % . 展开更多
关键词 分发器 高性能LS-Dispatcher INTERNET 服务器 网络协议
下载PDF
目录服务和统一认证研究 被引量：4
8
作者 冯国臻 《计算机工程与应用》 CSCD 北大核心 1999年第9期26-28,共3页
文章深入讨论了企业计算的重要课题目录服务及其相关国际标准LDAP和X.500，并对二者进行了比较，论述了目录服务是企业计算关键技术──统一认证服务的实现途径。此外，文中介绍了业界最优秀的目录服务产品和该理论在大型企业信息平台... 文章深入讨论了企业计算的重要课题目录服务及其相关国际标准LDAP和X.500，并对二者进行了比较，论述了目录服务是企业计算关键技术──统一认证服务的实现途径。此外，文中介绍了业界最优秀的目录服务产品和该理论在大型企业信息平台研究设计中的应用。最后评述了LDAP与X.500对比的启示意义。 展开更多
关键词 企业计算 LDAP X.500 目录服务 统一认证
下载PDF
微分观点下的参数化设计技术原理和实现方法 被引量：2
9
作者 葛建新 杨莉 《计算机学报》 EI CSCD 北大核心 1998年第3期261-269,共9页
参数化设计以其强有力的草图设计和图纸尺寸驱动功能已成为实现产品的初步设计、系列设计以及变异式设计的核心技术．本文提出了一种新的基于微分观点的参数化设计方法，其基本思想是将用户修改参数的过程用一个关于时间的常微分方程组... 参数化设计以其强有力的草图设计和图纸尺寸驱动功能已成为实现产品的初步设计、系列设计以及变异式设计的核心技术．本文提出了一种新的基于微分观点的参数化设计方法，其基本思想是将用户修改参数的过程用一个关于时间的常微分方程组来建模，通过求解该常微分方程组的初始值问题来实现系统的自动参数调整．与现有单纯使用非线性方程组求解的参数化方法相比，这种参数化设计方法在可靠性和效率方面有较大的改进．此外这种方法还可以用于图形的动态显示、零部件公差分析、机构的运动学分析等其它应用领域． 展开更多
关键词 参数化设计 常微分方程 约束满足 CAD
下载PDF
企业统一资源访问控制系统 被引量：4
10
作者 冯国臻 张剑 《计算机工程与应用》 CSCD 北大核心 2000年第6期6-8,24,共4页
整个企业范围的统一认证是企业信息化应用发展到今天的迫切要求，套用传统的访问控制方法不能满足此需求。该文提出企业统一访问控制系统的设计应该从研究企业行为入手；并在企业行为研究的基础上设计了一种基于企业行为树、角色化的访... 整个企业范围的统一认证是企业信息化应用发展到今天的迫切要求，套用传统的访问控制方法不能满足此需求。该文提出企业统一访问控制系统的设计应该从研究企业行为入手；并在企业行为研究的基础上设计了一种基于企业行为树、角色化的访问控制方法，使得企业访问控制主体的计算复杂性由常规方法的O（n）降为O（1）。此外该系统很好地支持企业管理柔性化，保障用户权限规则的实施。 展开更多
关键词 统一认证 企业 访问控制系统 计算机
下载PDF
电子商务安全协议及其非单调动态逻辑验证 被引量：6
11
作者 陈庆锋 白硕 +2 位作者 王驹 张师超 隋立颖 《软件学报》 EI CSCD 北大核心 2000年第2期240-250,共11页
该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进... 该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 . 展开更多
关键词 信息安全 逻辑验证 电子商务 安全协议
下载PDF
电子商务安全协议的逻辑验证 被引量：6
12
作者 陈庆锋 王驹 +2 位作者 白硕 张师超 隋立颖 《软件学报》 EI CSCD 北大核心 2000年第3期346-362,共17页
作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻... 作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻辑方法的验证 ,发现了 SET协议中存在的一些问题 ,并对如何解决这些问题进行了初步的探讨 . 展开更多
关键词 信息安全 逻辑验证 可追踪性 电子商务 安全协议
下载PDF
基于视频的三维人体运动跟踪系统的设计与实现 被引量：9
13
作者 邓宇 李振波 李华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第6期769-774,780,共7页
在优化粒子滤波跟踪框架下,设计并实现了一个结合多种图像特征、在多摄像机环境下跟踪人体运动的三维人体运动跟踪系统.通过定义三维人体模型、摄像机模型以及观测似然模型,得到跟踪所需目标函数,并使用优化粒子滤波算法进行求解.实验... 在优化粒子滤波跟踪框架下,设计并实现了一个结合多种图像特征、在多摄像机环境下跟踪人体运动的三维人体运动跟踪系统.通过定义三维人体模型、摄像机模型以及观测似然模型,得到跟踪所需目标函数,并使用优化粒子滤波算法进行求解.实验结果表明,该系统能够对人体运动进行准确的跟踪和三维重建,可应用于体育运动分析和动画制作等领域. 展开更多
关键词 三维人体运动跟踪 优化粒子滤波 多特征结合 多摄像机环境
下载PDF
机群系统中一种新的自适应结点分配算法:受限负载平衡结点分配(LLBA) 被引量：4
14
作者 雷州 徐志伟 祝明发 《计算机学报》 EI CSCD 北大核心 1999年第8期877-881,共5页
在机群系统中结点分配策略根据一定的原则为作业确定运行结点是提高系统性能的关键．通过对机群结点分配策略的研究，作者发现当前基于负载平衡自适应结点分配策略为并行作业选择负载最轻的结点，这不利于系统性能的充分发挥．作者提出... 在机群系统中结点分配策略根据一定的原则为作业确定运行结点是提高系统性能的关键．通过对机群结点分配策略的研究，作者发现当前基于负载平衡自适应结点分配策略为并行作业选择负载最轻的结点，这不利于系统性能的充分发挥．作者提出了一种新的自适应负载平衡结点分配算法：受限负载平衡结点分配（ＬＬＢＡ）．它的基本思想是为并行作业选取负载相近的计算结点，使得并行作业分配在各结点上的运算部分具有相同的运算速度，减少运算结点的空闲等待时间，提高系统的吞吐率．通过模拟实验，将ＬＬＢＡ和传统的负载平衡自适应结点分配进行比较，ＬＬＢＡ能够明显改善机群系统的性能． 展开更多
关键词 负载平衡 自适应结点分配 算法 LLBA 机群系统
下载PDF
时态关系代数与元组演算的等价性 被引量：6
15
作者 张师超 《计算机学报》 EI CSCD 北大核心 1993年第12期936-939,共4页
建立了一个时态关系代数和时态元组演算并证明了他们间的等价性。
关键词 时态数据库 时态关系代数 元组演算
下载PDF
求解SAT问题的分级重排搜索算法 被引量：8
16
作者 刘涛 李国杰 《软件学报》 EI CSCD 北大核心 1996年第4期201-210,共10页
局部搜索法在ＳＡＴ问题上的成功运用已引起越来越广泛的重视，然而，它在面对不可满足问题例时的局限性不能不被考虑．分级重排搜索算法ＭＳＲＡ（ｍｕｌｔｉ－ｓｔａｇｅｓｅａｒｃｈｒｅａｒｒａｎｇｅ－ｍｅｎｔａｌｇｏｒｉｔｈｍ... 局部搜索法在ＳＡＴ问题上的成功运用已引起越来越广泛的重视，然而，它在面对不可满足问题例时的局限性不能不被考虑．分级重排搜索算法ＭＳＲＡ（ｍｕｌｔｉ－ｓｔａｇｅｓｅａｒｃｈｒｅａｒｒａｎｇｅ－ｍｅｎｔａｌｇｏｒｉｔｈｍ）正是为克服局部搜索法的不完备性而提出的，准确地讲，它是几种算法在思想上的集成，但为明确起见，把其最典型的分级重排过程作为名称．分级重排搜索算法在求解ＳＡＴ问题时，能表现出优于单一求解策略（如局部搜索法或回溯算法）的明显特性．由于可根据约束条件的强弱来估计ＳＡＴ问题例的可满足性，因此能够以此来确定更有效的求解策略． 展开更多
关键词 SAT问题 局部搜索法 MSRA 算法
下载PDF
一个模糊时态关系代数 被引量：7
17
作者 张师超 罗旭东 《软件学报》 EI CSCD 北大核心 1994年第9期59-64,共6页
时间无处不在的特性要求数据库管理系统提供模拟现实世界中与时间有关的数据的设施．本文建立了一个模糊时态关系代数，它避免了本文中提到的现有时态数据库的一个弱点．
关键词 时态数据库 关系代数 数据库
下载PDF
一种会学习的感知决策机模型 被引量：5
18
作者 冯嘉礼 《广西师范大学学报（自然科学版）》 CAS 1992年第1期1-6,共6页
感知是人脑对直接作用感官的事物各种属性及其变化规律的反映,感知映射是事物性质集和感知记忆集间的同态映射。基于K^(m),结构的性质坐标系模型不仅可为描述人类基于事物定性基准而变的感知评判系统及相应的决策行为提供一种数学表示框... 感知是人脑对直接作用感官的事物各种属性及其变化规律的反映,感知映射是事物性质集和感知记忆集间的同态映射。基于K^(m),结构的性质坐标系模型不仅可为描述人类基于事物定性基准而变的感知评判系统及相应的决策行为提供一种数学表示框架,而且是检验该模型正确的一种学习算法,同时还为开发一种能模拟评判者某些感知决策行为的智能系统提供了新的途径。 展开更多
关键词 感知映射 感知决策机模型 机器学习
下载PDF
求解可满足性问题的一种高效遗传算法 被引量：8
19
作者 田奕 刘涛 李国杰 《模式识别与人工智能》 EI CSCD 北大核心 1996年第3期209-212,共4页
本文将可满足性问题(SAT)转化为一个优化问题,应用遗传算法来求解.为了提高遗传算法的求解效率,我们提出并采用了一种新的个体进化策略.这种个体进化策略不能用简单的爬山过程来概括,它允许个体进行多次爬山.在求解随机3-SAT问题时,这... 本文将可满足性问题(SAT)转化为一个优化问题,应用遗传算法来求解.为了提高遗传算法的求解效率,我们提出并采用了一种新的个体进化策略.这种个体进化策略不能用简单的爬山过程来概括,它允许个体进行多次爬山.在求解随机3-SAT问题时,这种遗传算法表现了优于同类算法的良好性能. 展开更多
关键词 遗传算法 可满足性 数理逻辑 机器学习
原文传递
几何因果定性推理的基本原理和算法 被引量：4
20
作者 葛建新 杨莉 《软件学报》 EI CSCD 北大核心 1997年第4期308-315,共8页
因果定性推理是一种通过分析描述物理系统行为和关系的约束找出系统内部各个成分之间的因果结构的推理方法．本文提出一种基于约束和变量分析的因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可较好地解... 因果定性推理是一种通过分析描述物理系统行为和关系的约束找出系统内部各个成分之间的因果结构的推理方法．本文提出一种基于约束和变量分析的因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可较好地解决参数化设计中的几何推理问题，还可用作概念设计的工具，用于完成复杂系统设计任务的划分及定序、设计变量之间相互依赖关系分析等工作．算法具有应用性强、效率和稳定性好。 展开更多
关键词 定性推理 因果推理 几何推理 产品设计 CAD
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 11 下一页 到第 页
使用帮助 返回顶部