The decomposition of large unitary matrices into smaller ones is important because it provides ways to the realization of classical and quantum information processing schemes. Today, most of the ...methods use planar meshes of tunable two-channel blocks; however, the schemes turn out to be sensitive to fabrication errors. We study a novel decomposition method based on multichannel blocks. We have shown that the scheme is universal even when the block's transfer matrices are chosen at random, making it virtually insensitive to errors. Moreover, the placement of the variable elements can be arbitrary, so that the scheme is not bound to specific topologies. Our method can be beneficial for large-scale implementations of unitary transformations by techniques, which are not of wide proliferation today or have yet to be developed.
Abstract
A method and a measuring device designed to determine the thermal conductivity of existing and newly created composite materials used in superconducting magnets and other objects of ...cryogenic technology are considered. The results of studies of the temperature dependence of the modern advanced materials thermal conductivity in the range from 7 to 80 K are shown.
Abstract
The article discusses the possibility of creating a system for automating the process of searching and assessing the danger of targets using machine vision and existing ship systems. The ...technologies for processing images from the ship’s camera system are analyzed: object recognition by a ready-made convolutional neural retrained network, as well as object detection by SURF algorithms. The parameters of the danger of goals within the framework of the problem to be solved have been analyzed and developed, and a structural analysis has been elaborated. The functionality of the automatic operation of the system as a closed circuit has been considered. To achieve the technical result in the system as an integrated part of the ship’s equipment based on cognitive information processing, a composite information object from the ship’s sensors and control systems was introduced. It is decomposed into blocks in which the associated logical information processing takes place using basic modules consisting of adaptive cells-approximators as learning elements capable of independently processing information. The following units are included in the local area network: an information support unit (ISU), a decision making unit (DMU), a command-organizational unit (COU) with an operator’s workstation. The ISU is connected by a two-way communication output with aggregate LAN units, the other output is connected in series with a situation determination unit and the “model of the surrounding space” block. The survey was carried out on board a modern LNG gas carrier using ship systems.
Abstract
A method for creating an automatic control system for a ship with directional instability has been developed. As part of the tests of a small-sized unmanned vessel, a control diagram was ...built. It showed that the vessel is unstable along its route. It became necessary to add a control channel for the angular acceleration of the vessel to the main channels of the PID regulator. The PID-U regulator has a significant advantage in controlling an unstable vessel on the route over a standard PID regulator due to the channel of angular acceleration; the regulator monitors the angular speed and compensates it with control actions. The disadvantage of the method is difficulties in finding the angular acceleration of the vessel, since, gyroscopic sensors installed on vessels provide data only on the route and angular speed. Simple integration of the angular speed to determine the acceleration can result in errors, especially in wind-wave conditions. The mathematical observer based on the Kalman filter can be used. The results of operation modeling forthis regulator are described.
The ILLM model was used to solve the problem of assessing the external load on the Russian part of the Irtysh River from the catchment. It takes into account the contribution of point and diffuse ...sources to the formation of the load and makes it possible to calculate the removal of impurities from the catchment. The model takes into consideration the influence of hydrological factors and chemical retention by the catchment and its hydrographic network. In order to provide the model with the necessary input information, the underlying surface types have been classified using PROBA-V and Sentinel-2 satellite images. Data on the content of nutrients (N and P) and trace elements (Cu and Zn) in soil and river waters of the studied territory have been collected and analyzed. Based on the processing of materials on the activities of more than 800 agricultural enterprises, the number of livestock and organic and mineral fertilizer inputs are estimated and the total nitrogen and total phosphorus inputs to the hydrographic network are calculated. The external load (including the diffusive component) of nutrients (nitrogen and phosphorus) and metals (copper and zinc) is assessed for both the entire Russian part of the Irtysh basin and for seven of its subbasins, including the Tobol, Ishim, Om, and Konda rivers. According to the results, the contribution of the transboundary load to the outflow of the considered chemicals in the outlet sections of the transboundary rivers is evaluated. It is shown that the ratio of the contribution of different components of the external load to the outflow varies depending on the water content of a year.
The fatigue curves are obtained and the regularities of the effect of the tensile cycle asymmetry in the range -2 less than or equal to R less than or equal to 0.5 on the length and position of the ...transition section of the fatigue curve of steel 45 and titanium alloy PT-3V are investigated. Diagrams of limit amplitudes for the studied alloys are constructed. A method for calculating the position and length of the transition stage of the fatigue curve is proposed.
In the deductive verification of programs written in the imperative programming languages, the generation and proving of the verification conditions corresponding to loops are of particular ...complexity, as each of them must be provided with an invariant, whose construction is often a challenge. As a rule, the methods for the synthesis of loop invariants have a heuristic character, which complicates their application. An alternative is the symbolic loop invariant elimination method proposed by V.A. Nepomniaschy in 2005. Its idea is to represent a loop body in the form of a special replacement operation under certain constraints. Such an operation in the symbolic form expresses the loop effect, which allows introducing an inference rule for the loops without invariants into axiomatic semantics. This work is the further development of this method. It extends the proposed method of mixed axiomatic semantics for the verification of C-light programs. This extension incorporates the method for the verification of iterations over changeable arrays with the possible exit from the loop body in C-light programs. The method contains the inference rule for iterations without loop invariants. This rule has been implemented in the verification condition generator, which is a part of the automated system for the verification of C-light programs. To perform automated verification in the used ACL2 system, two algorithms, one of which generates the replacement operation in the ACL2 language, and the second generates the auxiliary lemmas resulting in the successful automated proof of the obtained verification conditions in the ACL2 system have been developed and implemented. The application of the above mentioned methods and algorithms is illustrated with an example.
PDF
