• Journal of KIISE:Software and Applications
• /
• v.37 no.8
• /
• pp.647-652
• /
• 2010

Esterel is an imperative synchronous language well-adapted to control-intensive systems. When an Esterel program is translated to a circuit, the synchronizer of a parallel statement may be executed more than once in a clock; the synchronizer is called schizophrenic. Existing compilers cure the problems of schizophrenic parallel synchronizers using logic duplications. This paper proposes the conditions under which a synchronizer causes no problem in circuits when it is executed more than once in a clock. In addition we design a detection algorithm based on those conditions. Our algorithm detects schizophrenic parallel synchronizers that have to be duplicated in Esterel source codes so that compilers can save the size of synthesized circuits

• Korean Journal of Cognitive Science
• /
• v.2 no.2
• /
• pp.309-339
• /
• 1990

The most common way that people communicate is by speaking or writing natural languages.But if people use computers in the modern technology,they should learn artificial programming languages.If computers could understand what people mean when people speak or type natural languages,people would use the computers more easily and naturally.but there is a problem.The language which people use has vagueness.For example,the convential computer system cant's handle the subjective feeling like 'tall' or 'young'.So peole must specify the exact threshold like 'more'than 25 ages'.We have developed the knowledge-based natural language question answering system which can handle sentences having fuzzy concepts by using blackboard model.Our goal of this research is to develop a portable question answering system as interface for database systems or understanding systems.

• The KIPS Transactions:PartD
• /
• v.9D no.6
• /
• pp.991-998
• /
• 2002

With the advent of XML and database languages armed with the object-oriented concept and deductive logic, the problem of efficient query processing for them has become a major issue. We describe a way of processing semi-structured XML data through an implementation of a Deductive and Object-oriented Database (DOODB) language with the explanation of query processing. We have shown how to convert an XML data model to a DOODB data model. We have then presented an efficient query processing method based on Connection Graph Resolution. We also present a knowledge-based query processing method that uses the homomorphism of objects in the database and the associative rule of substitutions.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.4
• /
• pp.127-137
• /
• 1989

This paper describes hardware flow-chart and SDL-II, which are register-transfer level, to automate logic design. Hardware flow-chart specifies behavioral and structural charaterstics of generalized FSMs (Finite State Machine) usin the modified ASM (Algorithmic State Machnine) design techniques. SDL-II describes the hardware flow-chat which specifies the control and the data path of ASIC(Application Specific IC). Also many examples are enumerated to illustrate the features of hardware flow-chart and SDL-II.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.5
• /
• pp.661-666
• /
• 2002

We need the flexible method for communication network configuration and fault management business procedure. Therefore development of systematic integrating fault management system is essential to meet on these requests. We must design the integrating fault management system so that can run the repair processing for both data communication network management and new next generation data communication network of various type. In general it is effective that the system is consisted of decentralized module to be accessibele for business logic and datum to remote area. To Solve these problem, a method is to use object-oriented design technique. That is, it is to abstract reusability objects and make component module using the abstracted objects. In this paper, we propose a fault management system of communication network service using object-oriented design techniques which are UML(Unified Modeling Language) and EJB(Enterprise Java Bean).

• Journal of Korean language education
• /
• v.29 no.3
• /
• pp.293-324
• /
• 2018

The purpose of this study was to identify differences in the report assessment patterns of international undergraduate students and instructors. Based on two sample reports, the following differences were confirmed between international students and instructors' assessments of reports. First, instructors and students showed no differences in their assessments of the well-formatted report. However, the two groups exhibited differences in their assessments of the report that was not well formatted in that students evaluated the report more highly than instructors did. Second, instructors and students exhibited notable differences in their assessments of items such as citation, logic, and expression. This may have been because students lacked knowledge on citation methods and the use of grounds for arguments based on citation methods and topics. Third, students and instructors showed differences in their areas of focus when evaluating reports. Instructors mostly focused on the main topics of each report, whereas students focused on supporting details for the main topics. Based on these findings, instructors need to emphasize the following areas in educating international undergraduate students on report writing. First, they should stress proper source citation. They should provide frequent guidance on how to accurately cite sources. Second, they should help students to first think about the overall form and content of their reports. Instructors should emphasize that having a logical overall report structure and content that is relevant to the subject is more important in general than grammar or accuracy of vocabulary.

