• Journal of Communications and Networks
• /
• v.16 no.4
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• Korean Journal of English Language and Linguistics
• /
• v.2 no.1
• /
• pp.123-147
• /
• 2002

As far as the recent ELT research concerned, it seems to have been no hot ‘theoretical’ issues, but ‘practical’ ones in general: e.g., learners and learning, components of proficiency, correlates of L2 learning, etc. This paper focuses on the theme given above, with a special reference to the sub-title: specifically, 1) World English, world Englishes and world's lingua franca; 2) ENL, ESL and EFL; 3) Grammars, style manuals, dictionaries and media; 4) Pronunciation models: RP, BBC model and General American, Network Standard; 5) Lexical, grammatical variations and discourse grammars; 6) Beliefs and subjective theories in foreign language research; 7) Dilemma among radical, canonical and eclectic views. In conclusion, the author offers a modest proposal: we need to appeal to our own experience, intention, feeling and purpose, that is, our identity to express “our own selves” in our contexts toward the world anywhere, if not sounding authentic enough, but producing it plausibly well. It is time for us (with our ethno-cultural autonomy) to need to be complementary to and parallel with its native speakers' linguistic-cultural authenticity in terms of the broadest mutual understanding.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• pp.471-480
• /
• 2007

Japanese does not exhibit deontic-epistemic polysemy which is recognized among typologically different languages. Hence, in Japanese linguistics, it has been debated which of the two types of modality is more prototypical. This study brings Chinese learner's acquisition data of Japanese modality to bear on the question of which of the two types of modality is more prototypical, using the Competition Model (Bates and MacWhinney 1981). The Competition Model notion of 'cues' as processing strategy adopted by learners reveals the continuity/discontinuity between these two modality domains.

• Phonetics and Speech Sciences
• /
• v.14 no.4
• /
• pp.19-24
• /
• 2022

This study examined which acoustic cue(s) that Korean learners of English give weight to in perceiving English lexical stress. We manipulated segmental and suprasegmental cues in 5 steps in the first and second syllables of an English stress minimal pair "object". A total of 27 subjects (14 native speakers of English and 13 Korean L2 learners) participated in the English stress judgment task. The results revealed that native Korean listeners used the F0 and intensity cues in identifying English stress and weighted vowel quality most strongly, as native English listeners did. These results indicate that Korean learners' experience with these cues in L1 prosody can help them attend to these cues in their L2 perception. However, L2 learners' perceptual attention is not entirely predicted by their linguistic experience with specific acoustic cues in their native language.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.34 no.5
• /
• pp.567-573
• /
• 2010

In this study, we evaluated the structural integrity and weight of a rocket motor with a torispherical dome by size optimization. Size optimization was achieved by first-order and sub-problem methods, using the Ansys Parametric Design Language (APDL). For rapid design verification, a modified 2D axisymmetric finite-element model was used, and the bolt pre-tension load was expressed as function of the ratio of the cross-sectional area. The thickness of the dome and the cylindrical part of the rocket motor were selected as the design parameters. Our results showed that the weight and structural integrity of the rocket motor at the initial design stage could be determined more rapidly and accurately with the modified 2D axisymmetric finite-element model than with the 3D finite-element model; further, the weight of the rocket motor could be saved to maximum of 17.6% within safety limit.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.88-91
• /
• 2022

