Finite-Time H∞ Control of Switched Nonlinear Systems under State-Dependent Switching

This paper investigates the finite-time H∞ control problem of switched nonlinear systems via state-dependent switching and state feedback control. Unlike the existing approach based on time-dependent switching strategy, in which the switching instants must be given in advance, the state-dependent switching strategy is used to design switching signals. Based on multiple Lyapunov-like functions method, several criteria for switched nonlinear systems to be finite-time H∞ control are derived. Finally, a numerical example with simulation results is provided to show the validity of the conclusions.

Real-time embedded software testing method based on extended finite state machine

The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.

Finite size effects on helical edge states in HgTe quantum wells with the spin orbit coupling due to bulk- and structure-inversion asymmetries

There is a quantum spin Hall state in the inverted HgTe quantum well, characterized by the topologically protected gapless helical edge states lying within the bulk gap. It has been found that for a strip of finite width, the edge states on the two sides can couple together to produce a gap in the spectrum. The phenomenon is called the finite size effect in quantum spin Hall systems. In this paper, we investigate the effects of the spin-orbit coupling due to bulk- and structure-inversion asymmetries on the finite size effect in the HgTe quantum well by means of the numerical diagonalization method. When the bulk-inversion asymmetry is taken into account, it is shown that the energy gap Eg of the edge states due to the finite size effect features an oscillating exponential decay as a function of the strip width of the HgTe quantum well. The origin of this oscillatory pattern on the exponential decay is explained. Furthermore, if the bulk- and structure-inversion asymmetries are considered simultaneously, the structure-inversion asymmetry will induce a shift of the energy gap Eg closing point. Finally, based on the roles of the bulk- and structure-inversion asymmetries on the finite size effects, a way to realize the quantum spin Hall field effect transistor is proposed.

Quantum fluctuation in excited states of mesoscopic LC circuits at finite temperature

We discuss quantum fluctuation in excited states （named thermo number states） of mesoscopic LC circuits at a finite temperature. By introducing the coherent thermo state into the thermo field dynamics pioneered by Umezawa and using the natural representation of thermo squeezing operator we can concisely derive the fluctuation. The result shows that the noise becomes larger when either temperature or the excitation number increases.

Security of the Decoy State Two-Way Quantum Key Distribution with Finite Resources

The quantum key distribution （QKD） allows two parties to share a secret key by typically making use of a one-way quantum channel. Howevery the two-way QKD has its own unique advantages, which means the two-way QKD has become a focus recently. To improve the practieM performance of the two-way QKD, we present a security analysis of a two-way QKD protocol based on the decoy method with heralded single-photon sources （HSPSs）. We make use of two approaches to calculate the yield and the quantum bit error rate of single-photon and two-photon pulses. Then we present the secret key generation rate based on the GLLP formula. The numerical simulation shows that the protocol with HSPSs has an advantage in the secure distance compared with weak coherent state sources. In addition, we present the final secret key by considering the statistical fluctuation of the yield generation rate of the LM05 protocol with finite resources and the error rate.

Experimental and Finite Element Study of Steady State Micro-cutting Characteristics of Aluminum Alloy (2A12)

This paper studies the micro-cutting characteristics of aluminum alloy (2A12) based on a series of orthogonal experiments and finite element method (FEM) simulations. An energy-based ductile failure law was proposed in the FEM simulation. The simulated cutting forces and chip morphology were compared with experimental results. The simulation result indicates that there is a close relationship between the cutting force and cutting heat. The micro-cutting force decreases as the heat flux vector increases. Both the cutting heat and the micro-cutting force need a finite time to achieve a steady state. It is observed that with the cutting speed of 169.95 m/min and uncut chip thickness of 6 μm, the heat flux vector in the workpiece increases to a stable value after 0.06 ms; meanwhile, the principal cutting force decreases to a steady state correspondingly, i.e., the micro-cutting process achieves the steady state. It is concluded that the steady state micro-cutting simulation can reflect the cutting process accurately.

Artificial emotional model based on finite state machine

According to the basic emotional theory, the artificial emotional model based on the finite state machine(FSM) was presented. In finite state machine model of emotion, the emotional space included the basic emotional space and the multiple emotional spaces. The emotion-switching diagram was defined and transition function was developed using Markov chain and linear interpolation algorithm. The simulation model was built using Stateflow toolbox and Simulink toolbox based on the Matlab platform. And the model included three subsystems: the input one, the emotion one and the behavior one. In the emotional subsystem, the responses of different personalities to the external stimuli were described by defining personal space. This model takes states from an emotional space and updates its state depending on its current state and a state of its input (also a state-emotion). The simulation model realizes the process of switching the emotion from the neutral state to other basic emotions. The simulation result is proved to correspond to emotion-switching law of human beings.

