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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 196
Tytuł:
Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions
Autorzy:
Hnatkowska, B.
Huzar, Z.
Powiązania:
https://bibliotekanauki.pl/articles/908339.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
programowanie
statecharts
UML
LOTOS
Opis:
The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2001, 11, 2; 537-556
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Menu Planning with a Dynamic Goal Programming Approach
Autorzy:
Jridi, Ichraf
Jerbi, Badreddine
Kamoun, Hichem
Powiązania:
https://bibliotekanauki.pl/articles/578574.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Programowanie dynamiczne
Standard
Dynamic Programming
Opis:
Dynamic Goal Programming (DGP) represents an extension of Goal Programming (GP). It is characterized by the importance of time factor in relation to its variables. As a complex decision making problem, Menu Planning Problem (MPP) requires the development of methodologies which are able to combine different and conflicting goals incorporating the dynamic characteristics. The article reviews some of the studies and approaches used in MPP. It deals with the Standard GP model of MPP. It provides a DGP formulation for solving the MPP. An MPP for the hemodialysis (HD) patient is an application that best exemplifies the proposed dynamic formulation.
Źródło:
Multiple Criteria Decision Making; 2018, 13; 74-87
2084-1531
Pojawia się w:
Multiple Criteria Decision Making
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A linear programming methodology for approximate dynamic programming
Autorzy:
Díaz, Henry
Sala, Antonio
Armesto, Leopoldo
Powiązania:
https://bibliotekanauki.pl/articles/330082.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
linear programming
approximate dynamic programming
control applications
neural network
programowanie liniowe
programowanie dynamiczne
sieć neuronowa
Opis:
The linear programming (LP) approach to solve the Bellman equation in dynamic programming is a well-known option for finite state and input spaces to obtain an exact solution. However, with function approximation or continuous state spaces, refinements are necessary. This paper presents a methodology to make approximate dynamic programming via LP work in practical control applications with continuous state and input spaces. There are some guidelines on data and regressor choices needed to obtain meaningful and well-conditioned value function estimates. The work discusses the introduction of terminal ingredients and computation of lower and upper bounds of the value function. An experimental inverted-pendulum application will be used to illustrate the proposal and carry out a suitable comparative analysis with alternative options in the literature.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 2; 363-375
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An SQP trust region method for solving the discrete-time linear quadratic control problem
Autorzy:
Mostafa, E. M. E.
Powiązania:
https://bibliotekanauki.pl/articles/331409.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
programowanie sekwencyjne
programowanie kwadratowe
system dyskretno-czasowy
output feedback control design
sequential quadratic programming
trust region method
Opis:
In this paper, a sequential quadratic programming method combined with a trust region globalization strategy is analyzed and studied for solving a certain nonlinear constrained optimization problem with matrix variables. The optimization problem is derived from the infinite-horizon linear quadratic control problem for discrete-time systems when a complete set of state variables is not available. Moreover, a parametrization approach is introduced that does not require starting a feasible solution to initiate the proposed SQP trust region method. To demonstrate the effectiveness of the method, some numerical results are presented in detail.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2012, 22, 2; 353-363
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Use of the tiling method inside synchronization of free slices of code in OpenMP standard in order to achieve speedup enhancement
Zwiększanie przyspieszenia aplikacji równoległych przy użyciu metody podziału na bloki, wewnątrz części kodu wolnych od synchronizacji
Autorzy:
Gozdalik, M.
Powiązania:
https://bibliotekanauki.pl/articles/157478.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
OpenMP
programowanie równoległe
tiling
shared memory programming
Opis:
In last few years, there were discovered many methods aiming at enhancing the speedup of parallel programs. In this paper three methods are tested according to a speedup parameter enhancement. These methods are: the tiling, the slicing, and the tiling inside slicing. In Sections 3, 4, and 5 the theoretical basis for chosen transformation are described. Algorithms of transformation processes as operations on a polyhedral model are presented. The problems of transformation costs are also discussed. For experimental studies a UTDSP benchmark was used. From each section, one representative sample was chosen. The results were also examined against a data locality. This aspect of chosen transformation methods was examined as well.
W artykule przedstawiono problem doboru metody transformacji pętli celem uzyskania możliwie maksymalnego przyspieszenia. Do badań wybrano benchmark UTDSP z uniwersytetu w Toronto. Z każdej sekcji benchmarku wybrano reprezentanta, który poddany został transformacjom tiling, slicing oraz transformacji tiling wewnątrz slicingu. W pierwszym rozdziale przedstawiony został wstęp do transformacji pętli. Rozdział drugi zawiera informacje teoretyczne na temat modelu polihedronu jako formy reprezentacji pętli, na której przeprowadzane są transformacje, a wynikowy model jest bazą do generowania kodu źródłowego. Kolejne rozdziały przedstawiają opis teoretyczny transformacji tiling oraz slicing. Przedstawiono w nich algorytm tworzenia tych transformacji wraz z przekształceniami matematycznymi, opisującymi transformacje na modelu polihedronu. W końcowej części pracy badano wpływ wybranych transformacji na przyspieszenie programów. Wyniki badań przedstawione zostały w formie zagregowanych wykresów przyspieszeń poszczególnych aplikacji.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 2, 2; 202-205
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Canonical greedy algorithms and dynamic programming
Autorzy:
Lew, A.
Powiązania:
https://bibliotekanauki.pl/articles/970856.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
programowanie dynamiczne
Dijkstra
greedy algorithm
dynamic programming
Opis:
There has been little work on how to construct greedy algorithms to solve new optimization problems efficiently. Instead, greedy algorithms have generally been designed on an ad hoc basis. On the other hand, dynamic programming has a long history of being a useful tool for solving optimization problems, but is often inefficient. We show how dynamic programming can be used to derive efficient greedy algorithms that are optimal for a wide variety of problems. This approach also provides a way to obtain less efficient but optimal solutions to problems where derived greedy algorithms are nonoptimal.
Źródło:
Control and Cybernetics; 2006, 35, 3; 621-643
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy goal programming - one notion, many meanings
Rozmyte programowanie celowe - jedno pojęcie, wiele znaczeń
Autorzy:
Chanas, S.
Kuchta, D.
Powiązania:
https://bibliotekanauki.pl/articles/205891.pdf
Data publikacji:
2002
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
liczba rozmyta
programowanie celowe
fuzzy number
goal programming
Opis:
A survey of fuzzy goal programming approach is presented, including three new approaches. Various approaches are classified according to the role that fuzzy numbers play in them. For each approach the corresponding model and the solution procedure are discussed.
Zaprezentowano przegląd podejść w ramach rozmytego programowania celowego, obejmującego także trzy nowe podejścia. Omawiane podejścia zostały sklasyfikowane według roli, jaką pełnią w nich liczby rozmyte. Przedyskutowano dla każdego podejścia odpowiadający mu model decyzyjny i procedurę otrzymywania rozwiązania.
Źródło:
Control and Cybernetics; 2002, 31, 4; 871-890
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Programming of urban revitalization
Programowanie rewitalizacji obszarów miejskich
Autorzy:
Biliński, T.
Powiązania:
https://bibliotekanauki.pl/articles/396412.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
revitalization
importance
town renewal
rewitalizacja
programowanie
odnowa miast
Opis:
The planning stage of the investment–construction process is of a crucial importance. Its overall impact on the costs, construction time and the quality of design solutions is huge. However, in practice, little attention is given to this pre-design stage, except for public buildings or other buildings of particular importance. In consequence, the results of investment and construction activities are unsatisfactory. Therefore, the issue has been given careful consideration in this paper. The paper discusses the issue of programming urban revitalization, emphasizing its socio-economic importance. To illustrate the complexity of revitalization projects planning, the author draws attention to social, economic, technical and organisational factors, such as public participation, reorganization and revaluation of land use planning, rationalization of energy use, organization and management of revitalization processes, as well as technical progress. Summarising the paper, the author concludes that in order to improve the quality of life of town residents and to protect material national heritage, it is indispensable to continuously revitalize subsequent town areas.
W procesie inwestycyjno-budowlanym szczególne znaczenie ma programowanie. Jego wpływ na koszty, czas realizacji i ogólnie na jakość rozwiązania projektowego jest przeogromny. Tymczasem w praktyce, za wyjątkiem obiektów użyteczności publicznej lub innych obiektów budowlanych szczególnego znaczenia, niewiele uwagi poświęca się temu etapowi prac przedprojektowych. W efekcie wyniki działalności inwestycyjno-budowlanej są niezadawalające. Dlatego też temu problemowi poświęcono tę publikację. W publikacji omówiono szczegółowo zagadnienie programowania przedsięwzięć rewitalizacyjnych obszarów miejskich, podkreślając bardzo jego znaczenie społeczno-gospodarcze. Dla zobrazowania złożoności programowania przedsięwzięć rewitalizacyjnych omówiono istotne czynniki społeczne, ekonomiczne, techniczno-organizacyjne, jak udział społeczeństwa, reorganizacja i rewaloryzacja zagospodarowania przestrzeni, racjonalizacja użytkowania energii, organizacja i zarządzanie procesami rewitalizacyjnymi, postęp techniczny. W podsumowaniu pracy podkreślono, że dla podwyższenia jakości życia mieszkańców miast, dla ochrony materialnego dziedzictwa narodowego nieodzowna jest ciągle prowadzona rewitalizacja kolejnych obszarów miasta.
Źródło:
Civil and Environmental Engineering Reports; 2016, No. 23(4); 15-27
2080-5187
2450-8594
Pojawia się w:
Civil and Environmental Engineering Reports
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Robust Optimisation Metaheuristics for the Inventory-Allocation Problem
Autorzy:
Vizinger, Tea
Žerovnik, Janez
Powiązania:
https://bibliotekanauki.pl/articles/578562.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Dystrybucja
Optymalizacja
Programowanie stochastyczne
Distribution
Optimalization
Stochastic programming
Opis:
As an example of a successful application of a relatively simple metaheuristics for a stochastic version of a multiple criteria optimisation problem, the inventory-allocation problem is discussed. Stochastic programming is introduced to deal with the demand of end consumers. It has been shown before that simple metaheuristics, i.e., local search may be a very competitive choice for solving computationally hard optimisation problems. In this paper, robust optimisation approach is applied to select more promising initial solutions which results in a significant improvement of time complexity of the optimisation algorithms. Furthermore, it allows more flexibility in choosing the final solution that need not always be minimising the sum of costs.
Źródło:
Multiple Criteria Decision Making; 2019, 14; 128-143
2084-1531
Pojawia się w:
Multiple Criteria Decision Making
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallel approaches to parametric optimization and the convergence of interactive decision support
Autorzy:
Wierzbicki, A.
Powiązania:
https://bibliotekanauki.pl/articles/205708.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
matematyka obliczeniowa
optymalizacja
optymalizacja parametryczna
programowanie liniowe
programowanie nieliniowe
przetwarzanie równoległe
teoria algorytmów
interactive decision support
optimization
parallel computations
Opis:
In the perspective of parallel processing, a new sense of parametric optimization might be promoted. The paper shows that it, is possible to propose new parallel versions of basic optimization algorithms, as well as an advanced method of securing convergence in interactive mnltiobjective optimization and decision support, all based on a modified concept of parametric embedding. This general idea is exemplified for the case of the simplex algorithm of linear programming by a parameterized and coarse-grain parallel augmented simplex algorithm, where a linear optimization problem can be embedded into a multiple-ohjective family which introduces diversified directions of search cutting through the interior of the original admissible set. For the case of nonlinear programming, a parameterized and coarse-grain parallel variable metric pulsar algorithm is shortly presented, where parallel directional searches are combined with a parametrized variable metric to produce a pulsating, robust nonliear programming algorithm. These two examples concern very basic optimization tools ; at the other end of the spectrmn of optimization-related methods, a general method called outranking trials of securing convergence of interactive multiobjective optimization and decision suport is obtained through parameterizing an outranking relation and using basic properties of order-consistent achievement functions in reference point methodology for testing the existence of outranking points by parallel optimization runs. Thus, the paper presents the use of parallel processing to solve a wide range of modified parametric embedding problems related to optimization and decision support.
Źródło:
Control and Cybernetics; 2000, 29, 1; 427-444
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Software Reliability Growth Models
Modele wzrostu niezawodności oprogramowania
Autorzy:
Pełka, R.
Powiązania:
https://bibliotekanauki.pl/articles/305994.pdf
Data publikacji:
2012
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
modelowanie
programowanie
niezawodność oprogramowania
modelling
software
software reliability
Opis:
History of research on reliability of software began in the early seventies of the last century. A significant progress of the work aimed at the construction of a mathematical model of software reliability growth has been performed since the first publication devoted to this subject was presented. Analysis of existing literature may lead to the conclusion that there is no universal solution which could be applied in every single case. However, it is possible to classify existing models, based on their characteristics such as data domain, the way to describe faults discovered during testing process, the way to express reliability, or other remaining assumptions, including mathematical concepts used in the evaluation process. This article presents an overview of existing solutions related to software reliability modelling, focusing on variety of aspects and methods used within this process.
Historia badań nad niezawodnością oprogramowania sięga lat 70. ubiegłego wieku. Od momentu pojawienia się pierwszych publikacji poświęconych tej tematyce nastąpił znaczący rozwój i postęp prac mających na celu między innymi budowę matematycznego modelu umożliwiającego badanie wzrostu niezawodności oprogramowania w procesie jego testowania. Analizując dostępną literaturę, można dojść do wniosku, że nie istnieje rozwiązanie uniwersalne, które dałoby się zastosować w każdym przypadku. Możliwa jest natomiast klasyfikacja dostępnych modeli ze względu na cechy charakterystyczne poszczególnych rozwiązań, takie jak dziedzina danych, sposób opisu błędów pojawiających się w procesie testowania, sposób opisu niezawodności czy też pozostałych założeń, w tym narzędzi matematycznych wykorzystywanych w procesie ewaluacji. Artykuł ten przedstawia przegląd istniejących rozwiązań modelowania niezawodności oprogramowania, kładąc nacisk na różnorodność aspektów oraz metod wykorzystywanych w tym procesie.
Źródło:
Biuletyn Instytutu Systemów Informatycznych; 2012, 10; 19-29
1508-4183
Pojawia się w:
Biuletyn Instytutu Systemów Informatycznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Deception in negotiations. Creating the vision of desired states
Negocjacyjne mistyfikacje – kreacja wizji stanów pożądanych
Autorzy:
Nęcki, Zbigniew
Nęcki, Szymon
Powiązania:
https://bibliotekanauki.pl/articles/1042227.pdf
Data publikacji:
2020-09-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
negocjacje
manipulacja
Neurolingwistyczne Programowanie
negotiations
manipulation
neuro linguistic programming
Opis:
The article offers an analysis of the topic of negotiations, from the most concreto area (finances) to the most abstract (status and feelings), and then an analysis of the many meanings of the term profit, which in negotiations has three areas: mine, yours, or shared. Yet the estimation of profit requires a comparison with the idealsituation expectations or with other empirically available kinds of goods (profit). In all these, it is possible to modify the vision of a situation through tinkering or even systemic deception via the image of an anchor point, the extreme value. The concept of neuro-linguistic programming in particular includes a rich set of verbal manipulations, which may reflect the hidden intentions of a negotiating party. Even in an individual’s cognitive system, there exist tendencies for tinkering with the image of truth in order to protect the person’s good opinion of themselves. In the other part of the article, the authors discussed seven strategies of manipulation which are used in Polish business practice.
Artykuł zawiera analizę tematyki negocjacji poczynając od najbardziej konkretnej (finanse) do najbardziej abstrakcyjnej (status i uczucia), a następnie analizuje wieloznaczność terminu „korzyść”, która w negocjacjach ma trzy sensy: moja, twoja albo wspólna. Jednak szacowanie korzyści wymaga procesu porównania z idealnymi oczekiwaniami albo z empirycznie dostępnymi innymi rodzajami dóbr (korzyści). Wszędzie tu można modyfikować wizję sytuacji poprzez manipulacje, a nawet systemowe mistyfikacje obrazem punktu zakotwiczenia, wartości krańcowej. Szczególnie koncepcja Neurolingwistycznego Programowania zawiera bogaty zestaw werbalnych manipulacji, które mogą odzwierciedlać ukryte intencje jednej z negocjujących stron. Nawet w systemie poznawczym jednostki pojawiają się tendencje do manipulacji obrazem prawdy tak, by uchronić dobre mniemanie na swój temat. W drugiej części artykułu omówiono siedem strategii manipulacji, które są wykorzystywane w polskiej praktyce biznesu.
Źródło:
Acta Universitatis Lodziensis. Folia Litteraria Polonica; 2020, 58, 3; 113-135
1505-9057
2353-1908
Pojawia się w:
Acta Universitatis Lodziensis. Folia Litteraria Polonica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Compensation of the trajectory of the shaping roller with a complex surface-profile in the machine spinning process
Kompensacja trajektorii rolki formującej o złożonym zarysie w operacji wyoblania maszynowego
Autorzy:
Stryczek, R.
Wyrobek, K.
Powiązania:
https://bibliotekanauki.pl/articles/175865.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
machine spinning
CAPP
parametric programming
wyoblanie maszynowe
programowanie parametryczne
Opis:
The paper raises the issues of the computerized support of the determination of the trajectory of the shaping roller movement with the compensation corrections taken into consideration, resulting from an complex profile of the working roller. Double radius rollers have been considered with a number of favourable operation features but requiring an increased amount of labour at the stage of the development of the control software. Two approaches to the solution of the problem have been suggested: analytical and geometrical one in both online and offline version. The work has been illustrated with practical examples.
W pracy przedstawiono niektóre zagadnienia komputerowego wspomagania wyznaczania trajektorii ruchu rolki formującej. Uwzględniono poprawki kompensacyjne wynikające ze złożonego zarysu części roboczej rolki. Przyjęto w rozważaniach rolki dwupromieniowe, mające wiele korzystnych cech eksploatacyjnych. Wymagają jednak zwiększonego nakładu pracy na etapie opracowania programu sterującego. Zaproponowano dwa podejścia do rozwiązania problemu: analityczne i geometryczne - w każdym z przypadków w wersji online i offline. Przedstawiono praktyczne przykłady rozwiązania omawianych zagadnień.
Źródło:
Advances in Manufacturing Science and Technology; 2017, 41, 3; 5-16
0137-4478
Pojawia się w:
Advances in Manufacturing Science and Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 196

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