• 한국안전학회지
• /
• 제22권6호
• /
• pp.7-12
• /
• 2007

This study focuses on the statistical analysis on safety management of elevators. Specifically, frequency and severity of accidents in relation to conditional pass in periodic inspection, maintenance, market surveillance are analysed based on the statistical data and social loss due to poor management is estimated. The results of statistical analysis performed in this study will provide logical basis and future direction for improving the safety management system.

• Journal of the Korean Data and Information Science Society
• /
• 제20권3호
• /
• pp.563-575
• /
• 2009

본 연구는 Priester 등 (2004)에 의해서 제시된 기억기반 선택상황에서 태도-의사결정 통합모형인 '고려상표군과 선택에 대한 태도 및 태도강도의 영향모형'을 자극기반 선택상황으로 확장하였다. 즉 태도 및 태도강도가 고려상표군과 선택변수에 대한 역할 (모형 타당성측면)과 외부자극 요소인 제품 디스플레이 위치에 따른 물리적 현저성 강도의 역할 (모형 일반화측면)을 통해 모형의 확장가능성을 검토하였다. 본 연구는 기존 연구와 같이 태도 그 자체를 측정하여 행동이나 행동의도를 파악하는 대신에 '행동에 대한 태도'를 직접 측정할 수 있는 실험조사 방법을 토대로 로지스틱 회귀분석을 통해 실증적으로 분석하였다. 본 연구 결과는 기억기반에서 태도-의사결정간의 관련성에 대한 통합모형으로 제시된 모형의 특성들을 자극기반 상황에서 이론적 배경과 실증분석을 통해 모형타당성을 확인하여 모형의 일반화 가능성을 보여주었다.

• 한국CDE학회논문집
• /
• 제21권4호
• /
• pp.433-442
• /
• 2016

This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

• 한국실내디자인학회논문집
• /
• 제17권1호
• /
• pp.69-76
• /
• 2008

The purpose of this study is to analyze the interior characteristics of the Yale center for British art by Louis I. Kahn. As his last realized project, the Yale center for British art shows Kahn's latter architectural thoughts about exterior/interior, space/structure and theory/practice. Kahn arranged unit space(room) around two interior courts and laminated them vertically. This spatial configuration is the result of solving the urban context which needed the continuity of street and complicated program including art museum, retail shop, studio and library. Although Kahn adpted severe formal configuration, he added changes to spatial relation. The visualization of architectural system is realized by revealing the relation of the unit space and structure. And this emphasized the presence of the center. The emphasis of tectonic expression is also the characteristics of interior in that structure is the logical part of whole building system rather than concealing object for the exterior of buildings. In the Yale center for British art, interior characteristics are summarized as spatial configuration based on the relation between unit space and two courts, the visualization of structural order, and the relationship between structure and light.

• 융합정보논문지
• /
• 제7권3호
• /
• pp.65-71
• /
• 2017

양자논리는 양자역학을 위한 수학적 구조인 힐버트 공간에서의 사영을 다루기 위해 Birkhoff와 von Neumann에 의해 소개되었고 Husimi는 이 양재논리를 보완하기 위해 직교모듈라의 성질과 직교모듈라 격자를 제안하였다. Abbott은 직교모듈라 격자에서의 함의를 연구하기 위해 직교함의 대수와 그 성질을 소개하였다. 직교모듈라 격자에서 가환관계는 분배법칙과 모듈라 성질 등과 관련된 중요한 성질이다. 본 논문에서는 직교함의 대수에서의 한 이항연산과 이를 이용한 최대하계를 정의하고 그 이항연산의 성질을 밝힌다. 또한 준동형사상을 정의하고 이를 이용하여 직교함의 대수에서의 가환관계를 특성화한다.

• 정보처리학회논문지B
• /
• 제12B권4호
• /
• pp.479-486
• /
• 2005

온톨로지는 차세대 시맨틱 웹을 위한 논리의 기반을 구성하기 위해 제안되었다. 이러한 온톨로지는 특정 분야에 대한 지식을 정형화된 형태로 표현함으로써 기계에 의한 지식의 이해를 가능하게 하고, 이를 사용하여 사용자의 요구에 알맞은 지능화된 서비스를 제공할 수 있게 한다. 하지만, 온톨로지의 구축과 유지는 많은 사람의 시간과 노력을 요구한다. 본 고에서는 온톨로지 구축 방법의 일환으로, 문서로부터 온톨로지를 구성하는 개념간의 관계를 정의하는 자동화된 방법을 제안한다. 본 고에서 제안된 방법은 특정 분야의 문서에 존재하는 개념을 기반으로 개념간의 연관 규칙을 형성하는 개념 쌍을 찾고, 두 개념 사이에 존재하는 내용의 군집화를 통해 두 개념간의 관계를 설명하는 패턴을 찾는다. 마지막으로 패턴간의 군집화를 사용하여 개념 사이의 일반화된 관계를 명시한다. 본 고에서는 제안된 방법을 검증하기 위한 방법으로 TREC(Text REtrieval Conference)에서 제공하는 문서집합을 사용하여 개념간의 관계를 추출, 평가하였으며, 그 결과 제안된 방법은 개념간의 관계를 설명하는 유용한 정보를 제공할 수 있음을 보여준다.