POWER OPTIMIZATION OF FINITE STATE MACHINE BASED ON GENETIC ALGORITHM

Using state assignment to minimize power dissipation and area for finite state ma-chines is computationally hard. Most of published results show that the reduction of switchingactivity often trades with area penalty. In this paper, a new approach is proposed. Experimentalresults show a significant reduction of switching activity without area penalty compared withprevious publications.

Finite size effects on the helical edge states on the Lieb lattice

For a two-dimensional Lieb lattice,that is,a line-centered square lattice,the inclusion of the intrinsic spin–orbit（ISO）coupling opens a topologically nontrivial gap,and gives rise to the quantum spin Hall（QSH） effect characterized by two pairs of gapless helical edge states within the bulk gap.Generally,due to the finite size effect in QSH systems,the edge states on the two sides of a strip of finite width can couple together to open a gap in the spectrum.In this paper,we investigate the finite size effect of helical edge states on the Lieb lattice with ISO coupling under three different kinds of boundary conditions,i.e.,the straight,bearded and asymmetry edges.The spectrum and wave function of edge modes are derived analytically for a tight-binding model on the Lieb lattice.For a strip Lieb lattice with two straight edges,the ISO coupling induces the Dirac-like bulk states to localize at the edges to become the helical edge states with the same Dirac-like spectrum.Moreover,it is found that in the case with two straight edges the gapless Dirac-like spectrum remains unchanged with decreasing the width of the strip Lieb lattice,and no gap is opened in the edge band.It is concluded that the finite size effect of QSH states is absent in the case with the straight edges.However,in the other two cases with the bearded and asymmetry edges,the energy gap induced by the finite size effect is still opened with decreasing the width of the strip.It is also proposed that the edge band dispersion can be controlled by applying an on-site potential energy on the outermost atoms.

Finite size effects on the quantum spin Hall state in HgTe quantum wells under two different types of boundary conditions

The finite size effect in a two-dimensional topological insulator can induce an energy gap Eg in the spectrum of helical edge states for a strip of finite width. In a recent work, it has been found that when the spin--orbit coupling due to bulk-inversion asymmetry is taken into account, the energy gap Eg of the edge states features an oscillating exponential decay as a function of the strip width of the inverted HgTe quantum well. In this paper, we investigate the effects of the interface between a topological insulator and a normal insulator on the finite size effect in the HgTe quantum well by means of the numerical diagonalization method. Two different types of boundary conditions, i.e., the symmetric and asymmetric geometries, are considered. It is found that due to the existence of the interface between topological insulator and normal insulator this oscillatory pattern on the exponential decay induced by bulk-inversion asymmetry is modulated by the width of normal insulator regions. With the variation of the width of normal insulator regions, the shift of the Dirac point of the edge states in the spectrum and the energy gap Eg closing point in the oscillatory pattern can occur. Additionally, the effect of the spin-orbit coupling due to structure-inversion asymmetry on the finite size effects is also investigated.

Finite State Automaton for Food Traceability

To model the operation of food traceability, features of food supply chain are studied. The aim of the paper is to build an abstract model of food traceability, and to gain better understanding of food traceability and food safety. Based on the analysis of consumers＇ behavior of searching for traceability information, a finite state automaton for food traceability is presented by using automata theory. The states of the food supply chain are represented by a state transition diagram. The automaton in this paper simulates the entire food supply chain and provides a theoretical basis for the behavior description and structural design of a food traceability system.

Differential geometric guidance command with finite time convergence using extended state observer

For improving the performance of differential geometric guidance command(DGGC), a new formation of this guidance law is proposed, which can guarantee the finite time convergence(FTC) of the line of sight(LOS) rate to zero or its neighborhood against maneuvering targets in three-dimensional(3D) space. The extended state observer(ESO) is employed to estimate the target acceleration, which makes the new DGGC more applicable to practical interception scenarios. Finally, the effectiveness of this newly proposed guidance command is demonstrated by the numerical simulation results.

An Evolution Strategy for the Induction of Fuzzy Finite-State Automata

This paper presents an evolution strategy to induce fuzzy finite-state automata from examples of fuzzy languages. The coding, fitness function of a generated automaton and corresponding mutation operators are given respectively. The application example given at last shows the effectiveness of the proposed evolution strategy for automata induction.

Global Control Simulation of Electric Vehicle Based on Finite State Machine Theory

Finite state machine theory (FSM) is introduced and applied to global control of electric vehicle. Theoretical adaptation for application of FSM in control of electric vehicle is analyzed. Global control logic for parts of electric vehicle is analyzed and built based on FSM. Using Matlab/Simulink, BJD6100-HEV global control algorithm is modeled and prove validity by simulation.

