Filtry
wszystkich: 2177
wybranych: 1796
-
Katalog
- Publikacje 1796 wyników po odfiltrowaniu
- Czasopisma 43 wyników po odfiltrowaniu
- Konferencje 28 wyników po odfiltrowaniu
- Osoby 53 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Kursy Online 19 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 233 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: CONSTRAINED OPTIMISATION
-
Molecular dynamics simulations reveal the balance of forces governing the formation of a guanine tetrad—a common structural unit of G-quadruplex DNA
PublikacjaG-quadruplexes (G4) are nucleic acid conformations of guanine-rich sequences, in which guanines are arranged in the square-planar G-tetrads, stacked on one another. G4 motifs form in vivo and are implicated in regulation of such processes as gene expression and chromosome maintenance. The structure and stability of various G4 topologies were determined experimentally; however, the driving forces for their formation are not fully...
-
Using Minimum Actuators to Control Shape and Stress of a Double Layer Spherical Model Under Gravity and Lateral Loadings
PublikacjaSpherical domes are picturesque structures built in developed countries to attract tourists. Due to horizontal and vertical overloading, the structures’ attractive shapes may be disturbed, and some members' stress may exceed the elastic level. In this paper, the shape and stress of a deformed double-layer spherical numerical model due to simultaneous lateral and vertical loadings are controlled, meanwhile, the number of actuators...
-
Accurate Modeling of Antenna Structures by Means of Domain Confinement and Pyramidal Deep Neural Networks
PublikacjaThe importance of surrogate modeling techniques has been gradually increasing in the design of antenna structures over the recent years. Perhaps the most important reason is a high cost of full-wave electromagnetic (EM) analysis of antenna systems. Although imperative in ensuring evaluation reliability, it entails considerable computational expenses. These are especially pronounced when carrying out EM-driven design tasks such...
-
Rapid tolerance‐aware design of miniaturized microwave passives by means of confined‐domain surrogates
PublikacjaThe effects of uncertainties, primarily manufacturing tolerances but also incomplete information about operating conditions or material parameters, can be detrimental to the performance of microwave components. Quantification of such effects is essential to ensure a meaningful evaluation of the structure, in particular, its reliability under imperfect fabrication procedures. The improvement of the circuit robustness can be achieved...
-
Decision support system for design of long distance heat transportation system
PublikacjaDistrict Heating (DH) systems are commonly supplied using local heat sources. Nowadays, modern insulation materials allow for effective and economically viable heat transportation over long distances (over 20 km). The paper proposes a Decision Support System (DSS) for optimized selection of design and operating parameters of a long distance Heat Transportation System (HTS). The method allows for evaluation of feasibility and effectiveness...
-
Energy-Aware High-Performance Computing: Survey of State-of-the-Art Tools, Techniques, and Environments
PublikacjaThe paper presents state of the art of energy-aware high-performance computing (HPC), in particular identification and classification of approaches by system and device types, optimization metrics, and energy/power control methods. System types include single device, clusters, grids, and clouds while considered device types include CPUs, GPUs, multiprocessor, and hybrid systems. Optimization goals include various combinations of...
-
Application of polyethylene glycol-coated iron oxide nanoparticles for magnetic solid phase extraction of copper from seawater samples and its determination by graphite furnace atomic absorption spectrometry using response surface methodology for optimization of extraction
Publikacja -
Performance-Driven Surrogate Modeling of High-Frequency Structures
PublikacjaThe development of modern high-frequency structures, including microwave and antenna components, heavily relies on full-wave electromagnetic (EM) simulation models. Notwithstanding, EM-driven design entails considerable computational expenses. This is especially troublesome when solving tasks that require massive EM analyzes, parametric optimization and uncertainty quantification be-ing representative examples. The employment of...
-
Integration of Services into Workflow Applications
PublikacjaDescribing state-of-the-art solutions in distributed system architectures, Integration of Services into Workflow Applications presents a concise approach to the integration of loosely coupled services into workflow applications. It discusses key challenges related to the integration of distributed systems and proposes solutions, both in terms of theoretical aspects such as models and workflow scheduling algorithms, and technical...
-
Controlled English Interface for Knowledge Bases
PublikacjaThis paper describes the approach to interface for OWL Knowledge Bases based on Controlled English that is transformed directly to OWL 2 expressions and back. Two possible modes enable usage of the interface to specify Terminology, World Description as well as Integrity Constrains. Knowledge Base then can be validated against the Integrity Constrains to enable its continuous validation.
-
Constructing a map of an anonymous graph: applications of universal sequences
PublikacjaWe study the problem of mapping an unknown environmentrepresented as an unlabelled undirected graph. A robot (or automaton)starting at a single vertex of the graph G has to traverse the graph and return to its starting point building a map of the graph in the process. We are interested in the cost of achieving this task (whenever possible) in terms of the number of edge traversal made by the robot. Another optimization criteria...
-
Performance-Driven Inverse/Forward Modeling of Antennas in Variable-Thickness Domains
PublikacjaDesign of contemporary antenna systems is a challenging endeavor. The difficulties are partially rooted in stringent specifications imposed on both electrical and field characteristics, demands concerning various functionalities, but also constraints imposed upon the physical size of the radiators. Furthermore, conducting the design process at the level of full-wave electromagnetic (EM) simulations, otherwise dictated by reliability,...
-
Determination of stepped plate thickness distribution using guided waves and compressed sensing approach
PublikacjaGuided waves recently have attracted significant interest as a very promising research area. The signals registered by a specially designed sensor network are processed to assess the state of the tested structure. Despite the constant development of novel damage detection algorithms employing guided waves, the phenomenon of wave propagation still needs detailed recognizing and understanding for the further progress of non-destructive...
-
Hybrid no-signaling-quantum correlations
PublikacjaFundamental investigations in non-locality have shown that while the no-signaling principle alone is not sufficient to single out the set of quantum non-local correlations, local quantum mechanics and no-signaling together exactly reproduce the set of quantum correlations in the two-party Bell scenario. Here, we introduce and study an intermediate hybrid no-signaling quantum set of non-local correlations that we term HNSQ in the...
-
Packing [1,Delta]-factors in graphs of small degree
PublikacjaRozważano problem znalezienia w grafie zadanej liczby k krawędziowo rozłącznych [1,Delta]-faktorów, gdzie Delta oznacza stopień grafu. Problem ten można rozwiązać w czasie liniowym dla k=2, jest on jednak NP-trudny dla każdego k>=3. Pokazano, że wariant minimalizacjny problemu dla k=2 jest NP-trudny dla grafów planarnych podkubicznych, jednak w ogólności istnieje algorytm (42 Delta - 30) / (35 Delta - 21) - aproksymacyjny.
-
The convex domination subdivision number of a graph
PublikacjaLet G = (V;E) be a simple graph. A set D\subset V is a dominating set of G if every vertex in V - D has at least one neighbor in D. The distance d_G(u, v) between two vertices u and v is the length of a shortest (u, v)-path in G. An (u, v)-path of length d_G(u; v) is called an (u, v)-geodesic. A set X\subset V is convex in G if vertices from all (a, b)-geodesics belong to X for any two vertices a, b \in X. A set X is a convex dominating...
-
An O ( n log n ) algorithm for finding edge span of cacti
PublikacjaLet G=(V,E) be a nonempty graph and xi be a function. In the paper we study the computational complexity of the problem of finding vertex colorings c of G such that: (1) |c(u)-c(v)|>=xi(uv) for each edge uv of E; (2) the edge span of c, i.e. max{|c(u)-c(v)|: uv belongs to E}, is minimal. We show that the problem is NP-hard for subcubic outerplanar graphs of a very simple structure (similar to cycles) and polynomially solvable for...
-
Zero-visibility cops and robber and the pathwidth of a graph
PublikacjaWe examine the zero-visibility cops and robber graph searching model, which differs from the classical cops and robber game in one way: the robber is invisible. We show that this model is not monotonic. We show that the zero-visibility copnumber of a graph is bounded above by its pathwidth and cannot be bounded below by any nontrivial function of the pathwidth. As well, we define a monotonic version of this game and show that the...
-
Sensitivity analysis based on non-intrusive regression-based polynomial chaos expansion for surgical mesh modelling
PublikacjaThe modelling of a system containing implants used in ventral hernia repair and human tissue suffers from many uncertainties. Thus, a probabilistic approach is needed. The goal of this study is to define an efficient numerical method to solve non-linear biomechanical models supporting the surgeon in decisions about ventral hernia repair. The model parameters are subject to substantial variability owing to, e.g., abdominal wall...
-
Computational aspects of greedy partitioning of graphs
PublikacjaIn this paper we consider a variant of graph partitioning consisting in partitioning the vertex set of a graph into the minimum number of sets such that each of them induces a graph in hereditary class of graphs P (the problem is also known as P-coloring). We focus on the computational complexity of several problems related to greedy partitioning. In particular, we show that given a graph G and an integer k deciding if the greedy...
-
Secure Italian domination in graphs
PublikacjaAn Italian dominating function (IDF) on a graph G is a function f:V(G)→{0,1,2} such that for every vertex v with f(v)=0, the total weight of f assigned to the neighbours of v is at least two, i.e., ∑u∈NG(v)f(u)≥2. For any function f:V(G)→{0,1,2} and any pair of adjacent vertices with f(v)=0 and u with f(u)>0, the function fu→v is defined by fu→v(v)=1, fu→v(u)=f(u)−1 and fu→v(x)=f(x) whenever x∈V(G)∖{u,v}. A secure Italian dominating...
-
On zero-error codes produced by greedy algorithms
PublikacjaWe present two greedy algorithms that determine zero-error codes and lower bounds on the zero-error capacity. These algorithms have many advantages, e.g., they do not store a whole product graph in a computer memory and they use the so-called distributions in all dimensions to get better approximations of the zero-error capacity. We also show an additional application of our algorithms.
-
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...
-
Proximal primal–dual best approximation algorithm with memory
PublikacjaWe propose a new modified primal–dual proximal best approximation method for solving convex not necessarily differentiable optimization problems. The novelty of the method relies on introducing memory by taking into account iterates computed in previous steps in the formulas defining current iterate. To this end we consider projections onto intersections of halfspaces generated on the basis of the current as well as the previous...
-
Approach Manoeuvre During Emergency Ship-to-Ship Transfer Operation with Oil Spill
PublikacjaOne of the major activities during Ship to Ship (STS) transfer operation at sea is to safe approach the Ship to be Lightered (SBL) which moves on a constant heading with slow speed or drifting. In the paper described the manoeuvring problem for approaching during emergency STS transfer operation with oil spill. The approach manoeuvre is considered as a sequence of navigation manoeuvres in specific navigational environment with...
-
Reduction of CO2 Emissions from Offshore Combined Cycle Diesel Engine-Steam Turbine Power Plant Powered by Alternative Fuels
PublikacjaDiverse forms of environmental pollution arise with the introduction of materials or energy that exert adverse effects on human health, climate patterns, ecosystems, and beyond. Rigorous emission regulations for gases resulting from fuel combustion are being enforced by the European Union and the International Maritime Organization (IMO), directed at maritime sectors to mitigate emissions of SOx, NOx, and CO2. The IMO envisions...
-
Parallelization of large vector similarity computations in a hybrid CPU+GPU environment
PublikacjaThe paper presents design, implementation and tuning of a hybrid parallel OpenMP+CUDA code for computation of similarity between pairs of a large number of multidimensional vectors. The problem has a wide range of applications, and consequently its optimization is of high importance, especially on currently widespread hybrid CPU+GPU systems targeted in the paper. The following are presented and tested for computation of all vector...
-
Low-Cost Modeling of Microwave Components by Means of Two-Stage Inverse/Forward Surrogates and Domain Confinement
PublikacjaFull-wave electromagnetic (EM) analysis is one of the most important tools in the design of modern microwave components and systems. EM simulation permits reliable evaluation of circuits at the presence of cross-coupling effects or substrate anisotropy, as well as for accounting for interactions with the immediate environment. However, repetitive analyses required by EM-driven procedures, such as parametric optimization or statistical...
-
Introducing agile practices into development processes of safety critical software
PublikacjaIn this paper we present AgileSafe - a method which supports introduction of agile practices into safety-critical software development processes. To represent safety assurance constraints resulting from the regulatory context, AgileSafe uses assurance case patterns. The knowledge base of AgileSafe helps the user to select the agile practices relevant for the considered software development project. The corresponding assurance case...
-
Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile
PublikacjaThe paper introduces the AgileSafe method of selecting agile practices for software development projects that are constrained by assurance requirements resulting from safety and/or security related standards. Such requirements are represented by argumentation templates which explain how the evidence collected during agile practices implementation will support the conformity with the requirements. Application of the method is demonstrated...
-
Strategic aspects in spatial planning - theory and practice in largest cities of Poland
PublikacjaThe rate of changes and the growing uncertainty rise to the need for a strategic approach to development planning, which is active and flexible in relation to the changing reality. Strategic planning, occurring in companies, was adapted by the social-economic development planning of self-government units. However, there are difficulties in applying the strategic planning in the spatial planning and integration of the two forms...
-
Analiza algorytmów rutingu wspierających QoS w DiffServ.
PublikacjaW artykule podjęto tematykę związaną z opisem oraz analizą dostępnych algorytmów rutingu wspierających QoS dla specyficznej architektury sieci IP - DiffServ. Główną przyczyną jaka skłania do badania procedur rutingu QoS o wielu ograniczeniach (multi constrained routing) jest brak jak dotąd jednoznacznie sprecyzowanych, dokładnych metod pozwalających wyznaczyć drogi połączeniowe dla usług, dla których ma być gwarantowana jakość...
-
Analiza algorytmów rutingu wspierających QoS w DiffServ
PublikacjaW pracy podjęto tematykę związaną z opisem oraz analizą dostępnych algorytmów rutingu wspierających QoS dla specyficznej architektury sieci IP - DiffServ. Główną przyczyną jaka skłania do badania procedur rutingu QoS o wielu ograniczeniach (multi constrained routing) jest brak jak dotąd jednoznacznie sprecyzowanych, dokładnych metod pozwalających wyznaczyć drogi połączeniowe dla usług, dla których ma być gwarantowana jakość (QoS...
-
On a Method of Efficiency Increasing in Kaplan Turbine
PublikacjaThis paper presents a method of increasing efficiency in Kaplan-type turbine. The method is based on blade profile optimisation together with modelling the interaction between rotor and stator blades. Loss coefficient was chosen as the optimisation criterion, which is related directly to efficiency. Global optimum was found by means of Genetic Algorithms, and Artificial Neural Networks were utilised for approximations to reduce...
-
Reduced-Cost Two-Level Surrogate Antenna Modeling using Domain Confinement and Response Features
PublikacjaElectromagnetic (EM) simulation tools have become indispensable in the design of contemporary antennas. Still, the major setback of EM-driven design is the associated computational overhead. This is because a single full-wave simulation may take from dozens of seconds up to several hours, thus, the cost of solving design tasks that involve multiple EM analyses may turn unmanageable. This is where faster system representations (surrogates)...
-
ISSUE OF MAKING DECISIONS WITH REGARD TO SHIP TRAFFIC SAFETY IN DIFFERENT SITUATIONS AT SEA
PublikacjaThe paper refers to the possibilities of making operational decisions that would enable to ensure safety to a ship in the event of application of the statistical decision theory with consideration of an expected value of consequences as a criterion for making such a decision. General description includes conditions for carrying out transportation tasks by ships and it has been shown that following this description it is possible...
-
The Optimal Location of Ground-Based GNSS Augmentation Transceivers
PublikacjaModern Global Navigation Satellite Systems (GNSS) allow for positioning with accuracies ranging from tens of meters to single millimeters depending on user requirements and available equipment. A major disadvantage of these systems is their unavailability or limited availability when the sky is obstructed. One solution is to use additional range measurements from ground-based nodes located in the vicinity of the receiver. The highest...
-
OPTIMISING RIG DESIGN FOR SAILING YACHTS WITH EVOLUTIONARY MULTIOBJECTIVE ALGORITHM
PublikacjaThe paper presents a framework for optimising a sailing yacht rig using Multi-objective Evolutionary Algorithms and for filtering obtained solutions by means of a Multi-criteria Decision Making method. A Bermuda sloop with discontinuous rig is taken under consideration as a model rig configuration. It has been decomposed into its elements and described by a set of control parameters to form a responsive model which can be used...
-
Simulation-driven size-reduction-oriented design of multi-band antennas by means of response features
PublikacjaThis study addresses the problem of explicit size reduction of multi-band antennas by means of simulation-driven optimisation. The principal difficulty of electromagnetic (EM)-based miniaturisation of multi-band antennas is that several resonances have to be controlled independently (both in terms of their frequency allocation and depth) while attempting to reduce physical dimensions of the structure at hand. The design method...
-
An Approach to Mean Path Loss Model Estimation for Off-Body Channels
PublikacjaThis paper presents an approach to estimation of the mean path loss model parameters in off-body Body Area Networks channels. In this approach, the path loss exponent is constrained to a value obtained for the line-of-sight (LoS) propagation in the co-polarised channel, considering a generalised static scenario. The comparison of the goodness of fit between the proposed approach and other approaches, for a set of measurements obtained...
-
Optymalizacja rozkładu jazdy na kolei z uwzględnieniem efektywności hamowania odzyskowego.
PublikacjaNa wstępie artykułu przybliżono czytelnikowi, czym jest rozkład jazdy na sieci kolejowej, na czym polega jego optymalizacja oraz odwołano się do literatury opisującej proces jego konstrukcji. W dalszej części przedstawiono kryteria optymalizacji rozkładu jazdy i zaproponowano podejście od strony efektywności wykorzystania energii pochodzącej z hamowania rekuperacyjnego, realizowanego metodą odzysku bezpośrednio do sieci trakcyjnej....
-
Multiprocessor Implementation of Parallel Multiobjective Genetic Algorithm for Optimized Allocation of Chlorination Stations in Drinking Water Distribution System a New Water Quality Model Approach
PublikacjaThe Critical Infrastructure Systems (CISs) have received in recent years a considerable attention due to their heavy impact on sustainable development of modern societies. Most CISs may be classied as large scale complex systems of network structure, in uenced by strong interactions form the surrounding environment, internal and external interconnections. The later is a result of inter-CIS dependencies. The control, monitoring...
-
Zero-Pole Approach in Microwave Passive Circuit Design
PublikacjaIn this thesis, optimization strategies for design of microwave passive structures including filters, couplers, antenna and impedance transformer and construction of various surroogate models utilized to fasten the design proces have been discussed. Direct and hybrid optimization methodologies including space mapping and multilevel algorithms combined with various surrogate models at different levels of fidelity have been utilized...
-
Four-point boundary-value problems for differential-algebraic systems
PublikacjaBadane są czteropunktowe problemy brzegowe dla układów równań różniczkowo-algebraicznych. Stosując metodę iteracji monotonicznych, podano warunki dostateczne na istnienie rozwiązań (jednego lub ekstremalnych) takich problemów. Podano przykład ilustrujacy otrzymane wyniki teoretyczne.
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublikacjaPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Boundary value problems for ordinary differential equations with deviated arguments
PublikacjaDyskutowane są równania różniczkowe z dwupunktowym nieliniowym warunkiem brzegowym z argumentami typu odchylonego. Podano warunki dostateczne które gwarantują iż problem wyjściowy ma kwazi-rozwiązania. Podano też warunki przy których problem ten ma rozwiązanie. Wyniki uzyskano stosując metodę iteracji monotonicznych.Badano też pewne nierówności różniczkowe z odchylonymi argumentami.
-
Positive solutions of one-dimensional p-Laplacian boundary value problems for fourth-order differential equations with deviating arguments
PublikacjaPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu czwartego z warunkami brzegowymi z odchylonymi argumentami. Stosując twierdzenie o punkcie stałym dla stożków podano warunki dostateczne na istnienia takich rozwiązań.
-
Optymalizacja efektywności hamowania odzyskowego w transporcie szynowym przez sterowanie czasem przyjazdu na stację
PublikacjaArtykuł nawiązuje do poprzednich prac autorów, w których przedstawiono model organizacji ruchu kooperujących pociągów z uwzględnieniem optymalizacji wykorzystania energii zwracanej do sieci jezdnej. W przedstawionej pracy zmodyfikowano model zmieniając główną zmienną sterującą, mającą wpływ na efektywne wykorzystanie energii, z czasu odjazdu na czas przyjazdu pociągu na stację lub przystanek. Optymalizacja dokonywana jest przez...
-
Expedited Design Closure of Antennas By Means Of Trust-Region-Based Adaptive Response Scaling
PublikacjaIn the letter, a reliable procedure for expedited design optimization of antenna structures by means of trust-region adaptive response scaling (TR-ARS) is proposed. The presented approach exploits two-level electromagnetic (EM) simulation models. A predicted high-fidelity model response is obtained by applying nonlinear frequency and amplitude correction to the low-fidelity model. The surrogate created this way is iteratively rebuilt...
-
Determinants of Firm Innovation in Indonesia: The Role of Institutions and Access to Finance
PublikacjaThis paper investigates the determinants of firm innovation in Indonesia. Using quality of local regulations index constructed by the Indonesia’s Regional Autonomy Watch (KPPOD) as measure of institutions, We found that better institutional quality at the local level was associated with more innovation and that firms experiencing major obstacle in access to finance were less likely to innovate. Access to finance is more critical...