• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.760-763
• /
• 2001

In this study, the graphical design system is developed and the digital mock-up is implemented for designing the spent fuel handling and disassembling processes. This system is used throughout the design stages from the conceptual design to the motion analysis. By using this system, all the processes involved in the spent fuel handling and disassembling precesses are analyzed and optimized. Also, this system is used in developing the on-line graphic simulator to enhance the reliability and safety of the spent fuel handling process by providing the remote monitoring function of the process. The graphical design system and the digital mock-up system can be effectively used for designing the process equipment, as well as the optimization of the main processes and maintenance processes of the spent fuel management.

• Proceedings of the Korea Contents Association Conference
• /
• 2017.05a
• /
• pp.431-432
• /
• 2017

고전 논리의 연산이 집합의 연산과 밀접하게 관련되어 있는 것과 같이 양자논리(quantum logic)는 힐버트 공간(Hilbert space)의 닫힌부분공간(closed subspace)의 연산과 관련되어 있다. 닫힌부분공간들의 집합은 직교모듈로 격자(orthomodular lattice)를 이루고, von Neumann과 Birkhoff를 포함하여 많은 수학자들은 양자논리의 수학적 체계를 만들기 위해 직교모듈로 격자를 이용하였다. 일반 격자(lattice)에서 논리적 함의(implication)는 $x{\rightarrow}y={\neg}x{\vee}y$에 의해 일의적으로 정의되지만 직교모듈로 격자에서는 6개의 서로 다른 논리적 함의가 정의되는 것으로 알려져 있다. 본 논문에서는 직교모듈로 격자에서 정의되는 3개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1310-1313
• /
• 2011

유사문자열 검색이란 문자열 집합에서 주어진 문자열과 유사한 문자열들을 검색하는 것으로 정보검색, 데이터 클리닝 등의 분야에서 활용되고 있다. 효율적인 유사문자열 검색을 위해 사전에 문자열 집합에 대한 역리스트를 구성하고 문자열이 주어졌을 때, 주어진 문자열에 관련된 역리스트를 병합하여 유사도 기준을 만족하는 문자열을 찾는다. 이때 비용을 줄이기 위해 일부의 역리스트만 병합하고 나머지 역리스트에 대해서는 이진탐색을 하는 방법이 있다. 본 논문에서는 역리스트를 이진탐색할 때, 불필요한 탐색구간을 제거하여 역리스트 탐색 비용을 줄이는 방법을 제안한다.

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 2004.11a
• /
• pp.317-322
• /
• 2004

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.9 no.2
• /
• pp.125-131
• /
• 1980

이 보고서는 6월 15일 본 학회의 후원으로 세계 설비기연이 주최한 학술강연회에서 발표한 내용을 게재한 것이다.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.47 no.5
• /
• pp.17-24
• /
• 2010

Recently the study of identifying bio-markers for disease diagnosis and prognosis has been actively performed. In particular, lots of attentions have been paid to the finding of pathway gene-sets differentially expressed in disease patients rather than the finding of individual gene markers. In this paper we propose a novel method to identify disease-related pathway gene-sets based on time-series microarray data. For this purpose, we firstly compute individual gene scores by the using maSigPro (microarray Significant Profiles) and then arrange all the genes in the decreasing order of the corresponding gene scores. The rank of each gene in the entire list is used to evaluate the statistical significance of candidate gene-sets with Wilcoxson rank sum test. For the generation of candidate gene-sets, MSigDB (Molecular Signatures Database) pathway information has been employed. The experiment was conducted with prostate cancer time-series microarray data and the results showed the usefulness of the proposed method by correctly identifying 6 out of 7 biological pathways already known as being actually related to prostate cancer.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.40 no.2
• /
• pp.11-19
• /
• 2003

This paper proposes an algorithm to reduce the estimation error of surface spectral-reflectance(SR) using a conventional 3-band RGB camera. In the proposed method, estimation error can be reduced by using adaptive principal components(PCs) for each color region. In order to build adaptive set of PCs, n SR populations are organized for n PC sets by using Lloyd quantizer design algorithm. Macbetch ColorCheckcer is utilized as initial representative SR values for 1485 Munsell color chips of total color population and the Munsell chips arc divided subsets and a set of corresponding adaptive PCs per each subset is organized. As a result of experiments, the proposed method showed advanced estimation performance compared to both the two 3-band PCA methods and the 5-band wiener method.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.43 no.2 s.308
• /
• pp.81-92
• /
• 2006

This paper proposes a robustness watermarking for 3D mesh model based on projection onto convex sets (POCS). After designing the convex sets for robustness and invisibility among some requirements for watermarking system, a 3D-mesh model is projected alternatively onto two constraints convex sets until the convergence condition is satisfied. The robustness convex set are designed for embedding the watermark into the distance distribution of the vertices to robust against the attacks, such as mesh simplification, cropping, rotation, translation, scaling, and vertex randomization. The invisibility convex set are designed for the embedded watermark to be invisible. The decision values and index that the watermark was embedded with are used to extract the watermark without the original model. Experimental results verify that the watermarked mesh model has invisibility and robustness against the attacks, such as translation, scaling, mesh simplification, cropping, and vertex randomization.

• Korean Journal of Metals and Materials
• /
• v.48 no.7
• /
• pp.644-650
• /
• 2010

Interstitial free (IF) steel sheets were cold rolled by the cross-roll rolling mill in which the roll axes are tilted by ${\pm}7.5^{\circ}$ away from the transverse direction of the rolled sample. After cross-roll rolling of IF steel sheets, the cold rolling and the recrystallization textures were distinguished from those observed after rolling in a normal rolling mill. The three-dimensional finite element method (FEM) simulation revealed that the operation of a large shear strain ${\varepsilon}_{23}$ during cross-roll rolling leads to the formation of a distinct cold rolling texture. During recrystallization annealing, a pronounced change in texture components was not observed, which is attributed to the lack of either selective growth or oriented nucleation during the recrystallization process. Cold cross-roll rolling led to the formation of finer recrystallized grains in IF steel sheets.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.11 no.4
• /
• pp.17-22
• /
• 1974

In this paper, the problem of finding tests to detect faults in combinational logic circuits is considered. At first, the method of fault detection in fan-out-free irredundant circuits is derived, and the result is extended to the fan-out redundant circuits. A fan-out circuit is decomposed into a set of fan-out-free subcircuits by cutting the lines at the internal fan-out points, and the minimal detecting test. sets for each subcircuit are found separately. And then, the compatible tests from each test set are combined maximally into composite tests to generate primary input binary vectors. By this procedure. the minimal complete test sets for reconvergent fan-out circuits are easily found and the detectable and undetectable faults are also classified clearly.