Source author record

Kohei Sakurai

Kohei Sakurai 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
4topics
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)

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)$ 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)$ 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.