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

计算机工程 2004年第11期30卷 54-56,140页

作者：程维国田园王德强谢俊元南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

审计子系统作为安全数据库的一个重要组成部分,它可以对外界的行为追踪、记录,监督系统正常运行,保障系统安全策略的实行,构造入侵监测系统。该文主要介绍了一个基于开放源代码Postgres实现的安全数据库SoftBase的审计子系统。并给出了... 详细信息

审计子系统作为安全数据库的一个重要组成部分,它可以对外界的行为追踪、记录,监督系统正常运行,保障系统安全策略的实行,构造入侵监测系统。该文主要介绍了一个基于开放源代码Postgres实现的安全数据库SoftBase的审计子系统。并给出了审计开关、审计记录、审计文件、审计查询的具体实现。

关键词：审计安全数据库审计开关审计记录

来源：评论

学校读者我要写书评

暂无评论

基于实例推理的智能刺绣编程系统

引用

小型微型计算机系统 1998年第12期19卷 32-37页

作者：李红兵李宁陈世福南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

本文介绍基于实例推理的智能刺绣编程系统。根据电脑刺绣领域问题的需要，建立了描述刺绣样品的实例模型，利用动态存储模型技术实现实例的存储和检索，在此基础上给出了基于实例的推理流程和算法、实例重用和实例保留算法等。基于实例... 详细信息

本文介绍基于实例推理的智能刺绣编程系统。根据电脑刺绣领域问题的需要，建立了描述刺绣样品的实例模型，利用动态存储模型技术实现实例的存储和检索，在此基础上给出了基于实例的推理流程和算法、实例重用和实例保留算法等。基于实例推理方法可大大提高绣品的质量和刺绣编程的效率。

关键词：实例推理刺绣编程系统计算机

来源：评论

学校读者我要写书评

暂无评论

对XPath模式定位能力的扩充

引用

计算机研究与发展 2001年第6期38卷 674-678页

作者：王强武港山南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

基于一般结构模式的定位手段对一个完备的面向 XML文档内容的定位机制来说是重要的 ,而 XPath在这方面还有所欠缺 .首先通过实例分析阐明了 XPath提供基于一般结构模式的定位手段的必要性 ,随后通过一些扩充定义来改善它的表示能力 .扩... 详细信息

基于一般结构模式的定位手段对一个完备的面向 XML文档内容的定位机制来说是重要的 ,而 XPath在这方面还有所欠缺 .首先通过实例分析阐明了 XPath提供基于一般结构模式的定位手段的必要性 ,随后通过一些扩充定义来改善它的表示能力 .扩充从概念、语法描述和执行机制 3个方面展开 ,概念上 ,引入了结点序列模式和结点正则表达式的定义 ;语法描述上 ,为 XPath扩充了数据类型 N Regex Type和结点序列模式匹配函数 match;执行机制上 ,定义了一个用于分析结点序列模式匹配过程的形式化自动机 .

关键词：结点序列模式正则表达式模式匹配函数自动机 XPath

来源：评论

学校读者我要写书评

暂无评论

自动验证并发实时系统的线性时段性质

引用

计算机研究与发展 2001年第9期38卷 1097-1104页

作者：许何赵建华李宣东郑国梁南京大学软件新技术国家重点实验室南京210093 南京计算机科学与技术系南京210093

介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动... 详细信息

介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动机网时 ,用户可以使用工具提供的合成程序将其合并为一个时间自动机然后进行检验 .由于时间自动机的状态空间是无穷的 ,通过引入整数状态和状态等价关系的概念 ,将整个状态空间划分为有限的状态等价类空间 .模型检验过程只需要通过对等价类空间的搜索就可以完成 .但往往等价类空间的规模很大 ,超出了现在计算机的处理能力 ,原始搜索算法仅仅在理论上是可行的 .为了增强工具的使用性 ,工具中使用的算法运用了一些优化技术来避免对等价类空间的穷尽搜索 ,使得工具在使用时具有比较好的时间和空间效率 .

关键词：形式化方法时间自动化自动验证并发实时系统线性时段性质

来源：评论

学校读者我要写书评

暂无评论

