Filters
total: 1626
filtered: 1138
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: SOFTWARE REQUIREMENT SPECIFICATION
-
Matching Exception Class Hierarchies between .NET, Java Environments
PublicationThe 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....
-
Virtual Whiteboard: A gesture-controlled pen-free tool emulating school whiteboard
PublicationIn the paper the so-called Virtual Whiteboard is presented which may be an alternative solution for modern electronic whiteboards based on electronic pens and sensors. The presented tool enables the user to write, draw and handle whiteboard contents using his/her hands only. An additional equipment such as infrared diodes, infrared cameras or cyber gloves is not needed. The user's interaction with the Virtual Whiteboard computer...
-
Automated Detection of Sleep Apnea and Hypopnea Events Based on Robust Airflow Envelope Tracking in the Presence of Breathing Artifacts. - [IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS]
PublicationThe paper presents a new approach to detection of apnea/hypopnea events, in the presence of artifacts and breathing irregularities, from a single channel airflow record. The proposed algorithm, based on a robust envelope detector , identifies segments of signal affected by a high amplitude mo d- ulation corresponding to apnea/hypopnea events. It is show n that a robust airflow envelope - free of breathing artifacts - improves effectiveness...
-
A Regular Expression Matching Application with Configurable Data Intensity for Testing Heterogeneous HPC Systems
PublicationModern High Performance Computing (HPC) systems are becoming increasingly heterogeneous in terms of utilized hardware, as well as software solutions. The problems, that we wish to efficiently solve using those systems have different complexity, not only considering magnitude, but also the type of complexity: computation, data or communication intensity. Developing new mechanisms for dealing with those complexities or choosing an...
-
Simulating Malware with MAlSim
PublicationThis paper describes MAlSim - Mobile Agent Malware Simulator - a mobile agent framework developed to address one of the most important problems related to the simulation of attacks against information systems i.e. the lack of adequate tools for reproducing behaviour of malicious software (malware). The framework can be deployed over the network of an arbitrary information system and it aims at simulating behaviour of each instance...
-
Simulating malware with MAlSim
PublicationThis paper describes MAlSim - Mobile Agent Malware Simulator - a mobile agent framework developed to address one of the most important problems related to the simulation of attacks against information systems, i.e. the lack of adequate tools for reproducing behaviour of malicious software (malware). The framework can be deployed over the network of an arbitrary information system and it aims at simulating behaviour of each instance...
-
Rapid development of custom web application with ruby on rails framework on the example of group project system
PublicationTechnology industry labor market requires engineers with a good preparation for work with project's tasks and team cooperation skills. One of the way for achieve that abilities during technical university education are students group projects. Running of group projects at university brings new challenges, from recruitment of students with required skills for par-ticular project, to lack of industrial procedures and ready to use...
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublicationThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
Study on VR Application Efficiency of Selected Android OS Mobile Devices
PublicationCurrently, the number of scenarios for using VR (Virtual Reality) technology grows every year. Yet, there are still issues associated with it, related with the performance of the mobile device itself. The aim of this work is to perform an analysis of the effectiveness of virtual reality applications in case of mobile platforms. We put the main emphasis on examining the performance and efficiency of four different hardware and software...
-
Explicit solvent repulsive scaling replica exchange molecular dynamics ( RS‐REMD ) in molecular modeling of protein‐glycosaminoglycan complexes
PublicationGlycosaminoglcyans (GAGs), linear anionic periodic polysaccharides, are crucial for many biologically relevant functions in the extracellular matrix. By interacting with proteins GAGs mediate processes such as cancer development, cell proliferation and the onset of neurodegenerative diseases. Despite this eminent importance of GAGs, they still represent a limited focus for the computational community in comparison to other classes...
-
Transformational Leadership and Acceptance of Mistakes as a Source of Learning: Poland-USA Cross-Country Study
PublicationThis study explores the influence of transformational leadership on internal innovativeness mediated by mistakes acceptance, including country and industry as factors to be considered and gender and risk-taking attitude as moderators. General findings, primarily based on the US samples (healthcare, construction, and IT industry), confirmed that transformational leadership and internal innovativeness are mediated by mistakes acceptance...
-
Innovative cold-formed GEB section under compression
PublicationCold-formed steel sections extensively affect the modern steel construction industry. Not only are they used as secondary elements like purlins or sheeting, but also they can serve as primary load-bearing members in fabricated steel panels and trusses. A new cross-section called shortly a GEB may serve as that member. However, its existence of the metal building structures industry depends on the exact, optimal dimensional parameters...
-
Assurance Case Patterns On-line Catalogue
PublicationAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
Recovering Evaluation of Narrow-Kerf Teeth of Mini Sash Gang Saws
PublicationSash gang saws with narrow-kerf saw blades are used in the production of glued laminate flooring elements in plants where dry technology is applied. This means that boards or friezes are sawn into top layer lamellae in dry conditions (moisture content of about 10–12%) from expensive wood species, often exotic. The object of this research was stellite-tipped teeth of narrow kerf saw blades sharpened under industrial conditions....
-
Mining inconsistent emotion recognition results with the multidimensional model
PublicationThe paper deals with the challenge of inconsistency in multichannel emotion recognition. The focus of the paper is to explore factors that might influence the inconsistency. The paper reports an experiment that used multi-camera facial expression analysis with multiple recognition systems. The data were analyzed using a multidimensional approach and data mining techniques. The study allowed us to explore camera location, occlusions...
-
Practical Eco-Driving Strategy for Suburban Electric Multiple Unit
PublicationIn this paper, a practical approach to velocity profile optimization for electric multiple unit was presented. The study focuses on a case of fast urban railway, which is a popular mean of transport across Tricity, Poland. Based on observations and measurements, a potential for improvement of energy efficiency by modifying the speed profile was recognized. In order to conduct necessary calculations, simulation model of railway...
-
A Survey of Fast-Recovery Mechanisms in Packet-Switched Networks
PublicationIn order to meet their stringent dependability requirements, most modern packet-switched communication networks support fast-recovery mechanisms in the data plane. While reactions to failures in the data plane can be significantly faster compared to control plane mechanisms, implementing fast recovery in the data plane is challenging, and has recently received much attention in the literature. This survey presents a systematic,...
-
Automation of the Road Gate Operations Process at the Container Terminal—A Case Study of DCT Gdańsk SA
PublicationThe future increased terminal capacity will result in more container movement through the road complex and rail siding, which are one of the most critical areas (potential bottlenecks) in the container terminal. Truck turnaround time is one of the major factors that customers take into account while deciding how many container volumes they will handle through the container terminal. To enable to optimize increased traffic with...
-
Hybrid Finite Element Method Development for Offshore Structures’ Calculation with the Implementation of Industry Standards
PublicationIn the design process of offshore steel structures, it is typical to employ commercial calculation codes in which simulation and evaluation of results are performed on the basis of the available standards (e.g. API, DNV, Lloyds). The modeling and solution rely on finite element methods and cover the simulation of the structure’s properties along with the influence of the marine environment – sea currents, wave and wind loading,...
-
Identification of the Agile Mindset and Its Comparison to the Competencies of Selected Agile Roles
PublicationIn this paper we present the results of the identification and evalua-tion of the elements of an agile mindset as well as its comparison to the compe-tence models for the roles of Scrum Master, Product Owner and agile analyst. We have identified 70 unique agile mindset elements from literature and 5 in-terviews with experts. Based on an opinion survey among 52 agile practitioners we evaluated the importance of 26 selected elements...
-
Układ informatyczny systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTRO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmuje system operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
Analiza obudowy wykopu dla budynku z kondygnacją podziemną
PublicationW pracy poruszono tematykę analizy obudowy wykopu dla budynku z jedną kondygnacją podziemną, zlokalizowanego w gęstej zabudowie śródmiejskiej. Obliczenia przeprowadzono za pomocą dwóch programów obliczeniowych: GEO5 (moduł: Ściana analiza) i Autodesk Robot Structural Analysis Professional. Całość wyników podsumowano, a wnioski sformułowano w odniesieniu do obecnej sytuacji na rynku budowlanym, charakteryzującej się coraz to trudniejszymi...
-
The particle method for simulation of self-organization phenomena
PublicationThe aim of the work was to design, implement, and use, in a number of experiments, an abstract software environment (an artificial world)suitable for modelling systems consisting of many moving and interactingobjects distributed in space. The environment, named DigiHive, is directed towards modeling of complex systems manifested by processes of self-organization, self-reproduction and self modifications. The environment is mainly...
-
KONFIGURACJA SIECI LAN TYPU SOHO DO PRACY W INTERNECIE IPv6
PublicationArtykuł przedstawia podstawowe problemy występujące przy migracji środowisk małych sieci do obsługi protokołu IPv6. Wraz z problemami przedstawione zostały propozycje metodologii przeprowadzenia migracji i narzędzia wspomagające ten proces. Przedstawiono system wspierający administratorów w migracji zarządzanych przez nich sieci do obsługi protokołu IPv6. Celem pracy jest analiza problemów procesów migracji IPv4 do IPv6 oraz wskazanie...
-
Dynamiczna aplikacja Internetowa ASP.NET silnika indukcyjnego jako elementu wirtualnego laboratorium maszyn elektrycznych
PublicationTematem referatu jest dynamiczna aplikacja internetowa, która umożliwia symulację obwodową silnika indukcyjnego trójfazowego Sg 100 L2 z wykorzystaniem interfejsu przeglądarki WWW. Model matematyczny silnika jest zdefiniowany w tzw. osiach naturalnych i sformułowany na podstawie metody energetycznej Lagrange’a. Do implementacji modelu maszyny w aplikacji internetowej wybrano projekt typu Web Forms, który jest składnikiem środowiska...
-
Zastosowanie modułu symulacji dynamicznej programu CAD w analizie układu napędowego elektronarzędzia
PublicationW referacie przedstawiono analizę mechanicznego układu przeniesienia napędu elektronarzędzia (wyrzynarki elektrycznej) przy zastosowaniu Modułu Symulacji Dynamicznej (MSD) programu Autodesk Inventor (AI). Opracowano modele 3D poszczególnych części elektronarzędzia i połączono je przy zachowaniu tzw. kinematyki odwrotnej. Przeprowadzono analizę wpływu poszczególnych węzłów kinetycznych na przebieg momentu na wale silnika elektrycznego....
-
Implementation of failover and load balancing algorithms in SIP PBX High Availability system
PublicationGoal of the project was to design a High Availability SIP VoIP system that guarantees access to additional services like auto-attendent and automatic call distribution. The realization of the project required system to have load balancing and failover algorithms implemented. From the end users’ point of view the whole system had to figure as a single element. After taking under consideration the known methods of implementations...
-
Experimental study and numerical optimization of tensegrity domes – A case study
PublicationThe paper deals with the design, experimental analysis and numerical optimization of tensegrity dome models. Two structures are analyzed – a Geiger system dome (preliminary dome), with PVC-U bars and PA6/PP/PET tendons and a Fuller system dome (target dome), with wooden bars and steel cables as tendons. All used materials are experimentally tested in terms of Young's modulus and yield stress values, the compressed bars are also...
-
Numerical analysis of mechanical properties of an infill structure used in 3D printings
PublicationThe paper presents results of a numerical analysis focused on an identification of mechanical properties of an element created by using Fused Deposition Modelling additive manufacturing technique (FDM). There is presented a description of technology of the 3D printing, numerical model created by using the finite element method (FEM), as well as some problems referred to estimation of the mechanical properties of the printout. The...
-
Local buckling of composite channel columns
PublicationThe investigation concerns local buckling of compressed flanges of axially compressed composite channel columns. Cooperation of the member flange and web is taken into account here. The buckling mode of the member flange is defined by rotation angle a flange about the line of its connection with the web. The channel column under investigation is made of unidirectional fibre-reinforced laminate. Two approaches to member orthotropic...
-
A new method for measuring the psychoacoustical properties of tinnitus
Publicationinformation, select the tinnitus treatment and quantitatively substantiate its effects, the measurement of the Tinnitus psychoacoustic parameters should be made an inherent part of the Tinnitus therapy. Methods For this purpose the multimedia-based sound synthesizer has been proposed for testing tinnitus and the results obtained this way are compared with the outcome of the audiometer-based Wilcoxon test. The method has been verified...
-
Efficient RSS-Based DoA Estimation for ESPAR Antennas Using Multiplane SDR Calibration Approach
PublicationIn this paper, we have introduced a new method to improve overall efficiency of direction-of-arrival (DoA) estimation scheme relying on received signal strength (RSS) values measured at the output port of electronically steerable parasitic array radiator (ESPAR) antenna. The proposed approach uses software-defined radio (SDR) setup and power pattern cross-correlation (PPCC) estimator involving multiple calibration planes. By placing...
-
The buckling analysis of a cold-formed steel C-sectional column resting on an elastic foundation
PublicationThe paper is focused on stability analysis of different models of steel cold-formed C-section column. The analysed element may be applied as a primary load-bearing member in steel trusses or silo columns. The column can be used as a support for a wall of roof plates made of corrugated sheets. The wall sheeting that restrains the column against buckling may be considered as an elastic foundation. Due to the design solutions the...
-
Impact of Galileo Observations on the Position and Ambiguities Estimation of GNSS Reference Stations
PublicationDevelopment of Galileo navigation system has caused that it is increasingly used in various areas. One of the most important of them is precise positioning of the reference networks. In this paper we present the impact of Galileo observations on the differential precise positioning as well as ambiguities resolution of selected GNSS stations. We tested five different solutions: GPS-only, Galileo-only, GPS/Galileo, GPS/GLONASS and...
-
The development of an underwater telephone for digital communication purposes
PublicationThe underwater telephone HTL-10 has been designed to provide voice and data communication between helicopter and submarines using acoustic waves. It works in a half-duplex mode and uses analogue power-efficient modulation in the form of a single side-band, suppressed carrier, in a wide range of frequencies. It generates the transmitted signal, and processes the received signals. It is implemented with the use of digital signal...
-
Implementation of power transformer controlled switching algorithm
PublicationThe article presents two new algorithms of controlled switching the power transformer. The main aim of the paper is to obtain formulas that determine the moments of closing of the circuit breaker poles. The study contains projects of control systems for both algorithms. Mathematical formulas for the time instants of the breaker poles closing were developed on the basis of electric circuit theory and magnetic circuit theory. The...
-
Stabalization of solar-panel energy system for Pakistani household
PublicationRenewable energy resources such as Sun and wind are getting popular and easier to use day by day. It is a better method to fulfill our demands as sun is a continuous source of energy for Earth. Many countries are fulfilling their demands by Solar Panels. Solar panel is used as a converter between sunlight and electrical energy. This research paper is going to tell that how to obtain electrical energy from sunlight more efficiently...
-
Optimisation of cooperation of hybrid renewable energy sources with hydrogen energy storage toward the lowest net present cost
PublicationThe paper presents the results of a technical and economic analysis of the power supply for a model industrial facility based on intermittent renewable energy sources in the form of wind turbines and photovoltaic modules, supplemented with hydrogen energy storage. The adopted power supply strategy assumed the maximisation of self-consumption of self-produced electricity. Six variants were considered, including two with an energy...
-
Maximizing SDN resilience to node‐targeted attacks through joint optimization of the primary and backup controllers placements
PublicationIn Software Defined Networks (SDN) packet data switches are configured by a limited number of SDN controllers, which respond to queries for packet forwarding decisions from the switches. To enable optimal control of switches in real time the placement of controllers at network nodes must guarantee that the controller-to-controller and switch-to-controller communications delays are bounded. Apart from the primary controllers that...
-
Sustainable bioethanol production from first- and second-generation sugar-based feedstocks: Advanced bibliometric analysis
PublicationBioethanol is produced from carbohydrate-containing feedstocks through fermentation. Based on a bibliometric review of studies published between 2012 and 2021, we analyzed those on sustainable bioethanol production. The Web of Science main collection yielded 1647 publications, which were analyzed using VOSViewer, CiteSpace, and ArcMap software. More than half of these publications originated from some Asian countries, corresponding to...
-
Scanning networks with cactus topology
PublicationThe family of Pursuit and Evasion problems is widelystudied because of its numerous practical applications,ranging from communication protocols to cybernetic andphysical security. Calculating the search number of a graphis one of most commonly analyzed members of this problemfamily. The search number is the smallest number of mobileagents required to capture an invisible and arbitrarily fastfugitive, for instance piece of malicious...
-
Using human behavior to develop knowledge-based virtual organisations
PublicationPropozycja modelu opartego na zachowaniach ludzkich dla potrzeb budowy wirtuanych organizacji opartych na wiedzy.Virtual organizations promote dynamic interaction between individuals, groups, and organizations, who share their capabilities and resources to pursue a common goal and maximize their benefits. Among these resources, knowledge is a critical one that requires special attention in order to support problem-solving activities...
-
Model-based testing for execution algorithms in the simulation of cyber-physical systems
PublicationThe understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....
-
A coarse‐grained approach to NMR ‐data‐assisted modeling of protein structures
PublicationThe ESCASA algorithm for analytical estimation of proton positions from coarse-grained geometry developed in our recent work has been implemented in modeling protein structures with the highly coarse-grained UNRES model of polypeptide chains (two sites per residue) and nuclear magnetic resonance (NMR) data. A penalty function with the shape of intersecting gorges was applied to treat ambiguous distance restraints, which automatically...
-
Estimation of Vehicle Energy Consumption at Intersections Using Microscopic Traffic Models
PublicationThis paper addresses issues related to modeling energy consumption and emissions using microscopic traffic simulations. This paper develops a method in which a traffic model is used to calculate the energy needed to travel through selected types of intersections. This paper focuses on energy consumption and derived values of calculated energy, which can be, for example, carbon dioxide emissions. The authors present a review of...
-
An application of multi-agent system for ship’s power systems design
PublicationDesign process of transport ship power system consists of structure (topology) and component elements selection. Compliance with the requirements for static components does not guarantee optimal dynamic characteristics of entire power system. Design steps are difficult to formalize and as a consequence to this reason expert and multi-agent systems are used for solving selected design issues. In the paper distributed multi-agent...
-
Dynamic GNSS Mission Planning Using DTM for Precise Navigation of Autonomous Vehicles
PublicationNowadays, the most widely used method for estimating location of autonomous vehicles in real time is the use of Global Navigation Satellite Systems (GNSS). However, positioning in urban environments using GNSS is hampered by poor satellite geometry due to signal obstruction created by both man-made and natural features of the urban environment. The presence of obstacles is the reason for the decreased number of observed satellites...
-
Validation Process for Computational Model of Full-Scale Segment for Design of Composite Footbridge
PublicationExperimental tests and numerical simulations of a full-scale segment of a foot and cycle bridge made of polymer composites are presented in the paper. The analysed structure is made of sandwich panels, which consist of glass fibre reinforced polymer (GFRP) multi-layered laminate faces and a PET foam (obtained from recycling) core. The dimensions of the segment cross-section are the same as for the target footbridge; however, span...
-
Optimization of Stabilizing Systems in Protection of Cultural Heritage: The Case of the Historical Retaining Wall in the Wisłoujście Fortress
PublicationThe aim of the paper is to propose new quantitative criteria for selecting the optimal method of securing and repairing a historical object, which take into account Structural, Conservation and Architectural aspects (the S–C–A method). Construction works on cultural heritage sites tend to be challenging and require an interdisciplinary approach. Therefore, they are strictly related to the philosophy of sustainable development which...
-
Database of speech and facial expressions recorded with optimized face motion capture settings
PublicationThe broad objective of the present research is the analysis of spoken English employing a multiplicity of modalities. An important stage of this process, discussed in the paper, is creating a database of speech accompanied with facial expressions. Recordings of speakers were made using an advanced system for capturing facial muscle motion. A brief historical outline, current applications, limitations and the ways of capturing face...