• 제목/요약/키워드: Model-checking

검색결과 569건 처리시간 0.026초

마코프 체인을 이용한 군인연금 안정상태에 관한 연구 (A Study on the Stationary State of Military Pension using Markov Chains)

  • 배영민
    • 디지털융복합연구
    • /
    • 제19권2호
    • /
    • pp.61-69
    • /
    • 2021
  • 평균 수명과 연금 선택률 증가에 따른 군인연금 적자가 늘어나고 있으며 이에 대한 중요한 원인은 군인연금 수령자의 지속적인 증가로 추정되고 있다. 군인연금 재정의 건전성 측면에서 중·장기적인 군인연금 수령자의 규모를 확인하는 연구가 부족한 현실에서 본 연구는 마코프 체인 모형을 이용하여 군인집단의 안정상태를 확인하여 재직 인원대비 연금수령 비율인 부양률 측면에서 향후 군인연금 제도가 나아가야 할 방향을 제시하고 검증을 통해 적용 방법의 타당성을 확인한다. 본 연구를 통해서 초기 45,270 명 수준의 군 재직 인원은 일정 시간이 지나면 43,141 명으로 수렴하여 안정상태에 도달하는 것을 확인하였으며 이를 통해 군인연금 수령자의 중·장기적 규모를 추정하여 부양률 측면에서 국가 재정지원의 방향성을 확인할 수 있을 것으로 기대된다. 군인연금 수령자 대상인 20년 이상의 군인은 다른 민간직업과 비교하여 이직 또는 퇴직하는 비율이 상대적으로 낮은 상태로 상태 정의가 수월하고 상태에 대한 전이확률을 단순하게 적용할 수 있다. 따라서 군인집단을 하나의 시스템으로 보고 그 활동기간 중 진급, 현 계급 유지, 퇴직 등의 상태 전이확률을 확인하여 마코프 체인 모형에 적용함으로써 안정적 상태의 군인집단 상태를 도출하여 장기적 관점에서 군인연금의 지속가능성을 확인할 수 있을 것으로 기대한다.

BIM 모델 내 공간의 시멘틱 무결성 검증을 위한 그래프 기반 딥러닝 모델 구축에 관한 연구 (Development of Graph based Deep Learning methods for Enhancing the Semantic Integrity of Spaces in BIM Models)

  • 이원복;김시현;유영수;구본상
    • 한국건설관리학회논문집
    • /
    • 제23권3호
    • /
    • pp.45-55
    • /
    • 2022
  • BIM의 도입에 따라 공간이 개별 객체로 인식되면서 객체화된 공간의 속성정보는 법규검토, 에너지 분석, 피난 경로 분석 등을 위한 기반 데이터로 사용 가능하기에 BIM의 활용성을 넓힐 수 있는 발판을 마련하였다. 그러나 BIM 모델 내 개별 공간 속성의 오기입이나 누락이 없는 시멘틱 무결성(semantic integrity)이 보장되어야 하는데, 다수의 참여자에 의한 수작업으로 진행되는 BIM 모델링 과정 특성 상 설계 오류가 빈번히 발생한다는 문제점이 존재한다. 이를 해결하기 위해 BIM 모델의 공간 정합성 검증을 위한 연구가 다수 진행되었으나, 적용 범위가 한정적이거나 분류 정확도가 낮은 한계점이 존재하였다. 본 연구에서는 공간의 기하정보 뿐 아니라 BIM 모델 내 공간과 부재 간 연결 관계를 Graph Convolutional Networks (GCN) 학습과정에 활용하여 향상된 성능의 공간 자동 분류모델을 구축하고자 하였다. 구축된 GCN 기반 모델의 성능을 공간의 기하정보만으로 학습된 기계학습 모델인 Multi-Layer Perceptron (MLP)과 비교하여 공간 분류 시 연결 관계 적용의 효용성을 검증하고자 하였다. 이를 통해 관계정보 활용 시 약 8% 내외 수준으로 공간 분류 성능이 향상되는 것으로 확인되었다.

