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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

覆盖表生成的粒子群算法:参数优化和自适应算法

覆盖表生成的粒子群算法:参数优化和自适应算法

引用

2012中国计算机大会

作者：吴化尧聂长海南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法，覆盖表的生成是该研究领域的一个重要问题。目前，很多方法已被应用于覆盖表生成，基于演化搜索的粒子群算法尽管能得到较优的解，但其性能容易受到配置参数的影响... 详细信息

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法，覆盖表的生成是该研究领域的一个重要问题。目前，很多方法已被应用于覆盖表生成，基于演化搜索的粒子群算法尽管能得到较优的解，但其性能容易受到配置参数的影响。本文首先使用试验设计的方法，对不同覆盖表生成的算法参数进行优化，系统分析了参数对算法性能的影响。同时，考虑到对不同的覆盖表，最优的算法参数往往不同，因此进一步提出了一种适用于覆盖表生成的自适应粒子群算法。实验结果表明，在一定的参数取值范围内粒子群算法都能获得较好的结果，且不存在一组对任意覆盖表都能有最优性能的算法参数。通过参数调优，能使粒子群算法获得比已有结果规模更小的覆盖表，同时，与经过参数调优后的算法相比，自适应粒子群算法在大部分情况下有更好的性能。

关键词：组合测试覆盖表生成粒子群算法参数调优自适应算法

来源：评论

学校读者我要写书评

暂无评论

SpaceOS中若干全局性质的形式化描述和验证

引用

小型微型计算机系统 2019年第1期40卷 141-148页

作者：顾海博付明乔磊冯新宇中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123 华为上海研究所2012实验室-OS内核实验室上海201206 北京控制工程研究所北京100190 南京大学计算机软件新技术国家重点实验室南京210023

SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时... 详细信息

SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时间管理等)相互协同过程中所需要满足的全局性质.本文扩展已有的操作系统验证框架支持全局性质的推理,为SpaceOS内核建立抽象模型,给出主要系统调用的抽象规范,并基于设计需求给出形式化定义描述若干全局性质,通过严格的数学证明保证SpaceOS在抽象设计层面上满足这些全局性质.所有工作都在证明助手Coq中完成.

关键词： SpaceOS 形式化验证全局性质操作系统内核 Coq

来源：评论

学校读者我要写书评

暂无评论

基于迁移系统分析的线性混成系统安全性验证工具

基于迁移系统分析的线性混成系统安全性验证工具

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：蒋慧卜磊李宣东南京大学计算机软件新技术国家重点实验室江苏南京 210046 南京大学计算机科学与技术系江苏南京 210046

混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集，复杂度... 详细信息

混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集，复杂度高，可处理问题规模非常有限。本文中我们提出了一种新的工具，该工具将线性混成自动机表达为等价的迁移系统，并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明，方法有效可行，工具具有良好的性能。

关键词：线性混成自动机迁移系统安全性验证不变式生成

来源：评论

学校读者我要写书评

暂无评论

基于马氏距离和H-K聚类的空值估计研究

引用

计算机光盘软件与应用 2014年第20期17卷 86-88,91页

作者：陈睿进张聪毛宇光南京航空航天大学计算机科学与技术学院南京211106 计算机软件新技术国家重点实验室(南京大学) 南京210093

传统的基于欧氏距离和K-means聚类算法的空值估计算法容易因为欧氏距离对量纲的敏感性和初始聚类中心对K-means聚类效果的影响产生估值误差。将层次聚类算法和K-means聚类算法有机结合起来的H-K聚类算法克服了K-means算法对初始聚类中... 详细信息

传统的基于欧氏距离和K-means聚类算法的空值估计算法容易因为欧氏距离对量纲的敏感性和初始聚类中心对K-means聚类效果的影响产生估值误差。将层次聚类算法和K-means聚类算法有机结合起来的H-K聚类算法克服了K-means算法对初始聚类中心的敏感性,从而改善了聚类效果。与欧氏距离不同,马氏距离可以避免量纲的影响。为此提出一种改进的空值估计算法,将H-K聚类应用到空值估计算法中进行聚类,在聚类时采用马氏距离代替欧氏距离,在聚类后使用多元线性回归法计算样本中的空值。实验结果表明改进后的空值估计算法使得估计值的绝对误差率(MAER)得到降低。

关键词： K-means算法层次聚类 H-K聚类算法马氏距离空值估计

来源：评论

学校读者我要写书评

暂无评论

基于矢量场的交互式发型生成

基于矢量场的交互式发型生成

引用

全国第15届计算机辅助设计与图形学学术会议

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

头发的真实感造型与可交互性间的有效折衷是支持发型设计面临的一个重要问题。本文将矢量场发型生成技术与头发造型曲线交互输入方式结合起来,提出了一种交互式发型生成方法。该方法将用户手绘输入的造型曲线作为矢量场生成的约束条件,... 详细信息

