基于草图交互的视频摘要方法及认知分析

视频是一类重要的视觉媒体,也是人们进行信息交流的重要载体.面向视频数据的高效内容表达,以及自然便捷的用户浏览和搜索等交互操作,本文提出了一种面向视频内容的草图摘要及交互方法.首先提出了面向视频语义的草图化表征方式,利用草图抽象性和概括性等特点,提出语义草图概念,支持对视频内容的语义草图注释,同时提出了草图摘要的优化布局算法.在此基础上,提出了基于草图摘要的草图交互技术,以及支持交互式视频浏览的自然手势操作,并进一步从认知心理学的角度分析了用于视频摘要的草图表征,以及草图交互中各认知单元的作用及相互关系.最后用户评估的实验结果表明,本文所提出的草图摘要以及草图交互方式提高了获取视频主要内容方面的用户效率,减轻了用户的认知负荷.     

高温风洞机器视觉系统:原理、设计与装备

在航空航天等领域,高温风洞模拟试验是对飞行器关键材料/结构进行防热性能评估和优化设计的重要方式.结合试验环境特点,发展面向高温风洞的机器视觉系统,以实现全方位、多角度的试验过程信息的获取,对于高温地面模拟试验技术的发展具有重要意义.本文综述了面向高温风洞的机器视觉系统的概念原理、关键技术与装备设计,同时结合课题组在该领域的相关研究成果,对高温风洞机器视觉系统的应用实例进行了介绍.最后,基于高温风洞模拟试验的发展需求,对高温风洞机器视觉系统的未来发展方向和应用前景进行了展望.     

ConEntity：一种基于进程的自主并发实体编程模型及其实现

摘要本文在虚拟计算环境之上，研究支持具有自主能力、高并发的新型互联网应用开发方法，在已有的基于进程、面向并发的编程模型中引入实体建模机制，扩展出一种兼具进程和自主并发实体的程序设计模型ConEntity，并给出了形式化定义和描述．ConEntity模型具有表达性、并发性和可伸缩性的特点，能对虚拟计算环境资源高效、透明访问．通过扩展Erlang／OTP将其实现为Erlang语言设施UniAgent．本文的模型为在虚拟计算环境上快速直接构建具有自主、高并发能力实体的新型互联网应用提供了模型和语言上的支持．     

面向分布式存储系统结构的OpenMP编译系统

OpenMP是目前面向共享存储系统结构的工业标准.与面向分布式存储系统结构的消息传递标准MPI相比,OpenMP规范具有易编程和支持增量并行等优点.如何有效地将OpenMP扩展到分布式存储系统结构且具有高性能是一直关注的热点.文中介绍一个面向分布式存储系统结构的OpenMP编译系统——KLCoMP.基于"部分数组共享"存储模型,为该编译器研发了基于过程间分析的共享数组识别算法、基于生产者/消费者关系的优化技术和针对非线性引用的通信生成技术.实验采用9个标准测试用例并覆盖计算流体力学、整数排序、分子动力学、地震模拟和计算化学等多个领域.通过与MPI版本进行对比表明KLCoMP版本具有与其相当的可扩展性.另外通过与国际同类编译器Omni+SCASH、LLCoMP和OpenMP(Purdue)翻译后程序进行性能对比表明,KLCoMP版本特别是对于非规则应用能够获得更高的效率.     

黄河典型流域分布式水文模型及应用研究

面向黄河中等流域水资源管理,提出一个日过程的分布式水文模型.模型利用GIS/RS技术实现空间分布参数的确定和模型输入信息的处理.在产流计算上采用基于“地形指数”的方法,在汇流演算上采用分段马斯京根方法.模型的运行控制采用基于河网拓扑关系的“空间循环控制代码”的方法.在实例研究中将模型应用于黄河中游泾河流域.根据1996年径流模拟结果表明,模型具有一定的精度,在结构上是合理的,其中水量平衡误差小于5％,模型效率系数达到0.7,能够满足流域水资源管理之需.     

基于网络的可信软件大规模协同开发与演化

