• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.3
• /
• pp.608-613
• /
• 2006

There are many e-showing mall because of revitalization of e-commerce system. It is necessary to recommending system of products that is for saving time and effort of customer. In this paper, we propose the system that is applying classification among data mining techniques to analysis of log data of customer. This log data contains access of user and purchasing of products. The proposed system operates in two phases. The first phase is composed of data filter module and association extraction module among web pages. The second phase is composed of personalization module and rule generation module. Customer can easily know the recommended sites because the proposed system can present rank of the recommended web pages to customer. As a result, the proposed system can efficiently do recommending of products to customer.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• Water for future
• /
• v.25 no.1
• /
• pp.83-92
• /
• 1992

Selection of the best operation rule among a set of alternatives for a multipurpose reservoir system operation requires to evaluate many minor criteria I n addition to the major objectives assessed to the system, These problems are sufficiently complex and difficult that they are beyond heuristic decision rules and experiences in case several noncommensurable multiple criteria are included in the evaluation. With the assistance of multicriterion decision analysis techniques, it is possible to select the best one among various alternatives by systematically comparing and ranking the alternatives with respect to the criteria of choice. Evaluation criteria for multipurpose reservoir system operating rules were identified and defined, and the multicriterion decision analysis techniques were applied to evaluate the fore developed operating rules of the existing Chungju multipurpose project according to the identified nine multiple criteria. The application result shows that the methodology is very efficient to select the best operation alternative among a finite number of operating rules with many evaluation criteria for a large scale reservoir system operation.

• Water for future
• /
• v.19 no.2
• /
• pp.149-156
• /
• 1986

The generated sequences of monthly flows were analyzed based on the range concept. With the optimum operation rule of the reservoirs as the one which maximizes the wateruse downstream the waterrelease from the reservoir was determined and with \ulcorner consideration to the mean inflows and the range of monthly flows the required reservoirs capacity was stochastically determind. It is suggested that the result obtained in this study would be applied to approximately estimate, in the stage of preliminary design, the required capacity of a reservoir in question with the limited information such as the mean monthly inflow and the period of reservoir operation. For the determination of a reservoir capacity Rippl's mass-curve method has been long used with the past river flow data assuming the same flow records will be repeated in the future. This study aims to find out a better method for determining the reservoir capacity by employing the analytical theory based on the stochastic process. For the present study the synthetic generation methods of Thomas-Fiering type was used to synthetically generate 50 years of monthly river inflows to three single-purpose reservoirs and three multi-purpose reservoirs.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.137-181
• /
• 2014

I will propose the radical indeterminacy for solving the higher-order vagueness' dilemma. The radical indeterminacy means that the indeterminacy of 'a is P' implies the indeterminacy of 'a is a borderline case of P.' I will compose my argument two steps: first I will suggest conditions for overcoming the dilemma by analyzing its structure and second I will offer the radical indeterminacy that satisfies aforementioned conditions. I think the higher-order vagueness' dilemma occurs owing to the misunderstanding about the unclarity or the indeterminacy of borderline cases that is an basic intuition of vagueness. So conditions for solving the dilemma are also criteria of adequacy on the theory of vagueness. Thus I will propose II-rule that satisfies above conditions and the radical indeterminacy as a new understanding about vagueness.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.1
• /
• pp.147-156
• /
• 2011

With the increasing utility of the recent information system, the methods to pick up necessary products rapidly by using a lot of data has been studied. Association rule search methods to find hidden patterns has been drawing much attention, and the Apriori algorithm is a major method. However, the Apriori algorithm increases search time due to its repeated scans. This paper proposes an algorithm to reduce searching time of frequent items. The proposed algorithm creates matrix using transaction database and search for frequent items using the mean number of items of transactions at matrix and a defined minimum support. The mean number of items of transactions is used to reduce the number of transactions, and the minimum support to cut down on items. The performance of the proposed algorithm is assessed by the comparison of search time and precision with existing algorithms. The findings from this study indicated that the proposed algorithm has been searched more quickly and efficiently when extracting final frequent items, compared to existing Apriori and Matrix algorithm.

