应用影像对正法的前照灯检测技术

前照灯是汽车安全检测的重要内容之一，其检测技术在国内已经发展了十几年，但随着汽车工业的快速发展，既有的一些前照灯检测技术已显落后，不能满足新的需求。本文针对我国机动车前照灯的配光模式以及结构形式的变化，分析了传统前照灯检测方法存在的不足，提出了一种应用影像对正法的前照灯检测新技术并阐述了其定标方法。     

Na125I在碳纳米管中的填充

碳纳米管(CNTs)在经纯化、开口处理后，用Na^125I示踪，研究NaI溶液对CNTs的填充、洗涤以及它们从碳纳米管中的释放情况；用HREM、SEM、EDS对CNTs的填充情况进行了表征。结果显示CNTs管腔内有NaI填充并且在溶液中会缓慢释放出来。因此放射性核素示踪技术可以应用于CNTs的填充、释放等行为的研究。     

SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

SATCHMORE was introduced as a mechanism to integrate relevancy testing with the model-generation theorem prover SATCHMO. This made it possible to avoid invoking some clauses that appear in no refutation, which was a major drawback of the SATCHMO approach. SATCHMORE relevancy, however, is driven by the entire set of negative clauses and no distinction is accorded to the query negation. Under unfavorable circumstances, such as in the presence of large amounts of negative data, this can reduce the efficiency of SATCHMORE. In this paper we introduce a further refinement of SATCHMO called SATCHMOREBID: SATCHMORE with BIDirectional relevancy. SATCHMOREBID uses only the negation of the query for relevancy determination at the start. Other negative clauses are introduced on demand and only if a refutation is not possible using the current set of negative clauses. The search for the relevant negative clauses is performed in a forward chaining mode as opposed to relevancy propagation in SATCHMORE which is based on backward chaining. SATCHMOREBID is shown to be refutationally sound and complete. Experiments on a prototype SATCHMOREBID implementation point to its potential to enhance the efficiency of the query answering process in disjunctive databases. Donald Loveland, Ph.D.: He is Emeritus Professor of Computer Science at Duke University. He received his Ph.D. in mathematics from New York University and taught at NYU and CMU prior to joining Duke in 1973. His research in automated deduction includes defining the model elimination proof procedure and the notion of linear resolution. He is author of one book and editor/co-editor of two other books on automated theorem proving. He has done research in the areas of algorithms, complexity, expert systems and logic programming. He is an AAAI Fellow, ACM Fellow and winner of the Herbrand Award in Automated Reasoning. Adnan H. Yahya, Ph.D.: He is an associate professor at the Department of Electrical Engineering, Birzeit University, Palestine. He received his Diploma and PhD degrees from St. Petersburg Electrotechnical University and Nothwestern University in 1979 and 1984 respectively. His research interests are in Artificial Intelligence in general and in the areas of Deductive Databases, Logic Programming and Nonmonotonic Reasoning in particular. He had several visiting appointments at universities and research labs in the US, Germany, France and the UK. Adnan Yahya is a member of the ACM, IEEE and IEEE Computer Society.     

A comparison of 18 winter seasons of in situ and passive microwave-derived snow water equivalent estimates in Western Canada

The Meteorological Service of Canada (MSC) has developed an operational snow water equivalent (SWE) retrieval algorithm suite for western Canada that can be applied to both Scanning Multichannel Microwave Radiometer (SMMR) and Special Sensor Microwave/Imager (SSM/I) data. Separate algorithms derive SWE for open environments, deciduous, coniferous, and sparse forest cover. A final SWE value represents the area-weighted average based on the proportional land cover within each pixel. The combined SSM/I and SMMR time series of dual polarized, multichannel, spaceborne passive microwave brightness temperatures extends back to 1978, providing a lengthy time series for algorithm assessment. In this study, 5-day average (pentad) passive microwave-derived SWE imagery for 18 winter seasons (December, January, February 1978/79 through 1995/96) was compared to SWE estimates taken from a distributed network of surface measurements throughout western Canada.Results indicated both vegetative and snowpack controls on the performance of MSC algorithms. In regions of open and low-density forest cover, the in situ and passive microwave SWE data exhibited both strong agreement and similar levels of interannual variability. In locations where winter season SWE typically exceeded 75 mm, and/or dense vegetative cover was present, dataset agreement weakened appreciably, with little interannual variability in the passive microwave SWE retrievals. These results have important implications for extending the SWE monitoring capability of the MSC algorithm suite to northern regions such as the Mackenzie River basin.     

连续热镀锌机组退火炉计算机检测及控制系统

本文主要介绍了广东南方镀锌板有限公司的１＃加续热镀锌生产线退火炉所用的计算机检测及控制系统，分析了它的软件及硬件，以及它的数据采集及处理的方式，操作人员的人机接口。     

自适应高速MPEG数据的复接/解复接系统研究

在无线数据广播和通信系统中，为了充分利用主链路带宽，提高通信主信道的利用率，通常使用复接技术。如何适应数据源的速率变化是复接技术的关键问题，本文介绍一种自适应复接技术的设计方法及其实现。     

VC下实现基于Modbus协议的DCS与远程I/O系统通信

本文在分析Modbus协议及其通信原理的基础上，结合工程实际，提出了一种在工业PC机上实现串行通信的方法，并在Visual C 6．0环境下开发了通信的应用程序，实现了基于Modbus协议的DCS与远程I／O系统通信。     

采用图像格式的IDE硬盘直写记录

介绍一种采用IDE硬盘的高速图像记录系统的设计方法。该方法去掉了大量的软件编程代 之以硬盘直写图像文件的模式,将图像数据记录到硬盘的同时直接以文件形式存放。实验效果表明,采用该设计方法的记录设备做到了记录完全脱机,事后将硬盘通过USB接口直接与计算机相连,即可对图像进行访问,达到了预期的目的。     

Application of Fourier Analysis to Digital Imaging for Particle Shape Analysis

The shape of aggregates has an important influence on the behavior of civil engineering materials. Digital imaging techniques provide unique opportunities for describing these features in an automated fashion. Shape analysis of fine and coarse aggregate particles is investigated in this study using Fourier transform of digital images. The geometric signature of each shape is extracted by measuring the distance between its centroid and the boundary at constant increment of angles, and Fourier transforms are used to evaluate its spectral information. The number of highest amplitude harmonics required for accurate profile regeneration is evaluated. Shape of a given aggregate particle is reconstructed using inverse Fourier transforms considering a limited number of significant harmonics. A parameter that can quantify the error between regenerated and original profiles is proposed. Using this value, two shape parameters are defined to describe the overall shape and the ruggedness of a particle. A procedure of quantitatively describing the roundness/angularity of aggregate shape is presented and extended to three dimensions using orthogonal views.