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

软件学报 2015年第6期26卷 1486-1498页

作者：俞姝颖吴小兵陈贵海戴海鹏洪卫星计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 江苏省交通工程建设局江苏南京210004

桥梁的安全运营,是关系到国计民生的大事.因此,桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点.无线传感器网络由于安装方便、维护成本低和部署灵活等特点,已被广泛应用于桥梁健康监测系统中.对现有的基于无线传感器网络的... 详细信息

桥梁的安全运营,是关系到国计民生的大事.因此,桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点.无线传感器网络由于安装方便、维护成本低和部署灵活等特点,已被广泛应用于桥梁健康监测系统中.对现有的基于无线传感器网络的桥梁健康监测系统进行综述,依次介绍了各个子系统中的基本原理和典型方法,并结合多个具体实例分析了系统中的关键技术,最后总结了已有系统中存在的问题和未来的研究方向.

关键词：结构健康监测桥梁无线传感器网络损伤识别

来源：评论

学校读者我要写书评

暂无评论

面向新闻语料的中日命名实体翻译抽取

引用

小型微型计算机系统 2015年第6期36卷 1393-1397页

作者：尹存燕黄书剑戴新宇陈家骏南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

命名实体翻译可以有效地提高跨语言信息检索、统计机器翻译等系统的性能.双语新闻语料包含了丰富的命名实体,利用统计方法可以从中抽取出命名实体翻译.基于中日双语新闻语料,对中日命名实体的翻译特征进行了分析,基于这些特征,提出一种... 详细信息

命名实体翻译可以有效地提高跨语言信息检索、统计机器翻译等系统的性能.双语新闻语料包含了丰富的命名实体,利用统计方法可以从中抽取出命名实体翻译.基于中日双语新闻语料,对中日命名实体的翻译特征进行了分析,基于这些特征,提出一种中日双语命名实体翻译自动抽取的方法,该方法融合了中日汉字翻译概率、片假名词汇和中文音译词汇的拼音相似度以及双语词汇共现等特征.实验表明本文方法充分利用这些特征,在语料规模不大的情况下,也可以取得较好的效果.

关键词：命名实体双语语料对齐模型拼音相似度词汇共现

来源：评论

学校读者我要写书评

暂无评论

基于云计算的多层量子精英属性协同约简算法

引用

四川大学学报（工程科学版） 2015年第6期47卷 97-103页

作者：丁卫平陈森博王杰华管致锦南通大学计算机科学与技术学院江苏南通226019 南京大学计算机软件新技术国家重点实验室江苏南京210093 苏州大学江苏省计算机信息处理技术重点实验室江苏苏州215006

针对传统粗糙集属性约简算法无法高效处理日益增长的大数据问题,提出一种基于云计算的多层量子精英属性协同约简算法。该算法首先在云计算MapReduce模型下将大规模数据集划分到不同的进化蛙群中,分别获得各子种群最优解;然后构造一种基... 详细信息

针对传统粗糙集属性约简算法无法高效处理日益增长的大数据问题,提出一种基于云计算的多层量子精英属性协同约简算法。该算法首先在云计算MapReduce模型下将大规模数据集划分到不同的进化蛙群中,分别获得各子种群最优解;然后构造一种基于多层量子蛙群精英向量的属性协同约简策略,挑选出具有全局搜索和局部精化最强优化能力的精英子种群向量,快速引导各子种群找到各自最小属性约简集,从而取得大规模数据集的全局最优属性约简集。实验结果表明,本文算法在大规模数据集上求解全局最优属性约简解的效率和精度具有明显优势,同时应用于电子病历数据库MRI分割效果表明其具有较强适用性。

关键词：属性协同约简云计算 MapReduce模型多层量子精英 MRI分割

来源：评论

学校读者我要写书评

暂无评论

一致闭的禁忌交互集生成算法

引用

计算机学报 2015年第11期38卷 2279-2289页