모바일 환경에서 지하공간객체의 경량화를 위한 단순화 방법 (Simplification Method for Lightweighting of Underground Geospatial Objects in a Mobile Environment)

  • 김종훈;김용태;고훈준
    • 산업융합연구
    • /
    • 제20권12호
    • /
    • pp.195-202
    • /
    • 2022
  • 지하공간정보지도 관리 시스템은 지하공간의 다양한 지하시설물을 3D 메쉬 데이터로 통합하고, 모바일 환경에서 지하시설물의 3D 이미지와 위치를 확인할 수 있도록 지원한다. 그러나 모바일 환경에서 실행되는 일정 지역 안에는 다양한 지하시설물이 존재할 수 있고 층층히 겹쳐 보일 수 있어서 모바일 환경에서 실행하는데 시간이 오래 걸리는 문제가 있다. 본 논문에서는 가시성에서 문제가 되지 않는 범위 내에서 3D 메쉬 데이터의 정점의 개수를 줄여서 데이터의 크기를 줄임으로써 모바일 환경에서 실행 시간을 줄일 수 있는 방법으로 딥러닝 기반 K-means 정점 클러스터링 알고리즘을 제안한다. 첫번째로 우리가 제안하는 방법은 딥러닝 Encoder-Decoder 기반의 모델을 통하여 정재된 정점의 특징 정보를 얻고, 두번째로 특징 정보를 K-means 정점 클러스터링을 통하여 서로 비슷한 정점끼리 묶어서 단순화를 하였다. 실험결과 제안한 방법으로 다양한 지하시설물들의 정점을 30%까지 줄였을 때, 이미지 모형이 약간의 변형은 발생하였지만 사라지는 부분은 없어서 모바일 환경에서 확인하는데 문제가 없었다.

CIPP모형을 활용한 학습공동체 평가: 대학 튜터링 프로그램 사례를 중심으로 (An Evaluation of Learning Community by using CIPP model: Focused on the case of a tutoring program in the university)

  • 김미진;이정아
    • 예술인문사회 융합 멀티미디어 논문지
    • /
    • 제7권5호
    • /
    • pp.369-379
    • /
    • 2017
  • 본 연구는 대학생들이 주도적으로 학습역량을 강화하기 위해 참여하는 튜터링 프로그램 사례를 CIPP(Context-Input-Process-Product)모형을 통해 평가하고 분석함으로써 대학 튜터링 프로그램의 질적 개선을 목적으로 한다. 이를 위해 B대학교에서 2016년 2학기에 실시한 튜터링 프로그램에 참여한 학생 중 최종보고회에 참석한 학생 90명을 대상으로 튜터링 설문조사 및 만족도 조사를 실시하였다. 또한 튜터 49명을 대상으로 튜터중간간담회를 실시하였고 튜터링에 참여한 234명이 제출한 성찰일지를 분석하였다. 상황평가의 경우, 튜터링 프로그램의 필요성 측면에서, 투입평가의 경우, 인적·물적 자원의 적절성과 프로그램 기획의 적절성 측면에서, 과정평가의 경우, 교수학습활동 과정 측면에서, 산출평가의 경우, 영향력, 효과성, 지속가능성, 전이성의 측면에서 튜터링 프로그램을 평가하였다. 설문조사 평가결과, 상황평가 평균 4.05점, 투입평가 평균 3.88점, 과정평가 평균 4.08점, 산출평가 평균 3.92점으로 나타났다. 튜터 간담회 분석결과와 성찰일지 분석결과에서도 유사한 분석결과가 도출되었다. 학습자가 모든 평가항목에서 보통 이상의 수준으로 만족하고 있는 것으로 나타났으나 평가내용 중 상대적으로 낮은 평가점수 영역에 대해서는 구체적인 개선방안을 통한 프로그램의 개선이 필요하다.

Estimation of Consumer Value on Import Management of Seafood Obtained from IUU Fishing: Using Choice Experiment Method

  • Ji-Eun An;Se-Hyun Park;Heon-Dong Lee
    • Journal of Korea Trade
    • /
    • 제27권2호
    • /
    • pp.115-129
    • /
    • 2023
  • Purpose - This study empirically analyzes the consumer value of risk management associated with illegal, unreported, and unregulated (IUU) fishing of fishery products imported to Korea. The global regulatory paradigm for IUU fishing has shifted from production-centered to market-centered. As a result, changes in the international fisheries trade environment emphasizing "transparency" and "legality" of the production process are accelerating. Therefore, changes in the management systems of fishery products entering the country are also needed. Accordingly, this study estimated the consumer value for risk management of IUU fishing, targeting major fish species imported to Korea, and derived the feasibility of introducing related policies. Design/methodology - This study used the choice experiment as an analysis model to estimate consumers' willingness to pay for the "possibility to check for IUU fishing." The choice experiment assumes that the value of a good or service is composed of separable attributes and that the sum of the part-worth of these individual attributes becomes the total value. In this study, respondents were presented with profiles comprising three attributes (country of origin, price, and possibility of checking IUU fishing) and the levels of frozen poulp squid, the subject of the analysis. The participants were asked to select their preferred profile. The marginal willingness to pay for each attribute was derived from the results of the respondents' choices using conditional logit model estimates. Findings - There is a marked difference in utility based on the preference of the country of origin of fishery products among consumers. In addition, the utility of fishery products that have undergone IUU fishing verification was observed to be higher, with the utility marked to be higher for lower prices. Originality/value - Estimating the policy value of the risk management in IUU fishing of imported fisheries products in this study is a novel attempt that has never been conducted before. Several studies have been conducted to assess the risk of IUU fishing associated with the import of fishery products internationally. However, such studies are yet to be conducted in Korea. Instead, policies and studies have focused on issues related to complying with trading partners' legal and transparent standards for exporting fishery products. This study should be the beginning of more in-depth empirical and theoretical explorations to establish order in the domestic seafood market and respond to changes in international regulations on IUU fishing.

