Filtry
wszystkich: 1832
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: INTEGER LINEAR PROGRAMMING
-
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...
-
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|...
-
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,...
-
International Workshop on High-Level Parallel Programming Models and Supportive Environments
Konferencje -
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...
-
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...
-
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...
-
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....
-
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...
-
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...
-
Experimentally feasible semi-device-independent certification of four-outcome positive-operator-valued measurements
PublikacjaRecently the quantum information science community devoted a lot of attention to the theoretical and practical aspects of generalized measurements, the formalism of all possible quantum operations leading to acquisition of classical information. On the other hand, due to imperfections present in quantum devices, and limited thrust to them, a trend of formulating quantum information tasks in a semi-device-independent manner emerged....
-
Distance measurement errors in silent FM-CW sonar with matched filtering
PublikacjaThe secretiveness of sonar operation can be achieved by using continuous frequency-modulated sounding signalswith reduced power and significantly prolonged repeat time. The application of matched filtration in the sonarreceiver provides optimal conditions for detection against the background of white noise and reverberation, and avery good resolution of distance measurements of motionless targets. The article shows that target...
-
Stability of an imperfect truss loaded by wind
PublikacjaThe present paper is devoted to the numerical research of stability of a truss loaded by wind and stiffened by elastic supports located at the top chord. The lateral braces or lateral and torsional braces were taken into account. In this paper, the linear buckling analysis re- sults for the beam and shell model were presented. Two different shapes of initial geometric imperfections were considered in the non-linear static analysis...
-
Silver complexes stabilized by large silanethiolate ligands – crystal structures and luminescence properties
PublikacjaBulky silanethiolate and disiladithiolate ligands were applied to synthesize one mononuclear and three trinuclear silver complexes including two cyclic “microclusters” and a linear tri-nuclear silanethiolate complex. All obtained compounds are characterized by X-ray diffraction and FT-IR. NMR and emission spectroscopies were used where possible. The first trinuclear anionic silver thiolate is structurally characterized. The influence...
-
Polypyrrole based gas sensor for ammonia detection
PublikacjaThe nature of polypyrrole response to toxic gases does not allow using the sensor in a conventional way. The main aim of this study is to acquire the information about the concentration using different approaches: a linear approximation, a non-linear approximation and a tangent method. In this paper a two-steps procedure for sensor response measurements has been utilized. Polypyrrole films were electrochemically synthesized on...
-
Analysis of sloping brace stiffness influence on stability and load bearing capacity of a truss
PublikacjaThe paper is focused on the numerical study of stability and load bearing capacity of a truss with side elastic braces. The structure is made in reality. The rotational and sliding brace stiffnesses were taken into account. Linear buckling analysis and non-linear static analysis with geometric and material nonlinearity were performed for the beam and shell model of the truss with respect to the angle of sloping braces. As a result...
-
Fundamentals of classical and analytical mechanics
PublikacjaThe book is a monographic description of the present attempt to Newtonian and Lagrangian mechanics. But also, it could be found as a supplementary educational material useful for the graduate courses in mechanics taken by students majoring in mechanical engineering, physics or physical science. In the book you can find a brief introduction to concepts and principles of algebra of vectors; Kinematics of particles, mainly focused...
-
Liniowe i nieliniowe modele wielowymiarowej kalibracji do predykcji stężenia substancji z pomiarów woltamperometrycznych
PublikacjaPomiary woltamperometryczne znajdują zastosowanie w wielu dziedzinach nauki i techniki, np. w przemyśle farmaceutycznym. Dane uzyskane w wyniku takich pomiarów zawierają informację odnośnie rodzaju i stężenia badanej substancji, jednakże są one często kłopotliwe w bezpośredniej interpretacji. Z tego powodu, istnieje konieczność wykorzystania odpowiednich metod matematycznych, które umożliwiają uzyskanie bezpośredniej i precyzyjnej...
-
Raw data for the paper "Mutually polarizable QM/MM model with in situ optimized localized basis functions"
Dane BadawczeThis dataset contains raw data used to generate plots in the paper Mutually polarizable QM/MM model with in situ optimized localized basis functions. The paper is devoted to a second generation of the TINKTEP model -- an QM/MM approach combining linear-scaling DFT (ONETEP) and a polarizable force field (AMOEBA).
-
ANALYSIS OF BRACE STIFFNESS INFLUENCE ON STABILITY OF THE TRUSS
PublikacjaThe paper is devoted to the numerical and experimental research of stability of a truss with side elastic supports at the top chord. The structure is a model of a real roof truss scaled by factor ¼. The linear buckling analysis and non-linear static analysis were carried out. The buckling length factor for the compressed top chord was calculated and the limit load for the imperfect truss shell model with respect to brace stiffness...
-
Application of the Boundary Element Method for the Simulation of Two-dimensional Viscous Incompressible Flow
PublikacjaThe paper presents the application of an indirect variant of the boundary element method (BEM) to solve the two-dimensional steady flow of a Stokes liquid. In the BEM, a system of differential equations is transformed into integral equations. Thi smakes it possible to limit discretization to the border of the solution. Numerical discretization of the computational domain was performed with linear boundary elements, for which a...
-
A selection of PID type controller settings via LQR approach for two-wheeled balancing robot
PublikacjaThe problem of PID type controller tuning has been addressed in this paper. In particular, a method of selection of PD settings based on the solution of linear–quadratic optimisation problem using the energy criterion has been investigated. Thus, the possibility of transforming optimal settings of the linear–quadratic regulator into the settings of the controller in the classical control system has been given. The presented methodology...
-
METHOD FOR SHIP'S ROLLING PERIOD PREDICTION WITH REGARD TO NON-LINEARITY OF GZ CURVE
PublikacjaThe paper deals with the problem of prediction of the rolling period. A special emphasis is put on the practical application of the new method for rolling period prediction with regard to non-linearity of the GZ curve. The one degree-of-freedom rolling equation is applied with using the non-linear stiffness moment and linear damping moment formulas. A number of ships are considered to research the discrepancies between the pending...
-
Dynamic F-free Coloring of Graphs
PublikacjaA problem of graph F-free coloring consists in partitioning the vertex set of a graph such that none of the resulting sets induces a graph containing a fixed graph F as an induced subgraph. In this paper we consider dynamic F-free coloring in which, similarly as in online coloring, the graph to be colored is not known in advance; it is gradually revealed to the coloring algorithm that has to color each vertex upon request as well...
-
Simplified Approach for Broadband RF Testing of Low Loss Magneto-Dielectric Samples
PublikacjaIn this paper, an attractive measurement techniqueis proposed to retrieve the broadband permittivity and permeabil-ity of the magneto-dielectric materials. The proposed techniqueis quite novel which mitigates the major problems associatedwith the conventional broadband RF material characterizationtechniques such as numerical instability and phase uncertaintywhen the length of the sample exceeds...
-
Paired domination versus domination and packing number in graphs
PublikacjaGiven a graph G = (V(G), E(G)), the size of a minimum dominating set, minimum paired dominating set, and a minimum total dominating set of a graph G are denoted by γ (G), γpr(G), and γt(G), respectively. For a positive integer k, a k-packing in G is a set S ⊆ V(G) such that for every pair of distinct vertices u and v in S, the distance between u and v is at least k + 1. The k-packing number is the order of a largest kpacking and...
-
Metody strojenia regulatorów typu PID z wykorzystaniem technologii syntezy regulatorów od stanu
PublikacjaUkłady sterujące typu PID są jednymi z najbardziej popularnych regulatorów wykorzystywanych w układach regulacji. W związku z tym znanych jest szereg metod doboru wartości ich parametrów (nastaw). Obok różnych metod inżynierskich czy analitycznych strojenia tego typu regulatorów, dostępne są również podejścia bazujące na optymalizacji. Wskaźnikiem jakości znajdującym w nich zastosowanie jest np. całka z kwadratu uchybu. W artykule...
-
Mieszanie w klasie niejednorodnych łańcuchów Markowa i kwadratowych operatorów stochastycznych
PublikacjaRozprawa doktorska poświęcona jest zagadnieniu asymptotycznych własności w klasie nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym oraz w klasie kwadratowych operatorów stochastycznych. W pierwszej kolejności definiowane są różne rodzaje asymptotycznego zachowania (mieszania) niejednorodnych łańcuchów Markowa odpowiadające zbieżności w normowej i mocnej topologii operatorowej oraz omówione są relacje...
-
Inverse Flood Routing Using Simplified Flow Equations
PublikacjaThe paper considers the problem of inverse flood routing in reservoir operation strategy. The aim of the work is to investigate the possibility of determining the hydrograph at the upstream end based on the hydrograph required at the downstream end using simplified open channel flow models. To accomplish this, the linear kinematic wave equation, the diffusive wave equation and the linear Muskingum equation are considered. To achieve...
-
Stability of a truss under upward wind loading
PublikacjaThe present paper is devoted to the numerical investigations of stability of a truss under upward wind load. The truss is braced at its the upper cord. A structural variant including lateral braces, or lateral and torsional braces is considered. The research presents the problems of linear buckling and non-linear static analysis of the truss shell and beam model with geometric and material non-linearity are presented. The initial...
-
Biomass estimation using a length-weight relationship in beetle larvae (Coleoptera: Aphodiidae, Histeridae, Hydrophilidae, Staphylinidae) obtained from cow dung
PublikacjaThis research enabled the relationship between length and dry body mass to be determined for 158 beetle larvaetaken from cow dung in north-eastern Poland. The larvae were divided into three morphological types, for which the power and linear function of the body length-weight relationship were determined. The linear regression equation characterizes the relationship between body weight and...
-
M-integral for finite anti-plane shear of a nonlinear elastic matrix with rigid inclusions
PublikacjaThe path-independent M-integral plays an important role in analysis of solids with inhomogeneities. However, the available applications are almost limited to linear-elastic or physically non-linear power law type materials under the assumption of infinitesimal strains. In this paper we formulate the M-integral for a class of hyperelastic solids undergoing finite anti-plane shear deformation. As an application we consider the problem...
-
COLREGS compliance in Evolutionary Sets of Cooperating Ship Trajectories
PublikacjaIn general, Evolutionary Sets of Cooperating Ship Trajectories combine some of the assumptions of game theory with evolutionary programming and aim to find optimal set of cooperating trajectoriesof all ships involved in an encounter situation. In a two-ship encounter situation the method enables the operator of an on-board collision-avoidance system to predict the most probable behaviour of atarget and to plan the own manoeuvres...
-
Accurate modeling of quasi-resonant inverter fed IM drive
PublikacjaIn this paper wide-band modeling methodology of a parallel quasi-resonant dc link inverter (PQRDCLI) fed induction machine (IM) is presented. The modeling objective is early-design stage prediction of conductive electromagnetic interference (EMI) emissions of the considered converter fed IM drive system. Operation principles of the selected topology of PQRDCLI feeding IM drive are given. Modeling of the converter drive system is...
-
Ergonomic Aspects of Development of Architecture in the Context of Sanitary and Hygiene Safety
PublikacjaAbstract Ergonomics answers the need of safe development of space by creating spatial forms which help to implement the safety procedures and limit the threats involved both in ordinary use of the spaces and in case of unforeseen events. Using the knowledge of ergonomics and architecture on the basis of defining the routes of germ transmission, allows to limit the spread of those organisms. Ergonomics of developing architectural...
-
Molywood: streamlining the design and rendering of molecular movies
PublikacjaMotivation High-quality dynamic visuals are needed at all levels of science communication, from the conference hall to the classroom. As scientific journals embrace new article formats, many key concepts – particularly in structural biology – are also more easily conveyed as videos than still frames. Notwithstanding, the design and rendering of a complex molecular movie remain an arduous task. Here, we introduce Molywood, a robust...
-
Angular welding distortion - one sided fillet weld
Dane BadawczeWelding is the basic method of joining ship hull elements during its construction. However, this method of joining structural elements generates shrinks. Shrinks causes deformation of the entire welded structure, both linear and angular. In the shipbuilding industry, there is a tendency to oversize fillet welds, at the design as well as manufacturing...
-
Cyclic voltammetry curves for FTO/PANI:WO3 nanocomposite
Dane BadawczeThis dataset contains the results of kinetic electrochemical studies, carried out with cyclic voltammetry (CV) of FTO/PANI:WO3 nanocomposite at various scan rates: 10, 20, 50, 75, 100 and 200 mV/s. The electrolyte was 1M H2SO4 solution. The measurements were performed in a three electrode setup, and with Ag|AgCl|3M KCl as the reference electrode and...
-
Scheduling of compatible jobs on parallel machines
PublikacjaThe dissertation discusses the problems of scheduling compatible jobs on parallel machines. Some jobs are incompatible, which is modeled as a binary relation on the set of jobs; the relation is often modeled by an incompatibility graph. We consider two models of machines. The first model, more emphasized in the thesis, is a classical model of scheduling, where each machine does one job at time. The second one is a model of p-batching...
-
Flexural buckling and post-buckling of columns made of aluminium alloy
PublikacjaThe paper concerns flexural buckling and initial post-buckling of axially compressed columns made of aluminium alloy described by the Ramberg-Osgood relationship. The non-linear differential equation of the problem is derived using the stationary total energy principle and the assumptions of classical beam theory within a finite range. The approximate analytical solution of the equation leading to the buckling loads and initial...
-
Buckling and initial post-local buckling behaviour of cold-formed channel member flange
PublikacjaThe initial post-buckling behaviour of a cold-formed channel member flange after its local buckling is investigated. An axially compressed column or beam subjected to pure bending is considered. The member material is assumed to follow a linear stress-strain relationship. The governing non-linear differential equation of the problem is derived using the minimum total potential energy principle. An approximate solution for the equation...
-
Genetic Hybrid Predictive Controller for Optimized Dissolved-Oxygen Tracking at Lower Control Level
PublikacjaA hierarchical two-level controller for dissolvedoxygenreference trajectory tracking in activated sludge processeshas been recently developed and successfully validated on a realwastewater treatment plant. The upper level control unit generatestrajectories of the desired airflows to be delivered by theaeration system to the aerobic zones of the biological reactor. Anonlinear model predictive control algorithm is applied to designthis...
-
A simplified approach to determine the expiration date of certified reference material based on the results of monitoring long-term stability
PublikacjaAll components of the quality assurance (QA) system for measurement results depend heavily on certified reference materials (CRMs). There is a need for a comprehensive discussion of the stability study using the CRM statistical method. Monitoring involves periodic sampling and analysis of the CRM at predetermined intervals to continuously monitor stability without compromising its integrity. The obtained stability data is then...
-
Artificial Thermal Ageing of Polyester Reinforced and Polyvinyl Chloride Coated Technical Fabric
PublikacjaArchitectural fabric AF9032 has been subjected to artificial thermal ageing to determine changes of the material parameters of the fabric. The proposed method is based on the accelerated ageing approach proposed by Arrhenius. 300 mm x 50 mm samples were cut in the warp and fill directions and placed in a thermal chamber at 80 °C for up to 12 weeks or at 90 °C for up to 6 weeks. Then after one week of conditioning at ambient temperature,...
-
Method of determining the residual fluxes in transformer core
PublikacjaThe article presents the method of calculating the residual induction in transformer columns. The method is based on measurement of the magnetic induction in selected points around the transformer core. The values of residual induction are calculated as linear combination of the results of measurement.