• Title/Summary/Keyword: 결정성 검증

Search Result 2,383, Processing Time 0.03 seconds

식품위생관리와 Hazard Analysis Critical Control Point System

  • Kim, Chang-Nam
    • 한국유가공학회:학술대회논문집
    • /
    • 1997.10a
    • /
    • pp.1-49
    • /
    • 1997
  • HACCP팀은 모든 종사자(소유자 포함)에 대한 기구조직표, 역할분담 및 인수인계사항을 작성하고 모든 종사자는 사전에 HACCP system에 대해 충분히 이해시킬것. 또한 자체 위생관리현황이나 법적 관련규정을 정확하게 이해할 것. HACCP(준비)팀은 HACCP system의 적용을 위한 식품 품목 또는 유형, 시설, 공정단계, 지역 및 위해요인 종류의 범위를 정확하게 결정하여 문서화할 것. 제품설명서와 공정흐름도는 이후 단계에 매우 중요한 기초정보를 제공한다. 따라서 현장을 확인하는 등 사실에 입각하여 정확하게 작성할 것. 위해분석은 인내심을 가지고 현실성을 고려한 충분한 기초자료를 이용하여 정확하게 수행할 것. CCP의 결정전에 위해방지방법, 허용수준, 관리자를 결정하고 해당공장내이 현실성을 고려하여 CCP를 결정할 것. 관리기준 및 허용오차는 물리화학적 인자에 대하여 충분한 기초자료를 통해 설정할 것. CCP에 대한 모니터링과 개선조치 방법을 6하원칙에 준하여 현장생산종사자 중심으로 구체적으로 작성할 것. 모니터링과 검증은 명확하게 구분하여 관리할 것.

  • PDF

Prioritization of Flood Restoration Projects by Administrative Districts (행정구역별 치수사업의 우선순위 결정)

  • Kang, Seongkyu;Choi, Si Jung;Lee, Dong Ryul
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2018.05a
    • /
    • pp.470-470
    • /
    • 2018
  • 본 연구는 2014년 부산지역에서 발생한 집중호우에 따른 피해상황을 읍 면 동 단위의 행정구역에 대해 조사하고, 각 행정구역별 수해복구사업의 우선순위를 결정 할 수 있는 방법을 모색하는 것을 목표로 한다. 피해현황은 인명피해(사망, 이재민 수), 건물 및 선박, 농경지 침수에 의한 피해, 공공시설물에 대한 피해를 조사하였다. 또한 피해 요인별 피해액을 집계하여 수해복구사업의 평가기준으로 이용하였다. 사업의 경제성은 B/C분석 결과를 통해 반영하였다. 각 행정구역에 대한 우선순위는 다기준분석 중 PROMETHEE, ELECTRE 방법으로 분석하였고 표준화 방식은 T-Score방식을, 가중치는 엔트로피 방식으로 결정하여 분석에 반영하였다. 본 연구에서는 실제 발생한 호우에 대한 피해복구사업에 적용하여 검증을 시도하였으나, 향후 치수사업의 다양한 대안을 선정하고 우선순위를 결정하여 실제 도시개발 및 정비 사업 등으로 분야를 확장할 수 있을 것으로 기대한다.

  • PDF

