Browse

When we carry out inference automation, the time required to complete the inference procedure is very important. The shorter the time, the more effective the procedure. If we carry out the logical inference procedure manually, then we make a choice of a sequence of steps. In this case, the person takes into account the specifics of the problem being solved. It does not act formally, but taking into account the substantial meaning of predicates. If we are going to shift the inference procedure to a computer, then w...

Considered here is the problem of cooling water-cooled reactors in an emergency, including in emergencies involving a blackout. This problem has become particularly important after the events that occurred at the Japanese nuclear power plant, пїЅFukushima-1.пїЅ Here we present a new emergency reactor-cooling system developed at the Department of Energy Problems at the Saratov Scientific Center, Russian Academy of Sciences. We propose a new way to provide redundant, auxiliary power for nuclear power plants (NPPs) t...