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

计算机科学 2014年第1期41卷 1-15,38页

作者：吴迪徐宝文南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好... 详细信息

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。

关键词： Ada 程序设计语言强类型机制程序包分别编译异常处理类属单元面向对象程序设计并发程序设计,契约式程序设计,大型软件开发

来源：评论

学校读者我要写书评

暂无评论

融合语义特征的移动对象轨迹预测方法

引用

计算机研究与发展 2014年第1期51卷 76-87页

作者：黄健斌张盼盼皇甫学军孙鹤立西安电子科技大学软件学院西安710071 计算机软件新技术国家重点实验室(南京大学) 南京210023 西安交通大学计算机科学与技术系西安710049

提出一种融合语义特征的移动对象轨迹预测方法．该方法首先将用户的地理位置轨迹转化成语义轨迹，挖掘出语义模式集，同时在语义轨迹中分析用户的移动行为和规律，将具有相似语义行为的用户进行聚类，并挖掘出每个聚类的地理模式集．然... 详细信息

提出一种融合语义特征的移动对象轨迹预测方法．该方法首先将用户的地理位置轨迹转化成语义轨迹，挖掘出语义模式集，同时在语义轨迹中分析用户的移动行为和规律，将具有相似语义行为的用户进行聚类，并挖掘出每个聚类的地理模式集．然后，基于挖掘到的用户个体语义模式集和相似用户地理模式集，构造用来索引和局部匹配的模式树STP-Tree和SLP-Tree．通过对STP-Tree和SLP-Tree的索引和局部匹配，引入一个加权函数实现给定对象运动的语义位置预测．此方法在传统的地理模式预测方法的基础上融合语义特征，可以有效地提取用户的语义活动行为，克服地理位置点特征的局限．在大量真实和人工轨迹数据集上的实验结果表明：该方法的预测准确率较传统方法均有显著提高．

关键词：轨迹预测模式挖掘语义特征移动对象模式树

来源：评论

学校读者我要写书评

暂无评论

一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法

引用

计算机科学 2014年第11期41卷 124-127,161页

作者：姜鹏陈鑫李宣东南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心... 详细信息

对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题。现有的场景建模与测试用例生成技术缺少对信息物理融合系统重要特性的描述和处理,其生成的测试用例不能满足系统安全攸关场景的测试需求。围绕信息物理融合系统的安全攸关场景建模以及测试用例自动生成方法展开研究,为UML活动图扩充了外部事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要;并研究了基于场景模型自动生成测试用例的方法。

关键词：信息物理融合系统安全攸关场景测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

基于颜色直方图和小波变换的视频烟雾检测

引用

计算机科学 2014年第12期41卷 251-254,287页

作者：孙建坤杨若瑜南京大学计算机科学与技术系南京210046 南京大学软件新技术国家重点实验室南京210046

从视频中自动识别烟雾在火灾早期预报警、尾气识别等实际应用中具有重要意义。烟雾检测的难点之一在于如何排除与烟雾颜色相近的运动对象的干扰。为了保证检测效果和实时性,提出使用静态的小波统计特征来排除汽车、行人等干扰区域。该... 详细信息

从视频中自动识别烟雾在火灾早期预报警、尾气识别等实际应用中具有重要意义。烟雾检测的难点之一在于如何排除与烟雾颜色相近的运动对象的干扰。为了保证检测效果和实时性,提出使用静态的小波统计特征来排除汽车、行人等干扰区域。该算法首先使用背景剪除法获取运动区域,然后利用颜色直方图映射来提取符合烟雾色彩特征的疑似区,最后分别对背景和相应的视频帧做小波变换并对二者求差,根据差值图像的统计特征来去除疑似区域中的非烟雾物体。实验结果表明,该方法正确率较高,检错率较低,且基本达到实时效果。

关键词：烟雾检测背景减除直方图反射小波变换

来源：评论

学校读者我要写书评

暂无评论

分布式嵌入式系统的自适应能耗管理和分析

引用

软件学报 2014年第2期25卷 419-438页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 上海应用技术学院计算机科学与信息工程系上海200235

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系... 详细信息

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.

关键词：分布式嵌入式系统多Agent 能耗自适应 Petri网

来源：评论

学校读者我要写书评

暂无评论

中药方剂药物属性的组网模型

引用

智能系统学报 2014年第2期9卷 148-153页

