Wyniki wyszukiwania - Biblioteka Nauki

1

Colored Fuzzy Petri Nets for Dealing with Genetic Regulatory Networks

100%

Liu F. , Chen S.

Fundamenta Informaticae

|

2018

|

tom Vol. 160, nr 1/2

101--118

EN

Fuzzy approaches play an important role in the modeling of genetic regulatory networks (GRNs) with incomplete quantitative data. However, current fuzzy approaches such as fuzzy logic and fuzzy Petri nets (FPNs) can neither clearly describe causal relationships between genes as each interaction between genes is represented by a couple of fuzzy rules, nor easily deal with large GRNs. To address these issues, this paper presents a new class of colored fuzzy Petri nets (CFPNs) by combining colored Petri nets with FPNs, which makes it possible to clearly represent interactions among genes or to construct a compact model for a large GRN requiring many fuzzy rules. We give the definition of CFPNs and a simulation approach which incorporates a reasoning algorithm, as well as a detailed procedure for modeling and analyzing GRNs with CFPNs. We illustrate our approach using a simple example comprising six genes.

2

Saving Space in a Time Efficient Simulation Algorithm

100%

Crafa S. , Ranzato F. , Tapparo F.

Fundamenta Informaticae

|

2011

|

tom Vol. 108, nr 1/2

23-42

EN

A number of algorithms for computing the simulation preorder on Kripke structures and on labelled transition systems are available. Among them, the algorithm by Ranzato and Tapparo [2007] has the best time complexity,while the algorithmby Gentilini et al. [2003] – successively corrected by van Glabbeek and Ploeger [2008] – has the best space complexity. Both space and time complexities are critical issues in a simulation algorithm, in particular memory requirements are crucial in the context of model checking when dealing with large state spaces. Here, we propose a new simulation algorithm that is obtained as a space saving modification of the time efficient algorithm by Ranzato and Tapparo: a symbolic representation of sets is embedded in this algorithm so that any set of states manipulated by the algorithm can be efficiently stored as a set of blocks of a suitable state partition. It turns out that this novel simulation algorithm has a space complexity comparable with Gentilini et al.’s algorithm while improving on Gentilini et al.’s time bound.

3

Algorytm symulacji w procesie lokalizacji centrum logistycznego na przykładzie Polski

75%

Jędra I.

Logistyka

|

2011

|

tom nr 3

PL

W artykule przedstawiono przykład kolejnych kroków symulacji w procesie lokalizacji centrum logistycznego, służących do optymalizacji globalnych kosztów logistycznych, które uwzględniają wielkość przepływów towarowych, długość trasy transportowanego towaru, kierunki przepływów towarowych oraz lokalizację centrum logistycznego uwzględniającą przebieg głównych korytarzy transportowych

EN

The article presents an example simulation of the next steps in the localization process of the logistic center used to optimize the global logistics costs, which take into account the volume of trade flows, path length of the transported goods, the flow directions of goods and the location of logistics center which takes into account the course of the main transport corridors.

4

Komputerowe wspomaganie zarządzania eksploatacją systemów technicznych przy zastosowaniu symulacji cyfrowej. Cz. I.

63%

Kołodziński E.

Zagadnienia Eksploatacji Maszyn

|

2002

|

tom Vol. 37, nr 1

113-124

PL

W artykule przedstawiono istotę badania systemów metodą symulacyjną z zawężeniem do symulacji cyfrowej. Zdefiniowano podstawowe pojęcia używane w badaniach symulacyjnych: symulacja cyfrowa, algorytm symulacji procesu, model symulacyjny systemu, algorytm badania symulacyjnego. W literaturze przedmiotu występuje duża nieokreśloność znaczenia tych terminów. Dokonano odniesienia omawianej metody do badań na systemie rzeczywistym i metody analitycznej.

EN

The problem of computer support for technical system exploitation with the use of a digital simulation has been formulated in four parts of the paper. In the first part, the essence of the system testing with a simulation method has been shown. In order to eliminate the diversity of the meaning of the vocabulary used in the thematic area, basic notions, among other things, such as: a model, a mathematical model, a simulation model, a simulation algorithm, a simulation program a.s.o. have been defined. The simulation method of a system testing is being considered as a connection of an analytic model and experimental researches carried out on a real system. In the first phase, a mathematical model of a system performance is being worked out. The model is being suplemented with the functions of the observation of the processes which are reproduced during the tests. The mathematical model is formulated in the shape of a simulation algorithm for the system testing. The procedure connected with the evaluation of interesting us characteristics is similar to the experimental tests. The consistence of the characteristics depends, among other things, on the adequacy of the simulation model to the processes that take place in the tested system. In the second part of the paper the problem of a statistic evaluation of the simulation model adequacy has been formulated. The method of the design of the distance measure of the simulation model from the tested process and the procedure during the adequacy evaluation have been presented. The analysis of the statistical applicable method of the adequacy evaluation has been done. One of the most frequent purposes of the simulation tests is the determination of the characteristics of the system functioning. The aim of the characteristics determination with this method lies in the determination of a mathematical model of the regression of the first type. In the third part of the paper, the stages of the regrression determination as the system functioning characteristics using digital simulation have been described. The possibility of the statistic optimalisation on the ground determined in such way regression model has been signalled. In the fourth part of the paper, using the example of a sewerage & water supply system factory, the practical application of the digital simulation for computer support of the management of technical system exploitation has been described. Possible range of the computer support for the factory management has been proposed. The thematic groups of the management takes with the use of simulation have been shown. The method of the execution of the above mentioned tasks have been briefly characterised.