基于HART协议的矿用信号转换器的设计

介绍了一种基于HART协议的矿用信号转换器的硬件和软件设计。该转换器以C8051F040单片机为中央处理器,实现了与使用HART协议的传感器的通信,可将传感器的测量信号通过数码管现场显示出来,并兼有量程设置、报警值设置、频率输出和CAN总线输出等功能。     

单片机系统中CAN总线位移传感器的设计

介绍了CAN总线位移传感器硬件接口设计及软件编程方法。采用内部集成了CAN控制器模块及16位A／D转换器的单片机C8051F060设计CAN总线位移传感器,硬件设计简洁、可靠,软件编程方便。     

C8051F041在智能功率柜中的应用

简要介绍智能励磁功率柜的概念及C8051F041单片机的特点；详细论述基于C8051F041的智能励要磁功率柜的结构、原理及CAN总线通信的实现方法。该控制方案系统集成度高、硬件简单、工作可靠，具有很好的推广价值。     

基于CAN总线的智能I／O模块的设计

本文介绍以C8051F040为核心的智能I／O模块应用于数控机床中。机床通过该模块能实现各种输入和输出信号的控制,通过CAN总线还可以实现与上住机的通讯和控制。文章给出了该智能模块的硬件、软件设计方案。     

基于C8051F040的CAN总线通信

在铁路列车通信系统中,CAN总线通信以其传输速率快,可靠性高而得到广泛应用。本文首先简单介绍CAN总线的起源及特点,其次简要介绍C8051F040单片机及其内部芯片CAN2.0控制器,最后以柴油机控制单元FFR与C8051F040间的数据通信为例,编写CAN总线初始化程序、数据接收程序和数据发送程序。     

基于C8051F040酒精浓度测试仪的研究

利用C8051F040单片机与MQK2酒精传感器开发出一款酒精浓度测试仪,具有酒精浓度测试和监控功能.通过采用集成多路A/D转换器、CAN控制器等低功耗、小体积的C8051F040单片机作微处理单元,大大减小了系统的体积和功耗,使系统达到了微型化.其测量范围0.04~0.72 mg/L,误差不超过0.02 mg/L,适用于驾驶员自测是否饮酒过量,也可用于酒精浓度监控.     

基于C8051F040单片机的最小CAN总线系统

介绍了一种基于单片机C8051F040的最小CAN总线系统,阐述了CAN总线及其特点,以及C8051F040单片机中的CAN控制器,由它构成的下位机如何与上位机PC组成一个CAN总线系统。Cygnal公司的片上系统（SoC）级单片机C8051F040功能强大,代表了目前8位单片机控制系统的发展方向。它不仅集成了常用的外设,而且集成了逐渐成为控制领域首选的高可靠性,高性能的CAN控制器。     

基于PLC的加热炉温度曲线控制系统设计

为了补偿环境温湿度对望远镜系统的不利影响,提高大型光电望远镜的成像能力,设计了一种基于CAN总线的温湿度监测系统。系统采用总线式拓扑结构,主要由数字式传感器SHT15、C8051F500单片机、CAN总线以及上位机组成。单片机与传感器之间利用SMBus进行通信,单片机读取传感器数据后,经由CAN总线将数据传送到上位机,上位机实时处理显示温湿度信息。系统设计完成后在实验室中进行了验证实验,成功读取了两个节点的传感器采集到的数据,能够进一步应用于实际工作中。     

基于CAN总线的矿用智能传感器研究

提出了一种适合煤矿井下新型CAN总线智能传感器,利用CYGNAL的C8051混合信号单片机,实现智能传感器的数据采集、报警、断电和红外遥控功能.详细介绍了电路分析、设计与实现,这种传感器在煤矿安全监测系统中有广泛的应用前景.     

基于CAN总线的深海测控模块研究与实现

文章讨论了以Cygnal公司的C8051F020单片机为核心的测控模块，采用西门子公司的SJA1000CAN控制器来实现基于CAN总线的深海测控系统的设计过程，围绕C8051F020单片机与SJA1000控制器详细阐述了测控系统的性能要求、组成及硬件连接和软件设计。系统具有结构简单、价格低、可靠性高等优点。     

Synthesized and inherited functions

