Wyniki wyszukiwania - BazTech

1

The study of the interdependencies of areas and aspects of smart city in Polish cities

Owczarek Tomasz, Sojda Adam, Wolny Maciej

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska

|

2022

|

z. 161

203--214

EN

Purpose: To determine the interdependencies between Smart City areas as well as the aspects and areas between resident-oriented IT areas of the city. Design / methodology / approach: The data for the study was collected during a survey of 287 cities for Smart City. The study of interdependence was based on a correlation analysis using: Pearson's correlation coefficient, Cramér's V coefficient, and Kendall's tau. In addition, a PCA analysis was used to reduce variable dimensions. Findings: The results of the research indicate that the scope of using services within e-office services is more strongly related to functionality than to IT equipment. In turn, the economic area plays a fundamental role in the perception of the city as a Smart City. There was also a clear difference in self-evaluation regarding Smart City areas and IT aspects of the city depending on the size of the city. However, this difference does not translate into declarations regarding the readiness for evaluation in Smart City categories. Originality/value: presentation of the relationship between the areas defining the concept of Smart City dependence on the basis of an original study addressed to city representatives. The results of the study allow us to look at the Smart City concept from the perspective of the city. The results of the analysis, in addition to scientists dealing with Smart City, may be of interest to city managers in Poland. They show the way of understanding and dependencies between individual areas. They also show those dependencies that need to be strengthened in the context of sustainable development.

2

Dependence analysis and extraction of coarse-grained parallelism for parameterized perfectly-nested loops

Bielecki W., Kraska K., Poliwoda M.

Przegląd Elektrotechniczny

|

2012

|

R. 88, nr 10b

231-234

EN

This paper expands an approach presented in [1] to extraction of coarse-grained parallelism available in parameterized uniform and quasi-uniform perfectly-nested loops. It introduces a dependence analysis that is characterized by a polynomial time complexity and enables computing dependence distance vectors when the Petit dependence analyser fails to produce dependences. It permits to examine the performance of the approach for all parameterized perfectly-nested loops from the NAS Parallel Benchmark Suite.

PL

W artykule przedstawiono rozwinięcie zaprezentowanego we wcześniejszej pracy [1] podejścia do ekstrakcji gruboziarnistej równoległości w jednorodnych oraz quasi-jednorodnych pętlach programowych idealnie zagnieżdżonych. Rozwinięcie uprzednich wyników zostało osiągnięte poprzez wprowadzenie analizy zależności o wielomianowej złożoności obliczeniowej jednocześnie umożliwiającej obliczenie wektorów zależności w tych przypadkach, w których uprzednio wykorzystany analizator zależności Petit sygnalizował brak możliwości analizy źródła. Stworzyło to ostatecznie warunki do oceny skuteczności działania proponowanego podejścia dla wszystkich sparametryzowanych pętli idealnie zagnieżdżonych zawartych w zestawie testowym NAS Parallel Benchmark Suite.

3

Reprezentacja przestrzeni iteracji pętli i opisu zależności w kompilatorze zrównoleglającym

Błaszyński P., Poliwoda M.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 8

957-959

PL

W artykule został przedstawiony proces optymalizacji kodu programów przeznaczonych do wykonania przez systemy osadzone lub wieloprocesorowe przy pomocy kompilatora optymalizującego. Głównym elementem, dla którego wykonywane są optymalizacje, są pętle, ponieważ to w nich wykonywane jest najwięcej instrukcji a ich optymalizacja ma wpływa na wykorzystanie dostępnych zasobów, co wpływa znacząco na ilość zużywanej przez układy energii. Zaprezentowana została również budowa kompilatora i istotne informacje przechowywane i wykorzystywane do analizy w trakcie kompilacji.

EN

A process of optimization of the program code to be performed by embedded or multiprocessor systems is very complex and time consuming. The code fragments whose optimization brings the greatest effects are loops because they process a large amount of data using the same instructions repeatedly. This makes the execu-tion time of a loop a significant part of the overall program execution time. The time of each iteration affects use of available resources (memory, cache, etc.), which also influences the amount of energy. The program code is subjected to numerous transformations carried out on the basis of analysis of the relationships. This analysis allows determining which pieces of the code can be executed independently of each other. The aim of this paper is to present conversion mechanisms implemented in a paralellizing compiler. These mechanisms are focused on the representation format and description of the loop dependencies. The analysis of dependences allows the submission of many transitions and provides a more optimized version of the code when taking into account such factors as the energy aware code or the execution time.

4

Automatyczna ekstrakcja zależności i transformacje pętli w języku C do przekształceń optymalizujących w systemach osadzonych

Błaszyński P., Poliwoda M.

Pomiary Automatyka Kontrola

|

2010

|

R. 56, nr 7

708-710

PL