随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生产相结合以提高软件生产效率和质量,是网络时代软件技术面临的新课题.本文提出汇聚群体智慧的可信软件开发新方法——群体化方法,该方法的核心是"群体协同、资源分享、运行监控、可信分析",支持创新软件作品向可信软件产品转化,支持软件的可信演化.提出一种基于证据的可信软件概念模型,将软件在开发阶段、分享阶段和应用阶段的基础数据作为软件的可信证据,并据此建立了软件演化过程模型;提出一种支持可信软件协同开发与演化的服务模型,支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享,以及基于海量数据分析的软件可信评估.最后以"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"为背景,阐述了面向群体化方法的关键技术、开发环境和应用实践.     

虚拟计算环境中的嵌入式DHT覆盖网技术

随着计算技术与网络技术的飞速发展,人们提出在互联网之上构建和谐、可信、透明的虚拟计算环境.通过覆盖网动态组织互联网资源是在虚拟计算环境中实现资源有效共享的重要途径.基于DHT的覆盖网技术具有可扩展、延迟低、可靠性高等优点,然而,虚拟计算环境中现有的DHT覆盖网无法满足互联网应用的"可信"需求.针对该问题,文中提出一种虚拟计算环境中的嵌入式DHT技术TrustedSKY,支持上层应用在覆盖网中选择可信节点形成"可信子组"(trustedsubgroup)结构,进而在组中实现安全可信的DHT路由.     

基于封包截获技术的个人防火墙核心驱动技术

针对市面上多数防火墙防外不防内的致命缺点,研制有效的个人防火墙很有必要。为此提出了一种基于内核模式和用户模式的双重个人防火墙过滤设计方案在内核模式下利用TDI虚拟驱动接口挂接技术实现对通过传输层的原始数据封包进行截获,在应用模式下采用Winsock2SPI技术开发DLL程序实现对基于Socket网络连接通信的服务截获和过滤,克服了单方面从用户模式或核心模式截获数据包的缺点。着重介绍核心层虚拟驱动编程模块所涉及的编程技术。     

大涡模拟在超音速燃烧领域的应用研究

随着大涡模拟技术发展日臻成熟及目前计算机运算速度的提高,大涡模拟已经逐渐由理论研究阶段进入工程实用阶段.采用大涡模拟进行超音速燃烧数值模拟时,必须能够准确模拟小尺度上的燃料/空气湍流混合过程及化学反应动力学过程.本文回顾了大涡模拟中的主要亚网格模型及亚网格燃烧模型,总结了国内外采用大涡模拟在超音速燃烧研究领域的应用情况,为大涡模拟的进一步发展和应用提供参考.     

事件驱动、面向服务的物联网服务提供方法

物联网无缝集成了用户域、信息空间域和物理空间域,实现了＂人—机—物＂的动态协同,其应用常常涉及到跨业务域甚至跨组织的用户、业务流程和物理实体的实时动态交互.因此,物联网服务系统往往需要集成多个分布式的企业应用系统从而形成一个大规模复杂服务系统来实时协作完成一定的业务目标.目前,大多数已有研究工作主要集中于解决不同实体和应用系统间在动态交互环境下的互联和互操作问题.然而,如何在信息的提供方和消费者之间按需的分发感知信息、并基于物理世界所发生的变化动态的实时协同相关的企业服务或者业务流程做出快速反应尚没有系统深入地研究.为此,本文结合事件驱动架构和面向服务架构的设计思想,提出了一种事件驱动、面向服务的物联网服务提供方法,该方法能够便捷地支持感知信息的按需分发和聚合,并实现事件驱动的跨业务域甚至跨组织的服务动态协同.这种实现了＂时间、空间和控制＂解耦的服务提供方法极大地增强了物联网服务系统的灵活性和敏捷性,允许系统及时地对物理世界的动态变化做出快速响应.最后,通过实际部署的区域集中供热监控及热计量物联网应用进行了验证.     

大规模薄膜生长的格子MC模拟并行计算

基于1000×1000个原子的Ti薄膜淀积生长过程的模拟, 在分布式并行系统上提出了区域重叠划分和异步通信的有效并行计算策略, 并运用Monte Carlo方法实现了模拟真实沉积速率下的大规模薄膜生长的并行计算过程, 缩短了薄膜生长模拟计算时间. 实现的并行算法能够模拟比以前粒子数大得多的真实沉积速率下薄膜生长问题, 从而为运用计算机方法模拟薄膜生长提供了有效的手段.     

