• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1919-1928
• /
• 1999

There are no standard language for the specification of speed-independent circuits because existing specification methods are designed appropriately to each synthesis methodology. This paper suggests a method of using VHDL, a standard hardware description language, for the specification and synthesis of speed-independent circuits. Because VHDL is a multi-purpose language, we define a subset of VHDL which can be used for the synthesis. We transform the VHDL description into a signal transition graph and then synthesize speed-independent circuits by using a previous synthesis algorithm which uses a signal transition graph as the specification method. We suggest a systematic transformation method which transforms each VHDL statement into a partial signal transition graph and then merges them into a signal transition graph. This work is a step towards to the development of an integrated framework in which we can utilizes the existing CAD tools based on VHDL. Also, this work will enable a easier migration of the current circuit designers into asynchronous circuit design.

• Journal of the Korean earth science society
• /
• v.31 no.6
• /
• pp.637-646
• /
• 2010

The purpose of this study was to investigate the effects of Microcomputer Based Laboratory (MBL) on the middle school students' graphing skill and science process skill in Earth Science classes. MBL teaching materials for inquiry-based instructions were developed to teach five experimental topics related to the middle school 'Earth Science.' Thirty three middles school students participated in this study, and the pre- and post-tests were conducted. Results indicated as follow: First, MBL classes were effective in developing the graphing skill of middle school students. They were efficient both in graph construction and graph interpretation, especially in data transformation. Second, MBL classes were effective in helping participants to use science process skills, especially, in the subordinate areas including formulating hypotheses, making operational definition, graphing, and interpreting data.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.65 no.4
• /
• pp.622-627
• /
• 2016

This paper describes the development of a portable potentiostat which can perform square wave voltammetry on electrochemical sensors and wireless transmission of the measured data to a smartphone using Bluetooth. The potentiostat consists of a square wave potential pulse generation circuit for applying the potential pulse to the electrochemical sensor, a reduction/oxidation (or redox) current measurement circuit, and Bluetooth for wireless data transmission to an Android-based smartphone. The measured data are then processed to show the output graph on the smart phone screen in real time. This data transformation into a graph is carried out by developing and installing a simple transformation application software in the Android-based smartphone. This application software also enables the user to set and change the measurement parameters such as the applied voltage range and measured current range at user's convenience. The square voltammetry output data measured with the developed portable potentiostat were almost same as the data of the commercial potentiostat. The measured oxidation peak current with the commercial potentiostat was $11.35{\mu}A$ at 0.26 V and the measured oxidation peak current with the developed system was $12.38{\mu}A$ at 0.25 V. This proves that performance of the developed portable measurement system is comparable to the commercial one.

• Journal of Digital Contents Society
• /
• v.17 no.1
• /
• pp.11-21
• /
• 2016

To provide more efficient and exact search result, internet systems will rely more and more on semantic web. Ontology is one of the important methods for implementation of semantic web. Ontology is used to implement an explicit formal vocabularies to share. However, important problems rise when dealing with ontology. Ontologies are typically subject to change because they are living. In order to handle ontology data change situation, a version handling system is needed to keep track of changes. For example, the queries subject to the previous ontology may become inconsistent and must be updated according to the newest version of ontology. Although many research was done in this area, there are still many problems to overcome. In this paper, we propose class and property transition graph for query transformation. The graph is created when ontology data is changed and applied to query transformation.

• Korean Journal of Remote Sensing
• /
• v.17 no.1
• /
• pp.85-97
• /
• 2001

The KT(Kauth-Thomas) and IHS(Intensity-Hue-Saturation) transformation techniques were introduced and compared to investigate fire-scarred areas with single post-fire Landsat 7 ETM+ image. This study consists of two parts. First, using only geometrically corrected imagery, it was examined whether or not the different level of fire-damaged areas could be detected by simple slicing method within the image enhanced by the IHS transform. As a result, since the spectral distribution of each class on each IHS component was overlaid, the simple slicing method did not seem appropriate for the delineation of the areas of the different level of fire severity. Second, the image rectified by both radiometrically and topographically was enhanced by the KT transformation and the IHS transformation, respectively. Then, the images were classified by the maximum likelihood method. The cross-validation was performed for the compensation of relatively small set of ground truth data. The results showed that KT transformation produced better accuracy than IHS transformation. In addition, the KT feature spaces and the spectral distribution of IHS components were analyzed on the graph. This study has shown that, as for the detection of the different level of fire severity, the KT transformation reflects the ground physical conditions better than the IHS transformation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.13 no.5
• /
• pp.379-389
• /
• 1988

