• 한국콘텐츠학회논문지
• /
• 제15권8호
• /
• pp.1-8
• /
• 2015

아두이노는 오픈소스 기반 프로토타이핑 플랫폼으로, 미디어아트, 시뮬레이션, 인터랙션 장치 등 다양한 분야에서 활용되고 있다. 아두이노 어플리케이션은 C언어를 기반으로 개발되기 때문에 프로그램의 효과적인 설계명세 양식을 제공하지 못한다. 본 논문에서는 표준 객체지향 모델링 언어인 UML의 확장 매커니즘을 이용한 아두이노 어플리케이션 설계방법을 제안한다. 제안한 방법을 통해 아두이노 어플리케이션의 주 기능인 디지털 입출력, 아날로그 입출력 등을 UML 표기법을 이용하여 명세할 수 있다.

• 인지과학
• /
• 제6권2호
• /
• pp.81-95
• /
• 1995

지능형 코스웨어란 학생의 반응을 진단하여 학생의 상태를 예측하고 이에 근거하여 학습자에게 적합한 학습을 수행하는 코스웨어를 말한다. 본 논문에서는 이러한 코스웨어의 제작을 위한 동적인 교수제어를 지원하는 저작도구를 설계한다.또한 융통성있는 교수를 제어하기위해 교안기술언어를 정의하여 동적인 제어와 정적인 제어가 가능하도록 하고 있다.실질적인 응용으로 C언어의 제어구조를 적용 사례로 하여 코스웨어의 작성과정을 보임으로써 그 타당성을 보인다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.18-23
• /
• 1991

We need general developing environment to control robot with effect but less energy. So, software and hardware tools are very important. In this paper, we present a general-purpose robot control language and its implementation on Real Time O/S and VME bus system. The system runs on the VMEexec Real Time Operating System and robot program is written in the "C" language. The developed program is linked with the robot control C library io produce an executable image. Under the developed robot control environment, the user can write a general high-level control program leaving all the specific information about the robot in a robot specific file.ific file.

• 대한전자공학회논문지
• /
• 제26권5호
• /
• pp.99-107
• /
• 1989

본 논문에서는 IC Mask Layout을 위한 2차원 그래픽스 에디터 KUIC_LED(kyungpook national university intelligent CAD_layout editor)를 개발하였다. KUIC_LED는 ${\Omega}$/PC/AT상에서 동작하고 Layout에 필요한 60여가지의 다양한 기능들을 제공한다. 본 시스템은 C Language와 Assembly Language로 작성 되었다.

• 한국언어정보학회지:언어와정보
• /
• 제10권2호
• /
• pp.1-20
• /
• 2006

This paper is concerned with the distribution and interpretation of yekan and its cognates. Syntactically they require negation, but semantically the sentences in which they occur are positive ones that make monotone increasing inferences possible. This syntax-semantics discrepancy can be best accounted for by showing that yekan and its cousins must be strictly c-commanded by metalinguistic negation at the surface structure and that the positive meaning of the sentences they are part of is derived from the cancellation of the pragmatic upper-bounding implicatum associated with them. These also enable us to explain why they do not occur in the environments where typical NPIs do and why only certain forms of negation license them.

• 컴퓨터교육학회논문지
• /
• 제13권2호
• /
• pp.45-57
• /
• 2010

본 논문에서는 C 언어의 효율적인 학습을 지원해주는 프로그램 문제 은행 시스템인 C_PBS를 제안한다. C_PBS는 다양한 용도와 난이도의 프로그램 문제를 허용하고, 검색의 편의를 위해 다양한 검색 방법을 제공한다. 또한 다양한 정답, 참조빈도수에 의한 문제 보여주기, 관심문제보기, 카트 기능과 같은 유용한 기능도 제공한다. 특히 문제와 정답에 대해 사용자들의 의견 제시하기, 추천하기, 비추천하기 기능 등을 통해서, 웹 2.0의 철학인 '개방 참여 공유'를 적극적으로 지원하여 상호협력학습을 통한 집단지성을 실현하고 있다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2008년도 학술대회 1부
• /
• pp.27-32
• /
• 2008

