• Korean Institute of Interior Design Journal
• /
• v.18 no.5
• /
• pp.71-79
• /
• 2009

This research understands semantics-system in contemporary space design as a poetic form. It provides that the possibility of various interpretation of space and makes to escape from insipid formal logic of compulsion uniform meaning. In order to unfold this argument, poetic semantics system has to be revealed using conversion of articulation factors in text of space(semantics and syntax). First of all, after setting up the articulation system of space language, we have to understand the conversion of articulation factors that generate a new grammar breaking up the rule of old syntax. And the various expression of form in Contemporary Space design focuses on a poetic expression, that is, the abstraction system fused by space factors(conversion of articulation system). In this method of research to recognize the subject of space in architecture, the importance of interpretation has to be highlighted, as the importance of language is emphasized that intermediates between object and interpretation. The reason to recognize Contemporary space design as a text is that it is a gathering of symbol as a object of interpretation and a mediator. The important issue of this study is to research how and what to transmit by poetic semantics system in contemporary space design. It brings about a poetic problem what it intends to becomes(the problem of meaning operation) in a narrow sense and a interpretational problem what it intends to do(the problem of communication). When we define interpretation the technique of defining a text, it involves the premise of inevitableness of multiple understanding, or the possibility to Interpret variously. In the end the ambiguity of poetic language and the infinity of moaning process as the moaning expansion system in contemporary space design is the flexible measure to solve the self-criticism.

• Proceedings of the KIEE Conference
• /
• 2002.11d
• /
• pp.197-199
• /
• 2002

The invention of VHDL(Very High Speed Integrated Circuit Hardware Description Language), Technical language of Hardware, is a kind of turning point in digital circuit designing, which is being more and more complicated and integrated. Because of its excellency in expression ability of hardware, VHDL is not only used in designing Hardware but also in simulation for verification, and in exchange and conservation, composition of the data of designs, and in many other ways. Especially, It is very important that VHDL is a Technical language of Hardware standardized by IEEE, intenational body with an authority. The biggest problem in modern circuit designing can be pointed out in two way. One is a problem how to process the rapidly being complicated circuit complexity. The other is minimizing the period of designing and manufacturing to survive in a cutthroat competition. To promote the use of VHDL, more than a simple use of simulation by VHDL, it is requested to use VHDL in composing logical circuit with chip manufacturing. And, by developing the quality of designing technique, it can contribute for development in domestic industry related to ASIC designing. In this paper in designing SMPS(Switching mode power supply), programming PWM by VHDL, it can print static voltage by the variable load, connect computer to chip with byteblaster, and download in Max(EPM7064SLCS4 - 5)chip of ALTER. To achieve this, it is supposed to use VHDL in modeling, simulating, compositing logic and product of the FPGA chip. Despite its limit in size and operating speed caused by the specific property of FPGA chip, it can be said that this method should be introduced more aggressively because of its prompt realization after designing.

• Journal of English Language & Literature
• /
• v.55 no.6
• /
• pp.1013-1034
• /
• 2009

