• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.147-152
• /
• 1997

C++는 C의 장점을 가지고 있으면서 객체지향적 요소를 포함하고 있어 현재 객체지향적 소프트웨어 개발에 가장 많이 사용되어지는 언어 중에 하나이다. 본 고에서는 원자력 발전소 제어시스템과 같은 안전 시스템 개발에 사용될 언어가 보장해야할 속성에 대하여 정의하고 이러한 속성들을 C++는 어떻게 지원할 수 있는 가에 대하여 기술하였다. 80년 이후에 소개된 객체지향 기술이 계속적으로 발전하고 소프트웨어 개발에 많은 장점을 제공하고 있기 때문에 많은 분야의 소프트웨어 개발에 적용되어지고 있다. 따라서 safety-critical 시스템과 같이 고신뢰성과 안정성이 요구되는 시스템 개발에도 적용되어 진다면 소프트웨어 개발 생산성에 많은 도움이 될 것이다.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1991.10a
• /
• pp.196-198
• /
• 1991

분산 시스팀 환경하에서 여러 다양한 구성요소사이의 상호작용과 통신을 관장하는 규칙들인 프로토콜을 설계하는데 있어서 컴퓨터 과학 및 공학 영역의 형식방법과 소프트웨어 공학기법이 적용되고 있다. 그 결과로서 새로운 영역인 프로토콜 공학(Protocol Engineering)의 중요성이 점차 대두되고 있다. 본 연구에서는 프로토콜 공학 사이클(프로토콜과 서비스 명세, 프로토콜 검정과 검증, 프로토콜 종합, 프로토콜 변환, 성능 평가, 자동 구현, 그리고 적합성 시험) 중에서 적합성시섬 즉, 적합성 시험언어인 TTCN(Tree and Tabular Combined Notation) 특성, 시험시나리오, 그리고 추상적 시험 시나리오를 수행하는 시험언어 번역기(TTCN2C)에 관해서 논하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.76-78
• /
• 2001

Secure Lambda calculus(SLam)는 정보 보안을 보장해주는 언어이나, Continuation Passing Style(CPS) 변환 후에는 안전성 분석의 정확도가 떨어진다. CPS의 논리적인 성질(ordered linearity)을 반영하여 변환 후에도 정확도가 떨어지지 않는 타입 시스템을 고안하고 무간섭성을 증명하였다. 함수형 SLam 언어에서 정확도가 떨어지는 경우는 앞으로 계산할 값의 인자가 쓰이지 않는 경우임을 밝혀내었다.

• Journal of the Korean Chemical Society
• /
• v.64 no.6
• /
• pp.416-428
• /
• 2020

This study analyzed the uses of external representations presented in the matter units of the 7th-grade science digital textbooks developed under the 2015 revised national curriculum. The level, form, presentation, and interactivity of external representations presented in 5 types of digital textbooks were analyzed. As for the level, the macroscopic level of representations was mainly presented. The macroscopic level and microscopic level of representations were presented together in the particle description. As for the form, visual-verbal and visual-nonverbal representations were usually presented across the board. Very few audial-verbal and audial-nonverbal representations were presented. Visual-verbal and audial-verbal representations were mostly presented in formal form, and visual-nonverbal representations were mostly presented in illustration without movement. The presentation of representations was analyzed in three aspects. First, visual-verbal and visual-nonverbal representations were mainly presented together and none of audial-verbal and visual-nonverbal representations were presented together. When the representations of the audial-verbal, visual-nonverbal, and visual-verbal were presented together, some of the information presented in audial-verbal representations was repeatedly presented in the visual-verbal representations. Second, audial-nonverbal representations not related to learning content were presented along with other representations. Third, there were few cases of arranging visual-verbal and visual-nonverbal representations on the next pages. Audialverbal and visual-nonverbal representations were always presented synchronized. As for the interactivity, the manipulation level was mainly presented in the main area, and the feedback level was mainly presented in the activity area. The adaptation level and the communication level of interactivity were presented very few. Based on the results, the implications for the direction of constructing digital textbooks were discussed.

• Journal of Digital Convergence
• /
• v.16 no.3
• /
• pp.469-476
• /
• 2018

This study investigates the common perception of the use of preliminary language rehabilitation as a basic study to demonstrate the usefulness of media utilisation in language therapy. Based on the previous research, data were collected for 150 preliminary language rehabilitation workers and 142 questionnaires were used for data analysis. The study found that the perception of media usage in pre-language rehabilitation was necessary for language development and was also positive about the treatment. The use of media has been recognised as helpful in promoting attention, cognitive and creativity development. Also, the use of media as a treatment tool was agreed to, but it was recognized that the rules for utilizing the media were necessary and needed to know the proper site or program. Therefore, it was suggested that the development of sites and programs that can be used for language therapy is necessary.

• Annual Conference on Human and Language Technology
• /
• 2005.10a
• /
• pp.159-166
• /
• 2005

