Efficient and Flexible Matching of Recursive Types

Equality and subtyping of recursive types were studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential applications include automatic generation of bridge code for multilanguage systems and type-based retrieval of software modules from libraries. In this paper, we present an efficient decision procedure for a notion of type equality that includes unfolding of recursive types, and associativity and commutativity of product types. Advocated by Auerbach, Barton, and Raghavachari, these properties enable flexible matching of types. For two types of size at most n, our algorithm takes O(n) iterations each of which takes O(n) time, for a total of O(n²) time.     

一种面向现场总线的时分同步MAC协议模型框架

现场总线是计算机网络技术向工业控制领域发展的必然结果,MAC子层协议是其网络协议的重要部分。本文提出一种时分同步多重访问（TSMA）协议,它以多频FSK技术为基础,实现总线无冲突访问。     

基于Smith-模糊电加热烤箱温度控制系统的开发

介绍了用单片机实现的Smith－模糊复合控制电加热烤箱温度控制系统;给出了该系统的实现原理及国欠硬件组成、经实验室实际运行测试,该系统具有设计先进、控制精度高、动态响应好、可靠性好、抗干扰能力和鲁棒性强等特点。     

Investigation on AQ11，ID3 and the Principle of Discernibility Matrix

The principle of discernibility matrix serves as a tool to discuss and analyze two algorithms of traditional inductive machine learning,AQ11 and ID3.The results are:(1) AQ11 and its family can be completely specified by the principle of discernibility matrix;(2) ID3 and be partly,but not naturally,specified by the principle of discernibility matrix;and (3) The principle of discernibility matrix is employed to analyze Cendrowska sample set,and it shows the weaknesses of knowledge representation style of decision tree in theory.     

高分子电容式湿度变送器温度补偿方法

提出一种新的高分子电容式湿度变送器温度补偿方法。实验结果表明 ,利用温度特性各异的高分子电容式湿敏元件互补进行温度补偿 ,可有效地减少温度系数和非线性误差、提高高分子电容式湿度变送器的准确度     

An image rectification scheme and its applications in RST invariant digital image watermarking

This paper presents an image rectification scheme that can be used by any image watermarking algorithm to provide robustness against rotation, scaling and translation (RST) transformations. Rotation and scaling transformations in the spatial domain result in cyclically translational shifts in the log-polar mapping (LPM) of the magnitude of the Fourier transform spectrum of an image. We cut a small block from the LPM domain as a matching template. A new filtering method is proposed to compute the cross-correlation between this template and the magnitude of the LPM of the image having undergone RST transformations to detect the rotation and scaling parameters. We employ the same strategy in the spatial domain to detect the translational parameters in the spatial domain. The scheme can also be used to detect image flipping. The cost of the templates is low and the templates can even be compressed. The detection accuracy for rotation, scaling and translation is also presented. We compare the matching results for the different filters and their performance by the three criteria: signal-to-noise ratio (SNR), peak-to-correlation energy (PCE), and Horner efficiency. We demonstrate that our phase-only filtering method is the only one that can be used in the LPM domain. We also introduce three applications for this rectification scheme and give their experimental results.

Proteome analysis of substantia nigra and striatal tissue in the mouse MPTP model of Parkinson's disease

The dopaminergic neurotoxin 1-methyl-4-phenyl-1,2,3,6-tetrahydropyridine (MPTP) replicates many of the pathological hallmarks of Parkinson's disease (PD) in mice via selective destruction of dopamine neurons of the substantia nigra and striatum. Although MPTP has been widely used to study downstream effects following the degeneration of dopaminergic neurons, the underlying mechanisms of MPTP action remain poorly understood. To determine the underlying mechanisms of MPTP action at the protein level, a 2-DE-based proteomics approach was used to evaluate the changes in protein expression in substantia nigra and striatal tissue in C57BL/6 mice after MPTP administration. We identified nine proteins that were markedly altered and are likely to be involved in mitochondrial function, heat shock protein activity, and which contribute enzyme activities for energy metabolism and protein degradation.     

Distinguishing the medicinal herb Oldenlandia diffusa from similar species of the same genus using fluorescence microscopy

The light microscope is routinely used for microscopic identification of Chinese Materia Medica (CMM). However, the fluorescence microscope has not been used for this purpose until now. The CMM, Baihuasheshecao, mostly used as a component of herb tea, is a well known folk-medicine in China. According to the Chinese Pharmacopoeia, its source is the species Oldenlandia diffusa (Willd.) Roxb. Two other species of the same genus, namely O. corymbosa (L.) Lam and O. tenelliflora Bl., had been found in use as Baihuasheshecao. To find a quick and easy method to distinguish O. diffusa from these similar species of the same genus, the fluorescence microscope was used to investigate the fluorescence emission characteristics of the three tissues, which were compared with light microscopy images of the same material. The results showed that some tissues of the three herbs emit autofluorescence. Specially, the wall of endoderm cells of O. diffusa and O. tenelliflora emit autofluorescence, while similar tissue of O. corymbosa does not. Hence, fluorescence microscopy can be helpful in the identification of CMM.     

PROFIBUS和AS-I总线在汽车生产线中的应用

本文简单介绍了PROFIBUS和AS-I现场总线的原理并详细说明了它们在汽车生线的应用.     

Windows9x中串并行并存通讯系统设计与实现

详细介绍了运用面向对象程序设计语言VB5．0,开发在同一智能系统中同时采用RS232串口和GPIB并口的综合性实时数据采集处理系统的实现,解决了MSComm控件在VB5．0及5．0以上版本中应用于仪器命令字的ASCⅡ码传送时的特殊问题。