消费文化影响下的体验型商业空间环境的营造

在消费社会的背景下,消费文化观念获得重要突破——"消费是一种体验",消费文化催生了现代商业空间环境的体验功能。本文归纳了在消费文化影响下体验型商业空间环境的特质,以案例为基础讨论了各类体验型商业空间环境的特点,并在设计理念的层面上对情境体验空间、主题体验空间、超现实体验空间的营造思路做出了探索。     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

云计算的可信性

云计算是一种新兴的商业计算模型,同时又是一种能够动态伸缩的虚拟化资源。云计算的安全问题其实就是一种对可信的挑战。     

基于WebGIS的田间环境监测系统平台的设计与实现

为了实现田间环境信息的可视化查询分析与统计,本文借助于无线传感网络和GPRS通信网络硬件平台以及TopMap软件平台,开发了基于WebGIS的田间环境监测系统。该系统采用了C/S与B/S模式相结合的运行体系结构,ASP.NET为前台开发工具,SQL SERVER2005为后台数据库,TopMap World 6为WebGIS开发平台。系统实现了田间环境信息的动态交互、实时更新以及基于地图的田间环境信息空间查询、统计分析和生成报表等功能。     

广东省东江流域显著水问题类型识别

通过构建流域水资源、水环境与水生态功能评价指标体系,采用ArcGIS自然间断点分级法分析广东省东江流域水资源、水环境与水生态3类涉水功能的空间格局特征,采用Spearman等级相关系数定量分析3类涉水功能间的交互作用,识别各地区显著水问题类型,并提出相应管控策略。结果表明：广东省东江流域水资源、水环境与水生态功能评价等级空间格局体现出显著的空间差异性;流域水资源、水环境与水生态功能间的交互作用类型为兼容;基于3类涉水功能评价等级及功能间交互作用类型,将广东省东江流域10个评价单元划分为水资源、水环境、水生态、水资源-水环境、水生态-水环境及非显著型6个显著水问题类型。     

河套盆地晚更新世以来黄河改道对高砷地下水分布的控制机制

针对河套盆地开展了历时多年的水文地质环境地质调查,利用采集的298组浅层地下水样品以及收集并甄选的382个水文地质钻孔记录分析发现:河套盆地内95%的高砷地下水(As质量浓度10μg/L)集中在黄河决口、改道形成的古河道影响带及黄河决口扇裙带。其中,盆地南部首次发现了较为集中的高砷地下水,其分布范围与黄河北岸的晚更新世以来黄河决口、改道形成的4个大型决口扇,在空间上有着良好的对应关系。黄河古河道带及决口扇裙带表现为较强的还原环境及蒸发浓缩作用以及较弱的地表水补给强度。受pH值、含铁氧化物的还原性溶解等因素影响,决口扇裙带浅层地下水中砷的含量略低于平原中部黄河古河道带。结果表明:黄河古河道带及决口扇裙带特定的沉积环境控制着地下水的水文地球化学过程,进而对高砷地下水的分布具有决定性的作用。     

一种测量工业环境感应传导干扰的方法

针对采用干扰测量仪或频谱分析仪只能测量工业环境中干扰源的辐射干扰强度的问题,提出了一种测量工业环境感应传导干扰的方法。该方法采用HBYV非双绞2芯线作为干扰接收体,采用数字示波器记录干扰波形的最大幅值和单个脉冲的最大强度,通过与标准干扰发生器感应到HBYV非双绞2芯线上的干扰信号大小进行比较,确定干扰强度。以瞬变脉冲群干扰强度和浪涌干扰强度的测量为例,详细介绍了该方法的具体实现。     

未知环境下机器人障碍物检测技术

未知环境下地面的不平坦性和机器人相对障碍物位姿的不确定性会造成障碍物特征提取困难,为了准确检测障碍物特征,采用3维相机获取机器人周围环境的灰度图像和距离信息。在此基础上,提出基于灰度信息和3维信息的"阈值法"进行障碍物区域的提取,并针对3维信息"阈值法"剔除的地面与障碍物过渡区域过多,以及机器人相对斜坡方位的不确定性引起的障碍物特征检测不准确,提出区域的恢复算法和表面法线坡度计算。实验结果表明,所提出的算法具有简单、有效、准确和鲁棒性强的优点。     

应用改进频率调谐的海上小目标检测方法

提出了一种新的基于可见光图像的海上小目标检测方法。由于频率调谐方法将图像空间域整体均值与高斯滤波后差分结果,作为显著性度量的标准,因此当图像背景中存在较多杂波干扰时,显著目标检测效果不理想。提出的方法对基于频率调谐的显著性检测方法进行了改进,首先对图像LAB空间中3个特征分量进行分块,在每个分块区域中应用频率调谐显著性检测方法,进而将其结果合并为总显著图,以检测海上小目标。该方法克服了频率调谐方法,当海面背景中存在大量海杂波,无法有效提取小目标的缺陷。实验结果表明了该方法的有效性。     

机器人三维路径规划问题的一种改进蚁群算法

本文研究移动机器人三维空间路径规划问题,针对三维空间的复杂地形特点,提出了一种基于改进蚁群算法的路径规划算法。文中首先描述了一种简单有效的环境建模方法,然后给出了算法在信息素呈现、路径点选取、信息素更新以及启发式函数设计等方面的改进方法。仿真结果证明了算法的可行性和可靠性。