Verification of Telecommunication Protocols Based on Formal Methods
Tkacheva Elena Borisovna,
Lubov Demchenko Vasilievna,
Saied Halawa Fawaz
Issue:
Volume 2, Issue 1, February 2013
Pages:
1-10
Published:
20 February 2013
Abstract: This article is devoted to the development method for verification and detecting errors that can occur in the operation of protocols for information exchange. The various steps of verification of telecommunication protocols are given in the article; the construction of counterexample, which helps to identify the logical operations that lead to errors in the protocols. Practical implementation of given method is shown on TCP.
Abstract: This article is devoted to the development method for verification and detecting errors that can occur in the operation of protocols for information exchange. The various steps of verification of telecommunication protocols are given in the article; the construction of counterexample, which helps to identify the logical operations that lead to erro...
Show More
A Design of the Preference Acquisition Detection System Using the EEG
Hironobu Fukai,
Yohei Tomita,
Yasue Mitsukura
Issue:
Volume 2, Issue 1, February 2013
Pages:
19-25
Published:
20 February 2013
Abstract: Estimation of emotional states has been multi-disciplinary research interests. Among them, although there are many ways of the estimation such as subjective evaluations and behavioral taxonomy, direct evaluation from the human brain is more reliable. Especially, electroencephalographic (EEG) signal analysis is widely used because of its simplicity and convenience. In our research, emotional states are investigated with a simple electroencephalography which has only one electrode. This device is lighter and cheaper than existing devices.However, its feasibility has yet been proven.
Abstract: Estimation of emotional states has been multi-disciplinary research interests. Among them, although there are many ways of the estimation such as subjective evaluations and behavioral taxonomy, direct evaluation from the human brain is more reliable. Especially, electroencephalographic (EEG) signal analysis is widely used because of its simplicity ...
Show More
