Wyniki wyszukiwania - BazTech

1

Tissue P Systems with Protein on Cells

Song B., Pan L., Pérez-Jiménez M. J.

Fundamenta Informaticae

|

2016

|

Vol. 144, nr 1

77--107

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).

2

A P–Lingua Based Simulator for P Systems with Symport/Antiport Rules

Macías-Ramos L. F., Valencia-Cabrera L., Song B., Song T., Pan L., Pérez-Jiménez M. J.

Fundamenta Informaticae

|

2015

|

Vol. 139, nr 2

211--227

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.

3

Ocena wzrostu niezawodności w bezzałogowym statku latającym podczas kolejnych faz badania w locie

Yu Y., Cui W., Song B., Wang S.

Eksploatacja i Niezawodność

|

2010

|

nr 2

43-47

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.