Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
The code behind dynamic webpages often includes calls to database libraries, with queries formed using a combination of static text and values computed at runtime. In this paper, we describe our work on a program analysis for extracting models of database queries that can compactly represent all queries that could be used in a specific database library call. We also describe our work on parsing partial...
Cyber-Physical Systems (CPS) consist of embedded computers with sensing and actuation capability, and are integrated into and tightly coupled with a physical system. Because the physical and cyber components of the system are tightly coupled, cyber-security is important for ensuring the system functions properly and safely. However, the effects of a cyberattack on the whole system may be difficult...
A potential formalization of factor management and assessment algorithm, automated modeling system architecture and performance evaluation of major infrastructural transport and logistics projects and processes is suggested, based on numerical and analytical methods of digital economy, qualitative (verbal) and quantitative assessment indicators and criteria, economic logistics model and efficient...
Memory price will continue dropping in the next few years according to Gartner. Such trend renders it affordable for in-memory key-value stores (IMKVs) to maintain redundant memory-resident copies of each key-value pair to provision enhanced reliability and high availability services. Though contemporary IMKVs have reached unprecedented performance, delivering single-digit microsecond-scale latency...
This paper studies a statistical dataset describing submissions to the municipalities in Czech Republic. The dataset contains five submission-specific subgroups as interdependent time series. The research purpose is to build a suitable model for description of the process. In this work, the autoregressive and vector autoregressive models are used for fitting the data. The obtained results proved to...
Simulation represents the major research method in all knowledge domains and a scientifically valid method of estimating the characteristics of complex systems used for decision making in different areas of engineering. The existing and projected systems can be explored effectively using mathematical models (analytical and simulation) implemented on high-performance computers, which act in this case...
Crowd event detection techniques aim at solving real-world surveillance problems, such as detecting crowd anomaly and tracking specific person in a highly dynamic crowd scene. In this paper, we proposed an innovate texture-based analysis method to model crowd dynamics and us it to distinguish the crowd behaviours. To describe complicated crowd scenes, homogeneous random features have been deployed...
This paper describes a new postgraduate master research seminar format which was designed to establish research activities for open and distance education university’s degree courses. The master research seminar introduces students into professional research, publication, and presentation of their research work, based on a given field of research, significantly contributing to the university’s research...
Using analytical calculations, a precise large signal equivalent circuit model of square CMUT dynamics was developed. The model predicts many intrinsic properties of a square CMUT cell including resonance frequency, phase and magnitude of the membrane displacement, membrane velocity, electrical conductance, collapse voltage, etc. ANSYS 3D finite element analysis (FEA) was used to validate the equivalent...
The point spread function (PSF), namely the response of a system to a point source, is a measure of the quality of an ultrasound imager system. It highly depends on the image reconstruction algorithm, and it is usually either crudely estimated by assuming spatial-invariance, or evaluated via simulation, as proposed by Field II, coupled with reconstruction algorithms, such as delay-and-sum (DAS). The...
Wireless communication networks are very crucial for any operations of all sectors of modern society such as commercial mobile communication or military communication. High-altitude electromagnetic pulse (HEMP) leads severe threats to the survivability and robustness of communication network. Due to the high complexity and hard proven properties of large-scale networks, network-level HEMP effect evaluation...
Electrospinning is an experimental method of the polymer super thin fibres formation by the electrostatic field. The distribution of electrostatic field affects the effectiveness of the electrospinning. In order to analyze the electrostatic field for given technological parameters the 3-D computer model of an electrospinning device is necessary.
Induction machines for traction applications are operated at working points of high ferromagnetic saturation. Depending on the working point, a broad spectrum of harmonic frequencies appears in the magnetic flux density of induction machines. Detailed loss analysis therefore requires local and temporal highly resolved nonlinear field computation. This loss analysis could be performed in the post processing...
In this paper two multiphysics models are performed in order to predict vibration behavior in a five-phase flux switching machine. Radial magnetic stress is calculated using both analytical model obtained by permeance network and finite element model. In order to evaluate stator radial accelerations, each of the two magnetic models are coupled with an analytical mechanical model to diagnose faulty...
In IUS 2016, we proposed a capacitive micromachined ultrasonic transducer embedded a field effect transistor (CMUT-FET) for 20 MHz operation. As a result, the possibility of high sensitivity in a high-frequency range was verified via a combination of two simulation tools, a 3-D finite element analysis (FEA) for the CMUT part and a technology computer aided design for the FET part. Since the results...
An accurate nonlinear lumped equivalent circuit model is used for modeling of capacitive micromachined Ultrasonic Transducers (CMUTs). Finite element analysis (FEA) is a powerful tool for the analysis of CMUT arrays with a few number of cells while with the equivalent circuit model, the entire behavior of a large-scale arbitrary CMUT array can be modelled in a very short time. Recently, an accurate...
Applying Flexsim system simulation software to build the simulation model of logistics sorting system. Before the introduction of automatic sorting equipment and technology in the sorting system, through the establishment of the Flexsim simulation model to simulate, analyze and evaluate the design scheme.
Cryptocurrency mining can be said to be the modern alchemy, involving as it does the transmutation of electricity into digital gold. The goal of mining is to guess the solution to a cryptographic puzzle, the difficulty of which is determined by the network, and thence to win the block reward and transaction fees. Because the return on solo mining has a very high variance, miners band together to create...
The article presents statistical word-based and phoneme-based language models for automatic speech recognition application in Polish. Appropriate orthographic and phonemic language corpora allow to perform statistical analysis of the language and to develop statistical word-based and phoneme-based language models. Development of statistical language models helps to predict a sequence of recognized...
Primary grades students' thoughts are usually fragmented and their organizational skills of language are poor, so they often can't express and organize their thoughts clearly and logically when they write compositions. Therefore, it is necessary to develop a writing guidance app with information technology which is suitable for primary grades students. The key to writing guidance is to give a reasonable...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.