• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1996.11a
• /
• pp.336-345
• /
• 1996

정보 보안의 세 가지 목적은 기밀성, 무결성, 유용성이다. 모든 정보 시스템에서 정보 보안에 관한 필요성이 대두되면서 기밀성뿐만 아니라 무결성도 보장하는 보안 모델이 필요하다. BLP와 Biba는 각각 기밀성과 무결성을 보장하는 보안 모델로서 BLP 모델이 무결성을 고려하지 않기 때문에, Biba 모델은 기밀성을 고려하지 않기 때문에 접근할 수 있는 정보에 한계가 있다. 본 논문에서는 여러 정보시스템 중에서 주로 군사 정보 시스템으로 구현된 BLP와 Biba 모델을 이용해서 기밀성과 무결성을 만족하는 보안 모델을 제시한다. BLP 모델과 Biba 모델을 결합함으로써 BLP 모델을 통해 기밀성을, Biba 모델을 통해 무결성을 보장한다

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.28 no.3
• /
• pp.301-307
• /
• 2015

A bond-based peridynamic model has been shown to be capable of analyzing many of dynamic brittle fracture phenomena. However, there have been issued limitations on handling constitutive models of various materials. Especially, it assumes bonds act independently of each other, so that Poisson's ratio for 3D model is fixed as 1/4 as well as taking only account the bond stretching results in a volume change not a shear change. In this paper a state-based peridynamic model of dynamic brittle fracture is presented. The state-based peridynamic model is a generalized peridynamic model that is able to directly use a constitutive model from the standard theory. It permits the response of a material at a point to depend collectively on the deformation of all bonds connected to the point. Thus, the volume and shear changes of the material can be reproduced by the state-based peridynamic theory. For a linearly elastic solid, a plane stress model is introduced and the damage model suitable for the state-based peridynamic model is discussed. Through a convergence study under decreasing the peridynamic nonlocal region($\delta$-convergence), the dynamic fracture model is verified. It is also shown that the state-based peridynamic model is reliable for modeling dynamic crack propagatoin.

• Progress in Medical Physics
• /
• v.2 no.2
• /
• pp.175-182
• /
• 1991

A newly derived O$_2$ Saturation Model which can be adapted to the design and study of Artificial Lung and Blood Gas Calculator etc. is introduced on the basis of Electrical Equivalent Circuits. The presented 4 stage and 2 stage RC circuits have good correlatons with actual chemical reactions of Hemoglobin and Oxygen. However, from results of computer simulations, 2 stage equivalent model is more accurate than 4 stage and conventional O$_2$ saturation models.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.292-293
• /
• 2007

본 논문은 연속 시간과 이산 시간 비선형 상호 결합 시스템에 대한 분산 정적 출력 궤한 제어기의 설계에 대해 연구한다. 먼저 퍼지 모델 기법을 이용하여 비선형 상호 결합 시스템을 Takagi-Sugeno (T-S)퍼지 모델로 모델링한다. 각각의 하위 시스템에 대한 정적 출력 궤한 제어기를 병렬 분산 보상(PDC)기법을 이용하여 구한다. 선형 행렬 부등식(LMI)을 통하여 하위 시스템의 안정화를 위한 이득값을 구한다. 이득값을 통하여 하위 시스템들이 안정화되고 그를 통해 전체 상호 결합 시스템이 안정화됨을 모의실험을 통하여 증명한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.6
• /
• pp.683-692
• /
• 1999

관계형 데이터베이스 시스템에서 결합 연산자는 데이터베이스 질의를 구성하는 연산자들 중 가장 많은 처리시간을 요구한다. 따라서 이러한 결합연산자를 효율적으로 처리하기 위해 많은 병렬 알고리즘들이 소개되었다. 그 중 하이브리드 해쉬 결합 알고리즘은 가장 우수한 것으로 알려져왔다. 그러나 이 알고리즘은 여러 노드로 데이터를 분할하는 과정에서 데이터의 편중 문제가 발생하며, 이는 전체 시스템의 성능을 크게 저하시키게된다. 본 논문에서는 이러한 데이터 편중문제를 해결한 변형된 하이퍼퀵 정렬을 이용한 병렬 결합 알고리즘을 non-equijoin을 위한 알고리즘으로 확장하였다. 또한 T805로 연결된 하이퍼큐브 구조 시스템에서 시뮬레이션하여 얻은 결과를 수치 계산적 비용모델의 결과와 비교를 통해 변형된 하이퍼 퀵 정렬을 이용한 병렬 결합 알고리즘의 성능을 분석하고 , 비용모델의 타당성을 입증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.583-586
• /
• 2016

