• Title/Summary/Keyword: 세분

Search Result 931, Processing Time 0.212 seconds

Property Specification Patterns for Modal $\mu$-Calculus (양상 뮤 논리를 위한 속성 명세 패턴)

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

  • PDF

오차를 갖는 부품간의 조립성 확인을 위한 인터벌 분석

  • 박상호;이건우
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1995.04a
    • /
    • pp.535-543
    • /
    • 1995
  • 조립체를 표현하는 가장 간단한 방법은 각 부품의 좌표간의 변환 행렬을 이용하여 위 치와 방향을 정의하는 것이다. 이때 각 부품은 가공단계에서 발생한 형상 오차를 가질 수 있는데 그 형용영역은 설계단게에서 공차로 지정된다. 이러한 형상 오차나 공차를 갖는 부품들이 조립시 가질수 있는 위치와 방향의 허용영역을 구한여 조립성을 판단할 수 있다. 조립성이란 주워진 위치에서 조립이 가능한 가 하는것과 조립경로가 존재하는 가 하는 것 이다. 본 연구에서는 조립성 확인을 위하여 인터벌 수를 세분하는 방법의 인터벌 분석을 이용한다.

Recognition of Handwriting Chinese Characters Based on DP matching (DP 정합을 이용한 필기체 한자 인식)

  • 전상엽;권희용
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2004.05a
    • /
    • pp.285-288
    • /
    • 2004
  • 온라인 필기체 한자는 동일인의 동일 문자조차도 회수, 획순 및 형태의 변화가 다양할 뿐만 아니라 인식 대상이 방대하여 인식이 매우 어렵다. 또한 한자는 기본 자소의 조합에 의한 글자가 아닌 각각의 글자가 독립적으로 이루어져 있어 연속된 획들 간의 관련도를 파악하기 어렵고 획수도 1획에서 28획까지 다양하게 분포를 한다. 따라서 본 연구에서는 대분류 단계로 시작획 비교를 하고 이어진 세분류 단계에서 문자의 특징으로 방향코드와 특이점을 추출해내고 획수를 고려하여 DP 정합을 하는 2단계 인식 시스템을 제안하였다. 이로써 최적의 속도로 입력한 문자를 찾아낼 수 있도록 하였다.

  • PDF

A Study on Librarian's Job Stress with Black Consumer in Public Libraries (도서관 블랙컨슈머와 사서 스트레스 연구)

  • Sim, Min-Seuk;Nam, Yeong-Joon
    • Proceedings of the Korean Society for Information Management Conference
    • /
    • 2015.08a
    • /
    • pp.99-102
    • /
    • 2015
  • 도서관 민원과 이용자 불평행동을 살펴보고, 사서의 직무 불안을 야기하는 이용자 불평행동에 대한 이론적인 접근과 조사를 통해, 도서관 현장에서의 블랙컨슈머와 사서스트레스의 상관성을 분석하고자 한다. 본 논문은 지금까지의 사서의 직무스트레스 관련 연구가 직무스트레스 요인분석, 직무만족과의 관련성을 분석하였다면, 사서 직무에 대한 업무 범위를 좀 더 세분하여 사서의 대민서비스 역할에 주목하고, 도서관의 불량고객의 유형을 파악하여, 감정노동 분야 및 소비자학에서 논의되어 왔던 불평행동에 따른 직무스트레스 부분에 대하여 심도 있게 접근하고자 한다.

  • PDF

The Application of Innovative Strategies for Addressing Petroleum Impacted Groundwater

  • Ricciardelli, Albert J.;Connolly, Julianna B.
    • Geotechnical Engineering
    • /
    • v.23 no.10
    • /
    • pp.10-16
    • /
    • 2007
  • 유류에 의해 오염된 지하수와 지반의 처리시 오염 정도와 향후 부지사용 목적에 따라 적절한 처리 기준을 정하는 것이 선행되어야 한다. 미 메사추세츠주에서는 오염물의 음용수에 대한 노출 정도에 따라 지하수의 오염처리 기준을 세분하는데, 그 중 가장 엄격한 것이 GW-1 기준이고 반대로 가장 관대한 것은 UCL 기준이다. 본 컬럼은 이 두 기준을 각각 적용한 사례연구를 통해 유류오염 지하수 및 지반 처리 기술을 소개하고 있다.

  • PDF

