面向动作的上下文感知应用的规约与运行时验证

面向动作的上下文感知（AOCA）应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相比于在开发阶段描述全局信息的开发方法,AOCA应用的开发可能由不同开发者在不同时间共同参与,这可能会导致较多的不一致等问题,且难以在开发阶段被发现.我们围绕使用运行时验证手段提高AOCA应用可靠性这一目标展开了研究.本文给出了对于AOCA应用运行状态进行形式化规约、对于系统级和应用级性质进行描述的方法.进一步地,我们设计实现了AOCA应用监控器.最后,通过案例分析以及性能评估证实该方法的有效性.     

普适计算应用时空性质的运行时验证

运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系,这样的时空性质给运行时验证带来了特有的挑战.一方面,传统的时态逻辑难以描述空间性质;另一方面,适合描述空间性质的Ambient Logic在真值不确定等情况下不能很好支持有限轨迹中时间性质的描述.为支持普适计算应用时空性质的运行时验证,本文引入三值逻辑语义,提出了AL₃（3-valued Ambient Logic）;并在此基础上设计实现了基于AL₃的性质检验算法和运行时监控器.最后,通过案例分析和运行效率实验阐明了所提方法的有效性和可行性.     

面向体绘制图像的直接体对象抠取

针对三维体对象抠取的相关工作中存在的尚多不足,提出一种体对象抠取算法.首先计算出与用户勾画结果相关的三维数据点,然后基于K-means聚类方法标记出高置信度的属于目标对象和无关对象的三维数据点,并以此作为种子点,借助基于能量优化的图割算法最终得到正确的体对象抠取结果.用户只需直接在体绘制的二维颜色叠加结果上通过简单的勾画指定目标对象和无关对象,即可抠取出感兴趣的体结构.最后通过实验说明了该算法的有效性.     

基于BPEL的MDO流程建模与调度系统设计和实现

在分析多学科设计优化特点的基础上,充分集成Web services技术和BPEL技术,设计一个基于BPEL的多学科设计优化的流程建模与调度系统。重点介绍该系统的两个模块即可视化流程建模工具模块和流程调度监控平台模块的设计和实现方法。最后给出一个优化实例说明该系统的可行性。     

数据感知过程之间差异的检测和解决

业务驱动开发支持多名业务人员对一项流程进行设计。为获得一个标准的参考数据感知过程,需要将这些变种合并,而检测和解决变种之间的差异是不可或缺的一环。现有方法大多依赖于修改日志从控制流层面检测和解决过程模型之间的差异,而很少研究数据感知过程之间差异的问题。基于程序依赖图和对应关系,提出一种通过比较修改前后的数据感知过程来检测和解决差异的方法。该方法建立一个层次性修改日志,以满足用户友好性的要求。     

倾斜锥形微透镜单模光纤激发高阶涡旋光模式

提出了一种在环形芯光纤中激发高阶涡旋光模式的方法,通过控制锥形微透镜单模光纤与环形芯光纤之间的倾斜角度和错位距离,实现了高阶涡旋光模式的激发。由数值模拟与实验测试结果可知,倾斜角度和错位距离分别约为8°和2μm时,高质量的二阶涡旋光模式被激发。此外,由于锥形微透镜光纤具有聚焦光束的特性,其倾斜错位激发可以提高光的耦合效率,该方法与使用普通单模光纤的错位激发法相比,光的耦合效率提高13%左右。激发出的高阶涡旋光模式在高分辨率显微镜、光学微观操纵和光学传感等应用领域中具有巨大的应用潜力。     

近岸海浪视频浪高自动检测

目的 目前基于视觉信息的海浪要素检测方法分为基于立体视觉和基于视频/图像特征的检测方法,前者对浪高的解析不稳定、模型复杂、鲁棒性较差、不能很好地满足实际应用的需求,后者主要检测海浪的运动方向和浪高等级,无法获取精确的浪高值,其中基于图像特征的检测受限于先验知识,检测稳定性较差。为此,本文结合深度学习的特征学习机制,提出了一种面向近岸海浪视频的浪高自动检测方法。方法 从近岸海浪监控视频中提取视频帧图像,计算相邻两帧差分获取差分图像,通过数据预处理对静态图像集和差分图像集进行数据扩充;针对两类图像集分别设计多层局部感知卷积神经网络NIN（network in network）结构并预训练网络模型;分别用预训练的网络模型提取静态图像和差分图像的高层特征来表达空间和时间维度的信息,并融合两类特征;通过预训练支持向量回归SVR（support vactor regerssion）模型完成浪高的自动检测。结果 实验结果表明,本文近岸海浪视频浪高检测方法在浪高检测上的平均绝对误差为0.109 5 m,平均相对误差为7.39%;从不同绝对误差范围内的测试集精度上可以看出,基于时间和空间信息融合的回归模型精度变化更加平稳,基于空间信息的NIN模型的精度变化幅度较大,因此本文方法有较好的检测稳定性。结论 通过预训练卷积神经网络提取近岸视频图像时间和空间信息融合的方式,有效弥补了人工设计特征的不完备性,对近岸视频的浪高检测具有较强的鲁棒性,在业务化检测需求范围内（浪高平均相对误差≤ 20%）有着较好的实用性。     

斗茶味兮轻醍醐,斗茶香兮薄兰芷——宋代的斗茶之趣

正中国是茶的故乡,但唐前,北人饮茶者尚少。故唐陆羽《茶经》引《南方草木状》云:"茶者,南方之嘉木也。"大唐三百年,大概是因为南北交流频繁吧,饮茶渐渐成为文人雅士追逐的风尚之一,"茶道大行"。到了五代宋初,饮茶之风由上而下席卷大江南北,上至帝王,下至黎庶,竟然形成日常起居,不可无茶的风气了。宋吴自牧《梦粱录》云:"人家每日不可阙者,柴、米、油、盐、酱、醋、茶。"唐初到北宋,短短四百年,茶从地域食俗变成民族     

“两横”特高压落地工程对山西500 kV厂站短路电流的影响研究

蒙西—北岳—北京西、榆横—洪善—石家庄"两横"特高压交流落地工程实施后,将对山西电网500 kV厂站的短路电流水平产生重大影响。采用PSD电力系统分析软件工具中的短路电流计算程序研究了"两横"特高压落地工程实施后山西电网500 kV厂站的短路电流水平,详细分析了特高压主变压器、配套机组、近区500 kV线路等影响短路电流的敏感因素,为"两横"特高压落地后电网运行方式安排提供了技术依据与参考。     

WS-BPEL服务可替换性分析

在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素,并且当BPEL服务中存在对分布服务的异步调用时,现有方法过于保守.为此,本文提出一种基于程序依赖图的BPEL服务可替换性分析方法,该方法综合考虑了BPEL服务中的控制依赖、数据依赖、异步调用依赖以及交互依赖关系,从而可有效应对BPEL服务的可替换性问题.我们使用一个旅行代理BPEL服务替换案例阐明了本文方法的有效性和可行性.