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

软件学报 2008年第10期19卷 2539-2549页

作者：陈鑫李宣东南京大学计算机科学与技术系江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和... 详细信息

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.

关键词：用例模型语义多视图一致性检验最弱前提条件

来源：评论

学校读者我要写书评

暂无评论

代价敏感的局部判别嵌入人脸识别算法

引用

计算机辅助设计与图形学学报 2015年第7期27卷 1304-1312页

作者：杨萌马小虎张哲来苏州大学计算机科学与技术学院苏州215006 南京大学计算机软件新技术国家重点实验室南京210023

局部判别嵌入算法寻求最高的正确识别率时假设所有的错误分类具有相同的错分代价,然而这个假设在现实的人脸识别系统中往往是不成立的,因为不同的错误分类将会导致不同的错分代价.为此,提出一种代价敏感的局部判别嵌入算法.首先通过构... 详细信息

局部判别嵌入算法寻求最高的正确识别率时假设所有的错误分类具有相同的错分代价,然而这个假设在现实的人脸识别系统中往往是不成立的,因为不同的错误分类将会导致不同的错分代价.为此,提出一种代价敏感的局部判别嵌入算法.首先通过构造代价矩阵将代价敏感理念融入到特征提取阶段,以提高算法判别不同错误分类的能力;然后最大化异类近邻样本点之间的错分代价,同时最小化同类近邻样本点之间的距离;最后利用迭代算法求得最佳的正交投影向量,以更好地维持数据的度量架构.在Yale,ORL,AR和Extended Yale B人脸数据库上的实验结果表明,文中算法是有效的.

关键词：人脸识别局部判别嵌入代价敏感特征提取

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

列存储数据区级压缩模式与压缩策略选择方法

引用

计算机学报 2010年第8期33卷 1523-1530页

作者：王振玺乐嘉锦王梅刘国华东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

压缩技术是列存储数据管理的重要研究内容之一.目前多数方法对同一列数据使用单一压缩方法进行压缩,忽略了数据的局部分布特性,极大地影响了压缩性能.该文提出一种区级压缩模式,并在此模式下提出基于学习的压缩策略选择方法.首先该文将... 详细信息

压缩技术是列存储数据管理的重要研究内容之一.目前多数方法对同一列数据使用单一压缩方法进行压缩,忽略了数据的局部分布特性,极大地影响了压缩性能.该文提出一种区级压缩模式,并在此模式下提出基于学习的压缩策略选择方法.首先该文将数据列进一步划分为区,并分别定义相邻区信息与区所在列的统计信息为参照信息,进而通过学习参照信息与当前区之间的相似性和差异性进行策略推荐.最后该文对区进行局部学习从而对推荐压缩策略进行修正,保证压缩策略的有效性.在数据仓库基准数据集SSB上的实验结果验证了该文方法的有效性.

关键词：列存储数据压缩区级压缩模式压缩策略选择

来源：评论

学校读者我要写书评

暂无评论

基于污点分析的数组越界缺陷的静态检测方法

引用

软件学报 2020年第10期31卷 2983-3003页

作者：高凤娟王豫陈天骄司徒凌云王林章李宣东南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

随着移动计算、物联网、云计算、人工智能等领域的飞速发展,也涌现出了很多新的编程语言和编译器,但是C/C++语言依旧是最受欢迎的编程语言之一,而数组是C语言最重要的数据结构之一.当在程序中通过数组下标访问数组元素时,必须确保该下... 详细信息

随着移动计算、物联网、云计算、人工智能等领域的飞速发展,也涌现出了很多新的编程语言和编译器,但是C/C++语言依旧是最受欢迎的编程语言之一,而数组是C语言最重要的数据结构之一.当在程序中通过数组下标访问数组元素时,必须确保该下标在该数组的边界之内,否则就会导致数组越界.程序中的数组越界缺陷会使得程序在运行时导致系统崩溃,甚至使攻击者可以截取控制流以执行任意恶意代码.当前针对数组越界的静态检查方法无法达到高精度的分析,尤其是无法处理复杂约束和表达式,过多的误报额外增加了开发者的负担.因此,提出了一种基于污点分析的数组越界的静态检测方法.首先,提出流敏感、上下文敏感的按需指针分析方法,实现数组长度区间分析.然后,提出按需污点分析方法,实现数组下标和数组长度污染情况的计算.最后,定义数组越界缺陷判定规则,提出使用后向数据流分析方法,检测数组下标是否越界.在进行数组越界检测的过程中,为了处理程序中的复杂约束和表达式,在分析过程中将调用约束求解器来判断约束的可满足性.如果没有发现相应的语句,则报告数组越界缺陷警报.同时,实现了自动静态分析工具Carraybound,并通过实验展示了方法的有效性.

关键词：数组越界静态分析缓冲区溢出约束求解

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库查询执行中重用缓冲区调度算法

引用

计算机研究与发展 2011年第10期48卷 1942-1950页

作者：张琦王梅乐嘉锦刘国华东华大学计算机科学与技术学院上海201620 计算机软件新技术国家重点实验室(南京大学) 南京210093

查询的中间结果重用是提高查询效率的重要手段.现有列存储系统主要关注多查询计划间的中间结果重用,忽略了单一查询计划执行过程中大量可重复访问的中间结果.单一查询中的中间结果具有确定性高、结果大小可估计的特征,非常适合作为重用... 详细信息

