• Bulletin of the Korean Chemical Society
• /
• v.14 no.1
• /
• pp.38-42
• /
• 1993

Factor analysis was applied to study the thermal decomposition of barium titanyl oxalate (BTO) which is used as the precursor of barium titanate. BTO was synthesized in $H_2O$ solvent and calcined at various temperatures. The X-ray diffraction patterns were obtained to make the data matrix of peak intensity vs. 2${\theta}$. Abstract factor analysis and target transformation factor analysis were applied to this data matrix. It has been found that the synthesized BTO consists of the crystals of $BaC_2O_4{\cdot}0.5H_2O\;and\;BaC_2O_4{\cdot}2H_2O$ as well as the amorphous solid of TiO-oxalate. The results also indicate that the BTO was transformed via $BaCO_3\;to\;BaTiO_3\;and\;Ba_2TiO_4$ during the thermal decomposition.

• Journal of applied mathematics & informatics
• /
• v.42 no.2
• /
• pp.433-444
• /
• 2024

Our study explores the connection between the Pythagorean theorem and the Fixed-point theorem in metric spaces. Both of which center around the concepts of distance transformations and point relationships. The Pythagorean theorem deals with right triangles in Euclidean space, emphasizing distances between points. In contrast, fixed-point theorems pertain to the points that remain unchanged under specific transformations thereby preserving distances. The article delves into the intrinsic correlation between these concepts and presents a novel study in Euclidean metric spaces, examining the relationship between contraction mapping and Pythagorean Right Triangles. Practical applications are also discussed particularly in the context of image compression. Here, the integration of the Pythagorean right triangle paradigm with contraction mappings results in efficient data representation and the preservation of visual data relation-ships. This illustrates the practical utility of seemingly abstract theories in addressing real-world challenges.

• Journal of Intelligence and Information Systems
• /
• v.6 no.2
• /
• pp.41-47
• /
• 2000

Ideograph is a truly unifies data and procedural dependencies. Ideograph can be used to assist various program optimization, such as common expression elimination, code motion, constant folding etc. In this paper, we propose an improved representation of the data and control flow dependencies information for the efficient program execution. In pursuing this goal, we propose a model and in particularly implement a dependency information extractor and information table, which contains data and control flow information per a basic block And then we design and implementation of the optimized abstract syntax tree using Ideograph which has a control flow information and data flow information for source program.

• Journal of Ocean Engineering and Technology
• /
• v.24 no.2
• /
• pp.74-81
• /
• 2010

Ship STEP is the international standard for the exchange of ship modeling data between heterogeneous systems. It is expected that STEP AP218 can be used for seamless data exchange between various CAD/CAM/CAE systems used in the shipbuilding design process. Although the conformance assessment for standards would maximize the performance and confidence about data exchanges, most research has been directed toward interoperability testing. ISO SC4/TC184 only provides the method for conformance testing, and it can be used with test cases on application protocols. Even though standards have been defined for conformance assessment and testing, there is no organization or association. CAD vendors have focused on interoperability testing for evaluation of the performance of their systems. In this paper, the conformance testing criteria for AP218 have been developed with abstract test cases of ship structures. The requested STEP translator was also reviewed with a developed item pool of testing criteria. The criteria methodology would be a guideline for the development of translators and interfaces. The item pool method of testing criteria for conformance assessment would increase performance and efficiency of data translators for Ship STEP and other standards.

• Journal of KIISE:Software and Applications
• /
• v.26 no.10
• /
• pp.1167-1167
• /
• 1999

Although spatial databases support an efficient spatial management on objects in the real world, they have a characteristic that process only spatial information valid at current time, So in case of change in the spatial domain, it is very hard to support an efficient historical management for time-varying spatial information because they delete an old value and then replace with new value that is valid at current time. To solve these problems, there are rapidly increasing of interest for spatiotemporal databases, which serve historical functions for spatial information as well as spatial management functions for an object. However most of them presented in an abstract time-varying spatial phenomenon, but have not presented a concrete policy in spatiotemporal databases. In this paper, we propose a spatiotemporal data model that supports bitemporal time concepts in three dimensional architecture. In the proposed model, not only data types and their operation for object of spatiotemporal databases have been classified, but also mathematical expressions using formal semantics for them have been given. Then, the data structures and their operations based on relational database model as well as object-oriented database model are presented.

