检索结果-内蒙古大学图书馆

计算机工程与应用 2006年第10期42卷 158-161页

作者：黄慧毛宇光刘正涛南京航空航天大学信息科学与技术学院南京大学计算机软件新技术重点实验室南京210093

次协调数据库的数据模型用来处理数据库中两类不确定信息,即不完全信息和不一致信息(又称矛盾信息)。论文基于这样的数据模型,提出了次协调数据库的UcQL语言,作为用户与次协调数据库管理系统之间进行语义交换的桥梁,很大程度上体现了次... 详细信息

次协调数据库的数据模型用来处理数据库中两类不确定信息,即不完全信息和不一致信息(又称矛盾信息)。论文基于这样的数据模型,提出了次协调数据库的UcQL语言,作为用户与次协调数据库管理系统之间进行语义交换的桥梁,很大程度上体现了次协调数据库处理不确定信息的特点。此外,论文基于四值逻辑新定义了谓词EXISTS及UN-KNOWN,并给出带有此类谓词的查询算法,从而以丰富灵活的语法支持了各种相关技术。

关键词：次协调数据库关系运算四值逻辑 UcQL语言

来源：评论

学校读者我要写书评

暂无评论

一类工作调度问题的回溯解法

引用

计算机工程与设计 2006年第18期27卷 3338-3339,3343页

作者：刘亮王相海辽宁师范大学计算机与信息技术学院辽宁大连116029 南京大学计算机软件新技术国家重点实验室江苏南京210093

回溯法是解决组合搜索问题的重要方法,该方法的搜索通过一个多阶段的确定过程来实现,在每一阶段都需要从一些选择中选择一个分支,一旦发现前面的选择不可能获得一个解,则算法进行回溯,即重新回到刚搜索过的选择点,并选择该结点另一个没... 详细信息

回溯法是解决组合搜索问题的重要方法,该方法的搜索通过一个多阶段的确定过程来实现,在每一阶段都需要从一些选择中选择一个分支,一旦发现前面的选择不可能获得一个解,则算法进行回溯,即重新回到刚搜索过的选择点,并选择该结点另一个没有被试过的分支,如果该点处所有的分支都已试过,则算法回溯到该结点之前被选择的点。首先对一类分配调度问题进行了分析,然后提出一种基于回溯法的解决方案,并给出了算法的具体实现过程,最后对所提出算法的复杂度进行了分析。实验结果验证了方法的有效性。

关键词：回溯算法工作调度限界复杂度

来源：评论

学校读者我要写书评

暂无评论

电子教室管理系统的实现

引用

科技资讯 2006年第31期4卷 96-97页

作者：顾云丽徐昕东南大学软件学院南京210018 南京信息工程大学计算机与软件学院南京210044

电子教室是完成多媒体教学、实验的主体,本文使用VisualC++.NET开发一个C/S架构的用于电子教室的管理系统。经运行测试,系统功能实用,能够满足正常的多媒体教学和实验。

关键词：电子教室管理系统 Visual C++.NET 教师机

来源：评论

学校读者我要写书评

暂无评论

基于切片技术的远程缓冲区溢出攻击检测模型

引用

计算机科学 2006年第12期33卷 70-74页

作者：郭林严芬蔡玮珺黄皓南京大学软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 扬州大学信息工程学院计算机科学与工程系扬州225009 南昌陆军学院科文教研室南昌330103

远程缓冲区溢出漏洞是网络安全领域危害最严重的安全漏洞,提高远程缓冲区溢出攻击防御能力成为安全研究的重要课题。本文提出了一种基于切片技术的远程缓冲区溢出攻击检测模型,给出了模型的架构思想和结构,以及各模块单元的实现技术和... 详细信息

远程缓冲区溢出漏洞是网络安全领域危害最严重的安全漏洞,提高远程缓冲区溢出攻击防御能力成为安全研究的重要课题。本文提出了一种基于切片技术的远程缓冲区溢出攻击检测模型,给出了模型的架构思想和结构,以及各模块单元的实现技术和方法。最后,通过实验对模型的有效性进行了验证,并对各要素对模型性能的影响进行了客观的分析和评价。

