Computer-aided design features for various types of diffraction gratings using ZEMAX software are investigated. It is shown that the model set choice of diffraction gratings in the most cases is determined by technology of their manufacture. Guidelines for five types of gratings are provided: an elliptical one of the first and second type, a hologram, a binary surface of the first type and optically generated hologram. Connection between the modeling way of diffraction gratings and their manufacturing technology is shown. Recommendations are given for selecting the optimal model for threaded and holographic diffraction gratings.

It is shown that in the image, formed by optical system, consisting of a fine lens and concentric to the final thickness meniscus input pupil of an eye, plananastigmatic aberration correction is possible to achieve. However, therewith the problem of the lenses material choice appears. Such analysis of correction possibilities of the optical system is executed in case, when fine component consists of two fine lenses with optical power of the different sign.

A modernized version of specialized software complex for synthesis and reconstruction of Fresnel hologramsprojectors is presented. The algorithm used in the complex is based on the new method of hologram-projectors synthesis - the object partitioning to the standard elements of its structure. The method advantage is the essential reduction of the required calculations. The performance estimation of the new method is given. Results of the successful experimental verification of modernized complex efficiency are given.

A non-contact method for spatial position measuring of the objects near the smooth water surface (sea roughness code 0 points) is proposed, based on machine vision technology application. The feature of this method is the possibility of simultaneous measurement of the object height and angular orientation. The algorithm of the measurement system operation is considered. Developed installation description is given intended for the proposed method study. The measurement accuracy of height in the range of 500-1000 mm was 2-3% during the experiment. Measurement error of the angular orientation did not exceed 10%. The error sources and ways of the measurement accuracy improvement are analyzed.

The dependence of effective parameters in model Hamiltonian is investigated from the point of view of applied ordering scheme of oscillatory rotational interactions. Relations for transformation generators in different ordering schemes of oscillatory rotational interactions are formulated by “disentanglement” technique. The operator of resonance interaction is selected from general operator in effective rotational Hamiltonian on the base of projection operator technique. At strong resonance interaction the dependence from ordering of oscillatory rotational interactions is shown to be weaker than for the cases of middle and weak resonances.

The article deals with general conception for phase problem solution by means of extra data sets which are intensity distributions at image formation plane received at variation of one or several parameters of experimental setup. Offered conception allows easy modifying of iterative methods of wave front reconstruction in accordance with specificity of the current tasks. Insertion of essential differences in registering intensity distributions by change of varying parameter in the process of their recording and presence of mathematical model, accurately describing the process of radiation propagation through optical scheme are the key aspects. From this point of view possibilities of nonlinear optical effects application for wave front phase reconstruction were analyzed.

The fluorine-phosphate glasses doped with 2 - 20 mol% MnF2 have been developed and synthesized. Active ions concentration dependence on the spectral and luminescent properties of glasses has been investigated. Application of red phosphor based on fluorine-phosphate glasses doped with MnF2 for white light diodes was discussed.

The article deals with the numerical methods of the electric drive linear non-adaptive control system stability robustness under the given quantitative estimates of variations in the object model.

The article deals with the problems of frequency and time analysis of road surface vibrations caused by passing vehicles. The vibrations are measured by accelerometers installed in the traffic lane markings. Data preprocessing is implemented before using them to analyze the parameters of the traffic flow. The results of spectral analysis and filtering of data are presented.

Synthesis conditions of interval observers for linear systems with unknown time-varying parameters are analyzed. Possible cases for compliance with the properties of the cooperative system are considered. The analysis of conditions is held making it possible to construct an interval observer for a given combination of the system properties. Such observer allows getting estimates of the system state variables which contain with assurance the actual value of the state at a given time.

Calculation results of DVB-T field modeling intensity made by Longley-Rice model are compared with country measurements. Prognoses and a series of intensity field country measurements are made for different types of wave propagation paths in the conditions of rugged country and dense urban building environment. Comparison results of model and experimental data are discussed.

The article deals with application results of the first national measurement system with deep-water three-axis tilt sensors (DTT) based on micromechanical accelerometers (MMA) in the solution of highlands geotechnical monitoring on Olympic speedway Adler - Krasnaya Polyana. It is shown that this system provides on-line monitoring of horizontal displacement array of the ground during a long period of time, thereby providing the timely warning of possible adverse situations during construction and operation. The achieved accuracy level equal to a few millimeters and relatively low cost makes this system more attractive, especially in the continuous monitoring organization of lengthy geological objects.

The article is devoted to a constructive proof (in Agda programming language) of the fact that Boolean formula satisfiability problem by means of sequent calculus and verification with CTL specifications can be implemented as structurally recursive dependently typed functions.

We propose an estimation algorithm for integral value of signal-to-noise ratio (SNR) and its values in frequency domains for sound records quality testing in the speakers’ verification system. The algorithm is characterized by robustness with respect to large variability in recording conditions and sound record quality, as well as the possibility to perform SNR estimation in real time, i.e. at the rate of the incoming signal. The algorithm is based on new procedures of noise spectrum estimation and speech frames detection. The algorithm permits to evaluate SNR in the range from +6dB to +26dB for recordings with a duration of 10s or longer.

We propose an estimation algorithm for integral value of signal-to-noise ratio (SNR) and its values in frequency domains for sound records quality testing in the speakers’ verification system. The algorithm is characterized by robustness with respect to large variability in recording conditions and sound record quality, as well as the possibility to perform SNR estimation in real time, i.e. at the rate of the incoming signal. The algorithm is based on new procedures of noise spectrum estimation and speech frames detection. The algorithm permits to evaluate SNR in the range from +6dB to +26dB for recordings with a duration of 10s or longer.

