SAT 프로시져를 이용한 유한 상태 기계의 동치 검사

엄태호(Taeho Eom),권기현(Gihwon Kwon),김태훈(Taihoon Kim) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.1B

본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD 를 기반으로 했었기 때문에 변수 순서 배영 및 내부 BDD 노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD 대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 질의 크기는 식의 크기에 지수적으로 증가 하였다.

제어 압력에 따른 농용 트랙터 변속기 싱크로 작동 메커니즘에 관한 연구

엄태호 ( Taeho Eom ),안형종 ( Hyoung-jong Ahn ),신옥식 ( Okshik Shin ),최찬호 ( Chanho Choi ) 한국농업기계학회 2023 한국농업기계학회 학술발표논문집 Vol.28 No.2

세계적으로 강화되고 있는 환경 규제로 인해 미래 친환경 차량 개발이 화두가 되고 있다. 이에 따라 효율에 대한 관심이 크게 증가하였으며, 농용 트랙터도 DCT와 같이 고효율 변속기가 적용되고 있다. 특히 국내 농용 트랙터 시장은 대형 트랙터에 대한 수요가 증가하고 있으며, 연비 및 효율에 대해 민감하게 반응하고 있다. 농용 트랙터의 변속기는 다양한 작업에 대응하기 위해 넓은 범위의 변속 단수를 가지고 있으며, 작업 특성상 잦은 변속이 필요하다. 변속 편의성 향상을 위해 싱크로나이저를 적용한 동기물림식 적용이 확대되고 있으며, 전자 유압시스템의 적용을 통해 자동 변속 기능을 구현할 수 있다. 싱크로의 작동 메커니즘에 대한 정확한 분석을 통해 최적의 변속 방법을 적용하여 농용 트랙터의 효율을 향상시킬 수 있다. 본 연구에서는 농용 트랙터 변속기의 변속 시스템 중 유압시스템의 밸브 제어 압력에 따른 싱크로 작동 메커니즘 확인을 위해 시험을 진행하였으며 결과를 분석하였다. 싱크로 체결을 위한 제어 압력의 램프 시간 및 압력, 싱크로나이저의 상대 회전속도에 따라 싱크로 체결력 및 체결 시간 등을 확인하였다.

지방공기업의 비정규직 고용비율에 영향을 미치는 요인에 관한 연구 : 내부노동시장의 구성요소를 중심으로

전영준 ( Jun Yeongjun ),엄태호 ( Eom Taeho ) 한국자치행정학회 2017 한국자치행정학보 Vol.31 No.4

현재 우리사회에서 비정규직 고용 문제가 심각한 우려를 야기하고 있는 가운데, 새정부의 ‘공공부문 비정규직 고용개선’ 노력을 위한 실효성 높은 정책대안의 모색이 더욱 요구된다. 그러나 공공부문을 중심에 두고서 비정규직 고용에 관한 분석을 시도한 연구는 아직까지 그 수가 매우 부족한 실정이다. 더욱이 이들 선행연구는 분석을 위해 활용한 자료가 모두 2012년 이전의 것이라는 점에서 지난 정부의 정책적 노력에도 불구하고 공공부문에서 비정규직 고용이 도리어 증가한 최근의 현상을 설명하는데 일정한 한계가 있다. 이와 같은 문제의식을 바탕으로 본 연구에서는 광역 및 기초 자치단체 산하 지방공사·공단 136개의 2013년부터 2016년까지의 패널데이터를 활용하여 이들 지방공기업의 비정규직 고용비율에 영향을 미치는 요인을 탐색하였다. 본 연구에서의 분석결과, 내부노동시장의 구성요소 중 효율성 요인인 고비용 구조는 전체 및 직접고용 비정규직 고용비율에 정(+)의 효과를 갖고, 통제의 용이성은 간접고용 비정규직 고용비율에 정(+)의 효과를 갖는 것으로 나타났다. 또한, 제도적 요인인 노동조합의 영향력은 전체 및 직접고용 비정규직 고용비율에 유의한 부(-)의 효과를 가짐과 동시에 간접고용 비정규직 고용비율에는 유의한 정(+)의 영향을 주는 것으로 나타났다. 이와 같은 결과를 종합해보면, 효율성 요인들이 비정규직 고용에 있어서 사실상 정부정책에 반하는 방향으로 영향을 미치고 있다는 사실은 그동안 광범위하게 진행되어온 효율성 중심의 공공기관 경영평가가 비정규직 고용의 편익 측면을 지나치게 부각시켜옴으로써 나타난 부정적 효과로 생각된다. 아울러 내부노동시장에 대한 공공노조의 영향력이 공공부문에서 간접고용 비정규직을 증가시키는 방향으로 영향을 미치는바, 향후 간접고용형태까지 아우르는 정부의 공공부문 비정규직 고용개선 노력에 있어서 이들 노조의 정책적 보조가 긴요할 것으로 보인다. Because of the increase of nonstandard workers raising a great deal of anxieties nowadays, the endeavors to search for the more effective policy alternatives to lessen the number of nonstandard workers and increase that of standard workers are asked gradually. However, the number of studies to explore the determinants of the increase or decease of nonstandard workers is still very limited to give helps. Taken this into considerations, this study tried to find the determinants of the employment rate of nonstandard workers in the public sectors, using panel data from 2013 to 2015 which has been related with 136 local public enterprises under the surveillance of the regional governments. The study has found that the high cost structure as a efficiency factor, which is one of the components of the internal labor markets, has a statistically positive effect on the employment rate of total nonstandard workers and directly-employed nonstandard workers, and the ease of control of employees has a positive effect on the employment rate of indirectly-employed nonstandard workers. In addition, the influence of labor union as a institutional factor was also found to have negative effect on the employment rate of total nonstandard workers and directly-employed nonstandard workers, and has a positive effect on the employment rate of indirectly-employed nonstandard workers. In sum, the fact that the efficiency factor is working contrarily to the direction to which our government is orienting could be interpreted as a result that our government has excessively given an importance to the efficiency part of the nonstandard workers in the process of the management evaluation on the public sectors. Moreover, since the influence of public unions on the internal labor market affects positively the increase of indirectly-employed nonstandard workers in the public sector, the cooperation of unions should be linked with the government’s efforts to decrease nonstandard workers and increase standard workers in the public sectors in the future.

