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

计算机学报 2013年第2期36卷 393-407页

作者：刘伟尹行段玉光杜薇王伟曾国荪武汉理工大学计算机科学与技术学院武汉430063 武汉大学软件工程国家重点实验室武汉430072 同济大学嵌入式系统与服务计算教育部重点实验室上海200092 同济大学计算机科学与技术系上海200092

目前,高能效的并行任务调度算法设计已经成为集群系统的研究热点.现有基于复制的节能调度算法主要利用阈值平衡系统的性能和能耗,但随机设置的阈值无法根据性能需求和环境参数等特征自动调节,导致调度算法存在一定的局限性.文中提出一... 详细信息

目前,高能效的并行任务调度算法设计已经成为集群系统的研究热点.现有基于复制的节能调度算法主要利用阈值平衡系统的性能和能耗,但随机设置的阈值无法根据性能需求和环境参数等特征自动调节,导致调度算法存在一定的局限性.文中提出一种面向同构集群系统的两阶段节能调度算法ATES(Adaptive Threshold-basedEnergy-efficient Scheduling).首先,设计一种基于自适应阈值的任务复制策略,该策略能够自动计算最佳阈值,利用该阈值获取近似最优的任务分组.然后,将各分组任务调度到支持DVS的处理器上,并充分利用任务之间的空闲时间降低处理器电压.该算法将任务复制策略与电压调节技术有机结合,在调度过程中能够自动调整阈值,有效提高调度算法的能效.为了验证ATES算法的合理性,通过典型应用进行仿真实验,并与常见任务调度算法进行比较,结果表明ATES算法能够更好地实现性能和能耗之间的平衡.

关键词：高性能集群动态电压调节任务复制自适应阈值调度算法

来源：评论

学校读者我要写书评

暂无评论

一种自适应的循环不变式生成方法

引用

计算机工程 2013年第6期39卷 76-81页

作者：刘自恒曾庆凯南京大学计算机科学与技术系 210093 南京大学计算机软件新技术国家重点实验室 210093

基于条件赋值转换和自适应模板生成技术,提出一种自适应的的循环不变式生成方法。该方法在生成过程中综合考虑函数规范、循环本身、循环后操作等信息,有针对性地发现潜在的循环不变式,并在Frama-C平台上实现一个插件loopInv。实验结果表... 详细信息

基于条件赋值转换和自适应模板生成技术,提出一种自适应的的循环不变式生成方法。该方法在生成过程中综合考虑函数规范、循环本身、循环后操作等信息,有针对性地发现潜在的循环不变式,并在Frama-C平台上实现一个插件loopInv。实验结果表明,与invGen和gin-pink工具相比,loopInv的应用更加有效,可较好地完成多数程序的验证过程。

关键词：验证程序循环不变式条件赋值转换模板插件

来源：评论

学校读者我要写书评

暂无评论

基于TCP/IP的远程触觉交互系统力反馈数据传输方法

引用

计算机科学 2013年第11期40卷 58-60,69页

作者：蒋峥峥高瞻顾翔陈翔南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093

时延、丢包是影响远程触觉交互性能和用户体验的重要因素。以实时传输和真实再现力反馈数据为目的,提出了一种基于TCP/IP的实时力反馈数据传输方法,该方法通过时延处理和插值预处理降低网络通信过程中对远程触觉感知造成的不利影响实验... 详细信息

时延、丢包是影响远程触觉交互性能和用户体验的重要因素。以实时传输和真实再现力反馈数据为目的,提出了一种基于TCP/IP的实时力反馈数据传输方法,该方法通过时延处理和插值预处理降低网络通信过程中对远程触觉感知造成的不利影响实验结果证明,该方法有效地解决了远程触觉交互系统中实时力反馈的信息再现与信息交互问题,在远程医疗、远程教学、虚拟现实等领域具有重要的应用价值。

关键词：触觉交互远程协作力反馈 TCP IP 实时数据传输

来源：评论

学校读者我要写书评

暂无评论

统计学习研究与应用专刊前言

引用

软件学报 2013年第11期24卷 2473-2475页

作者：高阳陈松灿计算机软件新技术国家重点实验室(南京大学) 南京航空航天大学计算机科学与技术学院

机器学习是计算机科学、认知科学、数学、统计学、控制、人工智能等诸多学科的交叉领域.机器学习研究自二十世纪五六十年代的感知机开始起步,经过符号学习、神经网络等技术后,逐步发展成为包含统计机器学习、集成机器学习、强化机器学... 详细信息

