Filters
total: 2458
filtered: 1467
-
Catalog
- Publications 1467 available results
- Journals 241 available results
- Conferences 136 available results
- People 252 available results
- Projects 2 available results
- Research Teams 1 available results
- e-Learning Courses 91 available results
- Events 5 available results
- Open Research Data 263 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MULTIMODAL COMPUTER INTERFACES
-
Dynamic Positioning System with Vectorial Backstepping Controller
PublicationThe problem of synthesis a dynamic positioning system for low frequency model of surface vessel was considered in this paper. The recursive vectorial backstepping control design was used to keep a fixed position and heading in presence of wave disturbances. The passive observer was introduced to smooth the measurements and to estimate the velocities needed for the control algorithm. Some parameters of observer were optimized off-line...
-
River flow simulation based on the HEC-RAS system
PublicationThis work considers the problem of river floods, and presents a computer solution that can be used to predict such a threat. The basic tool, called Hydrologic Engineering Centers for River Analysis System (HEC-RAS), and created by the US Army Corps of Engineering, is well developed; and the models created in the system HEC-RAS are quite realistic. For the purpose of solving practical national flood problems, simplified static and...
-
River Flow Simulation Based on the HEC-RAS System
PublicationThis work considers the problem of river floods, and presents a computer solution that can be used to predict such a threat. The basic tool, called Hydrologic Engineering Centers for River Analysis System (HEC-RAS), and created by the US Army Corps of Engineering, is well developed; and the models created in the system HEC-RAS are quite realistic. For the purpose of solving practical national flood problems, simplified static and...
-
Tool Wear Prediction in Single-Sided Lapping Process
PublicationSingle-sided lapping is one of the most effective planarization technologies. The process has relatively complex kinematics and it is determined by a number of inputs parameters. It has been noted that prediction of the tool wear during the process is critical for product quality control. To determine the profile wear of the lapping plate, a computer model which simulates abrasive grains trajectories was developed in MATLAB. Moreover,...
-
Issues of Measuring the Course of Batch Production Processes
PublicationIn order to meet demands induced by development of manufacturing processes and production systems, new criteria and indicators that would allow a multiple aspect and realistic rating of batch production process courses are necessary. The objective of this paper is to present the correlation between production processes measurement, its rating and production control, basing on case study analysis from production enterprise. A new...
-
Parametrical 3D model of an asynchronous motor - AutoCAD application.
PublicationA computer program for automatic drawing of 3D models of squirrel-cage induction motors is presented in this paper. The created model of a machine is of parametrical nature, which means that the user defines geometry of particular elements (shaft, stator core, bearing, windings etc.) on the basis dimensions and some other parameters e.g. type of bearing, kind of winding, number of slots. This program is useful for 3D modelling...
-
On Software Unit Testing For Security and Performance Gain At Unit Level
PublicationPerformance and security are software (SW) application attributes situated on the opposite corners of system design. In the most drastic example the most secure component is the one totally isolated from the outside world, with communication performance reduced to zero level (e.g. disconnected physically from the network, placed inside a Faraday cage to eliminate possible wireless accessibility). On the other hand the most performance-optimized...
-
On Software Unit Testing For Improving Security And Performance Of Distributed Applications
PublicationPerformance and security are software (SW) application attributes situated on the opposite corners of system design. In the most drastic example the most secure component is the one totally isolated from the outside world, with communication performance reduced to zero level (e.g. disconnected physically from the network, placed inside a Faraday cage to eliminate possible wireless accessibility). On the other hand the most performance-optimized...
-
Glass-ceramic sealants and steel interconnects: accelerated interfacial stability and reactivity tests at high temperature
PublicationHigh-temperature reactions between glass-ceramic sealants and Fe-Cr alloy interconnects may lead to the formation of undesirable phases, and consequently degradation of solid oxide fuel/electrolyser devices. In this work, three different glass-ceramic sealants (Na-containing, Ba-containing, Sr-containing compositions) and Fe22Cr stainless steel powders (raw and pre-oxidised) are considered in order to test their chemical reactivity...
-
Modeling the debonding process of osseointegrated implants due to coupled adhesion and friction
PublicationCementless implants have become widely used for total hip replacement surgery. The long-term stability of these implants is achieved by bone growing around and into the rough surface of the implant, a process called osseointegration. However, debonding of the bone–implant interface can still occur due to aseptic implant loosening and insufficient osseointegration, which may have dramatic consequences. The aim of this work is to...
-
Universal Augmentation Schemes for Network Navigability
PublicationRozważano problem uzupełniania grafu (reprezentującego np. sieci społeczne) poprzez dodanie w każdym węźle jednego dodatkowego skierowanego połączenia (długodystansowego). Dokładniej, dla każdego węzła definiuje się listę prawdopodobieństw istnienia połączenia wychodzącego z danego węzła do wszystkich pozostałych węzłów; wartości tych prawdopodobieństw muszą sumować się do jedności. Routing zachłanny w takiej sieci polega na przekazywaniu...
-
Smaller representation of finite state automata
PublicationThis paper is a follow-up to Jan Daciuk's experiments on space-efficient finite state automata representation that can be used directly for traversals in main memory (Daciuk, 2000)[4]. We investigate several techniques for reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve...
-
Phutball is PSPACE-hard
PublicationW pracy dowodzimy, że gra ''Phutball'' (Philosopher's Football) jest PSPACE-trudna.
-
Connected searching of weighted trees
PublicationW pracy pokazano, że problem spójnego przeszukiwania drzew ważonych jest silnie NP-zupełny. Problem pozostaje trudnym dla drzew z jednym wierzchołkiem o stopniu większym niż 2. Ponadto, przedstawiony został wielomianowy optymalny algorytm dla klasy drzew z ograniczonym stopniem.
-
Synchronous black hole search in directed graphs
PublicationThe paper considers a team of robots which has to explore a graph G, where some nodes can be harmful. Robots are initially located at the so-called home base node. The dangerous nodes are the so-called black hole nodes, and once a robot enters in one of them, it is destroyed. The goal is to find a strategy in order to explore G in such a way that minimum number of robots is wasted. The exploration ends if there is at least one...
-
Application of crowdfunding to video game projects financing
Publication -
Efficient parallel algorithms in global optimization of potential energy functions for peptides, proteins, and crystals
Publication -
Investigation of Vibro-Acoustical Properties Using Eigenvalue Problem Solution and Wavelets
Publication -
Finding Temperature Distribution at Heat Recovery Unit Using Genetic Algorithms
Publication -
Optimization of multilayer rail substrate under moving load, using metamaterials.
Publication -
On some aspects of Concurrent Control Processes Modelling and Implementation in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
Finite State Machine Based Modelling of Discrete Control Algorithm in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
Operational Properties Investigation of The Flat-Plate Solar Collector with Poliuretane Foam Insulation
Publication -
Dynamics of changes in Poland in the light of the Industry 4.0
Publication -
Autonomous control of a mobile robot to explore areas with difficult terrain
Publication -
IPNES - Interpreted Petri Net for Embedded Systems
Publication -
Selected reflections on formal modeling in Industry 4.0
Publication -
A Concept of a Training Project IT Management System
Publication -
Implementation of an example of Hierarchical Petri Net (HPN) in LAD language in TIA Portal
Publication -
Investigation of Anti-Lock Braking System failures using wavelet analysis
Publication -
Thermo-mechanic tests using 3d printed elements
Publication -
A Novel Framework for Decision Support System in Human Resource Management
Publication -
New approach to the chunk recoginition in Polish
Publication -
A fast algorithm for computing the flux around non-overlapping disks on the plane
Publication -
Preface
Publication -
Ensemble Classifier for Mining Data Streams
Publication -
Implementation of algebraic procedures on the GPU using CUDA architecture on the example of generalized eigenvalue problem
Publication -
ARUZ — Large-scale, massively parallel FPGA-based analyzer of real complex systems
Publication -
Modeling of Imaging Mass Spectrometry Data and Testing by Permutation for Biomarkers Discovery in Tissues
Publication -
On minimum cost edge searching
PublicationWe consider the problem of finding edge search strategies of minimum cost. The cost of a search strategy is the sum of searchers used in the clearing steps of the search. One of the natural questions is whether it is possible to find a search strategy that minimizes both the cost and the number of searchers used to clear a given graph G. We call such a strategy ideal. We prove, by an example, that ideal search strategies do not...
-
Implementing Virtual Engineering Objects (VEO) with the Set of Experience Knowledge Structure (SOEKS)
PublicationThis paper illustrates the idea of Virtual Engineering Object (VEO) powered by Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). A VEO is the knowledge representation of an engineering object, having embodiment of all its associated knowledge and experience within it. Moreover, VEO is a specialization of Cyber-Physical System (CPS) in terms of that its extension in knowledge gathering and reuse, whereas CPS...
-
Nested Space Mapping Technology for Expedite EM-driven Design of Compact RF/microwave Components
PublicationA robust simulation-driven methodology for rapid and reliable design of RF/microwave circuits comprising compact microstrip resonant cells (CMRCs) is presented. We introduce a nested space mapping (NSM) technology, in which the inner space mapping layer is utilized to improve the generalization capabilities of the equivalent circuit model corresponding to a constitutive element of the circuit under consideration. The outer layer...
-
Low-Cost EM-Simulation-Driven Multi-Objective Optimization of Antennas
PublicationA surrogate-based method for efficient multi-objective antenna optimization is presented. Our technique exploits response surface approximation (RSA) model constructed from sampled low-fidelity antenna model (here, obtained through coarse-discretization EM simulation). The RSA model enables fast determination of the best available trade-offs between conflicting design goals. A low-cost RSA model construction is possible through...
-
Fast Low-fidelity Wing Aerodynamics Model for Surrogate-Based Shape Optimization
PublicationVariable-fidelity optimization (VFO) can be efficient in terms of the computational cost when compared with traditional approaches, such as gradient-based methods with adjoint sensitivity information. In variable-fidelity methods, the directoptimization of the expensive high-fidelity model is replaced by iterative re-optimization of a physics-based surrogate model, which is constructed from a corrected low-fidelity model. The success...
-
Viability of decisional DNA in robotics
PublicationThe Decisional DNA is an artificial intelligence system that uses prior experiences to shape future decisions. Decisional DNA is written in the Set Of Experience Knowledge Structure (SOEKS) and is capable of capturing and reusing a broad range of data. Decisional DNA has been implemented in several fields including Alzheimer’s diagnosis, geothermal energy and smart TV. Decisional DNA is well suited to use in robotics due to the...
-
The Hybrid Fuzzy - SOEKS Approach to the Polish Internet Mortgage Market
PublicationThe paper presents the hybrid fuzzy- SOEKS approach to the Polish Internet mortgage market, which is treated as an example of a fast changing market. Firstly, the market and market problems are described. Then, the first approach to the market problems is presented: the complete fuzzy model which was built basing on the rules. The fuzzy model is presented on one real data case. Next, the new approach, called Set of Experience Knowledge...
-
Brushing with additional cleaning restrictions
PublicationIn graph cleaning problems, brushes clean a graph by traversing it subject to certain rules. We consider the process where at each time step, a vertex that has at least as many brushes as incident, contaminated edges, sends brushes down these edges to clean them. Various problems arise, such as determining the minimum number of brushes (called the brush number) that are required to clean the entire graph. Here, we study a new variant...
-
The searchlight problem for road networks
PublicationWe consider the problem of searching for a mobile intruder hiding in a road network given as the union of two or more lines, or two or more line segments, in the plane. Some of the intersections of the road network are occupied by stationary guards equipped with a number of searchlights, each of which can emit a single ray of light in any direction along the lines (or line segments) it is on. The goal is to detect the intruder,...
-
Distinguishing views in symmetric networks: A tight lower bound
PublicationThe view of a node in a port-labeled network is an infinite tree encoding all walks in the network originating from this node. We prove that for any integers n ≥ D ≥ 1, there exists a port-labeled network with at most n nodes and diameter at most D which contains a pair of nodes whose (infinite) views are different, but whose views truncated to depth Omega( D log(n/ D )) are identical.
-
Virtual Engineering Object / Virtual Engineering Process: A specialized form of Cyber Physical System for Industrie 4.0
PublicationThis paper reviews the theories, parallels and variances between Virtual Engineering Object (VEO) / Virtual Engineering Process (VEP) and Cyber Physical System (CPS). VEO and VEP is an experience based knowledge representation of engineering objects and processes respectively. Cyber–physical systems (CPSs) are the next generation of engineered systems in which computing, communication, and control technologies are tightly integrated....