Wyszukiwarka
Filtry
wszystkich: 716
-
Katalog
Wyniki wyszukiwania dla: semi-definite programming
-
Quadratic programming approach to coupled resonator filter cad
PublikacjaArtykuł prezentuje technikę komputerowego wspomagania procesu projektowania filtrów zbliżeniowych. Polega ona na sformułowaniu macierzy sprzężeń jako problemu programowania kwadratowego (QP). Dzięki zdefiniowaniu procedury optymalizacyjnej jako problemu QP, przy założeniu liniowej zależności współczynników sprzężeń od wymiarów geometrycznych struktury, uzyskano znaczącą redukcję liczby pełnofalowych symulacji prowadzących do uzyskania...
-
Multi-Objective Portfolio Optimization by Mixed Integer Programming
Publikacja -
USEFULNESS OF SEMI-MARKOV PROCESSES AS MODELS OF THE OPERATION PROCESSES FOR MARINE MAIN ENGINES AND OTHER MACHINES OF SHIP POWER PLANTS
PublikacjaThe paper describes the properties of semi-Markov processes and the opportunities and benefits from their use as models of the operation processes for marine combustion engines and other machines of ship power plants. The emphasis is put on the importance of the theory of semi-Markov processes for development of the theory of marine combustion engines and other machines of ship power plants, as well as for development of the operational...
-
Adaptive Optimal Discrete-Time Output-Feedback Using an Internal Model Principle and Adaptive Dynamic Programming
PublikacjaIn order to address the output feedback issue for linear discrete-time systems, this work suggests a brand-new adaptive dynamic programming (ADP) technique based on the internal model principle (IMP). The proposed method, termed as IMP-ADP, does not require complete state feedback, merely the measurement of input and output data. More specifically, based on the IMP, the output control problem can first be converted into a stabilization...
-
The surface of a fragment of the structure of an integrated circuit in the semi-contact mode.
Dane BadawczeThe surface of a fragment of the structure of an integrated circuit. Topographic measurements in the semi-contact mode. NTEGRA Prima (NT-MDT) device. NSG 01 probe.
-
Concrete temperature measurements of cubic specimens cured under isothermal and semi-adiabatic conditions
Dane BadawczeThe DataSet contains temperature measurements of concrete cubes (150 x 150 x 150 mm) cured under isothermal and semi-adiabatic conditions. The specimens were moulded from six types of concrete mixtures produced in the laboratory conditions. Mix #1: Portland cement CEM I 42.5R and gravel aggregate, mix #2: CEM I 42.5R and basalt aggregate, mix#3: Portland-composite...
-
Ocena przydatności stosowania komory semi-bezechowej w przyczepie badawczej SLIPSONIC służącej do pomiarów hałasu opon.
PublikacjaOmówiono sposoby pomiaru odbić dźwięku oraz izolacyjności komory semi-bezechowej zastosowanej w przyczepie SLIPSONIC. Przedstawiono wyniki badań wykazujących jednoznacznie konieczność stosowania komór semi-bezechowych w przyczepach do badania hałasu opon.
-
Application of the theory of semi-markov processes to the development of a reliability model of an automotiv vrhicle = Zastosowanie teorii procesów semi-Markowa do opracowania modelu niezawodnościowego samochodu
PublikacjaW artykule przedstawiono możliwość zastosowania teorii procesów semi-Markowa (semimarkowskich) do opisu niezawodności samochodu, na przykładzie samochodu osobowego. W rozważaniach uwzględniony został samochód, w którym wyróżniono takie węzły konstrukcyjne (zespoły funkcjonalne) jak: silnik z układami zasilania czynnikami energetycznymi (paliwem, olejem smarowym i cieczą chłodzącą), sprzęgło, skrzynia biegów, wał napędowy, most...
-
Solving nonlinear programming problems by using O&G software.
PublikacjaPraca opisuje pakiet optymalizacyjny oprogramowania O&G. Umożliwia on rozwiązywanie problemów programowania nieliniowego. Użytkownik może w wygodny sposób formułować rozwiązywane zadanie i dobierać metody obliczeniowe używając interaktywnego interfejsu.
-
Analysis of the impact of aspect-oriented programming on source code quality
PublikacjaCelem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...
-
BIOINFO Genetic Programming
Czasopisma -
Mathematical Programming Computation
Czasopisma -
JOURNAL OF FUNCTIONAL PROGRAMMING
Czasopisma -
PROGRAMMING AND COMPUTER SOFTWARE
Czasopisma -
SCIENCE OF COMPUTER PROGRAMMING
Czasopisma -
Robust-adaptive dynamic programming-based time-delay control of autonomous ships under stochastic disturbances using an actor-critic learning algorithm
PublikacjaThis paper proposes a hybrid robust-adaptive learning-based control scheme based on Approximate Dynamic Programming (ADP) for the tracking control of autonomous ship maneuvering. We adopt a Time-Delay Control (TDC) approach, which is known as a simple, practical, model free and roughly robust strategy, combined with an Actor-Critic Approximate Dynamic Programming (ACADP) algorithm as an adaptive part in the proposed hybrid control...
-
A multithreaded CUDA and OpenMP based power‐aware programming framework for multi‐node GPU systems
PublikacjaIn the paper, we have proposed a framework that allows programming a parallel application for a multi-node system, with one or more GPUs per node, using an OpenMP+extended CUDA API. OpenMP is used for launching threads responsible for management of particular GPUs and extended CUDA calls allow to manage CUDA objects, data and launch kernels. The framework hides inter-node MPI communication from the programmer who can benefit from...
-
Rust QA: question answering dataset for "The Rust Programming Language" in SQuAD 2.0 format
Dane BadawczeRust QA is a dataset for training and evaluating QA systems. The dataset consists of 1068 questions to "The Rust Programming Language" book (https://doc.rust-lang.org/stable/book/) with the answers provided as text spans from the book. The dataset is released in SQuAD 2.0 format.
-
Synthesis and characterisation of polyurethane elastomers with semi-products obtained from polyurethane recycling
PublikacjaIn this work polyurethane elastomers were synthesised by using different mixtures of a petrochemical and glycerolysate polyols and 4,4-diphenylmethane diisocyanate (MDI). Glycerolysate polyol was produced from polyurethane foam decomposition using crude glycerine as a decomposition agent. The structure and thermal properties of obtained semi-product were similar to the polyol used in the synthesis of original foam. Glycerolysate...
-
Programming (ERASMUS) [2020/2021]
Kursy OnlineKierunek: Matematyka (WFTiMS), I stopnia - licencjackie, stacjonarne, 2019/2020 - zimowy (obecnie sem. 2)
-
Programowanie Liniowe (Linear Programming)
Kursy OnlineMateriały do przedmiotów: - Badania operacyjne (1/3), kier: informatyka mgr stac. rok. 1. sem. 1. - Operational research (1/3), kier: informatyka mgr stac. (ang) rok. 1. sem. 1. - Badania operacyjne (1/2), kier: informatyka mgr niestac. rok. 2. sem. 3.
-
Programming languages 24-25
Kursy Online -
Assesment of operation of ship main diesel engine using the theory of semi-markovian and markov processes.
PublikacjaTo precisely determine the task it is necessary to specify also its duration time, apart from conditions in which it will be realized. When considering propulsion engine, i.e. the main element of ship propulsion system, especially important becomes not only the problem which amount of energy could be at one's disposal but also within which time interval it could be delivered. Therefore apart from applying the commonly used reliability...
-
Testing and sampling devices for monitoring volatile and semi-volatile organic compounds in indoor air
PublikacjaAdults spend most of their time in enclosed spaces (e.g., apartment, office and public buildings). According to research conducted by scientists, air quality indoors is much worse than the ambient air quality outdoors. Hazardous chemicals found in air indoors can adversely affect the functioning of the human body and cause many respiratory and circulatory diseases. Harmful chemical compounds (mainly volatile organic compounds and...
-
Semi-Markov Approach to the Shipping Safety Modelling
Publikacja -
Ecology and Conservation of Steppes and Semi-Natural Grasslands
Publikacja -
Investigations of transverse stability of semi-displacement ships
PublikacjaPrzedstawiono wyniki eksperymentalnych badań modelowych poprzecznej stateczności jednostek półślizgowych, których celem było określenie wpływu prędkości oraz parametrów kształtu kadłuba na stateczność poprzeczną. Na podstawie wyników badań opracowano algorytmy, uwzględniające zmiany ramienia prostującego w funkcji prędkości, kąta przechyłu i parametrów geometrycznych kadłuba które mogą być wykorzystane do oceny stateczności poprzecznej...
-
Application Isssues of the Semi-Markov Reliability Model
PublikacjaPredicting the reliability of marine internal combustion engines, for instance, is of particular importance, as it makes it possible to predict their future reliability states based on the information on the past states. Correct reliability prediction is a complex process which consists in processing empirical results obtained from operating practice, complemented by analytical considerations. The process of technical state changes...
-
Selected multiobjective methods for multiperiod portfolio optimization by mixed integer programming
Publikacja -
Application of multi-criteria mathematical programming models for assignment of services in a hospital
Publikacja -
Survey of multi-objective portfolio optimization by linear and mixed integer programming
Publikacja -
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublikacjaRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Method of selecting programming practices for the safety-critical software development projects
PublikacjaIn recent years a plan-driven approach traditionally used in safety-critical software development has been put to a test by rapidly changing technologies, more diverse group of clients and volatile market requirements. The need to deliver good quality systems, faster and at lower cost in comparison to competitors encouraged companies to look for more efficient solutions. Agile methodologies are known to successfully address these...
-
A semi-empirical model for flow boiling heat transfer with account of the reduced pressure effect
PublikacjaIn the present study the attention was focused on the influence of reduced pressure on the predictions of heat transfer during flow boiling at the extensive range of pressures. The results of calculations were to test the sensitivity of the in-house flow boiling model with respect to the selection of the appropriate two-phase flow multiplier, which is one of the distinctive elements of that model. For this purpose a few two-phase...
-
Programming of GNSS applications [EMSS]
Kursy OnlineThis course is designed for M.Sc. students of Space and Satellite Technologies, including Computer Science and Aerospace Technologies, within the specialty Engineering and Management of Space System [EMSS].
-
Programming of GNSS applications [EMSS]
Kursy OnlineThis course is designed for M.Sc. students of Space and Satellite Technologies, including Computer Science and Aerospace Technologies, within the specialty Engineering and Management of Space System [EMSS].
-
COMPARATIVE ANALYSIS OF RESULTS OF APPLICATION OF MARKOV AND SEMI-MARKOV PROCESSES TO RELIABILITY MODELS OF MULTI-STATE TECHNICAL OBJECTS
PublikacjaDuring rational operation of technical objects and systems various operational decisions are made and decision-making process itself should be consisted in selecting that considered most favourable out of all possible to be taken. Choice of such decision is possible after taking into account many different information items but it never be completely correct without accounting for data and indices dealing with reliability. In...
-
The time of the first transition of the semi-Markov process in the evaluation of diesel engine operation
PublikacjaW referacie przedstawiono rozwinięcie prezentowanej w literaturze metody ilościowej oceny działania na przykładzie okrętowego silnika głównego z zapłonem samoczynnym. Według tej interpretacji, działanie silnika może zostać przedstawione jako wielkość fizyczna. W tym aspekcie, na przykładzie okrętowego silnika napędu głównego dokonano oceny przydatności tej wielkości do opisu własności niezawodnościowych silnika. Precyzyjne określenie...
-
Semi-transparent ordered TiO2 nanostructures prepared by anodization of titanium thin films deposited onto the FTO substrate
PublikacjaIn a significant amount of cases, the highly ordered TiO2nanotube arrays grow through anodic oxidationof a titanium metal plate immersed in electrolyte containing fluoride ions. However, for some practicalapplications, e.g. solar cells or electrochromic windows, the semi-transparent TiO2formed directly onthe transparent, conductive substrate is very much desired. This work shows that high-quality Ti coatingcould be formed at room...
-
A model of fuel combustion process in the marine reciprocating engine work space taking into account load and wear of crankshaft-piston assembly and the theory of semi-Markov processes
PublikacjaThe ar ticle analyses the operation of reciprocal internal combu stion engines, with mar ine engines u sed a s an example. The analysis takes into account types of energy conversion in the work spaces (cylinders) of these engines, loads of their crankshaft-piston assemblies, and types of fuel combustion which can take place in these spaces during engine operation. It is highlighted that the analysed time-dependent loads of marine...
-
Morphology and local chain structure of polyamide 6 modified in the solid state with a semi-aromatic nylon salt
PublikacjaStructural and conformational differences between the polyamide 6 (PA6) homopolymer and two copolymers of PA6 modified in the solid state with 20 and 30 wt% of the semi-aromatic nylon salt of 1,5-diamino-2-methylpentane (Dytek A) and isophthalic acid (IPA) in the feed were investigated. Room temperature wide-angle X-ray diffraction (WAXD) analysis together with 13C{1H} cross-polarization/magic-angle spinning solid-state (CP/MAS)...
-
Ontology supported selection of versions for N-version programming in semantic web services
Publikacja -
A single and triple-objective mathematical programming models for assignment of services in a healthcare institution
Publikacja -
Lexicographic and weighting approach to multi-criteria portfolio optimization by mixed integer programming
Publikacja -
Optimal programming of critical sections in modern network processors under performance requirements.
PublikacjaPrzegląd konstrukcji i zastosowań metod programowania sekcji krytycznych w nowoczesnych procesorach sieciowych rodziny Intel IXP. Porównanie wydajnościowe w formie tabeli.
-
Programming, tunning and automatic parallelization of irregular divide and conquer applications in DAMPVM/DAC.
PublikacjaArtykuł prezentuje nowy, obiektowo zorientowany wzorzec programowy DAMPVM/DAC, który zimplementowany został z użyciem systemu DAMPVM i umożliwia automatyczny podział nieregularnych aplikacji "Dziel i zwyciężaj" (DAC) w czasie ich działania.
-
Genetic programming extension to APF-based monocular human body pose estimation
PublikacjaNew method of the human body pose estimation based on a single camera 2D observation is presented, aimed at smart surveillance related video analysis and action recognition. It employs 3D model of the human body, and genetic algorithm combined with annealed particle filter for searching the global optimum of model state, best matching the object's 2D observation. Additionally, new motion cost metric is employed, considering current...
-
Semi-Markov model of diesel engines' operating process.
PublikacjaNajistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...
-
Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata
PublikacjaPrzedstawione zostają modyfikacje trzech algorytmów przyrostowego i półprzyrostowego tworzenia automatów minimalnych w taki sposób, aby tworzyły automaty pseudominimalne. Istniejący od dawna algorytm Revuza tworzy takie automaty szybciej i zużywając mniej pamięci, ale wymaga kłopotliwego sortowania. Nie nadaje się też do dodawania nowych słów do automatu - ważnej czynności w realizacji dynamicznej doskonałej funkcji mieszającej....
-
Semi-incremental addition of strings to a cyclic finite automaton
PublikacjaMaszyny o skończonej liczbie stanów są szeroko stosowane jako słowniki w przetwarzaniu języka naturalnego. Odznaczają się szybkim czasem przetwarzania i małymi wymaganiami pamięciowymi. Przedstawiamy nowy algorytm dodawania nowych słów do języka cyklicznego automatu skończonego. Algorytm jest rozszerzeniem na automaty cykliczne półprzyrostowego algorytmu Watsona dla automatów acyklicznych. Przekształcenie jest dokonane w duchu...