检索结果-南通市图书馆

计算机应用 2013年第12期33卷 3363-3367页

作者：方超杨怡玲黄宇计算机软件新技术国家重点实验室(南京大学) 南京210046 南京大学计算机科学与技术系南京210046

当前,开发灵活的适应环境变化的上下文感知应用较为复杂。在上下文感知应用开发过程中,很多未知情况无法事先被充分考虑到,实际的开发又需要处理很多意外情形,因此有效地表示和处理上下文尤为重要。谓词检测作为实现上下文感知的重要方... 详细信息

当前,开发灵活的适应环境变化的上下文感知应用较为复杂。在上下文感知应用开发过程中,很多未知情况无法事先被充分考虑到,实际的开发又需要处理很多意外情形,因此有效地表示和处理上下文尤为重要。谓词检测作为实现上下文感知的重要方法之一,能够有效对上下文信息进行建模,但在实际应用中对于真实物理设备的支持如何在很大程度上仍然是未知的。为了应对以上问题,通过构建一个简单的物理场景,将谓词检测方法应用于真实的机器小车上,支持其在一个既定轨道上完成运行任务。在该场景下对原始的上下文环境进行建模,将环境特性逐步规约成特定的快照谓词和序列谓词,并在案例研究中,对规约化的谓词进行检测,将谓词检测应用于真实的机器小车实验上。实验分析的结果表明,谓词检测的方法能有效检测小车的上下文特性并成功支撑小车完成既定的行走目标。

关键词：上下文感知谓词检测快照谓词序列谓词

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

开放环境特性感知技术

引用

软件学报 2011年第5期22卷 865-876页

作者：黄宇余建平马晓星陶先平吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机软件研究所江苏南京210093

提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通... 详细信息

提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台,高效地感知环境特性,支持可信软件系统的构建.

关键词：谓词检测环境特性高可信软件开放环境

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

非经典切片优化的同步运行时检验方法

引用

计算机工程 2009年第4期35卷 4-6页

作者：高新岩吴尽昭乔瑞闫炜中国科学院成都计算机应用研究所成都610041 电子科技大学计算机学院成都610054

利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验... 详细信息

利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验证技术。该技术可以使待检查的全局状态空间的规模指数级缩减,使验证效率得到提高。

关键词：非经典切片计算切片全局异步局部同步系统谓词检测偏序迹

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

异步普适计算环境感知机制研究

异步普适计算环境感知机制研究

引用

作者：华婷婷南京大学

学位级别：硕士

普适计算是适应计算技术的飞速发展而产生的一种新型的计算模式。普适计算致力于随时随地为用户提供计算服务。网络互连技术的发展使计算环境逐渐变得开放、动态、难控,因而普适计算应用需要能够顺应计算环境的动态变化,自适应地调节自... 详细信息

普适计算是适应计算技术的飞速发展而产生的一种新型的计算模式。普适计算致力于随时随地为用户提供计算服务。网络互连技术的发展使计算环境逐渐变得开放、动态、难控,因而普适计算应用需要能够顺应计算环境的动态变化,自适应地调节自身的行为,即必须具备环境感知的能力。环境感知应用将环境信息抽象为环境上下文,通过检测环境上下文是否满足其关注的特性来调节自身的行为,实现环境感知。然而,普适计算环境的动态性和计算实体间交互的异步性为环境感知的实现提出了挑战。普适计算环境的动态变化的特点,要求应用不但能感知环境在某一时刻的静态特性,还要能够感知环境在一段时间内动态变化的过程。此外,普适计算环境还具有固有的异步性。环境上下文收集设备间往往不存在全局时钟或共享内存,环境上下文收集设备间通信存在有限但不确定的延迟,环境上下文设备由于资源的限制可能推迟环境上下文的发送,这些都会导致环境上下文间的异步性。本文主要研究异步普适计算环境感知机制,提出了一套基于分布谓词检测的异步普适计算环境感知方法,主要包括对环境状态及其变化的建模,和环境特性的规约与检测。具体而言,本文的主要贡献包括：首先,本文引入逻辑时钟来应对普适计算环境的异步性。环境状态及其变化建模的核心在于环境全局状态与环境状态问的时序关系构成格(lattice)结构。本文提出了一种环境全局状态格运行时维护算法Lat-Maint,同时给出了环境全局状态格的深度优先(DFS)和广度优先(BFS)遍历算法的框架。其次,在环境全局状态格的基础上,本文进一步研究了环境的静态特性和动态特性的规约与检测方法,并分别提出了环境静态特性运行时检测算法PD-Static和环境动态特性运行时检测算法PD-Dynamic。最后,本文通过一个建立在智能办公场景中的案例研究,展示了所提出的方法如何有效的支持了在异步普适计算环境中实现环境感知。在环境感知中间件原型系统Middleware Infrastructure for Predicate detection in Asynchronousenvironments (MIPA)上,本文实现了环境全局状态格的运行时构建算法Lat-Maint,以及运行时环境静态特性检测算法;PD-Static和动态特性检测算法PD-Dynamic,并通过模拟实验来检验上述环境感知方法的可行性和效率。实验的结果表明,Lat-Maint算法能够有效地实现全局状态格的运行时维护,并且面对动态变化的普适计算环境,PD-Static算法和PD-Dynamic算法都能够高效地实现针对特定环境特性的运行时检测。

