构件关系语言的创建与应用

在对构件库中的构件进行修改和组装时,总会涉及构件间的关联问题,例如构件A的实现依赖于构件B,那么在用A进行组装时也必然会用到B.目前,对构件间关系的描述和应用多是在构件模型中实现的,这样做使构件模型变得复杂,而且难于实现对构件关系的推导.将构件间关系从构件库中抽取出来,由构件关系空间统一描述,并创建构件关系语言来实现对构件关系的描述和推导.     

一种基于高频强调滤波和直方图均衡化的图像增强方法

直方图均衡化能够调节图像的动态灰度范围,是一种经典有效的图像增强方法,但它建立在合并相似像素灰度的基础之上,模糊了图像的细节。高频强调滤波将变换后的低频和高频分量都得到了增强,但是低频分量的增强要弱一些,这样会使得图像边缘更加清晰。实验表明,经该方法增强后的图像,其主观视觉效果明显改善。     

多维QoS在基于MOM的QoS管理模型中的应用

服务质量QoS管理是满足分布式环境中端到端QoS需求的关键,而中间件是一种分布式系统中的主要交互平台.首先对中间件和QoS的相关概念进行介绍,在分析传统QoS管理模型的基础上,提出一种基于消息中间件(MOM)的QoS管理模型,重点分析多维QoS在该模型中的应用,最后结合一个实例说明多维QoS在实际系统中的应用.     

基于人脸检测与SIFT的播音员镜头检测

播音员镜头的检测是新闻视频结构化的关键步骤之一.提出了一种基于人脸检测与SIFT特征点匹配的播音员镜头自动检测算法.该方法首先利用人脸检测器过滤出具有人脸的候选镜头,然后利用颜色直方图判断镜头是否可能相似,再利用SIFT特征点匹配从候选镜头关键帧中找出相关的镜头组,最后利用各镜头组的信息判断出哪些是播音员镜头.对比传统的方法,该方法除了训练一个通用的人脸检测器外,不需要模板,也不需要针对某类新闻节目训练特别的分类器,可以直接利用算法对新类型的新闻节目提取播音员镜头.实验结果表明,该算法能够广泛地适应于各种不同种类的新闻节目、不同视觉质量的视频,可以有效地应用于新闻视频分析.     

自动选取特征的行人跟踪

根据非刚性物体运动的特点,提出一种利用支持向量机有效对多目标进行分离并能自动选择目标最明显特性区域的覆盖比算法,克服了以往对选取区域事先进行设定的情形。采用目前常用的加权颜色直方图作为备选粒子,进行行人跟踪。由于建立了合理目标颜色模型,减少了对粒子数量的需求,降低了计算复杂度,有利于实现实时跟踪。利用Bhattacharyya距离描述粒子与目标颜色模型的相似性,作为粒子更新权值的依据。试验结果证明了自动选取被跟踪目标的特征与事先设定备选区域有等价效果。     

虚拟加工中工件毛坯模型的建立

为解决虚拟加工中工件毛坯模型的识别问题,提出对规则形状工件毛坯采用OpenGL建模、对复杂形状工件毛坯采用美国初始图形交换规范（Initial Graphics Exchange Specification,IGES）文件进行模型数据转换的方法.该方法利用CAD软件为工件毛坯进行三维造型,生成IGES文件,然后在虚拟加工环境下读取IGES文件并生成工件毛坯模型,从而实现工件毛坯模型在新环境中的建立.经过建立具体的工件毛坯模型,验证相关理论的正确性,为在虚拟加工环境下工件毛坯模型的建立提供可行的依据.     

一种基于灰度直方图的遥感影像阴影自动检测方法

在高分辨率全色遥感影像中,阴影的存在既给目标识别带来了困难,又包含了地物的层次和高度信息。本文运用灰度统计直方图的势函数对全色遥感影像的灰度统计直方图函数进行拟合,使用一阶差分找到直方图势函数的第一个谷点,以该谷点对应的灰度值对原始影像做阈值分割完成阴影检测。实验表明,在各种复杂地物环境下,本文方法都能能完成灰度分割阚值的自动选取,其阴影检测结果是快速有效的。     

Hoare's logic and VDM

A relational framework which unifies Hoare's logic and VDM is presented. Within this framework a partial correctness version of VDM is defined. It is argued that this partial correctness version of VDM is intuitive and consistent with the original total correctness version. Furthermore it is shown how both partial and total correctness formulae and specifications can be translated from Hoare's logic into VDM and vice versa. VDM's satisfiability requirement is briefly discussed, and a similar condition for Hoare's logic is defined.:Supported by NWO/SION project 612-316-103: Fault Tolerance: Paradigms, Models, Logics, Construction.     

基于中心化Jaccard匹配的SD卡光学字符验证

为了解决安全数码卡(SD卡,secure digital card)表面字符人工验证效率差、准确率低的问题,提出了一种基于中心化Jaccard匹配的SD卡光学字符验证方法,能够实现SD卡表面字符的精密检测与自动验证。首先,提出了一种基于HSV三通道直方图分析的快速验证方法,实现特征显著SD卡图像的准确验证;其次,针对SD卡字符验证精度受光照变化和微小旋转影响的问题,提取V通道图像和变化角度特征,提高HOG特征对光照和旋转变化的抵抗能力;最后,针对相似SD卡字符的验证问题,提出了一种中心化广义Jaccard系数,增强了相似度指标的辨别力,实现了特征相似图像的精密检测。以实际场景采集的数据对所提方法进行验证分析,试验结果表明,该算法准确率达到99.15%,具有很好的实用性和鲁棒性。     

Medical image contrast enhancement based on improved sparrow search algorithm

The collection or transmission of medical images is often disturbed by various factors, such as insufficient brightness and noise pollution, which will result in the deterioration of image quality and significantly affect the clinical diagnosis. To improve the quality of medical images, a contrast enhancement method based on improved sparrow search algorithm is proposed in this paper. The method is divided into two steps to enhance the medical images. First, a new transform function is introduced to improve the brightness or contrast of medical images, and two parameters in the transform function are optimized by the improved sparrow search algorithm. Second, adaptive histogram equalization method with contrast limited is used to equalize the result image of the previous step to make the pixel distribution of the image more uniform. Finally, a large number of experiments and qualitative and quantitative analyses were conducted on the common data sets. The analysis results demonstrate that the presented approach outperforms some existing medical image processing approaches.