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

小型微型计算机系统 2010年第11期31卷 2129-2137页

作者：徐丙凤胡军曹东黄志球郭丽娟张剑南京航空航天大学信息科学与技术学院江苏南京210016 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京航空航天大学自动化学院江苏南京210016

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-... 详细信息

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.

关键词：嵌入式软件设计构件化设计软件验证接口自动机模型检验工具

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第27届中国数据库学术会议

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于分解的二维指数灰度熵图像阈值分割

引用

中国体视学与图像分析 2010年第4期15卷 351-358页

作者：吴诗婳张晓杰吴一全南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

现有最大Shannon熵或Tsallis熵阈值选取方法仅仅依赖于图像灰度直方图的概率信息,而没有直接考虑类内灰度的均匀性;且用对数定义的Shannon熵还存在无定义值和零值的问题。为此,提出了一维和基于分解的二维指数灰度熵阈值分割方法。首先... 详细信息

现有最大Shannon熵或Tsallis熵阈值选取方法仅仅依赖于图像灰度直方图的概率信息,而没有直接考虑类内灰度的均匀性;且用对数定义的Shannon熵还存在无定义值和零值的问题。为此,提出了一维和基于分解的二维指数灰度熵阈值分割方法。首先给出了指数灰度熵的定义及其一维阈值选取方法;然后将其推广得到二维指数灰度熵阈值选取公式,提出了基于分解的二维指数灰度熵阈值分割方法。通过分别求原像素灰度级图像和邻域平均灰度级图像的一维指数灰度熵最佳阈值,并将其组合求解二维指数灰度熵最佳阈值,大大缩小了搜索空间,使计算复杂度由O(L4)降为O(L)。实验结果表明,与基于基本粒子群算法的二维最大Shannon熵法、二维最大Tsallis熵法以及采用递推的二维交叉熵法相比,所提出方法的分割效果具有明显的优势,且运行时间大幅减少。

关键词：图像分割阈值选取二维指数灰度熵分解

来源：评论

学校读者我要写书评

暂无评论

组合测试数据生成的交叉熵与粒子群算法及比较

组合测试数据生成的交叉熵与粒子群算法及比较

引用

2010年中国计算机大会

作者：查日军张德平聂长海徐宝文东南大学计算机科学与工程学院南京210096 南京大学软件新技术国家重点实验室南京210093 南京航空航天大学信息科学与技术学院南京210016 南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

测试数据生成是组合测试的一个关键问题.文中提出以数理统计为基础的交叉熵方法和以仿生学为基础的粒子群优化算法来生成两两组合测试数据,交叉熵方法采用最优选择概率产生测试数据,而粒子群算法则在可行解空间中搜索具有最优适应值的... 详细信息

测试数据生成是组合测试的一个关键问题.文中提出以数理统计为基础的交叉熵方法和以仿生学为基础的粒子群优化算法来生成两两组合测试数据,交叉熵方法采用最优选择概率产生测试数据,而粒子群算法则在可行解空间中搜索具有最优适应值的测试数据.文章给出了交叉熵方法最优选择概率的理论推导,并对两种算法所生成的测试数据集进行约简.将两种算法和现有的贪心方法、代数方法及其它启发式搜索方法进行比较,实验表明交叉熵方法和粒子群算法具有一定的优势和特点.

关键词：软件测试组合测试交叉熵粒子群优化

来源：评论

学校读者我要写书评

暂无评论

灰度熵和混沌粒子群的图像多阈值选取

引用

智能系统学报 2010年第6期5卷 522-529页

作者：吴一全纪守新南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

最大Shannon熵阈值选取方法仅仅依赖于图像灰度直方图的概率信息,而没有直接考虑类内灰度级的均匀性.为此提出了最大灰度熵的阈值选取方法.首先给出了灰度熵的定义及其单阈值选取方法,该灰度熵与现有的仅基于直方图分布的最大Shannon熵... 详细信息

最大Shannon熵阈值选取方法仅仅依赖于图像灰度直方图的概率信息,而没有直接考虑类内灰度级的均匀性.为此提出了最大灰度熵的阈值选取方法.首先给出了灰度熵的定义及其单阈值选取方法,该灰度熵与现有的仅基于直方图分布的最大Shannon熵不同,直接反映了类内灰度级的均匀性;其次导出了量化图像直方图的灰度熵单阈值选取公式;最后将灰度熵单阈值选取推广到多阈值选取,提出了相应的快速递推算法,并进一步采用混沌小生境粒子群优化算法寻找最佳多阈值.实验结果表明,与最大Shannon熵单阈值选取和基于粒子群的最大Shannon熵多阈值选取方法相比,所提出方法的分割图像边缘、纹理更为准确,视觉效果明显改善.

关键词：图像分割阈值选取灰度熵量化图像直方图多阈值混沌小生境粒子群优化

来源：评论

