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

计算机工程与设计 2009年第2期30卷 484-486页

作者：黎伶锋郝东白张诚黄皓南京大学计算机科学与技术系江苏南京210093 南京大学软件新技术国家重点实验室江苏南京210093 南京陆军指挥学院信息作战与指挥系江苏南京210045

打印监控与审计是主机安全保护的一项重要内容。对打印机打印内容的监控与审计技术往往难以适应实际应用环境的要求,造成对打印内容监控审计的遗漏和不完备,使其成为监控审计的难点之一。分析了Windows平台下打印体系结构,详细阐述了API... 详细信息

打印监控与审计是主机安全保护的一项重要内容。对打印机打印内容的监控与审计技术往往难以适应实际应用环境的要求,造成对打印内容监控审计的遗漏和不完备,使其成为监控审计的难点之一。分析了Windows平台下打印体系结构,详细阐述了API Hook、Driver Hook、虚拟打印机和轮询打印队列,这4种主要的打印监控审计技术的原理与实现算法,并分析了采用该监控技术在实际打印监控应用中的优点与不足。最后,综合各种监控技术的优缺点,给出了未来打印监控审计技术的一种发展趋势和应用方案。

关键词：打印监控审计挂钩轮询虚拟打印机

来源：评论

学校读者我要写书评

暂无评论

一种基于形式化描述的测试案例生成方法

一种基于形式化描述的测试案例生成方法

引用