피부미용 전공 학생들을 위한 팀기반학습(TBL) 수업 개발 및 적용 효과 분석- 문제해결능력과 협력적 자기효능감을 중심으로 - (Development and Effectiveness Analysis of Team Based learning (TBL) for Students Majoring in Skin Care - Focus on Problem Solving Competency and Cooperative Self Efficacy -)

  • 박정연
    • 한국엔터테인먼트산업학회논문지
    • /
    • 제13권7호
    • /
    • pp.469-477
    • /
    • 2019
  • 본 연구에서는 피부미용 전공 학생들을 위한 TBL 수업을 개발하고, 그 효과성을 검증하기 위하여 G대학교 전공 교과목에 적용한 결과를 분석하였다. TBL은 학습내용에 대한 선행학습과 그로 인해 절약된 강의시간을, 학습한 내용을 적용하는 연습활동에 투입하는 것을 중요시한다. 이에 개발연구방법론으로 ADDIE 모형과 TBL 모형을 적용하여 기존의 강의식으로 진행했던 '피부미용' 교과목을 TBL 수업으로 재설계하였으며, 주차별 선행학습자료, 사전학습 확인용 퀴즈, 팀활동 계획안을 개발하였다. 그리고 43명의 학생을 대상으로 한 실험연구를 통하여 TBL 수업의 효과를 다음과 같이 분석하였다. 첫째, 전공개념 획득 및 적용을 평가한 학업성취도에서 TBL 수업에 참여한 학생들이 비교집단인 강의식 수업에 참여한 학생들보다 높은 성취도를 나타났다. 둘째, TBL 수업 참여 학생들을 대상으로 실시한 문제해결능력과 협력적 자기효능감에 사전-사후 검사 결과에서 유의미한 차이가 없었다. 셋째, TBL 수업에 대한 전반적인 만족도는 4.0으로 높은 수준을 보였다. 이러한 연구 결과에 대한 논의를 기술하고, 향후 TBL 수업 개선 및 연구를 위한 3가지 제언을 제시하였다.

유방 자가 검진 참여 교육 프로그램이 유방 자가 검진 이행과 건강 증진 행위에 미치는 영향 (The Effects of the Breast Self-Examination Participant Education program on Breast Self-Examination Compliance and Health Promoting Behaviors in Adult Women)

  • 박은하;류은정;최경숙
    • 종양간호연구
    • /
    • 제3권2호
    • /
    • pp.133-144
    • /
    • 2003
  • This study is carrying out a before and after experiment design for the non-equal comparative group to identify the effects of the breast self-examination education on breast self-examination participant education compliance and health promotion in women. The subject of this study was 58 women residing in Chungju. Their age ranged from 20 to 40. These women were not pregnant or did not breast feed, as well as they did not have any breast disease, at the time of survey. They were available for the response to the questionnaires, and understood the purpose of this study. They also agreed to participate in the study, and responded to the 3rd time questionnaires to the end. Thus, brochures and lectures were provided side by side to a group of 19 of those women, and only brochures were provided to another group of 39 of those women. With regard to education, a brochure and a program using a breast model were applied. Then, the frequency of the breast self examination compliance, breast self examination capability and the relations between the breast self examination and activities to promote health were measured, before the education, after 4 weeks of education and after 12 weeks of education. Before education and after 4 weeks of education. I collected the questionnaires myself visiting them, and after 12 weeks of education, the questionnaires were collected by mail. In relation to the study tool, the breast self examination activity was measured by two measuring tools: breast self examination activity frequency and breast self examination compliance capability. As for the frequency, the number of self examination for the period of 3 months, before the questionnaire survey, was measured in the form of self report. In relation to the tool to measure the breast self examination capability, the BSEPRI tool, which was developed by Wood in 1994, was used. Here, as the score was higher, the capability was indicated to be higher. The translated and revised version of Health Promoting Lifestyle Profile II (Walker, Sechrist & Pender. 2002) was used as a tool for health promotion. As the measured score was higher, the health promoting activity was indicated to be higher. The results of this study were as follows: 1. As a result of checking the breast self examination compliance frequency between the experiment group that received the breast self examination participant education and the comparative group that did not receive the education, there was a significant difference in interaction between groups by time, as time passed by. 2. As a result of checking the breast self examination compliance capability between the experiment group and the comparative group, there was a significant difference in interaction between groups by time, as time passed by. 3. As a result of carrying out a repetitive measurement analysis, between the experiment group that received the breast self examination education and the comparative group that did not receive the education, which was carried out to validate the hypothesis that the former would have higher health promoting activities than the latter, there was no significant difference after the breast self examination education was conducted.

  • PDF

