• The Journal of Korea Robotics Society
• /
• v.14 no.4
• /
• pp.340-347
• /
• 2019

Due to advances in machine intelligence and increased demands for autonomous machines, the complexity of the underlying software platform is increasing at a rapid pace, overwhelming the developers with implementation details. We attempt to ease the burden that falls onto the developers by creating a graphical programming framework we named Splash. Splash is designed to provide an effective programming abstraction for autonomous machines that require stream processing. It also enables programmers to specify genuine, end-to-end timing constraints, which the Splash framework automatically monitors for violation. By utilizing the timing constraints, Splash provides three key language semantics: timing semantics, in-order delivery semantics, and rate-controlled data-driven stream processing semantics. These three semantics together collectively serve as a conceptual tool that can hide low-level details from programmers, allowing developers to focus on the main logic of their applications. In this paper, we introduce the three-language semantics in detail and explain their function in association with Splash's language constructs. Furthermore, we present the internal workings of the Splash programming framework and validate its effectiveness via a lane keeping assist system.

• Journal of English Language & Literature
• /
• v.56 no.6
• /
• pp.1119-1133
• /
• 2010

This paper explores Myung Mi Kim's poetics of the archive in Commons. Commons begins with a gesture that critiques a prior act of archivization: "Here, this speck and this speck that you missed." As the poems accrue in the book, Commons demonstrates the desire to record those experiences that have been neglected by the architects of traditional archives while at the same time interrogating the very logic of the archive. Crucial to that interrogation is the poetic form. Kim's attempt to archive silences and gaps leads to a radical experiment with form and language. It reformulates the archive as an open system amenable to interruption, extension, and revision. I examine in detail the techniques that contribute to her poetics of the archive, a poetics that draws the readers out of the narrow confines of their personal experiences and their political identities. By juxtaposing Kim's poems with her statements of poetics given as interviews, this paper connects the project of Commons to Kim's larger concern with open form and experimental writing. I argue that the "difficulty" of her poetry should be reinterpreted as a demand that her text makes on the readers to broaden their terms of engagement. The linguistic experiment of Commons provides an occasion to rethink the habitual ways in which time is experienced, national histories are written, and literary works are consumed.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.4
• /
• pp.603-610
• /
• 1995

In this paper, we present a highly efficient simulation package which supports simulation from functional level to gate level. The package consists of a set of front-end tools, a logic simulator, named HSIM(Highly efficient logic SIMulator), and an waveform analyzer. The front-end tools include a netlist compiler, functional primitive compiler and behavioral compiler. Key feature of developed simulator is that the compiled behavioral models written in C language are directly executed in the simulation engine using incremental loader. By doing so, we achieved significant speed up as compared with the interpretive functional simulator. Experimental results show that HSIM runs about 55% faster than traditional unit-delay event-driven interpretive simulator.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.3
• /
• pp.425-438
• /
• 1993

Due to the producer-consumer dependency of shared variables, the potential parallelism embeded in the logic programming language has not been fully examined. The method proposed in this paper eliminates the dependency of shared variables by introducing number-sequenced variables in expanding an AND-OR proof tree. Basically, the execution of a logic program can be divided into two phases : expanding an AND-OR tree and proving the tree by matching facts with leaf nodes. In the course of the first phase, a set of number-sequenced variables are produced by expanding an AND-OR tree in the breadth-first searching. Based on the information of number-sequence, each of them is verified in the second phase in order to prove the tree. Consequently, the proposed algorithm can explore more parallelism without the dependency of shared variables.

• (The)Study of the Eastern Classic
• /
• no.36
• /
• pp.85-104
• /
• 2009

This study examines a study of communication factor in Lunyu, as a communication text, in terms of communicator, audience, message, communication factor, communication text, interdisciplinary research. In many respects, it is generally accepted that Lunyu have been the generic references of the Oriental culture. Lunyu consider ethics, logic, and practicability as the qualifying requirement of communicator, asserting that communicator should speak true language, like a "chuntzu"(君子) does, and should also put their language into practice. The audience's attitude and method as contained in Lunyu are that hearers should have sharp ears for language, hear selectively the right language, and use the language suitable to the situation. It is also emphasized that the Hearer should actively lead in the situation of transactional communications. In Lunyu, one property of message is that language, which determines the rise and fall of a nation and is also the basis of judgement for other people, should comply with ethics and reasons and sould also be put into practice. In other words, credible message, as the practice of language, is the practical requirement of ethics and the qualification of a "chuntzu"(君子, superior man) in ruling the nation or conducting one's life.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.995-1004
• /
• 1998

This paper presents an implementation of model checking tool for LTS process specification, which checks deadlock, livelock and reachability for the state and action. The implemented formal checker using modal mu-calculus is able to verify whether properties expressed in modal logic are true on specifications. We prove experimentally that it is powerful to check, safety and liveness for the state and action on LTS. The tool is implemented by $C^{++}$ language and runs on IBM PC under Windows NT.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.557-560
• /
• 2003

In this paper, we developed an editor and running engine for the SoftPLC. LD is the most popular standard IEC 1131-3 PLC language in Korea and used over 90% among the 5 PLC languages. In this paper, we have developed the ISPLC(Intelligent Agent System based Software Programmable Logic Controller). In ISPLC system, LD programmed by a user is converted to IL, which is one of intermediate codes, and IL is converted to the standard C code which can be used in a commercial editor such as visual C++. In ISPLC, the detection of logical error in high level programming(C) is more efficient than PLC programming itself. ISPLC provide easy programming platform to such beginner as well as professionals. The study of code conversion of LD-> U->C is firstly tried in the world as well as KOREA.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.7
• /
• pp.734-745
• /
• 1988

In this paper, it is tried to improve efficiency of the D-algorithm by assigning the logic values effectively on the nodes related to the critical path for back tracing to reduce the number of search nodes when acyclic combinational logic circuits are composed of NAND gates only. For that purpose, LASAR algorithm which is suitable for determining a critical path for back tracing is applied to the D-algorithm and it is implemented by IBM-PC with APL language. The test results on a number of NAND circuits which have multi-fanout, reconvergent and symetric characteristics show that the modified D-algorihtm reduces the number of search nodes in forward and backward tracing and decreases the run time of CPU about 10 percents.

• Journal of Engineering Education Research
• /
• v.18 no.6
• /
• pp.46-51
• /
• 2015

Recently, Information Communication Technology(ICT) is one of the most important technology that supports the modern society. As the ICT rises, the needs of the nurturing talents, who can develop a service or hardware on the basis of the humanities increases. As a result, teaching programming skills to students studying humanities and social science are essential. Also, it is important to train students studying science and engineering to write their thoughts logically. In order to serve these students, we introduce a pedagogy for computer programming using programming essay. Since a program is a sequence of the operations based on the programmer's logical thinking, programming can be considered as describing programmer's logic in the proper order using programming syntax. In this research, we train students to describe their logic using natural language. Students write down their essays for a given programming problems. Also, we introduce a pedagogy guideline using programming essay.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.