• Journal of KIISE:Databases
• /
• v.34 no.1
• /
• pp.18-34
• /
• 2007

In order to provide various business analysis methods, OLAP(On-Line Analytical Processing) systems represent their data with multidimensional structures. These multidimensional data are often delivered to users in the horizontal format of tables whose columns are corresponding to values of dimension attributes. Since the horizontal tables nay have a large number of columns, they cannot be stored directly in relational database systems. Furthermore, the tables are likely to have many null values (i.e., sparse tables). In order to manage the horizontal tables efficiently, we can store them as the vertical format of tables which has dimension attribute names as their columns thus transforms the columns of horizontal tables into rows. In this way, every queries for horizontal tables have to be transformed into those for vertical tables. This paper proposed a technique for transforming horizontal table queries into vertical table ones by utilizing not only traditional relational algebraic operators but also the PIVOT operator which recent DBMS versions are providing. For achieving this goal, we designed a relational algebraic expression equivalent to the PIVOT operator and we formally proved their equivalence. Then, we developed a transformation technique for horizontal table queries using the PIVOT operator. We also performed experiments to analyze the performance of the proposed method. From the experimental results, we revealed that the proposed method has better performance than existing methods.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.30 no.5B
• /
• pp.487-495
• /
• 2010

Soil moisture is a crucial factor in hydrological system which influences runoff, energy balance, evaporation, and atmosphere. United States National Aeronautic and Space Administration (NASA) and Department of Agriculture (USDA) have established Soil Moisture Experiment (SMEX) since 2002 for the global observations. SMEX provides useful data for the hydrological science including soil moisture and hydrometeorological variables. The purpose of this study is to investigate the relationship between remotely sensed soil moisture data from aircraft and satellite and ground based experiment. C-band of Polarimetric Scanning Radiometer (PSR) that observed the brightness temperature provides soil moisture data using a retrieval algorithm. It was compared with the In-situ data for 2-30 cm depth at four sites. The most significant depth is 2-10 cm from the correlation analysis. Most of the sites, two data are similar to the mean of data at 10 cm and the median at 7 cm and 10 cm at the 10% significant level using the Rank Sum test and t-test. In general, soil moisture data using the C-band of the PSR was established to fit the Normal, Log-normal and Gumbel distribution. Soil moisture data using the aircraft and satellites will be used in hydrological science as fundamental data. Especially, the C-band of PSR will be used to prove soil moisture at 7-10 cm depths.

• Geophysics and Geophysical Exploration
• /
• v.9 no.1
• /
• pp.1-9
• /
• 2006

Geological storage of captured $CO_2$ is a new way of reducing greenhouse gas emissions to protect the climate, but is based on the established technology associated with injection of fluids underground. The geological formations of interest for this technique include operational and depleted oil and gas fields, and deep saline aquifers. Prediction of storage performance will depend on models of the behaviour of $CO_2$ in geological formations; these need to be refined and verified, and methods of monitoring developed and proved. These needs can be met through monitored demonstration and research projects. Current commercial projects that are demonstrating $CO_2$ storage include Sleipner, Weyburn, ORC, and In Salah; research projects include West Pearl Queen, Nagaoka, and Frio. In this paper, some of the monitored injection projects are described. The reservoirs employed for storing $CO_2$, and the associated monitoring techniques, are briefly reviewed. It is argued that small-scale research projects, used to develop techniques and prove models, are complementary to the large-scale monitored injections that will establish the viability of this technique for mitigating climate change.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.412-421
• /
• 2000

In spite that the main contents of mathematical and scientific learning are understanding principles and their applications, most of existing educational softwares are based on rote learning, thus resulting in limited educational effects. In the artificial intelligence research, some progress has been made in developing automatic tutors based on proving and simulation, by adapting the techniques of knowledge representation, search and inference to the design of tutors. However, these tutors still fall short of being practical and the turor, even a prototype model, for learning problem solving is yet to come out. The geometry problem-solving tutor proposed by this research involves dynamic inference performed in parallel with learning. As an ontology for composing the problem space within a real-time setting, we have employed the notions of propositions, hypotheses and operators. Then we investigated the mechanism of interactive learning of problem solving in which the main target of inference involves the generation and the test of these components. Major accomplishment from this research is a practical model of a problem tutor embedded with a series of inference techniques for algebraic manipulation, which is indispensable in geometry problem solving but overlooked by previous research. The proposed model is expected to be applicable to the design of problem tutors in other scientific areas such as physics and electric circuitry.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.18 no.2
• /
• pp.89-103
• /
• 2018