关键词：缓冲区溢出攻击切片指令缓冲模型

来源：评论

学校读者我要写书评

暂无评论

基于优先级的数据流数据库实时事务调度算法与实现

引用

小型微型计算机系统 2006年第12期27卷 2212-2217页

作者：刘正涛毛宇光南京航空航天大学信息科学与技术学院南京大学计算机软件新技术国家重点实验室江苏南京210093

数据流数据库系统中的持续查询事务存在着依赖及算子共享的复杂关系.提出了基于综合事务空闲时间与价值的优先级调度算法.在算法中充分考虑了有依赖关系与共享算子的实时事务对事务优先级的影响.利用有关联的双链表给出了算法的实现,包... 详细信息

数据流数据库系统中的持续查询事务存在着依赖及算子共享的复杂关系.提出了基于综合事务空闲时间与价值的优先级调度算法.在算法中充分考虑了有依赖关系与共享算子的实时事务对事务优先级的影响.利用有关联的双链表给出了算法的实现,包括事务的接收策略与事务完成/夭折算法的实现.最后在GStream系统中,从累积实现价值率和差分截止期2个方面实验了算法的性能,实验表明LSV算法相对于RR算法、LSF算法、HVF算法都有很大的改进.

关键词：数据流数据库实时事务调度策略空闲时间价值

来源：评论

学校读者我要写书评

暂无评论

CALO研究进展分析

引用

计算机研究与发展 2006年第z1期43卷 12-17页

作者：罗文杰高阳王皓李凡长南京大学软件新技术国家重点实验室南京210093 南京大学软件新技术国家重点实验室南京210093 南京大学软件新技术国家重点实验室南京210093 苏州大学计算机科学与技术学院苏州215006

CALO是目前美国国防部正在研制的一个应用于办公环境的智能系统,涉及机器学习、自然语言处理、知识表示、柔性规划、人机交互等多个领域的专门技术.由于该项目使用了目前人工智能领域的多项前沿技术,对人工智能相关技术的发展和集成应... 详细信息

CALO是目前美国国防部正在研制的一个应用于办公环境的智能系统,涉及机器学习、自然语言处理、知识表示、柔性规划、人机交互等多个领域的专门技术.由于该项目使用了目前人工智能领域的多项前沿技术,对人工智能相关技术的发展和集成应用有着重要影响,也引起了国内外很多研究人工智能领域的学者的关注.综合目前CALO项目已经发表的论文所介绍的研究情况,全面介绍了该项目目前的研究进展,详细分析了其使用部分重要技术,并据此对今后一段时间人工智能相关技术的发展做出展望.

关键词： CALO 人工智能机器学习多Agent系统

来源：评论

学校读者我要写书评

暂无评论

软件体系结构专刊前言

引用

软件学报 2006年第6期17卷 1255-1256页

作者：梅宏吕建江苏南京210093 北京大学信息科学技术学院软件研究所计算机软件新技术国家重点实验室(南京大学) 北京100871

过去的一年(2005-2006)是软件体系结构研究值得纪念的一年.十年前,第1届软件体系结构国际研讨会(International Workshop on Software Architecture,IWSA-1)召开,IEEE Software和IEEE Transactions on SoftwareEngineering软件体系结构专刊出版,软件体系结构领域的重要著作《Software Architecture:Perspectives on anEmerging Discipline))问世,标志着软件体系结构作为软件工程的一个研究分支正式提出.十年后的今天,软件体系结构领域已经吸引了大量的实践和研究人员参与进来,也涌现了不少与之相关的会议、期刊、培训和标准.为了纪念软件体系结构领域的十年发展,学术界举行了许多庆祝活动,典型的如在2005年IEEE/IFIP软件体系结构工作会议(IEEE/IFIP Working Conference on Software Architecture,WICSA’05)上举行的十周年庆典,IEEESoftware出版的新一期软件体系结构专刊(2006年3、4月期),软件体系结构研究的先驱者Mary Shaw和PaulClements联合发表的综述文章The Golden Age of Software Architecture:A Comprehensive Survey.一个基本共识是,现今已进入软件体系结构研究与实践的繁荣时期.

关键词：软件体系专刊

