• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.4 no.3
• /
• pp.301-306
• /
• 2003

We have designed embedded web server system and ported Linux operating system version 2.4.1 at our system. And then We implemented to control and monitor widely separated hardware. Web server is the Boa web server with General Public License. We designed for this system using of Cirrus logic's EP7312 ARM core base processor and connecting input and output device at GPIO port of EP7312. Device driver of General purpose I/O for Linux OS is designed. And then the application program controlling driver is implemented to use of common gate interface C language. User is available to control and monitor at client PC. This method have benefit to reduce the Expenditure of hardware design and development time against PC base system and have various and capacious application against firmware base system.

• Archives of design research
• /
• v.18 no.2 s.60
• /
• pp.265-272
• /
• 2005

In Korean language, 'changeu'(originality) and 'changjo'(creativity) has been used as almost same meaning, because these have similar pronunciation. However, originality means idea and creativity means process. The former is based on intuition, and the latter is on both of logic and intuition. Intuition process is not perceived very well, but logic has very clear one. We can find the due for that creating something is not difficult too much anymore, because the process is identified. The creation process is a problem solving process and it has the design on its center. Designer study the problem solving process and learn how to solve the problem with many cases on its studio class. Then we can call them as a creator. The meaning of design that it is a styling is very usual in Korean public and even designers. However, it will be not valid anymore in the upcoming digital age, which reproduction is possible with a little restriction. Design should be back as an original methodology for creation with the designer's own capability such as conception, intermediation, and visualization.

• Journal of the Korean Society for information Management
• /
• v.24 no.3
• /
• pp.119-147
• /
• 2007

Actually a diffusion of a semantic web application and utilization are situations insufficient extremely. Technology most important in semantic web application is construction of the ontology which contents itself with characteristics of semantic web. Proposed a suitable a method of building web ontology for characteristics or semantic web and web ontology as we compared the existing ontology construction ana ontology construction techniques proposed for web ontology construction, and we analyzed. And modeling old ontology to bases to description logic and the any axiom rule that used an expression way of SWRL, and established inference-based web ontology according to proposed ways. Verified performance of ontology established through ontology inference experiment. Also established an web ontology-based intelligence image retrieval system, to experiment systems for performance evaluation of established web ontology, and present an example of implementation of a semantic web application and utilization. Demonstrated excellence of a semantic web application to be based on ontology through inference experiment of an experiment system.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.3
• /
• pp.1-17
• /
• 2002

In this paper, we present our experiences in using symbolic model checker(SMV) to analyze a number of properties of RACE cache coherence protocol designed by ETRI(Electronics and Communications Research Institute) and to verify that RACE protocol satisfies important requirements. To investigate this, we specified the model of the RACE protocol as the input language of SMV and specified properties as a formula in temporal logic CTL. We successfully used the symbolic model checker to analyze a number of properties of RACE protocol. We verified that abnormal state/input combinations was not occurred and every possible request of processors was executed correctly We verified that RACE protocol satisfies liveness, safety and the property that any abnormal state/input combination was never occurred. Besides, We found some ambiguities of the specification and a case of starvation that the protocol designers could not expect before. By this verification experience, we show advantages of model checking method. And, we propose a new method to generate automatically test cases which are used in simulation and testing.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.3
• /
• pp.41-50
• /
• 2010

In this paper, an area-efficient symbol detector is proposed for MIMO communication systems with two transmit and two receive antennas. The proposed symbol detector can support both the spatial multiplexing mode and spatial diversity mode for MIMO transmission technique, and shows the optimal maximum likelihood (ML) performance. Also, by sharing the hardware block with multi-stage pipeline structure and using the complex multiplier based on polar-coordinate，the complexity of the proposed architecture is dramatically decreased. The proposed symbol detector was designed in hardware description language (HDL) and implemented with Xilinx Virtex-5 FPGA. With the proposed architecture, the number of logic slices for the proposed symbol detection is 52490 and the number of DSP48s (dedicated multiplier) is 52, which are reduced by 35.3% and 85.3%, respectively, compared with the conventional architecture.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.61-85
• /
• 2013

