|
|
|
|
|
Dmitry Lukyanenko
The paper proposes a parallel algorithm for solving large overdetermined systems of linear algebraic equations with a dense matrix. This algorithm is based on the use of a modification of the conjugate gradient method, which is able to take into account ...
ver más
|
|
|
|
|
|
|
|
|
Hongming Li, Lilai Zhang, Hao Cao and Yirui Wu
Deoxyribonucleic Acid (DNA) computing has demonstrated great potential in data encryption due to its capability of parallel computation, minimal storage requirement, and unbreakable cryptography. Focusing on high-dimensional image data for encryption wit...
ver más
|
|
|
|
|
|
|
|
|
Yati Phyo, Moe Nandi Aung, Canh Minh Do and Kazuhiro Ogata
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce the st...
ver más
|
|
|
|
|
|
|
|
|
Soo-Min Kim, Dae W. Kim and Moon K. Kwak
The membrane-type air spring can be used to suppress lateral vibration of a vibration isolation table. However, compared to voice coil actuators, pneumatic actuators are difficult to use for precise vibration control, because servo valves have nonlinear ...
ver más
|
|
|
|
|
|
|
|
|
Jun Zhang, Shengdong Liu, Cai Yang and Juanjuan Li
The deformation and fracturing of coal rock is a crucial part of coal and rock dynamic disasters and is accompanied by variations in the electrical field of the rock. In this study, the self-potential characteristics of coal rock were measured to dynamic...
ver más
|
|
|
|