verification

The article investigates and analyzes the validation and verification of measurement methods in the clinical diagnostic laboratory. The content and features of validation and verification are revealed. Measurement methods are considered in detail. Each direction of validation and verification of measurement methods is analyzed. The difference between validation and verification is substantiated. Measuring systems are increasingly used in the laboratories of the clinical sector. This means that the responsibility for validation lies mainly with the manufacturer.

The article examines the natural and legal motivation of the contradictory nature of the movement. Based on the laws of mechanics, natural law is substantiated and it is proved that it always needs to be verified with natural laws. The above author’s definition presents the metaphysical unity of physics, philosophy, logic and canon law, which contributes to the ontological solution of the problems of contradictory movement in law. The dynamics of world laws of nature have an impact on human anthropology, which would not otherwise be called the microworld.

The next industrial revolution commonly known as Industry 4.0 represents the idea of interconnected manufacturing, where intelligent devices, systems and processes exchange information, resources and artifacts to optimize the complete value-added chain and to reduce costs and time-to- market. Industrial software ecosystems are a good example how the latest digitalization trends are applied in the industry domain and how with the help of industrial IoT applications the production process can be optimized.

A comparative analysis of existing approaches to Cyber-Physical Systems simulation has been conducted. The intrinsic peculiarities of Cyber-Physical Systems have been reasoned and generalized. Thelimitations of available simulation tools have been pointed out. The approach to Cyber-Physical Systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and Temporal Logic of Actions usage has been proposed.

The article focuses on the main problems of metrological confirmation of measuring instruments in accordance with international requirements and considers possible directions of their solution. One of the main tasks of metrology is assurance of the uniformity of measurements, that is, the state of measurements, in which their results are expressed in the legal units, and the characteristics of errors or uncertainty of measurements are known with a certain probability and do not exceed  the established limits.

Digital  frequency  synthesizers  are  widely  used  in  various  fields  of  technology.  Their  main  advantages, compared  to  analog  devices,  are  the  accuracy  of  output  signal,  resistance  to  external  factors,  reliability  and  high  performance. Their structures include the digital storage device (accumulative adder) and a comparison scheme. Basing the latest the two-level digital frequency synthesizers are developed. They are the subset of digital frequency synthesizers, in which the output signals are two-levelled.

Acceptance of the correct decision in the agro-production control system to great extent depends on the degree of reliability of environmental information. These issues become quite important while monitoring production which involves the products cultivation on environmentally friendly soils. Monitoring of soil parameters includes the primary state, recording of changes, their evaluation and management.

Smart measuring instruments are the prerequisite for CPS design as they constitute the essential units of information-measuring subsystems. There is a set of smart measurement instruments which is divided into the following subsets: smart sensors, smart transducers, their grids etc. that can be joined together in modern wireless sensor networks. The emerging field of cheap and easily deployed sensors offers an unprecedented opportunity for a wide spectrum of various applications. When combined, they offer numerous advantages over traditional networks.

The formulation and the mathematical modeling of one-dimensional radionuclides purification process in catalytic porous media under isothermal conditions are considered. The analytical and numerical solutions of the corresponding boundary value problem are found. The comparison of the results is carried out. The "NanoSurface" computer simulation software complex has been improved and the improvement has been verified.

The article deals with software architecture for testing and verification methods for solving systems of equations in partial derivatives describing physical processes. Developed automated generation of processor architecture problems, their solution and comparative analysis with other methods of analysis tasks mathematical physics. Analyzed with software on shell COMSOL 4.2.