Filtry
wszystkich: 1825
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: INTEGER LINEAR PROGRAMMING
-
Measurements of drive system properties of the "Magnetic SpeedLine" ultra-fast robot prototype for IML labeling
Dane BadawczeTests of the drive system of the ultra-fast robot "SpeedLine magnetic" for labeling with the IML method were carried out in order to analyze the influence of the operating parameters of the drive system on the correctness and quality of the drive system.
-
Data for meta-analysis on interversions reducing car use
Dane BadawczeThis dataset contains the results of a meta-analysis of reported interventions reducing car use. To standardise intervention effects reported in different scales, the Hedges’ g effect size measure was used (ratio of raw difference in samples’ means and pooled standard deviation). The standardised studies outcomes, along with overall outcome, were...
-
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:...
-
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...
-
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...
-
Paired domination subdivision and multisubdivision numbers of graphs
PublikacjaThe paired domination subdivision number sdpr(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 paired domination number of G. We prove that the decision problem of the paired domination subdivision number is NP-complete even for bipartite graphs. For this reason we define the paired domination muttisubdivision number of a nonempty graph...
-
Dilatometry results of SrTi0.50Fe0.50O3-d powder
Dane BadawczeThis dataset contains results of dilatometry measurements of SrTi0.50Fe0.50O3-d powder. The investigation of the linear thermal expansion was carried out using a Netzsch DIL402 dilatometer. The SrTi0.50Fe0.50O3-d powder was formed into cylinders and heat up to 1100 °C with a heating rate of 5 °C min−1, dwelled for 15 min, and then cooled at a rate of...
-
Dilatometry results of SrTi0.65Fe0.35O3-d powder
Dane BadawczeThis dataset contains results of dilatometry measurements of SrTi0.65Fe0.35O3-d powder. The investigation of the linear thermal expansion was carried out using a Netzsch DIL402 dilatometer. The SrTi0.65Fe0.35O3-d powder was formed into cylinders and heat up to 1100 °C with a heating rate of 5 °C min−1, dwelled for 15 min, and then cooled at a rate of...
-
Dilatometry results of SrTi0.30Fe0.70O3-d powder
Dane BadawczeThis dataset contains results of dilatometry measurements of SrTi0.30Fe0.70O3-d powder. The investigation of the linear thermal expansion was carried out using a Netzsch DIL402 dilatometer. The SrTi0.30Fe0.70O3-d powder was formed into cylinders and heat up to 1100 °C with a heating rate of 5 °C min−1, dwelled for 15 min, and then cooled at a rate of...
-
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...
-
Jacek Poplatek dr inż. arch.
OsobyJacek Poplatek – adiunkt w Studio Architektury Ochrony Zdrowia należącym do Katedry Architektury Miejskiej i Przestrzeni Nadwodnych. W pracy naukowo-badawczej zajmuje się głównie problematyką programowania i projektowania obiektów architektury służby zdrowia, w tym głównie szpitali. Przedmiotem zainteresowania są także badania XIX wiecznej architektury historycznej Sopotu i ochrony jej dziedzictwa. Jest autorem wielu publikacji...
-
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...
-
IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning
Konferencje -
ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
Konferencje -
ACM Conference on Object Oriented Programming Systems Languages and Applications
Konferencje -
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Konferencje -
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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’...
-
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...
-
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 )....
-
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...
-
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....
-
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...
-
Process engineering in circular economy
Kursy OnlineDefinition and principles of the circular economy (CE). The transition from a linear model to a circular model. Business models for the CE. Circular design and innovation. CE assessment carbon footprint, life cycle assessment. Case studies of the cities implementing the CE concept. CE policy and legislation (EU and Poland). Wastewater treatment plants as an element of the CE. Energy and nutrient recovery technologies in wastewater...
-
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...
-
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,...
-
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....
-
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.
-
Database of the estimations of the numbers of simplices of triangulation of some classical Lie groups
Dane BadawczeIt is know that any smooth manifold can be triangulated. The number of simplices of triangulation of a given manifold depends on its topological and combinatorial structure. The data consists of the lower bounds for the numbers of simplices of each dimension of any triangulation of classical Lie groups U(n), SU(n), Sp(n), and SO(n) for n up to 25. Each...
-
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|...