A.A. Abdullin, E. A. Maklakova, A.A. Iunina, I.A. Zemtsov, O.G. Ivanova, S.F. Abbas

Voice search algorithm in intelligent multi-modal interface
  • With the development of technology, the keyword-based detection mechanism is insufficient due to the extraction of large amounts of irrelevant information. This article proposes a semantic search engine. In view of this, the algorithm of a search engine based on voice search based on a conceptual search engine that receives a user request through voice is described. This query is converted to text using an intelligent multimodal interface, which, based on the ontological search in the semantic network, allows you to get an accurate result.
  • Key words — semantics, search algorithm, semantic network, data collection, knowledge discovery, intelligent multimodal interface.

  • P. 4-9.

V.K.Zolnikov, S.A.Evdokimova, T.V.Skvortsova

Verification of projects and creation of test sequences for chip design
  • The article provides an analysis of existing approaches to verification of projects and a comparison of their characteristics. The methodology of verification of "systems on a chip" (SoC), its stages and requirements for verification procedures are considered. Approaches to the creation of test sequences required to verify the coincidence of the actual output values with the expected ones are described. The scheme of realization of self-checking test sequence is shown.

  • Key words — chip, design, verification, test sequence, systems on chip.

  • P. 10-16.

V.K. Zolnikov, S.A. Evdokimova, T.V. Skvortsova

Methods of verification of complex functional blocks in CAD for chips of deep submicron design norms
  • The article deals with the design stages of ultra-large integrated circuits (VLSI) and the features of the verification procedure of complex functional blocks of VLSI. The basic approaches to the verification procedures of the ICS to minimize the duration of the verification cycle. In practice, a combination of several verification approaches is usually used.
  • Key words — chip, complex functional block (SF-block), computer aided design (CAD), verification, systems on chip, digital signal processing (DSP) chips.

  • P. 16-24.

V.K.Zolnikov, S.A.Evdokimova, T.V.Skvortsova

Practical methods of chip design verification
  • The article deals with modern methods of verification of chip design: «top down», «bottom up», based on the hardware platform and the system interface. The schemes of the above methods of design and verification are presented. To assess the quality of the performed verification, it is advisable to develop its plan, which will describe the necessary resources and parameters for assessing the quality of the procedures performed.
  • Key words — chip design, verification «top-down», verification «bottom-up», verification based on a hardware platform, verification on the basis of the system interface.

  • P. 25-30.

V.K. Zolnikov, A.L. Savchenko, A.Y. Kulai

The modeling efficiency of the circuits at different hierarchical levels of description in CAD
  • The principles of chip design at different levels of description in computer-aided design systems are considered. The structures of chip design processes at the top level and at the level of complex functional blocks are given. The scheme of functional modeling is shown. The combined hardware and software verification, its features and problems are analyzed.
  • Key words — chip, computer aided design (CAD), levels of description, system-level verification, functional modeling, combined hardware and software configuration.

  • P. 30-39.

V.K.Zolnikov, A.L.Savchenko, A.Y. Kulai

Review of submicron VLSI CAD software and accounting for electrophysical effects of deep submicron level
  • The article discusses the characteristics and functions of modern computer-aided design submicron VLSI. The main companies-developers of systems of this class are Cadence Design Systems, Mentor Graphics and Synopsys. The electrophysical effects of submicron level, which must be taken into account in the development of VLSI, are analyzed.
  • Key words — computer aided design (CAD), VLSI, Cadence Design Systems, Mentor Graphics, Synopsys, electrophysical effects, deep submicron level.

  • P. 40-47.

V.S.Ivanova, S.D.Nikolenko, S.A.Sazonova, V.F. Asminin

Physical modeling of a dust cleaning apparatus with a Venturi scrubber to improve working conditions in production facilities
  • The principles of operation of dust-cleaning systems used in production at the present time to improve working conditions are described and systematized. The principles of operation of apparatus for the purification of gases from dust using a wet method are considered. The ways of increasing the efficiency of devices using wet gas cleaning from dust and the disadvantages of existing structures are identified. As a physical model, a design of an apparatus for cleaning gases from dust with increased efficiency has been developed; a Venturi scrubber is collapsible with internal surface treatment. Discusses ways to further improve the design and its application.
  • Key words — physical modeling, gas cleaning apparatus, wet cleaning methods, Venturi scrubber, dust cleaning efficiency.

  • P. 48-55.

E.V.Konovalchuk, E.A.Maklakova, A.A.Ilunina, I.A.Zemtsov, O.G.Ivanova, A.A. Abidulkarim

