Filtry
wszystkich: 682
wybranych: 515
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: semi-definite programming
-
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...
-
Beam on elastic foundation with anticlastic curvature: Application to analysis of mode I fracture tests
PublikacjaA first order correction is proposed taking into account both interface elasticity and transverse anticlastic curvature of flexible substrate(s) in the DCB (and related tests). Adherends are represented by Kirchhoff-Love plates, and the interface by Winkler-type elastic foundation. Two functions are introduced, representing evolution of beam deflection along the sample midline and anticlastic curvature along the plate. A method...
-
Effect of polymer fibres reinforcement on selected properties of asphalt mixtures
PublikacjaThe paper presents selected results of the research program concerning fibre reinforced asphalt concrete. Aramid-polyalphaolefin fibres was used in this study. Selected properties responsible for low temperature cracking and resistance to permanent deformation are presented in this paper. Low temperature cracking susceptibility was evaluated with the results obtained from bending test of rectangular beams with constant rate of...
-
Theoretical study of highly-excited states of KRb molecule
PublikacjaSemi-empirical adiabatic potential energy curves of highly excited states of the KRb molecule are calculated as a function of the internuclear distance R over a wide range from 3 to 150 a0. The diatomic molecule is treated as an effective two-electron system by using the large core pseudopotentials and core polarization potentials. All calculations are performed by using the nonrelativistic CASSCF/MRCI method with accurate basis...
-
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...
-
1+1 Protection of Overlay Distributed Computing Systems: Modeling and Optimization
PublikacjaW niniejszym artykule przedstawiono autorską koncepcję ochrony transmisji od krańca do krańca (ang. 1+1 protection) dla systemów przetwarzania rozproszonego (ang. distributed computing systems). Artykuł prezentuje nowatorskie rozwiązanie dedykowane systemom typu ''overlay'', w których system przetwarzania rozproszonego stanowi warstwę najwyższą w warstwowej architekturze sieci, korzystającą z usług warstwy sieci transportowej....
-
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...
-
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...
-
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...
-
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....
-
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...
-
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...
-
A Vision of Sustainable Design Concepts for Upgrading Vulnerable Coastal Areas in Light of Climate Change Impacts: A Case Study from Beirut, Lebanon
PublikacjaRapid urbanization combined with the effects of climate change has increased the vulnerability of poor urban communities to natural hazards, particularly to informal settlements located in coastal areas. Apart from socio-economic challenges, the effects of climate change threaten the very existence of these settlements. They are particularly vulnerable due to their poor structural quality and lack of adequate infrastructure to...
-
Ultrasound monitoring for evaluation of damage in reinforced concrete
PublikacjaThe paper deals with automated monitoring of damage evolution in concrete elements subjected to three-point bending tests. The monitoring is based on the nonlinear interactions of traveling ultrasonic waves with micro-crack zones inside the concrete specimens and surface-breaking cracks. The developed procedure assumes semi-continuous ultrasonic testing during the element full loading cycle and generation of the power spectral...
-
Method of Decision-Making Logic Discovery in the Business Process Textual Data
PublikacjaGrowing amount of complexity and enterprise data creates a need for novel business process (BP) analysis methods to assess the process optimization opportunities. This paper proposes a method of BP analysis while extracting the knowledge about Decision-Making Logic (DML) in a form of taxonomy. In this taxonomy, researchers consider the routine, semi-cognitive and cognitive DML levels as functions of BP conceptual aspects of Resources,...
-
Passing from requirements specification to class model using application domain ontology
PublikacjaThe quality of a classic software engineering process depends on the completeness of project documents and on the inter-phase consistency. In this paper, a method for passing from the requirement specification to the class model is proposed. First, a developer browses the text of the requirements, extracts the word sequences, and places them as terms into the glossary. Next, the internal ontology logic for the glossary needs to...
-
An improved method for flow boiling heat transfer with account of the reduced pressure effect
PublikacjaIn the paper are presented the results using the authors own model to predict heat transfer coefficient during flow boiling. The model has been tested against a large selection of experimental data to investigate the sensitivity of the in-house developed model. In the work are presented the results of calculations obtained using the semi-empirical model on selected experimental flow boiling data of the refrigerants: R134a, R1234yf,...
-
Spatio-Temporal Validation of GNSS-Derived Global Ionosphere Maps Using 16 Years of Jason Satellites Observations
PublikacjaExisting ionospheric models perform very well in mapping the calm state of the ionosphere. However, the problem is accurately determining the total electron content (TEC) for disturbed days. Knowledge of the exact electron density is essential for single−frequency receivers, which cannot eliminate the ionospheric delay. This study aims to investigate temporal and spatial variability in the distribution of TEC based on differences...
-
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...
-
An effective method for studying intermolecular interactions in binary liquids with hydrogen bonds: FTIR spectra and ab initio calculations in the N-methylformamide - methanol system
PublikacjaMolecular complexes in methanol (MeOH)−N-methylformamide (NMF) mixtures were studied based on their FTIR-ATR spectra, to which two methods of analysis were applied: factor analysis and a quantitative version of the difference-spectra method. The mean composition of a complex between NMF and MeOH molecules over the whole range of mixture compositions was determined. Absorbing species differentiated with regard to the interaction...
-
Machining process sequencing and machine assignment in generative feature-based CAPP for mill-turn parts
PublikacjaProcess selection and sequencing, as one of the most complex issues when evaluated from a mathematical point of view and crucial in CAPP, still attract research attention. For the current trend of intelligent manufacturing, machining features (MFs) are the information carriers for workpiece geometry and topology representation. They are basically derived from CAD models and are used by downstream engineering applications. A feature-based...
-
Propagation of Ship-Generated Noise in Shallow Sea
PublikacjaContamination of sea environment by noise and any energy radiated to water constitutes today a problem to which more and more attention is paid, in view, a.o., of consequences of an impact of these factors onto marine fauna. European Union has introduced a directive by which EU countries are made responsible to undertake efforts aimed at reaching a good envirenmental status of European seas by 2020. A main source of underwater...
-
Techno-economic evaluation of combined cycle gas turbine and a diabatic compressed air energy storage integration concept
PublikacjaMore and more operational flexibility is required from conventional power plants due to the increasing share of weather-dependent renewable energy sources (RES) generation in the power system. One way to increase power plant’s flexibility is integrating it with energy storage. The energy storage facility can be used to minimize ramping or shutdowns and therefore should lower overall generating costs and CO2 emissions. In this article,...
-
Distribution of the displacement sequence of an orientation preserving circle homeomorphism
PublikacjaIn some applications not only the knowledge of the behaviour of trajectories of a map is important, but also their displacements. We describe in detail the distribution of elements of the displacement sequence along a trajectory of an orientation preserving circle homeomorphism ϕ with irrational rotation number ϱ(ϕ). The values of displacement are dense in a set which depends on the map γ (semi-)conjugating ϕ with the rotation...
-
Logistics of Transnational Corporations as the Basis of Cooperation Between Ukraine and EU (for Poland Example)
PublikacjaThe article describes the scientific and theoretical basis for the organization of logistics management of modern international corporations, owning by assets in mining and metallurgical business in Ukraine and Poland; it had been analyzed the influence of transfer pricing mechanism as one of the main factors affecting on the efficiency of the organization of supply chain of resources (Ukrainian semi-finished goods) to ensure uninterrupted...
-
Limitations of Emotion Recognition in Software User Experience Evaluation Context
PublikacjaThis paper concerns how an affective-behavioural- cognitive approach applies to the evaluation of the software user experience. Although it may seem that affect recognition solutions are accurate in determining the user experience, there are several challenges in practice. This paper aims to explore the limitations of the automatic affect recognition applied in the usability context as well as...
-
Low cost set-up for supercapacitors parameters evaluation
PublikacjaWe propose a use of a power amplifier in the circuit of voltage to current converter (current driver) for supercapacitor charging/discharging in controlled conditions. The current driver is controlled by DAC output of DAQ board and voltage of DUT is measured and a control loop is realized by software. In the circuit the DC current method of evaluation of capacitance and equivalent series...
-
Revitalisation Living Lab as a Format to Accelerate an Energy Transition in Polish Rural Areas: The Case Studies of Metropolitan Outskirts Gdańsk-Orunia and Lubań
PublikacjaThe paper deals with the issue of energy transition in the revitalization process dedicated to the rural and semi-rural areas of the Pomerania Region (PR). Two distinct areas, located in sub- and ex-urban zones of the Gdańsk-Gdynia-Sopot Metropolitan Area (OMGGS), in which bottom-up community initiatives have been playing a key role in the transformation, have been focused on. The village of Lubań (Municipality of Nowa Karczma)...
-
Matching Exception Class Hierarchies between .NET, Java Environments
PublikacjaThe paper presents a methodology of exception classification and matching exception messages between .NET andJava environments. The methodology operates on existing exception class hierarchies and proposes two complementingapproaches: automated and manual matching. The automated matching uses the similarity measure to find associationsbetween exception messages from the two sets of classes for the considered programming languages....
-
Evolutionary Algorithms in MPLS network designing
PublikacjaMPLS technology become more and more popular especially in core networks giving great flexibility and compatibility with existing Internet protocols. There is a need to optimal design such networks and optimal bandwidth allocation. Linear Programming is not time efficient and does not solve nonlinear problems. Heuristic algorithms are believed to deal with these disadvantages and the most promising of them are Evolutionary Algorithms....
-
Multimodal system for diagnosis and polysensory stimulation of subjects with communication disorders
PublikacjaAn experimental multimodal system, designed for polysensory diagnosis and stimulation of persons with impaired communication skills or even non-communicative subjects is presented. The user interface includes an eye tracking device and the EEG monitoring of the subject. Furthermore, the system consists of a device for objective hearing testing and an autostereoscopic projection system designed to stimulate subjects through their...
-
Buckling and shape control of prestressable trusses using optimum number of actuators
PublikacjaThis paper describes a method to control the nodal displacement of prestressable truss structures within the desired domains. At the same time, the stress in all members is unleashed to take any value between the allowable tensile stress and critical buckling stress. The shape and stresses are controlled by actuating the most active members. The technique considers the members’ initial crookedness, residual stresses, and slenderness...
-
Acoustic imaging of selected areas of Gdansk Bay with the aid of parametric echosounder and side-scan sonar
PublikacjaThe article presents and analyses the data recorded during sounding of the Gdansk Bay seabed with the aid of a parametric echosounder and a side-scan sonar. The accuracy of seabed structure examination, as a condition for obtaining valuable results, requires correct configuration of echolocation devices and proper calibration of peripheral devices, such as the survey unit geographical position sensor – GPS, the navigation unit,...
-
A headspace solid-phase microextraction method development and itsapplication in the determination of volatiles in honeys by gas chromatography
PublikacjaThe first part of the paper presents the detailed optimisation of all steps of the determination procedureof volatiles from Polish honeys by headspace solid-phase microextraction (HS-SPME) as the sample preparationmethod and gas chromatography/mass spectrometry (GC-MS) as the method of final determination.The methodology of semi-quantative analysis allowed the isolation and identification of volatile fractioncompounds from popular...
-
Smart innovation process enhancement using SOEKS and decisional DNA
PublikacjaProduct innovation always requires a foundation based on both knowledge and experience. The production and innovation process of products is very similar to the evolution process of humans. The genetic information of humans is stored in genes, chromosomes and DNA. Similarly, the information about the products can be stored in a system having virtual genes, chromosomes and decisional DNA (DDNA). The present paper proposes...
-
Dynamic characteristics of the proton exchange membrane fuel cell module
PublikacjaThe paper describes a fuel cell based system and its performance. The system is based on two fuel cell units, DC/DC converter, DC/AC inverter, microprocessor control unit, load unit, bottled hydrogen supply system and a set of measurement instruments. In the study presented in the paper a dynamic response of the proton exchange membrane (PEM) fuel cell system to unit step change load as well as to periodical load changing cycles...
-
EXPERIMENTAL EVALUATION OF DLC/STEEL SLIDING CONTACTS’ OPERATIONAL ENVELOPE
PublikacjaIn an industrial project concerning sliding bearings, a sliding pair was selected of high alloy steel vs. industrial grade DLC coated high alloy steel as a basis for an innovative design of high performance sliding bearings lubricated with a synthetic oil for use in geared transmission units. The development process required credible data on the ultimate resistance of the sliding pair to very high contact stress. An experimental...
-
Numerical investigation of the core eccentricity effect on wave propagation in embedded waveguide
PublikacjaThe paper presents results of theoretical and numerical investigation of guided wave propagation in two-layer bars with geometric imperfections in the form of eccentric location of steel core. Steel rod of diameter equal to 1 cm embedded in composite mortar-type cover with external diameter equal to 5 cm has been taken into consideration. Several different rods with variable size of eccentricity are analysed. Results for rods with...
-
How Specific Can We Be with k-NN Classifier?
PublikacjaThis paper discusses the possibility of designing a two stage classifier for large-scale hierarchical and multilabel text classification task, that will be a compromise between two common approaches to this task. First of it is called big-bang, where there is only one classifier that aims to do all the job at once. Top-down approach is the second popular option, in which at each node of categories’ hierarchy, there is a flat classifier...
-
Determination of terpene profiles in potential superfruits
PublikacjaThe aim of this work was to characterize and compare the profiles of volatile terpenes in four potential superfruits. These profiles were determined using headspace solid-phase microextraction coupled with comprehensive two-dimensional gas chromatography linked to time-of-flight mass spectrometry. The proposed technique allowed the separation and identification of 79 terpenes present in cape gooseberry, crabapple, cherry silver...
-
Does the low optical band gap of yellow Bi3YO6 guarantee the photocatalytical activity under visible light illumination?
PublikacjaBi3YO6, which is known as an ionic conductor, was tested here as an electrode and photoanode in contact with aqueous electrolytes. Bi3YO6 was deposited onto the Pt substrate and the such prepared electrode was polarized in various aqueous electrolytes. The optical energy band gap of the material equal to 1.89 eV was determined using the Kubelka-Munk function resulting from the UV-Vis spectrum (allowed indirect transition) and also...
-
Waste Rubber Pyrolysis: Product Yields and Limonene Concentration
PublikacjaTires, conveyor belts, floor mats, and shoe soles form a main-stream of rubber waste. The amount of these used materials continuously increases due to development of the rubber market. Therefore, pro-ecological utilization (i.e., energy recycling instead of burning) and recovering valuable and recyclable materials becomes an urgent necessity. In this regard, this work was devoted to the chemical recycling of selected used rubber...
-
Smart Innovation Engineering: Toward Intelligent Industries of the Future
PublikacjaKnowledge-based Engineering Systems are founded upon integration of knowledge into computer systems and are one of the core requirements for the future Industry 4.0. This paper presents a system called Smart Innovation Engineering (SIE) capable of facilitating product innovation process semi-automatically. It enhances decision-making processes by using the explicit knowledge of formal decision events. The SIE system carries the...
-
Wpływ zbrojenia polimerowymi włóknami rozproszonymi na wybrane właściwości mieszanek mineralno-asfaltowych
PublikacjaW artykule przedstawiono wybrane wyniki badań mieszanek mineralno-asfaltowych zbrojonych polimerowymi włóknami rozproszonymi. Ocenie poddano mieszankę włókien zbrojących aramidowo-poliolifenowych pod kątem wpływu ich zastosowania na właściwości niskotemperaturowe i odporności na deformacje trwałe mieszanek mineralno-asfaltowych. Właściwości niskotemperaturowe oceniano na podstawie testu zginania próbek belkowych oraz na podstawie...
-
Interoperability Constraints in Service Selection Algorithms
PublikacjaIn 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,...
-
Comparison of selected algorithms for scheduling workflow applications with dynamically changing service availability
PublikacjaThis paper compares the quality and execution times of several algorithms for scheduling service based workflow applications with changeable service availability and parameters. A workflow is defined as an acyclic directed graph with nodes corresponding to tasks and edges to dependencies between tasks. For each task, one out of several available services needs to be chosen and scheduled to minimize the workflow execution time and...
-
Viability of decisional DNA in robotics
PublikacjaThe Decisional DNA is an artificial intelligence system that uses prior experiences to shape future decisions. Decisional DNA is written in the Set Of Experience Knowledge Structure (SOEKS) and is capable of capturing and reusing a broad range of data. Decisional DNA has been implemented in several fields including Alzheimer’s diagnosis, geothermal energy and smart TV. Decisional DNA is well suited to use in robotics due to the...