Borich 요구도와 The Locus for Focus Model을 이용한 전북지역 학교급식 조리종사자의 안전사고 예방관리를 위한 교육요구도 우선순위 분석 (An educational needs analysis of precautions against of safety accidents for school foodservice employees in the Jeonbuk area using Borich priority formula and the Locus for Focus Model)

  • 이향진;최선아;노정옥
    • Journal of Nutrition and Health
    • /
    • 제56권5호
    • /
    • pp.554-572
    • /
    • 2023
  • 본 연구는 전북지역 316명의 초·중·고등학교 조리종사자를 대상으로 안전사고 실태 및 예방교육 프로그램에 활용될 교육내용의 우선순위를 조사하였으며, 그 결과를 요약하면 다음과 같다. 조사대상자의 99.7%는 '여자', 학력은 '고졸' 76.6%, 직급은 '조리원' 77.8%, 평균 근무연수는 초등학교 '12.7년', 중·고등학교 '10.6년'이었다 (p < 0.01). 1일 평균 급식 인원은 초등학교 '716.4명', 중·고등학교 '818.3명'이며 (p < 0.05), 평균 근무인원은 초등학교 '6.1명', 중·고등학교 '8.0명'이었다 (p < 0.001). 조리종사자의 90.8%가 안전사고를 경험하였으며, 중·고등학교 종사자가 초등학교보다 사고경험이 많았다. 주요 사고원인은 '과도한 업무량' (61.7%), '노후기구나 설비' (28.9%), '본인 부주의' (17.1%)이며, 주로 '조리과정' (47.7%), '청소 및 뒷정리' (42.2%), '이동 및 운반' (36.2%) 과정에서 발생하였다. 가장 많은 부상은 초등학교는 '근골격계부상' (68.2%), 중·고등학교는 '미끄러짐' (70.2%)과 '화상' (70.2%)이었다. 안전교육은 영양(교)사와 교육청 (100%), 조리사협회 (27.2%)의 교육을 받았으나 초등학교의 77.3%, 중·고등학교의 79.5%의 조리종사자는 교육내용을 현장에 적용하지 않았다. 안전교육에 대하여 64.9%의 조리종사자는 만족, 35.1%는 불만족하며, 가장 큰 불만족 이유는 '교육내용이 실제 급식현장과 맞지 않아서' (42.3%)이었다. 안전교육 내용의 우선순위 결정을 위해 대응표본 t-test, Borich 요구도, The Locus for Focus 모델의 3단계 분석방법을 이용한 결과, 6개 영역의 22개 항목 중 1항목 '작업장 및 통로를 정리·정돈한다'를 제외한 21개 항목에서 중요도와 현재 수행수준 간에 유의미한 차이가 있었다. 안전교육 내용에 대한 초등학교와 중·고등학교 종사자의 최우선 순위는 2개항목, 차 순위는 6항목으로 확인되었다. 따라서 초등학교와 중·고등학교 조리종사자 대상 안전교육 시 우선적으로 '가스후드 청소 시 안전한 사다리를 사용하며, 2인 1조로 작업한다', '배수로 청소 시에는 주의 표시판을 설치하고, 청소 후에는 반드시 덮개를 덮는다'와 '화학물질 취급 전 보호장비를 착용한다'를 교육하여야 하며, 차 순위로는 '작업 전·후 스트레칭 하기', '작업대 높이가 맞지 않으면 보조 받침대를 사용하여 높이를 맞춘다', '무거운 것을 옮길 때 보조기구를 이용하거나 도움을 받는다', '중량물 취급 시에는 올바른 자세와 방법을 지킨다', 'MSDS 적용물질의 안전취급 요령을 잘 확인하고 사용한다'가 교육내용에 포함되어야 되겠다. 이상의 결과, 조리종사자 안전교육 시 조리, 청소 및 뒷정리 과정 중의 부딪힘·떨어짐 사고, 화학물질관리 및 근골격계질환 사고 예방교육을 우선적으로 하여야 하겠다. 본 연구의 제한점은 연구대상자가 일부 지역에 국한되어 있기 때문에 전체 학교급식소의 경우로 일반화하기에는 한계가 있으며 향후 조사대상자의 확대를 통하여 전체 조리종사자의 안전사고 예방교육을 위한 체계수립이 필요하겠다.

