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.
Consumption charge on electricity is one of the issues faced by dormitories, room for rent, apartment and the like. Ideally, tenants must only pay what they have used for a specific period of time, but inevitably sometimes, they pay beyond their actual use simply because of unavailability of a meter or machine that could measure their actual use individually. Due to this practice and the current scheme...
Network Intrusion Detection Systems (NIDSs) play a crucial role in detecting malicious activities within the networks. Basically, an NIDS monitors network flows and compares it with the pre-defined suspicious patterns. To be effective, different intrusion detection algorithms and packet capturing methods have been implemented. With rapidly increasing network speeds, NIDSs face a challenging problem...
Even the most innovative healthcare technologies provide patient benefits only when adopted by clinicians and/or patients in actual practice. Yet realizing optimal positive impact from a new technology for the widest range of individuals who would benefit remains elusive. In software and new product development, iterative rapid-cycle “agile” methods more rapidly provide value, mitigate failure risks,...
This paper demonstrates a methodology for how the organizations that employ complex enterprise systems of systems can significantly improve cyber defense while decreasing overall operating costs by using formal methods. The paper demonstrates an approach that uses an event-based methodology to formalize all types of enterprise behavior, to include system, human, and environmental events.
This work proposes an ANN based method for fetal heart rate monitoring. Various measurements are taken and given as input to the ANN based classifier to detect fetal health such as ‘Normal’, ‘Suspect’ and ‘Pathologic’. All the design and simulation works are carried out with MATLAB software. ANN based classifier is trained with data from various recordings of cardiotocography. After the network is...
The report is devoted to comparison of existing methods of detecting changes (structural breaks) in random processes designed to detect the appearance of bubbles in financial markets. The report considers and compares the estimates obtained by monitoring algorithms and posterior algorithms for the purpose of determining the existence and date of the “bubble”.
Formal verification serves as the theoretical basis for the engineering task of correctness and performance (quality) assurance. State of the art model checking, automatic specification refinement and theorem proving are employed to tackle the often undecidable (as imposed by the halting problem) task of complete verification. In this paper we formalize, prove and demonstrate a new unobtrusive way...
In this work, a wearable instrumented smart clothes with an accelerometer sensor embedded on the upper abdomen close to the diaphragm was used to detect respiration of subjects. A detection algorithm was proposed and verified with 30 testing cases on male and female subjects separately. More than 97% of accuracy is achieved by comparing with the detection results from respiratory belt conducted simultaneously...
Coordination under precision demands is an important aspect of human motor performance ability. It is usually evaluated through a carefully selected set of physical exercises, which follow the same scheme: An examiner presents candidates with a task to perform, monitors their correct task execution, and manually tracks the score achieved by each candidate. However, the latter two steps impose a significant...
Existing software analysis methods for performanceand coverage are typically tied to the source code of software applications.In this work, we extend these methods to the Graphical User Interfaces (GUI) of applications, motivated by the desire to bring the user perspective into focus of software quality assurance and testing at the GUI level. We present and discuss various profiling procedures, their...
Using automatic instead of automated tools is assumed to significantly reduce timing budgets needed for the actualization. However, it seems to be not always the case, especially if we consider the complete actualization cycle. The article presents an investigation of the time needed for the information base actualization when using separate automated or automatic tools, as well as the time needed...
Safety-critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing risks to the user, the public, or the environment [1]. It is typically expensive and time consuming for companies to certify their software. Therefore, any attempt to automate...
This paper presents a novel approach for remaining useful life (RUL) prediction of rotating machinery using hierarchical deep neural networks (DNN). The different health stages are classified by a DNN-based health stage classifier trained by segmented degradation signal. This method builds several RUL predictors based on the health stages of the degradation process. Instead of modeling the entire...
This paper presents a in situ on-chip micro tensile fracture strength tester, which is based on a thermal actuated test platform. In this test platform, tensile fracture strength could be extracted and process could be evaluated, there are two samples with same layout but fabricated under different process conditions were evaluated through this test platform and the results showed that this test platform...
Available sensing measurements in modern industrial process include two significant characteristics: distribution and autocorrelation. Different types of sensing measurements exhibit different characteristics. Moreover, different feature extraction methods are suitable for data with corresponding characteristics. This paper proposes a novel dual-step subspace partition method in order to establish...
The Kansas City National Security Campus (KCNSC) collects a large amount of test data used to accept high value and high rigor product. Data has been used historically to support root cause analysis when anomalies are detected in down-stream processes (bottom portion of Fig. 1). The opportunity to use the data for predictive failure analysis however, had never been exploited (top portion of Fig. 1)...
Deployed test and health monitoring systems must actually manage two tasks: (1) the testing and monitoring the device under test, and (2) the testing and monitoring the test system itself. The ability to isolate and identify faults is crucial to deployed test and health monitoring systems. Understanding failure mechanisms provides invaluable insight regarding whether the device under test is, in fact,...
A novel approach of a test environment for embedded networking nodes has been conceptualized and implemented. Its basis is the use of virtual nodes in a PC environment, where each node executes the original embedded code. Different nodes run in parallel, connected via so-called virtual channels. The environment allows to modifying the behavior of the virtual channels as well as the overall topology...
In the article the features of wireless smart biosensor for sensor networks in ecological monitoring are considered. The developed wireless smart sensors manufactured on certified contract manufacture, is described. The results of wireless sensors testing are given.
Corrosion of metal alloys is very common in the industrial field, and failure to monitor the seriousness of corrosion can cause serious consequences. Compared with other Non-Destructive Testing methods, the method of ultrasonic surface wave testing has a lot of advantages including portability, efficiency, and un-contamination etc. This makes it a very promising method to evaluate or monitor chemical...
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.