期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
一个基于角色的Web安全访问控制系统 被引量:20
1
作者 桂艳峰 林作铨 《计算机研究与发展》 EI CSCD 北大核心 2003年第8期1186-1194,共9页
对基于角色的访问控制模型进行了分析并定义了相关的概念 ,给出了实现模型和算法设计 ;对现行的Web安全认证和访问控制中存在的问题和隐患进行了分析 ,给出了一种新的可行的安全解决方案 ;最终实现了一个基于角色访问控制策略的Web资源... 对基于角色的访问控制模型进行了分析并定义了相关的概念 ,给出了实现模型和算法设计 ;对现行的Web安全认证和访问控制中存在的问题和隐患进行了分析 ,给出了一种新的可行的安全解决方案 ;最终实现了一个基于角色访问控制策略的Web资源安全管理系统 ,它在实际应用中取得稳定、可靠和有效的结果 . 展开更多
关键词 访问控制 基于角色的访问控制模型 网络安全
在线阅读 下载PDF
一个Web站点自动生成系统 被引量:1
2
作者 肖庆文 林作铨 《计算机科学》 CSCD 北大核心 2000年第3期67-69,共3页
1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用户可以通过访问Web站点来获得信息、服务,并反馈意见。因此,对于普遍的政府部门、企业、学校等单位来说,迫切需求建立Web站点,也需要... 1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用户可以通过访问Web站点来获得信息、服务,并反馈意见。因此,对于普遍的政府部门、企业、学校等单位来说,迫切需求建立Web站点,也需要一种能快速生成与维护Web站点的工具。然而,现存的FrontPage等HTML页面编写工具,自动化、智能化程度不高,操作复杂烦琐,要求用户具有较高的计算机技能,普通用户难于掌握。因此,给出一个Web站点自动生成工具,帮助企事业单位方便、快速地建立起Web站点是非常有意义的。 展开更多
关键词 WEB站点 自动生成系统 信息系统 INTERNET网
在线阅读 下载PDF
基于本体的动态信息收集Agent
3
作者 李建清 林作铨 +1 位作者 刘升平 周谢慧 《计算机工程与应用》 CSCD 北大核心 2003年第33期1-4,14,共5页
该文设计并实现了一个基于本体的动态信息收集Agent系统,该系统基于本体知识对文档进行领域本体分类和规范用户的检索请求,对信息收集的结果进行主题相关的链接分析,抽取出信息源组织结构知识,并根据获取的知识控制系统搜索策略,从而能... 该文设计并实现了一个基于本体的动态信息收集Agent系统,该系统基于本体知识对文档进行领域本体分类和规范用户的检索请求,对信息收集的结果进行主题相关的链接分析,抽取出信息源组织结构知识,并根据获取的知识控制系统搜索策略,从而能够有效地处理动态信息收集。 展开更多
关键词 本体 AGENT 信息检索
在线阅读 下载PDF
基于Kriging方法的空间散乱点插值 被引量:82
4
作者 王靖波 潘懋 张绪定 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1999年第6期525-529,共5页
给出的一种距离加权插值方法借鉴地质统计学中的Kriging 方法,在空间数据场满足给定的统计分布特征的前提假设下进行插值.通过对帽状曲面函数的插值结果的观察,可以看出该方法可以获得良好的插值效果.
关键词 散乱点插值 KRIGING方法 变差函数 图形处理
在线阅读 下载PDF
一种XML的模型论语义 被引量:14
5
作者 刘升平 林作铨 +1 位作者 梅婧 岳安步 《软件学报》 EI CSCD 北大核心 2006年第5期1089-1097,共9页
XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML... XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resourcedescriptionframework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言ΣΗΟΙΝ(?)的知识库不可满足性问题. 展开更多
关键词 XML 语义 语义WEB
在线阅读 下载PDF
从ALC到SHOQ(D):描述逻辑及其Tableau算法 被引量:34
6
作者 梅婧 林作铨 《计算机科学》 CSCD 北大核心 2005年第3期1-11,35,共12页
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法。
关键词 ALC 描述逻辑 TABLEAU算法 语义WEB 知识表示
在线阅读 下载PDF
基于Java新IO的Web安全网关 被引量:7
7
作者 罗振兴 努尔买买提.黑力力 +2 位作者 徐大伟 赵琛 林作铨 《计算机工程》 CAS CSCD 北大核心 2007年第6期107-109,共3页
在实践经验的基础上分析了JavaNIO的特性,采用事件驱动、非阻塞的IO多路复用、多线程、安全Cookies、SSL、高速缓存等多种技术,设计并实现了构架在PKI上基于角色访问控制策略的安全访问控制服务器。
关键词 访问控制 JavaNIO 安全
在线阅读 下载PDF
Internet上的搜索引擎和元搜索引擎 被引量:22
8
作者 彭洪汇 林作铨 《计算机科学》 CSCD 北大核心 2002年第9期1-12,32,共13页
1.引言Internet自诞生以来不断成长,尤其是最近几年更是得到长足发展,功能不断扩展,信息容量呈爆炸性趋势增长,仅Internet Archive[1]收集的1996年以来的Web内容就达到四十亿个页面,容量达到40TB.据Internet Domain Survey [2]统计,从1... 1.引言Internet自诞生以来不断成长,尤其是最近几年更是得到长足发展,功能不断扩展,信息容量呈爆炸性趋势增长,仅Internet Archive[1]收集的1996年以来的Web内容就达到四十亿个页面,容量达到40TB.据Internet Domain Survey [2]统计,从1996年到2001年,Internet上的主机数量从两千万增长到一亿四千万. 展开更多
关键词 INTERNET 搜索引擎 元搜索引擎 信息资源 信息检索
在线阅读 下载PDF
合同网协议中的Agent可信度模型 被引量:15
9
作者 赵新宇 林作铨 《计算机科学》 CSCD 北大核心 2006年第6期150-153,167,共5页
针对经典的合同网协议(CNP),提出非合作型多agent系统环境下自私agent的可信度模型。为追求利益最大化,自私agent在自己能力不足的情况下仍有可能对宣布的任务进行投标。通过引入可信度模型,在对标书进行评价时将结合自私agent投标过程... 针对经典的合同网协议(CNP),提出非合作型多agent系统环境下自私agent的可信度模型。为追求利益最大化,自私agent在自己能力不足的情况下仍有可能对宣布的任务进行投标。通过引入可信度模型,在对标书进行评价时将结合自私agent投标过程的历史记录进行决策,从而减少因自私agent能力不足而多次协商导致系统性能下降、任务完成质量不高等缺点。为说明可信度模型的性质,在JATLite平台上实现了基于可信度模型的合同网交互协商过程,并进行了对比实验。实验结果表明,基于可信度模型的agent协商策略在保证任务完成质量的基础上,尤其是在任务数目较大的情况下,能显著提高系统性能。 展开更多
关键词 AGENT 合同网协议 可信度 能力
在线阅读 下载PDF
基于角色访问控制模型的缓存机制研究 被引量:2
10
作者 陈阳 赵琛 +2 位作者 窦燕 俞诗鹏 林作铨 《计算机工程》 EI CAS CSCD 北大核心 2006年第12期142-144,共3页
在基于角色的访问控制(RBAC)模型的实现系统中,考虑到查询操作远多于修改操作,文章引入缓存机制,通过记录历史数据以提高后续查找的效率。讨论了4种缓存策略,给出了相应的缓存算法,并对算法的优劣进行了比较。在一个实际的访问控制系统W... 在基于角色的访问控制(RBAC)模型的实现系统中,考虑到查询操作远多于修改操作,文章引入缓存机制,通过记录历史数据以提高后续查找的效率。讨论了4种缓存策略,给出了相应的缓存算法,并对算法的优劣进行了比较。在一个实际的访问控制系统WebDaemon中使用了缓存机制,证明查询效率得到了明显的提高。 展开更多
关键词 基于角色的访问控制 缓存 网络安全
在线阅读 下载PDF
具有监控能力的Agent模型 被引量:6
11
作者 赵新宇 林作铨 《计算机科学》 CSCD 北大核心 2006年第3期11-17,共7页
在大信息量、动态环境下企业软件系统对业务流程的监控和自动管理的需求越来越大。本文把 Agent 技术引入业务流程的监控和管理.在基本的 BDI 模型基础上加入能力组件的概念,提出一种具有监控能力的 BDIC Agent模型,以具体应用背景中的... 在大信息量、动态环境下企业软件系统对业务流程的监控和自动管理的需求越来越大。本文把 Agent 技术引入业务流程的监控和管理.在基本的 BDI 模型基础上加入能力组件的概念,提出一种具有监控能力的 BDIC Agent模型,以具体应用背景中的实例说明了该模型中监控能力的分类。该模型已在一个客户服务系统(CSM)中成功应用,说明所提出的 Agent 模型具有良好的可重用性和可定制性,适合对企业软件系统中的业务流程进行监控和管理。 展开更多
关键词 AGENT BDI 监控 能力 业务流程
在线阅读 下载PDF
基于描述逻辑的特征模型 被引量:3
12
作者 范少锋 张乃孝 赵新宇 《计算机科学》 CSCD 北大核心 2007年第1期21-25,共5页
由于特征模型缺乏严格语义基础,难以对模型进行一致性推理,无法保证模型的一致性,进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化,给出了将特征模型转化为描述逻辑ALCQI知识库的算法,通过验证转化后的知... 由于特征模型缺乏严格语义基础,难以对模型进行一致性推理,无法保证模型的一致性,进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化,给出了将特征模型转化为描述逻辑ALCQI知识库的算法,通过验证转化后的知识库的一致性得到所对应特征模型的一致性。并利用描述逻辑的推理机RACER对转换得到的知识库进行推理,自动完成特征模型的一致性检查,为特征模型的一致性检验提供一种方法,实践证明这种方法具有可靠性和高效性。 展开更多
关键词 描述逻辑 特征模型 一致性 RACER
在线阅读 下载PDF
生成式程序设计研究概述 被引量:5
13
作者 范少锋 张乃孝 《计算机科学》 CSCD 北大核心 2005年第3期12-16,25,共6页
随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker... 随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计:基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生离定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分:问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期:一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。 展开更多
关键词 生成式程序设计 软件规模 软件复杂度 建模 配置知识
在线阅读 下载PDF
基于XACML的访问控制与RBAC限制 被引量:3
14
作者 努尔买买提.黑力力 罗振兴 林作铨 《计算机工程》 CAS CSCD 北大核心 2008年第8期19-21,共3页
限制可以视为是基于角色的访问控制(RBAC)的主要动机。该文分析基于XML的访问控制规范语言(XACML)的RBAC框架并指出了该框架的缺点,通过提出的角色激活机构对该框架进行扩充,使得XACML支持RBAC模型中的职责分离和基数限制等限制。
关键词 WEB服务 XML的访问控制规范语言 基于角色的访问控制
在线阅读 下载PDF
ISeeker——一个高效的元搜索引擎 被引量:4
15
作者 彭洪汇 林作铨 《计算机工程》 CAS CSCD 北大核心 2003年第10期41-42,52,共3页
介绍了一个高效的元搜索引擎系统ISeeker,提出了一套全面的搜索引擎评价和选择算法,在对检索结果进行融合处理时尽可能选择最好的结果,而且在用户察看结果时进行在线学习和调整。
关键词 INTERNET 按索引擎 元搜索引擎 信息获取 机器学习
在线阅读 下载PDF
基于Agent的供应链模型 被引量:4
16
作者 赵新宇 林作铨 《计算机科学》 CSCD 北大核心 2004年第8期16-21,共6页
供应链(SC)是一个由供应商、制造商、仓库、物流、渠道、零售商和客户所组成的网络,通过原料获取、运输、制造并最终递迟到客户的活动组织到一起。软件 Agent 是可以为我们完成特定任务的具有自治行为的对象。本文试图从 Agent 模型角... 供应链(SC)是一个由供应商、制造商、仓库、物流、渠道、零售商和客户所组成的网络,通过原料获取、运输、制造并最终递迟到客户的活动组织到一起。软件 Agent 是可以为我们完成特定任务的具有自治行为的对象。本文试图从 Agent 模型角度对供应链进行建模,提出一种可动态加载能力的多 Agent 模型,设计了一个基于 Agent 的供应链管理系统原型,并通过实现一个供应链上定单处理流程来说明该模型所具有的良好性质。 展开更多
关键词 AGENT 供应链模型 BDI 协同 动态加载 ASCM体系结构
在线阅读 下载PDF
时态Dempster-Shafer理论 被引量:2
17
作者 牟克典 林作铨 《计算机科学》 CSCD 北大核心 2003年第7期4-6,共3页
In this paper,we propose temporal Dempster-Shafer theory to handle the combination of uncertainty andtime. In temporal Dempster-Shafer theory,the element of the temporal frame of discernment is defined as an eventthat... In this paper,we propose temporal Dempster-Shafer theory to handle the combination of uncertainty andtime. In temporal Dempster-Shafer theory,the element of the temporal frame of discernment is defined as an eventthat associates a hypothesis with corresponding time interval. And the assignment of belief to subset of the temporalframe of discernment is performed by the mass function. It is a representation and reasoning mechanism that combinesuncertainty and time by the basic frame of Dempster-Shafer theory. 展开更多
关键词 人工智能 不确定性推理 信任分配 不确定性度量理论 时态Dempster-Shafer理论
在线阅读 下载PDF
基于四值语义的缺省逻辑 被引量:1
18
作者 岳安步 林作铨 《计算机学报》 EI CSCD 北大核心 2005年第9期1447-1458,共12页
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具... 基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现. 展开更多
关键词 缺省逻辑 四值逻辑 非单调逻辑 超协调逻辑 非单调超协调逻辑
在线阅读 下载PDF
不协调知识的缺省推理(英文) 被引量:1
19
作者 韩庆 林作铨 《软件学报》 EI CSCD 北大核心 2004年第7期1030-1041,共12页
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双... 提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双缺省逻辑下重建,证明了双缺省逻辑是缺省逻辑在不协调情形下的一般化.提供了一种方法使得超协调逻辑能够获得类似经典逻辑的推理能力. 展开更多
关键词 缺省逻辑 超协调逻辑 四值逻辑 双缺省理论
在线阅读 下载PDF
悖论逻辑及其表演算
20
作者 林作铨 《计算机学报》 EI CSCD 北大核心 1998年第S1期17-23,共7页
修论逻辑LP是一个超协调逻辑,极小悖论逻辑LPm是一个LP的非单调逻辑扩展.本文给出了一阶LP和LPm的表演算.为此,本文在论证了(极小)悖论逻辑语义性质基础上,首先给出一个LP的(记号)表演算,然后给出一个LPm的极小表演算,并证... 修论逻辑LP是一个超协调逻辑,极小悖论逻辑LPm是一个LP的非单调逻辑扩展.本文给出了一阶LP和LPm的表演算.为此,本文在论证了(极小)悖论逻辑语义性质基础上,首先给出一个LP的(记号)表演算,然后给出一个LPm的极小表演算,并证明了两个表演算分别对于LP和LPm语义的可靠与完全性定理. 展开更多
关键词 表演算 超协调逻辑 非单调逻辑 悖论逻辑 极小悖论逻辑
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部