UDC 532.593 The modeling of the waves refraction–diffraction transformation on the currents in coastal zone by hyperbolic approximation of the “ mild – slope equation” / Demchenko R.I.// Mathematical Machines and Systems. – 1999. –N3. – P.3-14. There are given the equations of the “ mild – slope equation” hyperbolic approximation for the monochromatic waves refraction–diffraction transformation description on the currents in coastal zone. The computational results comparison with experimental data is fulfiled for current velocity equal zero. Figs.:4. Refs.: 11 titles. UDC 621.391.2 The thresholds determination of sequential criterion of simple addition in problem of a multialternate check of hypothesis / Zhuk S. Ya., Kovalyev V.I. // Mathematical Machines and Systems. – 1999. – N3. - P.15-20. On the basis of method of check of a simple hypothesis against complicated alternative the evaluations thresholds of a sequential criterion of simple addition are determined in problem of a multialternate check of hypothesis in discrete time. The evaluations of thresholds are obtained on the basis of specific conditional probabilities of recognition. The range of threshold’s values is determined in which the unambiguous decisionmaking is made. The analysis of a synthesized rule is conducted on a model example with the help of statistical simulation on the computer. Tabl.: 2. Refs: 3 titles. UDC 658. 012.011.56 The lexicographical representation of semantic states / Shirokov V.A.// Mathematical Machines and Systems. – 1999. – N3.- P.21-32. The formal approach for the description of the lexical units semantics in the natural (Ukrainian) language is developed. The method of the inverse lexicography problem is formulized. The definitions for both elementary and full semantic states of the natural language lexema are given. The definitions of the generalized linguistic variable and linguistic system are introduced. Some examples of the application of the developed formalism for semantical text analysis and for the automatic building of the lexicographical systems are represented. UDC 004.518 Application of GIS technologies in Enterprise business solutions / Litvinov V.V., Shinder V.S., Maltsev D.V., Gorbarev N.A. // Mathematical Mechanics and Systems. – 1999. – N3. - P.33-40. The paper describes an Information System, designed for the American Telecommunication Company MCI WorldCom as an example of application of contemporary GIS Technologies for Enterprise business solutions supporting. Company MCI WorldCom performs the installation and technical supporting the communication equipment for companies located in the United States and foreign customers. Company has a headquarter, located in Houston, and a lot of regional offices, distributed all around the United States. Therefore the storage of the information is rather actual task for the company. Using GIS tools in the project allows to organize storage, processing and visualization of the spatial information about allocation of the customers contractors and sites where the equipment is installed. Besides this, it allows to represent and store information about allocation of the equipment, which includes floor plans, layouts of the equipment and communication cables allocation inside the building. The information system is integrated in the existing data-base of the company department, which installs and automates the business-process from getting the requests on installation and its processing to engineer designing and specification generation for installation. Figs.: 5, Refs.: 2 titles. UDC 004.518 Error Classification in Procedural Programming / Shishkov D.P., Manev M.K. // Mathematical Mechanics and Systems. – 1999. – N3. - P.41-59. A classification of errors in procedural programming from the point of view of programming language is treated. A classification tree for description of the hierarchical relations between kinds of errors is proposed. The fundamental kinds of errors: syntactic; associated with the programming environment; language semantic; algorithmic, are examined. An algorithm for typification of errors is offered. It is designation is to determine the kind of error on its given symptom. From the point of view of given classification of errors there has been examined disadvantages of compilers during detecting errors in the program. UDC 681.3 Creation of Computers for Solution of Problems of a High Dimensionality / Vyshinsky V.A., Yakovlev Yu.S., Zadorozny V.F. // Mathematical Machines and System. -1999. -N3. - P.60-68 When proceeding from the analysis of the history and trends of development of architectural and structural decision and of computer element bases, the conclusion is made, that, if one wishes to create computers of next coming generations, it is necessary to go to a qualitatively new computation process arrangement level. The main aspects of this transition are formulated. One of the ways, in which a computation process is arranged, is proposed, and this way is based on application of the matrix algebra, on utilization of essential broadening of an information unit (of an operand) and on enhancement of an internal computer language. The examples are given, which illustrate, how the new computer-aided information processing technology is arranged. Table.:1, Refs.:14 titles
QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNOLOGY AND SOFTWARE
UDC 621.822 Forecasting reliability weakcurrent of flat demountable connection / Strelnikov V.P., Feduhin A.V., Yakovlev M.F. // Mathematical Machines and Systems. - 1999. - N3. - P.69-79. Method of forecasting of reliability - resource weakcurrent of flat demountable connection is developed. As theoretical model of reliability of demountable connection DM- distribution of an operating time up to a refusal is used. As predicting parameter transitive resistance of contact is chosen. The algorithm of forecasting takes into account change of elasticity of materials of contact under action of constant pressure and temperature. The received estimations of an average resource will be rather well coordinated with help data. Figs: 7. Refs.: 5 titles. ISSN 1028-9763 Mathematical Machines and Systems, 1999, N3
