• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.23 no.1
• /
• pp.61-71
• /
• 2010

The attributes related to the health condition of RC deck slabs are analyzed to help us identify and rate the safety level of the bridges in this study. According to the related reports the state assessment for the outward aspects of bridges is the important and critical part for rating the overall structural safety. In this respect, the careful identification for the various state attributes make the field inspection and structural diagnosis very effective. This study analyzes the influence of the state attributes on evaluation classes and the relationship of them by the inductive reasoning, which raise the understanding and performance for evaluation work, and support the logical approach for the state assessment. ID3 algorithm applied to the case set which is constructed from the field reports indicates the main attributes and the precedence governing the assessment, and derives the decision hierarchy for the state assessment.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• Korean Journal of Environment and Ecology
• /
• v.17 no.3
• /
• pp.276-284
• /
• 2003

The purpose of this study is to develop effective destination management strategies for three typical tourist destinations in Kangwon province based on the importance-performance analysis. The results show that overall performance levels of 21 management attributes in three destinations is relatively low, compared to the importance levels of the attributes. 6 attributes place in Concentrate Here, 4 attributes in Possible Overkill, 6 attributes in Keep Up Good Work, and 5 attributes in Low Priority. There is no significant difference in the importance level among three destinations, while performance levels are the lowest at Naksan & Kyungpo beaches, and highest at Ganhyun area. Findings of the survey expect to be used as fundamentals in management policy making process for each destinations.

• Korean Journal of Environment and Ecology
• /
• v.17 no.4
• /
• pp.366-374
• /
• 2004

The purpose of this study is to develop effective destination management strategies for three typical tourist destinations in Kangwon province based on the importance-performance analysis. The results show that overall performance levels of 21 management attributes in three destinations is relatively low, compared to the importance levels of the attributes. 6 attributes place in Concentrate Here, 4 attributes in Possible Overkill, 6 attributes in Keep Up Good Work, and 5 attributes in Low Priority. There is no significant difference in the importance level among three destinations, while performance levels are the lowest at Naksan & Kyungpo beaches, and highest at Ganhyun area. Findings of the survey expect to be used as fundamentals in management policy making process for each destinations.

• Korean Journal of Environment and Ecology
• /
• v.13 no.4
• /
• pp.367-374
• /
• 2000

본 연구는 지리산국립공원의 동부지역을 찾은 이용객의 이용 행태의 분석 및 중요도-성취도 분석방법을 통해 관리와 이용관련 속성들에 대한 중요 정도와 실제만족도 분석을 목적으로 수행되었다 이를 위해 이용객 직접기입 방식의 설문조사가 현지에서 실시되었다 총 254명이 본 설문조사에 참여하였으며 응답자들의 사회경제적 특성 및 방문특성은 다른 국립공원 이용객조사에 나타난 결과와 유사한 경향을 보였다 대부분의 응답자들은 최근 대두되고 있는 환경문제에 대해 높은 관심을 보였으며 이와 더불어 이용보다는 보전이 우선하는 국립공원 관리정책에 더 큰 관심을 나타냈다 각 관리 및 이용관련 속성에 대한 중요 정도와 만족도 결과는 수질의 상태 자연식생의 보존상태 공원 내 쓰레기 문제, 야생동물의 보호상태에 특히 높은 중요도를 나타냈으며 휴양.관광 프로그램의 다양성 여부와 야생동물의 보호상태에 대하여 상대적으로 낮은 만족도를 나타낸 것으로 조사되었다.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2000.11a
• /
• pp.164-170
• /
• 2000

