Synthesis of checker EFSMs from timing diagram specifications

Author(s):  
E.K. Ogoubi ◽  
E. Cerny
Keyword(s):  
2011 ◽  
Vol 53 (5) ◽  
pp. 484-493 ◽  
Author(s):  
Hongsuk Lee ◽  
Kihyun Chung ◽  
Hyunsang Park ◽  
Kyunghee Choi

1990 ◽  
Vol 12 (1-4) ◽  
pp. 121-128 ◽  
Author(s):  
Hermann Harbeck ◽  
Roland Reinl ◽  
Peter Keβler ◽  
Siegfried Görlich

2016 ◽  
Vol 28 (8) ◽  
pp. 1166-1177 ◽  
Author(s):  
Ana Navarro-Cebrian ◽  
Robert T. Knight ◽  
Andrew S. Kayser

When we respond to a stimulus, our decisions are based not only on external stimuli but also on our ongoing performance. If the response deviates from our goals, monitoring and decision-making brain areas interact so that future behavior may change. By taking advantage of natural variation in error salience, as measured by the RT taken to correct an error (RTEC), here we argue that an evidence accumulation framework provides a potential underlying mechanism for this variable process of error identification and correction, as evidenced by covariation of frontal monitoring and parietal decision-making processes. We study two early EEG signals linked to monitoring within medial PFC—the error-related negativity (ERN) and frontocentral theta activity—and a third EEG signal, the error positivity (Pe), that is thought to share the same parietal substrates as a signal (the P3b) proposed to reflect evidence accumulation. As predicted, our data show that on slow RTEC trials, frontal monitoring resources are less strongly employed, and the latency of the Pe is longer. Critically, the speed of the RTEC also covaries with the magnitude of subsequent neural (intertrial alpha power) and behavioral (post-error slowing) adjustments following the correction. These results are synthesized to describe a timing diagram for adaptive decision-making after errors and support a potential evidence accumulation mechanism in which error signaling is followed by rapid behavioral adjustments.


2013 ◽  
Vol 4 (2) ◽  
pp. 391-396 ◽  
Author(s):  
A. Jomartov

Abstract. In this paper a vector model of timing diagram of automatic machine is developed, which allows us to solve a variety dynamic tasks by changing the parameters of timing diagram of its mechanisms. The connection between the parameters of the timing diagram of automatic machine and equations of motion mechanisms through functions of position and transfer functions of mechanisms is established. The vector model of timing diagram can be used to optimize the timing diagrams of looms and polygraphic machines.


Author(s):  
В.Л. Мартынов ◽  
В.И. Дорошенко ◽  
И.Л. Скрипник

Изложены возможности и особенности использования в Арктической зоне России сети метеорной связи, которую целесообразно применить в целях обеспечения безопасности функционирования объектов транспортной инфраструктуры Северного морского пути, что способствует повышению экономической эффективности в целом всего морского транспортно-технологического процесса, а также для обеспечения безопасности судоходства в указанном регионе с учетом специфики распространения УКВ-радиосигналов и больших расстояний между объектами. Представлена временная диаграмма, характеризующая процесс функционирования радиолинии метеорной связи, соответственно, для оценки прерывистости связи предлагается использовать специальный параметр под названием коэффициент использования радиолинии. Показано, что для обеспечения энергетического контакта необходимой длительности между удаленными ведущими и ведомыми станциями метеорной связи в качестве пассивного ретранслятора может насыщенный метеорный след, способный обеспечить требуемую устойчивую связь, удовлетворяющей заданным требованиям по защите информации и по вероятности ошибочного приема ложных знаков с сохранением целостности сообщений при условии прерывистости энергетических контактов между корреспондентами. This paper describes the possibilities and features of using the meteor communication network in the Arctic zone of Russia. It is advisable to use this meteor communication network in order to ensure the safety of the transport infrastructure of the Northern sea route. This contributes to the overall economic efficiency of the entire Maritime transport and technological process. Also, it is appropriate to ensure the safety of navigation in the region, taking into account the specifics of the propagation of VHF radio signals and long distances between the objects. A timing diagram characterizing the operation of the meteor radio link is presented, so it is proposed to use a special parameter called the radio link utilization factor to estimate communication discontinuity. It has been shown that a saturated meteor trail can be used as a passive repeater to provide energy contact of the desired duration between the remote leading and trailing meteor communication stations. This is capable to provide the required stable communication that meets the specified data protection requirements. And it is also urgent for the probability of erroneous false signs reception with preservation of messages integrity under condition of energy contacts discontinuity between correspondents.


Sign in / Sign up

Export Citation Format

Share Document