Source author record

Kohei Sakurai

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
4topics
4close collaborators

Published work

2 publications

preprint2016arXiv

Stabilizing semilocal strings by polarization

Semilocal strings are vortices in the extended Abelian-Higgs model with two complex Higgs scalar fields among which a global SU(2)SU(2) symmetry acts. They are known to be stable (unstable against expansion) in type-I (II) superconductors, in which gauge field is heavier (lighter) than the Higgs scalar field. In this paper, we find that vortices can be stabilized in the whole parameter region including the type-II region by adding a potential term breaking the SU(2)SU(2) symmetry. We construct numerical solutions in various parameters and determine the vortex phase diagram consisting of six phases. In two phases, a vortex is polarized, that is, split into two half-quantized vortices with a certain distance, to form a vortex molecule, while in the rests a vortex is identical to the conventional Abrikosov-Nielsen-Olesen vortex.

preprint2013arXiv

Model Checking with Program Slicing Based on Variable Dependence Graphs

In embedded control systems, the potential risks of software defects have been increasing because of software complexity which leads to, for example, timing related problems. These defects are rarely found by tests or simulations. To detect such defects, we propose a modeling method which can generate software models for model checking with a program slicing technique based on a variable dependence graph. We have applied the proposed method to one case in automotive control software and demonstrated the effectiveness of the method. Furthermore, we developed a software tool to automate model generation and achieved a 35% decrease in total verification time on model checking.

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.