화장품의 관능평가는 크게 분석형 관능평가와 기호형 관능평가로 나눌 수 있으며 본 보고에서는 메이컵 화장단계 중에 사용되는 파운데이션의 분석형 관능평가를 통해 파운데이션 사용 시 느껴지는 관능적 특성 용어의 도출과 정의를 내린 후 실제 소비자들을 통해 여러 가지의 파운데이션을 사용하면서 느껴지는 관능적 특성 강도 및 그에 따른 선호도 등을 기호형 관능평가로 수행하여 파운데이션 사용 시에 만족 및 불만족 요인으로 작용하는 관능속성 및 주요요인들을 분석하였다. 그 결과 파운데이션의 관능속성 평가의 주요인은 커버력 요인과 화장상태 요인으로 나타났으며 밀착감과 화장지속력, 화장상태의 자연스러움이 제품의 선호도와 가장 큰 상관관계를 보였다. 이와 같이 파운데이션에 대한 관능속성과 만족도를 결합하져 소비자가 선호하는 관능속성의 제품을 설계하고 평가할 수 있는 관능적 평가방법을 개발하여 제품개발에 활용하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.598-600
• /
• 2001

본 논문에서는 양상 뮤 논리를 위한 속성 명세 패턴 연구를 통해 시제 논리에 대한 패턴 기반의 단일한 프레임워크를 제시한다. 본 연구에서는 Dwyer의 속성 명세 패턴 분류를 상태(S)와 행동(A)으로 세분화하고 이를 다시 강함(A)와 약함(E)으로 다시 세분했다. 이러한 의미 기반의 계층적 패턴 분류 체계를 통해 양상 뮤 논리의 속성 명세 패턴을 분석했으며 실제 모형 검사기에서 사용된 예제들의 패턴 분류에 적용했다. 그 결과 기존의 분류 체계보다 더 정확한 분류가 가능했을 뿐만 아니라, 속성 명세의 작성 및 이해가 용이하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.463-465
• /
• 2001

본 논문에서는 패턴 기반의 시각적 속성 명세 연구를 통해 모든 명세 논리를 포괄하는 요구성 명세의 단일 프레임워크와 자동화 지원 도구를 제시한다. 또한 유도 질문을 통한 속성 명세와 속성의 구조 및 상호관계 표현 방법을 보인다. 본 연구에서는 패턴 기반의 시각적 속성 명세 언어(PVSL)를 정의했다. 요구 속성은 속성도를 통해 표현되며 패턴 다이어그램과 속성 and-or 트리로 의미 및 구조를 해석한다. PVSL 과 속성도는 검증자의 기존 지식을 최대한 활용할 수 있도록 계층형 유한 상태 기계의 표기법을 활용한다. 그리고 Nu-SMV 에서 실제 사용된 CTL 예제를 속성도로 명세하고 이를 해석하는데 적용했다. 그 결과 배경 지식을 최소화할 수 있었으며 빠른 명세와 해석이 가능했다. 또한 명세의 오류를 방지할 수 있었으며 속성의 구조와 상호관계를 쉽게 파악할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.528-530
• /
• 2022

심층강화학습에 완전 연결 신경망과 합성곱 신경망은 잘 활용되는 것에 반해 순환 신경망은 잘 활용되지 않는다. 이는 강화학습이 마르코프 속성을 전제로 하기 때문이다. 지금까지의 강화학습은 환경이 마르코프 속성을 만족하도록 사전 작업이 필요했다, 본 논문에서는 마르코프 속성을 따르지 않는 환경에서 이러한 사전 작업 없이도 순환 신경망의 은닉 상태를 통해 마르코프 속성을 학습함으로써 학습 성능을 개선할 수 있다는 것을 소개한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.45-52
• /
• 2003

정보통신기술의 발달로 인터넷상의 PKC를 사용한 전자거래가 활성화되었다. 이에 따라 실질적으로 Web Server나 Database Server에 접속하기 위한 접근통제의 방안으로 속성인증서에 대한 연구도 활발히 진행되고 있다. 그러나 현재 제안되고 있는 CRL(Certificate Revocation List) 및 OCSP를 이용한 공개키인증서 검증방법은 속성인증서의 인증상태확인과 적용시킬 수 없다. 따라서 본 논문에서는 기존의 공개키인증서 검증방법인 OCSP 방법에 속성인증서 검증방법을 포함시킴으로서, 공개키인증서와 속성인증서간의 동기문제를 해결하고자 한다.