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.
Impulse-Radio Ultra Wideband (IR-UWB) is a promising technology for indoor localization due to its robustness against multipath interference. In this paper, to deal with the synchronization requirement among anchors in traditional time-difference-of-arrival (TDOA) localization, which is difficult to achieve, an asynchronous time-difference-of-arrival (TDOA) localization method is proposed. The theoretical...
With the advent of modern online services such as cloud, security of remote machines has become a major concern. Remote Attestation is a term recently introduced by the Trusted Computing Group that enables a platform owner to the remotely verify the trusted state of the client platform. For this purpose, TCG based attestation or Integrity Measurement Architecture is proposed. The major problem with...
Requirement Engineering is now established is the most critical phase in software engineering and development due to the fact that success or failure of any project depends greatly on wise and correct decisions made and strategies adopted during this phase. However, the great irony is that most of the requirement engineering still relies on outdated, manual and flawed strategies of past decades. The...
The ongoing transition from traditional plan-based waterfall development models to iterative and software development has created a need for redefinition of software requirements engineering. One of the key driving factors for success in software development is achieving a shared vision of the projects' goals and constraints already early in the process. Having a shared product vision defines the...
A supply chain is a complex system with numerous members and interrelations. To be able to control and regulate the system's behavior, the different subsystems need to be monitored and the results need evaluated. Thus, a systematic approach is needed, which goal it is to provide the expected information to the right actor at the right time. This paper provides an information requirements analysis...
Gaussian mixture model is a commonly used background modeling method in moving object detection. Gaussian mixture model has a strong adaptivity to various complicated backgrounds, but converges slowly and lacks shadow detection capability. In this paper, we propose an improved Gaussian mixture model which models background and foreground at the same time, accelerates convergence when moving objects...
Document image distortion often appears when captured by the camera; this may induce recognition mistakes by OCR. In this paper, a robust and fast dewarping method of document images is proposed. Compared with traditional method, the computation of the correction baseline and the distance for vertical displace in this method is independent of the document's content, so it can guarantee the precision...
Multi-sensor information fusion (MSIF) is an emerging technology, which has received great attention. A recent achievement about the MSIF-based filtering and control is summarized, which includes the MSIF filter and MSIF control. The filtering algorithm, the linear and nonlinear fusion control, and economic system control are extensively reviewed. Some typical application results of MSIF are given,...
This paper presents a numerical simulation based on computational fluid dynamics (CFD) method on the enhancement of natural ventilation in an industrial workshop with heat source induced by solar chimney (SC). Four types of SC were designed to attach to the top and southern roof of the workshop. Realizable k-ε turbulent model and DO (discrete ordinate) radiation model were used to calculate the air...
Many people are attentive to the ecologic environment of the three gorges reservoir. Some factors are very important to the ecologic environment in the reservoir after the sluice. The paper analysis some key factors to the environment and arises some suggestions in the construction about the water slope shore.
Background subtraction is a traditional method for detecting objects in stationary background. However, this traditional method is difficult to detect objects accurately in the real world, because the background is usually cluttered and not completely static. In this paper, we propose an object detection approach using Ant Colony System (ACS) in a MAP-MRF framework. For object segmentation, a MAP-MRF...
In view of the transmission line deicing robot's operating feature, a hybrid power system based on the DSP control is designed. This paper gives the system's hardware configuration plan and the software control method, realizes the monitor of power data, SOC estimation, power management, fault diagnosis and security alarm and other functions, to ensure the safe operation of the battery, and to improve...
As the rapid development of computer science technology, programs play an important role in our daily life. Given a loop program, whether it can finally terminate is crucial for software safety. However, its terminability is normally considered to be undecidable. In this paper, a particular type of program - univariate monotonic loop program is discussed, and by "Backward-Iteration approach",...
This paper presents a novel method for the design of filter capacitors of dc-dc switching regulators, using a combination of ceramic and electrolytic capacitors. The method is based on the definition of Acceptability Regions, which allow a straightforward identification of minimal size and part count commercial components complying with the voltage ripple and Irms current specifications on the capacitors.
In order to solve two major bottlenecks of the analog design flow: the time-to-market and the production yield, we introduce in this paper a design tool for measuring the robustness capability of the analog circuit topologies with the guarantee of fulfilling all the design specifications. With this measure, we can describe the feasible subspace by using the set inversion algorithm. A robustness estimation...
The Duffing-Van der Pol equation with fifth nonlinear-restoring force and one external forcing term is investigated. The existence and bifurcations of harmonic and second-order sub harmonic, and third-order sub harmonic, third-order super harmonic under small perturbations are obtained by using second-order averaging method.
In this paper we study Besicovitch type subsets of a class of self-affine set which are defined in terms of the asymptotic behaviour of the frequencies of their digits in their codings. A formula for their Hausdorff dimension is given.
We present the calculation of noise expressions of low voltage amplifiers by applying symbolic nodal analysis and using nullors. The nullor equivalents of the MOSFETs include only the dominant parasitic elements in order to generate a simplified symbolic noise expression, which provides a good insight to improve the design of low voltage amplifiers. The generated symbolic noise expressions are compared...
In this paper, we use a modified version of the incidence matrix of an un-oriented graph so as to enumerate all the spanning trees. In particular, we formally describe the problem and then enumerate the spanning trees, also Showing how to use this method in finding the symbolic determinant of a passive circuit.
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.