Oleg Stepanov

  • Citations Per Year
Learn More
Increasing adoption of FPGAs in digital switchedmode power supply (SMPS) control is driving significant interest in improved platforms for development and commercial deployment. A new methodology for high-level system design of SMPS controllers is proposed and developed commercially. The feasibility, validity and accuracy of the approach is evaluated(More)
We studied the dynamics of in vitro maturation of bovine oocytes, the efficiency of asynchronously matured oocytes as recipients for the generation of embryos produced by nuclear transfer, and the potential for using blind enucleation of zona-free bovine oocytes in bovine cloning. At 15 h after the initiation of maturation (hpm), oocytes were freed from(More)
Currently Model Checking is the only practically used method for verification of automata-based programs. However, current implementations of this method only allow verification of simple automata systems. We suggest using a different approach, runtime verification, for verification of automata systems. We discuss advantages and disadvantages of this(More)
The dynamics of in vitro development of reconstructed embryos of cattle after various electrofusion times was studied. The in vitro mature oocytes without zona pellucida enucleated using the touch method were taken as cytoplasts. Fetal fibroblasts were used as the nuclei source. Approximately 40% of embryos activated between 3 and 3.2 hours after(More)
An important part of creating systems with complex behavior is quality control. Regression makes it important not just to check that the developed program satisfies all its requirements, but also makes this process efficient, maximally automates it. In practice, this can be done with formalized program requirements and keeping of executable specification(More)
Automata-based approach is often used for developing complex systems. Model Checking is commonly used to check conformance of the system against its specification. However, verification techniques don’t allow checking the system in whole, as system consists of not only the model, but also control objects, which are not suitable for model checking. In this(More)
The dynamics of in vitro development of reconstructed bovine embryos activated at various time after electrofusion was studied. The in vitro mature oocytes without zona pellucida enucleated using the blind method were taken as cytoplasts. Fetal fibroblasts were used as the nuclei source. Approximately 40% of embryos activated between 3 and 3.2 hours after(More)