Search
Search results for: SAFETY CONSTRAINTS
-
Introducing agile practices into development processes of safety critical software
PublicationIn 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...
-
Multi-objective Weather Routing with Customised Criteria and Constraints
PublicationThe paper presents a weather routing algorithm utilising a multi-objective optimisation with constraints, namely the Multi-objective Evolutionary Weather Routing Algorithm (MEWRA). In the proposed approach weather route recommendations can be made simultaneously e.g. for passage time, fuel consumption and safety of passage by means of Pareto optimisation. The sets of criteria and constraints in the optimisation process are fully...
-
Weather Hazard Avoidance in Modeling Safety of Motor-Driven Ship for Multicriteria Weather Routing
PublicationWeather routing methods find the most suitable ocean?s route for a vessel, taking into account changeable weather conditions and navigational constraints. In the multicriteria approach based on the evolutionary SPEA algorithm one is able to consider a few constrained criteria simultaneously. The approach applied for a ship with hybrid propulsions has already been presented by one of the authors on previous TransNav?2009. This time...
-
Ship weather routing optimization with dynamic constraints based on reliable synchronous roll prediction
PublicationShip routing process taking into account weather conditions is a constrained multi-objective optimization problem and it should consider various optimization criteria and constraints. Formulation of a stability-related, dynamic route optimization constraint is presented in this paper. One of the key objectives of a cross ocean sailing is finding a compromise between ship safety and economics of operation. This compromise should...
-
Trajectory planning for Service Ship during emergency STS transfer operation
PublicationIn this paper trajectory for approaching during emergency STS transfer operation with oil spill is considered as a sequence of navigation manoeuvres in specific navigational environment. The designed way points - ship positions and speed are determined as reference values to support navigator in decision making during steering and to mitigate the risk of collision which mostly results from exceeding the speed limit of approaching....
-
Closed-Loop Control System Design for Wireless Charging of Low-Voltage EV Batteries with Time-Delay Constraints
PublicationThis paper presents an inductive power transfer system on the basis of a double single- phase three-level T-type inverter and two split transmitting coils for constant current and constant voltage wireless charging of low-voltage light electric vehicle batteries with closed-loop control, considering time-delay communication constraints. An optimal control structure and a modified control strategy were chosen and implemented to...
-
EVOLUTIONARY MULTI–OBJECTIVE WEATHER ROUTING OF SAILBOATS
PublicationThe paper presents a multi-objective method, which optimises the route of a sailboat. The presented method makes use of an evolutionary multi-objective (EMO) algorithm, which performs the optimisation according to three objective functions: total passage time, a sum of all course alterations made during the voyage and the average angle of heel. The last two of the objective functions reflect the navigator’s and passenger’s comfort,...
-
Resonant DC link inverters for AC motor drive systems – critical evaluation
PublicationIn this survey paper, resonant and quasiresonant DC link inverters are reexamined for AC motor drive applications. Critical evaluation of representative topologies is based on simulation and waveform analysis to characterize current/voltage stress of components, control timing constraints and feasibility. A special concern over inverter common-mode voltage and voltage gradient du/dt limitation capacity is discussed for motor bearing...
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
Multi-objective weather routing of sailing vessels
PublicationThe paper presents a multi-objective deterministic method of weather routing for sailing vessels. Depending on a particular purpose of sailboat weather routing, the presented method makes it possible to customize the criteria and constraints so as to fit a particular user’s needs. Apart from a typical shortest time criterion, safety and comfort can also be taken into account. Additionally, the method supports dynamic weather data:...
-
Approach Manoeuvre During Emergency Ship-to-Ship Transfer Operation with Oil Spill
PublicationOne 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...
-
Determining diagnostic coverage of elements and analysis of subsystems` architectural constraints
PublicationWypełnienie funkcji bezpieczeństwa przez systemy E/E/PE łączy się z niezawodnym działaniem podsystemów, których struktura i właściwości muszą gwarantować skuteczne i szybkie wykrywanie uszkodzeń. Do określenia przeciętnego prawdopodobieństwa niewypełnienia funkcji bezpieczeństwa na żądanie (PFDavg) niezbędna jest znajomość pokrycia diagnostycznego w odniesieniu do wszystkich podsystemów. Najlepiej, aby podsystemy były zaliczane...
-
Koncepcja zdalnego sterowania i monitoringu urządzeń trakcyjnych z wykorzystaniem technologii teleinformatycznych
PublicationAdvancement in wireless communication enables engineers to apply sophisticated and relatively inexpensive technologies in new fields of industry, which were previously designated solely to wire-based solutions. One of those fields is railway transportation system. In effect of a high reliability and safety demands, this area was resistive to new technologies. Nowadays, increased security and reliability of wireless sensor networks...
-
Preference-based evolutionary multi-objective optimization in ship weather routing
PublicationIn evolutionary multi-objective optimization (EMO) the aim is to find a set of Pareto-optimal solutions. Such approach may be applied to multiple real-life problems, including weather routing (WR) of ships. The route should be optimal in terms of passage time, fuel consumption and safety of crew and cargo while taking into account dynamically changing weather conditions. Additionally it must not violate any navigational constraints...
-
Optimizing control by robustly feasible model predictive control and application to drinking water distribution systems
PublicationThe paper considers optimizing Model Predictive Control (MPC) for nonlinear plants with output constraints under uncertainties. Although the MPC technology can handle the constraints in the model by solving constraint model based optimization task, satisfying the plant output constraints under the model uncertainty still remains a challenge. The paper proposes Robustly Feasible MPC (RFMPC), which achieves feasibility of the outputs...
-
On Decision-Making Strategies for Improved-Reliability Size Reduction of Microwave Passives: Intermittent Correction of Equality Constraints and Adaptive Handling of Inequality Constraints
PublicationDesign optimization of passive microwave components is an intricate process, especially if the primary objective is a reduction of the physical size of the structure. The latter has become an important design consideration for a growing number of modern applications (mobile communications, wearable/implantable devices, internet of things), where miniaturization is imperative due to a limited space allocated for the electronic circuitry....
-
Construction of phylogenetic trees with topological constraints
PublicationThis paper proposes a method of reconstruction of phylogenetic trees based on heuristic search with topological constraints. Using topological constraints it is possible to reduce the set of solutions as well as to enforce that the result is consistent with a given hypothesis about the evolution process within some group of species. Along with this work a number of algorithms used for phylogenetic analysis were implemented. Those...
-
Opracowanie i wprowadzenie nowoczesnego systemu utrzymania ruchu urządzeń opartego na strategii planowo – zapobiegawczej na obiekcie offshore
PublicationW pracy przedstawiono metodykę utrzymania ruchu maszyn i urządzeń na obiekcie offshore. Opracowany autorski system utrzymania ruchu, który został wdrożony na morskiej platformie wydobywczej „Petrobaltic” gdzie do przesyłu i przetwarzania danych wykorzystano dostępną infrastrukturę informatyczną. Założenia realizowano z wykorzystaniem metod naukowych takich jak analiza case study, metody eksperckie i inne. Pracę zrealizowano w ośmiu...
-
Optimizing Control by Robustly Feasible Model Predictive Control and Application to Drinking Water Distribution Systems
PublicationThe paper considers optimizing Model Predictive Control (MPC) for nonlinear plants with output constraints under uncertainties. Although the MPC technology can handle the constraints in the model by solving constraint model based optimization task, satisfying the plant output constraints still remains a challenge. The paper proposes Robustly Feasible MPC (RFMPC), which achieves feasibility of the outputs in the controlled plant....
-
On EM-driven size reduction of antenna structures with explicit constraint handling
PublicationSimulation-driven miniaturization of antenna components is a challenging task mainly due to the presence of expensive constraints, evaluation of which involves full-wave electromagnetic (EM) analysis. The recommended approach is implicit constraint handling using penalty functions, which, however, requires a meticulous selection of penalty coefficients, instrumental in ensuring optimization process reliability. This paper proposes...
-
Direct Constraint Control for EM-Based Miniaturization of Microwave Passives
PublicationHandling constraints imposed on physical dimensions of microwave circuits has become an important design consideration over the recent years. It is primarily fostered by the needs of emerging application areas such as 5G mobile communications, internet of things, or wearable/implantable devices. The size of conventional passive components is determined by the guided wavelength, and its reduction requires topological modifications,...
-
Reliable Multi-Stage Optimization of Antennas for Multiple Performance Figures in Highly-Dimensional Parameter Spaces
PublicationDesign of modern antenna structures needs to account for multiple performance figures and geometrical constraints. Fulfillment of these calls for the development of complex topologies described by a large number of parameters. EM-driven tuning of such designs is mandatory yet immensely challenging. In this letter, a new framework for multi-stage design optimization of multi-dimensional antennas with respect to several performance...
-
A model, design, and implementation of an efficient multithreaded workflow execution engine with data streaming, caching, and storage constraints
PublicationThe paper proposes a model, design, and implementation of an efficient multithreaded engine for execution of distributed service-based workflows with data streaming defined on a per task basis. The implementation takes into account capacity constraints of the servers on which services are installed and the workflow data footprint if needed. Furthermore, it also considers storage space of the workflow execution engine and its cost....
-
Waveform design for fast clutter cancellation in noise radars
PublicationCanceling clutter is an important, but computation-ally intensive part of signal processing in noise radars. It is shown that considerable improvements can be made to a simple least squares canceler if minor constraints are imposed onto noise waveform. The proposed scheme is potentially capable of canceling clutter in real-time, even for high sampling rates.
-
On the synthesis of coupled-lossy resonator filters with unloaded quality factor control
PublicationA technique for fast synthesis of coupling matrix low-pass prototypes of generalized Chebyshev bandpass filters with lossy resonators is presented in this paper. The coupling matrix is found by solving a nonlinear least squares problem based on zeros and poles of filter's transfer functions. Additional constraints are introduced that allow one to control the level of unloaded quality factor of resonators.
-
Interoperability Constraints in Service Selection Algorithms
PublicationIn Service Oriented Architecture, composite applications are developed by integration of existing, atomic services that may be available in alternative versions realizing the same functionality but having different Quality of Service (QoS) attributes. The development process requires effective service selection algorithms that balance profits and constraints of QoS attributes. Additionally, services operate in a heterogeneous environment,...
-
Supervised model predictive control of wastewater treatment plant
PublicationAn optimizing control of a wastewater treatment plant (WWTP), allowing for cost savings over long time period and fulfilling effluent discharge limits at the same time, requires application of advanced control techniques. Model Predictive Control (MPC) is a very suitable control technology for a synthesis of such a truly multivariable controller that can handle constraints and accommodate model-based knowledge combined with hard...
-
Constrained aerodynamic shape optimization using neural networks and sequential sampling
PublicationAerodynamic shape optimization (ASO) involves computational fluid dynamics (CFD)-based search for an optimal aerodynamic shape such as airfoils and wings. Gradient-based optimization (GBO) with adjoints can be used efficiently to solve ASO problems with many design variables, but problems with many constraints can still be challenging. The recently created efficient global optimization algorithm with neural network (NN)-based prediction...
-
Fast clutter cancellation for noise radars via waveform design
PublicationCanceling clutter is an important, but very expensive part of signal processing in noise radars. It is shown that considerable improvements can be made to a simple least squares canceler if minor constraints are imposed onto noise waveform. Using a combination of FPGA and CPU, the proposed scheme is capable of canceling both stationary clutter and moving targets in real-time, even for high sampling rates.
-
Wydajność jako czynnik sukcesu przedsiębiorstwa wykorzystującego metodologię TOC na przykładzie zakładu produkującego beton komórkowy
PublicationAutorka pragnie skupić się na problemie wydajności i wykazać znaczenie narzędzi służących poprawie efektywności procesu produkcyjnego na przykładzie zakładu wytwarzającego beton komórkowy. Tezą postawioną w niniejszym referacie jest możliwość usprawnienia organizacji i logistyki produkcji poprzez wykorzystanie metody zarządzania, jaką jest Teoria Ograniczeń (ang. Theory of Constraints - TOC).
-
Task Assignments in Logistics by Adaptive Multi-Criterion Evolutionary Algorithm with Elitist Selection
PublicationAn evolutionary algorithm with elitist selection has been developed for finding Pareto-optimal task assignments in logistics. A multi-criterion optimization problem has been formulated for finding a set of Pareto- optimal solutions. Three criteria have been applied for evaluation of task assignment: the workload of a bottleneck machine, the cost of machines, and the numerical performance of system. The machine constraints have...
-
On geometry parameterization for simulation-driven design closure of antenna structures
PublicationFull-wave electromagnetic (EM) simulation tools have become ubiquitous in antenna design, especially final tuning of geometry parameters. From the reliability standpoint, the recommended realization of EM-driven design is through rigorous numerical optimization. It is a challenging endeavor with the major issues related to the high computational cost of the process, but also the necessity of handling several objectives and constraints...
-
Knowledge Management Challenges in Collaborative Design of a Virtual Call Centre
PublicationThis paper presents the analysis of knowledge management issues for an user interface consulting project relevant during the development of a Virtual Call Centre. Experiences gathered by the team of designers and team of usability consultants have been described and evaluated from the knowledge management viewpoint. A concept of a knowledge-based system, potentially supporting usability consulting in subsequent IT projects has...
-
Scheduling of unit-length jobs with cubic incompatibility graphs on three uniform machines
PublicationWe consider the problem of scheduling n identical jobs on 3 uniform machines with speeds s1, s2, and s3 to minimize the schedule length. We assume that jobs are subject to some kind of mutual exclusion constraints, modeled by a cubic incompatibility graph. We how that if the graph is 2-chromatic then the problem can be solved in O(n^2) time. If the graph is 3-chromatic, the problem becomes NP-hard even if s1>s2=s3.
-
Rearrangeable clos networks C(n,r_1,n^2-1,n,r_2) with certain restrictions for connections
PublicationW pracy została zaproponowana nowa metoda sprawdzania przestrajalności pól Closa dla połączeń jeden do wiele. W rozważaniach zakładamy grupowanie połączeń.In the article we will propose new method of checking rearrangeability of multicast Clos networks. In the literature there is no precise method for checking rearrangeability. We focused on three-stage Clos networks without any constraints about fan-out capability. We show the...
-
Dynamics of Field Line Mappings in Magnetic Flux Tubes
PublicationWe study the topological constraints on the dynamics of magnetic field lines in flux tubes. Our approach is based on the application of the topological invariant: fixed point index. We consider periodic flux tubes and find various restrictions on the field lines that come from the sequence of fixed point indices of iterations. We also analyze the case of a tube with a cylindrical obstacle, deducing some special dynamical properties...
-
Integrated Control in High-Speed Networks Using Constrained Model Predictive Control
PublicationThis paper studies congestion control in high-speed communication networks using Model Predictive Control (MPC). Network traffic is assumed to consist of best-effort and priority traffic sources. An integrated controller consisting of two control parts is designed. The controller calculates the capacity for priority sources and the input rate of best-effort sources. MPC is desirable as it can take into account the constraints on...
-
Ship weather routing featuring w-MOEA/D and uncertainty handling
PublicationThe paper presents a new version of evolutionary multi-objective weather routing (WR) for ships taking into account uncertainties of weather forecasts in route optimization. The method applies authors’ w-MOEA/D algorithm: MOEA/D framework incorporating Decision Maker’s (DM) preferences by means of w-dominance relation. Owing to this, DM preferences are taken into account throughout optimization, allowing the process to focus on...
-
Reliable EM-driven size reduction of antenna structures by means of adaptive penalty factors
PublicationMiniaturization has become of paramount importance in the design of modern antenna systems. In particular, compact size is essential for emerging application areas such as internet of things, wearable and implantable devices, 5G technology, or medical imaging. On the other hand, reduction of physical dimensions generally has a detrimental effect on antenna performance. From the perspective of numerical optimization, miniaturization...
-
Blended Learning Model for Computer Techniques for Students of Architecture
PublicationAbstract: The article summarizes two-year experience of implementing hybrid formula for teaching Computer Techniques at the Faculty of Architecture at the Gdansk University of Technology. Original educational e-materials, consisting of video clips, text and graphics instructions, as well as links to online resources are embedded in the university e-learning educational platform. The author discusses technical constraints associated...
-
Sustainability of Civil Structures through the Application of Smart Materials: A Review
PublicationEvery year, structural flaws or breakdowns cause thousands of people to be harmed and cost billions of dollars owing to the limitations of design methods and materials to withstand extreme earthquakes. Since earthquakes have a significant effect on sustainability factors, there is a contradiction between these constraints and the growing need for more sustainable structures. There has been a significant attempt to circumvent...
-
Optimization of Nuclear Power Share in the Structure of Electricity Production in Poland in Time Perspective by 2060
PublicationThe author of this paper presented the results of a system analysis using MARKAL model, aiming at the optimization of nuclear power share in power generation structure in Poland in time perspective by 2060. Optimization criterion is the minimization of the objective function, i.e. the total cost of energy system, taking into account constraints related to CO2, SOx and NOx emissions and obligatory shares of electricity from renewable...
-
Comparison of Selection Schemes in Evolutionary Method of Path Planning
PublicationThis article compares an impact of using various selection schemes on the quality of the solution for the problem of planning the path for a moving object using the evolutionary method. In study case problem of avoiding collisions at sea is analyzed. The modelled environment includes static constraints (lands, canals, etc.) and dynamic objects (moving ships). Article analyses behaviour of selection schemes in two similar environments...
-
Analysis of Interspike-Intervals for the General Class of Integrate-and-Fire Models with Periodic Drive
PublicationWe study one-dimensional integrate-and-fire models of the general type x˙=F (t, x) and analyze properties of the firing map which iterations recover consecutive spike timings. We impose very week constraints for the regularity of the function F (t, x), e.g. often it suffices to assume that F is continuous. If additionally F is periodic in t, using mathematical study of the displacement sequence of an orientation preserving circle...
-
Wireless Charging Station Design for Electric Scooters: Case Study Analysis
PublicationThis study proposes an example of a wireless charging station design for a small-scale vehicle available on the market. The article analyzes basic transmitter inverter topologies and their compensation methods in terms of flexibility of control, tolerance to uncertainty in positioning, and the possibility of decreasing the integration price. Our comprehensive analysis focuses on the battery voltage range, energy capacity, cost,...
-
Evolutionary Sets of Safe Ship Trajectories: problem dedicated operators
PublicationThe paper presents the optimization process of the evolutionary sets of safe ship trajectories method, with a focus on its problem-dedicated operators. The method utilizes a customized evolutionary algorithm to solve a constrained optimization problem. This problem is defined as finding a set of cooperating trajectories (a set is an evolutionary individual) of all the ships involved in the encounter situation. The resulting trajectories...
-
Genetic Programming with Negative Selection for Volunteer Computing System Optimization
PublicationVolunteer computing systems like BOINC or Comcute are strongly supported by a great number of volunteers who contribute resources of their computers via the Web. So, the high efficiency of such grid system is required, and that is why we have formulated a multi-criterion optimization problem for a volunteer grid system design. In that dilemma, both the cost of the host system and workload of a bottleneck host are minimized. On...
-
“Project-factor-decision”. Decisive factors in IT projects and their impact on its success
PublicationThe aim of this article is to indicate the need for a deepening, systematizing and codifying of the theoretical and practical knowledge on IT project management, in the area of management decision-making processes. The scope of decisions made by managers is constantly on the increase. Project managers make decisions not only within the classic triangle of constraints, which consists of a schedule, a budget and the project scope,...
-
Scheduling of unit-length jobs with bipartite incompatibility graphs on four uniform machines
PublicationThe problem of scheduling n identical jobs on 4 uniform machines with speeds s1>=s2>=s3>=s4 is considered.The aim is to find a schedule with minimum possible length. We assume that jobs are subject to mutual exclusion constraints modeled by a bipartite incompatibility graph of degree delta. We show that the general problem is NP-hard even if s1=s2=s3. If, however, delta<5 and s1>12s2 s2=s3=s4, then the problem can be solved to...
-
Fundamentals of classical and analytical mechanics
PublicationThe 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...