We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We present an algorithm to automatically extract inductive modulo-2 linear invariants from a design. This algorithm makes use of basic linear algebra and is realized on top of an incremental SAT solver. The experimental results demonstrate that a large number of designs possess linear invariants that can be efficiently found by our method. We study how(More)
The paper presents the research of dynamic loading capacity of the tipper car body supporting structure with mathematical model methods using solid-state car dynamic model and finite-element model of the car body supporting structure. Constructive solutions are proposed for the improvement of the car body supporting structure according to the results of(More)
  • 1