철근콘크리트 초고층 주상복합 건물의 시공 중 구조성능 분석 (Analyses of Structural Performances for RC High-Rise Residential Complex Building under Construction)

  • 황영진;김재요
    • 한국전산구조공학회논문집
    • /
    • 제28권1호
    • /
    • pp.19-27
    • /
    • 2015
  • 근래 국내 초고층 주상복합 건물에는 철근콘크리트구조가 보편적으로 적용되는데, 이러한 철근콘크리트 초고층 주상복합 건물은 시공 시점에 따라 구조적인 문제가 발생할 수 있다. 따라서, 시공 중인 철근콘크리트 초고층 주상복합 건물에 대하여, 시공 시점별 구조 안전성 및 횡력저항성능을 검토하고자 한다. 이를 위해, 예제 모델로 탑상형의 초고층 주상복합 60층 건물을 선정했고, 기존의 범용구조해석 프로그램을 사용하여 구조해석을 수행하였다. 각 시공 시점별 10층, 20층, 30층, 40층, 50층, 60층 완료모델과 60층 완공단계 모델의 구조성능을 비교하였다. 구조성능 비교를 위해 이 모델들의 고유치해석을 수행하였으며, 횡력저항성능과 부재별 단면성능을 검토하였다. 횡력저항성능 검토를 위해 횡변위비와 층간변위비를 검토했고, 부재별 단면성능 검토는 완공단계에 대한 설계강도비와 시공단계의 설계강도비를 비교하여 부재안전성을 검토하였다. 이 연구를 통해, 시공 중인 철근콘크리트 초고층 건물의 구조 안전성을 검토하고 시공단계에 적합한 구조해석 및 설계하중의 가이드라인을 제시하고자 한다.

기업지배구조와 실제이익조정의 관계 연구: 외국인투자자와 성장성을 중심으로 (A study of the relationship between corporate governance and real earnings management: Based on foreign investors and growth)

  • 강신애;김태중
    • 유통과학연구
    • /
    • 제12권4호
    • /
    • pp.85-92
    • /
    • 2014
  • Purpose - This study conducted empirical research on non-financial corporations listed on the stock exchange from 2001 to 2010, focusing on the effects of corporate governance on real earnings management of corporations. In particular, this study examined primarily the impact of the largest shareholder who could use earnings management to pursue his own self-interest, and foreign investors who played a checking role against the largest shareholders. The study also reviewed the relationship between corporate governance and earnings management while also considering corporate growth. Research design, data, and methodology - As for the measurements of real earnings management, abnormal operating cash flow and abnormal production cost were utilized. As for the independent variables, share ratio of the largest shareholder and affiliate person (M) and share ratio of foreign investors (FT) were leveraged. This study excluded those organizations that had changed their fiscal years, those that had not submitted an audit report, corporations under supervision, delisted corporations, corporations that had changed their business type, and so on, from the non-financial corporations out of the publicly traded corporations whose fiscal year ended in December from 2001 to 2010 in addition, KIS values were utilized for the corporate financial data in the study. To verify whether management structure and growth had an impact on real earnings management of a corporation through empirical analysis, a multiple regression analysis model was applied. Result - First, as a result of the analysis, the share ratio (M) of the largest shareholder and affiliate person was found to have a significant positive correlation with abnormal cash flow from operations(ACF) and abnormal production cost (APD). When controlling the growth, the share ratio (M) of the largest shareholder and affiliate person was found to have an insignificant correlation with abnormal cash flow from operations(ACF) but a significant correlation with abnormal production cost (APD). Second, foreign ownership (FT) was found to have a significant positive correlation with abnormal cash flow from operations(ACF) and abnormal production cost (APD) at the confidence level of 1 percent when not including the growth dummy. When controlling the growth, foreign ownership (FT) was found to have a significant negative correlation with abnormal cash flow from operations (ACF) and with abnormal production cost (APD). Conclusion - The results imply that the largest shareholder is closely related to earnings management through real activities regardless of corporate growth. It is also possible to determine from these results that foreign investors are related to earnings management through real activities when not considering corporate growth, but that they would reduce earnings management in the case of considering the growth. Thus, this study verified along with the existing studies that foreign investors were conducting the control function on controlling shareholders.