共查询到4条相似文献,搜索用时 0 毫秒
1.
Galina Jirásková 《法国自动化、信息与运筹学;理论与应用信息》2006,40(3):501-510
We investigate the complexity of several problems concerning Las Vegas finite automata. Our results are as follows. (1) The membership problem for Las Vegas finite automata is in NL. (2) The nonemptiness and inequivalence problems for Las Vegas finite automata are NL-complete. (3) Constructing for a given Las Vegas finite automaton a minimum state deterministic finite automaton is in NP. These results provide partial answers to some open problems posed by Hromkovič and Schnitger [Theoret. Comput. Sci. 262 (2001)1–24)].https://doi.org/10.1051/ita:2006033 相似文献
2.
Xin Jin Author Vitae Author Vitae Kushal Mukherjee Author Vitae Author Vitae 《Pattern recognition》2011,44(7):1343-1356
Real-time data-driven pattern classification requires extraction of relevant features from the observed time series as low-dimensional and yet information-rich representations of the underlying dynamics. These low-dimensional features facilitate in situ decision-making in diverse applications, such as computer vision, structural health monitoring, and robotics. Wavelet transforms of time series have been widely used for feature extraction owing to their time-frequency localization properties. In this regard, this paper presents a symbolic dynamics-based method to model surface images, generated by wavelet coefficients in the scale-shift space. These symbolic dynamics-based models (e.g., probabilistic finite state automata (PFSA)) capture the relevant information, embedded in the sensor data, from the associated Perron-Frobenius operators (i.e., the state-transition probability matrices). The proposed method of pattern classification has been experimentally validated on laboratory apparatuses for two different applications: (i) early detection of evolving damage in polycrystalline alloy structures, and (ii) classification of mobile robots and their motion profiles. 相似文献
3.
Mohammad A. Shokrollahi 《Computational Complexity》1992,2(1):67-96
LetN
max(q) denote the maximum number of points of an elliptic curve over F
q
. Given a prime powerq=p
f
and an integern satisfying 1/2q+1<n(N
max(q)–2)/2, we present an algorithm which on inputq andn produces an optimal bilinear algorithm of length 2n for multiplication in F
q
n
/F
q
. The algorithm takes roughlyO(q
4+n
4logq) F
q
-operations or equivalentlyO((q
4+n
4logq)f
2log2
p) bit-operations to compute the output data. 相似文献
4.
Normalized explicit approximate inverse matrix techniques for computing explicitly various families of normalized approximate inverses based on normalized approximate factorization procedures for solving sparse linear systems, which are derived from the finite difference and finite element discretization of partial differential equations are presented. Normalized explicit preconditioned conjugate gradient-type schemes in conjunction with normalized approximate inverse matrix techniques are presented for the efficient solution of linear and non-linear systems. Theoretical estimates on the rate of convergence and computational complexity of the normalized explicit preconditioned conjugate gradient method are also presented. Applications of the proposed methods on characteristic linear and non-linear problems are discussed and numerical results are given. 相似文献