Harvester open publications of NAS Ukraine
Not a member yet
734 research outputs found
Sort by
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