学校读者我要写书评

暂无评论

古建筑图像的分割方法与应用研究

引用

无锡职业技术学院学报 2010年第2期9卷 48-51页

作者：许晓萍张建军王士同王骏江南大学信息工程学院江苏无锡214122 南京理工大学计算机科学与技术学院江苏南京210094 南京大学计算机软件新技术国家重点实验室江苏南京210093

图像分割技术是数字图像处理中的关键技术之一。它能将图像中有意义的特征部分提取出来,这对古建筑图像进一步进行识别、分析和理解有着非常独特的作用。通过采用基于混合距离的双指数模糊C均值算法(HDDIFCM)的图像分割技术来对无锡古... 详细信息

图像分割技术是数字图像处理中的关键技术之一。它能将图像中有意义的特征部分提取出来,这对古建筑图像进一步进行识别、分析和理解有着非常独特的作用。通过采用基于混合距离的双指数模糊C均值算法(HDDIFCM)的图像分割技术来对无锡古建筑灰度图像进行多组分割应用,以此证明这种图像分割方法的有效性。

关键词：聚类混合距离模糊C均值聚类图像分割

来源：评论

学校读者我要写书评

暂无评论

k-匿名模型中准标识符最佳值的求解问题

引用

计算机科学与探索 2010年第11期4卷 1010-1018页

作者：王丹丽刘国华宋金玲李芳玲燕山大学信息科学与工程学院计算机科学与工程系河北秦皇岛066004 东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093 河北科技师范学院计算机系河北秦皇岛066004 山东理工职业学院信息工程系山东济宁272017

准标识符值是影响k-匿名表隐私保护程度和数据质量的关键因素。如何在给定各个准标识符属性泛化树的情况下求解准标识符最佳值,对匿名表在满足隐私保护要求的同时达到最高的数据质量具有重要意义。针对这一问题,证明了准标识符最佳值的... 详细信息

准标识符值是影响k-匿名表隐私保护程度和数据质量的关键因素。如何在给定各个准标识符属性泛化树的情况下求解准标识符最佳值,对匿名表在满足隐私保护要求的同时达到最高的数据质量具有重要意义。针对这一问题,证明了准标识符最佳值的求解问题是NP-完全问题,提出了准标识符最佳值的近似求解方法,并给出了准标识符最佳值的近似求解算法;最后,对算法进行了正确性证明和时间复杂度分析。

关键词： k-匿名数据质量泛化树准标识符最佳值 NP-完全

来源：评论

学校读者我要写书评

暂无评论

可信软件代码中程序标注的使用及类型验证

可信软件代码中程序标注的使用及类型验证

引用

2010年第四届中国可信计算与信息安全学术会议

作者：赵洋徐晓刚张功萱张容南京理工大学计算机科学与技术学院南京市孝陵卫200号210094 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093 南京理工大学计算机科学与技术学院南京市孝陵卫200号210094

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁.从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性.

关键词：可信软件代码程序标注程序验证

来源：评论

学校读者我要写书评

暂无评论

无锡惠山泥人图像分割方法与应用

引用

中国科技纵横 2010年第6期 56-57页

作者：许晓萍张建军王士同王骏江南大学信息工程学院江苏无锡214122 江南大学信息工程学院江苏无锡214122 南京理工南大学计算机科学与技术学院江苏无锡210094 南京大学计算机软件新技术国家重点实验室江苏南京210093

无锡惠山泥人是无锡的瑰宝,它的研究和发展对无锡的发展有着举足轻重的意义.然而随着现代化科技的飞速发展,渗透至各行各业,如果我们把图像分割技术应用到惠山泥人的制作当中,两者相结合,肯定存在广阔的发展前景.图像分割方法研究至今... 详细信息

无锡惠山泥人是无锡的瑰宝,它的研究和发展对无锡的发展有着举足轻重的意义.然而随着现代化科技的飞速发展,渗透至各行各业,如果我们把图像分割技术应用到惠山泥人的制作当中,两者相结合,肯定存在广阔的发展前景.图像分割方法研究至今有很多中,在本文中,我们主要通过分析和研究与模糊数学结合的图像分割技术,即模糊C均值聚类算法.我们还会通过多组的对比实验,以此也来证明这种图像分割方法的有效性.

关键词：泥人聚类模糊C均值聚类图像分割

来源：评论

学校读者我要写书评

暂无评论

k-匿名模型中准标识符最佳值的求解问题

k-匿名模型中准标识符最佳值的求解问题

引用

NDBC2010第27届中国数据库学术会议

作者：王丹丽刘国华宋金玲李芳玲燕山大学信息科学与工程学院计算机科学与工程系东华大学计算机科学与技术学院南京大学计算机软件新技术国家重点实验室河北科技师范学院计算机系山东理工职业学院信息工程系

关键词： k-匿名数据质量泛化树准标识符最佳值 NP-完全

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：