• 제목/요약/키워드: a logical framework

검색결과 130건 처리시간 0.027초

공동저작 시스템에서의 동시성 제어와 쓰기 권한 제어 (A Framework for Concurrency Control and Writing Authority Control in Collaborative Writing Systems)

  • 유재홍;성미영
    • 한국정보처리학회논문지
    • /
    • 제7권2호
    • /
    • pp.347-354
    • /
    • 2000
  • 이 논문에서는 공동제작 시스템에서의 동시성 제어와 쓰기 권한 제어를 위한 효율적인 방안을 제시한다. 본 연구에서 다루는 공동젖작시스템의 문서는 논리 객체들로 구성된 트리 구조와 트리 구조의 단말에 연결된 내용 조작들로 표현된다. 이러한 문서의 논리구조를 다루는 공동저작 시스템의 동시성 제어 기법을 우리는 계층적으로 구성된 객체들에 대해 각 계층별로 잠금을 요청할 수 있는 다중 잠금(multiple granularity locking) 기법을 확장하는 접근을 채택하였다. 계층적으로 구성된 객체들에 대한 연산을 세분화하여 잠금 호환 테이블(locking compatibility table)을 정의하고, 이 테이블을 기반으로 잠금을 허락하는 확장된 다중 장금(extended multiple granularity locking) 기법을 제안한다. 이 기법은 여러 사용자들의 공유 객체에 대한 동시 접근을 극대화하는 장점이 있다. 또한 이 논문에서는 그룹/비그룹(Group/Non-Group) 개념을 적용하여 비그룹 사용자들의 쓰기를 방지함으로써 매우 합리적으로 저작권을 보호할 수 있는 쓰기 권한 기법을 제안한다.

  • PDF

베이지안분석을 이용한 철도건널목 Accident Modification Factors (AMF)에 관한 연구 (Analysis of Accident Modification Factors (AMF) for Roadway-Rail Grade Crossing Accidents with Baysian Method)

  • 오주택;최재원;박동주
    • 대한교통학회지
    • /
    • 제22권4호
    • /
    • pp.31-42
    • /
    • 2004
  • 본 논문에서는 철도건널목에서 일어나는 사고를 줄이기 위해 새롭게 시도되는 개선대안(Countermeasure)들의 안전성 및 효율성을 베이지안 분석방법론을 이용하여 안전전문가들의 평가결과를 정량화 시키는 방법론을 제시하였다. 이를 위해 전문가 개개인의 사전지식에 논리에 기초한 정보를 제공할 수 있는 개선대안 분석방법론을 개발하였다. 분석방법론은 우선적으로 철도건널목 안전성을 향상 시킬 수 있는 개선대안 선정, 개선대안을 평가 할 전문가 선정, 그리고 개선대안의 AMF를 평가하기 위한 건널목 사고를 선정하였다. 다음 단계로 안전전문가가 공학적인 개선대안 평가를 수행할 수 있도록 사고이력매뉴얼과 개선대안 평가매뉴얼을 개발하였다. 마지막 단계로, 평가된 개선대안의 통계적 검정을 통해 합리적 AMF를 추출함에 따른 정량화된 안전도를 나타내었다. 개선대안의 통계적 검정은 비모수통계분석의 일종인 Kolmogorov-Smirnov(K-S)동질성 검정을 적용하였으며, 그 결과 안전전문가 개인간의 분포는 동일한 분포를 나타내지 않는 경우가 많이 발생하였다. 반면 개인과 그룹의 분포는 대부분 동일한 분포를 하고 있는 것으로 나타났다. 따라서 철도건널목 개선대안의 AMF값은 전문가 개개인이 평가한 값을 전체적으로 평균한 값을 사용함이 타당한 것으로 연구되었다. 본 논문에서 보여주는 AMF의 정량화과정은 철도건널목에서 뿐만 아니라, 교차로 및 도로구간에서 추후 시도되고자 하는 개선대안들의 안전성 평가에도 사용 가능하리라 판단된다.