디지털 휴먼, 민원 상담, ARS 등 칫챗의 활용과 수요가 증가함에 따라 칫챗의 성능 향상을 위한 다양한 연구가 진행되고 있다. 특히, 오토 인코더(Auto-encoder) 기반의 생성 모델(Generative Model)은 높은 성능을 보이며 지속적인 연구가 이루어지고 있으나, 이전 대화들에 대한 충분한 문맥 정보의 반영이 어렵고 문법적으로 부적절한 답변을 생성하는 문제가 있다. 이를 개선하기 위해 검색 기반의 생성 모델과 관련된 연구가 진행되고 있으나, 현재 시점의 문장이 유사해도 이전 문장들에 따라 의도와 답변이 달라지는 멀티턴 대화 특징을 반영하여 대화를 검색하는 연구가 부족하다. 본 논문에서는 이와 같은 멀티턴 대화의 특징이 고려된 검색 방법을 제안하고 검색된 레퍼런스(준정답 문장)를 멀티턴 대화와 함께 생성 모델의 입력으로 활용하여 학습시키는 방안을 제안한다. 제안 방안으로 학습된 발화 생성 모델은 기존 모델과 비교 평가를 수행하며 Rouge-1 스코어에서 13.11점, Rouge-2 스코어에서 10.09점 Rouge-L 스코어에서 13.2점 향상된 성능을 보였고 이를 통해 제안 방안의 우수성을 입증하였다.

• Knowledge Management Research
• /
• v.22 no.4
• /
• pp.27-40
• /
• 2021

Click-Through Rate (CTR) prediction is a key function that determines the ranking of candidate items in the recommendation system and recommends high-ranking items to reduce customer information overload and achieve profit maximization through sales promotion. The fields of natural language processing and image classification are achieving remarkable growth through the use of deep neural networks. Recently, a transformer model based on an attention mechanism, differentiated from the mainstream models in the fields of natural language processing and image classification, has been proposed to achieve state-of-the-art in this field. In this study, we present a method for improving the performance of a transformer model for CTR prediction. In order to analyze the effect of discrete and categorical CTR data characteristics different from natural language and image data on performance, experiments on embedding regularization and transformer normalization are performed. According to the experimental results, it was confirmed that the prediction performance of the transformer was significantly improved when the L2 generalization was applied in the embedding process for CTR data input processing and when batch normalization was applied instead of layer normalization, which is the default regularization method, to the transformer model.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.2
• /
• pp.79.3-79.3
• /
• 2019

GMACS is one of the first light instruments for the Giant Magellan Telescope (GMT). The development of GMACS control software follows Agile software development process, and the design of the software is based on the Unified Model Language (UML). In this poster, we present the architecture of the GMACS software and the development processes. As an example of the software development, we show the software of the Slit Mask Exchange Mechanism Prototype (SMEM-P) which is part of the GMACS Device Control Package (DCP).

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.967-970
• /
• 2005

Ubiquitous Computing appeared, and moth researches are gone to apply this in various field. Specially, physical distribution circulation service field is intelligence enemy while alternate existent bar code and induction of RFID(Radio Frequency Identification) technology that permit various service is gone vigorously. In this treatise designed data model and schema to progress research about Core Event Type of PML(Product Markup Language) that is object information expression language that is proposed Auto-Id Lab and EPCglobal Inc. to process information of physical object and EPC-lS(Electronic Product Code Information Services) that is information services component and applies in sea transport physical logistics distribution service field.

• International Journal of Internet, Broadcasting and Communication
• /
• v.12 no.3
• /
• pp.9-17
• /
• 2020

In this paper, as part of the research for the infrastructure of very high flexible and reconfigurable data center using very high speed crossbar switches, we developed a simulator that can model two and three dimensional connection structure of switches with an efficient control algorithm using software defined network and verified the functions and analyzed the performance accordingly. The simulator consists of a control module and a switch module that was coded using Python language based on the Mininet and Ryu Openflow frameworks. The control module dynamically controls the operation of switching cells using a shortest multipath algorithm to calculate efficient paths adaptively between configurable computing resources. Performance analysis by using the simulator shows that the three-dimensional switch architecture can accommodate more hosts per port and has about 1.5 times more successful 1:n connections per port with the same number of switches than the two-dimensional architecture. Also simulation results show that connection length in a 3-dimensional way is shorter than that of 2-dimensional way and the unused switch ratio in a 3-dimensional case is lower than that of 2-dimensional cases.