第六届中国信息和通信安全学术会议(CCICS'2009)

作者：丁洪达王伟光曾庆凯南京大学计算机软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

针对已有的形式化方法生成测试案例的不足，在分析形式化描述语言Z结构特点的基础上，提出了一种新的基于形式化描述的测试案例生成方法。该方法引入了控制流覆盖准则，克服了经验方法输入空间划分不完整的缺点，降低了形式化描述的难... 详细信息

针对已有的形式化方法生成测试案例的不足，在分析形式化描述语言Z结构特点的基础上，提出了一种新的基于形式化描述的测试案例生成方法。该方法引入了控制流覆盖准则，克服了经验方法输入空间划分不完整的缺点，降低了形式化描述的难度，并可以使测试案例生成过程自动化。

关键词：安全评估安全测试形式化方法测试案例覆盖准则

来源：评论

学校读者我要写书评

暂无评论

无线网络环境下的缓存策略研究

引用

计算机科学 2009年第4期36卷 1-4,11页

作者：林晨黄宇金蓓弘中国科学院软件研究所软件工程技术中心北京100190 中国科学院研究生院北京100049 南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包... 详细信息

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包括缓存放置策略、缓存替换策略、缓存一致性维护算法。进而分析、讨论了上述策略的优缺点,并指出了缓存策略的发展趋势。

关键词：无线网络缓存放置替换一致性

来源：评论

学校读者我要写书评

暂无评论

一种动态内存泄露检测方法

一种动态内存泄露检测方法

引用

全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议

作者：许宝喜王林章软件新技术国家重点实验室南京大学计算机科学与技术系

内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法:静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序;动态方法则是让... 详细信息

内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法:静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序;动态方法则是让程序运行,监视程序的运行,获取程序的行为,从而分析是否有内存泄露问题。本文针对内存泄露问题,提出了一种动态检测内存泄露的方法,这种方法在向程序员提供更加有效的诊断信息方面做了一些研究工作。在以往的很多动态内存泄露的检测工具中,更多地关注了在程序的什么地方申请的内存发生了泄露,而对于这个泄露为何会产生所做的工作很少。在我们的这个工作中,对源程序进行了插桩。通过动态插桩的方式,收集程序的运行轨迹,将发生内存泄露时的内存轨迹呈现于程序员。并将该运行轨迹与在同一个地方申请了内存,却没有发生内存泄露的轨迹进行比对,指出可能是哪一个条件判断导致了内存泄露的发生。

关键词：内存泄露动态插桩静态

来源：评论

学校读者我要写书评

暂无评论

一种面向服务的可靠多媒体传输算法

一种面向服务的可靠多媒体传输算法

引用

中国计算机学会全国软件与应用学术会议(NASAC2009)

作者：张胜钱柱中陆桑璐南京大学计算机软件新技术国家重点实验室，江苏南京 210093 南京大学计算机科学与技术系，江苏南京 210093

面向服务的多媒体传输具有较高扩展性和灵活性，是一个重要的普适应用，但是普适环境中不同链路的传输带宽和节点处理能力差别巨大，终端用户尤其是移动用户往往无法获得可靠的服务。而某些多媒体服务能改变数据传输量，降低传输时延，... 详细信息

面向服务的多媒体传输具有较高扩展性和灵活性，是一个重要的普适应用，但是普适环境中不同链路的传输带宽和节点处理能力差别巨大，终端用户尤其是移动用户往往无法获得可靠的服务。而某些多媒体服务能改变数据传输量，降低传输时延，但其处理时延往往较长，且增加了额外的传输;同时，不同节点的可靠性不同，也影响了系统的预期性能。因此，如何选择一条时延较小且可靠性较高的路径成为一个挑战性问题。对此，本文提出了LD/RPath算法，通过数据量近似和节点分裂等方法，最终将其转化为一个最短路径问题。实验结果表明，LD/RPath有着较好的路径选择效果和较低的系统开销。

关键词：服务组合节点分裂节点处理多媒体传输算法

来源：评论

学校读者我要写书评

暂无评论

多需求驱动的测试用例集约简方法

多需求驱动的测试用例集约简方法

引用

全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议

作者：孙富强王林章南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,由于测试过程中时间和资源的限制,测试用例集约简技术试图移除那些冗余的测试用例,即它们满足的测试需求已被其他测试用例所满足。现有的基于单测试目标的测试... 详细信息

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,由于测试过程中时间和资源的限制,测试用例集约简技术试图移除那些冗余的测试用例,即它们满足的测试需求已被其他测试用例所满足。现有的基于单测试目标的测试用例集约简方法不仅缩小了测试用例集的规模,同时也可能削弱了缺陷检测的能力。本文提出了多需求驱动的约简方法,该方法根据瀑布模型中需求规约、设计模型和代码的关系,分别设定相应的测试目标,在多测试需求集的基础上,精简现有的测试用例集,以达到既能约简测试用例集,又能提高精简测试用例集的缺陷检测能力的目的。

关键词：多需求测试用例集约简缺陷检测能力

来源：评论

学校读者我要写书评

暂无评论

中文共指消解中的聚类全局优化

中文共指消解中的聚类全局优化

引用

第十届全国计算语言学学术会议

作者：刘未鹏周俊生黄书剑陈家骏南京大学计算机软件新技术国家重点实验室南京师范大学计算机科学与技术学院

共指消解的主流框架分为二元分类和等价类划分两个步骤,围绕第二个步骤进行的全局优化是主要的研究方向之一。本文结合共指消解问题本身的特点提出了一种基于最小化决策错误的损失函数,并利用一种自底向上的聚类模型对其进行优化,此外... 详细信息

共指消解的主流框架分为二元分类和等价类划分两个步骤,围绕第二个步骤进行的全局优化是主要的研究方向之一。本文结合共指消解问题本身的特点提出了一种基于最小化决策错误的损失函数,并利用一种自底向上的聚类模型对其进行优化,此外提出另外两种贪婪聚类模型,在ACE中文语料上的实验显示三种聚类模型的效果都优于baseline系统,其中自底向上的聚类效果更明显。

关键词：共指消解全局优化聚类损失函数

来源：评论

学校读者我要写书评

暂无评论

一种动态内存泄露检测方法

一种动态内存泄露检测方法

引用

全国第20届计算机技术与应用(CACIS)学术会议

作者：许宝喜王林章软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法：静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序;动态方法则是... 详细信息

内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法：静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序;动态方法则是让程序运行,监视程序的运行,获取程序的行为,从而分析是否有内存泄露问题。本文针对内存泄露问题,提出了一种动态检测内存泄露的方法,这种方法在向程序员提供更加有效的诊断信息方面做了一些研究工作。在以往的很多动态内存泄露的检测工具中,更多地关注了在程序的什么地方申请的内存发生了泄露,而对于这个泄露为何会产生所做的工作很少。在我们的这个工作中,对源程序进行了插桩。通过动态插桩的方式,收集程序的运行轨迹,将发生内存泄露时的内存轨迹呈现于程序员。并将该运行轨迹与在同一个地方申请了内存,却没有发生内存泄露的轨迹进行比对,指出可能是哪一个条件判断导致了内存泄露的发生。

关键词：内存泄露动态插桩内存轨迹动态检测

来源：评论

学校读者我要写书评

暂无评论

乱针绣计算机辅助制作技术研究

乱针绣计算机辅助制作技术研究

引用

第六届智能CAD与数字娱乐学术会议

作者：陈圣国孙正兴项建华张岩南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 金陵科技学院信息技术学院南京211169 南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 常州纺织服装职业技术学院创意学院常州213164

采用计算机辅助技术对乱针绣工艺的保护和进一步发展具有十分重要的意义。本文研究了计算机辅助制作乱针绣的几个关键技术问题：选择颜色子集，针迹生成策略，针迹参数的计算方法。

关键词：计算机辅助制作技术乱针绣颜色子集针迹生成遗传算法

来源：评论

学校读者我要写书评

暂无评论

基于扩展的不干扰模型的系统完整保护研究

基于扩展的不干扰模型的系统完整保护研究

引用

第六届中国信息和通信安全学术会议(CCICS'2009)

作者：崔隽黄皓陈志贤软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

本文通过对微内河操作系统Minix 3.0完整性属性的分析，认为操作系统完整性的策略可以用不干扰模型来描述，而保障系统完整性的安全机制同样可以通过不干扰模型来描述和验证。根据安全策略和安全机制描述的需要，本文对不干扰模型的输... 详细信息

本文通过对微内河操作系统Minix 3.0完整性属性的分析，认为操作系统完整性的策略可以用不干扰模型来描述，而保障系统完整性的安全机制同样可以通过不干扰模型来描述和验证。根据安全策略和安全机制描述的需要，本文对不干扰模型的输出视图和视图转换关系进行了扩展，将系统的执行状态与数据存储状态一同作为分析系统完整性保持的依据，使系统完整性分析更加细致和有针对性。

关键词：微内核操作系统不干扰模型系统完整保护视图转换安全机制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：