An instrumental realization of restoration algorithms for distorted (smeared, defocused and (or) noisy) images is considered. Specific features of programming in C/C++ language of previously developed and published algorithms for direct and, more complicated and important for practice, inverse problem are considered.

This article describes the technique of transition from user interface definition of embedded system by aspectoriented approach to definition in the form of a finite-state machine. The applicability of the proposed method is shown on the example of some physical value indicating device. The method describes gradual transition from the initial description of the user interface in terms of the aspect-oriented approach to a directed graph, describing the possible state changes of the user interface, and from the directed graph to a deterministic finite automaton, the mathematical description of which makes it possible to use it as a framework of the future user interface prototype. Examined method of transition from the user interface description of embedded system in terms of the aspect-oriented approach to the user interface description of embedded system as a finite state automaton shows the feasibility of aspect-oriented approach for the development and prototyping of user interfaces of embedded systems.

The article provides a brief description of the algorithm for histogram normalization of speech features for speakers’ verification. Results of verification tests with different parameters and modes of normalization are presented. Obtained data make it possible to conclude about the effectiveness of the speech features normalization for increasing the performance of speakers’ verification. Optimal parameters of the normalization algorithm were found.

The paper proposes to use the popular text independent speaker identification method based on i-vectors extraction for the solution of the speaker’s age group identification. Two realizations of speaker’s age group detector based on using i-vectors are researched: an approach based on a support vector machine classifier and another one based on a multiple linear regression. Both methods provide a high accuracy rate of speaker’s age group detection by spontaneous speech recordings. The average rate of correct speaker’s age group identification was 61% and 65% respectively for the NIST SRE 2008 speech database.

A method for genome contigs assembly is proposed. This method consists of two stages – quasicontigs assembly and contigs assembly. De Brujin graphs are used on the first stage and overlap graphs on the second one. The method was tested on Maylandia zebra fish genome containing nearly 1 billion nucleotides. Combining de Brujin graphs and overlap graphs makes this method much more space-efficient than the others.

The spectral-luminescent and crystallization properties of lead-fluorine glass and nanoglass ceramic doped with yttrium and neodymium have been investigated. The precipitation of crystalline phases after heat treatment has been observed. The crystal structure, lattice constant and size of the crystalline phase have been determined.

The article deals with the possibility of using MatLab programming environment for statistical stereo analysis of disperse systems by their two-dimensional images. We describe features and results of the software module application prepared for creation of a probabilistic, statistically specific 3D-model, which corresponds to a more precise description of the structure and prediction for disperse systems properties.

The article presents research results of the polymeric films properties based on chloroprene rubber latex, filled with modified glass microspheres, where a thin polymer film coating is used as a modifier. Influence regularities of these fillers on the composite materials properties are given.

Principles of branch system creation for the automated design of the onboard aviation equipment are considered. Products design routes and software functional diagram of the branch design system are given. Hardware realization solutions of the automated design system based on the local computer network of the instrumentmaking enterprise are described.

There is a problem to calculate the path (shape) of a wire by its topological path in the topological approach to the wire routing. An algorithm which calculates the minimum length path of the wire considering design rules is proposed. The algorithm is used for wire shapes calculation in TopoR electronic design automation.

The algorithm for definition of e-mail documents belonging to spam on the basis of support vector method is offered. Method modification consists of a dividing hyperplane creation, based on Fejer displays, that allows working with non-stationary data, characteristic for document classification problems.

The article deals with mechanisms for user identification in the Internet. A comparative analysis of two ways for user identification based on entropy and regression analysis is proposed. A computational experiment was conducted for results verification.

The article deals with the problem of information protection for personal data information systems at development and optimization stages. For solution of this problem depersonalization algorithm is offered to decrease a class of personal data information systems that, in turn, removes the main part of requirements for application of organizational measures and means of information protection.

A problem of individuals’ personal identification with partially or fully conflicting details occurs when transferring data from one institution to another. An optimal identification algorithm is proposed based on Levenshtein metric that makes it possible to search individuals in the database by fuzzy comparison. The algorithm is implemented in PL-SQL language in Oracle 11g database.

This issue examines development stages of open government data publication system for St. Petersburg budget departmental expenditures. The reasons for ontology creation are given from the point of view unified terminological dictionary formation for users and for integration of information resources and systems. The common ontology structure and the process of ontology developing for this system are described. Suggested design method makes it possible to modify and update developed ontology with the change in input data or regulatory papers.

The precipitating of the crystalline phase in oxifluoride nanoglass ceramic doped with ytterbium and erbium has been observed. The crystal structure, lattice constant and size of the particles have been determined.

The article deals with a scheme of module mobile terminal for monitoring of mobile objects (GLONASS/GPS tracker) using two single-chip microcontrollers, connected through a common system bus. This method provides a large functionality expansion of the tracker and makes it easily adapting according to the demands of customers. The scheme is implemented in the certified tracker construction.

Characteristics of the system were studied in laboratory conditions. The research confirmed effectiveness of the proposed angular deformation measurement system for large-size objects such as the primary mirror of a radio telescope.

Research method of multi matrix system for deformation measuring of mirror elements of rotary radio telescopes is suggested. Results of the model experiment are presented.

Forms of planning for the activities of the instrument-making enterprise in aviation are considered. The features of the strategic, tactical and operational planning are given.

The article deals with implementation possibility reasoning and application features of stereoscopic method for objects coordinates measuring in optical electronic system for deformation monitoring of large-size dome structures.