• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1578-1580
• /
• 2012

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1986년도 하계학술대회논문집
• /
• pp.570-573
• /
• 1986

• 디지털융복합연구
• /
• 제15권8호
• /
• pp.225-234
• /
• 2017

본 연구는 남녀 청소년을 대상으로 SNS중독상태, 현실공간 및 가상공간의 자아정체감의 상태를 확인하고, SNS중독여부와 현실공간 및 가상공간에서의 자아정체감 사이의 관계를 규명하고자 시행되었다. 연구대상자 중 남성이 여성보다 SNS사용 시간이 더 많았고, SNS친구 수가 많을수록 SNS 사용을 더 많이 하는 것으로 나타났다. 현실과 가상공간에서의 자아정체감 하위 영역 상관관계에서는 대부분의 영역에서 정의 상관관계를 보였으며, 현실공간 자아정체감과 SNS중독의 각 하위 영역과도 모든 영역에서 정의 상관관계를 보였다. 그러나 SNS중독과 가상공간 자아정체감의 영역에서는 주도성을 제외한 나머지 영역에서 음의 상관관계를 나타내었다. 이를 통하여 SNS중독 대상자들에 대한 교육과 관리가 필요하며, 현실공간 및 자아정체감의 각 하위영역별로 대상자들을 중재할 수 있는 프로그램이 개발되어야 할 것이다.

• 한국조명전기설비학회지:조명전기설비
• /
• 제4권4호
• /
• pp.68-78
• /
• 1990

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.102-104
• /
• 1998

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

• 한국터널지하공간학회 논문집
• /
• 제17권5호
• /
• pp.553-561
• /
• 2015

본 연구에서는 국내에 활발히 적용되기 시작한 쉴드 TBM 터널의 합리적인 유지관리를 위한 성능평가 기준을 제시하였다. 이를 위해 국내 외 성능평가 기준을 분석하였고, 국내 시공된 쉴드 TBM 터널에 대한 현장조사 및 정밀안전진단 보고서 분석을 통한 변상사례를 조사하여 성능평가 항목을 균열, 누수, 파손, 박리, 층분리 및 박락, 백태, 품질상태, 철근노출, 탄산화, 단차, 볼트상태, 배수상태, 지반상태, 접속부상태, 공동구 상태로 선정하였다. 또한 다중의사결정기법인 AHP 기법을 활용하여 선정된 성능평가에 대한 합리적인 가중치를 산정하였다.

• 응용통계연구
• /
• 제29권6호
• /
• pp.1129-1145
• /
• 2016

뇌기능 연결성 문제는 뇌의 신경역학적 현상과 밀접한 관련이 있다는 의미에서 뇌과학에서 주요 연구주제이다. 본 논문에서는 기능적 자기공명영상(fMRI)자료를 뇌활동에 대한 반응 자료의 주요 형태로써 선택하였는데, 이 fMRI자료는 높은 해상도 때문에 뇌과학 연구에서 선호되는 자료 형태이다. 뇌활동에 대한 생리학적 반응을 측정해서 자료로 사용한다는 전제하에서 뇌의 기능적 연결성을 분석하는 방법들을 고찰하였다. 여기서의 전제란 상태공간 및 측정 모형을 다룬다는것을 의미하는데, 여기서 상태공간 모형은 뇌신경역학을 표현한다고 가정한다. 뇌기능 영상자료의 분석은 무엇을 측정하였느냐에 따라서 분석방법과 그 해석이 조금씩 달라진다. 실제 fMRI자료를 고차원 자기회귀모형을 적용해서 분석한 결과를 논문에 포함하였는데, 이 결과를 통해서 서로 다른 도형문제를 푸는데 서로 다른 뇌신경 역학관계가 요구된다는 것을 엿볼 수 있었다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 추계 학술대회 학술발표 논문집
• /
• pp.173-176
• /
• 2003

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

• 건축사
• /
• 8호통권36호
• /
• pp.9-19
• /
• 1971

• 건축사
• /
• 10호통권48호
• /
• pp.9-16
• /
• 1972