Filtry
wszystkich: 1832
wybranych: 1423
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: INTEGER LINEAR PROGRAMMING
-
Algebraic periods and minimal number of periodic points for smooth self-maps of 1-connected 4-manifolds with definite intersection forms
PublikacjaLet M be a closed 1-connected smooth 4-manifolds, and let r be a non-negative integer. We study the problem of finding minimal number of r-periodic points in the smooth homotopy class of a given map f: M-->M. This task is related to determining a topological invariant D^4_r[f], defined in Graff and Jezierski (Forum Math 21(3):491–509, 2009), expressed in terms of Lefschetz numbers of iterations and local fixed point indices of...
-
On-line Search in Two-Dimensional Environment
PublikacjaWe consider the following on-line pursuit-evasion problem. A team of mobile agents called searchers starts at an arbitrary node of an unknown network. Their goal is to execute a search strategy that guarantees capturing a fast and invisible intruder regardless of its movements using as few searchers as possible. As a way of modeling two-dimensional shapes, we restrict our attention to networks that are embedded into partial grids:...
-
Domination subdivision and domination multisubdivision numbers of graphs
PublikacjaThe domination subdivision number sd(G) of a graph G is the minimum number of edges that must be subdivided (where an edge can be subdivided at most once) in order to increase the domination number of G. It has been shown [10] that sd(T)<=3 for any tree T. We prove that the decision problem of the domination subdivision number is NP-complete even for bipartite graphs. For this reason we define the domination multisubdivision number...
-
Direct shear stress vs strain relation for fiber reinforced composites
PublikacjaThe majority of fiber reinforced composites exhibit strong non-linear behavior in in-plane shear state. The effect is attributed to the micro-cracks appearing in the matrix and can be modeled on the micro and macro level. In this work the author proposes constitutive laws describing the non-linear in-plane shear response, which can be alternative for the relations commonly considered in the literature. The proposed equations are...
-
Eigenfaces, Fisherfaces, Laplacianfaces, Marginfaces – How to Face the Face Verification Task
PublikacjaThis paper describes the exhaustive tests of four known methods of linear transformations (Eigenfaces, Fisherfaces, Laplacianfaces and Marginfaces) in the context of face verification task. Additionally, we introduce a new variant of the transformation (Laplacianface + LDA), and the specific interval-based decision rule. Both of them improve the performance of face verification, in general, however, our experiments show that the...
-
5G Millimeter Wave Network Optimization: Dual Connectivity and Power Allocation Strategy
PublikacjaThe fifth generation (5G) of mobile networks utilizing millimeter Wave (mmWave) bands can be considered the leading player in meeting the continuously increasing hunger of the end user demands in the near future. However, 5G networks are characterized by high power consumption, which poses a significant challenge to the efficient management of base stations (BSs) and user association. Implementing new power consumption and user...
-
3D buckling analysis of a truss with horizontal braces
PublikacjaThe present research is devoted to the study of out-of-plane buckling of a truss with horizontal braces. The truss is a model of real roof truss scaled by factor ¼. A linear buckling and a non-linear analysis with geometric and material nonlinearity were carried out. The truss buckling and limit load for different stiffnesses and number of braces are found. Numerical analysis are verified by experiment. Threshold bracing stiffness...
-
The consideration to the dynamic systems parameter identification
PublikacjaIn this paper, a concept for continuous-time dynamic systems parameter identification using modulating function approach is presented. It refers to linear as well as selected non-linear systems. It shows the possibility of direct application without converting differential equation. In particular cases direct application can decrease the amount of computation in non-linear system identification, which generally requires Fourier...
-
Automated anonymization of sensitive data on production unit
PublikacjaThe article presents an approach to data anonymization with the use of generally available tools. The focus is put on the practical aspects of using open-source tools in conjunction with programming libraries provided by suppliers of industrial control systems. This universal approach shows the possibilities of using various operating systems as a platform for process data anonymization. An additional advantage of the described...
-
Evolutionary Sets of Safe Ship Trajectories: Evaluation of Individuals
PublikacjaThe paper presents a description of the evaluation phase of the Evolutionary Sets of Safe Ship Trajectories method. In general, the Evolutionary Sets of Safe Ship Trajectories method combines some of the assumptions of game theory with evolutionary programming and finds an optimal set of cooperating trajectories of all ships involved in an encounter situation. While developing a new version of this method, the au-thors decided...
-
Polyester sail technical woven fabric behaviour under uniaxial and biaxial tensile tests
PublikacjaThe paper is focused on the identification of mechanical properties of a sail technical woven fabric (yacht sailcloth polyester) style 480 AP with MTO (Medium Tempered Optimized) finish. The non-linear elastic behaviour of the fabric applied for sails is investigated under uniaxial and biaxial tensile tests. Comparison of non-linear elastic parameters with others polyester coated fabrics is made. This paper is intended to be an...
-
3D Buckling Analysis of a Truss with Horizontal Braces
PublikacjaThe present research is devoted to the study of out–of–plane buckling of a truss with horizontal braces. The truss is a model of real roof truss scaled by factor 1=4. A linear buckling and a non–linear analysis with geometric and material non–linearity were carried out. The truss buckling and limit load for different stiffnesses and number of braces are found. Numerical analysis are verified by experiment. Threshold bracing stiffness condition...
-
Krzywa przejściowa z wygładzoną krzywizną dla dróg kolejowych
PublikacjaW pracy przedstawiono koncepcję nowej postaci krzywej przejściowej, o liniowym przebiegu krzywizny na długości i wygładzonymi rejonami skrajnymi. Może ona stanowić alternatywę dla tzw. gładkich krzywych przejściowych, o nieliniowym przebiegu krzywizny na całej długości. Została tutaj wykorzystana uniwersalna metoda identyfikacji krzywych przejściowych za pomocą równań różniczkowych. Wyznaczono ogólne równania krzywizny oraz odpowiednie...
-
Stability of roof trusses stiffened by corrugated sheets
PublikacjaThe present parametric study is devoted to the stability analysis of a set of trusses stiffened by decking of corrugated steel sheets. For different parameters of corrugated sheets the critical loading of the roof is calculated. In the parametrical analysis the threshold bracing condition of the roof is obtained. Then the geometrically non-linear analysis of trusses braced by corrugated sheets was conducted. As a results of non-linear...
-
Improving the accuracy of bearing in active sonar with cylindrical array using spectrum estimation.
PublikacjaThe articles presents a method for improving the accuracy of bearing in multibeam sonar with a cylindrical array. Based on a known spatial spectrum estimation technique, the method has been successfully used in linear array systems. Its accuracy of bearing is satisfactory and ensures a relatively low computational effort. The article discusses certain simplifications and assumptions to adapt the spatial spectrum estimation technique...
-
The influence of pressure drop on the working volume of a hydraulic motor
PublikacjaReliability and maintenance analysis of hydraulic positive machines basicly focused on the processes of their wear and failure. But in order to correctly assess the mechanical and volumetric efficiency of a hydraulic motor, both at the stage of development research or at the stage of control tests during its exploitation, the working volume of this motor must be correctly determined. Therefore this paper proposes a new method of...
-
Impact of Low Switching-to-Fundamental Frequency Ratio on Predictive Current Control of PMSM: A simulation study
PublikacjaPredictive current control algorithms for permanent magnet synchronous (PMSM) drives rely on an assumption that within short intervals motor currents can be approximated with linear functions. This approximation may result either from discretizing the motor model or from simplifications applied to the continuous-time model. As the linear current approximation has been recognized as inaccurate in case when the drive operates with...
-
Integrating heterogeneous systems with high-dependability requirements by means of web services
PublikacjaWeb services are commonly used on boundaries of heterogeneous components in Service Oriented Architecture (SOA) as they provide a universal communication channel not bound to any particular programming language or run-time platform. This paper describes how web services can be used to integrate heterogeneous systems which serve purposes requiring high dependability, reliability and availability. Examples of such systems include...
-
Adaptive Personal Tuning of Sound in Mobile Computers
PublikacjaAn integrated methodology for enhancing audio quality in mobile computers is presented. The key features are adaptation of the characteristics of their acoustic track to changing acoustic conditions of the environment and to users’ individual preferences. Signal processing algorithms are introduced that concern: linearization of frequency response, dialogue intelligibility enhancement, and dynamics processing tuned up to the users’...
-
On some Zarankiewicz numbers and bipartite Ramsey Numbers for Quadrilateral
PublikacjaThe Zarankiewicz number z ( m, n ; s, t ) is the maximum number of edges in a subgraph of K m,n that does not contain K s,t as a subgraph. The bipartite Ramsey number b ( n 1 , · · · , n k ) is the least positive integer b such that any coloring of the edges of K b,b with k colors will result in a monochromatic copy of K n i ,n i in the i -th color, for some i , 1 ≤ i ≤ k . If n i = m for all i , then we denote this number by b k ( m )....
-
Zarządzanie procesem innowacyjnym w polskich małych i średnich przedsiębiorstwach
PublikacjaZarządzanie procesem innowacyjnym stanowi wyzwanie dla menedżerów, nie tylko dużych przedsiębiorstw. Przedsiębiorcy stają przed problemem czy i jakie działania przed-sięwziąć, aby efektywnie konkurować na rynku. Poziom innowacyjności polskich małych i średnich przedsiębiorstw nie świadczy dobrze o sposobie zarządzania procesem innowacyjnym. Jednak w nowym okresie programowania pojawią się środki przeznaczone na wdrożenia w firmach....
-
Inteligentne systemy agentowe w systemach zdalnego nauczania
PublikacjaW pracy omówiono inteligentne systemy agentowe w systemach zdalnego nauczania. Po krótkim przedstawieniu ewolucji systemów zdalnego nauczania i ich wybranych zastosowań, scharakteryzowano inteligentne agenty edukacyjne. Omówiono wykorzystanie programowania genetycznego oraz algorytmów neuro-ewolucyjnych do implementacji oprogramowania tej klasy. Ponadto, nawiązano do modelu Map-Reduce, który efektywnie wspiera architekturę nowoczesnego...
-
Analytical method of modelling the geometric system of communication route
PublikacjaThe paper presents a new analytical approach to modelling the curvature of a communication route by making use of differential equations. The method makes it possible to identify both linear and nonlinear curvature. It enables us to join curves of the same or opposite signs of curvature. Solutions of problems for linear change of curvature and selected variants of nonlinear curvature in polynomial and trigonometric form were analyzed....
-
Innovative Cold-formed GEB Section under Bending
PublikacjaThis paper is concerned with the numerical bending capacity study of the innovative cold-formed GEB sections. Both linear buckling analysis and non-linear static analysis incorporating geometric and material nonlinearity were carried out employing a shell structural model. The magnitudes of buckling load and limit load with respect to GEB section depth and thickness were obtained. The opened cold-formed section was tested assuming...
-
Comparison of GPS tropospheric delays derived from two consecutive EPN reprocessing campaigns from the point of view of climate monitoring
PublikacjaThe main purpose of this research was to acquire information about consistency of ZTD (zenith total delay) linear trends and seasonal components between two consecutive GPS reprocessing campaigns. The analysis concerned two sets of the ZTD time series which were estimated during EUREF (Reference Frame Sub-Commission for Europe) EPN (Permanent Network) reprocessing campaigns according to 2008 and 2015 MUT AC (Military University...
-
Improvement of ships seakeeping performance by application of the full-scale cfd simulations
PublikacjaThe ship’s fuel economy is increasingly important. The paper presents the effect of redesigning a case study ship for increasing seakeeping performance. Selected wave parameters reflect very difficult operational conditions existing on the North Sea and the Baltic Sea. The analyzed variants of a case study ship represent the latest developments of modern hull forms. The concepts similar to V-shaped bulbous bow, X-bow, X-aft, B-bow...
-
Investigation of natural frequencies of axially loaded thin-walled columns
PublikacjaThe paper deals with correlation between natural frequencies of two steel thin-walled columns and the corresponding applied load. The structures are made of cold-formed lipped channel sections. The columns lengths were assumed to follow two buckling patterns – global flexural and flexural-torsional buckling. In the thicker structure two material models were considered – linearly-elastic and elastic-perfectly plastic. Numerical...
-
An extended basis inexact shift–invert Lanczos for the efficient solution of large-scale generalized eigenproblems
PublikacjaThis paper proposes a technique, based on the Inexact Shift–Invert Lanczos (ISIL) method with Inexact Jacobi Orthogonal Component Correction (IJOCC) refinement, and a preconditioned conjugate-gradient (PCG) linear solver with multilevel preconditioner, for finding several eigenvalues for generalized symmetric eigenproblems. Several eigenvalues are found by constructing (with the ISIL process) an extended projection basis. Presented...
-
Stability and load bearing capacity of a truss with elastic braces
PublikacjaThe present paper is devoted to the numerical and experimental investigations of stability of a truss stiffened by elastic braces. The model of a real roof truss scaled by factor ¼ was investigated. In the research the linear buckling and non-linear static analysis of the truss shell and beam model with geometric and material non-linearity is presented. The initial imperfections were assumed in the form of the first buckling mode....
-
Data-driven models for fault detection using kernel pca:a water distribution system case study
PublikacjaKernel Principal Component Analysis (KPCA), an example of machine learning, can be considered a non-linear extension of the PCA method. While various applications of KPCA are known, this paper explores the possibility to use it for building a data-driven model of a non-linear system-the water distribution system of the Chojnice town (Poland). This model is utilised for fault detection with the emphasis on water leakage detection....
-
Use of ICT infrastructure for teaching HPC
PublikacjaIn this paper we look at modern ICT infrastructure as well as curriculum used for conducting a contemporary course on high performance computing taught over several years at the Faculty of Electronics Telecommunications and Informatics, Gdansk University of Technology, Poland. We describe the infrastructure in the context of teaching parallel programming at the cluster level using MPI, node level using OpenMP and CUDA. We present...
-
Swarm Algorithms in Modern Engineering Optimization Problems
PublikacjaComplexity of today engineering problems is constantly increasing. Scientists no longer are facing issues, for which simple, mathematical programming methods are sufficient. Issues like autonomic vehicle navigation or classification are considered to be challenging, and although there exist valid means to solve them, in some cases there still is some place for improvement. With emergence of a new type of optimization techniques...
-
The Impact of EU Funds on the Development of Business Environment Institutions – Research Results in Pomeranian Voivodeship in Poland
PublikacjaThe paper presents the main findings of the research conducted to assess the impact of EU funds on development of business environment infrastructure in Pomeranian Voivodeship in Poland, and – indirectly – on the growth of the innovation capacity of Pomeranian entrepreneurs. The research shows that support of ROP PV 2007-2013 contributed to the creation of multifunctional business infrastructure throughout the Pomorskie Voivodship,...
-
An empirical study on the impact of AspectJ on software evolvability
PublikacjaSince its inception in 1996, aspect-oriented programming (AOP) has been believed to reduce the effort required to maintain software systems by replacing cross-cutting code with aspects. However, little convincing empirical evidence exists to support this claim, while several studies suggest that AOP brings new obstacles to maintainability. This paper discusses two experiments conducted to evaluate the impact of AspectJ (the most...
-
Applications of Tensor Analysis in Continuum Mechanics
PublikacjaA tensor field is a tensor-valued function of position in space. The use of tensor fields allows us to present physical laws in a clear, compact form. A byproduct is a set of simple and clear rules for the representation of vector differential operators such as gradient, divergence, and Laplacian in curvilinear coordinate systems. The tensorial nature of a quantity permits us to formulate transformation rules for its components...
-
PI observer stability and application in an induction motor control system
PublikacjaThe paper discusses the problem of stability of a proportional-integral Luenberger observer, designated for the state variables reconstruction of a linear, time-invariant dynamical system.
-
Common Independence in Graphs
PublikacjaAbstract: The cardinality of a largest independent set of G, denoted by α(G), is called the independence number of G. The independent domination number i(G) of a graph G is the cardinality of a smallest independent dominating set of G. We introduce the concept of the common independence number of a graph G, denoted by αc(G), as the greatest integer r such that every vertex of G belongs to some independent subset X of VG with |X|...
-
2-bondage in graphs
PublikacjaA 2-dominating set of a graph G=(V,E) is a set D of vertices of G such that every vertex of V(G)D has at least two neighbors in D. The 2-domination number of a graph G, denoted by gamma_2(G), is the minimum cardinality of a 2-dominating set of G. The 2-bondage number of G, denoted by b_2(G), is the minimum cardinality among all sets of edges E' subseteq E such that gamma_2(G-E') > gamma_2(G). If for every E' subseteq E we have...
-
On Computational Aspects of Greedy Partitioning of Graphs
PublikacjaIn this paper we consider a problem of graph P-coloring consisting in partitioning the vertex set of a graph such that each of the resulting sets induces a graph in a given additive, hereditary class of graphs P. We focus on partitions generated by the greedy algorithm. In particular, we show that given a graph G and an integer k deciding if the greedy algorithm outputs a P-coloring with a least k colors is NP-complete for an infinite...
-
New potential functions for greedy independence and coloring
PublikacjaA potential function $f_G$ of a finite, simple and undirected graph $G=(V,E)$ is an arbitrary function $f_G : V(G) \rightarrow \mathbb{N}_0$ that assigns a nonnegative integer to every vertex of a graph $G$. In this paper we define the iterative process of computing the step potential function $q_G$ such that $q_G(v)\leq d_G(v)$ for all $v\in V(G)$. We use this function in the development of new Caro-Wei-type and Brooks-type...
-
The computational complexity of the backbone coloring problem for bounded-degree graphs with connected backbones
PublikacjaGiven a graph G, a spanning subgraph H of G and an integer λ>=2, a λ-backbone coloring of G with backbone H is a vertex coloring of G using colors 1, 2, ..., in which the color difference between vertices adjacent in H is greater than or equal to lambda. The backbone coloring problem is to find such a coloring with maximum color that does not exceed a given limit k. In this paper, we study the backbone coloring problem for bounded-degree...
-
NON-LINE ANALYSIS OF STIFFNESS IN COMPRESSION CONDITIONS
PublikacjaThe analyzes were aimed at demonstrating the influence of parameters describing the deformation of the structure on the uncertainty of critical force, and the impact of technological imperfections on stress uncertainty in compression conditions. In a linear buckling analysis, the problem is considered only for the initial, permanent state of the stiffness matrix. In the case of demonstrating the influence of initial deformations...
-
Improvement of ships seakeeping performance by application of the Full-scale CFD simulations – case study
PublikacjaThe ship’s fuel economy is increasingly important. The paper presents the effect of redesigning a case study ship for increasing seakeeping performance. Selected wave parameters reflects very difficult operational con-ditions existing on the North Sea and the Baltic Sea. The analyzed variants of a case study ship represent the latest developments of modern hull forms. The concepts similar to V-shaped bulbous bow, X-bow, X-aft,...
-
Tuning matrix-vector multiplication on GPU
PublikacjaA matrix times vector multiplication (matvec) is a cornerstone operation in iterative methods of solving large sparse systems of equations such as the conjugate gradients method (cg), the minimal residual method (minres), the generalized residual method (gmres) and exerts an influence on overall performance of those methods. An implementation of matvec is particularly demanding when one executes computations on a GPU (Graphics...
-
FPGA-Based System for Electromagnetic Interference Evaluation in Random Modulated DC/DC Converters
PublikacjaField-Programmable Gate Array (FPGA) provides the possibility to design new “electromagnetic compatibility (EMC) friendly” control techniques for power electronic converters. Such control techniques use pseudo-random modulators (RanM) to control the converter switches. However, some issues connected with the FPGA-based design of RanM, such as matching the range of fixed-point numbers, might be challenging. The modern programming...
-
Różne kształty pobudzeń optymalnych dla celów identyfikacji parametrów modeli systemów farmakokinetycznych
PublikacjaW pracy przedstawiono optymalizację pobudzeń dla celów identyfikacji parametrycznej kompartmentowych modeli systemów farmakokinetycznych opisanych w kategorii zmiennych stanu. Stosowana w pracy funkcja kryterialna to ślad macierzy Fishera (optymalizacja czułościowa). Rozważono klasę pobudzeń optymalnych o ograniczonej energii, ze względu na występowanie w przypadku wielu leków skutków ubocznych zależnych od szybkości podania leku....
-
Analysing and processing of geotagged social media
PublikacjaThe use of location based data analysing tools is an important part of geomarketing strategies among entrepreneurs. One of the key elements of interest is social media data shared by the users. This data is analysed both for its content and its location information, the results help to identify trends represented in the researched regions. In order to verify the possibilities of analysing and processing of geotagged social media...
-
ADAPTIVE BACKSTEPPING TRACKING CONTROL FOR OVER-ACTUATED DP MARINE VESSEL WITH INERTIA UNCERTAINTIES
PublikacjaDesigning a tracking control system for an over-actuated dynamic positioning marine vessel in the case of insufficient information on environmental disturbances, hydrodynamic damping, Coriolis forces and vessel inertia characteristics is considered. The designed adaptive MIMO backstepping control law with control allocation is based on Lyapunov control theory for cascaded systems to guarantee stabilization of the marine vessel...
-
Power efficient thrust allocation algorithms in design of dynamically positioned ships
PublikacjaAssessment of power consumption on a Dynamically Positioned (DP) ship in the early design stage can assist crucial design choices. The study presents a comparison between two algorithms of optimal thrust allocation in a propulsion system for an over-actuated DP ship. Applied algorithms were Quadratic Programming (QP) and Non- dominated Sorting Genetic Algorithm II (NSGAII). Based on both approaches, tools were developed for ship...
-
Evolutionary Sets Of Safe Ship Trajectories: A New Approach To Collision Avoidance
PublikacjaThe paper introduces a new method of solving multi-ship encounter situations for both open waters and restricted water regions. The method, called evolutionary sets of safe trajectories combines some of the assumptions of game theory with evolutionary programming and aims to find optimal set of safe trajectories of all ships involved in an encounter situation. In a two-ship encounter situation it enables the operator of an on-board...