In this paper, an algorithm for obtaining 2-state switching failure function and a terminal pair reliability evaluation method in a communication network are proposed. The communication network is modeled by a graph. By using the sequence of matrix transformations for the graph, minimal cut-set matrix representing all minimal cut-sets which completely interrupt the communication path is determined and 2-state switching failure function is then obtained from the minimal cut-set matrix. The terminal pari reliability of the communication network is evaluated by corresponding the random variables to 2-state switching failure function. Illustrative examples are provided to demonstrate the algorithm. A computer program evaluating the terminal pair reliability in a complex and large network has also been developed.

• Journal of the Korean Society of Industry Convergence
• /
• v.27 no.1
• /
• pp.143-149
• /
• 2024

The production and procurement of shipbuilding and offshore equipment is an important competitive factor in the shipbuilding and offshore industry. Recently, ICT-based digital technology has been rapidly applied to the manufacturing industry following the Fourth Industrial Revolution. Under the digital transformation, real-time data interface technology based on SCM (Supply Chain Management) is emerging as an important tool to improve the efficiency of the equipment manufacturing process. In this study, the characteristics and advantages and disadvantages of interface technologies of web-based data interface technologies were compared and analyzed. The performance was compared between theoretical evaluation based on technical features and practical application cases. As a result, it was confirmed that GraphQL is useful for selective data processing, but there is a problem with optimization, and REST API has a problem with receiving data due to a fixed data structure. Therefore, this study aims to suggest ways to utilize and optimize these data interface technologies.

• KIPS Transactions on Software and Data Engineering
• /
• v.12 no.9
• /
• pp.381-386
• /
• 2023

Many existing test case generation researchers extract test cases from models. However, research on generating test cases from natural language requirements is required in practice. For this purpose, the combination of natural language analysis and requirements engineering is very necessary. However, Requirements analysis written in Korean is difficult due to the diverse meaning of sentence expressions. We research test case generation through natural language requirement definition analysis, C3Tree model, cause-effect graph, and decision table steps as one of the test case generation methods from Korean natural requirements. As an intermediate step, this paper generates test cases from C3Tree model-based decision tables using meta-modeling. This method has the advantage of being able to easily maintain the model-to-model and model-to-text transformation processes by modifying only the transformation rules. If an existing model is modified or a new model is added, only the model transformation rules can be maintained without changing the program algorithm. As a result of the evaluation, all combinations for the decision table were automatically generated as test cases.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.33B no.9
• /
• pp.49-61
• /
• 1996

Back-propagation(BP) algorithm needs a lot of time to train the artificial neural network (ANN) to get high accuracy level in classification tasks. So there have been extensive researches to process back-propagation algorithm on parallel processors. This paper prsents a linear systolic array which calculates forward-backward propagation of BP algorithm at the same time using effective space-time transformation and PE structure. First, we analyze data flow of forwared and backward propagations and then, represent the BP algorithm into data dapendency graph (DG) which shows parallelism inherent in the BP algorithm. Next, apply space-time transformation on the DG of ANN is turn with orthogonal direction projection. By doing so, we can get a snakelike systolic array. Also we calculate the interval of input for parallel processing, calculate the indices to make the right datas be used at the right PE when forward and bvackward propagations are processed in the same PE. And then verify the correctness of output when forward and backward propagations are executed at the same time. By doing so, the proposed system maximizes parallelism of BP algorithm, minimizes th enumber of PEs. And it reduces the execution time by 2 times through making idle PEs participate in forward-backward propagation at the same time.

• Journal of Korea Multimedia Society
• /
• v.20 no.8
• /
• pp.1224-1235
• /
• 2017

Recently, augmented reality technology has received much attention in many fields. This paper presents an augmented reality system using Rubiks' Cube which can augment various 3D objects depending on patterns of a Rubiks' cube. The system first detects a cube from an image using partitional clustering and strongly connected graph. Thereafter, the system detects the top side of the cube and finds a proper pattern to determine which object should be augmented. An object corresponding to the pattern is finally augmented according to the camera viewpoint. Experimental results show that the proposed system successfully augments various virtual objects in real time.