关键词：普适计算异步性环境感知格谓词检测

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

移动机器人边界探测关键技术研究

移动机器人边界探测关键技术研究

引用

作者：方超南京大学

学位级别：硕士

嵌入式计算和无线通信技术的发展使得机器人应用越来越受到广泛的重视,移动机器人的边界探测作为一类重要的应用,能够为科研、军事和商业等多个应用领域提供重要的边界信息,帮助完成导航、定位以及特定区域的搜寻等任务。然而边界环境... 详细信息

嵌入式计算和无线通信技术的发展使得机器人应用越来越受到广泛的重视,移动机器人的边界探测作为一类重要的应用,能够为科研、军事和商业等多个应用领域提供重要的边界信息,帮助完成导航、定位以及特定区域的搜寻等任务。然而边界环境的复杂性和多样性以及移动机器人设备本身的局限性对于面向移动机器人的边界探测提出了挑战。首先,一般机器人设备控制的精确性有限,需要感知边界信息不断进行自身行为调整才能有效地执行边界探测任务。而边界环境逐渐变得动态、开放进一步增加了边界感知的复杂性,尤其是边界环境的动态特性需要应用不仅能感知边界在瞬时状态下的静态特性,还要感知边界在一段时间内不断变化的动态特性,这些都使得通过移动机器人进行边界感知存在很大挑战。其次,由于单个移动机器人边界探测存在固有的鲁棒性不足和局限性问题,应用多个移动机器人进行协同地边界探测是目前主要的探测方案。而在这一类多移动机器人的协同边界探测过程中,多机器人在同一区域可能发生相遇碰撞是一种常见的情况,这类问题的出现会影响整个协同探测的完成,但是现有工作针对多机器人如何处理避让问题的研究有所不足。针对上述的两个问题,本文着重研究了在一个实际的移动机器人(移动小车)平台上如何应对边界特性感知和处理协同避让的问题。具体而言,本文的主要贡献包括：首先,我们应用基于谓词检测的方法实现边界探测下对于环境的特性感知(主要是边界特性的感知)。为了说明如何应对动态的边界特性感知,首先通过快照谓词(snapshot predicate)检测的方法感知静态的边界特性,对于每个当前状态的边界数据进行建模和规约,基于对快照谓词的检测感知静态的边界状态变化;进一步我们引入时序信息,对随时间动态变化的边界数据进行建模,规约成序列谓词(sequence predicate)描述反映边界状态动态变化的时序特性,基于对序列谓词的检测感知动态的边界状态变化过程。同时还通过一个实际的面向移动小车边界感知实验分析和评估谓词检测方法对于环境特性感知的效果。然后,我们通过防冲撞检测和基于选主的避让协同方法解决了边界探测中的协同避让问题。首先基于防冲撞检测实现对多车边界探测过程中可能发生的碰撞情形进行有效检测,然后在移动小车之间进行选主并基于选主的结果完成多车的避让协同。最后通过一个真实场景的两车避让实验验证应对多车避让问题的有效性。

关键词：移动机器人边界探测谓词检测协同避让

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：