Filters
total: 6251
filtered: 3530
-
Catalog
- Publications 3530 available results
- Journals 66 available results
- Conferences 51 available results
- Publishing Houses 2 available results
- People 80 available results
- Projects 10 available results
- Laboratories 1 available results
- Research Teams 1 available results
- Research Equipment 2 available results
- e-Learning Courses 242 available results
- Events 39 available results
- Open Research Data 2227 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...
-
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...
-
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...
-
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....
-
Asymptotic formulas for the error in linear interpolation
PublicationWyznaczono asymptotyczny wzór dla błędu w liniowej interpolacji z dowolnymi węzłami.
-
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.
-
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...
-
Multi-Objective Portfolio Optimization by Mixed Integer Programming
Publication -
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...
-
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.
-
Teaching of Robot Arm Programming - Tasks with Increasing Difficulty
PublicationThe article describes education techniques using robotics. For example, educational exercises on programming the Nachi MZ04 robotic arm are presented. The exercises use a wooden railroad toy model and elements printed in additive manufacturing technology. The exercises have increasing difficulty and can be used to educate young people in high school and specialized higher engineering studies (both bachelor's and master's).
-
Neural network agents trained by declarative programming tutors
PublicationThis paper presents an experimental study on the development of a neural network-based agent, trained using data generated using declarative programming. The focus of the study is the application of various agents to solve the classic logic task – The Wumpus World. The paper evaluates the effectiveness of neural-based agents across different map configurations, offering a comparative analysis to underline the strengths and limitations...
-
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...
-
On statistical linear inverse problems in fishery acoustic
Publication.
-
Linear and nonlinear Stark effect in a triangular molecule
Publication -
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.
-
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...
-
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...
-
International Linear Collider Global and Local Implications
Publication -
International Linear Collider Global and Local Implications
Publication -
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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.
-
Linear Pantographic Sheets: Existence and Uniqueness of Weak Solutions
Publicationwe address the well-posedness of the planar linearized equilibrium problem for homogenized pantographic lattices. To do so: (i) we introduce a class of subsets of anisotropic Sobolev’s space as the most suitable energy space E relative to assigned boundary conditions; (ii) we prove that the considered strain energy density is coercive and positive definite in E ; (iii) we prove that the set of placements for which the strain...
-
The passive operating mode of the linear optical gesture sensor
PublicationThe study evaluates the influence of natural light conditions on the effectiveness of the linear optical gesture sensor, working in the presence of ambient light only (passive mode). The orientations of the device in reference to the light source were modified in order to verify the sensitivity of the sensor. A criterion for the differentiation between two states - "possible gesture" and "no gesture" - was proposed. Additionally,...
-
A linear time algorithm for edge coloring of binomial trees
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...
-
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.
-
The shallow sea experiment with usage of linear hydrophone array
PublicationPurpose of this article is to present designed and made linear hydrophone array and the results obtained during in situ trails on Gulf of Gdańsk. The measuring system allowed to localize hydrophones in the selected points and perform measurements in both the horizontal antenna positioning and vertical. Made in this way recordings allow creating accurate 3D imaging of sound intensity/propagation. During research three floating objects...