• Cross-Cultural Studies
• /
• v.22
• /
• pp.329-354
• /
• 2011

This paper aims to probe into the meaning of Ranhou in Mandarin Chinese and to account for discourse functions of it in radio call-in programme. For this purpose, the present study investigates the meaning of Ran and Hou repectively at first and explains the change of meaning of Ranhou, because we assume that Ranhou is compounded by Ran and Hou, and the core meaning is derived from its compounded meaning. Then we examine which time category Ranhou belongs to more based on the concept of time(reference, event, discourse) in Schiffrin(1987), and examine also where it is located within turn. Following this examination, we analysis and explain discourse functions what it is situated. Therethrough, we understand that 1) Ran has 'agreement or confirmation of preceded utterance' therefore has anaphoric meaning, and Hou has 'after' in the meaning cline: back of body-back part-behind-after-retarded(proposed by Heine et al. 1991), so that Ranhou has 'after agreement or confirmation of preceded utterance of mine' and extends to 'on premise preceded utterance or event' furthermore, and therefore can have possibility having various functions; 2) Ranhou has various functions in natural language in spite of the institutional setting. It can indicate (1) temporal relation of events, (2) logic relation of two(or more) events, e.g. causality, elaboration, concession, list, (3) turn maintence, acquisition, management, (4) verbal filler.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.41-48
• /
• 2018

This paper describes the systems engineering development process for the Departure from Nucleate Boiling Ratio (DNBR) algorithm using FPGA. Current Core Protection Calculator System (CPCS) requirement and DNBR logic are analyzed in the reverse engineering phase and the new FPGA based DNBR algorithm is designed in the re-engineering phase. FPGA based DNBR algorithm is developed by VHSIC Hardware Description Language (VHDL) in the implementation phase and VHDL DNBR software is verified in the software Verification & Validation phase. Test cases are developed to perform the software module test for VHDL software modules. The APR 1400 simulator is used to collect the inputs data in 100%, 75%, and 50% reactor power condition. Test input signals are injected to the software modules following test case tables and output signals are compared with the expected test value. Minimum DNBR value from developed DNBR algorithm is validated by KEPCO E&C CPCS development facility. This paper summarizes the process to develop the FPGA-based DNBR calculation algorithm using systems engineering approach.

• Journal of English Language & Literature
• /
• v.64 no.4
• /
• pp.651-672
• /
• 2018

Death of a Salesman is centered on Willy Loman trying to achieve the American dream and taking his family along for the ride. This paper explores the meaning of his suicide in the work through the Adorno's theory on the individual's reification and commodity by an exchange value in the capitalism and argues that Bourdieu's capital classification shows the cause of his tragic decision. Reification refers to "the structural process whereby the commodity form permeates life in capitalist society." and Adorno called the reification of consciousness an epiphenomenon. The social-psychological level in Adorno's diagnosis serves to demonstrate the effectiveness and pervasiveness of late capitalist exploitation. According to Bourdieu, cultural capital can exist three forms: in the embodied state, in the objectifed state and in the instituionalized state. He states embodied capital is argued to be the most significant influence; however unlike other forms of capital (social, economic, etc.) obtaining embodied capital is largely out of the individuals' control as it is developed from birth. In conclusion, I suggest Death of a Salesman can be interpreted as a text criticizing the internalization of the subject, which is the result of the self-destructive mechanism of the subject in the logic of modern subject formation.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.8
• /
• pp.2178-2198
• /
• 2024

Graph-based document models have good capabilities to reveal inter-dependencies among unstructured text data. Natural language processing (NLP) systems that use such models as an intermediate representation have shown good performance. This paper proposes a novel fuzzy graph-based document model and to demonstrate its effectiveness by applying fuzzy logic tools for text summarization. The proposed system accepts a text document as input and identifies some of its sentence level features, namely sentence position, sentence length, numerical data, thematic word, proper noun, title feature, upper case feature, and sentence similarity. The fuzzy membership value of each feature is computed from the sentences. We also propose a novel algorithm to construct the fuzzy graph as an intermediate representation of the input document. The Recall-Oriented Understudy for Gisting Evaluation (ROUGE) metric is used to evaluate the model. The evaluation based on different quality metrics was also performed to verify the effectiveness of the model. The ANOVA test confirms the hypothesis that the proposed model improves the summarizer performance by 10% when compared with the state-of-the-art summarizers employing alternate intermediate representations for the input text.