A relativistic extension of the complex scaling method using oscillator basis functions

We develop the complex scaling method within the relativistic framework by expanding the Dirac spinors in the complete set of eigensolutions of a harmonic oscillator potential, and present the theoretical formalism of describing the discrete bound and resonant states on the same footing. Based on a well established and frequently used model, we demonstrate the utility and applicability of the extended method and examine the stability of the results with respect to the variations of the parameters of the model. Satisfactory agreements are found for all the calculated results in comparison with some other calculations in references. Especially, the present calculation in the nonrelativistic limit gives a consistent result with that in the nonrelativistic calculation.     

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.     

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.