一种多核环境中无锁的多进程负载均衡会话保持方案

引用

电子与信息学报 2013年第4期35卷 982-987页

作者：吴和生王崇骏谢俊元南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

负载均衡是云计算的基本问题之一,多核环境中多进程负载均衡会话保持问题得到广泛关注并发展成为研究热点。针对该问题,面向Linux内核,基于Hash化管理内核网络数据包传递的思想,该文提出并实现了一种无锁的多进程负载均衡会话保持方案... 详细信息

负载均衡是云计算的基本问题之一,多核环境中多进程负载均衡会话保持问题得到广泛关注并发展成为研究热点。针对该问题,面向Linux内核,基于Hash化管理内核网络数据包传递的思想,该文提出并实现了一种无锁的多进程负载均衡会话保持方案。该方案避免了锁的使用,而且不需要对原有单进程负载均衡程序进行结构上的修改,能够快速地将现有单进程负载均衡程序转变为多进程架构。理论分析和实验表明,相较于传统的共享内存式锁机制会话保持解决方案,该方案性能更好、适用性更强,提高了多核环境中负载均衡系统的效率。

关键词：云计算多核多进程负载均衡会话保持无锁

来源：评论

学校读者我要写书评

暂无评论

自动入侵响应技术研究

引用

计算机工程 2005年第18期31卷 143-145,177页

作者：胡文黄皓南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

简述了自动入侵响应系统的一般模型和系统特性,并对当前主要的入侵响应方式进行了介绍和评估,最后从响应决策技术、协同响应技术、自适应技术和追踪反击技术4个方面阐述了自动入侵响应的发展方向。

关键词：自动入侵响应决策协同自适应追踪

来源：评论

学校读者我要写书评

暂无评论

基于扩展标记语言的Internet市场的服务描述

引用

软件学报 2000年第1期11卷 62-66页

作者：周笑波杜鹏陈贵海陈道蓄谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它... 详细信息

作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它较好地权衡了市场构架与顾客及服务提供者的观点 .

关键词：扩展标记语言 Internet网 Internet市场

来源：评论

学校读者我要写书评

暂无评论

面向草图检索的相关反馈方法

引用

计算机辅助设计与图形学学报 2006年第11期18卷 1753-1757页

作者：梁爽孙正兴南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

引入基于有偏SVM的学习机制,提出了一种面向草图检索的相关反馈方法.该方法以草图的全局和结构内容表示与匹配为基础,采用基于有偏SVM学习机制实现相关反馈,可有效地捕捉用户的查询兴趣,改善检索性能.最后通过实例验证了该方法的有效性.

关键词：草图检索有偏 SVM 相关反馈

来源：评论

学校读者我要写书评

暂无评论

多用户协作的Web知识获取

引用

模式识别与人工智能 2002年第3期15卷 285-289页

作者：王超黄建海李俊潘金贵南京大学软件新技术国家重点实验室计算机科学与技术系南京210093

万维网上非结构化、异构、海量的信息资源给人们寻求合适的信息造成了困难.搜索引擎、个性化搜索工具及其他相关技术的使用,在一定程度上缓解了这个问题,但在面对人们长期的、系统的知识获取需求时,它们所起的作用相对有限.本文分析了... 详细信息

万维网上非结构化、异构、海量的信息资源给人们寻求合适的信息造成了困难.搜索引擎、个性化搜索工具及其他相关技术的使用,在一定程度上缓解了这个问题,但在面对人们长期的、系统的知识获取需求时,它们所起的作用相对有限.本文分析了人们通过万维网求知的一般过程,并结合一个系统的设计和实现讨论了能有效协助用户万维网求知的具体相关技术,并阐述了该多用户协作的万维网知识获取系统的整体结构和特点.

关键词：万维网信息抽取语义知识获取多用户协作

来源：评论

学校读者我要写书评

暂无评论

基于场景规约的构件式系统设计分析与验证

引用

计算机学报 2006年第4期29卷 513-525页

作者：胡军于笑丰张岩王林章李宣东郑国梁计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验... 详细信息

使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.

关键词：构件式系统设计接口自动机模型检验顺序图统一建模语言(UML)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：