방송편성규제의 경로의존성 비판과 개선방향 : 편성비율규제를 중심으로 (A Criticism of Path Dependence in the Broadcasting Programming Regulation : Focusing on Regulation of Programming Quotas)

  • 홍원식
    • 한국엔터테인먼트산업학회논문지
    • /
    • 제14권6호
    • /
    • pp.1-11
    • /
    • 2020
  • OTT와 VOD 서비스의 활성화로 시청행태는 급격하게 변화하고 있지만, 편성규제는 과거와 동일한 방식의 비율 규제에서 벗어나지 못하고 있다. 이에 본 논문은 현행 편성비율규제의 정책적 타당성을 검토하고 이를 바탕으로 개선방향을 제시하는 것을 목표로 한다. 이를 위하여 국내편성비율규제 도입 당시의 정책적 목표와 배경을 고찰하고 이를 현재의 방송시장 현황과 비교하여 살펴보았다. 그 결과, 본 연구는 현재 편성비율규제가 도입 당시의 비대칭규제라는 논리적 틀이 그대로 적용되기 어려운 시장 환경에 놓여 있음에도 불구하고, 비대칭규제를 기반으로 형성된 여러 이해관계자들의 상호관계 속에서 기존의 틀 속에서 미세한 비율의 조정만을 반복하는 경로의 존성의 전형적 모습을 보이고 있다고 지적하였다. 이를 바탕으로, 본 연구는 편성규제가 규제의 목적에 따라 공익적 목적에 의한 규제와 산업적 목적에 의한 규제로 구분하여, 시청자의 공익에 해당하는 직접적 규제로 한정되어 적용될 필요가 있으며, 규제와 진흥의 분리, 그리고 비대칭규제의 해소를 제안하였다.

국민건강증진종합계획 2010의 기획모형과 실제 (The National Health Promotion Plan 2010: The Planning Model and Approaches)

  • 이규식;서미경;한달선
    • 보건교육건강증진학회지
    • /
    • 제23권3호
    • /
    • pp.149-167
    • /
    • 2006
  • Objectives: This study examined the national health promotion plan 2010 in order to identify the agenda and issues to be considered for the improvement of the evaluation of the plan and future planning. In specific, the examination focused on both the planning model and practical aspects of the planning work. With regard to the planning model, attention was directed to the theoretical background, logical framework and assumptions involved in the design. Also, an observation was made in comparison with Japanese $\ulcorner$Health Japan 21$\lrcorner$ and American $\ulcorner$Healthy People 2010$\lrcorner$ which provided main reference to our original health plan 2010 and revised health plan 2010 respectively. From this observation it was found that all the plans of three countries, except our original health plan 2010, basically employed a model of educational and ecological approaches to health promotion planning. As predicted, the practical constraints on the health promotion policy and programs in Korea led to many difficulties in attaining the rationality and validity of the plan. The short period of time afforded for the planning work, the limited availability of relevant data and research findings, and the lack of experiences and competent personnel in health promotion planning were main factors impeding the planning work performance. The observation and analysis of the National Health Promotion Plan 2010 suggest two main implications for the future planning of health promotion. First, it will be both theoretically and practically appropriate to maintain the current planning model basically as it is. Second, there are many practical problems that may impede effective planning for health promotion, thus continuous efforts should be made to remove or alleviate such problems.

최근 국내 해양환경법제도의 변화에 관한 고찰 (A Study on the Recent Change in Korean Legislative System of Marine Environment Related Laws)

  • 박수진
    • 해양환경안전학회지
    • /
    • 제13권4호
    • /
    • pp.43-50
    • /
    • 2007
  • 최근 해양환경법제도에 관한 정비작업이 활발하게 진행되고 있는바, 이는 "지속가능한 개발원칙"과 "사전예방주의 윈칙"을 "법(law)"의 형태로 내재화하고 "정책(policy)"으로 실현하기 위한 노력의 일환이라고 할 수 있다. 연안침식 방지, 기후변화 대책마련과 같이 해양환경에 관한 입법수요는 지속될 것으로 예상된다. 향후에는 해양환경 관련 법률의 법체계를 합리적으로 정비함으로써 법률간 연계성 및 정책의 효율성을 제고하는 것이 필요하다. 또한 해양환경을 효율적으로 보전하기 위해서는 법률과 정책의 정비와 함께 체계적인 연구와 조사가 지속적으로 이루어져야 한다.

  • PDF

화학공정의 HAZOP 분석을 위한 전문가 시스템 개발 (Development of the Expert System for Hazard and Operability Analysis in Chemical Processes)

  • 김구회;강인구;이병우;이종민;윤인섭
    • 한국가스학회지
    • /
    • 제3권1호
    • /
    • pp.48-57
    • /
    • 1999
  • 본질적으로 안전한 공장은 체계적으로 잠재위험요소를 규명한 후 적절한 대처방안 모색을 통하여 유지할 수 있으며, 이를 위한 다양한 위험성 평가 방법론들이 개발되어 활용되고 있다. 최근에는 특히 전통적인 안전성평가방법의 단점을 극복하기 위해 전문가시스템을 도입함으로써 안전성평가방법을 자동화하려는 노력들이 시도되고 있다. 위험 및 운전성분석기법(HAZOP; Hazard and Operability Study)은 정성적인 평가방법 중에서 가장 체계적이고 논리적인 방법으로 인정받고 있다. 반면에 이러한 HAZOP 분석은 여러 인원이 동시에 시간을 내어 또 많은 시간을 투입하여야 하는 단점 및 참여한 엔지니어에 따라 그 결과의 차이가 날 수 있는 등 일관성 있는 평가결과를 얻기 어렵다는 단점이 있다 이에 따라 전체적인 평가의 소요시간을 줄이며 일관적인 평가결과를 얻기 위한 위험성 평가의 자동화가 더욱 필요하다고 하겠다. 이에 본 연구에서는 HAZOP분석 과정을 자동화하기 위한 기반 구조를 제시하고, 이를 이용하여 전문가시스템도구를 통해 HAxSYM이라는 안전성 평가 시스템을 구현하였으며, 개발된 시스템의 유용성을 살피고자 사례연구를 수행하였다.

  • PDF