한국 기혼부부의 가사노동분업

  • Eun, Gi-Su
    • Korea journal of population studies
    • /
    • v.32 no.3
    • /
    • pp.145-171
    • /
    • 2009
  • 이 연구는 한국 기혼부부가 가사노동을 어떻게 분담하고 있고, 가사노동시간의 배분에 영향을 미치는 요인이 무엇인지 검증하고 있다. 개인적인 차원에서 부부인 남성과 여성이 어떻게 가사노동을 분담하는지 밝히기 위해 성 이데올로기론, 시간제약이론, 상대적 자원이론 등 세 이론을 검토한 후 가설을 설정하였다. 가설을 검증하기 위해 2004년 생활시간조사 자료 가운데 현재 결혼해서 부부가 함께 한 가구에서 살고 있는 경우만 추출하고 부부의 자료를 하나의 레코드로 변환하여 부부의 가사노동분업에 영향을 미치는 요인을 검증하였다. 연구결과 성 이데올로기론에서 나온 성역할에 관한 태도는 남성이나 여성 모두 가사노동시간을 결정하는 데 영향을 미치지 않는 것으로 나타났다. 성역할에 관한 태도나 가치가 가사노동이라는 행위에 영향을 미치지 않는 것이다. 그러나 시간제약이론에 따라 설정된 상대적 노동시간은 남성과 여성의 가사노동시간에 큰 영향을 미친다. 이 변수가 들어간 모형의 설명력이 특히 여성의 경우 높게 나타나고 상대적 노동시간이 가사노동시간에 미친 영향은 남성과 여성 모두에 유의미하고 영향은 남성과 여성 모두 비선형적인 형태를 나타낸다. 반면에 상대적 자원이론에 따른 상대적 소득의 효과는 남성의 경우 여성의 소득이 증가하면 남성의 가사노동 참여가 꾸준히 증가하는 현상을 나타내며, 여성의 경우는 일단 여성의 소득이 있게 되면 소득의 다과에 관계없이 일정하게 가사노동을 줄이는 것으로 보인다.

초고속인터넷의 고객유지와 충성도 결정요인에 관한 연구

  • 연규동;박명철
    • Proceedings of the Korea Technology Innovation Society Conference
    • /
    • 2001.11a
    • /
    • pp.141-168
    • /
    • 2001
  • 본 연구는 초고속인터넷 접속서비스에서 $\ulcorner$서비스 품질$\longrightarrow$고객만족$\longrightarrow$재구매의도(고객충성도)$\lrcorner$의 일반적인 인과관계가 적용되는지를 규명하고, 고객만족, 재구매의도와 고객충성도에 영향을 미치는 서비스 품질속성을 살펴보면서, 궁극적으로 품질속성 중 고객유지와 충성도를 향상시키는 핵심 품질요소를 도출하기 위한 모형을 이론적으로 제시하고, 그 모형의 유효성을 설문조사와 이에 대한 실증분석을 통해 평가하는데 목적이 있다. 모형을 검증하기 위하여 세 단계의 분석과정을 수행하였다. 첫째, 전반적 서비스 품질과 고객만족, 재구매의도(또는 고객충성도), 그러고 고객만족과 재구매의도 및 고객충성도의 상호관계를 검증하였다. 둘째, 고객만족, 재구매의도 및 고객충성도에 영향을 미치는 선행변수인 품질속성(서비스 성능, 서비스 지원, 부가서비스, 이용요금, 과금, 절차 편리성)들의 영향력을 검증하였다. 마지막으로 공통적 개념으로 분류된 품질속성이 개별적인 품질요소의 미세한 차이를 제대로 반영하지 못하는 단점을 극복하고, 고객유지와 충성도 향상을 위한 핵심 품질요소를 도출하기 위하여 품질속성을 대표하는 품질요소들과 재구매의도와 고객충성도의 상관관계를 살펴보았다. 초고속인터넷 접속서비스 이용자를 대상으로 웹설문조사를 실시하여 총 551 개의 표본을 분석에 사용하였으며, 분석결과는 다음과 같다. 첫째, 서비스 품질은 재구매의도와 고객충성도에 비해 고객만족에 높은 설명력을 갖고 있으며, 재구매의도에 대한 서비스 품질과 고객만족의 설명력은 미미한 것으로 나타나, 고객만족이 더 높은 설명력을 갖는다는 기존의 연구와 차이를 보여 향후 추가적인 연구의 필요성이 제기되었다. 둘째, 여섯 가지의 품질속성들 중 서비스 이용과정에서 1, 2 회의 적은 경험을 하게 되는 서비스 이용절차의 편리성을 제외하곤 나머지 속성 모두 고객만족, 재구매의도 및 고객충성도의 선행변수로써 영향을 미치고 있는 것으로 나타났다. 그러나 절차 편리성은 고객충성도에 유의한 영향을 미치는 것으로 나타나, 충성도는 고객이 서비스를 총체적인 관점에서 평가하고 나타나는 행동이라는 시사점을 얻었다. 셋째, 재구매의도와 고객충성도를 결정하는 품질요소로서는 서비스 안정성, 불만사항 처리결과, 회사의 이미지, 다양한 부가서비스가 도출되었다. 본 연구의 결과는 초고속인터넷 접속서비스의 품질 및 결과변수들에 대한 인과관계를 분석하였다. 그리고 경쟁이 치열해지는 시장 환경에서 미래의 재무적 성과와 수익성을 보장하는 충성스런 고객을 확보하기 위하여 필수적으로 관리되어야 할 핵심 품질요소의 제시와 이에 따른 제언을 하였기 때문에 사업자들이 품질 및 마케팅 전략을 수립함에 있어서 이론적, 실무적 근거를 제공하여 준다.

  • PDF