In this paper we introduce a new formal model for the concept of syntaxdirected semantics, calledmacro attributed tree transducer (for short: mat tree transducer). This model is based on (noncircular) attributed tree transducers and on macro tree transducers. In the first type of transducer, semantic values are computed by means of meaning names called synthesized attributes, and by means of context names called inherited attributes. Both, synthesized and inherited attributes represent basic semantic values. In the second type of transducer, semantic values are computed by meaning names only which are called states. However, in order to have a means of handling context information, states represent functions over semantic values. The new model integrates attributed tree transducers and macro tree transducers by allowing both, meaning names and context names to represent functions over semantic values. In analogy to the terminology of attributed tree transducers, we call such meaning names and context names also synthesized functions and inherited functions, respectively.We present an inductive characterization of the tree transformation computed by an mat tree transducer. We prove that mat tree transducers are more powerful than both, attributed tree transducers and macro tree transducers. We characterize mat tree transducers by the two-fold composition of attributed tree transducers. This characterization has three consequences: (1) the height of output trees of mat tree transducers is bounded exponentially in the size of the input tree, (2) the composition hierarchy of mat tree transducers is strict, and (3) mat tree transducers are closed under right-composition with top-down tree transducers, but not under left-composition. Moreover, we prove that the addition of inherited attributes does not increase the computational power of macro tree transducers.     

传感器技术的最新进展和市场机遇

综述了国外通用传感器、机器人传感器 ,汽车传感器的发展现状 ,重点阐述了传感器技术的最新进展 ,并介绍了先进传感器的应用前景     

Composing Stack-Attributed Tree Transducers

Stack-attributed tree transducers extend attributed tree transducers with a pushdown stack device for attribute values, which make them strictly more powerful. This paper presents an algorithm for the composition of stack-attributed tree transducers with attributed tree transducers. The algorithm is an extension of the existing method to compose attributed tree transducers. It leads to some natural closure properties of the corresponding classes of tree transformations.     

Extended multi bottom–up tree transducers

Extended multi bottom–up tree transducers are defined and investigated. They are an extension of multi bottom–up tree transducers by arbitrary, not just shallow, left-hand sides of rules; this includes rules that do not consume input. It is shown that such transducers, even linear ones, can compute all transformations that are computed by linear extended top–down tree transducers, which are a theoretical model for syntax-based machine translation. Moreover, the classical composition results for bottom–up tree transducers are generalized to extended multi bottom–up tree transducers. Finally, characterizations in terms of extended top–down tree transducers and tree bimorphisms are presented.     

A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers

We present a characterization of the class of tree transformations computed by (noncircular) attributed tree transducers, in terms of a subclass of macro tree transducers, called attributed-like macro tree transducers. In fact, we prove formally that attributed tree transducers and attributed-like macro tree transducers generate the same class of tree transformations. Moreover, we prove that it is decidable whether a macro tree transducer is attributed-like. Received December 1997, and revised form October 1998, and in final form January 1999.     

隔离的变送器信号调理电路

本文以隔离的热电阻温度变送器信号调理电路为例给出了适用于其它传感器的隔离的变送器信号调理电路.     

Towards dynamics of controlled multibody systems with magnetostrictive transducers

The paper addresses mechatronic issue of multibody systems comprising giant magnetostrictive material based transducers (sensors and/or actuators). Interaction between dynamics and control in multibody system with smart material based transducers makes it possible to change system properties and functionality substantially as a response to applied electric, magnetic or temperature fields. To use this interaction in an optimal way, the proper mathematical models of controlled electro-magneto-elastic multibody systems need to be developed. In the paper, a general mathematical model of multibody systems with magnetostrictive transducers is presented. The model consists of the constitutive equations of magnetoelastic behavior of transducers, standard formulae of electromagnetism for induced voltage and current in the pick-up coil due to variation of magnetic field intensity, and finally, the equations of motion of multibody system itself. The last one can be derived using one of the well-known multibody dynamics formalisms. General model has been developed in detail for linearized dynamics of magnetostrictive transducers and implemented virtually for two practically important cases of interaction of hosting multibody system with transducers, namely for systems with displacement driven transducers and for systems with force driven transducers. Physical prototype of magnetostrictive transducer and test rig (hosting multibody system) have been built and used successfully for verification of developed models.     

集成霍尔传感器的发展

首先总结了100多年来霍尔效应应用的三个阶段，然后介绍各种集成霍尔元件、集成霍尔传感器的原理、结构、特性和应用最后论及到当前新型的量子、等离子霍尔传感器。对霍尔传感器的发展趋势和特点进行了总结。     

Macro forest transducers

Xml documents conceptually are not trees, but forests. Therefore, we extend the concept of macro tree transducers (mtt's) to a transformation formalism of forests, macro forest transducers (mft's). We show that mft's form a strict superset of mtt's operating on forests (represented as binary trees). On the other hand, the transformation of every mft can be simulated by the composition of two mtt's. Although macro forest transducers are more powerful, the complexity of inverse type inference, i.e., computing the pre-image of a recognizable language, is almost the same as for tree transducers.     

The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers,

The exponential output size problem is to determine whether the size of output trees of a tree transducer grows exponentially in the size of input trees. In this paper the complexity of this problem is studied. It is shown to be NL-complete for total top-down tree transducers, DEXPTIME-complete for general top-down tree transducers, and P-complete for bottom-up tree transducers.