图片彩色参数数字滤波设计

颜色和形状信息是识别物体的重要信息．本文提出用数字滤波器将图象空间分割为H包含M和M/H空间的一种方法．该方法进一步将分析彩色图象为众所周知的测量分割部分几何特征的算法，包括通过节点的阶数确定分割部分的分布及动态特征，包括速度和移动方向的分布等．     

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol

We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed. Received July 2001/Accepted in revised form November 2002 Correspondence and offprint requests to: Alice Miller, Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow G12 8QQ, UK. Email: alice@dcs.gla.ac.uk     

掺杂WRe3、WRe25合金的高温电阻－温度特性

本文报导了采用一种新型高温陶瓷发热体高温管状炉，通以氩气保护，测量ＷＲｅ合金丝的电阻－温度（１６００℃）特性试验方法，该方法较真空炉简便、实用且试验费用低而准确，测量数据与美国研究报导一致。     

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平台验证和芯片应用提供了有力的保证。     

盾构管片衬砌吊装孔预埋件抗拔力试验初探

新版盾构法隧道施工及验收规范已于2017年7月实施,新规范中增加了对管片吊装孔预埋件“设计无要求时,抗拉拔力不应低于管片自重的7倍”的要求,对比之前常规5tf地铁管片设计采用的25tf,相当于提高了40%。文章依据管片预埋吊装孔抗拔力涉及的几种国家标准、行业规范,对几种抗拔试验进行了对比,参照ABAQUS有限元软件数值模拟法,论述了管片吊装孔预埋件抗拔力试验应注意的一些事项,为类似管片抗拔试验提供一些参考资料。     

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)     

Visual recognition efficiency of handheld infrared thermometer interface information under low ambient illuminance

One of the symptoms of plagues, epidemics or pandemics is often a fever, so during such unprecedented times, handheld infrared thermometers are vital devices for monitoring symptomatic individuals. It is therefore very important to enhance reading efficiency when these thermometers are used for lengthy periods of time in a low illuminance environment. The need for the efficient reading of infrared thermometers or a fast reaction time when reading the information is even more relevant now during the COVID-19 pandemic. In this study, a target search experiment of digital characters is carried out through a simulated interface and use scenarios of a handheld thermometer based on three variables: the inclination angle or slant of the seven segment display characters, screen brightness, and ambient illuminance. The experimental results show that the inclination angle or slant of the characters and ambient illuminance have a significant effect on the reaction speed. In general, the slowest reaction time is found when reading characters with a slant of 10° to the left and the reaction time is the fastest with a right slant of 20°. A continued reduction in ambient illuminance does not affect the visual recognition performance but instead further enhances reading efficiency. Increasing the screen brightness increases the reaction time more in relatively low ambient illuminance conditions as opposed to relatively high ambient illuminance, which implies that in higher ambient illuminance conditions, a brighter screen needs to be used to obtain the same reaction speed as that in lower ambient illuminance conditions.     

基于图像处理的片式元件缺陷检测算法

表面缺陷检测是电子元器件生产过程中的关键步骤,通过分析表面缺陷检测的现状问题,结合片式元件图像的自身特征,提出一种基于改进的自适应阈值canny算子的片式元件缺陷检测算法;该算法把片式元件灰度图像进行区域分割,得到不同值域范围内的灰度区域,利用带有敏感度的自适应双阈值canny算子进行边缘检测;算法实现结果表明,该算法能高效地检测并处理不同缺陷类型的片式元件,并且可以达到工业生产的检测速度。