Filtry
wszystkich: 1661
wybranych: 1166
-
Katalog
- Publikacje 1166 wyników po odfiltrowaniu
- Czasopisma 41 wyników po odfiltrowaniu
- Konferencje 112 wyników po odfiltrowaniu
- Osoby 50 wyników po odfiltrowaniu
- Projekty 9 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 31 wyników po odfiltrowaniu
- Wydarzenia 3 wyników po odfiltrowaniu
- Dane Badawcze 248 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: software requirement specification
-
An inverse algorithm for contact heat conduction problems with an interfacial heat source based on a first-order thermocouple model
PublikacjaInverse problems of contact heat conduction with an interfacial heat source are common in various fields of science, engineering and technology. In this study, an algorithm for their solution is developed based on an inverse parametric optimisation method with an impulse response function describing the heat partition and contact heat transfer. A first-order thermocouple model with a time constant parameter is embedded in the impulse...
-
Neural Network-Based Sequential Global Sensitivity Analysis Algorithm
PublikacjaPerforming global sensitivity analysis (GSA) can be challenging due to the combined effect of the high computational cost, but it is also essential for engineering decision making. To reduce this cost, surrogate modeling such as neural networks (NNs) are used to replace the expensive simulation model in the GSA process, which introduces the additional challenge of finding the minimum number of training data samples required to...
-
Interior Point Method Evaluation for Reactive Power Flow Optimization in the Power System
PublikacjaThe 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.
-
AGREEprep – Analytical greenness metric for sample preparation
PublikacjaThis 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
PublikacjaA 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...
-
HMSE: A tool for coupling MODFLOW and HYDRUS-1D computer programs
PublikacjaA 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...
-
Creating IT competence centers
PublikacjaThis 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
PublikacjaThis 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
PublikacjaRozwó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...
-
Hazard Control in Industrial Environments: A Knowledge-Vision-Based Approach
PublikacjaThis 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...
-
Cascaded Buck Hybrid Interlink Converter for Multiple-Input / Multiple-Output Operation
PublikacjaThe 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
PublikacjaThis 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,...
-
Delivering Usability in IT Products: Empirical Lessons from the Field
Publikacja -
The Use of an Ontotrigger for Designing the Ontology of a Model Maturity Capsule
PublikacjaThe 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
PublikacjaThe 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
PublikacjaCoraz 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
PublikacjaThis 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
PublikacjaRozdział 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).
-
Safety integrity level verification for safety-related functions with security aspects
PublikacjaThe 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...
-
An in-depth look at the tire rubber hardness influence on tire/road noise measurements
PublikacjaWhen 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...
-
Properties of Old Concrete Built in the Former Leipziger Palace
PublikacjaThis 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...
-
Experimental Evaluation of ND: YAG Laser Parameters and Sample Preparation Methods for Texturing Thin AISI 316L Steel Samples
PublikacjaIn 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....
-
Language Models in Speech Recognition
PublikacjaThis 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.
-
Determination of safety indicators of the freight wagons by mobile systems
PublikacjaThe 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
PublikacjaA 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,...
-
Hardware cryptography coprocessor for system on chip soft processor
PublikacjaW 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...
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis 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
PublikacjaThe 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
PublikacjaThe 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
PublikacjaIn 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...
-
No-Wait & No-Idle Open Shop Minimum Makespan Scheduling with Bioperational Jobs
PublikacjaIn 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...
-
Automated Valuation Model based on fuzzy and rough set theory for real estate market with insufficient source data
PublikacjaObjective 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...
-
Neural network agents trained by declarative programming tutors
PublikacjaThis 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...
-
Self-Adaptive Mesh Generator for Global Complex Roots and Poles Finding Algorithm
PublikacjaIn 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...
-
Comparison of developed gaze point estimation methods
PublikacjaThis 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
PublikacjaAdvanced 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
PublikacjaNagios 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
PublikacjaImplementation 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
PublikacjaIn 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
PublikacjaThis 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
PublikacjaThis 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...
-
Open smart glasses development platform for AAL applications
PublikacjaThis 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
PublikacjaWe 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...
-
On extending open source IMS platform for integrated IPTV and VoIP services over IPv6
PublikacjaEven 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
PublikacjaSoftware-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...
-
FPGA Based Real Time Simulations of the Face Milling Process
PublikacjaThe 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...
-
Stress Monitoring System for Individuals with Autism Spectrum Disorders
PublikacjaIn 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...
-
Predicting Value of Binding Constants of Organic Ligands to Beta-Cyclodextrin: Application of MARSplines and Descriptors Encoded in SMILES String
PublikacjaThe 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...
-
Temperature influence on tyre/road noise frequency spectra
PublikacjaThe 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...
-
Evaluation of the factors influencing business bankruptcy risk in Poland
PublikacjaThis article is devoted to the issue of assessing the causes of business failure. The presented studies answer two research questions – what are the causes of corporate bankruptcies in Poland and how to more efectively predict the scale of bankruptcies in the country. The author has conducted a study to analyze the specic endogenous and exogenous causes of company bankruptcy depending on the type of the bankruptcy with consideration...