Determinization of weighted finite automata over strong bimonoids

We consider weighted finite automata over strong bimonoids, where these weight structures can be considered as semirings which might lack distributivity. Then, in general, the well-known run semantics, initial algebra semantics, and transition semantics of an automaton are different. We prove an algebraic characterization for the initial algebra semantics in terms of stable finitely generated submonoids. Moreover, for a given weighted finite automaton we construct the Nerode automaton and Myhill automaton, both being crisp-deterministic, which are equivalent to the original automaton with respect to the initial algebra semantics, respectively, the transition semantics. We prove necessary and sufficient conditions under which the Nerode automaton and the Myhill automaton are finite, and we provide efficient algorithms for their construction. Also, for a given weighted finite automaton, we show sufficient conditions under which a given weighted finite automaton can be determinized preserving its run semantics.     

Weak Abelian Periodicity of Infinite Words

An infinite word is called weak abelian periodic if it can be represented as an infinite concatenation of finite words with identical frequencies of letters. In the paper we undertake a general study of the weak abelian periodicity property. We consider its relation with the notions of balance and letter frequency, and study operations preserving weak abelian periodicity. We establish necessary and sufficient conditions for the weak abelian periodicity of fixed points of uniform binary morphisms. Finally, we discuss weak abelian periodicity in minimal subshifts.     

On the Minimization of Finite State Transducers over Semigroups

Finite state transducers over semigroups are regarded as a formal model of sequential reactive programs that operate in the interaction with the environment. At receiving a piece of data a program performs a sequence of actions and displays the current result. Such programs usually arise at implementation of computer drivers, on-line algorithms, control procedures. In many cases verification of such programs can be reduced to minimization and equivalence checking problems for finite state transducers. Minimization of a transducer over a semigroup is performed in three stages. At first the greatest common left-divisors are computed for all states of a transducer, next a transducer is brought to a reduced form by pulling all such divisors “upstream,” and finally a minimization algorithm for finite state automata is applied to the reduced transducer.     

离散时间不定号随机线性二次型最优控制:无限时区情形

应用渐近分析方法讨论了无限时区离散时间不定号随机线性二次型最优控制问题. 所进行的研究是建立在这一问题有限时区情形结果和系统均方能镇定假设基础之上的. 广义代数Riccati方程(GARE)解的一些性质也得到了考虑. 最后提供了两个例子来说明所推出的结果是有效的.     

An Infinite Hierarchy of Temporal Logics over Branching Time

Many temporal logics have been suggested as branching time specification formalisms during the past 20 years. These logics were compared against each other for their expressive power, model checking complexity, and succinctness. Yet, unlike the case for linear time logics, no canonical temporal logic of branching time was agreed upon. We offer an explanation for the multiplicity of temporal logics over branching time and provide an objective quantified yardstick to measure these logics. We define an infinite hierarchy BTL_k of temporal logics and prove its strictness. We examine the expressive power of commonly used branching time temporal logics. We show that CTL* has no finite base, and that almost all of its many sublogics suggested in the literature are inside the second level of our hierarchy. We introduce new Ehrenfeucht–Fraissé games on trees and use them as our main tool to prove inexpressibility.     

超导传感器的现状和发展

<正> 一、前言 自从1911年H.K.Onnes发现水银的超导现象以来,超导理论有了巨大发展。其中,最有名的是London提出的超导体和磁场关系学说。可是他采用的是一种唯象法,因此,解释实际现象不完全适用。另外是BCS理论,它是取三名学者(Bardeen、Cooper和Shriefer)名字的第一个字母命名的。BCS理论认为,超导态电子是每两     

Ag~+ -ISFET传感器的研制

Ag~+-ISFET是一种新型器件。本文报道了该器件的主要研制工艺、工作原理、测试方法。给出了典型的测试电路及测试结果。     

The Universality of Higher-Order Attributed Tree Transducers

In this paper we present higher-order attributed tree transducers as a formal computational model for higher-order attribute grammars. The latter is a generalization of the classical concept of attribute grammars in the sense that during attribute evaluation, the input tree can be enlarged by inserting subtrees which were computed during attribute evaluation. We prove the universality of this formalism by showing that the class of functions described by higher-order attributed tree transducers coincides with the class of (partial) recursive tree functions. Received May 12, 1999. Online publication December 5, 2000.     

即插即用智能网络化传感器的设计

文章根据新近通过的智能变送器接口标准ＩＥＥＥ１４５１的规定,叙述了标准所包含的主要内容,产生的历史背景和主要应用,最后指出标准的实际将有效地改变目前由于各种现场总线并存而使开发商、集成商及用户无所适从的现状,有力推动基于现场总线分布式测量系统ＦＤＣＳ和网络化控制系统ＮＣＳ的应用,以适应网络化信息交换的要求。     

The Generating Power of Total Deterministic Tree Transducers