MORPHEUS: 확장성이 있는 비교 쇼핑 에이전트 (MORPHEUS: A More Scalable Comparison-Shopping Agent)

  • 양재영;김태형;최중민
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권2호
    • /
    • pp.179-191
    • /
    • 2001
  • 비교 쇼핑은 웹 상에 존재하는 웹 상점으로부터 구매를 원하는 상품에 대해 저렴한 가격을 찾아주는 일종의 판매자 중개 방법이다. 보다 쉽게 확장 가능한 비교 쇼핑 시스템을 생성하기 위해서 에이전트는 각각의 준 구조화된 상점으로부터 필요한 정보만을 추출할 수 있는 wrapper를 자동으로 생성해낼 수 있어야 한다. 웹 문서를 작성하기 위한 HTML은 포함하고 잇는 정보의 의미가 아닌 브라우저를 통한 정보의 표현에 대해서만 정의하고 있다. 또한 각 웹 상점들은 사용자의 다양한 상품 검색 요구를 수용하기 위해 다양한 상품 검색 방법과 검색 결과의 출력 형태를 가진다. 따라서 자동으로 필요한 정보만을 추출하는 wrapper의 생성은 어려운 작업이다. wrapper의 귀납적인 생성은 이러한 이질적인 환경을 극복하기 위한 기술이다. 그러나 Shopbot과 같은 기존의 확장 가능한 비교 쇼핑 에에전트는 원하는 상품 정도를 추출하기 위해 강한 바이어스에 의존한다. 따라서 Shopbot은 바이어스를 따르지 않는 많은 웹 상점으로부터 wrapper를 생성할 수 없다. 본 논문에서는 강한 바이어스를 사용하지 않고 wrapper를 생성해 낼 수 있는 비교 쇼핑 에이전트 시스템인 모피우스를 제안한다. 모피우스는 간단하면서도 견고한 학습 알고리즘을 바탕으로 wrapper를 생성한다. 제안하는 학습 알고리즘의 핵심은 상품 검색 결과를 논리적 라인으로 나누고 여기서 나타나는 상품 설명 단위의 패턴으로 wrapper를 생성하는 것이다. 모피우스 대부분의 웹 상점에 대한 wrapper를 정확하게 생성해 낸다. 또한 학습하려는 검색 결과에 노이즈가 존재하는 경우에도 wrapper를 정확하게 추출할 수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.

  • PDF

도시내 한옥보존지구 지정을 위한 기준에 관한 연구 -서울시 한옥보존지구를 사례로- (A Study on Criteria for Establishing the Korean - Style House Preservation Area in Urban Areas - Focused on the Case of the Korean - Style Preservation Area in Seoul City-)

  • 김미진;양윤재
    • 한국조경학회지
    • /
    • 제13권2호
    • /
    • pp.71-90
    • /
    • 1985
  • ^x This study is composed of four Process. Process 1 suggests the background, purpose and necessity to provide with criteria for establishing Korean-style house preservation area including the present situation of the established area in our country. Also it is provided with the approach and the substantial realm to discuss the established criteria for the subject of this thesis. Process 2 dealt with theoretical parts as a premise to suggest the established criteria for the Korean- style house preservation area : 1) Original background of the Korean- style house, characteristic of the Korean traditional housing, changed situation of the Korean- style house based on the epoch, classified into the characteristic of the Korean- style house. 2) The characteristic of the Korean- style house and its values existed in the present urban areas are investigated by synthesizing such contents. 3) The significance for establishing the preservation area of the Korean- style houses in urban areas which is insufficient systematically in suggested as follows : First, establishment of the preservation area of the Korean- style houses with regard to the traditional succession of cultural properties. Second, acknowledging preservation problems of cultural properties in our country due to the world- wide tendency, preservation of historical environment of new comprehensive concept for the preservation of cultural properties. Process 3, as a case study on the establishment of the preservation area, describes a framework for investigating and analyzing the status by reviewing the present situation of the Korean- style preservation area in Seoul city which is established as the preservation area. Process 4 suggests seven criteria with regard to the establishment of the preservation area. 1) A decisive criterion for the Korean- style house to divide into Korean- style house and non- Korean style house (proper building and nonproper building) for the preservation. 2) A concrete decisive criterion for the Korean- style house with regard to valuable endowment with dominent factors in its landscape. 3) A decisive criterion for the review of the landscape preservation for the nonproper building. 4) Suggesting logical evidences for the above second and third criterion (suggesting appropriateness). 5) Dividing into following two criteria for the decision of the building condition. a) A decisive criterion of the Korean- style house's condition. b) A decisive criterion of non- Korean style house's condition. 6) A selective criterion for the preservation building after synthesizing above five criteria. 7) Final criterion for establishing the preservation area with regard to systematic particulars.

  • PDF