作者：李茹孙正王崇骏谢俊元南京大学计算机科学与技术系江苏南京210046 南京大学计算机软件新技术国家重点实验室江苏南京210046

传统的中药方剂配伍规律的研究通常只关注药物个体或基于复杂网络的药物结构,却忽视了药物的属性。而建立药物属性以及药物之间的网络模型可以打破仅针对药物结构进行组网的局限性。首先,提取出药物药性中的"性味"、"归... 详细信息

传统的中药方剂配伍规律的研究通常只关注药物个体或基于复杂网络的药物结构,却忽视了药物的属性。而建立药物属性以及药物之间的网络模型可以打破仅针对药物结构进行组网的局限性。首先,提取出药物药性中的"性味"、"归经"、"功效"三方面的属性,在传统的药物网络的节点上添加药物属性,然后,在肺痿方剂数据库中211味方剂上进行试验,使用重叠社团发现算法-CPM(clique percolation method)算法对该模型进行测试,得到一些药物社团,验证了该模型的可行性和有效性。

关键词：中药方剂配伍规律药物属性网络模型重叠社团发现

来源：评论

学校读者我要写书评

暂无评论

基于软件网络的软件系统演化规律验证和模拟

引用

中国科学：信息科学 2014年第1期44卷 20-36页

作者：顾庆陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210023

演化是计算机软件的固有特性.了解演化规律,可以改进软件演化过程,提高软件质量,降低维护成本.本文定义类依赖图,将软件系统描述为软件网络,基于网络度量验证软件演化规律,并讨论软件演化建模的可行性.首先针对Lehman的8项演化定律,设计... 详细信息

演化是计算机软件的固有特性.了解演化规律,可以改进软件演化过程,提高软件质量,降低维护成本.本文定义类依赖图,将软件系统描述为软件网络,基于网络度量验证软件演化规律,并讨论软件演化建模的可行性.首先针对Lehman的8项演化定律,设计3个方面的网络度量:网络规模、网络质量、以及结构控制.然后基于四个开源软件系统构建软件网络,统计网络度量;实证研究表明:支持Lehman的4项演化定律,否定另外3项,即复杂度提升、持续增长、以及质量折旧定律.最后分别采用E-R模型和模块依附模型模拟软件系统的演化过程,所生成的随机网络同软件网络的比较结果说明,软件演化存在客观规律,能够通过建模来重现甚至优化.

关键词：软件演化复杂网络软件演化定律类依赖图随机网络

来源：评论

学校读者我要写书评

暂无评论

一种基于扩展有限状态机的自动化测试用例生成方法

引用

中国科学：信息科学 2014年第5期44卷 588-609页

作者：杨瑞陈振宇张智轶刘子聪徐宝文南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路... 详细信息

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.

关键词：测试用例生成扩展有限状态机可执行模型路径可行性测试预言

来源：评论

学校读者我要写书评

暂无评论

设计模式指导的软件分簇方法

引用

中国科学：信息科学 2014年第1期44卷 37-53页

作者：王林章何剑涛韩志雄卜磊赵建华李宣东南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种... 详细信息

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.

关键词：设计设计模式软件分簇算法程序理解再工程软件复用可视化

来源：评论

学校读者我要写书评

暂无评论

上下文一致性错误及其处理对应用的影响

引用

计算机科学与探索 2014年第4期8卷 427-437页

作者：奚旺许畅杨文华洪学志南京大学计算机软件新技术国家重点实验室，南京 210023 南京大学计算机科学与技术系，南京 210023

在普适计算环境中，上下文信息由于受到噪声等不可控因素的干扰，面临着一致性错误的问题。这些错误会影响应用的正常运行，使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约... 详细信息

在普适计算环境中，上下文信息由于受到噪声等不可控因素的干扰，面临着一致性错误的问题。这些错误会影响应用的正常运行，使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约束，然而在数据层面保持一致是否能提升应用的运行质量并不明确。系统地研究了这个问题，并基于一组真实的上下文感知机器人小车应用，设计了一系列受控实验，来分析和比较在模拟和真实世界中上下文一致性错误的处理方式对应用运行质量的改善程度及潜在的负面影响。利用该实验的分析结果，将有助于提高普适计算中上下文感知应用的运行质量。

关键词：普适计算上下文一致性错误受控实验

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：