Wyniki wyszukiwania - BazTech

1

Vibration-base key exchange among multiple smart devices on the desk

Arno A., Toyoda K., Watanabe Y., Sasase I., Mathiopoulos P. T.

Image Processing & Communications

|

2016

|

Vol. 21, no. 2

33--42

EN

Eavesdropping is a real concern in mobile NFC (Near Filed Communication) pay- ment and data sharing applications. Although DH (Diffie-Hellman) scheme has been widely used in key exchange for secure communica- tions, it may fail in an indoor environment due to the vulnerability against man-in-the-middle attack. In this paper, we propose a vibration- based key exchange among multiple smart de- vices on the desk. In our scheme, devices are assumed to be placed next to each other and each device vibrates with patterns converted from a key to be exchanged and measures them with accelerometer to recover it. Then, each key is recovered from measured acceleration. We implement our scheme with Android smart- phones to show the effectiveness of the pro- posed scheme.

2

An analysis of a multidimensional dataset of an epidemic study using soft computing tools - a pilot study

Handri S., Nomura S., Irfan A. C.M., Fukuda S., Yamano E., Watanabe Y.

Journal of Medical Informatics & Technologies

|

2009

|

Vol. 13

107--110

EN

Two contrasting approaches toward an epidemic study were illustrated as a pilot study; the regression analysis which is rather conventional methodology used in the past/present epidemic studies, and the other is the classifier analysis which is in the soft computing toolbox. The dataset we used for this study is obtained from a part of a cohort study which principally focused on a fatigue syndrome of the elementary and junior high school educates. In the classifier analysis we employed a major supervised machine-learning algorithm, K-Nearest Neighbour (K-NN), coupled with Principal Component Analysis (PCA). As a result, the performance that was found by cross validation method in the classifier analysis provides better results than that of the regression analysis. Finally we discussed the availability of both analyses with referring the technical and conceptual limitation of both approaches.

3

Schedulability Analysis of Petri Nets Based on Structural Properties

Liu C., Kondratyev A., Watanabe Y., Desel J., Sangiovanni-Vincentelli A.

Fundamenta Informaticae

|

2008

|

Vol. 86, nr 3

325-341

EN

A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterministic choices. Schedulability analysis for a given PN answers the question whether a schedule exists in the reachability space of this net. This paper suggests a novel approach for schedulability analysis based solely on PN structure. It shows that unschedulability can be caused by a structural relation among transitions modelling nondeterministic choices. A method based on linear programming for checking this relation is proposed. This paper also presents a necessary condition for schedulability based on the rank of the incidence matrix of the underlying PN. These results shed a light on the sources of unschedulability often found in PN models of embedded multimedia systems.

4

Development of environmental purification materials with smart functions

Yamada H., Watanabe Y., Tamura K.

Nukleonika

|

2006

|

Vol. 51,suppl.1

61-67

EN

For an environmental-friendly sustainable society, the global environmental problems should be solved. Here we outline our recent results of environment purification materials with smart functions. For the effective adsorbent for remediation process, zeolite coated with layered double hydroxide (LDH) was prepared by the precipitation of LDH on zeolite-LTA under hydrothermal treatment. This multifunctional material has a possible application for simultaneous uptake of harmful cations and anions, and minimizes environmental pollution during municipal and industrial water management. For novel material for the nuclear waste management, zeolite with hydroxyapatite layers on its surface was obtained by a hydrothermal method on the basis of the cation exchange of Ca2+ in zeolite for NH4+ in solution. The novel nanocomposite is an ideal material for adsorbing and fixing radioactive elements for geological time-scale.

5

Quasi-static Scheduling for Concurrent Architectures

Cortadella J., Kondratyev A., Lavagno L., Taubin A., Watanabe Y.

Fundamenta Informaticae

|

2004

|

Vol. 62, nr 2

171--196

EN

This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks, while considering multiple concurrent execution resources. A formal model based on the notion of scheduling of Petri nets is used to perform the synthesis. We show how the notion of projections of a schedule for the complete system onto the components implemented on separate resources is essential to define the correctness of the partitioned schedule.