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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 33
Tytuł:
Programowanie rozwoju w standardach Unii Europejskiej
Development Programming within the European Union’s Standards
Autorzy:
Bartoszewicz, Artur
Powiązania:
https://bibliotekanauki.pl/articles/500498.pdf
Data publikacji:
2013-06-01
Wydawca:
Szkoła Główna Handlowa w Warszawie
Tematy:
programowanie
NUTS
systemy programowania
polityka strukturalna
polityka spójności
programming
programming systems
structural policy
cohesion policy
Opis:
Unia Europejska aktywnie zastosowała szereg narzędzi planistycznych i programowych w kształtowaniu procesów rozwoju, szczególnie w ramach implementacji polityki strukturalnej. Wdrożono skoordynowany w całej organizacji jednolity system wymagań stawiany wobec państw członkowskich, dając większą swobodę w kształtowaniu rozwiązań na poziomie kraju. Powstałe (ujęte nowelizowanym pod każdą wieloletnią perspektywę prawem wspólnotowym) rozwiązania spowodowały, że plany i programy były wdrażane zgodnie z przyjętymi w nich horyzontami czasowymi i szerokością zaplanowanej nimi interwencji, przyczyniając się tym samym do realnego kształtowania polityki rozwoju w wymiarze UE, a przez to również na poziomie poszczególnych krajów-beneficjentów polityki strukturalnej UE. Przedstawiona analiza obejmuje zarówno przygotowanie się Polski do członkostwa w latach 90-tych do roku 2004, pierwszy okres programowania obejmujący lata 2004-06, prace przygotowawcze i wdrożenie kolejnej perspektywy finansowej Wspólnoty na lata 2007-13, jak i wstępne propozycje wobec programowania UE po roku 2013.
The European Union has effectively applied numerous planning and programming tools in shaping development processes, notably within structural policy implementation. In the whole organization a homogenous system of requirements concerning member states has been launched. Yet, much more freedom has been allowed in developing solutions on a country’s level. The development solutions (stipulated in the amended for each multi-year perspective legislation) have resulted in the fact that both plans and programmes have been launched in line with assumed time horizons and the scope of the intervention planned. This contributed to the real shape of development policy within the EU as well as in its member states – beneficiaries to the Union’s structural policy. The presented analysis discusses both Poland’s preparations to the EU membership in 1990’s to the year 2004, the first stage of programming within 2004-06, preparatory work and the launch of the Union’s financial perspective within 2007-2013 as well as initial concepts of the EU programming ahead of the year 2013.
Źródło:
Prace i Materiały Instytutu Rozwoju Gospodarczego SGH; 2013, 92: Polityka gospodarcza w poszukiwaniu nowego paradygmatu; 167-211
0866-9503
Pojawia się w:
Prace i Materiały Instytutu Rozwoju Gospodarczego SGH
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rescaled multilevel least-change almost secant methods
Autorzy:
Grzegorski, S. M.
Powiązania:
https://bibliotekanauki.pl/articles/748509.pdf
Data publikacji:
1991
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Systems of equations
Nonlinear programming
Opis:
.
In this article the theory of local convergence is developed. One of the extensions consists in that the approximations to the Jacobian matrix have the same properties as the same matrix has in the solution. The example shows that this assumption may lead to simpler algorithms. The paper discusses several rescaled multilevel least-change updates for which local g-superlinear convergence is proved. The theory may be applied to a wider class of methods because every secant algorithm may be treated as a rescaled least-change method.
Źródło:
Mathematica Applicanda; 1991, 19, 33
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A simple and cost-effective method to construct reliable real-time programs
Autorzy:
Elzer, P. F.
Gollub, M.
Trenkel, S.
Powiązania:
https://bibliotekanauki.pl/articles/384543.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
real-time systems
real-time programming
structured programming
reliability
graphical representation
Opis:
This paper presents a proposal for structuring real-time programs in a way that improves their reliability. Basically, it consists of five constructs that have been designed after the model of classical "structured programming", together with a generalized way of dealing with resources. After some considerations about reliability these constructs are presented and explained. Then, a test implementation for two different programming languages and operating systems is briefly described. Finally, some pieces of code give an impression of the character of the method.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2010, 4, 1; 28-42
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interaction Independent Quantum Probing
Autorzy:
Sarbicki, G.
Tukiainen, M.
Lyyra, H.
Maniscalco, S.
Powiązania:
https://bibliotekanauki.pl/articles/1032397.pdf
Data publikacji:
2017-07
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
quantum entropies
quantum programming
open quantum systems
Opis:
For an open quantum system we assume that we are able to set the system's environment temperature. We fix the time interval and let the system (further referred as the probing system) to evolve during this time in two different temperatures. We make a process tomography of the resulting dynamics (quantum channels ε₁,ε₂ related to the temperatures T₁ and T₂ respectively). We calculate then the values of α-fidelities for the pair of channels. We derive an inequality between the experimental data and the partition function of environment (hence the spectrum of the environment). If the inequality is not satisfied, it implies that our assumption about the spectrum of the environment is wrong. Notice that there is no dependence on the interaction terms neither on the Hamiltonian of the probing system. We show the power of this method in the following example. Consider a two-level atom passing the one-mode vacuum. We do not know the Hamiltonian of the atom (the probing system) neither the interaction mechanism. We would like to determine the frequency of the vacuum. We will show that wide range of frequencies are forbidden by the inequality.
Źródło:
Acta Physica Polonica A; 2017, 132, 1; 103-105
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementation and Analysis of Elliptic Curves-Based Cryptographic Algorithms in the Integrated Programming Environment
Autorzy:
Lukaszewski, R.
Sobieszek, M.
Bilski, P.
Powiązania:
https://bibliotekanauki.pl/articles/963936.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
cryptography
distributed measurement systems
integrated programming environments
Opis:
The paper presents the implementation of the Elliptic Curves Cryptography (ECC) algorithms to ensure security in the distributed measurement system. The algorithms were deployed in the LabWindows/CVI environment and are a part of its cryptographic library. Their functionality is identical with the OpenSSL package. The effectiveness of implemented algorithms is presented with the comparison of the ECDSA against the DSA systems. The paper is concluded with future prospects of the implemented library.
Źródło:
International Journal of Electronics and Telecommunications; 2011, 57, 3; 257-262
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Scaling evolutionary programming with the use of apache spark
Autorzy:
Funika, W.
Koperek, P.
Powiązania:
https://bibliotekanauki.pl/articles/952932.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
distributed systems
evolutionary programming
symbolic regression
scaling
Apache Spark
Opis:
Organizations across the globe gather more and more data, encouraged by easy-to-use and cheap cloud storage services. Large datasets require new approaches to analysis and processing, which include methods based on machine learning. In particular, symbolic regression can provide many useful insights. Unfortunately, due to high resource requirements, use of this method for large-scale dataset analysis might be unfeasible. In this paper, we analyze a bottleneck in the open-source implementation of this method we call hubert. We identify that the evaluation of individuals is the most costly operation. As a solution to this problem, we propose a new evaluation service based on the Apache Spark framework, which attempts to speed up computations by executing them in a distributed manner on a cluster of machines. We analyze the performance of the service by comparing the evaluation execution time of a number of samples with the use of both implementations. Finally, we draw conclusions and outline plans for further research.
Źródło:
Computer Science; 2016, 17 (1); 69-82
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An optimum scheduling method for multi-option product flows through production lineswithout intermediate buffers
Autorzy:
Magiera, Marek
Powiązania:
https://bibliotekanauki.pl/articles/406718.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Flexible Manufacturing Systems
integer programming
linear programming
no-wait scheduling
hybrid flow shop
makespan
decision making
Opis:
The presented method is constructed for optimum scheduling in production lines with parallel machines and without intermediate buffers. The production system simultaneously performs operations on various types of products. Multi-option products were taken into account – products of a given type may differ in terms of details. This allows providing for individual requirements of the customers. The one-level approach to scheduling for multioption products is presented. The integer programming is used in the method – optimum solutions are determined: the shortest schedules for multi-option products. Due to the lack of the intermediate buffers, two possibilities are taken into account: no-wait scheduling, possibility of the machines being blocked by products awaiting further operations. These two types of organizing the flow through the production line were compared using computational experiments, the results of which are presented in the paper.
Źródło:
Management and Production Engineering Review; 2020, 11, 1; 86-94
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
Autorzy:
Szcześniak, Adam
Szcześniak, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/2200691.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
synthesis and verification of sequential systems
ladder diagram
PLC programming
Opis:
The article presents developed method and general principles of creating ladder diagrams, which are commonly used for systems with programmable logic controllers (PLC). Ladder diagrams are created for sequential control systems of technological processes, which are described by a connection pattern, time diagrams of the executive elements` operation. The executive elements are double-acting pneumatic or hydraulic actuators controlled by bistable electrovalves. A method of designing sequential systems enabling the creation of a ladder electro-pneumatic system is presented. The ladder diagram consists of two parts. One is responsible for controlling the valve coils, the other for the implementation of the memory block. The signals that control the transition to the next state are the signals described on the boundaries of the graph division. The synthesis of control systems and their verification was carried out using the computer aided program FluidSim by Festo.
Źródło:
International Journal of Electronics and Telecommunications; 2022, 68, 4; 709--714
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimal control problem for Roesser systems
Autorzy:
Biły, Barbara
Powiązania:
https://bibliotekanauki.pl/articles/747892.pdf
Data publikacji:
1990
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Methods of nonlinear programming type
Computational methods
Discrete-time systems
Opis:
.
The quadratic performance index in a fixed rectangle for the Roesser model of two-dimensional, linear, stationary, discrete systems is considered. Using a method of transformation for the System and the performance index, the problem of finding the optimal sequence of control vectors is solved by a method of mathematical programming. The simple numerical example illustrates the presented method.
Źródło:
Mathematica Applicanda; 1990, 18, 32
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Obserwatory stanu i programowanie genetyczne w identyfikacji i diagnostyce systemów przemysłowych
Observers and genetic programming in identification and fault diagnosis of industrial systems
Autorzy:
Korbicz, J.
Witczak, M.
Obuchowicz, A.
Powiązania:
https://bibliotekanauki.pl/articles/157517.pdf
Data publikacji:
2003
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
obserwatory stanu
programowanie genetyczne
identyfikacja systemów
systemy przemysłowe
diagnostyka systemów przemysłowych
observers programming
genetic programming
identification of industrial systems
fault diagnosis of industrial systems
Opis:
Tematem pracy jest problem projektowania układu detekcji uszkodzeń dla pewnej klasy systemów nieliniowych. Jednym z zadań jest zaprezentowanie wykorzystania programowania genetycznego do wyznaczania modeli systemów nieliniowych w przestrzeni stanów. Innym zadaniem jest zastosowanie zmodyfikowanej wersji, obserwatora o nieznanym wejściu do zaprojektowania deterministycznego obserwatora dla potrzeb generacji residuum. W końcowej części pracy przedstawione jest zastosowanie proponowanego rozwiązania do detekcji uszkodzeń zaworu stanowiącego jeden z elementów pierwszego stopnia stacji wyparnej cukrowni Lublin S.A.
This paper is focused on the problem of designing a fault diagnosis scheme for a class of non-linear systems. The one objective is to show how to employ a genetic programming technique to obtain state-space models of non-linear systems. Another objective is to employ a modified version of the unknown input observer to from a non-linear deterministic observer for the purpose of residual generation. The final part of the paper shows how to use the proposed approach to tackle fault detection concerning the valve actuator of the first stage of the evaporation station at the sugar factory Lublin S.A.
Źródło:
Pomiary Automatyka Kontrola; 2003, R. 49, nr 2/3, 2/3; 59-64
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design of intelligent decision support systems using ontological approach
Autorzy:
Lytvyn, V.
Powiązania:
https://bibliotekanauki.pl/articles/410785.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:
intelligent decision support systems
adaptive ontology
intelligent agents
precedents
dynamic programming
Opis:
Methods of developing and functioning of intelligent decision support systems based on precedents applying adaptive ontology that are part of intelligent agents are analyzed. Method of distance defi nition between precedens and current situation based on adaptive ontology is developed. Using mathematical tools of the dynamic programming for modelling of intelligent system functioning is considered. Simplifying the task model is proposed to weigh signs of ontology concepts. Examples of such problems for six processes concerning metal structures protection and maximizing their lifetime are presented.
Źródło:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2013, 2, 1; 31-37
2084-5715
Pojawia się w:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallel Dynamic Programming Algorithms : Multitransputer Systems
Autorzy:
Sadecki, J.
Powiązania:
https://bibliotekanauki.pl/articles/907983.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
automatyka
dynamic programming
parallel computations
transputers
multitransputer systems
parallel optimization algorithms
Opis:
The present paper discusses real parallel computations. On the basis of a selected group of dynamic programming algorithms, a number of factors affecting the efficiency of parallel computations such as, e.g., the way of distributing tasks, the interconnection structure between particular elements of the parallel system or the way of organizing of interprocessor communication are analyzed. Computations were implemented in the parallel multitransputer SUPER NODE 1000 system using from 5 to 50 transputers.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 241-255
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Programowanie obiektowe w symulacji układów elektromechanicznych i estymacji parametrów
Object oriented programming in simulation of electromechanical systems and parameter estimation
Autorzy:
Macek-Kamińska, K.
Kamiński, M.
Korbaś, G. P.
Powiązania:
https://bibliotekanauki.pl/articles/157287.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
układy elektromechaniczne
modelowanie
języki programowania
programowanie obiektowe
electromechanical systems
modeling
programming languages
Opis:
W artykule zaprezentowano doświadczenia autorów w modelowaniu układów elektromechanicznych. Do przeprowadzania tych prac zostały opracowane autorskie aplikacje. Dzięki odpowiedniemu projektowi w oparciu o wykorzystanie techniki programowania obiektowego udało się w łatwy sposób przystosowywać ją do różnych wariantów obliczeń. Na jej bazie zbudowano specjalizowane narzędzia do obliczeń symulacyjnych napędów grupowych i do estymacji parametrów modelu matematycznego badanego obiektu. Pokazano też opis dedykowanego systemu do estymacji parametrów wraz z jego sieciowym rozszerzeniem.
The paper presents the authors' experiences in modeling electromechanical systems. To carry out this work the original applications were developed. The project of application, based on object-oriented programming techniques, has allowed in an easy way adapting it to different variants of calculations and building on its basis the extended, specialized tools for numerical simulations of the group of drives and estimation of the object mathematical model parameters. The authors suggest that the choice of simulation software should satisfy the basic criterion - it should comply with standards. Not all tools used currently meet this criterion. With this approach it will be easy to prevent a situation where the new version of the tool will not work with source files developed in the previous versions. The second recommendation is separation of the code responsible for calculating from the code responsible for user's interaction, so that you can modify the application interface (as shown in Fig. 1). The paper presents also description of a dedicated system for parameter estimation and its network extension. The network version of this application can perform calculations in a flexible way by making use of any number of available computers.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 297-300
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimal boundary control problems of retarded parabolic systems
Autorzy:
Kowalewski, A.
Krakowiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/229191.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
boundary control
parabolic systems
time delays
linear quadratic problem
quadratic programming method
Opis:
Optimal boundary control problems of retarded parabolic systems are presented. Necessary and sufficient conditions of optimality are derived for the Neumann problem. A simple example of application is also presented.
Źródło:
Archives of Control Sciences; 2013, 23, 3; 261-279
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A safe programmable electronic system
Autorzy:
Halang, W.
Śnieżek, M.
Powiązania:
https://bibliotekanauki.pl/articles/200676.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
programmable electronic systems
safety
fail-safe comparison
function block programming
software verification
Opis:
A dual-channel computer architecture for utilisation in programmable logic controllers is presented. Faults can be detected by novel high-speed comparators with fail-safe operation. The cyclic operating mode of PLCs and a specification-level, graphical programming paradigm based on the interconnection of application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz., diverse back translation.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 3; 423-434
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 33

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