Search results for: R. Kasahara

Authors: Kazuya Sato, Toru Kasahara, Junji Kuroda, Tomoyuki Izu

Abstract:

In this paper, an autonomous hovering control method of multicopter using only Web camera is proposed. Recently, various control method of an autonomous flight for multicopter are proposed. But, in the previous proposed methods, a motion capture system (i. e., OptiTrack) and laser range finder are often used to measure the position and posture of multicopter. To achieve an autonomous flight control of multicopter with simple equipments, we propose an autonomous flight control method using AR marker and Web camera. AR marker can measure the position of multicopter with Cartesian coordinate in three dimensional, then its position connects with aileron, elevator, and accelerator throttle operation. A simple PID control method is applied to the each operation and adjust the controller gains. Experimental results are given to show the effectiveness of our proposed method. Moreover, another simple operation method for autonomous flight control multicopter is also proposed.

Keywords: Autonomous hovering control, multicopter, Web camera.

Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 1829

Authors: Kei Kawamorita, Ryouta Kasahara, Yuuki Mochizuki, Kenichiro Noguchi

Abstract:

A separation-kernel-based operating system (OS) has been designed for use in secure embedded systems by applying formal methods to the design of the separation-kernel part. The separation kernel is a small OS kernel that provides an abstract distributed environment on a single CPU. The design of the separation kernel was verified using two formal methods, the B method and the Spin model checker. A newly designed semi-formal method, the extended state transition method, was also applied. An OS comprising the separation-kernel part and additional OS services on top of the separation kernel was prototyped on the Intel IA-32 architecture. Developing and testing of a prototype embedded application, a point-of-sale application, on the prototype OS demonstrated that the proposed architecture and the use of formal methods to design its kernel part are effective for achieving a secure embedded system having a high-assurance separation kernel.

Keywords: B method, embedded systems, extended state transition, formal methods, separation kernel, Spin.

Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 1924

Authors: E. Satoh, R. Kasahara, T. Aoki, K. Fukatsu, D. Venkata Ramanarao, H. Harayama, T. Murata, A. Suwa

Abstract:

Rice plant hoppers (Hemiptera: Delphacidae) have been causing extensive economic damage in rice and are considered as serious threat in rice producing countries of Asia. They have developed resistance to major groups of chemical insecticide, and severe outbreaks occur commonly throughout Asia. To control these nuisance pests, Nihon Nohyaku Co., Ltd., recently discovered an insecticide, benzpyrimoxan (proposed ISO name), which is under development as NNI-1501 (development code). Benzpyrimoxan has a unique chemical structure which contains benzyloxy and cyclic acetal groups on pyrimidine moiety (5-(1,3-dioxan-2-yl)-4-[4- (trifluoromethyl)benzyloxy]pyrimidine). In order to clarify the biological properties of benzpyrimoxan, we conducted several experiments and found the following results. Benzpyrimoxan has high activity against nymphal stages of rice plant hoppers without any adulticidal activity. It provides excellent and long lasting control against rice plant hoppers, including populations that have developed resistance to several other chemical groups of insecticide. The study on its mode of action is undergoing. These features highlight the versatility of this insecticide as an effective and valuable tool from the viewpoints of insecticide resistance management and integrated pest management program. With the use of benzpyrimoxan, farmers shall be able to lead the best yield potential by keeping the population density of rice plant hoppers and associated virus diseases under control.

Keywords: Acetal, benzpyrimoxan, insecticide, NNI-1501, pyrimidine, rice plant hoppers.

Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 3583