단백질과 RNA의 상호작용 데이터가 대량으로 늘어남에 따라, 단백질과 RNA의 결합부위를 예측하는 계산학적인 방법들이 많이 개발되고 있다. 하지만, 많은 계산학적인 방법들은 단백질에서 단백질과 RNA 결합부위를 예측한다는 한계점이 있었다. 본 논문에서는 RNA와 단백질의 서열정보를 모두 사용하여, 단백질과 결합하는 RNA 결합부위를 예측하는 기법과 그 결과를 논한다. WEKA random forest(http://www.cs.waikato.ac.nz/ml/weka/)를 이용하여 예측 모델을 개발하였고, RNA 서열의 서열 프로파일, 서열 composition, 결합 상대방의 단백질의 특성 등을 특정으로 표현하였다. Random forest 기법을 사용한 cross validation의 결과로서 1:1 모델에서 제일 높은 성능인 92.4% sensitivity, 92.0% specificity, 92.2% accuracy를 보였고, independent test에서는 72.5% sensitivity, 90.0% specificity, 2.1% accuracy를 보였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.377-380
• /
• 2008

본 논문은 시간 지연을 가지는 비선형 상호 결합 시스템에 대한 분산 퍼지 출력 궤환 제어기를 제시한다. Takagi-Sugeno (T-S) 퍼지 모델링을 통하여 비선형 상호 결합 시스템을 퍼지 모델로 표현한다. 상호 결합 시스템의 하위 퍼지 시스템을 안정화 시킬수 있는 분산 출력 궤한 제어기를 설계한다. 폐루프 하위 시스템들의 안정도 조건을 선형 행렬 부등식으로 나태내고, 부등식을 이용하여 제어기의 이득값을 구한다. 모의실험을 통하여 시간 지연이 있는 비선형 상호 결합 시스템에 대한 분산 퍼지 출력 궤한 제어기의 효용성을 평가한다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.17 no.2
• /
• pp.237-244
• /
• 2022

We measured the clutter loss (CL) and building entry loss (BEL) of signals in a low-rise high-density suburban environment. Three propagation models for BEL, CL, and a combination of BEL and CL were measured in the selected environment. We then derived the figures when the BEL was combined with the CL. At the two frequencies, the measured value of combination of BEL and CL is 27.55 dB and 26.12dB, respectively, and the differences between the measured value and the sum were -4.19 dB and 5.82 dB. Considering that the measurement was performed inside a building, such a difference seems to be small. Therefore, when BEL and CL were measured separately and summed, and then combined and summed, differences of -4.19 dB and 5.82 dB were apparent. This this result can be referenced when similar case of a propagation model was analyzed.

• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.221-225
• /
• 2001

본 논문에서는 대량의 말뭉치를 바탕으로 한국어에 대해 단어 기반의 n-gram 언어 모델과 클래스 기반의 언어 모델을 구축하고, 이를 실험적으로 검증한다. 단어 기반의 n-gram 모델링의 경우 Katz의 백오프와 Kneser-ney의 스무딩(smoothing) 알고리즘에 대해 실험을 수행한다. 클래스 기반의 언어 모델의 경우에는 품사 태그를 단어의 클래스로 사용한 경우와 말뭉치로부터 자동으로 구축된 클래스를 사용한 경우로 나누어 실험한다. 마지막으로 단어 기반 모델과 클래스 기반 모델을 결합하여 각각의 모델과 그 성능을 비교한다. 실험 결과 단어 기반의 언어 모델의 경우 Katz의 백오프에 비해 Knerser-ney의 스무딩이 보다 조은 성능을 나타내었다. 클래스 기반의 모델의 경우 품사 기반의 방범보다 자동 구축된 단어 클래스를 이용하는 방법의 성능이 더 좋았다. 또한, 단어 모델과 클래스 모델을 결합한 모델이 가장 좋은 성능을 나타냈다. 논문의 모든 알고리즘은 직접 구현되었으며 KLM Toolkit이란 이름으로 제공된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.7-9
• /
• 2012

CPU는 싱글 코어 구조에서 클록 속도를 높여 성능을 향상 시키려는 노력을 해왔으나 한계에 도달하자 하나의 칩에 코어를 여러 개 둔 멀티코어 형태로 발전하였다. CPU의 성능 향상을 위해 이제는 3D그래픽을 연산처리하기 위해 만들어진 GPU와 결합하기에 이르렀다. CPU와 GPU의 결합은 CPU간의 결합보다 훨씬 더 좋은 성능을 보였고 전력의 사용량도 더 적었으며 비용면에서도 경제적이라는 장점을 가지고 있다. 본 논문에서는 CPU와 GPU의 Heterogeneous multicore상에서 성능을 최적화하기 위해 기존의 병렬화 모델을 조합하고 최적화를 시도하였다. CPU상에서는 성능 향상을 위해 기존의 병렬 프로그램 모델인 SIMD와 공유메모리 병렬 프로그래밍 모델 그리고 메시지 패싱 병렬 프로그래밍 모델을 조합하는 실험을 했다. GPU에서는 CUDA를 최적화 하였다. 이렇게 CPU와 GPU를 최적화하고 조합하여 고성능 연산을 요구하는 어플리케이션을 위한 Heterogeneous multicore 성능 최적화 방법을 제안한다.