The problem of the rapid creation of effective web applications of one class using formal means is considered. A conceptual approach to its solution is offered based on an analysis of the peculiarities of the construc...
详细信息
ISBN:
(纸本)9781728140704
The problem of the rapid creation of effective web applications of one class using formal means is considered. A conceptual approach to its solution is offered based on an analysis of the peculiarities of the construction of web applications. Our approach is based on defining the standard web application architecture and selecting its components using formal methods in accordance with user requirements. A formal logical system is proposed that uses the design of web applications as a process of outputting a formula specified according to the needs of the user, which defines the schemes of execution of the modules of the system. An important feature of this approach is the ability to visualise the process of designing the system in 3D, which creates the conditions for effective interaction between developers and machine development tools.
The conventional heart rate measurement techniques using electrocardiogram, wrist belts and so on, are attached with some disadvantages like discomfort, irritation of the skin and even more. From this starting point v...
The conventional heart rate measurement techniques using electrocardiogram, wrist belts and so on, are attached with some disadvantages like discomfort, irritation of the skin and even more. From this starting point various video based heart rate measurement techniques were developed in the last years. All of these techniques use video data of the human faces to extract information to estimate the heart rate of the person in front of the camera. Most of them work with the detection of minimal changes in the color spectrum of the recorded video data. With these extracted information and multiple concluding steps, they are able to estimate the heart rate of the person sitting in front of the camera. All of these approaches have some big disadvantages, they are only able to measure the heart rate of one person - and in a small number of cases up to three persons. So the main objective of this work is to adapt and enhance existing research approaches of processing visual biological signals. The focus is set on the design and deployment of a new system, which is able to process visual data as well as detect and localize human faces by using artificial neural networks and calculate each individuals heart rate from the processed data's information. For the first time in this research area, different scenarios with more than three observed participants are being analyzed to calculate the heart rate for each of them separately. It will be shown that by using the applied technical architecture and technologies, it is possible to deploy a comparable and qualitatively competitive system. In addition, the implemented system proves the feasibility of processing various faces' signals and calculating the respective heart rates simultaneously within an acceptable range of tolerance.
The preliminary research on stationary sign language hand gesture recognition with use of convolutional neural networks is presented. Three tests are presented that differ in number of gesture types, that is, by class...
详细信息
Background: Systems Medicine is a novel approach to medicine, that is, an interdisciplinary field that considers the human body as a system, composed of multiple parts and of complex relationships at multiple levels, ...
详细信息
Since proportional-integral-derivative (PID) controllers absolutely dominate the control engineering, numbers of different control structures and theories have been developed to enhance the efficiency of PID controlle...
详细信息
We address efficient modeling of the intracellular action of a drug binding to the nuclear pregnane X receptor. The binded complex enters the cell nucleus and acts on DNA, resulting in enhanced production of an enzyme...
We address efficient modeling of the intracellular action of a drug binding to the nuclear pregnane X receptor. The binded complex enters the cell nucleus and acts on DNA, resulting in enhanced production of an enzyme which metabolizes, among others, co-administered drugs. Pharmacodynamic modeling is traditionally based on a compartmental approach, which simplifies the complex processes in the human body through the definition of a small number of compartments representing organs, tissues, cells, cytoplasm or abstract units. Inside a compartment, the concentrations of all substances are assumed to be distributed homogeneously, i.e. there is no spatial dependence. They lead to a system of ODEs for the time-dependence of the concentrations of the active substances. We will present an extension of a model from the literature for the action of the tuberculose-drug Rifampicin. The extension consists of a first attempt to add spatial resolution for substances that are active in the cytoplasm. Spatial resolution can be benecifial to analyze important issues like, among others, local exceeding of toxic drug levels, delay of transport and drug-drug interactions. We address efficient solution of the linear systems arising when numerically integrating the resulting PDE's and consider some preconditioning techniques based on properties of the underlying biochemical network.
The design and application of learning feedforward controllers (LFFC) for the one-staged refrigeration cycle model described in the PID2018 Benchmark Challenge is presented, and its effectiveness is evaluated. The con...
详细信息
Numerical P systems(for short, NP systems) are distributed and parallel computing models inspired from the structure of living cells and economics. Enzymatic numerical P systems(for short, ENP systems) are a variant o...
详细信息
Numerical P systems(for short, NP systems) are distributed and parallel computing models inspired from the structure of living cells and economics. Enzymatic numerical P systems(for short, ENP systems) are a variant of NP systems, which have been successfully applied in designing and implementing controllers for mobile robots. Since ENP systems were proved to be Turing universal, there has been much work to simplify the universal systems, where the complexity parameters considered are the number of membranes, the degrees of polynomial production functions or the number of variables used in the *** the number of enzymatic variables, which is essential for ENP systems to reach universality, has not been investigated. Here we consider the problem of searching for the smallest number of enzymatic variables needed for universal ENP systems. We prove that for ENP systems as number acceptors working in the all-parallel or one-parallel mode, one enzymatic variable is sufficient to reach universality; while for the one-parallel ENP systems as number generators, two enzymatic variables are sufficient to reach *** results improve the best known results that the numbers of enzymatic variables are 13 and 52 for the all-parallel and one-parallel systems, respectively.
暂无评论