지방정부의 재정역량이 공사파트너십 형성에 미치는 영향에 대한 연구: 지역축제를 중심으로

조서형 ( Seohyung Cho ),엄태호 ( Taeho Eom ) 중앙대학교 국가정책연구소 2019 국가정책연구 Vol.33 No.2

본 연구는 2013년-2015년 동안 전국에서 개최된 개별 지역축제들을 대상으로 지방재정역 량이 지역축제에서 공사파트너십 관계 형성에 어떠한 영향을 미치는지 실증적으로 분석한다. 이를 위해 지방재정역량 이외에 통제요인으로 지역축제의 규모 및 특성, 지역특성을 분석모형 에 포함시켰다. 본 연구는 선행연구를 바탕으로 1인당 지방세외수입, 1인당 세출결산, 재정자 립도, 1인당 부채액을 지방재정역량의 구성요소로 도출하고, 개별 지역축제의 예산규모, 지역 축제의 연원, 지역축제의 개최기간을 지역축제의 규모 및 특성으로 선정하였다. 또한 지역특 성은 65세 이상 노인인구 비율, 지역단위로 구성하고 별도로 연도변수를 포함시켰다. 확률효 과 모형을 활용한 패널로짓분석(Panel Logit Analysis) 결과 지방재정역량 중 1인당 세외수 입이 높을수록 지역축제의 공사파트너십 관계 형성 가능성이 높아지는 것으로 나타났다. 반면 1인당 세출결산과 재정자립도는 높아질수록 지역축제의 공사파트너십 관계 형성 가능성이 낮 아지는 것으로 확인되었다. This study empirically analyzes the effect of local financial capacity on the formation of partnerships in individual local festivals held nationwide from 2013 to 2015. For this purpose, the size and characteristics of local festivals and regional characteristics were included in the analysis model in addition to the local financial capacity. Based on previous studies, this study draws out the per capita non-tax revenue, per capita expenditure settlement, financial self-reliance, per capita debt as a component of local financial capacity. The budget size, length of origins, duration of local festivals were chosen as the scale and characteristics of the local festivals. The regional characteristics consist of the proportion of elderly people over 65 years old and regional units. Also, year variables are included in the model. Panel logit analysis using the random effect model shows that the higher the per capita non-tax revenue of the local financial capacity, the higher the possibility of forming a partnership relationship in the local festival. On the other hand, it is confirmed that the probability of forming a partnership relationship between local festivals decreases as the per capita expenditure settlement and financial self-reliance increase.

선택과 환경: 개별 지역축제에 대한 지방정부의 예산규모 결정 요인 연구

조서형(Cho, Seohyung),엄태호(Eom, Taeho) 한국지방정부학회 2019 지방정부연구 Vol.22 No.4