Verification of Winglet Effect and Economic Analysis Using Actual Flight of A321 Sharklet Model (A321 Sharklet 모델의 운항실적을 이용한 윙렛 장착 효과 검증 및 경제성 분석)

  • Jang, Sungwoo;Lee, Youngjae;Kim, Kangwook;Yoo, Jae Leame;Yoo, Kwang Eui
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.49 no.4
    • /
    • pp.273-279
    • /
    • 2021
  • Winglets are specialized wingtip devices to reduce induced drag, and they have been installed on Boeing-made aircraft since the 1980s, Airbus has also developed a winglet named 'Sharklet' since 2009 and has started providing them as an option to the A320 Family. The winglet has the effect of improving take-off performance, reducing fuel consumption, increasing payload, and increasing flight distance by reducing the induced drag generated at the tip of the wing. The purpose of this study is to analyze the actual flight data of the sharklet-installed and non-sharklet-installed models of the A321 aircraft to verify the fuel efficiency improvement due to the winglet installation, and to analyze the economic analysis accordingly. Through this, it can be used to determine the winglet installation when introducing an aircraft or to make a decision for upgrading the existing aircraft. To this end, a case study on the aerodynamic characteristics and effects of the winglet installation was conducted, and the economic analysis was verified.

Local Model Checking for Verification of Real-Time Systems (실시간 시스템 검증을 위한 지역모형 검사)

  • 박재호;김성길;황선호;김성운
    • Journal of Korea Multimedia Society
    • /
    • v.3 no.1
    • /
    • pp.77-90
    • /
    • 2000
  • Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

  • PDF

A Study of Job Satisfaction According to Director's Leadership Style and Type of Decision-making Recognized by Child Care Teachers (보육교사가 인식한 원장의 지도성 유형 및 의사결정 유형에 따른 직무만족도 연구)

  • Min, Hea Young
    • Korean Journal of Childcare and Education
    • /
    • v.11 no.1
    • /
    • pp.83-100
    • /
    • 2015
  • The purpose of this study is to find out the effects of directors' leadership style and the type of decision-making on improving child care teachers' job satisfaction which is essential to operate high-quality nursing. The survey method was used for 184 child care teachers who work for child care centers. The collected data were analyzed using one-way analysis of variance and posteriori test to find out the differences in teachers' job satisfaction according to their recognition of directors' leadership and decision-making. The result showed that differences exist in child care teachers' job satisfaction according to the leadership and decision-making of directors as recognized by the teachers. The score of child care teachers' self-development, work, welfare & social stability related to job satisfaction hit the highest when directors' leadership type was efficiency-centered. Similarly, participatory decision-making type, which is the most ideal type, scored the highest in all sub-components of job satisfaction in the case of directors' type of decision-making. This implies that the directors who prefer positive leadership and democratic participatory decision-making type increase teachers' job satisfaction which will positively affect the child care centers' qualitative development.

