scholarly journals Acquisition of the Proximity Principle by Korean Speakers

English21 ◽  
2011 ◽  
Vol 24 (1) ◽  
pp. 241-263
Author(s):  
Kim,Gui-Seok ◽  
안길순
Author(s):  
Dang Duy Bui ◽  
Kazuhiro Ogata

AbstractThe mutual exclusion protocol invented by Mellor-Crummey and Scott (called MCS protocol) is used to exemplify that state picture designs based on which the state machine graphical animation (SMGA) tool produces graphical animations should be better visualized. Variants of MCS protocol have been used in Java virtual machines and therefore the 2006 Edsger W. Dijkstra Prize in Distributed Computing went to their paper on MCS protocol. The new state picture design of a state machine formalizing MCS protocol is assessed based on Gestalt principles, more specifically proximity principle and similarity principle. We report on a core part of a formal verification case study in which the new state picture design and the SMGA tool largely contributed to the successful completion of the formal proof that MCS protocol enjoys the mutual exclusion property. The lessons learned acquired through our experiments are summarized as two groups of tips. The first group is some new tips on how to make state picture designs. The second one is some tips on how to conjecture state machine characteristics by using the SMGA tool. We also report on one more case study in which the state picture design has been made for the mutual exclusion protocol invented by Anderson (called Anderson protocol) and some characteristics of the protocol have been discovered based on the tips.


Author(s):  
Hye K. Pae ◽  
Jing Sun ◽  
Xiao Luo ◽  
Haiyang Ai ◽  
Fengyang Ma ◽  
...  
Keyword(s):  

2015 ◽  
Vol 37 (4) ◽  
pp. 757-780 ◽  
Author(s):  
JEONG-IM HAN ◽  
TAE-HWAN CHOI

ABSTRACTThis study examined the role of orthography in the production and storage of spoken words. Korean speakers learned novel Korean words with potential variants of /h/, including [ɦ] and ø. They were provided with the same auditory stimuli but with varying exposure to spelling. One group was presented with the letter for ø (<ㅇ>), the second group, the letter for [ɦ] (<ㅎ>), and the third group, auditory input only. In picture-naming tasks, the participants presented with <ㅇ> produced fewer words with [ɦ] than those presented with <ㅎ>. In a spelling recall task, the participants who were not exposed to spelling displayed various types of spellings for variants, but after exposure to spelling, they began to produce spellings as provided in the task. These results suggest that orthographic information influences the production of words via an offline restructuring of the phonological representation.


Sign in / Sign up

Export Citation Format

Share Document