Some logical problems connected with a modular decomposition theory of automata

Author(s):  
Dieter Rödding
2009 ◽  
Vol 157 (9) ◽  
pp. 1993-2009 ◽  
Author(s):  
B.-M. Bui-Xuan ◽  
M. Habib ◽  
V. Limouzy ◽  
F. de Montgolfier

1995 ◽  
Vol 09 (25) ◽  
pp. 3241-3268 ◽  
Author(s):  
ZENGO TSUBOI ◽  
MASUO SUZUKI

The general decomposition theory of exponential operators is briefly reviewed. A general scheme to construct independent determining equations for the relevant decomposition parameters is proposed using Lyndon words. Explicit formulas of the coefficients are derived.


2020 ◽  
Vol 10 (1) ◽  
pp. 311-330 ◽  
Author(s):  
Feng Binhua ◽  
Ruipeng Chen ◽  
Jiayin Liu

Abstract In this paper, we study blow-up criteria and instability of normalized standing waves for the fractional Schrödinger-Choquard equation $$\begin{array}{} \displaystyle i\partial_t\psi- (-{\it\Delta})^s \psi+(I_\alpha \ast |\psi|^{p})|\psi|^{p-2}\psi=0. \end{array}$$ By using localized virial estimates, we firstly establish general blow-up criteria for non-radial solutions in both L2-critical and L2-supercritical cases. Then, we show existence of normalized standing waves by using the profile decomposition theory in Hs. Combining these results, we study the strong instability of normalized standing waves. Our obtained results greatly improve earlier results.


2011 ◽  
Vol 418-420 ◽  
pp. 2206-2210
Author(s):  
Meng Qi Li ◽  
Dong Ying Li

Modular decomposition is the key to simplify complex system. In this paper product function model is built based on flow chart description of energy, substance/material information. According to dependency relationship of function, function modularization is done respectively with module defining ways of main path method (MPM), branch path method (BPM) and conversion-conduction method (CCM). And modular decomposition of flow chart path method is established, concerned procedures and cautions during the implementing course are defined, and the purpose and effectiveness of modular decomposition of flow chart pass are confirmed through case analysis.


Sign in / Sign up

Export Citation Format

Share Document