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ę "automatic programming" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Automatic Programming System with Access in The Natural Language
    Autorzy:
    Kazimierczak, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/92901.pdf
    Data publikacji:
    2005
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    artificial intelligence
    automatic programming
    knowledge representation
    Opis:
    In this paper, acquisition of knowledge from user's programs written in Pascal to the knowledge base of the computer is introduced. It is shown that system with such a kind of knowledge can be used as the automatic programming system. First, representation of knowledge acquired by the computer from different programs is characterized. Then searching for pieces of knowledge in the knowledge base needed for synthesis of a program specified in user requirement is described. Finally, the construction of a new program from the found pieces of knowledge is shown.
    Źródło:
    Studia Informatica : systems and information technology; 2005, 2(6); 35-47
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Comparative evaluation of performance-boosting tools for Python
    Autorzy:
    Swacha, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/106222.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    Python programming language
    Just-in-Time compilers
    automatic translator
    booster
    Opis:
    The Python programming language has a number of advantages, such as simple and clear syntax, concise and readable code, and open source implementation with a lot of extensions available, that makes it a great tool for teaching programming to students. Unfortunately, Python, as a very high level interpreted programming language, is relatively slow, which becomes a nuisance when executing computationally intensive programs. There is, however, a number of tools aimed at speeding-up execution of programs written in Python, such as Just-in-Time compilers and automatic translators to statically compiled programming languages. In this paper a comparative evaluation of such tools is done with a focus on the attained performance boost.
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2011, 11, 1; 33-41
    1732-1360
    2083-3628
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optymalizacja programowania wszczepialnych kardiowerterówdefibrylatorów dla zmniejszenia liczby wyładowań
    Implantable cardioverter-defibrillators programming optimization to reduce the number of shocks
    Autorzy:
    Szafraniec, Zbigniew
    Wranicz, Jerzy Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/1032589.pdf
    Data publikacji:
    2010
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    nagły zgon sercowy
    automatyczny kardiowerter-defibrylator
    optymalizacja
    programowanie
    sudden cardiac death
    automatic cardioverter-defibrillator
    optimization
    programming
    Opis:
    The invention of implantable cardioverter-defibrillators (ICDs) marked out a new era in the management of sudden cardiac death. In some cases, like Brugada syndrome or long QT syndrome, ICD is the only effective treatment of serious paroxysmal ventricular tachycardias or ventricular fibrillation. Unfortunately every treatment comes at a price of possible complications, and ICDs are not an exception, inappropriate shocks and their influence on life quality or even life duration, to name just few. Contemporary devices offer plenty programmable functions which, when suitably used, may minimize the risk of the issues mentioned above. Below we discuss some of the recently popular ICD optimization algorithms, that could reduce pernicious adverse effects of this crucial therapy.
    Wynalezienie wszczepialnych kardiowerterów-defibrylatorów (ang. Implantable Cardioverter-Defibrillators – ICD) wyznacza nową epokę w dziejach zapobiegania nagłemu zgonowi sercowemu. W pewnych sytuacjach klinicznych, takich jak np. zespół Brugadów czy wrodzony zespół wydłuŜonego QT, wszczepienie ICD jest jedynym skutecznym sposobem zabezpieczenia chorych przed groźnymi dla Ŝycia napadowymi częstoskurczami komorowymi oraz migotaniem komór. Niestety kaŜda terapia niesie ze sobą potencjalne zagroŜenia, którymi w przypadku ICD jest problem obciąŜenia pacjentów nieadekwatnymi wyładowaniami oraz wpływ tych wyładowań na jakość Ŝycia, a nawet jego długość. Dostępne współcześnie ICD oferują wiele parametrów programowalnych, które odpowiednio ustawione mogą zminimalizować wspomniane zagroŜenia. W artykule omówiono zagadnienie optymalizacji programowania ICD w celu zmniejszenia liczby wyładowań.
    Źródło:
    Folia Medica Lodziensia; 2010, 37, 2; 243-258
    0071-6731
    Pojawia się w:
    Folia Medica Lodziensia
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Object library of algorithms for dynamic optimization problems; Benchmarking SQP and nonlinear interior point methods
    Autorzy:
    Błaszczyk, J.
    Karbowski, A.
    Malinowski, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/929795.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    optymalizacja dynamiczna
    programowanie kwadratowe sekwencyjne
    różniczkowanie automatyczne
    obliczenia numeryczne
    analiza danych
    dynamic optimization
    large-scale optimization
    sequential quadratic programming
    nonlinear interior-point methods
    object-oriented numerical computations
    automatic differentiation
    performance data analysis
    Opis:
    The main purpose of this paper is to describe the design, implementation and possibilities of our object-oriented library of algorithms for dynamic optimization problems. We briefly present library classes for the formulation and manipulation of dynamic optimization problems, and give a general survey of solver classes for unconstrained and constrained optimization. We also demonstrate methods of derivative evaluation that we used, in particular automatic differentiation. Further, we briefly formulate and characterize the class of problems solved by our optimization classes. The solution of dynamic optimization problems with general constraints is performed by transformation into structured large-scale nonlinear programming problems and applying methods for nonlinear optimization. Two main algorithms of solvers for constrained dynamic optimization are presented in detail: the sequential quadratic programming (SQP) exploring the multistage structure of the dynamic optimization problem during the solution of a sequence of quadratic subproblems, and the nonlinear interior-point method implemented in a general-purpose large-scale optimizer IPOPT. At the end, we include a typical numerical example of the application of the constrained solvers to a large-scale discrete-time optimal control problem and we use the performance profiles methodology to compare the efficiency and robustness of different solvers or different options of the same solver. In conclusions, we summarize our experience gathered during the library development.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2007, 17, 4; 515-537
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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