Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "dependencies" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Reprezentacja przestrzeni iteracji pętli i opisu zależności w kompilatorze zrównoleglającym
    Representation of iteration domain and description of dependencies in a parallelizing compiler
    Autorzy:
    Błaszyński, P.
    Poliwoda, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/155248.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    kompilator
    systemy osadzone
    analiza zależności
    compiler
    embedded system
    dependency analysis
    Opis:
    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.
    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.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 957-959
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Określenie efektowności współczynnika przewodnictwa cieplnego nanopłynów a pomocą wzorów analitycznych
    Determination of the thermal conductivity coefficient of nanofluids using analytical dependencies
    Autorzy:
    Stanek, M.
    Drzazga, M.
    Thullie, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/2071731.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    współczynnik przejmowania ciepła
    metody obliczeniowe
    nanopłyny
    thermal conductivity coefficient
    calculation methods
    nanofluids
    Opis:
    W pracy dokonano przeglądu literaturowego istniejących formuł analitycznych dla określenia przewodnictwa cieplnego nanopłynów. Stwierdzono, że pomimo znacznego wysiłku nie udało się uzyskać wzorów ogólnych o zadowalającej dokładności. Uzyskano natomiast szereg wzorów godnych zalecenia dla konkretnych przypadków szczególnych. Słowa kluczowe: współczynnik przewodzenia ciepła, metody obliczeniowe, nanopłyny
    The paper presents literature survey on analytical prediction of effective thermal conductivity of nanofluids. It was found that regardless big efforts a general formula of sufficient accuracy was not obtained. However, a number of trusted in specific cases equations were obtained.
    Źródło:
    Inżynieria i Aparatura Chemiczna; 2010, 6; 24-27
    0368-0827
    Pojawia się w:
    Inżynieria i Aparatura Chemiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Układ pomiarowy do badania zależności dynamiki mieszania płynnego metalu od pola magnetycznego
    Measurement system for studying dependencies between magnetic field and liquid metal mixing dynamics
    Autorzy:
    Konopka, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/157837.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    mieszanie elektromagnetyczne
    ruch płynnego metalu
    odlewanie ciągłe
    electromagnetic stirring
    liquid metal motion
    continuous casting
    Opis:
    Referat przedstawia koncepcję oraz prototyp układu do eksperymentalnego wyznaczenia wielkości charakteryzujących ruch płynnego metalu wywołany mieszaniem elektromagnetycznym w procesie odlewania ciągłego aluminium. Mieszanie metalu w trakcie krystalizacji ma istotny pozytywny wpływ na strukturę odlewu. Badania mają na celu uzyskanie zależności eksperymentalnych, które umożliwią weryfikację wyników uzyskanych w wyniku modelowania procesu odlewania.
    The paper presents a concept and a prototype experimental system for determination of the velocity of liquid metal caused by electromagnetic stirring in continuous casting process of aluminum. Stirring during the crystallization of a metal has a significant positive impact on the structure of the casting. The concept is based on the observation that the vertical magnetic field results in a conical uplift of a liquid metal. The height of the cone depends on the velocity at which the metal is stirred by a magnetic field. The paper presents the design of a measuring system for determining the height of the liquid metal cone. It also presents a prototype built and the results obtained. The prototype was constructed to verify the proposed concept and to perform practical tests showing if the results could be useful. The purpose of the research is to obtain experimental dependencies that enable the verification of the results obtained in the modeling of the casting process.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 2, 2; 87-89
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algorytm wyznaczania zmiennych współczynników pseudolepkości olejów na bazie eksperymentu
    Algorythm for variable pseudoviscosity coefficients under an experimental basis
    Autorzy:
    Wierzcholski, K.
    Miszczak, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/188532.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    związki fizyczne
    zmienne współczynniki pseudolepkości
    wpływ prędkości deformacji
    oleje smarujące
    physical dependencies
    changes of pseudo-viscosity coefficients
    share rate influences
    lubrication oils
    Opis:
    Obserwuje się coraz większy udział stosowania olejów częściowo i całkowicie syntetycznych w procesie smarowania węzłów tarcia ślizgowego. Oleje te charakteryzują się nienewtonowskimi właściwościami. Nienewtonowskimi olejami nazywa się takie ciecze, w których oprócz klasycznych zależności lepkości oleju od ciśnienia i temperatury występuje dodatkowo zależność lepkości od prędkości deformacji. Większość czynników smarujących ulepszanych chemicznie ma właściwości nienewtonowskie. Podobnie ciecze zanieczyszczone, np. substancjami organicznymi, kurzem ulicznym, sadzą lub też produktami zużycia i spalania w silniku spalinowym wykazują właściwości nienewtonowskie. Wymienione zanieczyszczenia i dodatki mogą powodować wzrost lub spadek lepkości czynnika smarującego w stosunku do bazowej cieczy smarującej. W niniejszej pracy przedstawiona została metoda analityczna wyznaczania zmiennych wartości funkcyjnych współczynników pseudolepkości na podstawie wyników eksperymentalnych dla olejów stosowanych w praktyce inżynierskiej.
    Constitutive equations between stresses and deformations for oils with pseudo-viscosity properties are usually described by the Rivlin-Ericksen relations. In these relations two pseudo-viscosity coefficients occur. Up to now, in numerous scientific papers concerning the journal bearing lubrication with visco-elastic oils, the mentioned pseudo-viscosity coefficients have been treated as constant values. By virtue of performed measurements, it is evident that experimental curves describing visco-elastic oil dynamic viscosity versus shear rate had shapes that cannot be obtained for the constant pseudo-viscosity coefficients. In this case, only possible are the unknown dependences between oil dynamic viscosity and share rate. This paper shows the algorithm derivation for variable pseudo-viscosity coefficients as a function of shear rate using pseudo-viscosity oils and taking into account the experimental data obtained from viscosity measurements.
    Źródło:
    Tribologia; 2013, 4; 125-136
    0208-7774
    Pojawia się w:
    Tribologia
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatyczna ekstrakcja zależności i transformacje pętli w języku C do przekształceń optymalizujących w systemach osadzonych
    Automatic extraction of dependencies and loop transformations in C language for optimising transformations in embedded systems
    Autorzy:
    Błaszyński, P.
    Poliwoda, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/154621.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    kompilator
    systemy osadzone
    analiza zależności
    compiler
    embedded systems
    dependency analysis
    Opis:
    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.
    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.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 708-710
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies