In max-min algebra the standard pair of operations plus and times is replaced by the pair of operations maximum and minimum, respectively. A max-min matrix A is called strongly robust if the orbit x,A⊗x,A2⊗x,… reaches the greatest eigenvector with any starting vector. We study a special type of the strong robustness called the strong \textit{\textbf{X}}-robustness, the case that a starting vector is limited by a lower bound vector and an upper bound vector. The equivalent condition for the strong \textit{\textbf{X}}-robustness is introduced and efficient algorithms for verifying the strong \textit{\textbf{X}}-robustness is described. The strong \textit{\textbf{X}}-robustness of a max-min matrix is extended to interval vectors \textit{\textbf{X}} and interval matrices \textit{\textbf{A}} using for-all-exists quantification of their interval and matrix entries. A complete characterization of AE/EA strong \textit{\textbf{X}}-robustness of interval circulant matrices is presented.
Let $\mathcal {W}$ be a self-orthogonal class of left $R$-modules. We introduce a class of modules, which is called strongly $\mathcal {W}$-Gorenstein modules, and give some equivalent characterizations of them. Many important classes of modules are included in these modules. It is proved that the class of strongly $\mathcal {W}$-Gorenstein modules is closed under finite direct sums. We also give some sufficient conditions under which the property of strongly $\mathcal {W}$-Gorenstein module can be inherited by its submodules and quotient modules. As applications, many known results are generalized.
We call a sequence $(T_n)$ of measure preserving transformations strongly mixing if $P(T_n^{-1}A\cap B)$ tends to $P(A)P(B)$ for arbitrary measurable $A$, $B$. We investigate whether one can pass to a suitable subsequence $(T_{n_k})$ such that $\frac{1}{K} \sum _{k=1}^K f(T_{n_k}) \longrightarrow \int f \mathrm{d}P$ almost surely for all (or “many”) integrable $f$.
Uranium deposits, between which gas storage are being designed, the Rožná deposit and Olší deposit, are situated on the east edge of the Strážek Moldanubicum in Bohemian Masiff. Based on structural analysis it was possible to carry out the first rough prediction of potential weak zones in the rock mass. The structural analysis was also one of the supporting materials for determining the geometry and design method for the mine workings for the gas storage and for the advancing exploration of the gas storage region. Until now, the measurement of foliation planes and discontinuity planes in the survey crosscut V1-XXI and in a survey connecting gate GR1-XXI has been carried out. The results of interpretation of the measurement and monitoring of ductile elements (foliations) and joints (ruptures) as well as dislocations interpretation from the mine maps can be summarized and quoted in the contribution., Jiří Ptáček, Rostislav Melichar, Antonín Hájek, Petr Koníček, Kamil Souček, Lubomír Staš, Petr Kříž and Josef Lazárek., and Obsahuje bibliografii
The irregular distribution of stress in rock mass is a decisive factor for the origin of rock bursts. Besides, a sound knowledge of stress distribution is very important in the excavation of mine workings. Stress state is affected both by natural stress, including the gravitational, tectonic, hydraulic and residual stress and the stress induced by mining operations. Natural stress fields are defined by their geological structure and rock properties. It is important in mining practice to understand that there is a close relationship between recent and residual tectonic stress, as defined by tectonic evolution and tectonic structure. Since 1994, a large number of horizontal stress measurements have been carried out at a depth of 600 m to 800 m under the surface. The application of the results obtained from the measurements of stress and their comparison with the results of structural analysis and their generalization for the Karviná subbasin can be an important contribution to optimize the timespace designs of the mining activity., Petr Waclawik, Jiří Ptáček and Radomír Grygar., and Obsahuje bibliografii
New statistical procedures for a change in means problem within a very general panel data structure are proposed. Unlike classical inference tools used for the changepoint problem in the panel data framework, we allow for mutually dependent panels, unequal variances across the panels, and possibly an extremely short follow up period. Two competitive ratio type test statistics are introduced and their asymptotic properties are derived for a large number of available panels. The proposed tests are proved to be consistent and their empirical properties are investigated in an extensive simulation study. The suggested testing approaches are also applied to a real data problem.
Integration between magnetic and gravity data at the Zelten platform, the southeast part of Sirt Basin Libya. Zelten Platform is first discovered oil field in Libya. It shows numerous geological structures of different tectonic events. The methods adopted can assist in locating the hidden subsurface structures. The platform is characterized by the NW-SE trending rift that belongs to the Early Cretaceous age (during the collapse of Sirt Arch). The study aimed to define the structural geology that assisted in the development of future exploration in this area. The analyses utilized several filtering and transformation algorithms to help in structural modeling. For instance, the total horizontal gradient and tilt angle derivative were applied for the edge detection of the tectonic boundaries. The results show NW-SE and NNW-SSE patterns that represents faults that controlled the positions of the troughs and platforms at the Sirt basin. On the other hand, Euler deconvolution and 2D forward modeling were utilized to determine the depth of the basement. The Integrated models deduced revealed that the main faults trends are NW-SE which refer to the rift phases and crustal extension period that occurred during the Mesozoic time (early cretaceous). Also, the basement depth ranges from 6.5 km to 8 km according to the structures that affected the study area., Abdelhakim Eshanibli, Amin Khalil, Abdellatif Younis and Hussin Ghanoush., and Obsahuje bibliografii
In this paper a novel method is proposed for the structural identifiability analysis of nonlinear time delayed systems. It is assumed that all the nonlinearities are analytic functions and the time delays are constant. We consider the joint structural identifiability of models with respect to the ordinary system parameters and time delays by including delays into a unified parameter set. We employ the Volterra series representation of nonlinear dynamical systems and make use of the frequency domain representations of the Volterra kernels, i. e. the Generalized Frequency Response Functions (GFRFs), in order to test the unique computability of the parameters. The advantage of representing nonlinear systems with their GFRFs is that in the frequency domain representation the time delay parameters appear explicitly in the exponents of complex exponential functions from which they can be easily extracted. Since the GFRFs can be symmetrized to be unique, they provide us with an exhaustive summary of the underlying model structure. We use the GFRFs to derive equations for testing structural identifiability. Unique solution of the composed equations with respect to the parameters provides sufficient conditions for structural identifiability. Our method is illustrated on non-linear dynamical system models of different degrees of non-linearities and multiple time delayed terms. Since Volterra series representation can be applied for input-output models, it is also shown that after differential algebraic elimination of unobserved state variables, the proposed method can be suitable for identifiability analysis of a more general class of non-linear time delayed state space models.
Logistic Regression (LR) has become a widely used and accepted method to analyze binary or multiclass outcome variables, since it is a flexible tool that can predict probability for the state of a dichotomous variable. A recently proposed LR method is based on the hybridization of a linear model and Evolutionary Product Unit Neural Network (EPUNN) models for binary classification. This produces a high number of coefficients, so two different methods for simplifying the structure of the final model by reducing the number of initial or PU covariates are presented in this paper, both being based on the Wald test. The first method is a Backtracking Backward Search (BBS) method, and the other is similar, but it is based on the standard Simulated Annealing process for the decision steps (SABBS). In this study, we used aerial imagery taken in mid-May to evaluate the potential of two different combinations of LR and EPUNN (LR using PUs (LRPU), as well as LR using Initial covariates and PUs (LRIPU)) and the two presented methods of structural simplification of the final models (BBS and SABBS) used for discriminating Ridolfia segetum patches (one of the most dominant, competitive and persistent weed in sunflower crops) in a naturally infested field of southern Spain. Then, we compared the performance of these methods to six commonly used classification algorithms; our proposals obtaining a competitive performance and a lower number of coefficients.
In this paper, we have attempted to give a general framework (from bifurcation theory point of view) for understanding the structural stability and bifurcation behavior in following phase synchronized systems: (a) coupled Poincare systems; (b) controlled linear oscillator and (c) ‘predator-prey’ system, on the base of a specifíc version of bifurcational theory (based on the computing first Lyapunov value (not exponent)). Our results suggest that for these three systems soft stability loss take place. and Obsahuje seznam literatury