• Journal of the Korean Institute of Intelligent Systems
• /
• v.23 no.4
• /
• pp.304-309
• /
• 2013

This paper proposes a intelligent approach on range decision of figure of merit. Unknown range of the underwater target and the non-fixed signal excess make the uncertainty for the tracking process. Using the input data of signal excess related to the range, we establish the rule of the fuzzy set and the original data acquired by sonar can be transformed to the fuzzified data set. To reduce the error arisen from the unexpected data, we use the new data transformed in fuzzy set. The piecewise relations of the min value, max one, and the mean one are calculated. The three values are used for the expected range of the underwater target. By analysing the fluctuation of the data, we can expect the target's position and the characteristics of the maneuvering. The examples are presented to show the performance and the effectiveness of the proposed method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.10C
• /
• pp.961-967
• /
• 2009

In this paper, the lossless compression method is proposed for an 8-bit bitplane of the input image. The lower bitplanes are not well compressed because of irregularity of pixels. To overcome these drawbacks, this paper propose a mixed coding method that using the block-based lossless compression and the bit-based losselss compression, introducing the H. 264 and the JBIG. First, to take advantage of the characteristics of the bitplanes, 8-bitplane against the top 4 bits and lower 4 bits were separated. Next, the JBIG compression method was used in separated top 4-bitplane because of a lot of correlation between bits. And a separated lower 4-bitplane was applied the improved method that using the H. 264 lossless prediction. A pre-processing method applied to the lower 4-bitplane then irregular distribution of pixel values are converted to regular. Using the proposed method to test for various test images were performed. Experimental results from a printer using 8-bit image compared to JBIG average 19%, lower 4bit image compression performance with an average of 11% could be obtained.

• The Journal of Engineering Research
• /
• v.2 no.1
• /
• pp.23-30
• /
• 1997

For a effective management and easy tool integration of CAD database, Hierarchy interface System(HIS) was designed and GROCO(Graph Representation fOr Complex Objects) Model was presented in another my paper[10]. Hierarchy Interface System which is composed of two subsystems of a configurator and a converter is designed for the interface between a conventional database management system and CAD tools. In this paper, Version Management System is presented for supporting effective operations of HIS using GROCO model. Version Management System supports efficiently CAD database charaters having a hierarchical structure of composite objects. In Version Management System, A design evolves in discrete states through mutation and derivation for going phases of design giving rise to multiple versions. Operations and rules are provided transition between their different states. and for controlling update propagation and preventing version proliferation. Version Modeling Graph is proposed for dealing with versioning at the instance and type levels.

• Korean Journal of Optics and Photonics
• /
• v.28 no.1
• /
• pp.1-8
• /
• 2017

A method for inspecting defects in display substrates utilizing Fourier optics is proposed in this paper. A cost-effective inspection system can be realized with the proposed method, because it does not require a high-magnification microscope. Also, the proposed method can avoid tight tolerance for variations in displacement between substrate and camera, which is stems from shallow depth of field of the high-magnification microscope. In addition, possible damage caused by collisions between substrate and the inspection equipment can be avoided. The decision algorithm can be simpler than for a conventional inspection system, because spatial shift of periodic substrate patterns does not affect the intensity distribution of the diffracted light, by the Fourier transform property. The proposed method is explained with numerical studies, and experiments are carried out to check its feasibility for color-filter substrates of a liquid-crystal display.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.3
• /
• pp.191-200
• /
• 2002

In this paper, we present the method transforming the interval functions into the truncated difference functions for multi-variable multi-valued functions and implementing the truncated difference functions to the multiple valued logic circuits with uniform patterns using the current mirror circuits and the inhibit circuits by current-mode CMOS. Also, we apply the presented methods to the implementation of circuits for additive truth table of 2-variable 4-valued MOD(4) and multiplicative truth table of 2-variable 4-valued finite fields GF(4). These circuits are simulated under 2${\mu}{\textrm}{m}$ CMOS standard technology, 15$mutextrm{A}$ unit current, and 3.3V power supply voltage using PSpice. The simulation results have shown the satisfying current characteristics. Both implemented circuits using current-mode CMOS have the uniform Patterns and the regularity of interconnection. Also, it is expansible for the variables of multiple valued logic functions and are suitable for VLSI implementation.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.1
• /
• pp.46-51
• /
• 2004

his paper presents a novel design technique for the TS fuzzy classifier via linear matrix inequalities(LMI). To design the TS fuzzy classifier built by the TS fuzzy model, the consequent parameters are determined to maximize the classifier's performance. Differ from the conventional fuzzy classifier design techniques, convex optimization technique is used to resolve the determination problem. Consequent parameter identification problems are first reformulated to the convex optimization problem. The convex optimization problem is then efficiently solved by converting linear matrix inequality problems. The TS fuzzy classifier has the optimal consequent parameter via the proposed design procedure in sense of the minimum classification error. Simulations are given to evaluate the proposed fuzzy classifier; Iris data classification and Wisconsin Breast Cancer Database data classification. Finally, simulation results show the utility of the integrated linear matrix inequalities approach to design of the TS fuzzy classifier.

• Archives of design research
• /
• v.12 no.4
• /
• pp.243-250
• /
• 1999

Interior design is depend on combination way of between invisible meaning and visible form, then it has a several meaning by that. The meaning of interior space is a invisible concept which is shown by a form and it is mainly recognized by a image. The purpose of this study is to explore that characters of image in communication process, typical aspect and structural aspect have been shown in interior design. On this study, I try to study space analysis about commercial space to explore character of spatial image through theoretical approach. In a result, the image of interior space is made by deep representation as a designer's basic concept and is delivered by conversion of various codes. Therefore, the image of interior space is not a additional concept which is made by natural factor of space, it is a design concept which must be dealt with space planning.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.5
• /
• pp.520-529
• /
• 2002

Though BIFS is a complex description language that represents MPEG-4 content as text or bit streams, most traditional MPEG-4 content authoring tools are developed for a BIFS expert. Before using these tools, many authors must invest much time and energy in acquiring knowledge of BIFS. In this paper, we suggest a new manner for saving these efforts. Our proposal supplies the convenient user interface of traditional multimedia authoring tools for MPEG-4 authors and interprets the authored information and transforms it into BIFS. In our user interface, the author generates the minimal authoring information requested for generating BIFS; the BIFS generation module then transforms the information into BIFS format using predefined BIFS construction rules. The resulting BIFS consists of the Scene Tree and the Object Descriptor and Route; they are used for constructing MP4 standard files by mixing with the Elementary Stream.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• The Mathematical Education
• /
• v.59 no.1
• /
• pp.81-99
• /
• 2020

This study examined the types of abduction and the thinking strategies by the mathematics problems posed by students. Four students who were 2nd graders in middle school participated in problem posing on four tasks that were given, and the problems that they posed were classified into equivalence problem, isomorphic problem, and similar problem. The type of abduction appeared were different depending on the type of problems that students posed. In case of equivalence problem, the given condition of the problems was recognized as object for posing problems and it was the manipulative abduction. In isomorphic problem and similar problem, manipulative abduction, theoretical abduction, and creative abduction were all manifested, and creative abduction was manifested more in similar problem than in isomorphic problem. Thinking strategies employed at abduction were examined in order to find out what rules were presumed by students across problem posing activity. Seven types of thinking strategies were identified as having been used on rule inference by manipulative selective abduction. Three types of knowledge were used on rule inference by theoretical selective abduction. Three types of thinking strategies were used on rule inference by creative abduction.