|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
Ioannis G. Tsoulos, Alexandros Tzallas, Evangelos Karvounis and Dimitrios Tsalikakis
The problem of finding the global minimum of multidimensional functions is often applied to a wide range of problems. An innovative method of finding the global minimum of multidimensional functions is presented here. This method first generates an appro...
ver más
|
|
|
|
|
|
|
|
|
Luiz M. B. C. Campos and Manuel J. S. Silva
The safety zone around the flight path of a rocket is determined by the fall of debris in the case of an accidental explosion or commanded termination. The trajectory of a tumbling body in a vertical plane is determined by specifying the velocity, flight...
ver más
|
|
|
|
|
|
|
|
|
Olli Jansson and Matthew W. Harris
This paper presents a solution strategy for deterministic time-optimal pursuit?evasion games with linear state constraints, convex control constraints, and linear dynamics that is consistent with linearized relative orbital motion models such as the Cloh...
ver más
|
|
|
|
|
|
|
|
|
Kwanyoung Noh, Hyemin Kim, Siwook Nam and Soonho Song
This study investigates the thermophysical and combustion characteristics of ethanol-based nanofuels incorporating aluminum (Al) and nickel-coated aluminum (Ni-Al). The nanofuels are prepared with varying concentrations of Al and Ni-Al nanoparticles. The...
ver más
|
|
|
|