• Journal of Fashion Business
• /
• v.15 no.2
• /
• pp.23-38
• /
• 2011

This research is to examine the formative of patterns and characteristics of expression in Danzhai Miao batik of Guizhou China and to reveal the cultural factors and characteristics of artistic expression inherent to it. As the research methodology, theoretical study was done by utilizing the preceding research data, literature data at home and abroad, photo data, and Internet data, and as the empirical research, field trip was made to Guizhou China and investigation and experiment of dyeing techniques, purchase of dyeing craftworks, photography shooting, and interviews were conducted. The results of this research showed that ancient Chinese batik began in Miao in the Jinhan era and the three types of Miao's traditional batik, i.e. Danzhai batik, Huangping batik, Anshun batik. Danzhai Miao batik obtained indigo blue white patterns through traditional production techniques and natural dyeing batik and represented Miao batik of Guizhou. In the expression of Danzhai Miao batik, based on the cultural backgrounds, the formative such as symbolic of patterns, tradition, primitive, reality, abstract, and decorative of dress designs and high dignity of artistry of creative batik patterns be found from the aspect of expressing magnanimous nationality.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.526-532
• /
• 1999

본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.

• Journal of the Society of Naval Architects of Korea
• /
• v.60 no.2
• /
• pp.110-119
• /
• 2023

The prediction of ship resistance performance is typically obtained by Computational Fluid Dynamics (CFD) simulations or model tests in towing tank. However, these methods are both costly and time-consuming, so hull-form designers use statistical methods for a quick feed-back during the early design stage. It is well known that results from statistical methods are often less accurate compared to those from CFD simulations or model tests. To overcome this problem, this study suggests a new approach using a Convolution Neural Network (CNN) with voxelized hull-form data. By converting the original Computer Aided Design (CAD) data into three dimensional voxels, the CNN is able to abstract the hull-form data, focusing only on important features. For the verification, suggested method in this study was compared to a parametric method that uses hull parameters such as length overall and block coefficient as inputs. The results showed that the use of voxelized data significantly improves resistance performance prediction accuracy, compared to the parametric approach.

• Korean Journal of Geomatics
• /
• v.2 no.1
• /
• pp.75-82
• /
• 2002

The information system fields of spatial applications have rapidly grown during the last decade in Korea. Spatial data has been produced for a variety of systems without common standards until national GIS Committee defined the data exchange formats among spatial databases in the middle of 1990's. It aimed at promoting data sharing between the different systems in similar application fields. However, a considerable number of databases built prior to the introduction of the standards are not yet standard compliant but still play the roles of the main producers/consumers in the data collection field such as early developed huge AM/FM systems maintained by governmental organizations. The strong autonomy of these databases keeps their own data models, formats and descriptions from being standardized, which leads the sharing to a more difficult stage. Sharing is another way of data acquisition with least efforts and time away from direct collection. A data clearinghouse is the core module which directs users to the relevant data resources. The contents of datasets should be described with predefined metadata standards for precise indexing. Moreover, a number of technical problems have to be resolved for the common use of data between heterogeneous spatial database systems. However, the technical issues can be covered by the present information technologies. The difficulties persist in the political/institutional issues. Institutional issues are derived from the diverse sources such as political background, governmental policies, related laws and/or regulations. The paper will firstly make an analysis of current situation in terms of Korean policies, laws and regulations, secondly abstract the institutional issues from the situation analysis, lastly present guidelines for promoting spatial data sharing in Korea.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.10
• /
• pp.487-492
• /
• 2017

Clustering is a technique which is used to measure similarities between data in big data analysis and data mining field. Among various clustering methods, k-Modes algorithm is representatively used for categorical data. To increase the performance of iterative-centric tasks such as k-Modes, a distributed and concurrent framework Spark has been received great attention recently because it overcomes the limitation of Hadoop. Spark provides an environment that can process large amount of data in main memory using the concept of abstract objects called RDD. Spark provides Mllib, a dedicated library for machine learning, but Mllib only includes k-means that can process only continuous data, so there is a limitation that categorical data processing is impossible. In this paper, we design RDD for k-Modes algorithm for categorical data clustering in spark environment and implement an algorithm that can operate effectively. Experiments show that the proposed algorithm increases linearly in the spark environment.