面向场景变化的动态自适应同时定位与地图构建

在动态变化的复杂环境中,如何使同时定位与地图构建(SLAM)系统根据场景变化持续可靠地进行定位和地图构建,成为其能否走向实际应用的关键所在,也是目前SLAM研究领域中重点研究和待解决的问题之一.针对这一问题,本文提出了一个可扩展的、面向场景变化的同时定位与地图构建框架—SceneSLAM,支持场景检测和SLAM算法的有效复用和自动化调度;根据当前场景检测结果,动态自适应地调用依赖不同传感器数据的SLAM算法,从而提高SLAM系统适应环境变化和持续稳定工作的能力;在SceneSLAM框架基础之上,提出了能够有效检测室内、室外、黑暗场景的场景检测模型,以及应对光线变化的室内、室外场景的动态自适应SLAM模型;在模型切换时自动地进行坐标转换和尺度转换,从而获得具备全局一致性和尺度一致性的定位与地图构建结果.最后,基于ROS平台实现了一个动态适应场景变化的SLAM原型系统,实验中利用Turtlebot机器人,在室内、室外、黑暗场景中进行实验,验证了本文所提出方法的有效性.     

通用可组合的一次签名和广播认证

本文在通用可组合框架（universally composable framework,UC）下研究了基于一次签名的广播认证的问题.基于一次签名的广播认证的计算效率高,并能够实现即时认证,可以适用于能量受限的网络环境下广播消息的认证.在UC框架下,提出了基于一次签名的广播认证安全模型.在模型中形式化定义了一次签名理想函数F_OTS和广播认证理想函数F_BAUTH.并且设计了广播通信的理想函数F_BCOM和多值注册理想函数F_mREG.然后,在(F_OTS,F_mREG,F_BCOM)-混合模型下设计了安全实现理想函数F_BAUTH的广播认证方案π_BAUTH.同时,在UC框架下设计了安全实现F_OTS的一次签名算法HORS+;基于单向链构造了在F_REG-混合模型下安全实现F_mREG的协议OWC.在π_BAUTH的基础上组合协议HORS+和OWC,可以构造出新的一次签名的广播认证协议.根据组合定理,新的广播认证协议具有通用可组合的安全性,适用于能量受限网络中广播消息的认证.     

复合高斯杂波中知识辅助检测器的先验信息感知方法

利用先验信息可以提高雷达目标的探测能力,若先验信息与当前探测环境不匹配,知识辅助检测器的性能会受到影响.本文针对Bayes框架下的复合高斯杂波中的知识辅助检测器,提出了杂波纹理分量先验分布参数的感知方法.首先阐述了知识辅助检测器先验信息感知的一般方法.然后针对基于杂波纹理分量先验信息的知识辅助检测器结构,建立了先验模型参数失配与知识辅助检测器检测性能之间的量化关系.进一步利用知识辅助检测器对当前杂波场景进行探测,获得检验统计量和虚警率测量值,从而构造纹理分量分布参数的约束关系.通过分析多个约束关系的交点,获得杂波纹理分量先验分布参数的感知值.计算机仿真分析了这种感知方法的可行性,并利用实测杂波数据对感知方法进行了验证.通过知识辅助检测器检测性能对比分析,采用感知方法获得的先验信息模型参数能够进一步提高检测器的性能.     

基于TOES模型的SaaS采纳问题研究

目前各种规模的组织逐渐开始应用基于云的软件即服务(SaaS)来支持其业务活动。本文在技术接受模型TAM和技术-组织-环境(TOE)分析框架等理论基础上,构建了一个面向SaaS的技术-组织-环境-服务(TOES)的组织采纳模型。通过采用Logistic等多元回归方法分析数据,研究了影响组织SaaS采纳意愿和行为的因素,发现技术兼容性、环境竞争压力和服务质量显著影响组织的SaaS采纳意愿;而组织高管支持、环境的合作压力、服务质量以及安全性显著影响实际的SaaS采纳行为。     

低维特征空间中基于旋转图像的三维环境模型配准方法