Analysis on the Current Status of Maintenance and Monitoring of the Bridge Across Seokdaecheon, Busan Metro Line 4 (부산도시철도 4호선 석대천 횡단 교량의 유지관리계측 현황분석)

  • Woo, Jong-Tae
    • Proceedings of the Korean Society of Disaster Information Conference
    • /
    • 2022.10a
    • /
    • pp.349-351
    • /
    • 2022
  • 1차 안전기준은 안전한 공사관리를 위한 목표치이며, 2차 주의기준은 주변구조물이나 주민에게 안전에 영향을 미칠 수 있는 범위 값이며, 3차 정밀분석기준은 공사장 자체의 위험에 대비하는 기준을 의미 하므로 향후에는 계측항목별로 계측관리기준을 세분하여 적용하는 것이 필요하다.

  • PDF

Analysis on Apartment Marketing Strategy by Market Segmentation - Focused on The Basis of Theory for Market Segmentation And Positioning (시장세분화를 통한 아파트 마케팅전략에 관한 연구 - 시장세분화와 상품포지셔닝전략의 이론적 토대를 중심으로 -)

  • Kim Yong-Deok;Kim Kyung-Rai;Shin Dong-Woo
    • Proceedings of the Korean Institute Of Construction Engineering and Management
    • /
    • autumn
    • /
    • pp.549-554
    • /
    • 2002
  • As the rate of housing supply is increased and consummer's diversified demand is changed. the direction of management of construction company is changed into marketing-based and the development of distinguished product. Therefore, this study purpose to establish the marketing strategy of apartment by the method of market segmentation. This study purpose to (1) analyze general methodology of apartment market-segmentation and positioning, (2) propose an alternative plan of apartment positioning for the effective marketing strategy. The method which was proposed in this study will be applied in strengthening the popularity of construction companies and the development of distinguished products.

  • PDF

Comparison on Smartphone Addiction Tendencies According to the Lifestyle Characteristics of Undergraduates on Internet Environment (인터넷 환경에서 대학생의 라이프스타일 특성에 따른 스마트폰 중독성향 비교)

  • Kim, Kyung-Hee
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.20 no.1
    • /
    • pp.185-192
    • /
    • 2016
  • The purpose of this study is to compare smartphone addiction tendencies among the subdivided groups of undergraduates according to their lifestyle characteristics integratively. The results of positive analysis are as follows: first, undergraduates' lifestyles were drawn as six factors: the 'economic oriented type', 'aggressive activist type', 'fashion pursuing type', 'self-confident type', 'materialistically oriented type', and 'free will pursuing type'. Second, according to the result of dividing the groups based on the six factors, they were classified into the 'fashion pursing group', 'self-confident group', and 'aggressive, self-confident, and materialistically oriented group'. Third, each of the subdivided groups showed significant difference in smartphone addiction. Generally, the 'fashion pursuing group' indicated higher smartphone addiction tendencies than the other group. The findings of this study can provide fundamental and useful information to solve problems related to smartphone addiction resulted from excessive use of smartphones and causing a lot of troubles socially and also in health.

An Analytical Study on the Expansion Rates of Mortar-bars (ASTM C 227-90) for Basalt and Various Aggregates (모르타르봉 시험(ASTM C 227-90)에 의한 현무암 골재 등의 팽창률 분석 연구)

  • 정지곤;김경수
    • The Journal of Engineering Geology
    • /
    • v.13 no.3
    • /
    • pp.309-320
    • /
    • 2003
  • Since the concrete covers most structures in modern architecture and it is composed of aggregates of about 75%, the appropriate selection of aggregates is valuable for the durability of concrete. A major cause of the expansion of mortar-bar measured by ASTM C 227-90 has been accounted by the alkali-aggregate reaction. This study carried out designed experiments on some aggregates including basalt and sandstone, to classify the expansion factors into the alkali-aggregate reaction, the increase of the gel pore volume, and the interstitial water that could expand physically the cracks or foliation developed in aggregates itself. The quantitative analyses of expansion by each factor indicated that the interstitial water and/or the alkali-aggregate reaction had major roles in the concrete expansion. Thus, if the supplied aggregates have deteriorated the structural framework, it is important to investigate the exact causes through this suggested method.