Attributed tree transducers are abstract models used to study properties of attribute grammars. One abstraction which occurs when modeling attribute grammars by attributed tree transducers is that arbitrary trees over a ranked alphabet are taken as input, instead of derivation trees of a context-free grammar. In this paper we show that with respect to the generating power this isnotan abstraction; i.e., we show that attributed tree transducers and attribute grammars generate the same class of term (or tree) languages. To prove this, a number of results concerning the generating power of top-down tree transducers are established, which are interesting in their own. We also show that the classes of output languages of attributed tree transducers form a hierarchy with respect to the number of attributes. The latter result is achieved by proving a hierarchy of classes of tree languages generated by context-free hypergraph grammars with respect to their rank.     

虚拟变送器和PID调节器的设计和应用

本文给出了虚拟变送器和PID调节器的软件设计原理，最后讨论了虚拟控制仪表在使用中应该注意的一些问题。     

Diffusion of General Data on Non-Flat Manifolds via Harmonic Maps Theory: The Direction Diffusion Case

In a number of disciplines, directional data provides a fundamental source of information. A novel framework for isotropic and anisotropic diffusion of directions is presented in this paper. The framework can be applied both to denoise directional data and to obtain multiscale representations of it. The basic idea is to apply and extend results from the theory of harmonic maps, and in particular, harmonic maps in liquid crystals. This theory deals with the regularization of vectorial data, while satisfying the intrinsic unit norm constraint of directional data. We show the corresponding variational and partial differential equations formulations for isotropic diffusion, obtained from an L₂ norm, and edge preserving diffusion, obtained from an L norm in general and an L₁ norm in particular. In contrast with previous approaches, the framework is valid for directions in any dimensions, supports non-smooth data, and gives both isotropic and anisotropic formulations. In addition, the framework of harmonic maps here described can be used to diffuse and analyze general image data defined on general non-flat manifolds, that is, functions between two general manifolds. We present a number of theoretical results, open questions, and examples for gradient vectors, optical flow, and color images.     

常识知识在事例修改中的应用

事例改写一直是基于事例推理(Case—Based Reasoning,CBR)方法中的难点之一。用知识的观点来诠释基于事例推理,细分了在CBR中所用到的知识,以银行贷款业务为例探讨了常识知识在事例修改中应用的应用方法——综合得分法,并探讨了相应的常识知识的存储。     

压阻式压力传感器伏频特性转换研究

作者利用新型半导体器件MPNIM结构二端、三端变容器(已获专利)研制成功一种新型伏频变换器.将这种伏频变换器与压阻式压力传感器直接相联,可将传感器输出的模拟电压转换为频率信号,与计算机接口时无需高精度多位A/D变换器,可省去高增益、低漂移、高精度的测量放大器.与一般伏频变换器相比,它的灵敏度可高达400kHz/V;稳定性为±40Hz;重复性为土40Hz;分辩率可达0.1mV.     

有向图上的广义可达性查询处理方法

随着社会网络、生物信息学、本体等应用的迅速发展,如何在图上进行高效的信息检索成为一个亟待解决的问题。两点间可达性查询是一种常见的查询方式,目前针对此类查询已经提出了许多算法。但是在一些应用中,这种查询语义并不能满足用户需求。基于此,提出了两种广义可达性查询语义。研究了如何在大图上进行高效的广义可达性查询的问题,依据Path-tree编码的特性提出了一种新的二级索引机制——RB+索引。基于RB+索引,针对不同类型查询提出了两种高效的查询处理方法。该方法充分利用Path-tree编码的特性,有效地处理广义可达性查询。通过实验对提出的索引和查询算法进行了验证。     

改善传感器特性的软件处理方法

讨论了改善传感器特性的一般方法，针对传感器的静态特性和动态特性提出了用软件处理方法改善特性的设计方法，并以灰法传感器的非线性和动态特性补偿为例进行了验证。理论和实验研究表明方法具有一定的实用价值，特别适用于利用单片机进行开发的智能传感器。     

人工神经网络在传感器非线性校正上的应用

讨论了利用人工神经网络对浓度传感器进行非线性较正的原理以及神经网络权值的调整算法,并利用VB编程语言设计了非线性正参数的计算程序。     

IT新语林 64位应用的重要性

64位应用的重要性IT厂商们如微软和英特尔,对于64位计算都有着宏伟的计划。在4月底,微软发布了64位的WindowsXP和WindowsServer2003。比尔·盖茨承诺了“64位时代”的伟大前程,但是要令用户心悦诚服却不是那么直截了当的事情。从8位计算转换到16位计算时,要求重新编写操作系统,甚至在转移到32位计算十年之后,仍然存在一些麻烦。但是根据微软的老板之意,转换到64位的硬件和软件时,情况将有所不同。盖茨声称,“这个转换过程将最为简洁,比任何其他转换的速度都要快得多。”盖茨对于64位的意义可能看得非常清晰,但是这并不是必然地意味着他的…