• 한국수학교육학회지시리즈A:수학교육
• /
• 제52권4호
• /
• pp.549-565
• /
• 2013

To help students understand the deduction system in the proof, we analyzed the textbook on mathematics at first. As results, we could find that the textbook' system of deduction is similar with the Euclid' system of deduction. The starting point of deduction is different with each other. But the flow of deduction match with each other. Next, we searched for the example of circular argument and analyzed. As results, we classified the circular argument into two groups. The first is an internal circular argument which is a circular argument occurred in a theorem. The second is an external circular argument which is a circular argument occurred between many theorems. We could know that the flow of deduction system is consistent in internal-external dimension. Lastly, we proposed the desirable teaching direction to help students understand the deduction system in the proof.

• Nuclear Engineering and Technology
• /
• 제22권2호
• /
• pp.128-138
• /
• 1990

본 논문에서는 원자로냉각재펌프 고장진단 전문가시스템 (ESRCP)에 대해 기술하였다. 이 시스템의 목적은 RCP의 고장진단과 함께 발전소 운전원에게 적절한 운전 조작 및 비상조치 사항 등을 알려주는데 있다. 진단을 위한 일차적 증상은 RCP 영역에 관련된 경보들이다. 경보처리는 Rule-based Deduction 또는 Priority Factor Operation에 의한다. 고장진단은 Rule-based Deduction이나 Bayesian Inference에 의해 수행된다. 각종 Sensor들의 측정값들은 정확한 원인을 진단하기 위해 필요로 하다 증상들이 부족하거나 불착실성을 나타낼 때는 Bayesian Inference로 고장을 진단한다.

• 한국관광식음료학회지:관광식음료경영연구
• /
• 제13권1호
• /
• pp.81-110
• /
• 2002

The temporary tax deduction on investment cutting the corporate income tax within 10% of the amount of investment is aimed at stimulating the investment for economic activity. 25 business sectors are applied to this tax law and in tourism, the accommodation registered by tour promotion law and international convention plan business belong to it. I'd like to mention the problem of the temporary tax deduction on investment amount for hotels and suggest better solutions. This tax law is so temporary applied that we shouldn't get tax deduction after June 30, 2002. So, we can't get income tax deduction on the investment out of the available period. And further more this tax law has a rule not real investment but solely new project investment for hotels. There are numbers of difference between real investment and new project investment. The amount of investment is based on an object of acquisition taxation. And also there are numbers of difference between real investment and an object of acquisition taxation. For example, landscape construction is a great part of hotel construction but it's not an object of acquisition taxation. For running hotel business, we also need lots of equipments such as linens utensils for restaurant and decorations for hotel interior. But these are also excluded from this tax law. As you know, these equipments can be regarded as product equipments in manufacture industry. Therefore we should take the specificity of hotel investment into consideration and expand the role of the temporary income tax deduction on investment amount for hotels.

• 산업진흥연구
• /
• 제2권1호
• /
• pp.39-44
• /
• 2017

본 연구는 내일채움공제 제도가 대구.경북지역 중소기업 근로자의 직무만족도에 미치는 영향을 분석하였다. 연구결과를 요약하면 다음과 같다. 조사대상은 내일채움공제에 가입한 중소기업 근로자로 총 159명이며, 분석 자료는 SPSS Statistics 20을 사용하여 빈도분석, 요인분석, 신뢰도분석, 상관관계분석, 회귀분석 및 사후분석을 포함한 분산분석을 실시하였다. 분석결과 첫째, 내일채움공제 제도 요인 중 방법의 적합성이 직무만족도에 가장 높은 긍정적인 영향을 미치는 것으로 나타났다. 둘째, 내일채움공제 가입 후 업무만족도의 상관관계는 적합성(p<.01, ${\beta}=.307$)과 효율성(p<.01, ${\beta}=.296$)이 업무만족도에 유의한 영향을 미치는 것으로 나타났다. 셋째, 내일채움공제 제도에 가입한 근로자의 학력에 따른 직무만족도 차이분석은 전문대졸(2.08)이 대졸(1.99) 보다 직무만족도에 더 높은 것으로 분석 되었다. 본 연구는 내일채움공제 제도가 직무만족도에 미치는 영향력을 분석함으로써 삶의 질, 업무만족도, 근속성 요인의 중요도를 파악하고 근로자의 인구통계학적 특성에 따른 차이분석을 알아보고 내일채움공제 제도가 고용유지 및 직장 생활안정에 도움을 주어 직무만족도에 영향을 미치고 그 효과성을 검증 했다는데 연구의 의미가 있다.

