Filters
total: 1458
-
Catalog
displaying 1000 best results Help
Search results for: software requirement specification
-
Identification of Substrates of Cytoplasmic Peptidyl-Prolyl Cis/Trans Isomerases and Their Collective Essentiality in Escherichia Coli
PublicationProtein folding often requires molecular chaperones and folding catalysts, such as peptidyl-prolyl cis/trans isomerases (PPIs). The Escherichia coli cytoplasm contains six well-known PPIs, although a requirement of their PPIase activity, the identity of their substrates and relative enzymatic contribution is unknown. Thus, strains lacking all periplasmic and one of the cytoplasmic PPIs were constructed. Measurement of their PPIase...
-
Waste management in the mining industry of metals ores, coal, oil and natural gas - A review
PublicationWaste generated due to mining activity poses a serious issue due to the large amounts generated, even up to 65 billion tons per year, and is often associated with the risk posed by its storage and environmental management. This work aims to review waste management in the mining industry of metals ores, coal, oil and natural gas. It includes an analysis and discussion on the possibilities for reuse of certain types of wastes generated...
-
Investigation of Performance and Configuration of a Selected IoT System—Middleware Deployment Benchmarking and Recommendations
PublicationNowadays Internet of Things is gaining more and more focus all over the world. As a concept it gives many opportunities for applications for society and it is expected that the number of software services deployed in this area will still grow fast. Especially important in this context are properties connected with deployment such as portability, scalability and balance between software requirements and hardware capabilities. In...
-
Building Information Modeling in Small and Middle Sized Buildings – Case Study
PublicationBuilding Information Modeling (BIM) is a technology designed to improve and integrate all engineering aspects in the construction design process. Tools that incorporate the idea of BIM are becoming more advanced and also more popular. Available software solutions have already reached an assumable high level of development, but still are not as widespread and used on nearly as many construction projects as could be expected. Therefore...
-
Analysis of Validation and Simplification of Timber-Frame Structure Design Stage with PU-Foam Insulation
PublicationThe transition from experimental studies to the realm of numerical simulations is often necessary for further studies, but very difficult at the same time. This is especially the case for extended seismic analysis and earthquake-resistant design. This paper describes an approach to moving from the experimental testing of an elementary part of a wood-frame building structure to a numerical model, with the use of a commercial engineering...
-
Automatic audio signal mixing system based on one-dimensional Wave-U-Net autoencoders
PublicationThe purpose of this dissertation is to develop an automatic song mixing system that is capable of automatically mixing a song with good quality in any music genre. This work recalls first the audio signal processing methods used in audio mixing, and it describes selected methods for automatic audio mixing. Then, a novel architecture built based on one-dimensional Wave-U-Net autoencoders is proposed for automatic music mixing. Models...
-
Numerical evaluation of dynamic response of an experimentally tested base-isolated and fixed-base steel structure model
PublicationSeismic isolation is recognized as one of the most popular and effective methods of protecting structures during earthquake. The present paper is focused on the comparison be-tween the dynamic responses of buildings with fixed and isolated bases exposed to seismic exci-tations. The aim of the study is to investigate the effectiveness of a simplified base isolation numerical modelling technique using the linear springs. One-storey...
-
How digital technology affects working conditions in globally fragmented production chains: Evidence from Europe
PublicationThis paper uses a sample of over 9 million workers from 22 European countries to study the intertwined relationship between digital technology, cross-border production links and working conditions. We compare the social consequences of technological change exhibited by three types of innovation: computerisation (software), automation (robots) and artificial intelligence (AI). To fully quantify work-related wellbeing, we propose...
-
Process arrival pattern aware algorithms for acceleration of scatter and gather operations
PublicationImbalanced process arrival patterns (PAPs) are ubiquitous in many parallel and distributed systems, especially in HPC ones. The collective operations, e.g. in MPI, are designed for equal process arrival times (PATs), and are not optimized for deviations in their appearance. We propose eight new PAP-aware algorithms for the scatter and gather operations. They are binomial or linear tree adaptations introducing additional process...
-
Network-assisted processing of advanced IoT applications: challenges and proof-of-concept application
PublicationRecent advances in the area of the Internet of Things shows that devices are usually resource-constrained. To enable advanced applications on these devices, it is necessary to enhance their performance by leveraging external computing resources available in the network. This work presents a study of computational platforms to increase the performance of these devices based on the Mobile Cloud Computing (MCC) paradigm. The main...
-
Programmable dynamically changing RC model for evaluation of Dynamic EIS methods and instrumentation
PublicationThe paper concerns the RC equivalent circuit of electrochemical cell with the impedance changed during the experiment. The model was constructed using the digital potentiometers controlled by the microcontroller. This solution allows to control the model impedance by the software means. By creating adequate changes of the impedance spectrum as a time function, the different impedance measurement method can be tested to find out...
-
Online Sound Restoration for Digital Library Applications
PublicationA system for sound restoration was conceived and engineered having the following features: no special sound restoration software is needed to perform audio restoration by the user, the process of restoration employs automatic reduction of noise, wow and impulse distortions performed in the online mode, no skills in digital signal processing from the user are needed. The principles of the created system and its features as well...
-
Analysis of Crash Computation on a Basis of the Pronciple of Linear Momentum and Kinetic Energy
PublicationThe article shows the calculation of a vehicle crash with a fixed pile, modelled by the finite element method. There were compared during the crash simulations changes in kinetic energy, as well as – changes in linear momentum and its derivative, with respect to time. Calculations were made in the HyperWorks CAE software environment. The obtained results show influence of various body parts and devices of the deceleration on...
-
Nonreciprocal properties of elliptical ferrite coupled line junction
PublicationIn this paper the nonreciprocal properties of el-liptical ferrite coupled line (EFCL) junction are examined. In the analysis the technique combining spectral-domain approach (SDA) with coupled-mode method (CMM) is applied. The nu-merical results concerning gyromagnetic coupling coefficient of ferrite coupled lines and scattering matrix of EFCL junction are presented. The obtained results are validated with the use of commercial...
-
Scattering From a Cylindrical Object of Arbitrary Cross Section With the Use of Field Matching Method
PublicationA simple and intuitive solution to scattering problems in shielded and open structures is presented. The main idea of the analysis is based on the direct field matching technique involving the usage of projection of the fields at the boundary on a fixed set of orthogonal basis functions. Different convex shapes and various obstacle materials are considered to verify the validity of the method in open and closed structures. The...
-
Research and Analysis of High-Speed Data Transmission Radio Link Designed for Maritime Environment
PublicationIn these article, the realization of digital radio link for high-speed data transmission was presented. Its concept and practical realization, using USRP devices from National Instruments, were described. Developed software for generation and reception of digital signals in baseband, including description of modulation types, and time and frequency synchronization mechanisms, was presented. Moreover, an operation of designed radio...
-
Linear Micropolar Elasticity Analysis of Stresses in Bones Under Static Loads
PublicationWe discuss the finite element modeling of porous materials such as bones using the linear micropolar elasticity. In order to solve static boundary-value problems, we developed new finite elements, which capture the micropolar behavior of the material. Developed elements were implemented in the commercial software ABAQUS. The modeling of a femur bone with and without implant under various stages of healing is discussed in details
-
Research and analysis of high-speed data transmission radio link designed for maritime environment
PublicationIn these article the realization of digital radio link for high-speed data transmission was presented. Its concept and practical realization, using USRP devices from National Instruments, were described. Developed software for generation and reception of digital signals in baseband, including description of modulation types, and time and frequency synchronization mechanisms, was presented. Moreover, an operation of designed radio...
-
Próba oceny efektów projektowania układów geometrycznych toru z wykorzystaniem komercyjnych programów komputerowych
PublicationW pracy podjęto kwestię dokładności uzyskiwanej w projektowaniu układów geometrycznych toru z wykorzystaniem komercyjnych programów komputerowych typu CAD. Opisano w sposób ogólny funkcjonowanie wybranego programu. Do celów weryfikacji wykorzystano własną, analityczną metodę projektowania układów torowych. W analizie porównawczej rzędnych poziomych rozpatrzono trzy warianty układu geometrycznego zawierającego łuk koszowy z trzema...
-
XRD diffraction patterns for strontium ferrite molybdate-based compounds: as-prepared, reduced and reoxidized
Open Research DataThe dataset contains the XRD diffractograms collected at room temperature for SFM, LSFM and SFMNb in 3 different oxidation states, namely: as-prepared, reduced and reoxidized.
-
Dynamic GPU power capping with online performance tracing for energy efficient GPU computing using DEPO tool
PublicationGPU accelerators have become essential to the recent advance in computational power of high- performance computing (HPC) systems. Current HPC systems’ reaching an approximately 20–30 mega-watt power demand has resulted in increasing CO2 emissions, energy costs and necessitate increasingly complex cooling systems. This is a very real challenge. To address this, new mechanisms of software power control could be employed. In this...
-
Paweł Burdziakowski dr inż.
PeoplePaweł Burdziakowski, PhD, is a professional in low-altitude aerial photogrammetry and remote sensing, marine and aerial navigation. He is also a licensed flight instructor and software developer. His main areas of interest are digital photogrammetry, navigation of unmanned platforms and unmanned systems, including aerial, surface, underwater. He conducts research in algorithms and methods to improve the quality of spatial measurements...
-
Energy Efficiency Analysis of Railway Turnout Heating With a Simplified Snow Model Using Classical and Contactless Heating Method
PublicationElectrical heating of railway turnouts is a considerable technical and economic challenge, hence the need to conduct research for optimisation of a railway turnouts heating system. This paper presents results of a numerical analysis and experimental research on heating systems mounted on rail turnouts in line with the classical method and including a heater thermally insulated from the base of a rail. The numerical calculations...
-
Application development for Android, iOS and BlackBerry mobile platforms
PublicationMobile devices, along with dedicated operating systems, have become a substantial and rising trend in software development. Computer industry has significantly changed in order to fulfil the needs of this new segment of the market. Authors have participated in projects, which involved programming on Android, iOS and BlackBerry operating systems. In this paper the most popular mobile platforms (and multiplatform Unity3D environment)...
-
Three-dimensional conceptual model for service-oriented simulation
Publicationn this letter, we propose a novel three-dimensional conceptual model for an emerging service-oriented simulation paradigm. The model can be used as a guideline or an analytic means to find the potential and possible future directions of the current simulation frameworks. In particular, the model inspects the crossover between the disciplines of modeling and simulation, service-orientation, and software/systems engineering. Finally,...
-
Laboratory Load Model Based on 150 kVA Power Frequency Converter and Simulink Real-Time – Concept, mplementation, Experiments
PublicationFirst section of the paper provides technical specification of laboratory load model basing on 150 kVA power frequency converter and Simulink Real-Time platform. Assumptions, as well as control algorithm structure is presented. Theoretical considerations based on criteria which load types may be simulated using discussed laboratory setup, are described. As described model contains transformer with thyristor-controlled tap changer,...
-
The concept of stream and system reliability on the example of 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...
-
ACIS Conference on Software Engineering Research, Management and Applications
Conferences -
International Conference on Model-Driven Engineering and Software Development
Conferences -
International Conference on Hardware/Software Codesign and System Synthesis
Conferences -
International Conference on Evaluation of Novel Approaches to Software Engineering
Conferences -
IEEE International Conference on COTS-Based Software Systems
Conferences -
International Workshop on Software Technology for Augmented Reality Systems
Conferences -
International Symposium on Software Engineering: Theories, Tools, and Applications
Conferences -
Formal Methods in Software Engineering and Defence Systems Workshop
Conferences -
International Workshop on Economics-Driven Software Engineering Research
Conferences -
International Workshop on Realising Evidence-based Software Engineering
Conferences -
International Workshop on Requirements Engineering: Foundation for Software Quality
Conferences -
IEEE International Symposium on Performance Analysis of Systems and Software
Conferences -
IEEE International Conference on Software Analysis, Evolution and Reengineering
Conferences -
IEEE International Working Conference on Mining Software Repositories
Conferences -
International Conference on Complex, Intelligent and Software Intensive Systems
Conferences -
Zastosowanie specjalnego uziemienia żył powrotnych w liniach kablowych SN
PublicationW artykule porównano metody uziemiania żył powrotnych kabli średniego napięcia. Głównym kryterium oceny poszczególnych rozwiązań było ograniczenie strat w przesyle energii elektrycznej oraz zapewnienie ochrony przeciwprzepięciowej osłon kabli. Na podstawie symulacji kabli zamodelowanych w programie CYMCAP i otrzymanych wyników obciążalności prądowej i strat w linii zaprezentowano metodę krzyżowania żył powrotnych (CB – cross-bonding...
-
Verification and Benchmarking in MPA Coprocessor Design Process
PublicationThis paper presents verification and benchmarking required for the development of a coprocessor digital circuit for integer multiple-precision arithmetic (MPA). Its code is developed, with the use of very high speed integrated circuit hardware description language (VHDL), as an intellectual property core. Therefore, it can be used by a final user within their own computing system based on field-programmable gate arrays (FPGAs)....
-
PLC-based Implementation of Stochastic Optimization Method in the Form of Evolutionary Strategies for PID, LQR, and MPC Control
PublicationProgrammable logic controllers (PLCs) are usually equipped with only basic direct control algorithms like proportional-integral-derivative (PID). Modules included in engineering software running on a personal computer (PC) are usually used to tune controllers. In this article, an alternative approach is considered, i.e. the development of a stochastic optimizer based on the (μ,λ) evolution strategy (ES) in a PLC. For this purpose,...
-
Methods of data extraction from sub-bottom profiler's signal
PublicationData obtain during sounding Gdansk Bay with SES-2000 Standard parametric sub-bottom profiler has two types of information: envelope and pure signal. First is used to plot echograms in real time and contain envelope of echo. The second one is stored during sounding and can be processed after recording data. Comparison of results will be shown and discussed. First step in investigation was proper configuration of small measurement...
-
Processing data on sea bottom structure obtained by means of the parametric sounding
PublicationThe aim of the paper is to analyze data obtain during sounding of the Gdansk Bay by means of the parametric sonar. The accuracy of the sea bottom structure investigation needs the correct configuration of research equipment and the proper calibration of peripheral devices (GPS, heading sensor, motion sensor MRU-Z and navigation units) which provide necessary data to bathymetrical measurement system enabling its work with whole...
-
Automatic Incident Detection at Intersections with Use of Telematics
PublicationWhile there are many examples of Intelligent Transport System deployments in Poland, more attention should be paid to traffic incident management and detection on dual-carriageways and urban street networks. One of the aims of CIVITAS DYN@MO, a European Union funded project, is to use TRISTAR (an Urban Transport Management System) detection modules to detect incidents at junctions equipped with traffic signals. First part of paper...
-
Landscape of Automated Log Analysis: A Systematic Literature Review and Mapping Study
PublicationLogging is a common practice in software engineering to provide insights into working systems. The main uses of log files have always been failure identification and root cause analysis. In recent years, novel applications of logging have emerged that benefit from automated analysis of log files, for example, real-time monitoring of system health, understanding users’ behavior, and extracting domain knowledge. Although nearly every...
-
Finite element simulation of cross shaped window panel supports
PublicationThe aim of the work is to verify suitability of cross-shaped window panel supports for mullion-transom wall systems. The Finite Element Method (FEM) is chosen to determine the behaviour of stainless steel elements under loading. The advanced non-linear numerical simulations are carried out using an implicit FEM software package MSC.Marc. This study is proposed to initiate the comprehensive investigation of mechanical properties...