Filters
total: 1207
displaying 1000 best results Help
Search results for: mappings verification
-
Mitigating Time-Constrained Stolen-Credentials Content Poisoning in an NDN Setting
PublicationNDN is a content-centric networking architecture using globally addressable information objects, created by publishers and cached by network nodes to be later accessed by subscribers. Content poisoning attacks consist in the substi-tution by an intruder publisher of bogus objects for genuine ones created by an honest publisher. With valid credentials stolen from an honest publisher, such attacks seem unstoppa-ble unless object...
-
A new method of fault loop resistance measurement in low voltage systems with residual current devices
PublicationThis paper presents a new method of fault loop resistance measurement in low voltage systems with residual current devices. The method enables measuring fault loop resistance without nuisance tripping of residual current devices, by application an unconventional waveform of measurement current. It is important for proper verification of the effectiveness of protection against electric shock.
-
Stages of development of payment cards in Poland
Open Research DataAn important stage in the development of the Polish card market was the commencement of the card and check center of Bank Pekao SA in 1992, which became a professional technical background for the widespread issuance of bank cards. At the same year PolCard SA, became the first agent in the country, launched its own terminals for payment intermediation...
-
Tropospheric parameters derived from the selected IGS stations in the global tropics for the years 2001-2018
Open Research DataThis dataset contains daily GNSS-derived zenith tropospheric delay (ZTD), a posteriori corrected zenith wet delay (ZWD), and precipitable water vapour (PWV) time series. These troposphere-related data were estimated for the period between January 2001 and December 2018, for the 43 International GNSS Service (IGS) stations, located in the global tropics....
-
Atmospheric opacity estimation based on IWV derived from GNSS observations for VLBI applications
PublicationThermal emission of atmospheric water vapor has a great influence on the calibration of radio astronomical observations at millimeter wavelengths. The phenomenon of an atmospheric water vapor emits noise signal and attenuates astronomical emission. At 22 GHz, integrated water vapor (IWV) obtained from global navigation satellite systems (GNSS) is strictly related to atmospheric opacity (τ0), which is a crucial parameter for data...
-
In silico epitope prediction of Borrelia burgdorferi sensu lato antigens for the detection of specific antibodies
PublicationDespite many years of research, serodiagnosis of Lyme disease still faces many obstacles. Difficulties arise mainly due to the low degree of amino acid sequence conservation of the most immunogenic antigens among B. burgdorferi s.l. genospecies, as well as differences in protein production depending on the environment in which the spirochete is located. Mapping B-cell epitopes located on antigens allows for a better understanding...
-
DYNAMIC ANALYSIS OF HISTORIC RAILWAY BRIDGES IN POLAND IN THE CONTEXT OF ADJUSTING THEM TO PENDOLINO TRAINS
PublicationThe article presents the dynamic analysis of the historic railway bridge in Tczew as an example of the usefulness of such type of bridge for high-speed trains. The model of the bridge and the simulation of rolling stock passage was performed in SOFISTIK program. The scope of work includes experimental studies, the solution of the problem concerning the correct solution features dynamic model takes into account the dependencies...
-
Impact of trajectory simplification methods on modeling carbon dioxide emissions from ships
PublicationModels of ship fuel consumption and emissions play an essential role in estimating global shipping’s greenhouse gas emissions. They are also widely used for verification of reported CO2 emissions for systems like EU MRV (Monitoring, Reporting and Verification) or IMO DCS (Data Collection System). Such models achieve high accuracy using historical spatiotemporal information about each ship from AIS data. However, this approach requires substantial...
-
Preserving Trees in Automata
PublicationWe present a method to store additional information in a minimal automaton so that it is possible to compute a corresponding tree node number for a state. The number can then be used to retrieve additional information. The method works for minimal (and any other) deterministic acyclic finite state automata (DFAs). We also show how to compute the inverse mapping.
-
A state of the art review on the use of fungi in biofiltration to remove volatile hydrophobic pollutants
PublicationThe physical/chemical abatement of gas pollutants creates many technical problems, is costly and entails significant environmental impacts. Biological purification of off-gases is a cheap and ecologically safe way of neutralization of gas pollutants. Despite the recent advances, the main technological challenge nowadays is the purification of volatile organic compounds (VOCs) of hydrophobic character due to their low solubility...
-
Multiobjective Aerodynamic Optimization by Variable-Fidelity Models and Response Surface Surrogates
PublicationA computationally efficient procedure for multiobjective design optimization with variable-fidelity models and response surface surrogates is presented. The proposed approach uses the multiobjective evolutionary algorithm that works with a fast surrogate model, obtained with kriging interpolation of the low-fidelity model data enhanced by space-mapping correction exploiting a few high-fidelity training points. The initial Pareto...
-
Modeling of TEC Variations Based on Signals from Near Zenith GNSS Satellite Observed by Dense Regional Network
PublicationCurrently the substantial successes in high-resolution ionospheric mapping is declared in many publications. Nevertheless, up to now there are no examples of dynamic visualization of TEC disturbances on regional scale with as high resolution as tropospheric models. Over the years, ionosphere has been modeling basing on the simple assumption, that it is a thin layer, which surrounds the Earth at some arbitrary height. However, the...
-
CONDITIONS OF THE GREEN TRANSFORMATION. THE CASE OF THE EUROPEAN UNION
PublicationThe main purpose of the paper is to identify the factors that determine the course of green transformation and to assess the current stage and possible directions of change in subsequent years in EU countries. The literature lacks comprehensive studies that show the impact of diverse types of factors on the course of green transformation. For this purpose, two perspectives of the research – economic and environmental – are usually...
-
Prediction of Processor Utilization for Real-Time Multimedia Stream Processing Tasks
PublicationUtilization of MPUs in a computing cluster node for multimedia stream processing is considered. Non-linear increase of processor utilization is described and a related class of algorithms for multimedia real-time processing tasks is defined. For such conditions, experiments measuring the processor utilization and output data loss were proposed and their results presented. A new formula for prediction of utilization was proposed...
-
Reduced-Cost Microwave Design Closure by Multi-Resolution EM Simulations and Knowledge-Based Model Management
PublicationParameter adjustment through numerical optimization has become a commonplace of contemporary microwave engineering. Although circuit theory methods are ubiquitous in the development of microwave components, the initial designs obtained with such tools have to be further tuned to improve the system performance. This is particularly pertinent to miniaturized structures, where the cross-coupling effects cannot be adequately accounted...
-
Platforma edX - nowe podejście do kursów online
PublicationWspółczesne metody nauczania na odległość zmieniają się dynamicznie. Powstają światowe konsorcja podejmujące starania zapewnienia dostępu do edukacji na najwyższym poziomie z wykorzystaniem Internetu. Jedną z takich prób jest platforma edX. Jej rozwój zapoczątkowały niemal 2 lata temu MIT i Harvard. Obecnie zespół liczy już 30 uczelni z całego świata. Renoma ośrodków naukowych biorących udział w projekcie przyciągnęła już ponad...
-
A Set of Low-power Microcontroller-based Modules Used for Testing of Small Energy Measurement Methods
PublicationEstimation of energy consumption of low-power devices is not widely discussed in the scientific literature, but this topic is getting more and more popular. Evaluation process of newly developed methods and instrumentation requires carefull treatment. In order to fulfill this niche, the set of micro-power microcontroller based devices was proposed. The devices represent typical energy consuption profiles and allow experimental verification...
-
Novel Family of Single-Phase Modified Impedance-Source Buck-Boost Multilevel Inverters With Reduced Switch Count
Publicationhis paper describes novel single-phase solutions with increased inverter voltage levels derived by means of a nonstandard inverter configuration and impedance source networks. Operation principles based on special modulation techniques are presented. Detailed component design guidelines along with simulation and experimental verification are also provided. Possible application fields are discussed, as well as advantages and disadvantages....
-
Down-Sampling of Large LiDAR Dataset in the Context of Off-Road Objects Extraction
PublicationNowadays, LiDAR (Light Detection and Ranging) is used in many fields, such as transportation. Thanks to the recent technological improvements, the current generation of LiDAR mapping instruments available on the market allows to acquire up to millions of three-dimensional (3D) points per second. On the one hand, such improvements allowed the development of LiDAR-based systems with increased productivity, enabling the quick acquisition...
-
Determining and verifying the safety integrity level of the safety instrumented systems with the uncertainty and security aspects
PublicationSafety and security aspects consist of two different group of functional requirements for the control and protection systems. In the paper it is proposed that the security analysis results can be used as a factor increasing or decreasing the risk level. It concerns a process of determining required safety integrity level of given safety functions. The authors propose a new approach for functional safety risk analysis. In this case...
-
A New Approach to Stability Evaluation of Digital Filters
PublicationIn this paper, a new numerical method of evaluating digital filter stability is presented. This approach is based on novel root-finding algorithms at the complex plane using the Delaunay triangulation and Cauchy's Argument Principle. The presented algorithm locates unstable zeros of the characteristic equation with their multiplicities. The proposed method is generic and can be applied to a vast range of systems. Verification of...
-
Smart Cities Concept: Smart Mobility Indicator
PublicationThis work attempts to analyze problems resulting from the lack of possibility to assess the effectiveness of the implementation of “Smart Mobility” solutions, which represent one of the cornerstones of Smart Cities, from the point of view of city hall offices. The work presents existing Smart Mobility evaluation solutions, discusses their drawbacks, and then proposes a new indicator. The final part of the work presents assumptions...
-
ASSESSMENT OF ENGINE OPERATION WITH THE USE OF AN OPERATION INDICATOR BASED ON TEST BENCH RESULTS OF A ROBINSUBARU EX17 ENGINE
PublicationPaper presents results of an experimental verification of the method of quantitative evaluation of engine operation, presented in the literature, exemplified by a low-power internal combustion piston engine. In accordance with such interpretation, engine operation may be presented as a physical quantity defined as operation indicator. The paper presents results of preliminary tests, processed in that aspect, carried out on an engine...
-
Increasing the Efficiency of Ontology Alignment by Tracking Changes in Ontology Evolution
PublicationIn this paper we present a development of our ontology alignment framework based on varying semantics of attributes. Emphasising the analysis of explicitly given descriptions of how attributes change meanings they entail while being included within different concepts have been proved useful. Moreover, we claim that it is consistent with the intuitive way how people see the real world and how they find similarities and correspondences...
-
Problems of Determination of Welding Angular Distortions of T-fillet Joints in Ship Hull Structures
PublicationShip hull structure elements are in majority joined by welding. Welding distortions can cause a lot of problems during the manufacturing process. In the literature it is proposed wide spectrum of suggestions for a correct estimation of welding deformation in particular angular deformation in the fillet welded T joint. In the work verification of selected methods is proposed basing upon of the results of the laboratory measurements....
-
Numerical model of human head phantom to ensure dosimetry of dose components for boron neutron capture therapy
PublicationExtremely important aspects of the boron neutron capture therapy are, first of all, administering to the patient a boron compound that selectively reaches the neoplastic cells, and in the second step, the verification of the irradiation process. This paper focuses on the latter aspect, which is the detailed dosimetry of the processes occurring after the reaction of thermal neutrons with the boron-10 isotope. The results of computer...
-
Analysis of dynamics of a map-based neuron model via Lorenz maps
PublicationModeling nerve cells can facilitate formulating hypotheses about their real behavior and improve understanding of their functioning. In this paper, we study a discrete neuron model introduced by Courbage et al. [Chaos 17, 043109 (2007)], where the originally piecewise linear function defining voltage dynamics is replaced by a cubic polynomial, with an additional parameter responsible for varying the slope. Showing that on a large...
-
Analysis of muscles behaviour. Part II. The computational model of muscles group acting on the elbow joint
PublicationThe purpose of this paper is to present the computational model of muscles' group describing the movements of flexion/extension at the elbow joint in the sagittal plane of the body when the forearm is being kept in the fixed state of supination/pronation. The method ofevaluating the muscle forces is discussed in detail. This method is the basis for the quantitative and qualitative verification of the proposed computational model...
-
Photogrammetric and computerized report on site model in feasibility study of navigability channel on vistula spit
PublicationIn the report the authors present a course of geodesic and geo-computerized works upon realization of feasibility study of navigability channel on Vistula Spit. A procedure of acquiring verification and modeling of data for requirements of a numeric model of a bottom and site has been presented with construction of original software for 3D visualization of the Vistula Spit area. The activities described in the report can be...
-
Time domain model of the resonance-based electromagnetic pulses emission system
PublicationIn the literature, the emission properties of the electromagnetic field pulse systems based on high voltage antennas (HVR) have been widely described. In order to increase the emission efficiency by extending duration and increasing amplitude of the impulse it is possible to use a resonance system tuned to the parameters of the signal shaped in the pulse forming circuit. The synthesis of a time-domain simulation model of a complex...
-
Properties and interpretation of Instantaneous Complex Frequency
PublicationThe concept of Instantaneous Complex Frequency (ICF) was first defined by Lindon and developed mainly in works of two authors S. Hahn and M. Rojewski. Although it is not widely used in signal analysis, ICF was already used as a complex signal representation in the verification of handwritten signatures, pitch estimation, symbol timing recovery in PSK receiver and in detection of anomalies in data transmission. It should be noted,...
-
Numerical and experimental propeller noise investigations
PublicationThe standard propeller has been investigated in model scale, using medium size cavitation tunnel. The hydroacoustic characteristics of propellers under different loading conditions have been investigated. Additionally the presented experimental results have been used for the verification of applied numerical approach. During both numerical and experimental analyses non-uniform inflow propeller’s conditions have been adapted. Good...
-
High Speed Milling vibration surveillance with optimal spindle speed based on optimal speeds map
PublicationThe paper presents the method of the surveillance of the self-excited chatter vibration. At first, the workpiece modal parameters are estimated based on experimental data which leads to verification of computational model. Then, for selected surface points optimal spindle speeds are calculated. By considering sufficient amount of points it is possible to build a map of optimal spindle speeds. Experimental results show that this...
-
Implementation Of The Innovative Radiolocalization System VCS-MLAT (Voice Communication System Multilateration)
PublicationIn the article the concept of the radiolocalization subsystem of the VHF communication for aviation VCS-MLAT (Voice Communication System – Multilateration) is presented. The distributed localization system can estimate the position of the aircraft using the audio signals from aircraft transmitters in the VHF band (118-136 MHz). This paper shows initial verification of the possibility to use voice airband communication to estimate...
-
Example of utilization of permeabilized microbial cells
PublicationThe benefits of using whole bacterial cells not only exclude expensive, laborious protein isolation and purification but also stabilize enzymes by cytosol components. Increase in activity of the cells can be achieved by cells permeabilization.
-
Jaroslaw Spychala dr
PeopleOprócz bardzo dobrego wykształcenia osoba posiada również wieloletnie doświadczenie zawodowe, które jest poświadczeniem tego, że potrafi wykorzystać swoją wiedzę teoretyczną w praktycznych działaniach. Doświadczenie zawodowe jest bardzo bogate i rozbudowane. Ze względu na nabyte całkiem nowe umiejętności zwiększa się atrakcyjność doświadczonego pracownika. Są to między innymi kreatywne myślenie, zorientowanie na cel, odporność...
-
Application of Majority Voting Protocols to Supporting Trading Decisions
PublicationA broad spectrum of analysis and prediction indicators and methods exists to support trading decisions, but no hard knowledge exist to tell in advance which of them will fit best in a given timeframe. To support trading decisions, a multi-agent self-organizing system has been proposed. The system is based on history based dynamic weight voting and selects the right indicators based on their past performance. The formal analysis...
-
APPLICATION OF MAJORITY VOTING PROTOCOLS TO SUPPORTING TRADING DECISIONS
PublicationA broad spectrum of analysis and prediction indicators and methods exists to support trading decisions, but no hard knowledge exist to tell in advance which of them will fit best in a given timeframe. To support trading decisions, a multi-agent self-organizing system has been proposed. The system is based on history based dynamic weight voting and selects the right indicators based on their past performance. The formal analysis...
-
Analysis of economical lighting of highways in the environment of SMOL language
PublicationThe paper puts forward and implements a method of designing and creating a modelling simulation environment for eztensive and complete analysis of economical lighting on highways. From a general design viewpoint, the proposed solution explores the concept of a network description language (SMOL), which has been designed to describe the necessary network functions, mechanisms, and devices; for the purpose of their computer simulation...
-
Validation of an Agent and Ontology-based Information Technology Assessment System
PublicationThe aim of this paper is to present a new method of the validation of an Agent and Ontology-based Information Technology Assessment System. In the introduction part of the paper, the characteristics of the proposed multi-agent system are presented. Next, some important details regarding the ontology functionality of this system are described and an approach to its verification process is proposed. The approach employs semantic...
-
Comparison of selected parametric methods for prediction of inland waterways ship hull resistance in towing tank test
PublicationIn the paper selected approximate methods for calculation of inland waterways ship resistance and their verification by towing tests, compared on the example of a small urban ferry, are presented. The test results are made for both the bare hull and the hull with appendages (skeg, azimuthal propeller). Significant differences between results of the theoretical methods and experimental ones, especially in the case of the model with...
-
Hybrid of Neural Networks and Hidden Markov Models as a modern approach to speech recognition systems
PublicationThe aim of this paper is to present a hybrid algorithm that combines the advantages ofartificial neural networks and hidden Markov models in speech recognition for control purpos-es. The scope of the paper includes review of currently used solutions, description and analysis of implementation of selected artificial neural network (NN) structures and hidden Markov mod-els (HMM). The main part of the paper consists of a description...
-
MEASURE OF THE LEVEL OF SOCIO-ECONOMIC DEVELOPMENT IN PROVINCES
PublicationThe scope of Polish macro-economic data for assessing the level of socio-economic development of the country is largely limited because of the regional variation. Therefore there is a need for cyclic selection and the verification of criteria which allow identifying regions with a similar level of socio-economic development or those that clearly differ from the mean values. The aim of the study is to compare Poland’s provinces...
-
MoS2-containing composite membranes for separation of environmental energy-relevant liquid and gas mixtures: A comprehensive review
PublicationMolybdenum sulfide (MoS2) materials adapted into membranes have demonstrated potential for different areas dealing with molecular separations. For instance, MoS2-based membranes have been proposed for distinct environmental applications, such as water treatment, seawater desalination, gas separation, and solvent separation. Emergently, such membranes have been ultimately investigated for energy-relevant gas separation mixtures,...
-
Software development methodologies and practices in start-ups
PublicationSoftware start-ups are aiming to develop cutting-edge software products under highly uncertain conditions, overcoming fast-growing markets under multiple influences. This study aims to identify and analyse the existing scientific literature regarding software development methodologies and practices in software start-ups published between January 2006 and December 2017 using the systematic mapping study. The results identified 37...
-
Magnetically sensitive fiber probe with nitrogen-vacancy center nanodiamonds integrated in a suspended core
PublicationEfficient collection of photoluminescence arising from spin dynamics of nitrogen vacancy (NV) centers in diamond is important for practical applications involving precise magnetic field or temperature mapping. These goals may be realized by the integration of nanodiamond particles with optical fibers and volumetric doping of the particles alongside the fiber core. That approach combines the advantages of robust axial fixation of...
-
Performance evaluation of unified memory and dynamic parallelism for selected parallel CUDA applications
PublicationThe aim of this paper is to evaluate performance of new CUDA mechanisms—unified memory and dynamic parallelism for real parallel applications compared to standard CUDA API versions. In order to gain insight into performance of these mechanisms, we decided to implement three applications with control and data flow typical of SPMD, geometric SPMD and divide-and-conquer schemes, which were then used for tests and experiments. Specifically,...
-
Fake News: Possibility of Identification in Post-Truth Media Ecology System
PublicationInformation comes as basic good which affects social well-being. A modern society and a modern state – its administration, education, culture, national economy and armed forces – cannot function efficiently without a rationally developed field of information. The quality of the functioning of that system depends on a specific feature of information, that is namely: its reliability which makes it possible for us to evaluate accuracy,...
-
An updated method identifying collision-prone locations for ships. A case study for oil tankers navigating in the Gulf of Finland
PublicationTo ensure the risk level associated with continuously increasing maritime traffic through particularly sensitive sea areas remains at acceptable level, a periodic risk assessment needs to be carried out by the relevant authorities. As a part of such assessment, allowing for proactive countermeasures to mitigate risk, the frequency of accidents is estimated along with the assessment of geographical locations where the accidents...
-
Globalne trendy w certyfikacji systemu zarządzania środowiskowego
PublicationMinimalizacja wpływu działalności organizacji na środowisko naturalne jest jednym z najważniejszych założeń strategicznych przedsiębiorstw. Działania te wynikają z wdrażania strategii CSR, która w odniesieniu do polityki środowiskowej w organizacjach realizowana jest poprzez system EMAS bądź wymagania normy ISO 14001. Wdrożenie Systemu Zarządzania Środowiskowego, a następnie poddanie systemu certyfikacji przez niezależną jednostkę...