• 논리연구
• /
• 제21권1호
• /
• pp.59-96
• /
• 2018

순수하게 형식적인 견지에서 직관주의 논리는 거짓말쟁이 유형의 역설을 다루는데 어떠한 이점도 없다고 여겨진다. 이 글에서 우리는 표준 직관주의 자연연역체계가 거짓말쟁이 유형의 역설에 취약함을 논할 것이다. 다시 말해, 거짓말쟁이 유형의 문장을 수용함이 모순(${\perp}$)을 도출하는 추론을 야기한다는 것이다. 이러한 결과는 이중부정 제거규칙(DNE)에 대한 제약이 ${\perp}$을 도출하는 추론을 막지 못한다는 것을 보여준다. 하지만 이는 거짓말쟁이 유형의 역설에 대한 직관주의적 접근법이 잘못된 것이 아니라 표준 자연연역 체계의 표현력이 부족한 문제라고 할 수 있다. 우리는 주어진 체계 S에 대한 메타-레벨 부정 연산자 ⊬$_s$와 메타-레벨 모순 연산자 ⋏를 직관주의 체계에 도입할 것이다. 그리고 체계의 완전성에 대한 가정 없이는 이 체계에서 ${\perp}$에 대한 추론을 얻을 수 없음을 보일 것이다. 또한 우리는 이중 메타-레벨 부정 제거규칙(DMNE)을 고려할 것이다. 이 규칙은 체계의 완전성을 암묵적으로 가정하며 DMNE에 대한 제약은 ${\perp}$의 추론을 막을 수 있을 것이다.

• Journal of Information Technology Applications and Management
• /
• 제23권3호
• /
• pp.13-23
• /
• 2016

In recent years, big data has usefully been deployed by organizations with the aim of getting a better prediction for the future. Moreover, knowledge management systems are being used by organizations to identify and create knowledge. Here, the output from analysis of big data and a knowledge management system are used to develop a new model with the goal of minimizing the cost of implementing new recognized processes including staff training, transferring and employment costs. Strategies are proposed from big data analysis and new processes are defined accordingly. The company requires various skills to execute the proposed processes. Organization's current experts and their skills are known through a pre-established knowledge management system. After a gap analysis, managers can make decisions about the expert arrangement, training programs and employment to bridge the gap and accomplish their goals. Finally, deduction graph is used to analyze the model.

• 인지과학
• /
• 제1권2호
• /
• pp.347-360
• /
• 1989

Knowledge의 믿음이 추론 모형은 기존의 모형들이 갖고 있는 단점들을 해결하였으나,단순한 믿음에 대해서만 증명 기법을 제시하고 있고,여러가지 추론 규칙 스키마가 존재한느 믿음과 지식 시스템에 대해서는 증명 기법을 제시하고 있지 않다. 따라서 본 논문에서는 여러가지 추론 규칙 스키마가 존재하는 지식과 믿음의 통일된 증명 기법을 제시하였으며,이의 정당성과 완전성을 증명하였다.이 증명 기법은 과거의 기능체계 모형으로는 표현할수 없는 추론 규칙 스키마들까지도 처리가 가능하다. 또한,이 증명 기법을 사용하는 정리 증명 시스템을 구현함으로써 이의 실용성과 유용성을 보였다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제16권3호
• /
• pp.147-156
• /
• 2016

A modalized Łukasiewicz three-valued propositional logic will be proposed in this paper which there are three modalities [t]; [m]; [f] to represent the three values t; m; f; respectively. And a Gentzen-typed deduction system will be given so that the the system is sound and complete with respect to the Łukasiewicz three-valued semantics Ł$_3$, which are given in soundness theorem and completeness theorem.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2018년도 추계학술논문요약집
• /
• pp.559-560
• /
• 2018

• 한국주거학회:학술대회논문집
• /
• 한국주거학회 2011년도 춘계학술발표대회 논문집
• /
• pp.161-166
• /
• 2011

This research was conducted in order to suggestion management program of Happy house center which facility of detached housings, multi family housing, and semi-detached housing management. This study's purpose is to systematically help create a district customized co-management housing management system among detached housing area by reflecting resident opinion and simultaneously provide basic research. The area of research is Sanjoen district in Ulsan city that compact old detached houses. The research study's results are follows: First, the overall survey results showed that most respondents demanded program of happy house center for housing energy deduction method and support of house insulation cost and heating fuel cost. Second, happy house center try to order of priority or housing maintenance and seek of cost deduction plan. Third, happy house center propose the Maeulmandeulgi(Machizkuri) program or housing management plan for residents' talent contribution.