On pebble automata for data languages with decidable emptiness problem

In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-pebble automata is decidable, while the same problem for weak 3-pebble automata is undecidable. We also introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed only between the data values seen by the two most recently placed pebbles. The emptiness problem for this model is still decidable. It is also robust: alternating, non-deterministic and deterministic top view weak PA have the same recognition power; and are strong enough to accept all data languages expressible in Linear Temporal Logic with the future-time operators, augmented with one register freeze quantifier.     

基于联合迭代重建技术的超声CT重建算法

在研究超声CT成像原理的基础上,对阵列检测方法进行了探讨。通过对探头布置方式的改进,增加了成像所需的数据量。基于最小二乘方准则,利用联合迭代重建算法,采用四边扫描算法求解相关系数矩阵,通过不断修正误差逼近真实值,进而实现速度矩阵的求取。数值仿真表明：采用上述方法能够明显减小重建误差,改善层析成像效果。     

Measurement of enterprise knowledge by state characterization

Abstract: Enterprise production is becoming more and more knowledge oriented nowadays and knowledge management is playing a key role in making commercial profit and maintaining enterprise competence. Knowledge characterization and measurement are the bases of knowledge management, and this paper aims to develop a method for characterizing and measuring knowledge in a comprehensive and practical way. Knowledge in its static state is modelled as a vector, whose values vary with the situation, and changes in state are modelled as a finite state machine.     

Structural and electrical properties of mixed oxides of manganese and vanadium: A new semiconductor oxide thermistor material

Binary oxides of manganese and vanadium have been synthesized by solid state sintering, in which the mass ratio of the individual components Mn₂O₃ and VO₂ have been varied from 90:10 to 5:95. The bulk ceramic samples were characterized by X-ray diffraction and scanning electron microscopy with energy dispersive X-ray analysis. The initial compositions either rich in Mn₂O₃ or in equi-proportion by mass with VO₂ yield β-Mn₂V₂O₇ or a new crystalline form of Mn₂V₂O₇, with unit cell parameters: a = 7.73091 Å, b = 6.640788 Å, c = 6.70779 Å α = γ = 90° and β = 98.7086° which is designated as γ-Mn₂V₂O₇. The compositions, richer in VO₂ produce MnV₂O₆ co-existing with V₂O₅ the proportion of which increases with increase in VO₂. The surface microanalysis shows a spherical-granular morphology in Mn₂V₂O₇ structure and plate/rod-like structures co-existing with granular morphology in case of MnV₂O₆ together with V₂O₅. The electrical parameters of the negative temperature coefficient thermistors were determined. Depending on the constituent oxide composition, the NTC thermistors showed room temperature resistivity in the range of 6.52 × 10² to 6.1 × 10⁶ Ω-cm. The thermistor constant and activation energy are in the range of 0.12–0.458 eV and 1393–4801 K, respectively.     

Guaranteed Dynamic-System State Estimation by the Method of Bidirectional Dynamic Programming

The problem of guaranteed estimation (smoothing, filtration, prediction) of a dynamic process observed on a finite discrete time interval is solved, based on generalization of the dynamic programming procedure for the case with sequential optmization in direct and inverse time.     

一种检查层次式有穷状态机一致性的方法

本文介绍了一种层次式有穷状态机（HFSM）的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。     

一类不确定性广义非线性系统的鲁棒控制

考虑一类上有不确定性广义非线性系统Ｅｚ＝（Ａ＋ΔＡ）ｚ＋Ｂｖ＋ｆ（ｚ）的鲁棒控制问题,这里Ｅ是奇异的ｆ（ｚ）系统的非线性部分,在适当的假设下,得到了基于状态反馈作用的鲁棒控制存在的条件。     

Analyzing the structure of a class of linear automata over a ring $$ Z_{p^k } $$

Basic finite-automaton characteristics are established for the class of all linear automata and information-lossless automata over a ring. The complexities of solving problems of parametric identification and initial-state identification are analyzed. The sets of fixed points for mappings realized by initial automata are characterized. Canonical forms are proposed for linear automata over the ring. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 60–74, May–June 2008.     

浅析“静中求动”的设计思维——以灯的“开”与“关”状态联想感悟事物的关联性、可变性

任何事物的存在都不是固定的状态和单一的形式,对事物的认识理解也不应是局限的、固有的,经验感知往往使我们对事物存在方式的认识受到限制,应在静中求动,通过关联性寻求可变因素。本文还通过对灯的"开"与"关"状态的联想为例,浅析"静中求动"认识事物的思维方法,"设计不是一个结论,而是一种假设,不是一种宣言,而是一种步骤、一个瞬间,这里没有确定性,只有可能性,没有真实性,只有经验性,没有那是什么,只有发生了什么",设计是实现作品与生活之间的一种可能性关系。     

State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata

The problems ofstate observation and diagnosis are solved for discrete–eventsystems, which are described by stochastic automata. As manysystems are not observable in the sense that it is possible toreconstruct the state unambiguously, the observation problemis set up as the problem of determining the smallest possibleset of states that are compatible with the measured input andoutput sequences. The diagnostic problem is shown to be, in principle,an observation problem. Conditions for the observability anddiagnosability of stochastic automata are presented. The resultsare illustrated by examples.