Wyniki wyszukiwania - BazTech

1

Coxeter Invariants for Non-negative Unit Forms of Dynkin Type A

Jiménez González Jesús Arturo

Fundamenta Informaticae

|

2022

|

Vol. 185, nr 3

221--246

EN

Two integral quadratic unit forms are called strongly Gram congruent if their upper triangular Gram matrices are ℤ-congruent. The paper gives a combinatorial strong Gram invariant for those unit forms that are non-negative of Dynkin type r (for r ≥ 1), within the framework introduced in [Fundamenta Informaticae 184(1):49–82, 2021], and uses it to determine all corresponding Coxeter polynomials and (reduced) Coxeter numbers.

2

Structural and functional simulation of interaction in the field of aviation safety by using matrices

Drobakha Hr., Neklonskyi I., Kateshchenok A., Sobyna V., Taraduda D., Borysova L., Lysachenko I.

Archives of Materials Science and Engineering

|

2019

|

Vol. 95, nr 2

67--76

EN

Purpose: The conducted research was aimed at constructing a structural and functional model for the interaction of bodies providing aviation safety during crisis management. Design/methodology/approach: The methods of mathematical simulation and the graph theory, the methods comparison and formalization have been applied to study the process of interaction between the bodies assuring aviation safety. Using methods of the linear algebra allowed constructing a mathematical model for the functional structure of the interaction process that contains description of this process by the main methods of interaction. Findings: It has been proved that the interaction process has a certain functional properties that reflect the functional relations between the modes of violator actions, the modes of using the response forces and the modes of interaction. A structural and functional model of interaction in semantic, algebraic forms and in the form of graphs has been created. using typical operations with incidence matrices, the possibility of obtaining the physical interpretation of the simulation results within the introduced algebra of functional structure models has been justified. Research limitations/implications: Discusses interactions between the bodies that assure aviation safety and at the same time, the possibility of a crisis situation is taken into account. Practical implications: The developed models allow reflecting the current state of the functional system and the elements of the process of interaction rather completely. It makes a structural and functional analysis of interaction possible and allows defining the priority directions of its organization, simulating the options and methods of interaction in solving relevant tasks by the bodies that assure aviation safety. Originality/value: That allowed not only describing the formal relations between the methods of interaction and interacting units, between the interacting units and the modes of violator actions, but also considering the influence of the interaction process on the current state of the functional system.

3

Podstawy analizy rozmytej interpretowanej sieci Petriego

Gniewek L.

Metody Informatyki Stosowanej

|

2010

|

nr 3 (23)

87-96

PL

W pracy opisano formalne podstawy rozmytej interpretowanej sieci Petriego oraz na prostym przykładzie pokazano różnice pomiędzy tą siecią, a klasycznymi sieciami Petriego. Omówiono algebraiczną reprezentację rozmytej interpretowanej sieci Petriego oraz zdefiniowano jej graf pokrycia. W ten sposób przygotowano podstawy do przeprowadzenia badań nad własnościmi tych sieci. Dalsze prace będą zmierzały do stworzenia oprogramowania, które będzie weryfikować poprawność diagramu tej sieci, generować graf osiągalności i macierz incydencji oraz umożliwi symulację jej działania.

EN

The Petri nets enable not only designing of algorithms in which parallel processes are appearing, but also formal analysis of their properties. It is playing a significant role at the permanently increasing complexity of algorithms and the growth of the requirements concerning their functionality. In this paper the algebraic representation and the coverability graph of the fuzzy interpreted Petri net are defined. It can be used for the verification of the correctness of the discussed net. Moreover formal bases of the fuzzy interpreted Petri net are described. The differences between this net and classical nets are shown at the simple example.

4

Modelowanie matematyczne l numeryczne pracy niepełnofazowej systemu testowego w cyklu jednokrotnego JSPZ w linii 110 Kv

Jagiełło A. S., Zając W.

Jakość i Użytkowanie Energii Elektrycznej

|

2004

|

T. 10, z. 1/2

77-83

PL

Metodyka zaprezentowana w pracy umożliwia obliczanie numeryczne stanów nieustalonych dla maszyn synchronicznych, indukcyjnych, transformatorów elektroenergetycznych, odbiorników kompleksowych, przekształtników energoelektronicznych i innych urządzeń połączonych w sieć elektroenergetyczną. Możliwa jest zmiana konfiguracji połączeń elementów sieci. Przedstawiono wyniki obliczeń numerycznych dla systemu testowego, w którym wystąpiła chwilowa przerwa w zasilaniu w jednej z faz (JSPZ).

EN

Presented methodology gives possibility of numerical calculation transient state of synchronous motors, induction motors, power transformers, loads, devices with thyristor valves and others loads in power system. It's possible to change configuration of connection in power system. Results of numerical calculation are presented for power system. Distribution in power supply in one phase is cause of transient state in power system.