查询的中间结果重用是提高查询效率的重要手段.现有列存储系统主要关注多查询计划间的中间结果重用,忽略了单一查询计划执行过程中大量可重复访问的中间结果.单一查询中的中间结果具有确定性高、结果大小可估计的特征,非常适合作为重用的对象.为此,针对列存储数据仓库单一查询计划执行过程中的中间结果重用问题,提出了一个重用缓冲区空间的调度算法.首先,基于操作结点在给定物理执行计划树中的相对位置及其操作所产生的中间结果的大小对操作结点提出重用度估计模型.其次,设计了基于模型估计结果的缓冲区调度算法.在每一个查询计划的执行过程中,根据其模型估计结果执行缓冲区调度算法,使得其产生的中间结果中更重要的部分能够更久地驻留在内存中,以提升查询性能.在数据仓库基准数据集SSB上的实验结果验证了方法的有效性.

关键词：列存储查询执行中间结果重用重用缓冲区数据仓库

来源：评论

学校读者我要写书评

暂无评论

面向意外处理的工作流系统建模与执行

引用

计算机学报 2003年第9期26卷 1094-1103页

作者：窦万春席晓鹏许列飞蔡士杰南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

产生于工作流系统的执行阶段、未在系统建模阶段进行描述和定义的突发事件 ,称为工作流意外事件 .对应意外事件的处理过程 ,称为意外处理 .该文针对意外事件 ,从系统建模与模型执行两个方面对工作流意外处理进行了探讨 .在系统建模阶段 ... 详细信息

产生于工作流系统的执行阶段、未在系统建模阶段进行描述和定义的突发事件 ,称为工作流意外事件 .对应意外事件的处理过程 ,称为意外处理 .该文针对意外事件 ,从系统建模与模型执行两个方面对工作流意外处理进行了探讨 .在系统建模阶段 ,通过拓展Petri网中的基本概念 ,提出并构造了组成工作流的过程单元 ,在将工作流内在的逻辑关系分解为控制流与数据流的基础上 ,讨论了一个面向意外处理的工作流系统复合建模方法 .对应工作流的模型执行 ,定义了两类意外处理 ,用矩阵形式分别表示或标识控制流、数据流和意外事件 ,经过矩阵分析与变换 ,对意外事件的影响区域进行范围界定 .最后。

关键词：工作流系统建模 Petri网意外处理数据流控制流 CSCW

来源：评论

学校读者我要写书评

暂无评论

一种新的网络故障诊断方法——FTFD

引用

计算机研究与发展 2005年第11期42卷 1928-1933页

作者：李千目许满武杨云张宏刘凤玉南京大学计算机软件新技术国家重点实验室南京210003 南京理工大学计算机科学与技术系南京210094

通过对网络状态和故障指标进行形式化分析,提出一种基于模糊事件的故障检测方法(FTFD),该方法通过建立状态检测函数,能将比较复杂、模糊性强的网络故障问题用精确的数学转换方法来解决,从而获得比较精确的结果·应用FTFD诊断网络故... 详细信息

通过对网络状态和故障指标进行形式化分析,提出一种基于模糊事件的故障检测方法(FTFD),该方法通过建立状态检测函数,能将比较复杂、模糊性强的网络故障问题用精确的数学转换方法来解决,从而获得比较精确的结果·应用FTFD诊断网络故障不仅能有效降低漏报率和误报率,而且使实时故障诊断成为可能·原型系统证实了该方法的可行性,获得了在实时环境中网络故障诊断的技术效果·

关键词：网络故障诊断模糊事件实时检测

来源：评论

学校读者我要写书评

暂无评论

Web信息检索研究进展

引用

计算机研究与发展 2001年第2期38卷 187-193页

作者：王继成萧嵘孙正兴张福炎南京大学计算机科学与技术系南京210093 南京大学软件新技术国家重点实验室南京210093

Web上大量、分布、动态的信息造成了“信息过载”,如何在传统信息检索技术的基础上开展针对 Web的检索工作已经成为一项重要的研究课题 .但是 ,繁多的 Web信息检索系统和各种模糊的概念给用户的选择和研究人员的讨论带来了不便 .同时 ,... 详细信息

Web上大量、分布、动态的信息造成了“信息过载”,如何在传统信息检索技术的基础上开展针对 Web的检索工作已经成为一项重要的研究课题 .但是 ,繁多的 Web信息检索系统和各种模糊的概念给用户的选择和研究人员的讨论带来了不便 .同时 ,有关 Web信息检索最新技术的比较完整的分析又十分缺乏 .在此 ,对 Web信息检索技术进行了综述 ,从 Web信息检索系统的层次化分类 (搜索引擎与目录、元搜索引擎、信息检索 agent)、一般机制和关键新技术 (基于超链的相关度排序、检索结果的联机聚类、基于概念的检索、相关度反馈 )等方面加以阐述。

关键词： WeB 信息检索搜索引擎元搜索引擎 Internet 目

来源：评论

学校读者我要写书评

暂无评论

Internet视频流中的自适应拥塞控制技术研究

引用

计算机学报 2001年第8期24卷 796-801页

作者：黄伟红孙正兴张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

在当前 Internet的尽力而为服务模式下 ,网络拥塞和分组丢失不可避免 ,视频流应用必须使用有效的拥塞控制和差错控制机制来改善性能 .文中给出一个自适应拥塞控制与 RS编码差错修复机制相结合的端到端单播视频流体系结构 .所设计的自适... 详细信息

在当前 Internet的尽力而为服务模式下 ,网络拥塞和分组丢失不可避免 ,视频流应用必须使用有效的拥塞控制和差错控制机制来改善性能 .文中给出一个自适应拥塞控制与 RS编码差错修复机制相结合的端到端单播视频流体系结构 .所设计的自适应视频流协议 AVSP以一个参数可调的加权移动平均速率调整策略为核心实现拥塞控制 ,并使用 Gilbert模型进行分组丢失率估计用于决策 .仿真结果表明 ,AVSP具有对网络可用带宽波动的自适应能力和 Internet共享环境下的 TCP友好性 .

关键词： Internet 视频流自适应拥塞控制数据传输

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：