Introductory Paper

In today’s competitive market designing of digital systems (hardware as well as software) faces tremendous challenges. In fact, notwithstanding an ever decreasing project budget, time to market and product lifetime, designers are faced with an ever increasing system complexity and customer expected quality. The above situation calls for better and better formal verification techniques at all steps of the design flow. This special issue is devoted to publishing revised versions of contributions first presented at the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) held 21–24 October 2003 in L’Aquila, Italy. Authors of well regarded papers from CHARME’03 were invited to submit to this special issue. All papers included here have been suitably extended and have undergone an independent round of reviewing.     

MetateM: An introduction

In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.     

高速公路水毁成因及防治措施

从高速公路水泥混凝土路面裂缝，挖方地段护面墙开裂、拦水带与路面衔接部位裂缝，急流槽水泥砂浆勾缝脱落等方面分析了高速公路水毁的成因，并提出了切实可行的防治措施，保证了高速公路的正常运营。     

MPEG-2／4AAC音频编码模块的验证

先进音频编码（AdvancedAudioCoding,AAC）以其多声道、多采样率、高压缩比、音质好等特点被广泛使用。文中首先介绍了MPEG-2／4AAC音频编码技术;接着基于MPEG-2／4AAC音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的BFM模型,搭建了音频编码模块的RTL级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证。实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的FPGA平台验证和芯片应用提供了有力的保证。     

BP网络模型对人脸朝向的识别

研究BP神经网络模型,通过计算机模拟人脑建立神经元网络,使用一部分人脸朝向信息作为训练的实例集,训练稳健后,可以推广应用判断其他人脸的朝向信息,以实现计算机自动识别人脸朝向。先对图片进行归一化等预处理,再应用主成分分析提取特征信息,每幅提取出的特征信息都是8个数据的列向量,构建一个8个输入、17个隐含、3个输出的三层BP网络模型。将训练实例集的特征向量代入训练,调整参数后保证其性能和收敛速度。最后通过大量实验验证,计算机识别的误判率仅为6.7%,模型可靠。     

基于YCbCr肤色模型改进算法及区域特征的人脸检测研究

针对当前人脸检测的研究现状与难题,采用改进的YCbCr椭圆聚类肤色模型进行肤色区域提取,根据肤色在YCb’Cr’空间的分布,对于亮度小于80的非肤色像素点会误判为肤色点,则缩小椭圆聚类;对于亮度大于230的肤色像素点会误判为非肤色点,则扩大椭圆聚类,有效避免了在高亮度区域和亮度较低的区域中的肤色点误判问题。接着利用人脸的几何特征,对二值化图中的目标区域进行比例、大小结构的分析,排除不可能的人脸区域,并基于肤色和位置进行区域优化,将处理后的结果作为候选人脸区域输出。     

Interpreting the negative mood-helping literature via "mega"-analysis: A contrary view.

"Mega"-analysis was developed by M. Carlson and N. Miller (see record 1987-31249-001) as an extension of traditional meta-analytic procedures for conducting integrative reviews of existing research literatures. One such mega-analysis was conducted by Carlson and Miller to synthesize the literature on the relation between negative mood states and helping. That analysis found no support for a theoretical account (negative state relief) that had been confirmed previously by using various experimental approaches. In an attempt to reconcile the discrepancy, the logic and methods used in Carlson and Miller's mega-analysis of the negative mood-helping literature were examined, and several serious problems were found. These problems are discussed, and data are presented to show that the results of that mega-analysis, and perhaps all mega-analyses, should not be viewed with confidence. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

标准正面人脸图像的识别

本论文选用人脸上27个特殊点作为人脸基本特征。以人脸几何结构为基础,结合有脸识别的心理特性,提出新颖、简便、高精度的“寻找存在”法,使提取特征点的速度、精度得到大大的提高,在详细分析这27个特列点的统计特性后,选择了其中信息量丰富的15个点间距及间距比构成一组向量代替人脸描述,用加权欧氏距离作为特征向量间相似性测试,在两类实验中,识别率高达100％和98％。     

三维空间孔道的精确校核

二维空间孔道的传统校核方法是把三维问题化成二维问题,再简化或近似处理,这样的方法在高精度场合往往不能满足设计要求;还有的是对孔表面网格化、布尔运算等,算法复杂,难于实现。本文从计算几何理论上探讨了三维空间孔的精确校核方法,简单、易行、可靠。     

灰口铸铁阀体密封面镍基堆焊技术

详细介绍了一种改善旋转止回阀密封面性能的镍基堆焊工艺。针对阀体密封面的结构，设计了特殊焊接工艺，精确地完成了堆焊过程，达到厂家设计要求。