Filters
total: 1668
filtered: 1169
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: software requirement specification
-
Software tool for modelling of mechatronic systems with elastic continua
PublicationThe paper presents a systematic computational package for modelling and analysis of complex systems composed of multiple lumped and distributed parameter subsystems. The constructed computer program enables the frequency domain analysis of a class of linear systems and to obtain reduced order model in the form of bond graph. Obtained modal bond graph can be directly exported into 20-Sim package to further processing including nonlinear...
-
Thermodynamic Analysis of Negative CO2 Emission Power Plant Using Aspen Plus, Aspen Hysys, and Ebsilon Software
PublicationAbstract: The article presents results of thermodynamic analysis using a zero-dimensional mathematical models of a negative CO2 emission power plant. The developed cycle of a negative CO2 emission power plant allows the production of electricity using gasified sewage sludge as a main fuel. The negative emission can be achieved by the use this type of fuel which is already a “zeroemissive” energy source. Together with carbon capture...
-
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublicationFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
Software tools for identification, visualization and analysis of protein tunnels and channels
Publication -
A Method of Lathe Checks Measurement; SMOF device and its software
Publication -
Modeling of generator performance of BLDC machine using mathematica software
PublicationW artykule porównano trzy modele maszyny bezszczotkowej prądu stałego z magnesami trwałymi(BLDC) w przypadku pracy prądnicowej. Najprostszy model qd0 sprowadzono do dwóch osi prostopadłychzwiązanych z wirnikiem [3]. Zakłada on sinusoidalny rozkład pola w szczelinie. Model opisany wosiach naturalnych wyprowadzono w oparciu o formalizm Lagrnage'a [4] i moŜe uwzględniać dowolnyrozkład pola wzbudzonego przez magnesy trwałe. Model pośredni...
-
Poll Reader - the working prototype of optical mark recognition software
PublicationAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Knowledge management based on formal models of software project management
PublicationCelem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...
-
Forecasting demand for products in distribution networks using R software
Publication -
SMOTE-Based Homogeneous Ensemble Methods for Software Defect Prediction
Publication -
Software layer for FPGA-based TESLA cavity control system
Publication -
Towards a software platform for experience administration: Decisional DNA Manager
PublicationW pracy przedstawiono koncepcje dochodzenia do konstrukcji platformy wspomagajacej procesy zarzadzania dosswiadczeniem decyzyjnym.
-
Safety of computer control systems: challenges and results in software development.
PublicationArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.
-
Gradient-based optimization of filters using FD-TD software
PublicationW artykule opisane jest nowe podejście do zagadnienia optymalizacji filtrów mikrofalowych pasmowo-przepustowych. Optymalizacja prowadzona jest z wykorzystaniem metody gradientowej poszukiwania minimum wartości funkcji celu oraz przy założeniu pełnofalowej symulacji obwodów metodą różnic skończonych w dziedzinie czasu. W artykule pokazane jest, że stosując zaawansowane techniki cyfrowego przetwarzania sygnałów możliwa jest optymalizacja...
-
Solving nonlinear programming problems by using O&G software.
PublicationPraca opisuje pakiet optymalizacyjny oprogramowania O&G. Umożliwia on rozwiązywanie problemów programowania nieliniowego. Użytkownik może w wygodny sposób formułować rozwiązywane zadanie i dobierać metody obliczeniowe używając interaktywnego interfejsu.
-
How can we justify trust in software based systems?
PublicationArtykuł wprowadza pojęcie ''trust case'' i wyjasnia jego znaczenie w kontekście systemów informatycznych. Przedstawia również doświadczenia zdobyte w trakcie budowy trust case dla złożonego systemu IT przeznaczonego do wspomagania procesów dystrybucji i stosowania leków. Przedstawia również szereg otwartych problemów badawczych dotyczacych budowy i zarządzanie dowodami zaufania (trust case).
-
<title>Software layer for SIMCON ver. 2.1. FPGA based LLRF control system for TESLA FEL part I: system overview, software layers definition</title>
Publication -
Universal software radio peripheral as a receiver and DSP platform for a passive radar
Publication -
Data Sampling-Based Feature Selection Framework for Software Defect Prediction
Publication -
Hardware-Software Implementation of Basic Principles Simulator of Nuclear Reactor Processes
PublicationThe paper presents implementation process of basic principle simulators of a nuclear reactor processes. Simulators are based on point-models of processes: kinetics of neutrons, heat generation and exchange, poisoning and burning-up nuclear fuel. Reference simulator was developed in MATLAB/Simulink without taking into account real-time operation. Second simulator was built using the toolbox xPC with hard real-time requirements....
-
Using CFD software for the evaluation of hygrothermal conditions at wall-window perimeters
Publication -
Eye-tracking everywhere - software supporting disabled people in interaction with computers
PublicationIn this paper we present comprehensive system for communication with computer by gaze. One of the main assumptions behind this work was to provide solution that can be used with standard RGB webcam. The proposed comprehensive system included the eye tracking module and user interface for convenient gaze interaction with computer. As a result a fully functional application was developed. The average accuracy of the eye tracking...
-
Advanced local energy planning using the ALEP-PL computer software
PublicationPrzedstawiono autorski system komputerowy ALEP-PL do gromadzenia i agregacji danych o lokalnych obiektach energetycznych. System pozwala na analizy senariuszowe poprzez bilanse zapotrzebowania na paliwa i energie oraz poprzez wskaźnikowe wyznaczanie wilekości emisji CO2. Dodatkowo, dzięki wybudowanemu w system ALEP-PL zestawowi technologii modernizacyjnych, aplikacja umożliwia opracowywanie strategii redukcji emisji CO2, poprawy...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Concept of building knowledge based systems applied in software project management.
PublicationW artykule przedstawiono koncepcję budowy systemów opartych na wiedzy. Koncepcja ta bazuje na wykorzystaniu teorii zbiorów rozmytych oraz metodach ustawicznego modelowania. W artykule wskazano na metody strojenia i adaptacji tych modeli
-
Methods of building knowledge-based systems applied in software project management
PublicationPraca zawiera rozdział poświecony problematyce budowy systemów z bazami wiedzy dla wspomagania procesów zarządzania. W rozdziale tym przedstawiono metody budowy systemów dla potrzeb zarządzania koncentrując uwagę na systemach opartych na wiedzy. Następnie omówiono możliwości zastosowania teorii zbiorów rozmytych do modelowania wiedzy. Na zakończenie przedstawiono przykład wykorzystania zbiorów rozmytych i systemów opartych na wiedzy...
-
development of an open source software to transform acoustic data for classification of benthic habitat
Publication.
-
WiMA: Towards a Multi-Criterion Association in Software Defined Wi-Fi Networks
Publication -
The application of GIS and 3D graphic software to visual impact assessment of wind turbines
Publication -
Application of Shuffled Frog-Leaping Algorithm for Optimal Software Project Scheduling and Staffing
Publication -
Hybrid Obfuscation Technique to Protect Source Code From Prohibited Software Reverse Engineering
Publication -
Looking For Motivation. How to Keep Students’ Software Projects from Ending up on the Shelf?
PublicationIT specialists in the business environment work in teams according to the established methodology and using the established toolkit. From the university’s point of view, preparing IT students to work in such an environment is a challenging task, as it requires either cooperation with business or the simulation of similar conditions in the university environment. Participation of students in real projects can provide them with the...
-
Drawing Functions and NLP Algorithm Steps for Optimization Problems by using O&G Software.
PublicationPraca opisuje program służący do wizualizacji problemów programowania nieliniowego (funkcja celu, ograniczenia) oraz pracy rozwiązującego je algorytmu. Wizualizacja może być realizowana w przestrzeni dwu- lub trójwymiarowej.
-
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublicationArtykuł przedstawia metodę Wspomagania Interakcji KLienta i Dostawcy Oprogramowania (WIKLIDO). Metoda ta została zpowodzeniem zastosowana w dwóch studiach przypadków w komercyjnych projektach pozyskiwania oprogramowania. Artykuł wyjaśnia w jaki sposób metoda wykorzystuje środki modelowania do usystematyzowania interakcji pomiędzy klientem i dostawcą oprogramowania. Przedstawia również w jaki sposób wykorzystano podejście GQM (ang....
-
Software-based method of increasing the effective resolution of a measurement chain for a transducer with a pulse frequency output
Publication -
A Multichannel Receiver of the Experimental FM Based Passive Radar Using Software Defined Radio Technology
Publication -
Numerical analysis of chip removing system operation in circular sawing machine using CFD software
PublicationPaper presents the analysis of the results of numerical simulations of the air flow process of wood chips removing system in the circular sawing machine. The attention is focused on the upper cover and bottom shelter of the chip removing system. Within the framework of the work a systematic numerical modeling of the air flow distribution in the cover and shelter during operation of the selected rotational speed of saw blade with...
-
How Good Is My Project? Experiences from Projecting Software Quality Using a Reference Set
Publication -
Sprzętowa i programowa realizacja algorytmu szyfrującego AES = Hardware and software implementation of AES algorithm
PublicationW artykule przedstawiono sprzętową i programową realizację algorytmu szyfrującego i deszyfrującego AES. Obydwie implementacje zostały zrealizowane z wykorzystaniem platformy Virtex-II i praktycznie zweryfikowane. Jako kryteria do porównania wybrano: zużycie zasobów, przepustowość i zużycie mocy. Wersja sprzętowa charakteryzuje się 190-krotnie większą przepustowością, 80-krotnie mniejszym zużyciem energii na przetworzenie jednego...
-
The Ellenbogen's “Matter as Software” Concept for Quantum Computer Implementation. C60 and X@C60 Molecules as Available Molecular Building Blocks (MBBs) for Tip-Based Nanofabrication (TBN) of Quantum Computing Devices
PublicationThe TBN bottom-up strategy of building quantum devices from C60 and X@C60 MBBs is proposed as an extension of the Ellenbogen's “Matter as Software” idea to quantum information processing. The capped SW or DW CNT STM tip is considered as device for manipulating C60 and X@C60 molecules. In this article, the possibility of using easily available on the market C60 Fullerene and endohedral X@C60 molecules together with commercial CNT...
-
Application of 3D graphic software and GIS in visual impact assessment of high-voltage overhead transmission lines
Publication -
Impact of Feature Selection Methods on the Predictive Performance of Software Defect Prediction Models: An Extensive Empirical Study
Publication -
On efficient collaboration between lawyers and software engineers when transforming legal regulations to law-related requirements
PublicationAby zapewnić zgodność systemów informatycznych z prawem, konieczna jest współpraca pomiędzy prawnikami a informatykami. W referacie przedstawiono opis problemów dotyczących przekształcania przepisów prawa na wymagania względem systemu z perspektywy prawnika i informatyka. Zaprezentowano również ideę przestrzeni wspólnych informacji umożliwiających efektywną współpracę oraz proces, który integruje analizę wymagań wynikających z...
-
Hardware-Software Implementation of a Sensor Network for CityTraffic Monitoring Using the FPGA- and ASIC-Based Sensor Nodes
PublicationArtykuł opisuje prototypową sieć sensorową do monitorowania ruchu pojazdów w mieście. Węzły sieci sensorowej, wyposażone w kamerę o niskiej rozdzielczości, obserwują ulice i wykrywają poruszające się obiekty. Detekcja obiektów jest realizowana w oparciu o własny algorytm segmentacji obrazów, wykorzystujący podwójne odejmowanie tła, wykrywanie krawędzi i cieni, działający na dedykowanym systemie mikroelektronicznym typu ''System...
-
Statistical process control in software project management : a way to transfer single incident-related knowledge into organizational knowledge
PublicationZaproponowano statystyczne podejście do procesu kontroli zarządzania projektami informatycznymi. Przedstawiono sposób zamiany wiedzy incydentalnej na wiedzę organizacyjną.
-
Application of the Life Cycle Analysis and the Building Information Modelling Software in the Architectural Climate Change-Oriented Design Process
Publication -
Review of intelligent software architectures for the development of an intelligent decision support system for design process planning in concurrent engineering
PublicationW artykule poddano dogłębnej analizie szereg inteligentnych technik miękkie-go modelowania pod katem ich przydatności w obszarze wspomagania procesówplanowania dla inżynierii współzadaniowej. Skoncentrowano się na wspomaganiujednego z najważniejszych obszarów inżynierii współzadaniowej, a mianowicieprocesu projektowania. W wyniku analizy zaproponowano architekturę wspomaga-nia opartą na tablicowej bazie wiedzy modelującej wnioskowanie...
-
The Ellenbogen's "Matter as Software" Concept for Quantum Computer Implementation: III. Selection of X@C60 Molecular Building Blocks (MBBs) for Tip-Based Nanofabrication (TBN) of Trapped Neutral Atom Quantum Computing Devices
PublicationThe selection of guest atoms X of X@C60 MBBs for TBN of trapped neutral atom quantum computing devices is reported. Assuming the all-optical quantum computing as a final target stage, the two criteria are most important: the charge q accumulated on the C60 host must be as low as possible, and the atom X must have one or more available excited states within the band falling into the low energy window of neutral C60 molecule electronic...
-
On some aspects of Concurrent Control Processes Modelling and Implementation in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
Signal Receiving and Processing Platform of the Experimental Passive Radar for Intelligent Surveillance System Using Software Defined Radio Approach
Publication