수화는 농인 사회에서 주로 사용되는 언어로서 공간상에 수화 동작을 표현함으로써 의사를 전달하는 시각언어이다. 이런 수화의 공간성과 운동성은 서술어 동작을 동해 특히 잘 드러나는데, 서술어는 수식하는 부사어에 악해 그 의미를 수식, 한정 받는다는 특성이 있어 이는 수화의 공간성과 운동성에 많은 영향을 미치게 된다. 본 연구에서는 한국어 수화 변환 과정에서 서술어 동작에 영향을 미치는 부사어의 자질 정보를 분석하고 이를 활용하여 수화의 운동성을 살린 애니메이션을 생성할 수 있는 시스템을 제안하고자 한다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.2-27
• /
• 2002

As pact of a long-ranged project that aims at establishing database-theoretic semantics as a model of computational semantics, this presentation focuses on the development of a syntactic component for processing strings of words or sentences to construct semantic data structures. For design arid modeling purposes, the present treatment will be restricted to the analysis of some problematic constructions of Korean involving semi-free word order, conjunction arid temporal anchoring, and adnominal modification and antecedent binding. The present work heavily relies on Hausser's (1999, 2000) SLIM theory for language that is based on surface compositionality, time-linearity arid two other conditions on natural language processing. Time-linear syntax for natural language has been shown to be conceptually simple and computationally efficient. The associated semantics is complex, however, because it must deal with situated language involving interactive multi-agents. Nevertheless, by processing input word strings in a time-linear mode, the syntax cart incrementally construct the necessary semantic structures for relevant queries and valid inferences. The fragment of Korean syntax will be implemented in Malaga, a C-type implementation language that was enriched for both programming and debugging purposes arid that was particluarly made suitable for implementing in Left-Associative Grammar. This presentation will show how the system of syntactic rules with constraining subrules processes Korean sentences in a step-by-step time-linear manner to incrementally construct semantic data structures that mainly specify relations with their argument, temporal, and binding structures.

• 인문언어
• /
• 제2권1호
• /
• pp.75-92
• /
• 2002

The historical facts usually remain in the linguistic records. The name of a place has been considered most useful among the records. The name of a place contains lots of information which help us analyzing and explaining the historical problems. The main purpose of this thesis is to account for the relation between language and history based on the data of the name of a place with the property just mentioned above. Firstly I will estimate the territory of the former period of Paek-Che (18B.C.~475A.D.) on the basis of the distribution of the old name of a place and show that the presumed shape of the territory could prove the fact that the unification of Shilla is 'the unification of two nations' but not 'the unification of three nations' Secondly the distribution of the old name of a place can bring light on the interrelation between Paek-Che language and Kara language and help us understand the relation of neighboring countries between two nations. Thirdly we can discuss the relation between the language of the former period of Paek-Che and of the old period of Japan: that is, how the language of Paek-Che came in the Japanese language. Also, the history of cultural domination between Paek-Che and Japan could be clarified if we can prove the linguistic similarity of two nations either to be genealogical relation or to be borrowing one.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.605-615
• /
• 2018

사물 인터넷 시장 규모의 급격한 성장에 따라 임베디드 시스템에서 가장 많이 쓰이는 언어인 C/C++ 언어의 사용도 증가하고 있다. C/C++ 언어의 코드 품질을 향상시키고 개발 비용을 절감시키기 위해 소프트웨어 개발 전반부에서 수행 가능한 소프트웨어 검증기법인 정적 분석을 사용하는 것이 좋다. 많은 프로그램들이 정적 분석을 사용하여 소프트웨어의 안전성을 검증하고 있으며 많은 정적 분석 도구들이 사용 및 연구되고 있다. 본 논문에서는 Clang 정적 분석도구를 사용하여 검증된 시험 코드에 대한 보안 약점 검출 성능을 확인한다. 또한 소스 코드 난독화 기법인 구획 난독화, 데이터 난독화, 제어 흐름 난독화 기법이 각각 적용된 시험 코드에 대한 정적 분석 결과와 원본 시험 코드에 대한 정적 분석 결과를 비교하여 소스 코드 난독화 기법에 따른 Clang 정적 분석 도구의 성능 영향을 분석한다.