机器学习是计算机科学、认知科学、数学、统计学、控制、人工智能等诸多学科的交叉领域.机器学习研究自二十世纪五六十年代的感知机开始起步,经过符号学习、神经网络等技术后,逐步发展成为包含统计机器学习、集成机器学习、强化机器学习的研究领域,并在近年来又涌现出迁移学习、流形学习、概率图模型等新的研究方向.机器学习除了自身研究范围不断延展、研究深度不断深化、基础理论逐步完善之外,其应用领域也不断扩大,甚至成为某些学科的基础性研究工具和支撑技术.与此同时,机器学习技术在软件工程、计算机网

关键词：统计机器学习专刊孪生支持向量机代价敏感子类判别分析概率图模型图像分类人脸检测软子空间聚类协同过滤推荐算法

来源：评论

学校读者我要写书评

暂无评论

一种状态事件故障树的定量分析方法

引用

电子学报 2013年第8期41卷 1480-1486页

作者：徐丙凤黄志球胡军魏欧肖芳雄南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093 广西财经学院信息与统计学院广西南宁530003

状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一... 详细信息

状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.

关键词：安全性分析状态事件故障树交互马尔可夫链定量分析形式化方法

来源：评论

学校读者我要写书评

暂无评论

面向远程触觉协作的虚拟针灸系统研究

引用

系统仿真学报 2013年第9期25卷 2085-2090页

作者：蒋峥峥高瞻顾翔陈翔王丹丹南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093 南通市紫琅职业技术学院南通226002

设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的... 详细信息

设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的效果进行验证,实验结果表明:提出的力学模型与针灸现实相符,插值方法可以提高远程触觉协作中接收数据的完整性,时延小于专家推荐的经验值,系统能够提供感觉逼真、实时稳定的虚拟针灸远程教学与训练,为针灸教学提供了一种新的手段。

关键词：虚拟现实针灸触觉交互远程协作力反馈

来源：评论

学校读者我要写书评

暂无评论

一种面向情境的情境感知应用编程框架

引用

计算机工程与应用 2013年第16期49卷 47-52页

作者：陈秀余萍徐锋南京大学计算机科学与技术系南京210046 南京大学计算机软件新技术国家重点实验室南京210046

随着信息技术的快速发展,各种各样的环境信息影响着我们生活中的各种决策,因此提供一种智能化的应用程序,能够根据用户当前的情境信息为用户提供所需要的最适合的服务变得越来越重要。许多遗产软件并不支持情境感知功能,目前的一些主要... 详细信息

随着信息技术的快速发展,各种各样的环境信息影响着我们生活中的各种决策,因此提供一种智能化的应用程序,能够根据用户当前的情境信息为用户提供所需要的最适合的服务变得越来越重要。许多遗产软件并不支持情境感知功能,目前的一些主要的编程语言和编程框架并没有提供一个很好的方式来支持这种情境感知应用程序的开发。提出了一个新的面向情境的编程框架,支持情境信息的定义、封装、发布,支持对应用行为的驱动和约束,允许应用快速响应非预期情境。通过该框架可以快速开发情境感知应用,也可以以非侵入的方式改造遗产软件,使之具有情境感知能力。

关键词：情境感知 Context 框架遗产软件

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava2处理系统--词法分析程序及语法分析程序

引用

计算机科学与探索 2013年第6期7卷 562-569页

作者：程振伟徐家福南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

NDQJava2语言是在NDQJava语言的基础上,增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。在简述NDQJava2处理系统之后,着重介绍了其词法分... 详细信息

NDQJava2语言是在NDQJava语言的基础上,增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。在简述NDQJava2处理系统之后,着重介绍了其词法分析程序及语法分析程序,其中用直接转向法进行词法分析,识别出单词,生成单词序列,用递归子程序法进行语法分析,生成语法树。由示例可知,程序结果无误,较好地完成了词法分析与语法分析任务。

关键词： NDQJava2 处理系统词法分析程序语法分析程序

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava2处理系统——代码转换程序

引用

计算机科学与探索 2013年第7期7卷 659-666页

作者：蔡希辉徐家福南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,... 详细信息

NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,详细讨论了其设计与实现过程,采用自顶向下、逐层转换的方式,将语法树转换成带量子汇编指令的Java代码。实验表明,该代码转换程序较好地完成了预期目标。

关键词： NDQJava2语言处理系统语法树代码转换程序

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程与应用 2013年第4期49卷 58-64,76页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：