• Survey Research
• /
• v.6 no.1
• /
• pp.83-98
• /
• 2005

Large scale survey database may contain some erroneous data or missing data. Incomplete or erroneous data may be produced in the process of data collection or data capture. Since erroneous data can cause some bias and inconsistency, data editing, which is the procedure for detecting and adjusting individual errors in data records, is a very important work in statistical survey. In this paper, we introduce an editing process for the housing price survey to enhance discussions on that topic. We explain how to decide some appropriate edit rules and show some related data. Furthermore, we describe input editing procedures which is appropriate for on-line survey and how to find and eliminate erroneous data through output editing.

• Journal of Science and Technology Studies
• /
• v.5 no.2 s.10
• /
• pp.69-95
• /
• 2005

Eunsa Memorial Science Museum is a political space to justify ruling colony. Japanese imperialism made use of science museum in ruling colony under the cloak of propagating science thoughts. The science museums made it natural to rule the inferior Joseon(Korea) by bring the concept of 'Great Science Empire' into relief. The exhibition, lecture, experiment and science movies propagated those colonial ruling ideology. This transplantation of the colonial science museumraised the following problems. First, the science museum was used as means for the propagation of political power. All the aspects of the architecture, exhibition, and operation of the colonial science museum propagated and supported the direction of political authority, and furthermore planted a rosy phantasm of 'Development' and 'Progression' into the colony. Second, The science technology of science museum was treated as 'Result' and 'Instrument'. Japanese imperialism denied that the science is a historical and cultural staple product; it instilled only the 'Instrumental Rationality' in the colony. Third, the science technology dealt in the colonial science museum was below the level. What they educated and set forth as domestic science was to cultivate the laborers people for the political power by internalizing modernistic discipline.

• The Korea Journal of Herbology
• /
• v.26 no.3
• /
• pp.57-63
• /
• 2011

Objectives : Peucedani Radix ('Jeonho' in Korean) is the root of Peucedanum praeruptorum or Angelica decursiva. However, the root of Anthriscus sylvestris has usually been distributed as Jeonho. This study was performed to determine the discriminative criteria of Jeonho, focused on distribution in Korean markets. Methods : We have determined identification keys to discriminate each Jeonho samples, through observation of external morphology of original plants, and the research of external and internal morphological features of dried Jeonho herbs. Results : Because of identical to the Korean plant name 'Jeonho', Anthrisci Radix had been came into use as a substitute of Jeonho in Korea during the time of Japanese colonial rule. The original plants of Jeonho and its substitute are discriminated with shape of leaf, leaf margin and color of stem. External morphological features of the medicinal herbs of Jeonho are different in the color of cross-sections, pellucid dot, white powder. Internal morphological points, such as fiber bundle of xylem, seconadary mudullary ray and ray of xylem were also used as discriminative criteria for Jeonho. Further details(e.g. identificaion keys) are in the article. Conclusions : We think that these discriminative criteria will be meaningful in identifying the substitutes and adulterants of Jeonho.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.22 no.4
• /
• pp.423-429
• /
• 2011

Cooperative spectrum sensing is proposed to overcome some problem such as multipath fading and shadowing and to improve spectrum sensing performance. There are different combining methods for cooperative spectrum sensing: hard decision method and soft decision method. In this paper, we analysis the performance of cooperative spectrum sensing with distance based weight that is kind of a soft decision rule for cognitive radio(CR) systems and CR systems sense the spectrum of the licensed user by using a energy detection method. Threshold is determined in accordance with the constant false alarm rate(CFAR) algorithm for energy detection. The signal of licensed user is OFDM signal and the wireless channel between a licensed user and CR systems is modeled as Gaussian channel. From the simulation results, the cooperative spectrum sensing with distance based weight combining(DWC) and equal gain combing(EGC) methods shows higher spectrum sensing performance than single spectrum sensing does. And the detection probability performance with the DWC is higher than that with the EGC.