W poniższym artykule zaprezentowano metody wyszukiwania pętli programowych i zależności między ich iteracjami. Analiza zależności pozwala na określenie, które fragmenty analizowanego kodu programu mogą zostać wykonane niezależnie. Przedstawiono analizę programów w ANSI C, ze wskazaniem możliwości wykorzystania wyników analizy do zmniejszenia użycia zasobów w systemach osadzonych. Zautomatyzowanie analizy pozwala określić klasy algorytmów i ich implementacje, które mogą być optymalizowane, oraz charakter tych optymalizacji.

EN

In the paper there are presented methods of searching for program loops and dependencies between iteration of these loops. Analysis of the dependencies allows determining which parts of the analysed code of the program must be executed sequentially, and which can be executed independently. There are given the results of the analysis of simple algorithms written in ANSI C language, indicating the possibility of using the analysis to reduce the use of resources in embedded systems. Automating the analysis process also allows specifying the types of algorithm classes and their implementation, which can be subjected to optimisation, as well as the nature of these optimisations. In the introduction there is discussed the range of topics dealt with in the paper. In the second paragraph the method for determining the dependencies between instructions is described. Fig. 2 shows the iteration space of the sample loop. The third paragraph presents the basic techniques of loop transformation, which are possible due to the dependency analysis between iterations. The above (and others obtained during the tests) results show the possibilities of allowing the code designer to improve devices and embedded systems. Transformation selection algorithms need different types of dependence description as an input data. The aim of the project described in the paper, which is devoted to the dependency analysis is to provide a variety of the dependency collection description.

5

A conversion of "while" and "do-while" loops to allow dependency analysis by existing tools

Poliwoda M., Błaszyński P.

Pomiary Automatyka Kontrola

|

2010

|

R. 56, nr 12

1501-1503

EN

In this paper there are presented methods for conversion of "while" and "do-while" loops to the form of "for" loops. The aim of this conversion is to allow dependence analysis by many existing tools. The dependence analysis allows determining which parts of the analyzed program code must be executed sequentially, and which can be executed independently. Such an analysis is used to reduce the use of resources in embedded systems. Automating the analysis also allows specifying types of classes of algorithms and their implementation which can be the subject of optimization. The nature of optimization can also be determined.

PL

Większość narzędzi analizujących zależności "LooPo", "Clan" i "Petit" posiada możliwość analizy pętli typu for, w których wykonuje się operacje na tablicach za pomocą operatorów indeksowania. W chwili obecnej pętle while są analizowane przez analizator "LooPo". Analizatory zależności "clan" i "petit" analizują jedynie pętle for. Zasadną więc jest koncepcja konwersji konstrukcji typu "while", "do-while" do postaci pętli "for", gdyż po wykonaniu konwersji możliwe staje się użycie dowolnego narzędzia do analizy zależności. Użycie różnych narzędzi do analizy zależności daje możliwość uzyskania wyników analizy w postaci odpowiedniej dla zaimplementowanych algorytmów zrównoleglających, co pozwala na uzyskanie większego zbioru propozycji zrównoleglenia kodu pętli. Wykonanie konwersji umożliwi również zastosowanie szeroko implementowanego popularnego standardu OpenMP w celu podziału przestrzeni iteracji między niezależne wątki. Docelowa postać pętli spełnia wymagania dotyczące pętli for przedstawione w specyfikacji OpenMP v3.0. Zastosowanie zgodności z tym standardem umożliwia analizę zależności w pętli przez większość analizatorów pętli w języku C i zapisanie zrównoleglonej postaci pętli zgodnie ze standardem. Algorytm opisany w tym artykule jest zrealizowany kompilatorze "Stepson", który jest aktualnie rozwijany. Informacje o skompilowanym programie są przechowywane w postaci drzewa. Opisany algorytm pozwala zwiększyć liczbę pętli, które można automatycznie analizować.

6

Analyse of relations between control, controlling and audit

Kotylak S.

Management

|

2010

|

Vol. 14, no 1

248-261

EN

Making the subject and methodological analysis of control and audit it is possible to observe that despite the best efforts of the opinion makers of this issue, there has been no clear division between control and audit so far. There are still a number of relations between them which become the reason for a mistaken and often even replacing comprehension what control and audit is. For this regard, it seems to be particularly significant for the understanding of a basic character of each of three forms, i.e. control, controlling and audit to present distinctive features which bind them towards themselves.

PL

Dokonując analizy pojęciowej oraz metodologicznej kontroli, audytu i controlingu można dostrzec, że po mimo usilnych starań opiniotwórców tej tematyki, dotychczas nie dokonano jasnego rozdzielenia kontroli od audytu i controlingu. Nadal występuje między nimi wiele powiązań, które są przyczyną mylnego, a często nawet zamiennego pojmowania, czym jest kontrola a czym jest audyt. Z tego też względu wydaje się szczególnie istotne dla zrozumienia podstawowego charakteru każdej z trzech form tzn. kontroli, controlingu i audytu przedstawienie charakterystycznych cech wyróżniających i wiążących je wzajemnie względem siebie.