In this paper we extend our results given in [5] where we compared PEG systems with pure regulated context-free grammars (see [3]). We will show that the family of languages generated by the pure grammars of type 0 is a proper subclass of the family of languages generated by positioned eco-grammar systems. We present a way how to coordinate parallel behavior of agents with one-sided context in a PEG system in order to simulate the derivation step in a pure grammar of type 0 determined by a single rule which replaces an arbitrarily long string by another one. Related results concerning PEG systems and pure languages can be found in [6].
In this paper we study nonlinear second order differential equations subject to separated linear boundary conditions and to linear impulse conditions. Sign properties of an associated Green’s function are investigated and existence results for positive solutions of the nonlinear boundary value problem with impulse are established. Upper and lower bounds for positive solutions are also given.
A possibilistic marginal problem is introduced in a way analogous to probabilistic framework, to address the question of whether or not a common extension exists for a given set of marginal distributions. Similarities and differences between possibilistic and probabilistic marginal problems will be demonstrated, concerning necessary condition and sets of all solutions. The operators of composition will be recalled and we will show how to use them for finding a T-product extension. Finally, a necessary and sufficient condition for the existence of a solution will be presented.
There exist different formulations of the irreversible thermodynamics. Depending on the distance from the equilibrium state and on the characteristic time the main theories are the classical theory (CIT), the thermodynamics with internal variables (IVT) and the extended theory (EIT). Sometimes it is not easy to choose the proper theory and to use it efficiently with respect to applied problems considering different fields of interest. Especially EIT is explained mainly for very special choice of the dissipative fluxes under specific presumptions. The paper tries to formulate EIT and IVT in a simple, unified but general enough form. The basic presumptions for EIT are shown and discussed, further a possible generalization is proposed. The formulation allows the integration of iVT and EIT even for the mixture of chemically interacting components and diffusion. The application of the formulation is demonstrated on an example. and Obsahuje seznam literatury
For given a graph $H$, a graphic sequence $\pi =(d_1,d_2,\ldots ,d_n)$ is said to be potentially $H$-graphic if there is a realization of $\pi $ containing $H$ as a subgraph. In this paper, we characterize the potentially $(K_5-e)$-positive graphic sequences and give two simple necessary and sufficient conditions for a positive graphic sequence $\pi $ to be potentially $K_5$-graphic, where $K_r$ is a complete graph on $r$ vertices and $K_r-e$ is a graph obtained from $K_r$ by deleting one edge. Moreover, we also give a simple necessary and sufficient condition for a positive graphic sequence $\pi $ to be potentially $K_6$-graphic.
Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ of $H$ where $H$ is a subgraph of $K_m$. In this paper, we characterize the potentially $K_5-P_4$ and $K_5-Y_4$-graphic sequences where $Y_4$ is a tree on 5 vertices and 3 leaves.
A matrix $\Cal A$ whose entries come from the set $\{+,-,0\}$ is called a {\it sign pattern matrix}, or {\it sign pattern}. A sign pattern is said to be potentially nilpotent if it has a nilpotent realization. In this paper, the characterization problem for some potentially nilpotent double star sign patterns is discussed. A class of double star sign patterns, denoted by ${\cal DSSP}(m,2)$, is introduced. We determine all potentially nilpotent sign patterns in ${\cal DSSP}(3,2)$ and ${\cal DSSP}(5,2)$, and prove that one sign pattern in ${\cal DSSP}(3,2)$ is potentially stable.