On some technology of project modeling of stochastic manufacturing technological processes

Principles of modification of program—technological simulation tools of stochastic discrete technological processes are described for the following problem fields: investigation of computing processes; simulation of assemble and disassemble jobs; models of stochastic net scheduling, post offices, discrete manufacturing processes with unreliable equipment

Logics of quasiary predicates of quantifier-equational level

First-order composition-nominative logics of partial single-valued, total multiple valued and partial multiple-valued quasiary predicates of quantifierequational level are studied. We define basic semantic properties of the introduced logics, particularly the properties of the relations of logical consequence for sets of formulas and the Х–Y-valued relations of logical consequence. On this basis we construct sequent calculi for logics of single-valued quasi-ary predicates of quantifier-equational level

Symbolic computation system for dynamical application programming

The system of symbolical computation intended for embedding in the industrial applications with the purpose of maintenance to their flexibility and tenability on the varied requirements and a condition of functioning is described. The method of immersion of adjusted program systems in industrial complexes based on use of declarative means of programming at the description of interactions a program component with the environment is offered. The method allows considerably to reduce cost of development of the complex software and also to solve problems of the analysis and maintenance of reliability of a program code