본 연구는 지역축제 운영에 관한 선택적 요인과 재정적 환경요인이 개별 지역축제에 대한 지방정부의 1인당 총 예산에 어떠한 영향을 미치는 지를 실증적으로 분석한다. 구체적으로 본 연구에서는 개별 지역축제의 예산규모를 결정하는 요인을 2013년-2015년까지의 전국 자치단체 지역축제를 대상으로 실증 분석한다. 이를 위해 개별 지역 축제에 대한 지방정부의 1인당 총예산을 종속변수로 하고, 선택적 요인인 공사파트너십 운영형태, 재정적 환경요인인 재정능력을 주민 1인당 지방세 부담액, 1인당 지방교부세, 1인당 국고보조금, 재정자립도로 나누어 독립변수로 설정하였다. 그 외에 지방정부의 전년도 예산액, 지역축제의 특성, 65세 이상 노인인구 비율, 연도, 지역규모를 통제변수로 포함시켰다. 확률효과 모형(Random Effects Model)과 Newey-West 추정 모형으로 분석을 실시한 결과, 지역축제의 운영 형태가 공사파트너십일 경우 개별 지역축제에 대한 지방정부의 1인당 예산규모가 증가하는 것으로 나타났다. 또한 독립변수와 통제변수를 모두 포함시킨 전체 모형에서는 재정능력 중 이전재원인 1인당 지방 교부세, 1인당 국고보조금 그리고 자체재원인 재정자립도 모두 개별 지역축제에 대한 지방정부의 1인당 예산규모에 유의미한 양(+)의 영향을 미치는 것으로 나타났다. This study empirically analyzes the effects of selective factors and financial environment factors on local festival s total per capita budget. Specifically, this research empirically analyzes the determinants of the budget of individual local festivals for national autonomous regional festivals from 2013 to 2015. The total per capita budget of each local festival is considered as a dependent variable. As an selective factor, the public-private partnership and the financial environment, which is financial environment factor, were set as independent variables divided into the local tax burden per capita, local allocation tax per capita, state subsidy per capita, and financial independence. In addition, the previous year s budget for the local government, characteristics of local festivals, the proportion of the elderly people aged 65 or older, the year, and the local size were included as control variables. As a result of analysis using the Random Effects Model and the Newey-West estimation model, the local government s per capita budget for individual festivals increased when the operation type of the local festival was the public-private partnership. The total model including both independent variables and control variables shows that the local allocation tax per capita, state subsidy per capita, and financial independence, both of which are financial resources, are significant for total per capita budget of each local festival in a positive direction.

가스터빈 블레이드 선단 막냉각에 끝벽면이 미치는 영향

안준(Joon Ahn),엄태호(Taeho Eom),이준식(Joon Sik Lee) 한국유체기계학회 2016 유체기계 연구개발 발표회 논문집 Vol.2016 No.11

HAN 기반 고체 추진제의 전기 점화에 관한 연구

김명진(Myoungjin Kim),엄태호(Taeho Eom),김태규(Taegyu Kim) 한국항공우주학회 2018 한국항공우주학회 학술발표회 논문집 Vol.2018 No.11

청원·청주 통합의 정책형성과정 분석: 정책학습을 통한 이해관계자 신념체계 변화를 중심으로

조서형 ( Seohyung Cho ),엄태호 ( Taeho Eom ) 중앙대학교 국가정책연구소 2017 국가정책연구 Vol.31 No.4

본 연구는 1994년에서 2012년에 걸친 청원·청주 통합의 정책형성과정을 옹호연합모형(ACF)과 정책학습이론을 사용하여 분석하였다. 본 연구에서는 ACF 모형에서 다루는 외부적 충격이나 정책지향학습과 더불어 정책행위자의 지배적 가치와 규범적 핵심 신념의 변화를 분석하기 위해 조직학습이론으로부터 도출된 정책학습의 개념을 사용하였다. 분석결과, 1차 통합추진에서는 정책행위자들의 신념이 유지되고 있는 상황 또한 조직학습이론에 의해서 설명 가능함을 보여주었다. 2차 통합추진에서는 외부충격으로 인한 단순 순환학습이 나타났으며, 간접적 중개자의 역할을 확인할 수 있었다. 3차 통합추진에서는 정치적 맥락이 통합에 영향을 미칠 수 있음을 알 수 있었다. 4차 통합과정에서 주민들의 자발적인 합의를 이끌어낸 신념의 변화를 분석한 결과 ‘시·군민협의회’의 개방적이고 객관적인 활동으로 인해 이중 순환학습이 가능한 환경이 조성되어 청원군민들의 지배가치 및 규범적 핵심 신념이 변화한 것으로 나타났다. 더불어 1차-3차 통합 시기와는 달리 4차 통합에서는 SNS의 확산이 이중 순환학습의 환경을 조성했다는 특징이 있다. 이를 통해 찬반논란이 첨예한 정책 사안에서는 ‘시·군민협의회’와 같이 중립적이고 자율적인 통합체가 실질적으로 작동할 때, 행위자들의 지배적 가치와 규범적 핵심 신념에 변화를 일으킬 수 있다는 함의를 얻을 수 있었다. This study analyzes the policy making process on Cheongwon and Cheongju Integration by using advocacy coalition framework and policy learnig theory. The impact of internal factors such as indivisual learning are not evaluated importantly in advocacy coalition framework because non-cognitive factors including macro economic conditions or newly emerged governing coalitions cause the policy change. Therefore, this study draws on policy learning theory induced from organizational learning theory to analyze the change of governing values and deep core beliefs besides external shocks or policy-oriented learning. The result shows that the ‘Conference of Cities and Counties’ changed the Cheongwon county residents’ governing values and deep core beliefs by creating the environment apt for double-loop learning. Additionaly, the proliferation of the social network service was another factor provoking double-loop learning in the fourth integration phase. The implication was gained from the results that the governing values and deep core beliefs change when the neutral and autonomous consultative group like the ‘Conference of Cities and Counties’ works in substance.