Algorithm semantic search on the basis of ontological knowledge in intelligent multimodal interface
  • Many experts predict that the next huge step forward in web information technology will be achieved by adding semantics to web data and possibly consist of a semantic network. This article presents an approach to semantic search that combines standard web search with ontological knowledge. In fact, this article is devoted to the use of standard search engines as the main method of data output for ontology search. In this paper, we propose to use lightweight software clients for annotation and query parsing. It also develops a formal model that can be implemented in an intelligent multimodal interface. In addition, it presents the results of experiments proving the possibility of using this approach for the analysis of very large amounts of data.
  • Key words — semantics, search algorithm, semantic network, data collection, knowledge discovery.

  • P. 55-61.

V.V. Lavlinskiy, A.L. Savchenko, I.A. Zemtsov, O.G. Ivanova

A modification of the method of finding information on the internet through the use of the methods of inductive reasoning
  • In recent years, extensive research is aimed at creating a semantic network as a future form of the internet. Web search as a key technology of the internet is evolving into a new form of search in the semantic internet. A promising approach to such semantic search on the internet is based on combining standard search engines as the main output of semantic search results. This paper proposes an improved approach to semantic search. This includes the ability to handle inconsistencies, noise and incompleteness that are likely to occur in distributed and heterogeneous environments such as the internet.
  • Key words — semantics, search algorithm, semantic network, data collection, knowledge discovery.

  • P. 61-67.

E.M. Loktev, S.A. Sazonova, S.D. Nikolenko, V.F. Asminin

Simulation of rating indicators of pedagogical personnel of military departments
  • The developed models of rating indicators of the pedagogical personnel of military departments are proposed to be used to determine the socially useful value of the results of pedagogical activity. According to the proposed models, one can determine intellectual and managerial job rating indices and indicators. Approbation of the developed methodology showed its versatility when applied to other categories of servicemen. It is proposed to use the methodology in determining the rating indicators of the cycles of departments, departments in faculties and departments in high school.
  • Key words — modeling, pedagogical personnel, military departments, rating indicators, methods.

  • P. 67-73.

S.D. Nikolenko, S.A. Sazonova, V.F. Asminin

Mathematical modeling of dispersed concrete reinforcement
  • To determine the effect of dispersed reinforcement on the properties of concrete requires the construction of adequate mathematical models. The article discusses the mathematical basis for taking into account the effect of dispersed reinforcement on the hardening of concrete, taking into account the geometric dimensions of the structure. The coefficients of orientational attenuation of the deformation of the fiber with an isotropic distribution of fibers and taking into account the effect of constraint are obtained. An improved model of random deformations of a thin fiber during mixing is given. Technological proposals have been developed to increase the strength of products and structures made of fibrous concrete due to an increase in the concentration of fiber in the surface layer by pressing.
  • Key words — mathematical modeling, fiber, concrete, disperse reinforcement, deformation, geometric probability.

  • P. 74-79.

A.L. Savchenko

Analysis existing models and algorithms for designing complex functional block, rack to influence heavy charged
  • The article is dedicated to analysis existing models and algorithms for the designing complex functional block, rack to influence heavy charged particles. In given article is offered analysis with standpoint of need of the improvement of the models and algorithms both on mathematical, and at a rate of systems computer aided design. The necessary realization of the analysis for increasing of efficiency of the operation and use modern cad for designing complex functional block on modern technological rate and rack to influence heavy charged particles. In given article happen to the results of the benchmark analysis existing models and algorithms of the designing complex functional block, rack to influence heavy charged particles.
  • Key words — radiation resistance, model, algorithm, computer aided design, complex functional block.

  • P. 79-86.

A.N. Yurov

Designing an automated system production planning
  • The article proposed a concept and presented a graphical interface of a software environment for spatial planning of a production site. The applied solution allows to conduct the process of modeling production sites using the mathematical description necessary to obtain production plans for a controlled scenario using a given set of industrial equipment. The interface capabilities of the proposed system are prepared on the basis of visual programming environments for cross-platform solutions for creating applications, and it is proposed to perform the design results for displaying the layout with the equipment placed on it using the means of the free-software Open Cascade software package.
  • Key words — GUI interface, parametric models, prototyping of a design solution, production layouts, Open CASCADE Technology kernel, CAD kernels, production site layout, production layout script.

  • P. 87-93.

A.S. Yagodkin, V.I. Antsiferova, D.I. Vladimirov

Mathematical models of radiation effects of electronic components for space applications
  • Modern mathematical models of dose effects of ionizing radiation, description of types of cosmic radiation, types of failures of chips are considered. Features of development of modern means of automation of design of element base of space appointment taking into account influence of space radiation.
  • Key words — CAD, microprocessors, effects of space impact, low-intensity ionizing radiation, modeling and design processes, radiation-resistant chips.

  • P. 93-101.