Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
2
Content available remote Tissue P Systems with Protein on Cells
80%
EN
Tissue P systems are a class of distributed parallel computing devices inspired by biochemical interactions between cells in a tissue-like arrangement, where objects can be exchanged by means of communication channels. In this work, inspired by the biological facts that the movement of most objects through communication channels is controlled by proteins and proteins can move through lipid bilayers between cells (if these cells are fused), we present a new class of variant tissue P systems, called tissue P systems with protein on cells, where multisets of objects (maybe empty), together with proteins between cells are exchanged. The computational power of such P systems is studied. Specifically, an efficient (uniform) solution to the SAT problem by using such P systems with cell division is presented. We also prove that any Turing computable set of numbers can be generated by a tissue P system with protein on cells. Both of these two results are obtained by such P systems with communication rules of length at most 4 (the length of a communication rule is the total number of objects and proteins involved in that rule).
PL
Samoloty muszą być testowane w locie podczas procesu ich opracowywania i dla zapewnienia niezawodności powinny przejść, podczas faz badania w locie, proces wzrostu niezawodności obejmujący kolejne etapy: testowania, poszukiwania ukrytego uszkodzenia, udoskonalania i ponownego testowania. Jednakże z powodu złożonej budowy samolotów i wysokich kosztów badań w locie, badania wzrostu niezawodności z reguły przeprowadza się na małych próbkach. Trudno jest zatem ocenić wzrost niezawodności w kolejnych fazach badań w locie. W niniejszej pracy do estymacji wzrostu niezawodności zastosowano metodę bayesowską dla dwumianowego wzrostu niezawodności opartą na rozkładzie a priori Dirichleta oraz obliczono parametry rozkładu a posteriori wykorzystując metodę symulacji Markov-Chain Monte Carlo. Metodę zastosowano w kolejnych fazach badań w locie bezzałogowego statku latającego (Unmanned Aerial Vehicle), a użyty przykład pokazuje, iż metoda oparta na rozkładzie a priori Dirichleta może skrócić czas badań w locie. Parametry rozkładu a priori łatwo jest potwierdzić na podstawie uprzednio znanych informacji. Proponowana metoda nadaje się do oceny badań wzrostu niezawodności podczas kolejnych etapów badań w locie.
EN
It is necessary for airplanes to be fl ight-tested during the development process, and they should pass the testing/failurefi nding/improvement/re-testing reliability growth process during the fl ight-testing phases to ensure its reliability. However, due to airplane complexity and the high costs of fl ight-testing, the reliability growth testing is usually done with small samples. It is thus diffi cult to estimate the reliability growth during the fl ight-testing phases. In this paper, Bayesian method for binomial reliability growth based on the Dirichlet prior distribution is applied to reliability growth estimation, and the parameters of the posterior distribution are calculated by using the simulation method of Markov-Chain Monte Carlo. The method is applied to the Unmanned Aerial Vehicle test fl ight phases, and the example shows that the method based on the Dirichlet prior distribution can save the fl ight-testing time. It is easy to confi rm the parameters of the prior distribution by using the prior information. The proposed method is suitable for reliability growth testing estimation during fl ight-testing stages.
EN
Brachypodium distachyon (Brachypodium) is not only a monocot grass species, but also a promising model organism of crop research. In this study, the drought resistance of four Brachypodium varieties was identified including drought stress-tolerant Bd1-1 and Bd21, drought stress-susceptible Bd3-1 and Bd18-1. Physiological assay showed that drought-tolerant varieties (Bd1-1 and Bd21) were more effective in maintenance of leaf water content, activation of catalase and peroxidase activities and accumulation of reduced glutathione, resulting in alleviated cell damage and lower reactive oxygen species level than drought-susceptible varieties (Bd3-1 and Bd18-1) in response to drought stress. In addition, 54 primary metabolites were differentially regulated among Brachypodium varieties and after drought stress treatment, indicating the complexity of Brachypodium response to drought stress. We also identified several commonly regulated metabolites especially some compatible solutes including proline and soluble sugars, which exhibited higher concentrations in the drought-tolerant varieties. Taken together, this study suggested that natural variation of Brachypodium varieties in response to drought stress might be connected with higher leaf water, enhanced accumulation of osmolyte and more effective antioxidant system, as well as the modulation of metabolic profiles under drought stress conditions.
5
Content available remote A P–Lingua Based Simulator for P Systems with Symport/Antiport Rules
61%
EN
Inspired by mitosis process and membrane fission processes, cell-like P systems with symport/antiport rules and membrane division rules or membrane separation rules have been introduced, respectively. These computation systems have two key features: the ability to have infinite copies of some objects (within an active environment) and to generate an exponential workspace in polynomial time. In this work, we extend the P-Lingua framework for simulating that kind of P systems taking into account these two features. Consequently, a new simulator has been developed and included in pLinguaCore library. The functioning of the simulator has been checked by simulating efficient solutions to SAT problem using a family of cell-like P systems with symport/antiport rules and membrane division rules or membrane separation rules. The corresponding MeCoSim based application is also provided.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.