The author, after introducing the concept of de re belief and discussing de re/de dicto ambiguity in belief context and modal context, concludes that modal sentences of Korean language does not show any distinctive traits against English. He, after discussing this ambiguity in negative sentence a la Russell, tries to show that Korean provides two way of negation construction, one of which corresponds to de re negation (primary occurrence in Russell's terms). De re reading makes referentially transparent context, thus permits substitutions of identicals salva veritate; De dicto reading does not. Korean ending 'rago', used with quotation verbs, speech act verbs and cognitive attitude verbs, deserves some attention in that it permits de re sentences in addition to de re/de dicto ambiguous sentences. 'Rago' also makes speaker's commitment to the content of the intensionally contained clause 'neutral', in contrast with other Korean endings such as 'um/im' and 'raneun gut' which make speaker's positive commitment. This explains why the maxim of western epistemology that knowledge presupposes truth does not hold in Korean 'rago' sentences.

• Journal of the Semiconductor & Display Technology
• /
• v.10 no.4
• /
• pp.7-13
• /
• 2011

In this paper, the IC(Integrated Circuit) for multi-channel synchronous communication was designed by using FPGA and VHDL language. The existing chips for synchronous communication that has been used commercially are composed for one to two channels. Therefore, when communication system with three channels or more is made, the cost becomes high and it becomes complicated for communication system to be realized and also has very little buffer, load that is placed into Microprocessor increases heavily in case of high speed communication or transmission of high-capacity data. The designed IC was improved the function and performance of communication system and reduced costs by designing 8 synchronous communication channels with only one IC, and it has the size of transmitter/receiver buffer with 1024 bytes respectively and consequently high speed communication became possible. It was designed with a communication signal of a form various encoding. To detect errors of communications, the CRC-ITU-T logic and channel MUX logic was designed with hardware logics so that the malfunction can be prevented and errors can be detected more easily and input/output port regarding each communication channel can be used flexibly and consequently the reliability of system was improved. In order to show the performance of designed IC, the test was conducted successfully in Quartus simulation and experiment and the excellence was compared with the 85C3016VSC of ZILOG company that are used widely as chips for synchronous communication.

• Trans-
• /
• v.3
• /
• pp.87-107
• /
• 2017

In this paper, we tried to find out what is the cinematographic reality conceived by André Bazin. To this end, we examined the process of his long exploration of realism, focusing on his film criticism. Through this, we read his deep concern that the film medium, which is more imitative than any other medium, would not become artistic but rather stimulating mimicry. When photographs or movies first appear, people have been interested in saving money by simply storing scenes in front of them or imitating stimulating scenes before realizing their artistic value. In this way, Bazin warned us that when the cheap pleasure derived from the simple imitation of fact is concatenated with the logic of capitalism, the film falls into a subordinate medium and drops the value of human beings indescribably. He therefore argues that cinema must transcend simple imitative dimensions by exploiting various abstract expressions in its own language. His works about the realism in cinema is meaningful in that the value of true realism of the movie is important to build up humanism today in respect that the movie raises extensively the logic of capitalism through visual pleasure.

• Geomechanics and Engineering
• /
• v.24 no.5
• /
• pp.407-418
• /
• 2021

Due to the complexity of the causes of the sliding mass instabilities, landslide susceptibility and hazard evaluation are difficult, but they can be more carefully considered and regionally evaluated by using new programming technologies to minimize the hazard. This study aims to evaluate the landslide hazard zonation in the Tabriz region, Iran. A fuzzy logic-based multi-criteria decision-making method was proposed for susceptibility analysis and preparing the hazard zonation maps implemented in MATLAB programming language and Geographic Information System (GIS) environment. In this study, five main factors have been identified as triggering including climate (i.e., precipitation, temperature), geomorphology (i.e., slope gradient, slope aspect, land cover), tectonic and seismic parameters (i.e., tectonic lineament congestion, distribution of earthquakes, the unsafe radius of main faults, seismicity), geological and hydrological conditions (i.e., drainage patterns, hydraulic gradient, groundwater table depth, weathered geo-materials), and human activities (i.e., distance to roads, distance to the municipal areas) in the study area. The results of analyses are presented as a landslide hazard map which is classified into 5 different sensitive categories (i.e., insignificant to very high potential). Then, landslide susceptibility maps were prepared for the Tabriz region, which is categorized in a high-sensitive area located in the northern parts of the area. Based on these maps, the Bozgoosh-Sahand mountainous belt, Misho-Miro Mountains and western highlands of Jolfa have been delineated as risk-able zones.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.9
• /
• pp.73-84
• /
• 2004

This paper suggests a new scalar multiplication algerian to resist SPA which threatens the security of cryptographic primitive on the hardware recently, and discusses how to apply this algerian Our algorithm is better than other SPA countermeasure algorithms aspect to computational efficiency. Since known SPA countermeasure algorithms have dependency of computation. these are difficult to construct parallel architecture efficiently. To solve this problem our algorithm removes dependency and computes a multiplication and a squaring during inversion with parallel architecture in order to minimize loss of performance. We implement hardware logic with VHDL(VHSIC Hardware Description Language) to verify performance. Synthesis tool is Synplify Pro 7.0 and target chip is Xillinx VirtexE XCV2000EFGl156. Total equivalent gate is 60,508 and maximum frequency is 30Mhz. Our scalar multiplier can be applied to digital signature, encryption and decryption, key exchange, etc. It is applied to a embedded-micom it protects SPA and provides efficient computation.