Search
Filters
total: 6160
filtered: 3462
-
Catalog
- Publications 3462 available results
- Journals 66 available results
- Conferences 51 available results
- Publishing Houses 2 available results
- People 78 available results
- Projects 10 available results
- Laboratories 1 available results
- Research Teams 1 available results
- Research Equipment 2 available results
- e-Learning Courses 227 available results
- Events 39 available results
- Open Research Data 2221 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: LINEAR%20PROGRAMMING
-
Survey of multi-objective portfolio optimization by linear and mixed integer programming
Publication -
Optimization of Data Assignment for Parallel Processing in a Hybrid Heterogeneous Environment Using Integer Linear Programming
PublicationIn the paper we investigate a practical approach to application of integer linear programming for optimization of data assignment to compute units in a multi-level heterogeneous environment with various compute devices, including CPUs, GPUs and Intel Xeon Phis. The model considers an application that processes a large number of data chunks in parallel on various compute units and takes into account computations, communication including...
-
Linear and Non-linear Decomposition of Index Generation Functions
Publication -
Non-Linear Control of Electrical Machines Using Non-Linear Feedback
PublicationPrzedstawiono zasady nieliniowego sterowania oraz zastosowanie nielinowego sprzężenia zwrotnego do maszyn elektrycznych. Opisano nieliniowe sterowanie obcowzbudnym silnikiem prądu stałego. Zaprezentowano multiskalarne modele maszyn prądu przemiennego. Maszynę indukcyjną zamodelowano z wykorzystaniem strumienia wirnika oraz z wykorzystaniem strumienia stojana. MMultiskalarne modele maszyny indukcyjnej wykorzystano do nieliniowego...
-
Semi-definite programming and quantum information
PublicationThis paper presents a comprehensive exploration of semi-definite programming (SDP) techniques within the context of quantum information. It examines the mathematical foundations of convex optimization, duality, and SDP formulations, providing a solid theoretical framework for addressing optimization challenges in quantum systems. By leveraging these tools, researchers and practitioners can characterize classical and quantum correlations,...
-
Efficiency of linear and non-linear classifiers for gas identification from electrocatalytic gas sensor
PublicationElectrocatalytic gas sensors belong to the family of electrochemical solid state sensors. Their responses are acquired in the form of I-V plots as a result of application of cyclic voltammetry technique. In order to obtain information about the type of measured gas the multivariate data analysis and pattern classification techniques can be employed. However, there is a lack of information in literature about application of such...
-
Properties of dimension witnesses and their semidefinite programming relaxations
PublicationIn this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in Li et al. [H.-W. Li, P. Mironowicz, M. Pawłowski, Z.-Q. Yin, Y.-C. Wu, S. Wang, W. Chen, H.-G. Hu, G.-C. Guo, and Z.-F. Han, Phys. Rev. A 87, 020302(R) (2013)]. This method allows us to lower bound, with semi-definite programming, the randomness obtained from random number generators based on dimension...
-
ARCHITECTURAL PROGRAMMING FOR BALANCED LOCAL URBAN CENTERS
Publication -
Programming Geometry as a Creative Play with Architectural Form
PublicationIn the twenty-first century "programming" is the key word that opens unprecedented opportunities for design and materialization of geometrically complex architectural objects. From the digital designer perspective programming geometry can be seen as a creative play with a form and a process of generation/exploration as well as the possibility of applying the computing power as a co-designer in the process of finding solutions for...
-
Realization, programming and controlling of the Stewart-Gough platform
PublicationThis paper presents realizaon, programming, and controlling of a low cost Stewart-Gough plaorm (SGP) with rotary actuators. The realized SGP is applied in a ball & plate control system. Developed dedicated software consists of embedded and applicaon soware for both the SGP posioning system and the ball & plate control. system. A ball posion is being obtained using computer vision. The paper contains tests results for both an SGP...
-
Testing for conformance of parallel programming pattern languages
PublicationThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Comparison of non-linear statical analysis of truss with linear and rotational side supports and 3d roof model
PublicationIn the paper geometrically non-linear analysis of example truss with linear and rotational elastic side supports is compared with geometrically non-linear analysis of part of the roof construction with purlins and truss-bracing. For different stiffness of side-supports a non linear relation between normal force in compressed chord due to out of truss plane displacement has been calculated.
-
Development of linear projecting in studies of non-linear flow. Acoustic heating induced by non-periodic sound
PublicationRównanie bilansu energii rozkłada się na sumę dwóch równań, opisujących dynamikę fali akustycznej i wywołanego przez nią ogrzewania. Nowe równanie dynamiczne stosowane jest dla opisu dźwięku nieokresowego zarówno jak okresowego. Rozpatruje się geometrię wiązkową. Omówiane są poszczególne udziały przewodnictwa cieplnego i lepkości w ogrzewaniu akustycznym. Równania stanu ośrodka propagacji są uwzględniane w najbardziej ogólnej postaci.
-
Approximation of the non-linear roll damping
PublicationArtykuł omawia, jak otrzymać oszacowanie nieliniowego momentu tłumiącehgo kołysania boczne okretu za pomocą zapisu przebiegu kołysań swobodnych modelu okrętu. Udowadnia, że 1) moment tłumiący w kategoriach aproksymacji jest nieanalityczną funkcją nieparzystą prędkosci kołysań, 2) standardowa metoda, oparta na stosunku dwóch kolejnych amplitud, ma ograniczone zastosowanie, do niezbyt dużych amplitud kołysań. Zaproponowano nową metodą...
-
Automated Design of Linear Phase Filters
PublicationThis paper presents a fast technique for an automated design of microwave filters with linear phase. The proposed method exploits the cost function defined using the location of complex zeros and poles of the filter’s transfer and reflection function. The effectiveness of the proposed technique is presented with two illustrative examples.
-
The need for linear revitalization. Gdynia case
PublicationThe aim of the article is to discuss the need of defining and implementation of the linear revitalization - the new approach related to the revitalization processes. The results of the preliminary investigations indicate that this kind of revitalization seems to be an important tool supporting city management and planning, especially in cases of cities fragmentation - causing lack of physical, social, economic and ecological cohesion....
-
Automatic feature extraction for linear systems.
PublicationPraca przedstawia eksperymenty pokazujące istnienie uniwersalnego ekstraktora cech dla ograniczonego obszaru w przestrzeni parametrów systemu liniowego. System liniowy pobudzony był szumem o rozkładzie normalnym na wejściu. Zastosowano ewolucyjne metody poszukiwania ekstraktora w oparciu o jakość klasyfikacji sygnałów w dziedzinie cech wydobytych przez ekstraktor.
-
Asymptotic formulas for the error in linear interpolation
PublicationWyznaczono asymptotyczny wzór dla błędu w liniowej interpolacji z dowolnymi węzłami.
-
Multi-Objective Portfolio Optimization by Mixed Integer Programming
Publication -
Genetic Programming for Workload Balancing in the Comcute Grid System
PublicationA genetic programming paradigm is implemented for reliability optimization in the Comcute grid system design. Chromosomes are generated as the program functions and then genetic operators are applied for finding Pareto-suboptimal task assignment and scheduling. Results are compared with outcomes obtained by an adaptive evolutionary algorithm.
-
Quadratic programming approach to coupled resonator filter cad
PublicationArtykuł 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...
-
Parallel Programming for Modern High Performance Computing Systems
PublicationIn view of the growing presence and popularity of multicore and manycore processors, accelerators, and coprocessors, as well as clusters using such computing devices, the development of efficient parallel applications has become a key challenge to be able to exploit the performance of such systems. This book covers the scope of parallel programming for modern high performance computing systems. It first discusses selected and...
-
IFI16 Impacts Metabolic Reprogramming during Human Cytomegalovirus Infection
PublicationCellular lipid metabolism plays a pivotal role in human cytomegalovirus (HCMV) infection, as increased lipogenesis in HCMV-infected cells favors the envelopment of newly synthesized viral particles. As all cells are equipped with restriction factors (RFs) able to exert a protective effect against invading pathogens, we asked whether a similar defense mechanism would also be in place to preserve the metabolic compartment from HCMV...
-
Buckling of frame braced by linear elastic springs
PublicationIn the design codes and specifications, simplifed formulae or diagrams are given for determining the buckling lengths of frame columns based on the ruling criterion of considering frames as sway or non sway. Due to the fact that, the code formulae utilize onlylocal stifness distributions, these formulae may yield in certain cases rather erroneous results. In most code formulas a case of weakly braced frames is usually not considered.In...
-
Linear and nonlinear Stark effect in a triangular molecule
Publication -
International Linear Collider Global and Local Implications
Publication -
International Linear Collider Global and Local Implications
Publication -
On statistical linear inverse problems in fishery acoustic
Publication.
-
Stability of trusses with linear elastic side-supports
PublicationThe present research is devoted to study of a lateral buckling of truss with linear elastic side supports. The elastic support reaction in relation to force in compressed chord and coefficient of buckling length related to side support distance are also calculated. The effect of slope of side support on limit force is also considered. The nonlinear analysis of two roof trusses are carried out. The results are compared to design...
-
Independence in uniform linear triangle-free hypergraphs
PublicationThe independence number a(H) of a hypergraph H is the maximum cardinality of a set of vertices of H that does not contain an edge of H. Generalizing Shearer’s classical lower bound on the independence number of triangle-free graphs Shearer (1991), and considerably improving recent results of Li and Zang (2006) and Chishti et al. (2014), we show a new lower bound for a(H) for an r-uniform linear triangle-free hypergraph H with r>=2.
-
Linear revitalization - problems and challenges. Discursive article
PublicationThe aim of the article, defined by the author as discursive, is to give the answer as to whether within ‘revitalization’ we should distinguish the notion of ‘linear revitalization’ – not yet defined in Polish and English-language literature. The author presents the thesis that we should do so by presenting the idea, its specific character and its role. This kind of action seems to have, in the author’s opinion, a positive influence...
-
Stochastic approach to the dynamics of a linear floating object
PublicationArtykuł stanowi prezentację metody różniczkowych równań stochastycznych w zastosowaniu do analizy dynamiki obiektów pływających. Analizowany jest ruch jednostki pływającej jako obiektu liniowego z uwzględnieniem w równaniach stochastycznych nieliniowości, występującej w wymuszeniach zewnętrznych działających na obiekt. Stochastyczne równania różniczkowe są zapisane dla sprzężonych ruchów symetrycznych.
-
A non-linear direct peridynamics plate theory
PublicationIn this paper a direct non-local peridynamics theory for thin plates is developed. Peridynamic points are assumed to behave like rigid bodies with independent translation and finite rotation degrees of freedom. The non-local mechanical interaction between points is characterized by force and moment vectors. The balance equations including the linear momentum, the angular momentum and the energy are presented. Peridynamic deformation...
-
Analysis of Properties of an Active Linear Gesture Sensor
PublicationBasic gesture sensors can play a significant role as input units in mobile smart devices. However, they have to handle a wide variety of gestures while preserving the advantages of basic sensors. In this paper a user-determined approach to the design of a sparse optical gesture sensor is proposed. The statistical research on a study group of individuals includes the measurement of user-related parameters like the speed of a performed...
-
Highly linear self-assembled porphyrin wires
PublicationAn efficient noncovalent assembly process involving high geometrical control was applied to a linear bis(imidazolyl zinc porphyrin) 7Zn, bearing C18 substitutents, to generate linear multiporphyrin wires. The association process is based on imidazole recognition within the cavity of the phenanthroline-strapped zinc porphyrin. In chlorinated solvents, discrete soluble oligomers were obtained after (7Zn)n was end-capped with a terminal...
-
Research on Linear Actuators for Active Foil Bearings
PublicationActive foil bearings are a kind of gas foil bearing. They contain actuators which allow for modification of the bearing sleeve size and the shape of the lubrication gap. Rotor vibrations can be actively controlled by these changes. It is possible, among other things, to reduce the starting torque, control the vibration amplitude at different speeds and improve operational safety. Prototypes of active foil bearings are being developed...
-
Genetic Programming with Negative Selection for Volunteer Computing System Optimization
PublicationVolunteer computing systems like BOINC or Comcute are strongly supported by a great number of volunteers who contribute resources of their computers via the Web. So, the high efficiency of such grid system is required, and that is why we have formulated a multi-criterion optimization problem for a volunteer grid system design. In that dilemma, both the cost of the host system and workload of a bottleneck host are minimized. On...
-
Genetic Programming for Interaction Efficient Supporting in Volunteer Computing Systems
PublicationVolunteer computing systems provide a middleware for interaction between project owners and great number volunteers. In this chapter, a genetic programming paradigm has been proposed to a multi-objective scheduler design for efficient using some resources of volunteer computers via the web. In a studied problem, genetic scheduler can optimize both a workload of a bottleneck computer and cost of system. Genetic programming has been...
-
Analysis of the impact of aspect-oriented programming on source code quality
PublicationCelem 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...
-
Solving nonlinear programming problems by using O&G software.
PublicationPraca 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.
-
A linear time algorithm for edge coloring of binomial trees
Publication -
Stability by linear approximation for time scale dynamical systems
Publication -
Uniform solvability for families of linear systems on time scales
Publication -
Digital measurement of frequency with linear interpolation in dynamic states
PublicationPrzedstawiono metody rejestracji częstotliwości sygnałów impulsowych. Zastosowanie interpolacji pozwala na uzyskanie wyniku dla dowolnej chwili. Opisano pracę w trybie on-line i off-line.
-
Parameter and delay estimation of linear continuous-time systems
PublicationIn this paper the problem of on-line identification of non-stationary delay systems is considered. Dynamics of supervised industrial processes is described by ordinary differential equations. Discrete-time mechanization of their continuous-time representations is based on dedicated finite-horizon integrating filters. Least-squares and instrumental variable procedures implemented in recursive forms are applied for simultaneous identification...
-
Parameter and delay estimation of linear continuous-time systems
PublicationIn this paper the problem of on-line identification of non-stationary delay systems is considered. Dynamics of supervised industrial processes is usually described by ordinary differential equations. Discrete-time mechanization of their continuous-time representations is based on dedicated finite-horizon integrating filters. Least-squares and instrumental variable procedures implemented in recursive forms are applied for simultaneous...
-
Highly linear CMOS triode transconductor for VHF applications
PublicationA high-speed, fully balanced complementary-symmetry metal-oxide-semiconductor (CMOS) triode transconductor is presented. The proposed approach exploits a pseudo-differential-pair triode configuration with a simple adaptive circuit stabilising the drain-to-source voltages of metal-oxide-semiconductor (MOS) transistors. Since no additional active circuits (apart from the resistors made of the cut-off MOS devices) and no feedback...
-
On constitutive relations in the resultatnt non-linear theory of shells
PublicationThe authors summarize their current research in the field of constitutive modelling in the framework of non-linear 6-parameter shell theory. In particular the description of isotropic, multilayered composite and functionally graded shells is presented.
-
Identification of Non-stationary and Non-linear Drying Processes
Publication -
The ONETEP linear-scaling density functional theory program
PublicationWe present an overview of the ONETEP program for linear-scaling density functional theory (DFT) calculations with large basis set (planewave) accuracy on parallel computers. The DFT energy is computed from the density matrix, which is constructed from spatially localized orbitals we call Non-orthogonal Generalized Wannier Functions (NGWFs), expressed in terms of periodic sinc (psinc) functions. During the calculation, both the...