Filters
total: 1661
filtered: 1166
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: software requirement specification
-
Disaster-Resilient Routing Schemes for Regional Failures
PublicationLarge-scale natural disasters can have a profound effect on the telecommunication services in the affected geographical area. Hence, it is important to develop routing approaches that may help in circumventing damaged regional areas of a network. This prompted the development of geographically diverse routing schemes and also of disaster-risk aware routing schemes. A minimum-cost geodiverse routing, where a minimum geographical...
-
The influence of robotization on the reliability of the production process in the bakery industry
PublicationThis article presents a new concept of technological system reliability based on the analysis of the relationship of associations of elements of energy streams, matter, information, time and finance. The method of stream specification and the method of determining the reliability values of significant and supporting relationships are given. Relevant relationships between elements of system streams were defined as having one-time...
-
Interior Point Method Evaluation for Reactive Power Flow Optimization in the Power System
PublicationThe paper verifies the performance of an interior point method in reactive power flow optimization in the power system. The study was conducted on a 28 node CIGRE system, using the interior point method optimization procedures implemented in Power Factory software.
-
HMSE: A tool for coupling MODFLOW and HYDRUS-1D computer programs
PublicationA new software HMSE has been developed to facilitate external coupling between two well-known programs for subsurface flow modeling: MODFLOW-2005 (saturated zone flow) and HYDRUS-1D (unsaturated zone flow). Two coupling schemes have been implemented. In the first case the groundwater recharge flux is calculated by HYDRUS-1D assuming a fixed water table position and then passed to MODFLOW input files. In the second case the water...
-
AGREEprep – Analytical greenness metric for sample preparation
PublicationThis work proposes for the first time, a metric tool that gives prominence to sample preparation. The developed metric (termed AGREEprep) was based on 10 categories of impact that were recalculated to 0 e1 scale sub-scores, and then used to calculate the final assessment score. The criteria of assessment evaluated, among others, the choice and use of solvents, materials and reagents, waste generation, energy consumption, sample...
-
A random signal generation method for microcontrollers with DACs
PublicationA new method of noise generation based on software implementation of a 7-bit LFSR based on a common polynomial PRBS7 using microcontrollers equipped with internal ADCs and DACs and a microcontroller noise generator structure are proposed in the paper. Two software applications implementing the method: written in ANSI C and based on the LUT technique and written in AVR Assembler are also proposed. In the method the ADC results are...
-
Creating IT competence centers
PublicationThis article indicates the need for supporting University Competence Centers. They are specialized centers, which aim to support teaching and development of newest software technologies, educating students, PhD Students and scientific workers also raising competetitiveness of the university at higher education market.
-
Marine autonomous surface ship - control system configuration
PublicationThis paper addresses the problem of marine autonomous surface ship (MASS) control. The contribution of the paper is the development of a control system configuration, done assuming fully autonomous MASS operation under distinct operational conditions. The overview of hardware and software selection is included.
-
Bezzałogowe środki latające (BSL) w układzie czterowirnikowego helikoptera
PublicationRozwój układów sterowania, kamer pracujących w świetle widzialnym oraz w podczerwieni doprowadził do wzrostu znaczenia bezpilotowych środków latających. Bezpilotowe środki latające wykorzystywane są do realizacji celów zarówno wojskowych, jak i cywilnych. Podstawowymi zaletami bezpilotowych środków latających są: małe wymiary, duża mobilność, niskie koszty wytworzenia i eksploatacji. Użytkowanie bezpilotowych środków latających...
-
Cascaded Buck Hybrid Interlink Converter for Multiple-Input / Multiple-Output Operation
PublicationThe provision of isolated- and non-isolated DC output voltages by Power electronics power-conditioning devices in the recent ‘green-energy-revolution’ era is on course. In this paper, a structure for multi-input multi-output(MIMO) DC–DC buck converter is proposed to generate output voltages of varying levels with fewer component-count. The DC output voltage of each of the constituting buck converters can be used independently or...
-
Innovative Bidirectional Isolated High-Power Density On-Board Charge for Vehicle-to-Grid
PublicationThis paper deals with developing and implementing a bidirectional galvanically isolated on-board charger of a high-power density. The power density of the new charger was 4 kW/kg and 2.46 kW/dm3, and the maximum efficiency was 96.4% at 3.4 kW. Due to the requirement to achieve a high-power density, a single-stage inverter topology was used. Regarding switching losses, due to the topology of the circuit with so-called hard switching,...
-
Hazard Control in Industrial Environments: A Knowledge-Vision-Based Approach
PublicationThis paper proposes the integration of image processing techniques (such as image segmentation, feature extraction and selection) and a knowledge representation approach in a framework for the development of an automatic system able to identify, in real time, unsafe activities in industrial environments. In this framework, the visual information (feature extraction) acquired from video-camera images and other context based gathered...
-
Delivering Usability in IT Products: Empirical Lessons from the Field
Publication -
The Use of an Ontotrigger for Designing the Ontology of a Model Maturity Capsule
PublicationThe aim of this work is to give the definition and present the possibility of applying (introduced and defined here) ontotriggers to design the ontology of a maturity capsule used in the assessment of IT projects. The complexity of designing ontology processes raises the question of whether there is a need for designing ontologies in a situation where it is possible to map them. The work is divided into four main parts. The first...
-
Crowdsourcing-Based Evaluation of Automatic References Between WordNet and Wikipedia
PublicationThe paper presents an approach to build references (also called mappings) between WordNet and Wikipedia. We propose four algorithms used for automatic construction of the references. Then, based on an aggregation algorithm, we produce an initial set of mappings that has been evaluated in a cooperative way. For that purpose, we implement a system for the distribution of evaluation tasks, that have been solved by the user community....
-
Greenhouse control system design
PublicationCoraz większa populacja i zmniejszające się tereny uprawne wymusza efektywniejsze metody uprawy roślin. Zaradzić temu mogą układu hydroponiczne, które dzięki rozwojowi techniki są w stanie osiągać znacznie większe oraz bardziej jednorodne plony. Jest to możliwe dzięki zaawansowanym systemom opartym na dokładnych urządzeniach pomiarowych, sterowaniu w zamkniętej pętli oraz mikrokontrolerom umożliwiającym...
-
AC loss measurements in superconducting magnet
PublicationThis report contains ordered theoretical informations about AC loss in superconducting magnets and cables. A software program to evaluate data from AC loss measurements with V-I method was made and it is also described. Examples of measurement data and result data are shown here.
-
Wybrane metody i narzędzia modelowania systemów informatycznych z użyciem języka UML
PublicationRozdział prezentuje przykład technologii modelowania systemów informatycznych opartej na podejściu obiektowym w jednolitym środowisku, począwszy od Zunifikowanego Języka Modelowania (UML), poprzez metodykę Rational Unified Process (RUP), po aplikację Rational Software Modeler (RSM).
-
Experimental Evaluation of ND: YAG Laser Parameters and Sample Preparation Methods for Texturing Thin AISI 316L Steel Samples
PublicationIn mechanical and material engineering, the effect of laser texturing depends on many factors besides device specification, primarily the properties of the materials being processed, and, secondly, the preparation of the sample. Laser texturing of thin (<5 mm) samples is mostly performed utilizing short-pulse lasers, but depending on the power of the laser beam, the process can also be performed by using continuous operation lasers....
-
Properties of Old Concrete Built in the Former Leipziger Palace
PublicationThis research aims to determine the mechanical, chemical, and physical properties of old concrete used in the former Leipziger Palace in Wrocław, Poland. The cylindrical specimens were taken from the basement concrete walls using a concrete core borehole diamond drill machine. The determination of the durability and strength of old concrete was based on specified chosen properties of the old concrete obtained through the following...
-
An in-depth look at the tire rubber hardness influence on tire/road noise measurements
PublicationWhen assessing the acoustic quality of a road pavement with the close-proximity (CPX) or the on-board sound intensity (OBSI) method, the rubber hardness of the reference tire substantially affects the measurement. Practical experience shows that measurement tires can get significantly harder within a single measurement season. This is why one would like to normalize measurements to a reference rubber hardness. The recently published...
-
Safety integrity level verification for safety-related functions with security aspects
PublicationThe article is devoted some important issues of the functional safety analysis, in particular the safetyintegrity level (SIL) verification of safety functions to be implemented within the distributed controland protection systems with regard to cyber security aspects. The procedure for functional safety man-agement includes hazard identification, risk analysis and assessment, specification of overall safetyrequirements and definition...
-
Language Models in Speech Recognition
PublicationThis chapter describes language models used in speech recognition, It starts by indicating the role and the place of language models in speech recognition. Mesures used to compare language models follow. An overview of n-gram, syntactic, semantic, and neural models is given. It is accompanied by a list of popular software.
-
Hardware cryptography coprocessor for system on chip soft processor
PublicationW artykule przedstawiono realizację sprzętową i programową szyfrującejo i deszyfrującego algorytmu AES.Obydwie implementacje zostały zralizowane z wykorzystaniem układu Virtex II i przetestowane. Jako kryterium porónawcze wybrano zużycie zasobów układu oraz wydajność. Realizacja sprzętowa wykonuje operację szyfrowania 2 dekady szybcie niż wersja programowa, ale wymaga pięciokrotnie więcej zasobówIn this paper hardware and software...
-
Determination of safety indicators of the freight wagons by mobile systems
PublicationThe organization of the movement of freight trains in Ukraine is an important factor in integrating the country’s railway transport into the European system. A situation that requires a significant renewal of the freight wagon park with modern wagons to meet the freight transportation requirements has arisen. Also, a significant drawback of railway transport in Ukraine is the limitation of the speed of trains, which include freight...
-
A New Approach to Capacitive Sensor Measurements Based on a Microcontroller and a Three-Gate Stable RC Oscillator
PublicationA complete smart capacitive sensor solution basedA complete smart capacitive sensor solution based on a microcontroller was developed. This approach includes the development of both the hardware and software. The hardware part comprises an 8-bit microcontroller equipped with two timers/counters and a three-gate stable RC relaxation oscillator. The software part handles system configuration, measurement control, communication control,...
-
Testing for conformance of parallel programming pattern languages
PublicationThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Optimalization of TiO2 nanotube geometry using fuzzy reasoning approach
PublicationThe geometry of TiO2 nanotube layer on titanium, obtained by electrochemical anodization, has been determined by using fuzzy reasoning approach. A proposed method showed the possibility of nanotube array architecture optimization by choosing an appropriate anodization condition. A fuzzy logic controller (FLC) was utilized using Matlab Software.
-
Ampacity of power cables exposed to solar radiation – recommendations of standards vs. CFD simulations
PublicationThe aim of the paper is to evaluate the ampacity of a low-voltage single power cable according to: 1) recommendations of the standard IEC 60287, 2) a Computational Fluid Dynamics method, implemented in Ansys software; and comparison of the results obtained for these two cases. Moreover, limitations of recommendations of the above mentioned standard are indicated.
-
General paradigm for distilling classical key from quantum states
PublicationIn this paper, we develop a formalism for distilling aclassical key from a quantum state in a systematic way, expandingon our previous work on a secure key from bound entanglement(Horodecki et al., 2005). More detailed proofs, discussion, andexamples are provided of the main results. Namely, we demonstratethat all quantum cryptographic protocols can be recast in away which looks like entanglement theory, with the only changebeing...
-
Neural network agents trained by declarative programming tutors
PublicationThis paper presents an experimental study on the development of a neural network-based agent, trained using data generated using declarative programming. The focus of the study is the application of various agents to solve the classic logic task – The Wumpus World. The paper evaluates the effectiveness of neural-based agents across different map configurations, offering a comparative analysis to underline the strengths and limitations...
-
No-Wait & No-Idle Open Shop Minimum Makespan Scheduling with Bioperational Jobs
PublicationIn the open shop scheduling with bioperational jobs each job consists of two unit operations with a delay between the end of the first operation and the beginning of the second one. No-wait requirement enforces that the delay between operations is equal to 0. No-idle means that there is no idle time on any machine. We model this problem by the interval incidentor (1, 1)-coloring (IIR(1, 1)-coloring) of a graph with the minimum...
-
Self-Adaptive Mesh Generator for Global Complex Roots and Poles Finding Algorithm
PublicationIn any global method of searching for roots and poles, increasing the number of samples increases the chances of finding them precisely in a given area. However, the global complex roots and poles finding algorithm (GRPF) (as one of the few) has direct control over the accuracy of the results. In addition, this algorithm has a simple condition for finding all roots and poles in a given area: it only requires a sufficiently dense...
-
Automated Valuation Model based on fuzzy and rough set theory for real estate market with insufficient source data
PublicationObjective monitoring of the real estate value is a requirement to maintain balance, increase security and minimize the risk of a crisis in the financial and economic sector of every country. The valuation of real estate is usually considered from two points of view, i.e. individual valuation and mass appraisal. It is commonly believed that Automated Valuation Models (AVM) should be devoted to mass appraisal, which requires a large...
-
Comparison of developed gaze point estimation methods
PublicationThis paper presents the software part of an inexpensive hands-free eye tracking system. The system works using infrared illumination like most of the available eye trackers. Two methods allowing estimation the gaze point on computer screen are compared. Research on effectiveness of these methods is discussed and the better one is indicated.
-
Advanced Potential Energy Surfaces for Molecular Simulation
PublicationAdvanced potential energy surfaces are defined as theoretical models that explicitly include many-body effects that transcend the standard fixed-charge, pairwise-additive paradigm typically used in molecular simulation. However, several factors relating to their software implementation have precluded their widespread use in condensed-phase simulations: the computational cost of the theoretical models, a paucity of approximate models...
-
Adapting a General Tool to Monitoring Multi-Agent Systems Through Virtual Host Layer Extenstion
PublicationNagios is a free software for IT infrastructure monitoring. Out-of-the-box it is not suited for monitoring multi-agent systems, because agents may dynamically join and leave the system or change roles. But Nagios' flexible configuration makes extensions possible. This paper presents and verifies Nagios configuration and extensions for monitoring multi-agent systems.
-
Implementation of integrated control In drinking water distribution systems - IT system proposal
PublicationImplementation of integrated control algorithms requires suitable hardware and software platforms. Proposed solution must allow realizing control and monitoring tasks, while ensuring high reliability and security of processed data. Additionally, the software and hardware solutions must be immune to outside influence. This paper presents an approach to implementation of control systems in drinking water distribution system. Presented...
-
Mechanical Design, Construction and Control of a Lower Extremity Exoskeleton Robot Prototype with a new structure in the form of three-wheeled Mobile robot
PublicationIn this paper, mechanical design, dynamic modeling, construction and Fuzzy computed torque control of a lab prototype of lower extremity exoskeleton robot with a new structure in the form of three-wheeled Mobile robot is presented. One of the most important applications of next generation of lower extremity exoskeleton robot is usability as smart vehicle. In order to autonomously moving of this robot which is the foundation...
-
Municipal wastewater reclamation: Reclaimed water for hydrogen production by electrolysis – A case study
PublicationThis paper presents an analysis of a treatment system selection for municipal wastewater stream based on the DuPont Water Solutions WAVE software. The results obtained based on an analysis of 7 different processing cases studies (ultrafiltration and reverse osmosis) confirmed that the application of 2-pass membrane systems enables the reclamation of water from municipal wastewater that fulfills the requirements concerning the...
-
The structure of knowledge resources supporting a model of IT technologies architecture = Struktury zasobów wiedzy wspierających model architektury technologii IT
PublicationThis paper introduces an abstract model for tools used in the software engineering process. The main goal of the research is to develop a universal model which allows a description of tools used in the process. The model supports a decision making process and gives an option to choose the best tooling for the situation. The model considers many factors including, but not exclusive to, the company structure, project environment...
-
On extending open source IMS platform for integrated IPTV and VoIP services over IPv6
PublicationEven when IMS is the most popular platform for multimedia services, the open versions of IMS ecosystem are lacking in specified functionalities for IPTVv6 and VoIPv6 services. In this paper, we extend current client and server open source software in order to provide reliability and security to these multimedia services. As a part of our work the IMS architecture for conferencing system with proposed mechanisms to improve system...
-
SDN testbed for validation of cross-layer data-centric security policies
PublicationSoftware-defined networks offer a promising framework for the implementation of cross-layer data-centric security policies in military systems. An important aspect of the design process for such advanced security solutions is the thorough experimental assessment and validation of proposed technical concepts prior to their deployment in operational military systems. In this paper, we describe an OpenFlow-based testbed, which was...
-
Open smart glasses development platform for AAL applications
PublicationThis paper describes an open platform for multi sensory electronic glasses that supports new and enhanced methods for intelligent interaction with patients, with smart objects, or to be used as new data input modalities like proximity sensor or smart textile interfaces. All the activities have been developed, investigated and evaluated within EU CHIST-ERA eGlasses project...
-
JMATRIX - a package for relativistic J-matrix calculations in elastic scattering of electrons from model potentials
PublicationWe present a software package JMATRIX, consisting of two computer codes written in FORTRAN 95 and parallelized with OpenMP, implementing the so-called J-matrix method, applied to elastic scattering of electrons on the radial potential, vanishing faster than Coulomb one. In the J-matrix method, physical scattering problem is replaced by using well-defined model, which is solved analytically. Presented software implements both non-relativistic...
-
Stress Monitoring System for Individuals with Autism Spectrum Disorders
PublicationIn this article, a stress monitoring system tailored for individuals with Autism Spectrum Disorders (ASD) and developed for the educational institution is presented. People with ASD face problems with effective stress management due to their high self-perceived levels of stress, poor ability to cope with it, and dificulties with the accurate detection of the source of stress. Consistently, being able to measure stress appears to...
-
FPGA Based Real Time Simulations of the Face Milling Process
PublicationThe article presents a successful implementation of the milling process simulation at the Field-Programmable Gate Array (FPGA). By using FPGA, very rigorous Real-Time (RT) simulation requirements can be met. The response time of the FPGA simulations is significantly reduced, and the time synchronization is better than in a typical RT system implemented in software. The FPGA-based approach is characterized by enormous flexibility...
-
Predicting Value of Binding Constants of Organic Ligands to Beta-Cyclodextrin: Application of MARSplines and Descriptors Encoded in SMILES String
PublicationThe quantitative structure–activity relationship (QSPR) model was formulated to quantify values of the binding constant (lnK) of a series of ligands to beta–cyclodextrin (β-CD). For this purpose, the multivariate adaptive regression splines (MARSplines) methodology was adopted with molecular descriptors derived from the simplified molecular input line entry specification (SMILES) strings. This approach allows discovery of regression...
-
Tyre/road noise measurements on ISO tracks according to the UNECE Regulation 117
PublicationWithin the Polish-Norwegian research project ELANORE, a limited Round Robin Test has been performed on 3 ISO tracks in Northern Europe. The basic objective of the project is to improve the EU directive on labelling of tyres for noise and rolling resistance, and this directive is based on the measurement procedures defined in the UN ECE Reg.117. The same test car, test tyres and measurement equipment as well as personnel were used...
-
Temperature influence on tyre/road noise frequency spectra
PublicationThe correction for temperature effect on measured tyre/road noise is very important as it may be one of the main sources of errors in measurement results due to substantial influence of this parameter on obtained values. The latest version of the Technical Specification ISO/CD TS 13471-1 about Temperature Corrections contains a proposal of correction procedure for normalizing measured noise levels to a reference air temperature...