양상 논리에 대한 구성주의적 해석 (Constructivist interpretation on the modal logic)

  • 은은숙
    • 철학연구
    • /
    • 제116권
    • /
    • pp.257-280
    • /
    • 2010
  • 본 연구의 목적은 우선 일차적으로 양상논리학체계를 국어의 통사론적 구조 하에서 재구성하는 것이고, 둘째로 이를 구성주의 인식론의 관점에서 해석하는 것이다. 말하자면, 본 연구는 논리학에 대한 인식론적 해석, 즉 일종의 메타-논리학적 연구이다. 본 연구는 논리(규칙) 및 논리학적 체계는 선험적으로 우리 정신에 주어진 원리가 아니라, 인식 주관이 외적 대상들을 조작하는 행동들 중에서 반복적으로 작용하는 메커니즘들을 형식적으로 구조화하는 데서 성립한다는 것을 정당화하고자 한다. 말하자면, 논리규칙의 후험적 구성주의 논제를 정당화하고자 한다. 따라서 본 연구는 일체의 논리적 구조들을 심리학적 구조들에로 환원을 시도하는 일종의 환원주의이다. 필자가 강조하는 논리적 구성의 두 계기는 체계의 닫힘과 새로운 모순의 발견이다. 따라서 여기서는 명제계산체계 내에 있는 모순을 지적하고 이를 극복하기 위해서 양상논리가 출현하게 되었다는 것과 그럼에도 불구하고 이 체계 역시 새로운 모순을 만난다는 것을 증명하고자 한다. 결국 논리의 구성주의의 논제는 상위의 체계는 하위의 체계에 없던 새로운 제한적 속성이 등장한다는 것을 해명하는 것이 될 것이다.

초등영재학생의 인지양식 그룹별 골드버그 장치에 대한 문제해결전략 (Problem Solving Strategy for Goldberg Machine Task According to the Cognitive Styles of Elementary Gifted Students Group)

  • 권용태;강호감
    • 영재교육연구
    • /
    • 제25권1호
    • /
    • pp.77-93
    • /
    • 2015
  • 본 연구의 목적은 초등영재학생의 장의존적-장독립적 인지양식에 따른 골드버그 장치 과제에 대한 문제 해결 전략을 알아보는 것이다. 연구 대상은 화성시 P초등학교의 영재학급 학생 16명이며, 사전에 인지양식 검사를 실시하여 학생들을 장의존적 그룹, 약한 장의존적 그룹, 중간적 그룹, 약한 장독립적 그룹, 장독립적 그룹의 5개 그룹으로 편성하였다. 골드버그 장치의 과제는 구슬을 시작 지점에서 가장 늦게 목표지점에 도달하도록 $1m^3$의 앵글구조틀 내부에 장치를 제작하는 것이었다. 연구의 결과는 다음과 같다. 첫째, 장치 제작을 위한 계획에 있어서 장독립적인 성향이 강한 그룹일수록 구체적인 전략이 반영된 계획을 수립하였고 장의존적인 성향이 강한 그룹일수록 비구체적인 전략으로 계획을 수립하였다. 둘째, 모든 인지양식 그룹은 제한된 시간을 고려해서 많은 장치의 제작보다는 장치의 미세한 조절을 통해 구슬이 목표 지점에 가장 늦게 도착하도록 장치를 제작하였다. 셋째, 장독립적인 그룹은 논리적인 추론을 많이 사용하였고 장의존적인 그룹은 직관적인 사고를 많이 사용하였다. 넷째, 장독립적인 그룹은 협동 및 역할분담 등의 전략을 적절히 활용하였고 장의존적인 그룹은 협동보다는 개인적으로 과제를 해결하려고 노력했으며 역할분담이 원활하지 않았다. 다섯째, 과제해결의 결과는 장의존적인 성향 또는 장독립적인 성향의 한쪽으로 치우친 성향보다 중간적 그룹에서 과제해결의 결과가 우수하였다.