• The Journal of Natural Sciences
• /
• v.8 no.2
• /
• pp.199-224
• /
• 1996

The value orientations and life styles which are characterized by the postmodern societies have been expanding in korean society. This paper concerns with the postmodernism for in fashion design : at first the complex relationships between the logic of post-industrial society and the culture dynamics of postmodernism will be explained. Then the characteristics of postmodernism in the comparision with the Bauhaus, also "modernism" in design areas will be critically identified, and significant examples which I select in order to criticize the basic elements or orientations of postmodern design will be analized in details.I will make a new perspective which is beyond Bauhaus and postmodernism ; namly 'open dialogism design.'. But in the boundary of its introduction.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.831-839
• /
• 2009

An interlocking equipment of railway signalling systems is manufactured with electrical devices and electrical interlocking equipment has been substituted for existing interlock equipment(relay sequential logic type). But interlock conditions are still generated from rail diagram and used to make Interlock Table manually. In order to make EIS(Electrical Interlock System) operate, we should write interlock data which is made from interlock table. But, as the station is larger and more complicated, handwork may becomes a very tediou work and makes more mistakes. Therefore the development of CAD system for Interlocking System is very significant, if CAD can reduce the mistakes from handwork and help the configuring the interlocking system. In this paper, we first arrange some rules which can be used to extract route information automatically from rail diagram and interlocking rules. And then we propose "Search-And-Rollback" algorithm to extract route information and individual interlocking rules. The proposed algorithm is implemented and tested through the signal design process of the Hyundai-Steel private railway to carry melted pig iron from the blast furnace to the steel-making workshop. some cases. It shows that CAD for Interlocking system is very helpful in time saving aspect and system reliability.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.46 no.10
• /
• pp.34-42
• /
• 2009

HAO is a ORB engine to support the logic-based CORBA component developments in FPGA. In this papers, in order to give the interoperability between general CORBA and HAO, we propose newly the specialization of GIOP(General Inter-ORB Protocol) from consideration of FPGA. It compose of the two major capability. First, it can abstract the hardware structure from the various system board environments. Secondly, also it is possible to minimize the monopoly occupation for shared resource such as system bus, external memory.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.6 no.1
• /
• pp.27-32
• /
• 2006

Verbal communication is the most commonly used mean of communication. A spoken word carries a lot of informations about speakers and their emotional states. In this paper we designed a model to recognize emotional states in a speech, a first phase of two phases in developing a toy machine that recognizes emotional states in a speech. We conducted an experiment to extract and analyse the emotional state of a speaker in relation with speech. To analyse the signal output we referred to three characteristics of sound as vector inputs and they are the followings: frequency, intensity, and period of tones. Also we made use of eight basic emotional parameters: surprise, anger, sadness, expectancy, acceptance, joy, hate, and fear which were portrayed by five selected students. In order to facilitate the differentiation of each spectrum features, we used the wavelet transform analysis. We applied ANFIS (Adaptive Neuro Fuzzy Inference System) in designing an emotion recognition model from a speech. In our findings, inference error was about 10%. The result of our experiment reveals that about 85% of the model applied is effective and reliable.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2002.05a
• /
• pp.429-434
• /
• 2002

For companies assembling end products from sub assemblies or components, MRP (Material Requirement Planning) logic is frequently used to synchronize and pace the production activities for the required parts. However, in MRP, the planning of operational-level activities is left to short term scheduling. So, we need a good scheduling algorithm to generate feasible schedules taking into account shop floor characteristics and multi-level job structures used in MRP. In this paper, we present a GA (Genetic Algorithm) solution for this complex scheduling problem based on a new gene to reflect the machine assignment, operation sequences and the levels of the operations relative to final operation. The relative operation level is the control parameter that paces the completion timing of the components belonging to the same branch in the multi-level job hierarchy. In order to revise the fixed relative level which solutions are confined to, we apply large step transition in the first step and GA in the second step. We compare the genetic algorithm and 2-phase optimization with several dispatching rules in terms of tardiness for about forty modified standard job-shop problem instances.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.3
• /
• pp.322-326
• /
• 2004

This paper describes a new iris recognition method based on a shift-invariant wavelet sub-images. For the feature representation, we first preprocess an iris image for the compensation of the variation of the iris and for the easy implementation of the wavelet transform. Then, we decompose the preprocessed iris image into multiple subband images using a shift-invariant wavelet transform. For feature representation, we select a set of subband images, which have rich information for the classification of various iris patterns and robust to noises. In order to reduce the size of the feature vector, we quantize. each pixel of subband images using the Lloyd-Max quantization method Each feature element is represented by one of quantization levels, and a set of these feature element is the feature vector. When the quantization is very coarse, the quantized level does not have much information about the image pixel value. Therefore, we define a new similarity measure based on mutual information between two features. With this similarity measure, the size of the feature vector can be reduced without much degradation of performance. Experimentally, we show that the proposed method produced superb performance in iris recognition.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.371-380
• /
• 2009

Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(ATDG). For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• Journal of Information Technology Services
• /
• v.11 no.1
• /
• pp.109-123
• /
• 2012

There are many evaluation models to measure the informatization level of an organization and information system project in the ministry of National Defense of Korea. A information system has to keep up with the environment change as well as the advanced recent information technology (IT). Therefore, the evaluation of an information system project to enhance the performance of the information system should be different from the existing evaluation methods. This study suggests an evaluation case of information system projects to enhance the performance of an information system. In order to achieve the objective of this study, the following steps are taken. First, it reviews the background and the scope of the project to enhance the performance of the Defense Material Information System (DMIS). And it sets up the evaluation logic and develops performance indexes. Then it applies these newly developed performance indexes to the information system project and measures the performance. From this study, we found that both the diffusion and the experience accumulation by its continuous use are significant factors in such evaluations.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2179-2189
• /
• 1998

This paper presents the methodolog~- to improve the computatIon efficiency of the simulation by developing the concept of the dynamic preservatIon and reurilization of the state transitions. The computation COst is emormous for the simulation of hardware described in hardware description languages including VHDL Analyzing the process of simulation precisely, we have found that the number of the pattems for the state transition is limited if the sizes of hardware modules are determined properly. The pattems are preserved dynamically when they appeared first, and are utilized in later simulation in order to reduce the simulation costs. In this study, the efficiency of the present method was verified using case studies for the simulation.