자연언어처리의 목적은 컴퓨터가 자연어를 이해할 수 있도록 하여, 인간에게 다양한 정보를 정확하고 빠르게 전달할 수 있도록 하고자 하는 것이다. 이를 위해서는 언어의 의미를 정확히 파악하여야 하는데, 어휘 의미 중의성 해소가 필수적인 기술이다. 본 연구에서는 평균 상호정보량에 기반한 동음이의어 의미 중의성 해소 기술을 소개한다. 사전 뜻풀이를 이용하는 기존 연구들은 어휘들간의 정확한 매칭에 의존하기 때문에 자료부족 현상이 심각하였다. 그러나, 본 연구에서는 어휘들간의 연관계수인 상호정보량을 이용함으로써 이 문제를 완화시켰다. 또한, 상호정보량을 가지는 어휘 쌍의 비율, 의미 별 빈도 정보와 뜻풀이의 길이를 가중치로 반영하였다. 본 시스템의 평가를 위해 질의응답 평가셋의 500여 개의 질의와 정답단락을 대상으로 동음이의어 의미 중의성 해소 평가셋을 구축하였다. 평가셋에 기반하여 두 가지 유형의 실험을 수행하였다. 실험 결과는 평균 상호정보량만을 이용하였을 때 62.04%의 정확률을 보였고, 가중치를 활용하였을 때 83.42%의 정확률을 보였다.

• Annual Conference on Human and Language Technology
• /
• 2010.10a
• /
• pp.177-178
• /
• 2010

단어 의미 중의성은 자연언어처리 분야에서의 주요 관심 분야이다. 한국어에서의 단어 의미 중의성 문제는 다른 언어에 비하여 연구가 미흡한 상태이다. 기존 연구에서는 빈도 수에 기반한 공기 정보 벡터를 이용한 방법에서 처리되지 못하는 경우가 발생하였다. 또한 사전에 기반한 상위어 추출 시에 정형화된 형태가 아닌 경우에 어려움이 발생하였다. 본 논문에서는 상호정보량을 추가하여 공기 정보 처리 과정 시에 발생하는 오류를 최소화 하였다. 또한 대상 명사의 상위어 추출 문제를 해결하기 위해 어휘 지식 베이스를 적용하였다.

• Annual Conference on Human and Language Technology
• /
• 2010.10a
• /
• pp.55-62
• /
• 2010

수화는 농인 사회에서 주로 사용되는 시각언어로서 음성언어인 한국어와 통사적인 측면에서 많은 차이를 보인다. 특히 수화에서는 조사와 어미가 거의 사용되지 않기 때문에 한국어 문장에서 기존의 방법대로 이들을 제거한 후 어순을 고려하지 않은 채 문장 성분의 기본형을 그대로 나열하여 수화문을 생성할 경우 문장 성분 간의 통사적 관계가 애매해질 수 있다. 본 논문에서는 통사적 중의성이 한국어 문장을 수화문으로 변환하는 과정에서 추가적으로 나타나게 되는 특정 통사구조에 의해 발생하는 것으로 보고, 이러한 통사구조를 기본논항구조, 한정수식구조, 병렬구조, 서술구조로 분류하여 각각을 파악하고 그에 따라 통사적 중의성을 해소하는 방법을 제시한다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.229-235
• /
• 2019

동시통역에서는 번역이 즉각적으로 빠르게 이루어지면서 원천텍스트의 의미가 정확히 전달되는 것이 핵심이다. 따라서 실시간 동시통역 시스템의 개발을 위해서는 번역정확도와 번역속도가 균형적으로 최적을 이루는 지점에서 분절하는 방법론이 필요하다. 이를 위해 본 연구에서는 운율 정보, 문법·통사 규칙, 의미 단위, 담화구조 표지, 분절단위의 길이 등 다양한 언어학적 자질을 제시하였다. 또한 본 논문에서 제안한 방법론을 검증하는 실험을 진행하였으며 그 결과 영한 데이터는 82%, 한영 데이터는 90%의 정확도를 보였다.

• Journal of Korean Philosophical Society
• /
• v.119
• /
• pp.141-172
• /
• 2011

This thesis, centered on J. Locke and W. v. Humboldt's concept of language, is written for the purpose of illuminating their view of language and investigating the relationship between a matter of language and that of thought. First, Locke considers language was to be the great instrument and common tie of society. And language consists of words, and words are signs of ideas. Locke's discussion in language is shaped by his belief that these conditions of the transference of knowledge were in his time commonly unsatisfied, especially in two domains. First, there was no agreed classification of 'substance' based on careful observation and experiment. Second, the ideas associated with the names of mixed modes often varied both in the usage of different people and in that of the same person at different times. But Humboldt deals with 'the diversity of the structure of human language' and deals with it in respect of 'its influence on the spiritual development of mankind.' According to his theory, a language is not work(ergon) but an activity(energeia). Its true definition may therefore only be genetic. It is after all the continual intellectual effort to make the articulated sound capable of expressing thought. In short, he conceives of language as a particular 'intellectual effort'.