来源：评论

学校读者我要写书评

暂无评论

针对课程特点与学习意愿的教学方法探索

针对课程特点与学习意愿的教学方法探索

引用

第二届大学计算机课程报告论坛

作者：毕硕本南京信息工程大学计算机与软件学院南京 210044

"地理信息系统软件工程"课程具有概念多、原则多、方法多,思想性、理论性、抽象性强等特点,而学生却具有前期课程知识少、项目实践经验少、上机实习机会少的现状,所以讲授"地理信息系统软件工程"备感课程要求与学... 详细信息

"地理信息系统软件工程"课程具有概念多、原则多、方法多,思想性、理论性、抽象性强等特点,而学生却具有前期课程知识少、项目实践经验少、上机实习机会少的现状,所以讲授"地理信息系统软件工程"备感课程要求与学生现状的巨大差距.这个巨大差距必然影响到该课程的教学效果.为了提高"地理信息系统软件工程"的教学效果,作者设计了一套课程调查问卷,在第一堂课中由全班学生进行了现场作答.通过调查问卷的统计分析,摸清了学生的当前学习现况以及学习意愿.在随后该课程的教学过程中,有针对性地进行课程教学方法的改革,取得了良好的教学效果.

关键词：高等院校《地理信息系统软件工程》学习意愿教学方法

来源：评论

学校读者我要写书评

暂无评论

移动自组网电力及负荷感知的构造最小连通支配集算法

引用

电子学报 2006年第11期34卷 2004-2007页

作者：朱艺华沈毅俊吴小燕汪加才浙江工业大学信息工程学院浙江工业大学经贸管理学院浙江杭州310023 南京审计学院计算机系江苏南京210029

在移动自组网络MANET(Mobile Ad-hoc Networks)中,移动节点之间的通信是多跳(Multi-hop)的,即需要网络中其他节点的参与得以进行,因此,节点之间的通信路径会因为节点的电力耗竭或节点的移动而中断.本文提出了根据移动节点当前电力及通... 详细信息

在移动自组网络MANET(Mobile Ad-hoc Networks)中,移动节点之间的通信是多跳(Multi-hop)的,即需要网络中其他节点的参与得以进行,因此,节点之间的通信路径会因为节点的电力耗竭或节点的移动而中断.本文提出了根据移动节点当前电力及通信负荷来选择支配节点的最小连通支配集CDS(Connected Dominating Set)构造算法,这种算法可以减小由移动节点电力耗竭所致的通信路径失效的概率,也可以减少数据包通过各移动节点的延误时间,对设计MANET的高效稳定的路由策略有着重要的应用价值.

关键词：移动自组网支配集路由策略

来源：评论

学校读者我要写书评

暂无评论

基于Dempster-Shafer证据理论的端口扫描检测方法

引用

电子学报 2006年第11期34卷 1946-1950页

作者：赖海光许峰黄皓谢俊元南京大学计算机软件新技术国家重点实验室南京航空航天大学信息科学与技术学院江苏南京210016

端口扫描是通过对目标系统端口试探性的访问来判断端口是否开放的行为.它往往是攻击者入侵行为的第一步.端口扫描检测是入侵监测系统不可缺少的一部分,而当前端口扫描的检测方法不多,并且准确性不高.为提高扫描检测的准确性,本文使用Dem... 详细信息

端口扫描是通过对目标系统端口试探性的访问来判断端口是否开放的行为.它往往是攻击者入侵行为的第一步.端口扫描检测是入侵监测系统不可缺少的一部分,而当前端口扫描的检测方法不多,并且准确性不高.为提高扫描检测的准确性,本文使用Dempster-Shafer证据理论对两种扫描检测方法产生的数据进行融合:一种是基于端口分布特征的扫描检测方法,该方法简单且具有较高的检测率;另一种是基于序列假设测试的扫描检测方法,该方法充分利用了端口扫描的本质特征.实验结果表明,同单独使用基于端口分布特征或序列假设测试的方法相比,这种基于Dempster-Shafer证据理论的扫描检测方法对端口扫描的检测准确得多.

关键词：扫描检测入侵检测 Dempster-Shafer证据理论数据融合

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：