Wyniki wyszukiwania - BazTech

1

A method involving constraint programming for generating integral graphs without ± 1 in the spectrum : a case study

Zwierzyński K., Meissner A., Niwińska M.

Studia z Automatyki i Informatyki

|

2010

|

T. 35

105-114

EN

We consider a method where the constraint programming over finite domains is used for describing relationships among some properties of graphs. The process of constraint solving results in the set of values, which act as input parameters for the graph generation algorithm. In this way, the space of possibly generated graphs is reduced. We present a case study of the application of this approach to the problem of finding all connected, integral, non-regular and bipartite graphs, with a maximum vertex degree four not containing ± 1 in the spectrum (i.e., SL4-graphs).

PL

W artykule rozważa się wariant metody konstruowania grafów poprzez generowanie a następnie przeszukiwanie klas grafów, do których należą rozpatrywane grafy. Proponuje się przy tym zastosowanie metodyki programowania z więzami (ang. constraint programming over finite domains) do opisywania zależności, jakie zachodzą między niektórymi właściwościami grafów. W ten sposób ogranicza się a zarazem precyzuje zbiór parametrów algorytmu generującego grafy. W konsekwencji, zostaje zredukowana przestrzeń, którą należy przeszukiwać. Praca zawiera analizę przykładu zastosowania tego ujęcia do skonstruowania wszystkich spójnych, nieregularnych, dwudzielnych grafów całkowitych o maksymalnym stopniu wierzchołków równym 4 niezawierających ± 1 w spektrum.

2

Ciepło emitowane przez nieizolowane piony grzewcze w budynku wielorodzinnym

Mueller W., Michnikowski P., Niwińska M.

Ciepłownictwo, Ogrzewnictwo, Wentylacja

|

2006

|

R. 37, nr 4

22-26

PL

Nowelizacja Prawa energetycznego wymusza doskonalenie systemów indywidualnego rozliczania kosztów ciepła, przez m.in. uwzględnienie odzyskiwania ciepła od pionów. Próba wykorzystania do tego celu wskazań podzielników, która w konsekwencji prowadzi do korekcji rozliczeń, stanowi przedmiot niniejszego artykułu. Autorzy przeprowadzili niezbędne analizy dla modelu uproszczonego, wskazujące na taką możliwość, a następnie poczynili odpowiednie założenia do systemu informatycznego symulującego odzyskiwanie ciepła od pionów do pomieszczeń. Wytworzona aplikacja stanowić będzie narzędzie dalszych badań służących do określenia możliwości wykorzystania wskazań podzielników do identyfikacji ciepła uzyskiwanego od pionów dla przypadków rzeczywistych instalacji grzewczych, gdzie mamy do czynienia z przewymiarowaniem grzejników i różnymi zachowaniami konsumentów ciepła.

EN

Amendments to the Energy Law have forced an improvement of accounting systems dealing with individual heat expenses. The improvement takes into account, among others, heat recovery from Vertical Bare Heating Installations. The paper presents a possibility of solving the problem by using indications of heat dividers for respective correction of the heat accounts. The authors have carried out indispensable analyses of a simplified model to demonstrate such a possibility. Respective assumptions have also been made for a computer system to stimulate heat recovery. The application achieved will be a tool for further research, determining application possibilities, concerning the indications of the heat dividers used for identification of heat recovery. It will be useful in the case of real heating installations where some heater over-dimensioning or various behaviour of a user may also be expected.

3

Ulepszony algorytm poszukiwania grafów o całkowitym spektrum w wielkich zbiorach grafów

Niwińska M.

Studia z Automatyki i Informatyki

|

2005

|

T. 30

95--100

PL

Graf jest nazywany całkowitym, jeżeli wszystkie wartości własne należące do spektrum jego macierzy przyległości są liczbami całkowitymi. Rozważa się problem wyszukiwania spójnych grafów całkowitych w wielkich zbiorach grafów o danej liczbie wierzchołków i krawędzi. Proponuje się algorytm cgen1(n, k) generowania grafów o n wierzchołkach i o k krawędziach oraz dwustopniowego sprawdzania, czy dany graf jest całkowity. Ocenia się jego przydatność do znalezienia wszystkich spójnych grafów całkowitych na 13 wierzchołkach.

EN

A graph is called integral if the spectrum of its adjacency matrix consists of integers. A problem of finding all connected integral graphs in huge sets of graphs of order n and size k is considered. An improved algorithm cgen1(n, k) for generating these graphs is proposed. Its usefulness for finding all connected integral graphs on 13 vertices is tested.