• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.6C
• /
• pp.438-443
• /
• 2008

The efficient method to implement the Max-Log-MAP algorithm is proposed by modifying the conventional algorithm. It is called a parallel soft output Viterbi algorithm (SOVA) and the rigorous proof is given for the equivalence between the Max-Log-MAP algorithm and the parallel SOVA. The parallel SOVA is compared with the conventional algorithms and we show that it is an efficient algorithm implementing the modified SOVA in parallel.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3874-3884
• /
• 2000

An information retrieval system has to retrieve all and only documents which are relevant to a user query, even if index terms and query terms are not matched exactly. However, term mismatches between index terms and qucry terms have been a serious obstacle to the enhancement of retrieval performance. In this paper, we discuss automatic term normalization between words in text corpora and their application to a Korean information retrieval system. We perform two types of term normalizations to alleviate semantic term mismatches: equivalence class and co-occurrence cluster. First, transliterations, spelling errors, and synonyms are normalized into equivalence classes bv using contextual similarity. Second, context-based terms are normalized by using a combination of mutual information and word context to establish word similarities. Next, unsupervised clustering is done by using K-means algorithm and co-occurrence clusters are identified. In this paper, these normalized term products are used in the query expansion to alleviate semantic tem1 mismatches. In other words, we utilize two kinds of tcrm normalizations, equivalence class and co-occurrence cluster, to expand user's queries with new tcrms, in an attempt to make user's queries more comprehensive (adding transliterations) or more specific (adding spc'Cializationsl. For query expansion, we employ two complementary methods: term suggestion and term relevance feedback. The experimental results show that our proposed system can alleviatl' semantic term mismatches and can also provide the appropriate similarity measurements. As a result, we know that our system can improve the rctrieval efficiency of the information retrieval system.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.4
• /
• pp.443-452
• /
• 1995

Object-oriented database systems have been proposed as an effective solution for providing the data management facilities of complex applications. Proving this claim and the investigation of related issues such as query processing have been hampered by the absence of a formal object-oriented query model. In this paper, we not only define a query model based on aggregation inheritance but also develop semantic rewriting rules which are applied to equivalence preserving rewrite rules in algebraic expression of a query. Analyzing semantically the query model, the query model can be optimized to logically object-oriented query processing. And algebra expresstions of a query can be optimized by applying equivalence preserving rewrite rules.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.28 no.10
• /
• pp.1184-1192
• /
• 2004

Experimental investigations were carried out in an atmospheric pressure, optically accessible and laboratory-scale dump combustor operating on methane gas. The objective of this study was to obtain the phase-resolved gas temperatures at different phases of the oscillating pressure cycle during unstable combustion. CARS temperature measurements were made at several spatial locations under lean premixed conditions to get the information on temperature field within the combustor. Also the effect of incomplete fuel-air mixing on phase-resolved temperature fluctuation was investigated. Results including phase-resolved averaged temperature, normalized standard deviation and temperature probability distribution functions (PDFs) were provided in this paper. Temperature PDFs gave an insight on the flame behavior. And strong correlation between phase-resolved temperature profile and pressure cycle was observed. Results of the phase-resolved high temperature gave an additional information on the perturbation of equivalence ratio at flame as well as the effect of mixing quality on NOx emission characteristics.

• Journal of Korea Society of Industrial Information Systems
• /
• v.12 no.2
• /
• pp.68-78
• /
• 2007

D-class is defined as a set of equivalent $n{\times}n$ boolean matrices according to a given equivalence relation. The D-class computation requires the multiplication of three boolean matrices for each of all possible triples of $n{\times}n$ boolean matrices. However, almost all the researches on boolean matrices focused on the efficient multiplication of only two boolean matrices and a few researches have recently been shown to deal with the multiplication of all boolean matrices. The paper suggests a mathematical theory that enables the efficient multiplication for all possible boolean matrix triples and the efficient computation of all D-classes, and discusses algorithms designed with the theory and their execution results.

• Korean Journal of Clinical Pharmacy
• /
• v.16 no.2
• /
• pp.139-146
• /
• 2006

Objectives: Bio-equivalence(BE) test is important not only to ensure the quality of generic drugs, but also to promote drug substitution under the separation of prescribing and dispensing practice(SPD). This study was intended to investigate the perception of consumers, doctors, and pharmacists on the confidence of bio-equivalence(BE) assured drugs. Methods: Nation-wide telephone interview survey was conducted for 1,018 consumers, 800 doctors, and 806 pharmacists from September to October in 2003. Descriptive analysis and ${\chi}^2$ analysis were conducted. Results: Even though people showed higher confidence level for the Bioequivalent drugs compared with Bio-inequivalent drugs, the confidence was generally low. Among those asked about the therapeutic substitutability of original drugs by BE versions, 95.78% of pharmacists responded "positive", while only 39.33% of consumers and 31.13% of doctors said so. The elderly, the less educated, who takes chronic disease medicine, pays high cost of prescription drugs, and are in the low income responded less aware of that. Also most consumers got information such as effect of drugs from either media or doctors. Conclusions: In order for people to believe that BE drugs and original drugs are equivalent, we need to strengthen health education, and to clarify any misunderstanding. It is also necessary for the national policy to provide accurate information about drugs to the public.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.1
• /
• pp.103-110
• /
• 1998

In case of traditional Rule-Based Reasoning(RBR) and Case-Based Reasoning(CBR), although knowledge is reasoned either by one of them or by the integration of RBR and CBR, there is a problem that much time should be consumed by numerous rules and cases. In order to improve this time-consuming problem, in this paper, a new type of reasoning technique, which is a kind of integration of reduced RB and CB, is to be introduced. Such a new type of reasoning uses Rough Set, by which we can represent multi-meaning and/or random knowledge easily. In Rough Set, solution is to be obtained by its own complementary rules, using the process of RB and CB into equivalence class by the classification and approximation of Rough Set. and then using reduced RB and CB through the integrated reasoning.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.6 no.4
• /
• pp.97-106
• /
• 1996

In this paper, we define an equivalence relation on the group of all permutations over the finite field GF($2^n$) and show each equivalence class has common cryptographic properties. And, we classify all exponent permutations over GF($2^7$) and GF($2^8$). Then, three applications of our results are described. We suggest a method for designing $n\;{\times}\;2n$ S(ubstitution)-boxes by the concatenation of two exponent permutations over GF($2^n$) and study the differential and linear resistance of them. And we can easily indicate that the conjecture of Beth in Eurocrypt '93 is wrong, and discuss the security of S-box in LOKI encryption algorithm.

• Journal of Korean Institute of Industrial Engineers
• /
• v.5 no.2
• /
• pp.37-43
• /
• 1979

A sufficient condition for a Stackelberg strategy to coincide with an equilibrium point is presented. Information pattern of a Stackelberg strategy is essentially different from that of an equilibrium solution and therefore the two strategies need not be the same. However, under score restrictions on the cost functions the difference in information patterns between the two strategies can be disregarded so that the two strategies coincide. The result is extended to the case of discrete-time dynamic games.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.37-39
• /
• 2003

본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD를 기반으로 했었기 때문에 변수 순서 배열 및 내부 BDD노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 절의 3기는 식의 크기에 지수적으로 증가하였다.