Source author record

Evgeny Novikov

Evgeny Novikov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2014arXiv

Numerical Simulation of Wakes in a Weakly Stratified Fluid

This paper describes some preliminary numerical studies using large eddy simulation of full-scale submarine wakes. Submarine wakes are a combination of the wake generated by a smooth slender body and a number of superimposed vortex pairs generated by various control surfaces and other body appendages. For this preliminary study, we attempt to gain some insight into the behavior of full-scale submarine wakes by computing separately the evolution the self-propelled wake of a slender body and the motion of a single vortex pair in both a non-stratified and a stratified environment. An important aspect of the simulations is the use of an iterative procedure to relax the initial turbulence field so that turbulent production and dissipation are in balance.

preprint2013arXiv

Reusing Precisions for Efficient Regression Verification

Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is not yet established as a standard practice, because the enormous resource consumption makes its application impractical. Model checkers compute a large number of verification facts that are necessary for verifying if a given specification holds. We have identified a category of such intermediate results that are easy to store and efficient to reuse: abstraction precisions. The precision of an abstract domain specifies the level of abstraction that the analysis works on. Precisions are thus a precious result of the verification effort and it is a waste of resources to throw them away after each verification run. In particular, precisions are small and thus easy to store; they are easy to process and have a large impact on resource consumption. We experimentally show the impact of precision reuse on industrial verification problems, namely, 59 device drivers with 1119 revisions from the Linux kernel.