The space of the Other assumes the space of Barthes's multiplicity and Foucault's transdiscursive position, and, therefore, aims at becoming the locus in which the speaking subject and the hearing subjects are supposed to communicate and constitute as if they were situated in the pscychoanalytic session. However, the wall of untranslatibility across language and cultures still exist there in the space of the Other in the form of trauma and aggressivity, as Lacan demonstrate perceptively through the reading of Kant avec Sade. In short, Lacan regards the moral commandment (to love one's neighbor as oneself) as the obstacle in the Freud's myth of transgression, and interprets this in terms of the emergence of the Other. Freud understands that the aggressivity in the subject's own heart was inherent in all humans, and that one's neighbor would be evil. Lacan goes beyond Freud and articulates that the aggressivity in the imaginary relation with the Other in the mirror stage insures that an evil inheres in the very being of humanity. A global phenomenon of the diasporic identities and hybridity, the phenomenon which has been represented by the complicated intermixture of terms which span from diaspora, postcolonialism, postnationalism. and transnationalism can be clarified, if they are put in the context of the ethics of Othering or becoming the Other. The ethics of Othering presupposes the situation in which the diasporic subjects encounter the lack of the cross-cultural negotiation and communication. The purpose of this paper is to demonstrate how the poetics of Other and the logic of the ethics of Othering can explain the postmodern or transmodern world which has become deterritorialized, diasporic, and transnational as well as how one can encounter the results of diasporic and postcolonial double consciousness, a consciousness which is a discursive category for multicultural or cross-cultural, focusing on the concept of liminality/interstitiality

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• Proceedings of the IEEK Conference
• /
• 2002.07a
• /
• pp.250-253
• /
• 2002

We have implemented an interactive multimedia education system for C programming. The system consists of two pars. One is multimedia contents to help students better understand C language syntax, programming style, and program logic and the other is a web-based compilation support system that compiles C programs at the server side which are submitted trough Web by students and returns their execution results to the students' PC. Although there are currently some restrictions that students should replace the inputs functions such as scanf(), getc() and getch() with assignment statements or fscanf(fp, , ), since the system has been implemented using general web technologies and shareware C compiler, the education system could be one solution that education institutions seek to reduce annual immense expenditure of money on C complier.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.4
• /
• pp.293-298
• /
• 2016

Document summarization is an important task in various areas where the goal is to select a few the most descriptive sentences from a given document as a succinct summary. Even without training data of human labeled summaries, there has been several interesting existing work in the literature that yields reasonable performance. In this paper, within the same unsupervised learning setup, we propose a more principled learning framework for the document summarization task. Specifically we formulate an optimization problem that expresses the requirements of both faithful preservation of the document contents and the summary length constraint. We circumvent the difficult integer programming originating from binary sentence selection via continuous relaxation and the low entropy penalization. We also suggest an efficient convex-concave optimization solver algorithm that guarantees to improve the original objective at every iteration. For several document datasets, we demonstrate that the proposed learning algorithm significantly outperforms the existing approaches.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.6 no.4
• /
• pp.341-345
• /
• 1982

The interpolator is usually built in hardware (logic circuitry), and the interpolator fabricated in a single LSI chip is recently made use of in most NC controllers, making the system more compact. However, the LSI interpolator not only has the technical difficulties but also requires high cost, in its fabrication. To solve these problems, we tried to find the method of interpolation by software, and succeeded in developing a program which, executed by INTEL's 8085 microprocessor, can distribute the input pulses of up to 4.0 [Kpps] for the linear interpolation and 3.0 [Kpps] for the circular interpolation. This paper presents the algorithm used to reduce the execution time and the flow chart of the interpolation program, and also shows the possibility of software interpolation. The interpolation program designed in assembly language is presented in the appendix.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.11a
• /
• pp.448-451
• /
• 2000

Fuzzy control has been researched for application of industrial processes which have no accurate mathematical model and could not controlled by conventional methods because of a lack of quantitative input-output data. Intelligent control approach based on fuzzy logic could directly reflex human thinking and natural language to controller comparing with conventional methods. In this paper, the tested system is constructed for sending a ball to the goal position using wind from two DC motors in the path. This system contains non-linearity and uncertainty because of the characteristic of aerodynamics inside the path. The system used in this experiment could be hardly modeled by mathematic methods and could not be easily controlled by linear control manners. The controller, in this paper could control the system containing non-linearity and uncertainty because it is designed based on the input-output data and experimental knowledge obtained by trials.

• The Mathematical Education
• /
• v.41 no.3
• /
• pp.329-339
• /
• 2002

This study analyzes the epistemological meaning of‘social construction’in mathematical instruction. The perspective that consider the cognition of mathematical concept as a social construction is explained by a cyclic scheme of an academic context and a school context. Both of the contexts require a public procedure, social conversation. However, there is a considerable difference that in the academic context it is Lakatos' ‘logic of mathematical discovery’In the school context, it is Vygotsky's‘instructional and learning interaction’. In the situation of mathematics education, the‘society’which has an influence on learner's cognition does not only mean‘collective members’, but‘form of life’which is constituted by the activity with purposes, language, discourse, etc. Teachers have to play a central role that guide and coordinate the educational process involving interactions with learners in this context. We can get useful suggestions to mathematics education through this consideration of the social contexts and levels to form didactical situations of mathematics.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.10a
• /
• pp.655-662
• /
• 1998

This paper is on the anlaysis for real-time software requirement . This method can be used for TNPIN(Timed Numerical Petri Net) as a easy communication means with a real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness fo the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL , and analyzed through the reachability graph. Thus , the requirement of between user and system is satisfied. By the example of shared track, the validity of the property of real-time (safetiness, responsiveness, liveness, priority) is verified. Also, this framework is give to connection with a object natually.