• 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개로 분리된 다치오토마타의 관계를 정의에 따라 구성하여 감성상태와 개성이 동시에 한 개의 오토마타 모델로 모델링 될 수 있는 가능성을 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.109-111
• /
• 2006

본 논문은 애니메이터로 하여금 얼굴 표정들의 공간으로부터 일련의 표정을 선택하게 함으로써 3차원 아바타의 표정을 실시간적으로 제어할 수 있도록 하기 위한 표정공간의 생성방법에 관하여 기술한다. 본 시스템에서는 약 2400여개의 얼굴 표정 프레임을 이용하여 표정공간을 구성하였다. 본 기법에서는 한 표정을 표시하는 상태표현으로 얼굴특징 점들 간의 상호거리를 표시하는 거리행렬을 사용한다. 이 거리행렬의 집합을 표정공간으로 한다. 그러나 이 표정공간은 한 표정이 다른 표정까지 이동할 때 두 표정간의 직선경로를 통해 이동할 수 있는 그런 공간이 아니다. 본 기법에서는 한 표정에서 다른 표정까지 거쳐 갈 수 있는 경로를 캡쳐된 표정 데이터로부터 근사적으로 유추한다. 우선, 각 표정상태를 표현하는 거리행렬간의 거리가 일정 값 이하인 경우 두 표정을 인접해 있다고 간주한다. 임의의 두 표정 상태가 일련의 인접표정들의 집합으로 연결되어 있으면 두 표정간에 경로가 존재한다고 간주한다. 한 표정에서 다른 표정으로 변화할 때 두 표정간의 최단경로를 통해 이동한다고 가정한다. 두 표정간의 최단거리를 구하기 위해 다이내믹 프로그래밍 기법을 이용한다. 이 거리행렬의 집합인 표정공간은 다차원 공간이다. 3차원 아바타의 얼굴 표정 제어는 애니메이터들이 표정공간을 항해할 때 실시간적으로 수행된다. 이를 도와주기 위해 표정공간을 차원 스케일링 기법을 이용하여 2차원 공간으로 가시화하였고, 애니메이터들로 하여금 본 시스템을 사용하여 실시간 표정 제어를 수행하게 했는데, 본 논문은 그 결과를 평가한다.참여하는 빈들 간의 관계를 분석하여 워크플로우에 대한 성능 측정이 가능하도록 한다. 또한 제안된 메트릭을 통하여 EJB 어플리케이션의 성능 향상을 도모할 수 있도록 한다.로 표면 위로 자라났고, 부종은 창상 밑 조직까지 감소하였으며, 육아조직은 교원질 섬유로 대체되었다. 창상 유발 21일 후, 다른 창상에 비해, HG 처치창은 유의적으로 창상 표면이 거의 재생성 상피로 덮였으며, 육아조직은 창상 유발 14일 후와 비교해서 유의적으로 교원질 섬유로 대체되었다. 위의 모든 결과에서 보듯이, 개에서 전층피부 창상의 처치 시 HG의 사용은 HC와 생리 식염수에 비해 창상치유 복구기의 치유 속도를 촉진하는 것으로 사료된다.시범학교의 자녀를 들 부모들은 환경관련문제에 대한 의식 및 환경관련 제품에 대한 구매행동의 변화가 두드러지게 나타났다.EX>$d^{2+}$ + SA처리구는 두 화합물의 이중 효과에 의해 전반적인 생리 활성을 억제하여, 결국에는 식물의 고사를 유도하는 것으로 사료된다.목에 대한 보안'이 가장 중요한 것으로 나타났다. 본 연구에서는 솔루션 선정요인에 관한 중요도를 e-마켓플레이스의 유형과 산업 별로 평가해보았는데, 여기에서 밝혀진 중요도를 통해 e 마켓플레이스를 구축하고 자 하는 기업은 솔루션을 자체 개발하거나 구입할 때 올바른 의사결정을 할 수 있다. 그리고 솔루션을 제공하려는 기업측면에서는 e-마켓플레이스를 구축하고자 하는 기업에게 유형과 산업별로 적절한 솔루션을 제공할 수 있다.순환이 뇌대사 및 수술 후 신경학적 결과에 보다 유익한 효과를 제공해 줄 수 있음

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