作者：周吴杰张德平徐宝文东南大学数学系南京210096 南京大学软件新技术国家重点实验室南京210093 南京航空航天大学信息科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式... 详细信息

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式,提出了包括所有的显性与隐含极小禁忌交互的一致闭的禁忌交互集的概念,对一般的禁忌交互集,提出了生成一致闭的禁忌交互集的算法,分析了算法的性能,然后对一致闭的禁忌交互集提出了生成禁忌覆盖表的类AETG算法.对Cohen等人提出的5个实际的测试场景以及30个人工合成的场景,实验表明生成的一致闭的禁忌交互集的规模是在可接受的范围内,生成的测试用例集规模与Cohen等人实验的结果是相当的.最后通过随机实验研究了影响禁忌交互集与其一致闭的禁忌交互集的规模比值的因素.

关键词：组合测试约束条件禁忌覆盖表禁忌交互一致闭禁忌交互集类AETG算法

来源：评论

学校读者我要写书评

暂无评论

基于模型转换的IMA系统可调度性验证方法

引用

南京航空航天大学学报 2015年第3期47卷 403-411页

作者：胡军程桢马金晶刘雪石姣洁南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(... 详细信息

综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。

关键词：综合模块化航电系统可调度性验证 ARINC653 实时嵌入式系统与分析模型驱动工程

来源：评论

学校读者我要写书评

暂无评论

中断驱动系统模型检验?

引用

软件学报 2015年第9期26卷 2212-2230页

作者：周筱羽顾斌赵建华杨孟飞李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

关键词：中断驱动系统模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

中断驱动控制系统的有界模型检验技术

引用

软件学报 2015年第10期26卷 2485-2503页

作者：周筱羽顾斌赵建华杨孟飞计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.

关键词：中断驱动系统有界模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

一种开放环境下软件在线演化一致性验证方法

引用

软件学报 2015年第4期26卷 747-759页

作者：周宇黄延凯黄志球吴维刚南京航空航天大学计算机科学与技术学院江苏南京210016 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 中山大学信息科学与技术学院广东广州510006

一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演... 详细信息

一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.

关键词：在线演化时间自动机一致性模型检验

来源：评论

学校读者我要写书评

暂无评论

基于量子搜索的软件工程

引用

中国科学：信息科学 2015年第5期45卷 623-633页

作者：吴楠宋方敏 LI XiangDong 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 Department of Computer Science The City University of New York

基于搜索的软件工程(SBSE)是通过基于搜索的优化算法和对复杂问题的自动/半自动求解过程来解决软件工程相关问题的工程化方法.从软件的需求、开发项目的计划到软件的后期维护和复用,基于搜索的软件工程方法的应用可贯穿软件工程的整个... 详细信息

基于搜索的软件工程(SBSE)是通过基于搜索的优化算法和对复杂问题的自动/半自动求解过程来解决软件工程相关问题的工程化方法.从软件的需求、开发项目的计划到软件的后期维护和复用,基于搜索的软件工程方法的应用可贯穿软件工程的整个生命周期.本文提出了基于量子搜索的框架式软件工程方法,将传统的SBSE问题转化为可用量子搜索快速解决的搜索问题并给出通用的解决方法.研究表明,对于大多数软件工程相关问题,使用基于Grover迭代和量子行走的量子搜索算法比传统SBSE的搜索优化算法的效率更高且具有更好的通用性.

关键词：基于搜索的软件工程量子搜索算法量子计算软件测试软件维护

来源：评论

学校读者我要写书评

暂无评论

面向随机模型检验的模型抽象技术

引用

软件学报 2015年第8期26卷 1853-1870页

作者：刘阳李宣东马艳计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 Department of computer Science School of ComputingNational University of Singapore 南京航空航天大学计算机科学与技术学院江苏南京210016

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓... 详细信息

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展.以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.

关键词：随机模型检验状态空间爆炸模型抽象定量抽象精化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：