近年来,异类机器人之间(如飞行机器人和地面机器人)的协作成为机器人学研究发展的一个新的领域.异类机器人协作的难点之一是协作环境建模,而由于所获得的环境模型具有不同的观测视角和尺度,其环境建模中的模型配准是一个难点和关键.目前,能够适用于大视角差、大尺度差场景配准的方法并不多,基于旋转图像的配准方法被认为是一种可行方案,但其中存在的计算负担大和在野外环境中的鲁棒性差使得其也很难在实际系统中应用.基于此,面向三维点云环境模型,以旋转图像为基础,提出了一种新的基于低维特征空间的模型配准方法.首先,通过引入模型曲率、旋转图像熵值和激光反射强度3个特征构建了一个三维特征空间,得到候选对应点集合.然后,在候选对应点集合中利用旋转图像的方法查找正确的对应关系,实现模型配准.由于低维特征空间的引入,基于旋转图像特征的对应点搜索区域大大减小,因此算法计算效率得到了极大改善.同时由于引入的新特征与场景旋转图像特征的互补性,算法的鲁棒性和精确性也得到了提升.这些性能改进最后通过实验得到了验证.     

中国北方农牧交错带土地利用格局演变与模拟

利用获自NOAA/AVHRR和SPOT VEGETAN遥感影像的中国北方农牧交错带1989,1994和1999年三期地表土地覆盖数据,分析了10年来该区域土地利用格局演变并建立了土地利用格局模拟模型,以此进行了中国北方农牧交错带土地利用格局演变及优化模拟研究.试验表明,利用该模型可以有效开展区域土地利用格局模拟,为有效改善区域生态环境提供决策依据.     

AlGaN势垒层应变弛豫度对高Al含量AlxGa1-xN/GaN HEMT性能的影响

采用数值算法自洽求解Poisson和Schrödinger方程, 计算了AlGaN势垒层的应变弛豫度对高Al含量AlGaN/GaN高电子迁移率晶体管（HEMT）中的导带结构、电子浓度以及二维电子气(2DEG)薄层电荷密度的影响. 利用所获得的精确薄层电荷密度与栅电压的关系, 采用非线性电荷控制模型解析求解了应变弛豫度对Al_xGa_1-xN/GaN HEMT直流输出特性的影响. 计算表明, 应变弛豫度为0时所获得的Al_0.50Ga_0.500N/GaN HEMT的最大二维电子气薄层电荷密度为2.42×10¹³ cm^-2, 最大漏电流为2482.8 mA/mm; 应变弛豫度为1时所获得的最大二维电子气薄层电荷密度为1.49×10¹³ cm^-2, 最大漏电流为1149.7 mA/mm. 模拟结果同已有的测试数据相比, 符合较好. 对模拟结果的分析表明, 对高Al含量的AlGaN/GaN HEMT进行理论研究时需要考虑应变弛豫度的影响, 减小AlGaN势垒层的应变弛豫度可显著提高器件的性能.     

面向网构软件的环境显式化技术

网构化软件处于开放、动态、难控的环境之中，需能感知并适应环境的变化，以持续提供用户满意的服务．传统软件构造技术缺乏对环境感知和适应的系统支持．本文在前期工作基础上，提出一种面向网构软件的软件结构，通过为软件系统配备先验的环境模型和环境规约来实现环境处理的显式化．进而，介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及环境中人类用户行为特性等的若干具体技术进展．而后，讨论了一种先验环境模型及环境规约的开发方法原理，给出了相应的环境驱动逻辑的静态表达与运行实现机制．该方法和机制可较好地支持环境处理与应用业务逻辑间的关注分离．     

面向装配的复杂模型几何及结构轻量化技术研究

复杂三维模型轻量化是节约存储空间、加快处理速度和实现信息隐藏的有效途径.为了快速有效地生成装配体的轻量化模型,提出了一套面向装配的复杂模型轻量化算法框架及处理流程,以零部件抑制、基于特征缝合的模型表面处理和模型整体抽壳等关键技术为手段,实现了复杂装配模型几何与结构的简化表示.该算法已顺利地运用到相关企业的装配设计,模型轻量化效率比较高,为复杂装配模型的网络协同设计和运动仿真等后续应用提供了一种有益的途径.