분사비가 끝벽면 부근 선단의 막냉각에 미치는 영향

안준(Joon Ahn),엄태호(Taeho Eom),이준식(Joon Sik Lee) 한국유체기계학회 2017 유체기계 연구개발 발표회 논문집 Vol.2017 No.7

머신러닝 기반 복지재원 부담 태도 예측 및 분석 : 세대별 비교를 중심으로

홍기혜(KiHye Hong),엄태호(TaeHo Eom) 연세대학교 사회과학연구소 2021 社會科學論集 Vol.52 No.2

본 연구는 머신러닝 기법을 활용하여 복지재원 부담 태도를 예측하는 모형을 제시하고 예측 요인을 세대별로 비교 분석하는 것을 목적으로 한다. 실증분석에는 재정패널조사 자료를 활용하였으며 최종 연구대상자는 산업화세대 10,977명, 민주화세대 10,732명, 정보화세대 8,103명 등 총 29,812명이다. 예측 모형은 다속성 태도 모델과 경험적 선행연구의 이론적 근거에 기반하여 자기이익 차원, 가치지향 차원, 주관적 인식 차원, 인구사회학적 특성 차원 등 4개 범주의 32개의 변수를 설명변수로 설정하고 그래디언트 부스팅 머신러닝 알고리즘을 활용하여 추정하였다. 모형의 예측 성과는 산업화, 민주화, 정보화 세대 각각 정분류율이 77.52%, 67.28%, 67.97%, 특이도가 96.10%, 83.34%, 80.53%, 민감도가 20.00%, 43.65%, 51.96%, 정밀도가 62.33%, 64.05%,67.69%로 나타났다. 예측에 높은 중요도를 갖는 설명변수는 산업화세대에서 자기이익 차원, 정보화세대에서 가치지향 및 주관적 인식 차원으로 나타났으며, 민주화세대에서는 산업화세대와 유사하면서도 정보화세대의 특징을 공유하는 특성이 나타났다. 또한 민주화세대와 정보화세대는 산업화세대와는 달리 복지와 증세에 대한 사고와 태도가 일관적으로 나타나는 것을 다수의 설명변수를 통해 확인할 수 있었으며 정보화세대가 복지증세에 보다 적극적인 것으로 나타나 복지국가 조망에 긍정적인 단서를 발견할 수 있었다. This study aims to develop a predictive model for the attitude toward tax increase for social welfare using a gradient boosting machine learning algorithm. Also, it analyzes the predictive factors of attitude toward the tax increase by cohorts. Participants were 10,977 industrialization generation(IdG), 10,732 democratization generation(DG), and 8,103 information generation(IfG). This study included 32 factors as explanatory variables based on the multi-attribute models and previous studies, estimated a predictive model, and analyzed feature importance and partial dependence by generation. The model performance of IdG, DG, and IfG was evaluated, respectively, using four classification performance metrics: Accuracy was 77.52%, 67.28%, and 67.97%. Specificity was 96.10%, 83.34%, and 80.53%. Recall was 20.00%, 43.65%, and 51.96%. Precision was 62.33%, 64.05% and 67.69%. The attitudes toward tax increase for social welfare were distinct from generation to generation. IdG had high importance of self-interest factors. Value-oriented and subjective recognition factors in IfG ranked as important. DG shared the characteristics of the IfG as well as the IdG. In DG and IfG, unlike the IdG, it was confirmed through several explanatory variables that value-oriented and recognition were consistent with the attitude toward tax increase for social welfare.