State Estimation for Fuzzy Sound Environment System with Finite Amplitude Fluctuation

Internal physical mechanism of actual sound environment system is often difficult to recognize analytically, and it contains unknown structural characteristics. Furthermore, the observation data often contain fuzziness due to several causes and exhibit level saturation owing to the existence of a finite dynamic range. Therefore, it is necessary to propose a new state estimation method by considering fuzziness and finite amplitude fluctuation of observation data. In this paper, a method for estimating the specific signal for sound environment system with unknown structure is proposed in an appropriate form for the finite level range of the measured fuzzy observation data by introducing an expansion expression of probability distribution with Bata distribution in the first term and new type of membership function. The effectiveness of the proposed theoretical method is confirmed by applying it to the actual problem in the sound environment.

1-Way Multihead Quantum Finite State Automata

1-way multihead quantum finite state automata (1QFA(k)) can be thought of modified version of 1-way quantum finite state automata (1QFA) and k-letter quantum finite state automata (k-letter QFA) respectively. It has been shown by Moore and Crutchfield as well as Konadacs and Watrous that 1QFA can’t accept all regular language. In this paper, we show different language recognizing capabilities of our model 1-way multihead QFAs. New results presented in this paper are the following ones: 1) We show that newly introduced 1-way 2-head quantum finite state automaton (1QFA(2)) structure can accept all unary regular languages. 2) A language which can’t be accepted by 1-way deterministic 2-head finite state automaton (1DFA((2)) can be accepted by 1QFA(2) with bounded error. 3) 1QFA(2) is more powerful than 1-way reversible 2-head finite state automaton (1RMFA(2)) with respect to recognition of language.

Semantic Sentence Similarity Using Finite State Machine

In this paper, a finite state machine approach is followed in order to find the semantic similarity of two sentences. The approach exploits the concept of bi-directional logic along with a semantic ordering approach. The core part of this approach is bi-directional logic of artificial intelligence. The bi-directional logic is implemented using Finite State Machine algorithm with slight modification. For finding the semantic similarity, keyword has played climactic importance. With the help of the keyword approach, it can be found easily at the sentence level according to this algorithm. The algorithm is proposed especially for Nepali texts. With the polarity of the individual keywords, the finite state machine is made and its final state determines its polarity. If two sentences are negatively polarized, they are said to be coherent, otherwise not. Similarly, if two sentences are of a positive nature, they are said to be coherence. For measuring the coherence (similarity), contextual concept is taken into consideration. The semantic approach, in this research, is a totally contextual based method. Two sentences are said to be semantically similar if they bear the same context. The total accuracy obtained in this algorithm is 90.16%.

Passive decoy-state quantum key distribution for the weak coherent photon source with finite-length key

Passive decoy-state quantum key distribution systems, proven to be more desirable than active ones in some scenarios, also have the problem of device imperfections like finite-length keys. In this paper, based on the WCP source which can be used for the passive decoy-state method, we obtain the expressions of single-photon error rates, single-photon counts, and phase error rates. According to the information of smooth min-entropy, we calculate the key generation rate under the condition of finite-length key. Key generation rates with different numbers of pulses are compared by numerical simulations. From the results, it can be seen that the passive decoy-state method can have good results if the total number of pulses reaches 1010. We also simulate the passive decoy-state method with different probabilities of choosing a pulse for parameter estimation when the number of pulses is fixed.

Finite Temperature Lanczos Method with the Stochastic State Selection and Its Application to Study of the Higgs Mode in the Antiferromagnet at Finite Temperature

We propose an improved finite temperature Lanczos method using the stochastic state selection method. In the finite temperature Lanczos method, we generate Lanczos states and calculate the eigenvalues. In addition we have to calculate matrix elements that are the values of an operator between two Lanczos states. In the calculations of the matrix elements we have to keep the set of Lanczos states on the computer memory. Therefore the memory limits the system size in the calculations. Here we propose an application of the stochastic state selection method in order to weaken this limitation. This method is to select some parts of basis states stochastically and to abandon other basis state. Only by the selected basis states we calculate the inner product. After making the statistical average, we can obtain the correct value of the inner product. By the stochastic state selection method we can reduce the number of the basis states for calculations. As a result we can relax the limitation on the computer memory. In order to study the Higgs mode at finite temperature, we calculate the dynamical correlations of the two spin operators in the spin-1/2 Heisenberg antiferromagnet on the square lattice using the improved finite temperature Lanczos method. Our results on the lattices of up to 32 sites show that the Higgs mode exists at low temperature and it disappears gradually when the temperature becomes large. At high temperature we do not find this mode in the dynamical correlations.