• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1578-1580
• /
• 2012

모델 검증은 시스템이 만족해야 하는 속성을 자동으로 검사하는 정형 검증 기법으로써, 많은 도메인에서 활용되고 있다. 특히 모델 검증 도구들에 따라 상태 공간 탐색 방식이 다르고, 상태 공간 탐색 방식에 따라서 생성되는 반례도 달라진다. 본 논문에서는 모델 검증의 대표적인 도구인 SPIN과 SMV에서 생성하는 반례를 상호 비교한다.

• Proceedings of the KIEE Conference
• /
• 1986.07a
• /
• pp.570-573
• /
• 1986

• Journal of Digital Convergence
• /
• v.15 no.8
• /
• pp.225-234
• /
• 2017

This study was conducted with male/female teenagers to examine the interaction between their attachment to social media and their self-identity in both real space and cyberspace. Among the subjects, male teenagers tended to use social media more than female teenagers. Also, the more friends/followers they have, the more they would use the service itself. In the subordinate correlation of the subjects' self-identity in both cyberspace and real space, most areas showed positive correlation. And each subregion of the areas of real-space ego-identity and social media addiction showed positive correlation with them as well. On the other hand, in areas of social media addiction and cyberspace ego-identity, all areas showed negative correlation except the area of dominance. Through this experiment, it was proven apparent that there needs to be proper management of teenagers that are overusing and are addicted to social media, and that programs should be developed to mediate the subjects in regards to each subregion of real space and cyberspace ego-identity.

• The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.4 no.4
• /
• pp.68-78
• /
• 1990

절연파괴의 원인이 되는 절연체중의 공간전하의 여러 특성을 정량적으로 측정하였다. 전극에서의 주입전하가 트랩되어 주로 공간전하를 형성하는 것을 확인하였다. TSSP측정법으로 컬렉팅 전위를 결정하고 바이어스의 시간, 전압, 온도에 따른 공간전하 변화량을 측정하여 공간적 분포의 깊이를 조사하였다. 그리고 정상상태에 있어서 모델과 해석과 시험 결과가 비교적 잘 일치함을 발견하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.102-104
• /
• 1998

공간 질의 제약조건 검증을 위해서는 다양한 공간객체와 이에 대응하는 복잡한 공간 연산자를 고려한 최적화가 필요하다. 그러나 이에 대한 연구가 아직은 미진한 상태이고, 공간 데이터베이스 시스템의 공간 술어는 기존의 단순 비교 술어와 비교할 때 수행시 많은 시간이 소비되기 때문에 기존의 질의 최적화 기법을 공간 최적화 기법에 적용하기에는 부적합하므로 공간 술어가 포함된 제약 조건이나 질의에 대해 효과적인 최적화 기법의 확장이 요구된다. 본 논문에서는 공간 제약조건 검증시 최적의 수행계획을 얻기 위하여 먼저 중복되는 공간 연산을 제거하고 공간 연산을 위한 선택인자와 복잡도를 계산하여 산출된 랭킹을 기반으로 재배치 기법을 사용하는 공간 제약조건 최적화 기법을 제안한다. 제안된 기법은 선택인자와 데이터베이스 접근시간 뿐만 아니라 공간 연산의 복잡도까지 반영하므로 최적화된 수행계획을 얻을 수 있는 장점을 지니고 있으며, 향후 공간 질의의 최적화 기법에도 적용이 가능하다.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.17 no.5
• /
• pp.553-561
• /
• 2015

In this study, the performance assessment criterion for reasonable maintenance of shield TBM tunnel was presented. The performance assessment items such as crack, leakage, breakage, spalling, exfoliation/detachment, efflorescence, quality condition, exposure of steel, carbonation, faulting step, bolts condition, drainage condition, ground condition, contact section condition and conduit condition were selected by analyzing domestic and foreign performance assessment criterions and investigating segment lining deterioration cases through the site investigation and in-depth inspection analysis result on the shield TBM tunnel. In addition, the reasonable weight using AHP (Analytic Hierarchy Process) were estimated.

• The Korean Journal of Applied Statistics
• /
• v.29 no.6
• /
• pp.1129-1145
• /
• 2016

Functional neuro-connectivity is one of the main issues in brain science in the sense that it is closely related to neurodynamics in the brain. In the paper, we choose fMRI as a main form of response data to brain activity due to its high resolution. We review methods for analyzing functional neuro-connectivity assuming that measurements are made on physiological responses to neuron activation. This means that we deal with a state-space and measurement model, where the state-space model is assumed to represent neurodynamics. Analysis methods and their interpretation should vary subject to what was measured. We included analysis results of real fMRI data by applying a high-dimensional autoregressive model, which indicated that different neurodynamics were required for solving different types of geometric problems.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09b
• /
• pp.173-176
• /
• 2003

본 논문은 기존의 다치오토마타 모델을 적용하여 개성과 감성상태 모델을 제안한다. 기존 다치오토마타 모델을 2개의 오토마타로 분리하여 하나는 감성상태, 다른 하나는 개성을 모델링하는데 이용하였다. 사용자의 내부 감성과 개성은 Valence-Arousal 공간으로 정의된 감성상태를 바탕으로 구성하였고, 2개로 분리된 다치오토마타의 관계를 정의에 따라 구성하여 감성상태와 개성이 동시에 한 개의 오토마타 모델로 모델링 될 수 있는 가능성을 제시하였다.

• Korean Architects
• /
• no.8 s.36
• /
• pp.9-19
• /
• 1971

• Korean Architects
• /
• no.10 s.48
• /
• pp.9-16
• /
• 1972