国家重点实验室开放基金(SKL4)

作品数:15被引量:85H指数:6
导出分析报告
相关作者:胡金柱关佶红陈娟娟胡龙江杨治更多>>
相关机构:武汉大学华中师范大学国防科学技术大学南方医科大学更多>>
相关期刊:《计算机工程与应用》《电子学报》《计算机应用研究》《计算机工程》更多>>
相关主题:RBAC模型OWL-S领域ONTOLOGY相似度ONTOLOGY更多>>
相关领域:自动化与计算机技术天文地球更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于知识库和实例推理的构件检索方法被引量:8
《计算机工程》2005年第21期159-161,F0003,共4页杨治 胡金柱 胡龙江 
软件工程国家重点实验室开放研究基金资助项目(SKL(4)018);湖北省科技攻关资助项目(2003AA101C26)
提出了一种利用人工智能领域中基于实例的推理(CBR)创建基于知识库的软件构件库进行构件检索的框架方法。重点阐述了利用软件构件的功能和行为知识表达测量检索到的构件实例与问题需求的相似度、构件功能性和构件可重用性的方法。
关键词:基于实例的推理 知识库 构件检索 
基于变化集合的安全策略模型
《计算机与数字工程》2005年第7期5-9,共5页樊爱华 王逸欣 刘联欢 
武汉大学软件工程国家重点实验室开放研究基金(项目编号:SKL(4)005)的资助
首先讨论了人们常常遇到的一些重要的安全问题。从软件配置管理(SCM)着手研究和支持解决这些问题,将会是一个十分有效的途径。论文在介绍了SCM的变化集合模型后,给出了基于变化集合的安全策略模型,并简要介绍了模型的实际应用。
关键词:安全策略模型 软件配置管理xML 
基于构件角色模型的组装检测方法探讨
《计算机应用研究》2005年第7期71-72,75,共3页牟树霞 胡金柱 杨明霞 胡龙江 杨治 
软件工程国家重点实验室开放研究基金资助项目(SKL(4)018);湖北省科技攻关项目(2003AA101C26)
软件生产线是当前软件工程界一个研究的热门课题。在整个软件生产线过程中,构件组装是其中一个重要的环节,而在软件生产线上组装构件必然离不开组装检测,以确定该构件组装机制是否与该软件生产线相适配。在讨论构件组装机制和构件角色...
关键词:软件生产线 构件组装 角色模型 
TSP及其操作语义模型研究
《海军工程大学学报》2005年第2期12-18,27,共8页叶俊民 王振宇 黄萍 赵恒 
国防科技预研基金资助项目;国家重点实验室开放基金资助项目(SKL(4)020)
在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDL...
关键词:FSP TSP 时间标号迁移系统 操作语义 
主动接口BCA构件适配技术及其实例研究被引量:2
《华中师范大学学报(自然科学版)》2005年第1期28-31,共4页胡金柱 杨明霞 牟树霞 杨治 胡龙江 
软件工程国家重点实验室开放研究基金(SKL(4)018);湖北省科技攻关项目资助(2001AA101C31).
介绍了两种构件适配技术:主动接口技术和BCA(BinaryComponentAdaptation)技术,分析了两种技术各自的优缺点.在此基础上将这两种技术结合,形成一种新的构件适配技术———主动接口BCA适配技术,并通过具体实例论证了新技术的可行性及其优势.
关键词:构件适配 主动接口 BCA 
一种数据网格的元数据分类管理机制研究被引量:1
《武汉大学学报(信息科学版)》2005年第1期56-60,共5页张建华 关佶红 王雷春 张俊 
国家自然科学基金资助项目 (60 3 73 0 19);国家 863计划资助项目 (2 0 0 2AA13 5 3 40 ) ;软件工程国家重点实验室开放研究基金资助项目 (SKL(4 ) 0 0 3 ) ;测绘遥感信息工程国家重点实验室开放研究基金资助项目 (WKL(0 1) 0 3 0 3 ) ;IBM软件奖研金资助项目。
网格环境下数据发现和访问的关键问题是应用元数据管理和拷贝元数据管理 ,针对这一问题 ,提出了一种元数据分类管理机制。该机制定义了数据模型和应用元数据模式 ,采用了分类存储的方式对不同的元数据进行管理 。
关键词:数据网格 元数据 拷贝管理 目录管理 智能体 
基于Ontology的网络地理服务描述与发现被引量:24
《武汉大学学报(信息科学版)》2004年第12期1063-1066,共4页安杨 边馥苓 关佶红 
国家自然科学基金资助项目 (60 3 73 0 19) ;国家 863计划资助项目 (2 0 0 2AA13 5 3 40 ) ;测绘遥感信息工程国家重点实验室开放研究基金资助项目 (WKL(0 1) 0 3 0 3 ) ;软件工程国家重点实验室开放研究基金资助项目 (SKL(4 ) 0 0 3 ) ;IBM软件奖研金资助项目。
针对目前Web服务的行业标准中服务描述和发现方法的不足 ,提出了一种基于Ontology的网络地理信息服务描述和发现方法。其核心思想是采用“概念层 应用层”两个层次来描述地理信息服务 ,将服务发布后 ,通过对服务描述中输入输出等参数...
关键词:网络地理服务 服务描述 领域ONTOLOGY OWL-S 相似度 服务发现 
GML空间数据存储映射模型研究被引量:11
《武汉大学学报(信息科学版)》2004年第12期1071-1074,共4页李俊 关佶红 李玉珍 
国家自然科学基金资助项目 (60 3 73 0 19) ;国家 863计划资助项目 (2 0 0 2AA13 5 3 40 ) ;软件工程国家重点实验室开放研究基金资助项目 (SKL(4 ) 0 0 3 ) ;测绘遥感信息工程国家重点实验室开放研究基金资助项目 (WKL(0 1) 0 3 0 3 ) ;IBM软件奖研金资助项目。
提出了一种将GML文档存储到空间数据库的存储映射模型G2SDB ,同时通过定义边表 ,保留GML文档的部分结构信息 ,有利于处理GML查询中的路径表达式 ,提高查询操作的效率 ,也有利于GML文档的重构。
关键词:GML 空间数据库 G2SDB 内联模式树 空间数据库模式 
HLA/RTI时间管理的一种优化算法被引量:6
《电子学报》2004年第2期294-297,共4页姚益平 卢锡城 
国家 8 63计划项目 (No .2 0 0 1AA1 1 51 2 7) ;国家自然科学基金 (No.60 3730 2 4 ) ;武汉大学软件工程国家重点实验室开放研究基金 (No .SKL(4) 0 0 5)
时间管理服务是HLA与以前分布式仿真标准最主要区别内容之一 ,也是RTI实现的重点和难点 .其性能直接影响到仿真的效率和正确性 .时间管理服务实现的关键是最大可用逻辑时间GALT的计算 .论文针对目前GALT算法存在的可能死锁问题 ,提出了...
关键词:高层体系结构(HLA) 运行支持环境(RTI) 时间管理(TM) 最大可用逻辑时间(GALT) 
RBAC模型中角色的继承与互斥问题的研究被引量:5
《计算机科学》2003年第11期160-163,共4页胡金柱 陈娟娟 
软件工程国家重点实验室开放研究基金(SKL(4)018);湖北省科技攻关项目(2001AA101C31)
1引言 基于角色访问控制RBAC(Role-Based Access Control)的基本思想是引入角色将用户和访问权限间接联系起来,根据系统用户的工作职责设置角色,授予角色相应的访问权限,再为用户分配角色.图1给出了RBAC模型的基本思想.
关键词:RBAC模型 互斥 角色 继承 问题 
检索报告 对象比较 聚类工具 使用帮助 返回顶部