A genius "Prince of Mathematician" Gaussian and "Father of Communication" Shannon comes up with the creative idea of motivation to meet each other? The answer is a coin leaf. Gaussian found some creative ideas in the matter of obtaining a sum of 1 to 100. This is the same as the probability distribution curve when a coin leaf is thrown. Shannon extended the Gaussian probability distribution to define the entropy, taking the source symbol and the reciprocal logarithm to obtain the weighted average. These where the genius Gaussian and Shannon meet in the same coin leaf. This paper focuses on this point, and easily proves Gaussian distribution and Shannon entropy. As an application example, we have obtained the capacity and transition probability of Jeongju seminal vesicle, and the Shannon channel capacity is 1 when the equivalent transition probability is 1/2.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.17 no.1
• /
• pp.59-68
• /
• 2017

The flower and woman are beautiful but Euler's theorem and the symmetry are the best. Shannon applied his theorem to information and communication based on Euler's theorem. His theorem is the root of wireless communication and information theory and the principle of today smart phone. Their meeting point is $e^{-SNR}$ of MIMO(multiple input and multiple output) multiple antenna diversity. In this paper, Euler, who discovered the most beautiful formula($e^{{\pi}i}+1=0$) in the world, briefly guided Shannon's formula ($C=Blog_2(1+{\frac{S}{N}})$) to discover the origin of wireless communication and information communication, and these two masters prove a meeting at the Shannon limit, It reveals something what this secret. And we find that it is symmetry and element-wise inverse are the hidden secret in algebraic coding theory and triangular function.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.2
• /
• pp.39-44
• /
• 2020

In this paper, we show a modified Diffie-Hellman key exchange protocol that can exchange keys by exposing only minimal information using pre-computable session key pairs. The discrete logarithm problem, which provides the safety of existing Diffie-Hellman and Diffie-Hellman based techniques, is modified to prevent exposure of primitive root. We prove the algorithm's operation by applying the actual value to the proposed scheme and compare the execution time and safety with the existing algorithm, shown that the security of the algorithm is improved more than the product of the time complexity of the two base algorithms while maintaining the computation amount at the time of key exchange. Based on the proposed algorithm, it is expected to provide a key exchange environment with improved security.

• Journal for History of Mathematics
• /
• v.19 no.4
• /
• pp.63-80
• /
• 2006

Along with natural and algebraic languages, schema is a fundamental component of mathematical language. The principal purpose of this present study is to focus on this point in detail. Schema was already in use during Pythagoras' lifetime for making geometrical inferences. It was no different in the case of Oriental mathematics, where traces have been found from time to time in ancient Chinese documents. In schma an idea is transformed into something conceptual through the use of perceptive images. It's heuristic value lies in that it facilitates problem solution by appealing directly to intuition. Furthermore, introducing schema is very effective from an educational point of view. However we should keep in mind that proof is not replaceable by it. In this study, various schemata will be presented from a diachronic point of view, We will show with emaples from the theory of categories, Feynman's diagram, and argand's plane, that schema is an indispensable tool for constructing new knowledge.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.9B
• /
• pp.1631-1642
• /
• 1999

In this paper, we propose a new fault tolerant ATM Switch and a new adaptive self-routing scheme used to make the switch to be fault tolerant. It can provide more multiple paths than the related previous switches between an input/output pair of a switch by adding extra links between switching elements in the same stage and extending the self-routing scheme of the Banyan network. Our routing scheme is as simple as that of the banyan network, which is based on the topological relationships among the switching elements (SE’s) that render a packet to the same destination with the regular self-routing. These topological properties of the Banyan network are discovered in this paper. We present an algebraic proof to show the correctness of this scheme, and an analytic reliability analysis to provide quantitative comparisons with other switches, which shows that the new switch is more cost effective than the Banyan network and other augmented MIN’s in terms of the reliability.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.5_6
• /
• pp.353-359
• /
• 2004

The illegal copying and redistribution of digitally-stored information is a crucial problem to distributors who electronically sell digital data. Fingerprinting scheme is a techniques which supports copyright protection to track redistributors of electronic information using cryptographic techniques. Anonymous fingerprinting schemes, differ from symmetric fingerprinting, prevent the merchant from framing a buyer by making the fingerprinted version known to the buyer only. And the scheme, differ from asymmetric fingerprinting, allows the buyer to purchase goods without revealing her identity to the merchant. In this paper, a new anonymous fingerprinting scheme based on secret sharing is introduced. The merchant finds a sold version that has been distributed, and then he is able to retrieve a buyer's identity and take her to court. And Schnorr's digital signature prevents the buyer from denying the fact he redistributed. The buyer's anonymity relies on the security of discrete logarithm and secure two-party computations.