头发的真实感造型与可交互性间的有效折衷是支持发型设计面临的一个重要问题。本文将矢量场发型生成技术与头发造型曲线交互输入方式结合起来,提出了一种交互式发型生成方法。该方法将用户手绘输入的造型曲线作为矢量场生成的约束条件,使得用户可借助于造型曲线对发型进行控制;并采用插值方法生成发型的三维空间矢量场,加快了矢量场生成的计算速度.实验结果表明:本文的方法在保持矢量场方法生成发型真实感效果基础上显著提高了其交互性和实时性。

关键词：头发建模发型设计矢量场造型曲线

来源：评论

学校读者我要写书评

暂无评论

CBase查询执行引擎的设计与实现

CBase查询执行引擎的设计与实现

引用

第十八届全国数据库学术会议

作者：刘滔毛宇光徐洁磐南京大学新技术国家重点实验室南京大学计算机科学与技术系

1引言目前我国所使用的数据库系统大都来自国外,而这些数据库的安全版本对我国都是限制销售的。因此国防及国民经济的发展都要求我们国家必须有一个自主版权的通用的安全的关系数据库系统。为了满足这个需要,南京大学计算机系与南大谷... 详细信息

1引言目前我国所使用的数据库系统大都来自国外,而这些数据库的安全版本对我国都是限制销售的。因此国防及国民经济的发展都要求我们国家必须有一个自主版权的通用的安全的关系数据库系统。为了满足这个需要,南京大学计算机系与南大谷元石油软件研究所有限公司合作开发了一个具有B1安全级别的商用关系数据库系

关键词： Physical Operator Execution Plan Query Execution Engine

来源：评论

学校读者我要写书评

暂无评论

传感器网络中基于卡尔曼滤波的能量高效Top-k查询处理技术

引用

计算机与数字工程 2013年第10期41卷 1545-1548页

作者：宋保利郑吉平王海翔南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

无线传感器网络能量受限,如何实现top-k查询处理的能量高效从而延长网络的生命周期是该领域研究的一个重要课题。论文利用传感器节点读数的时空相关性,提出运用卡尔曼滤波根据已知节点读数对未知节点读数估计的时空建模方法,进而提出基... 详细信息

无线传感器网络能量受限,如何实现top-k查询处理的能量高效从而延长网络的生命周期是该领域研究的一个重要课题。论文利用传感器节点读数的时空相关性,提出运用卡尔曼滤波根据已知节点读数对未知节点读数估计的时空建模方法,进而提出基于预测机制的区域采样方法(Region Sampling,RS)。实验表明,论文提出的查询方法不但可以满足用户的查询精度要求,而且大大减少了传感器网络的通信次数节省了能量,从而延长了网络的生命周期。

关键词：无线传感器网络能量高效卡尔曼滤波区域采样

来源：评论

学校读者我要写书评

暂无评论

一个基于构件的非线性软件开发模型

一个基于构件的非线性软件开发模型

引用

2003'全国软件与应用学术会议

作者：彭玉军陈家骏南京大学计算机科学与技术系(南京) 南京大学软件新技术国家重点实验室(南京)

本文提出了一个基于构件的非线性软件开发模型框架.分析了该模型相关的知识和技术背景,并详细介绍了模型相关的概念和定义,给出了软件开发的线性与非线性的划分.结合人力资源与构件库,借用有关的数学工具建立了该模型的核心,拟合矩.通... 详细信息

本文提出了一个基于构件的非线性软件开发模型框架.分析了该模型相关的知识和技术背景,并详细介绍了模型相关的概念和定义,给出了软件开发的线性与非线性的划分.结合人力资源与构件库,借用有关的数学工具建立了该模型的核心,拟合矩.通过拟合矩,把开发流在构件库中联结起来,并把开发流分为外部开发流和内部开发流,体现了该模型的非线性.利用变换的概念,模型保证了构件库和拟合矩的动态性.此模型较好地实现了软件开发各阶段的一致性,能够对覆盖企业范围的统一开发过程进行控制和管理.

关键词：软件工程构件技术软件复用软件开发模型

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的工作流协同模型分解方法

一种基于不变量的工作流协同模型分解方法

引用

2012中国计算机大会

作者：葛季栋胡海洋周宇胡昊王栋毅过晓波计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京大学软件学院南京 210093 计算机软件新技术国家重点实验室(南京大学) 南京 210093 杭州电子科技大学计算机学院杭州 310018 计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京航空航天大学计算机科学与技术学院南京 210016 计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京大学计算机科学与技术系南京 210093

现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确... 详细信息

现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPB模型能够被正确地执行，文中提出IOPB模型的弱合理性(rrlaxd soundese)作为IOPB模型的正确性标准之一.IOPB模型是一种复合模型，其规模一般较大，采用基于状态空间的分析方法，容易产生状态空间爆炸问题，为此文中提出基于不变量的分解方法，能够将一个弱合理的无回路IOPB模型分解为一组顺序图，并提出相关定理：一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.

关键词：工作流协同模型合理性不变量分解

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：