Determinants of Preschoolers' Self-determination: Focus on their Playfulness, Self-esteem, and Self-regulation (유아의 자기 결정력에 영향을 미치는 요인 :유아의 놀이성, 자아존중감, 자기조절력을 중심으로)

  • Park, Geun Joo;Seo, So Jung
    • Korean Journal of Childcare and Education
    • /
    • v.9 no.5
    • /
    • pp.489-511
    • /
    • 2013
  • The main purpose of this study is to examine the effects of preschoolers' levels of playfulness, self-esteem and self-regulation on their self-determination. Furthermore, the mediational effects of the children's self-esteem in the relationship between their playfulness and self-determination. To meet the purposes of this study, 126 preschoolers aged 6-7 years old who attended early childhood education and care settings were sampled. Data on the preschoolers' self-esteem, self-regulation, and self-determination were assessed by their teachers, and their playfulness was observed by one of the researchers in this study. The main results of this study were as follows. The most influential variable on the young children's self-determination was found to be their levels of self-esteem. Also, the preschoolers' self-esteem mediated the effects of the playfulness on their self-determination. Implications for research and practice were discussed along with the results of this study.

A Tag Proximity Information Acquisition Scheme for RFID Yoking Proof (RFID 요킹증명을 위한 인접태그 정보 획득 기법)

  • Ham, Hyoungmin
    • The Journal of the Korea Contents Association
    • /
    • v.19 no.9
    • /
    • pp.476-484
    • /
    • 2019
  • RFID yoking proof proves that a pair of tags is scanned at the same time. Since the tags scanned simultaneously by a single reader are adjacent to each other, the yoking proof is used in applications that need to check the physical proximity of tagged objects. Most of the yoking proof schemes require pre-knowledge on adjacent tags. If an error occurs in the process of collecting information about adjacent tags, all subsequent proofs will fail verification. However, there is no research that suggests specific methods for obtaining information about adjacent tags. In this study, I propose a tag proximity information acquisition scheme for a yoking proof. The proposed method consists of two steps: scanning area determination and scanning area verification. In the first step, the size and position of the area to scan tags is determined in consideration of position and transmission range of the tags. In the next step, whether tag scanning is performed within the scanning area or not is verified through reference tags of the fixed position. In analysis, I show that the determined scanning area assures acquisition of adjacent tag information and the scanning area verification detects deformation and deviation of the scanning area.

Certificate Status Validation Method using Signer Information (서명자 정보를 이용한 인증서 상태 검증 기법)

  • 김현철;이용준;백주호;오해석
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.04a
    • /
    • pp.208-210
    • /
    • 2004
  • 인증서 상태 검증이란 해당 거래에서 사용되는 인증서에 대한 유효성을 결정하는 과정으로 인증서를 이용하는 거래에 90%이상이 실시간적이고 신속 정확한 처리를 필요로 하는 인터넷뱅킹과 증권 트레이닝에 사용된다. 하지만 기존의 CRL을 이용한 인증서 상태 검증 기법은 인증서 상태의 대한 실시간성을 반영할 수 없다는 문제점이 있다. 이와 같은 CRL 기반의 인증서 상태 검증 기법의 문제점을 해결하고자 OCSP를 이용한 인증서 상태 검증 기법이 제기되었다. 이 기법은 인중서 상태에 대한 실시간성 문제는 해결 한 수 있었지만 OCSP 서버에 대한 중앙 집중화 처리구조로 인해 네트워크 과부하라는 또 다른 문제가 발생한다. 따라서 본 논문에서는 서명자가 인증서 발급을 요청하고 이에 따른 결과로 인증서가 인증기관으로부터 발급되었을 때 서명자정보와 인증서 일련번호가 인증기관 데이터베이스에 매칭 되어 저장된다는 점에 기인하여 위에 문제점들을 해결할 수 있는 서명자의 정보를 이용한 인증서 상태 검증 기법을 제안한다.

  • PDF