• 한국실내디자인학회논문집
• /
• 제21호
• /
• pp.10-16
• /
• 1999

Mathematics is considered to the beginning of designing thinking because of the sense of logical order system. In this study, it was regarded the mathematics as the logic and the measurement of design system. as is often the case in history, mathematics, it is regard as conceptual model of architectural though, as aesthetic proportional measure and the mirror of thought. The direction of this study is rather multi-sided approaching to the spatial concept than one-sided plane. It is multi-acceptable way to apply mathematical principle to the pace and to be a flexible one. And boundary of interpretation of the flexibility means potential use-ability, and the strictly meaning of flexibility means that the acception of the various Secession and the Change of space. And the various interpretation of the flexibility only can expressed in the relation of opposite concept: the assembly and the disassembly, the expand and the decease, the open and the close and the construct and the de-construct. Mathematics provide the resonable way in architectural thinking and endow the order as logical organizatiov. Regarding these facts, this research is for making it possible to consider the expression property of interior space combination as the way of understanding the accepting of the changes of the times with the mathematical induction, using the rational method like the mathematical arrangement organizatiov.

• 한국과학교육학회지
• /
• 제22권5호
• /
• pp.923-943
• /
• 2002

The purpose of this study was to investigate the relation between the levels of cognitive conflict and students' conceptual change. In this study, 30 Korean high school students were selected from 450 10th graders by examining the pretest results. Two different strategies were used to induce cognitive conflicts in students, an anomalous or conflict situations; demonstrations and logical arguments against students' preconception. After arousing the students' cognitive conflict, the level of cognitive conflict was rated. Pretest, post-test and delayed post-test were administered to check the conceptual change. The tests consisted of 5 items in mechanics and electricity, respectively. Therefore, the demonstration method showed effective conceptual change, more than the logical argument method did. Students changed their conceptions more easily and frequently in the area of mechanics than in electricity. Students who showed higher levels of cognitive conflict indicated more positive conceptual change than those who showed lower conflict levels. 59 cases (56%) out of 105 who experienced high levels of cognitive conflict were changed into scientific conceptions one month later; however only 16 cases (35%) out of 46 who experienced low levels of cognitive conflict changed into scientific conceptions. Students who experienced higher levels of cognitive conflict showed higher rates of conceptual change. It could be concluded that designing instruction to induce cognitive conflict is a useful strategy to promote conceptual change.

• 한국통신학회논문지
• /
• 제26권11A호
• /
• pp.1946-1956
• /
• 2001

본 논문에서는 관계 벡터 공간상의 특징 대응에 관한 확률적 해석에 기반한 새로운 부분 인식 기법을 제안한다. 효과적인 인식을 위해 물체를 관계 속성 그래프(Attributed Relational Graph; ARG)와 관계 벡터 공간들의 집합으로 표현한다. 또한 잡음이나 특징 소실로 인한 왜곡을 관계 벡터 공간에서의 관계 벡터 분포에 대한 왜곡으로 확률적으로 모델링한다. 제안하는 부분 인식 기법은 두 단계로 이루어진다. 우선 지역적인 특징(local feature)과 구조적인 일관성(structural consistency)을 사용하여 후보집합을 추출한다. 이렇게 추출된 후보집합 각각에 대해 관계 벡터 공간상에서의 에러 분석과 반복적인 voting 알고리즘을 통해 특징 소실을 검출한다. 실제 영상에 대한 실험 결과를 통해 제안한 알고리즘이 잡음이나 가리어짐이 심한 경우에도 강건한 성능을 보임을 알 수 있으며, 릴렉세이션(relaxation) 기법과 수행 시간 비교 분석을 통해 계산량 측면에서의 성능 향상을 확인할 수 있다.

• 한국문헌정보학회지
• /
• 제49권1호
• /
• pp.45-67
• /
• 2015

본 연구의 목적은 KCI의 인문, 사회, 예술체육 분야 저자키워드를 기반으로 구축한 구조적 학술용어사전 데이터베이스 시스템 STNet에 실제 입력된 용어들의 의미적 관계들을 분석하여 관계 유형을 최적화하고 관계명을 세분화하는 방안을 기술하는 것이다. 분석 결과, 관계 유형과 관계명을 최적화하기 위해서는 빈도수에 의한 관계명 신설 또는 관계의 유형화 제한, 관계의 방향성 고려, 기존 관계명 반영의 4가지 논리적 기준이 필요한 것으로 나타났다. STNet의 "실존인물" 클래스를 테스트베드로 삼아 이 기준을 적용해 관계 유형을 최적화하고 관계명을 세분화한 결과 원래 RT, RT_X, RT_Y로 연결된 1,743건의 관계 중 1,135건이 세분화되는 것으로 나타났다. 이는 약 65%의 RT 관계가 구체화된 것으로 사전 구축 및 검색 단계에서의 유용성 측면에서 상당한 의미가 있음을 보여주는 것이다.