• The Journal of the Korea Contents Association
• /
• v.15 no.8
• /
• pp.1-8
• /
• 2015

Arduino is an open-source prototyping platform. It has been used in diverse areas including media-art, simulation and interaction devices. The Arduino application does not provide an effective form of software design specification, since it is basically developed in C Programming language. In this paper, we propose a design method for the Arduino applications using the extension mechanism of the UML(Unified Modeling Language). The proposed method is enable to specify the main function of Arduino applications like digital I/O and analog I/O in UML notations.

• Korean Journal of Cognitive Science
• /
• v.6 no.2
• /
• pp.81-95
• /
• 1995

Intelligent courseware predicts the status of student diagnosing student diagnosing student's response and performs an adaptive tutoring based on the student model.This paper designs an authoring tool that supports dyanmic sequence control of tutoring.And also it defines a lesson description language for the dynamic control sequence.Using this language we can represent a control sequence of courseware statically and dynamically.We apply the proposed tool for controlling sequence of C language courseware and show the usability of the proposed system.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• 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.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.5
• /
• pp.99-107
• /
• 1989

This paper describes the KUI-LED (Kyungpook national University Intelligent CAD-Layout EDitor) which is a 2-dimensional graphics editor for IC mask layout. This system runs of IBM PC/AT with the ${\Omega}$/PC graphics board. It offers a sufficient set of facilities to do most kinds of layout. KUIC-LED is written in 'C' and 'Assembly' language.

• Language and Information
• /
• v.10 no.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.

• The Journal of Korean Association of Computer Education
• /
• v.13 no.2
• /
• pp.45-57
• /
• 2010

In this paper, we propose a C_PBS(C Program Bank System) which can support effective learning of C language. C_PBS allows a variety of problem uses and provides 3 types of search method for user convenience. It also shows many useful facilities: a variety of answers to a problem, display of problems according to reference frequency, interesting problem list, and problem carts. Especially, with the addition of comments and reference to the problems and answers, it implements collective intelligence via mutual collaborative learning by supporting the philosophy of web 2.0: participation, sharing, and open.

• 한국HCI학회:학술대회논문집
• /
• 2008.02a
• /
• pp.27-32
• /
• 2008

Sign languages, commonly used in aurally challenged communities, are a kind of visual language expressing sign words with motion. Spatiality and motility of a sign language are conveyed mainly via sign words as predicates. A predicate is modified by an adverbial phrase with an accompanying change in its semantics so that the adverbial phrase can also affect the overall spatiality and motility of expressions of a sign language. In this paper, we analyze the semantic features of adverbial phrases which may affect the motion-related semantics of a predicate in converting expressions in Korean into those in a sign language and propose a system that generates corresponding animation by utilizing these features.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• 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.

• Lingua Humanitatis
• /
• v.2 no.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.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.