• 제목/요약/키워드: 증명 수준

검색결과 346건 처리시간 0.028초

환경기술과 노동수요 (A Study on the Relationship between Environment Technology and Labor Demand)

  • 황석준
    • 자원ㆍ환경경제연구
    • /
    • 제22권2호
    • /
    • pp.309-328
    • /
    • 2013
  • 환경을 보호하기 위한 정부의 규제가 경제를 지속가능하게 만들기 위해서는 기술발전이 수반되어 경제체제내의 기업들에게 수익을 보장하거나 증대할 필요가 있다. 포터(1995)는 기업의 경쟁력이 환경을 보호하려는 생산기술의 혁신을 통해서 가능하다고 주장했다. 그러나 과연 기업의 경쟁력을 높인 혁신의 성과가 각 사회의 구성원들에게 적절하게 배분되었는지는 알 수 없는 일이다. 본 논문은 포터의 가설이 맞다는 가정 하에서 과연 경쟁력의 향상이 기업의 노동수요 증가로 이어져 경쟁력향상의 과실이 사회구성원 전체에게 돌아갈 수 있는 조건이 무엇인가를 살펴보았다. 이론을 통한 그 조건을 살펴본 결과 오염물을 처리하는 기술의 수준이 노동생산성 향상으로 인한 오염물증가를 충분히 감당할 수 있다면 비록 자본생산성 향상에 따른 생산량증대가 매력적이더라도 합리적인 경제주체는 노동생산성 향상을 통한 기술을 선택할 것이며 이에 따라 노동수요의 증가가 가능하다는 것을 증명하였다.

기하 문제 학습을 위한 동적 추론 체계 (A Dynamic Inferential Framework for Learning Geometry Problem Solving)

  • 국형준
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권4호
    • /
    • pp.412-421
    • /
    • 2000
  • 수리나 과학 영역의 학습은 원리 이해와 응용을 위주로 함에도 불구하고 기존의 교육용 소프트웨어 제품들은 단순 주입식이나 단답식의 학습을 지원하는 것이 대부분이어서 높은 학습 성과를 기대하기는 어려운 실정이다. 인공 지능 연구에서 지식 표현 체계나 탐색, 추론 기법이 학습기 설계에 도입되어 증명기, 모의 실험기 유형의 학습기 연구에는 상당한 진전을 보아 왔으나 여전히 실용적 수준이라 할 수는 없고 특히 문제 해결을 지원하는 학습기는 설계 모형조차 제시되지 못하고 있다. 본 연구가 설계한 기하 문제 학습기는 학습과 병행하는 동적 추론을 구사한다. 실시간 문제 해결을 지원하기 위한 정보 구성요소로서 명제, 가설 및 연산자에 의해 문제 공간을 정의하고 이들의 생성과 검증을 추론의 주요 대상으로 하는 대화식 문제 학습의 메카니즘을 탐구하였다. 성취한 결과로서 기하 문제 해결에서 필수 불가결한 요소임에도 불구, 기존 시스템이 간과해 왔던 대수 처리를 위한 일련의 추론 전략을 연계적으로 구사함으로서 실용성있는 문제 학습기의 설계 모형을 얻었다. 제안 모형은 물리, 전자 회로 등 타 과학 영역의 문제 학습기 설계에도 적용될 수 있다.

  • PDF

게임이론을 이용한 유한 전략 집합을 갖는 전력제어 알고리즘 (Power Control Algorithm with Finite Strategies: Game Theoretic Approach)

  • 김주협;장연식;이덕주;홍인기
    • 한국항행학회논문지
    • /
    • 제13권1호
    • /
    • pp.87-96
    • /
    • 2009
  • 본 논문에서는 무선통신에서 유한개의 전략집합을 갖는 전력제어 문제를 게임이론을 통하여 분석하였다. 기존의 게임이론을 이용한 전력제어에서는 개방루프 제어에서와 같이 초기전송 전력을 결정하는 연속적인 게임 모델에 국한된 반면, 본 논문에서는 폐루프 전력제어에서와 정해진 전력제어 step size 만큼 전력을 올리거나 내리는 전력제어 문제를 게임 이론의 전형적인 모델 중의 하나인 죄수 딜레마 모형을 이용하여 분석하였다. 분석결과 전력을 올리는 전략이 내쉬 균형임을 증명하였고, 따라서 이와 같은 상황에서는 모든 단말기가 자신의 전력을 향상시키려고 시도하기 때문에 전체 시스템 측면에서는 효율적이지 못하다. 본 논문에서는 인접 셀 간 간섭이 심각한 환경에서 효율적인 전력제어 알고리즘을 구현하기 위하여 게임모형의 효용함수를 새롭게 정의하였고, 그 결과 모든 단말이 자신의 효용함수를 최대화 하려고 노력한다고 하더라도 자신의 송신 전력이 일정한 수준으로 유지될 수 있는 알고리즘을 개발하였다.

  • PDF

색수차 개선을 위한 효율적인 컬러 에지 퍼지 보간 방법 (An efficient Color Edge Fuzzy Interpolation Method for improving a Chromatic Aberration)

  • 변오성
    • 한국컴퓨터정보학회논문지
    • /
    • 제15권10호
    • /
    • pp.59-70
    • /
    • 2010
  • 모바일폰이나 디지털 카메라에서 사용하는 영상 센서의 수광 소자는 한 가지 색만을 기록하는 베이어 패턴이기 때문에 각각의 화소들은 여러 개의컬러 중에서단 하나만의 컬러에 대한 화소값을얻게 된다. 잃어버린화소의 정보는 CFA(Color Filter Array)를 이용하여 그 주위의 화소에 대한 정보를 이용함으로 완전한 컬러 영상을 추론한다. 본 논문은 영상 센서의 수광 소자로부터 획득한 데이터의 평균과 각 컬러 채널 데이터 평균 사이의 관계를 유도하고, 이 관계를 이용하여 색상 보간을 위한 효율적인 에지 컬러 퍼지 보간 방법을 제안하였다. 또한 휘도 신호 채널의 보간은 컬러 노이즈를 감소하고 효율적인 보간을 위해 에지 방향에 따라 퍼지 보간을 하였다. 그리고 본 논문에서 PSNR을 이용하여 제안된 방법이 기존 방법보다 평균 2.4dB 정도 개선됨을 증명하였으며, 시각적으로 원영상의 해상도와 유사한 수준이며, 기존 알고리즘의 영상보다 색수차가 감소된 것을 실험 결과를 통하여 확인하였다.

RFID 환경에서 보안 통신을 위한 안전한 인증 방안에 관한 연구 (A Study on Safe Authentication Method for Security Communication in RFID Environment)

  • 고훈;김배현;권문택
    • 융합보안논문지
    • /
    • 제5권3호
    • /
    • pp.59-65
    • /
    • 2005
  • 네트워크와 무선통신의 발달에 힘입어 유비쿼터스 시대가 도래하고 있다. 유비쿼터스 컴퓨팅에서의 시큐리티 문제는 인터넷 시대의 시큐리티 문제보다 복잡하며 공격이 용이하나 대책 수립은 현재로서는 굉장히 초보수준이다. 유비쿼터스 컴퓨팅 환경은 기존의 보안 기술로 적용하기에는 많은 다른점을 가지고 있다. Confidence level이 서로 다른 인증 방식이 필요하거나 또한 사용자의 위치에 대한 프라이버시도 만족해야 하는 인증 방식이 필요하다. 기존의 대표적인 인증 방식인 kerberos 인증 방식은 사용 범위가 지정 워크스테이션으로 국한되거나 클라이언트의 안전한 환경을 가정하여 이용되지만 유비쿼터스 컴퓨팅 환경에서는 이러한 조건을 제공하기가 어렵기 때문에 새로운 보안메커니즘이 필요하다. 또한 유비쿼터스 컴퓨팅 환경은 무선전송이나 이동통신에 크게 의존하게 되므로 이들 통신 구간에 대한 보안이 중요한 문제로 대두되고 있다. 이에 본 논문에서는 무선 인증서를 이용하여 사용자 인증 및 기밀성 제공을 위한 유비쿼터스 환경의 SSL을 적용 방안을 연구하여 실험을 통하여 결과를 증명하고자 한다. 즉, 유비쿼터스 환경에서 기밀성 및 인증을 제공하는 기법을 제안한다.

  • PDF

PIP 개념을 이용한 비선형 기동 표적 추적 기법 (Non-linear Maneuvering Target Tracking Method Using PIP)

  • 손현승;박진배;주영훈
    • 한국지능시스템학회논문지
    • /
    • 제17권1호
    • /
    • pp.136-142
    • /
    • 2007
  • 본 논문에서는 비선형 기동표적의 추적에 대한 새로운 접근 방식을 소개한다. 제안된 알고리즘은 예측 명중위치 개념을 이용한 칼만필터 기반의 적응 상호작용 다중모델 기법으로 측정된 위치 값과 예측된 명중위치 사이의 차이를 고려한 변형된 칼만필터 기법을 이용한다. 알 수 없는 가속도는 표적의 기동모델에 있어서 추가적인 프로세스 잡음으로 간주되고, 알고리즘 내의 하부 모델들은 각각의 가속도 수준에 따라 구해지는 전체적인 프로세스 잡음에 따라 특성화 된다. 칼만필터 기법이 비선형 기동에 있어 성능이 저하되는 점을 보완하기 위하여 상황에 따라 제안된 기법과 칼만필터를 적응적으로 이용할 수 있는 선택적 알고리즘을 구현하고자 한다. 표적의 기동중에 나타나는 가속도를 효과적으로 다루기 위하여 잡음의 크기가 급격히 증가할 경우 그 증가분을 가속도로 인식하여 기동표적 관계식에 이용한다. 그리고 제안된 알고리즘의 수행 가능성은 몇 가지수치 예를 통하여 증명한다.

분석모형별 신호교차로 평균제어지체 비교·분석 연구 (A Comparative Study on the Mean Control Delay by Signalized Intersections by the Analysis Model)

  • 이규순;박진우;성삼현;이탁수
    • 한국ITS학회 논문지
    • /
    • 제19권1호
    • /
    • pp.83-93
    • /
    • 2020
  • 지체시간은 신호교차로의 교통혼잡 수준을 나타내는 주요 지표로 활용되고 있다. 교통정체가 발생하는 대치역사거리와 비교적 교통상황이 원활한 영동5교 사거리를 비교 대상구간으로 선정하여, 현장조사를 기반으로 한 평균지체시간과 다양한 시뮬레이션 프로그램을 통하여 산출한 지체시간을 비교·분석하였다. 현장조사데이터와 신호교차로 분석 모형의 평균 제어지체 비교·분석결과 KHCS는 대치역사거리 7.7초/대, 영동5교사거리 7.9초/대의 차이를 보였으며, VISSIM은 대치역사거리 21.1초/대, 영동5교사거리 8.1초대의 차이로 분석되었다. T7F는 대치역사거리 3.3초/대, 영동5교사거리 9.3초/대의 결과값 차이로 분석되었다. 동일한 교차로를 분석하더라도 시뮬레이션 모형별로 결과값이 차이가 나는 것을 증명하였다.

표적 특성에 따른 모노펄스 레이더 불확도 연구 (A monopulse radar uncertainty study classified on target property)

  • 장용식;류충호;김환우
    • 한국정보통신학회논문지
    • /
    • 제21권1호
    • /
    • pp.229-236
    • /
    • 2017
  • 일반적으로 모노펄스 레이더의 오차 수준은 다중경로 간섭, 글린트, 동적 지연오차 등의 환경적 오차 요인이 제거된 이상적인 경우를 가정하고 있다. 따라서 지금까지는 외부 환경적 오차 요인이 포함된 모노펄스 레이더의 계측 불확도를 추정하여 왔다. 본 연구에서는 각기 다른 특성의 표적에 대해서 어떤 종류의 오차 요인이 모노펄스 레이더 계측 불확도 에 영향을 미치는지 살펴보았다. 이를 실험적으로 증명하기 위해서 먼저 환경적 오차 요인이 완벽히 제거된 이상적인 환경에서의 모의 실험 결과를 기술하였다. 이 결과와 함께 지상에 고정된 교정장치, 저속으로 기동하는 교정구, 고속으로 기동하는 비행표적에 대한 불확도를 추정함으로써 오차 요인이 포함된 각기 다른 특성의 표적에 대한 모노펄스 레이더 계측 불확도를 정량적으로 비교 고찰하였다.

예술의 대중화를 위한 블록체인 기반 예술품 거래 플랫폼 제안 (A Proposal on Blockchain-based Artwork Trading System for Popularization of Fine Art)

  • 이은미
    • 한국융합학회논문지
    • /
    • 제9권10호
    • /
    • pp.209-215
    • /
    • 2018
  • 우리나라 문화 향유 수준은 매년 향상되고 있지만, 일반 대중이 예술품을 소장하는 문화는 그다지 발전하지 못하고 있다. 전통적인 예술품 거래 시스템뿐만 아니라 최신의 블록체인 기반의 예술품 거래 시스템까지 대부분의 기존 시스템들은 고가의 예술품 거래를 위해 설계되어 일반 대중이 접근하기 힘들다. 본 논문에서는 우리나라 일반 대중의 예술품 소장 문화를 개선하고, 순수 예술의 대중화에 기여할 수 있는 블록체인 기반 예술품 거래 시스템을 제안한다. 제안 시스템은 신원증명, 예술품 등록 그리고 스마트 계약을 위한 세 블록체인을 연동하여 구성된다. 제안 시스템은 블록체인 시스템의 장점을 활용하여 사용자들이 서로에 대한 신뢰를 제공할 수 있게 하고, 예술 노트라는 개념을 블록체인 시스템 내에 도입하여 예술가들이 자신의 작품에 대한 신뢰를 구축할 수 있게 한다. 제안 시스템은 전문가나 외부 기관이 아닌 시스템 참여자들을 통해 신뢰 체계가 구축되므로 비용이 절감되고, 일반 대중이 소장 가능한 작품의 거래도 이루어질 수 있다.

Welfare Effects of the Tax Reforms in Two Vertically-Related Oligopolies with Environmental Externality

  • 홍인기
    • 환경정책연구
    • /
    • 제7권3호
    • /
    • pp.1-40
    • /
    • 2008
  • 본 논문에서는 산업구조상 수직적으로 연결된 과점산업들을 상정한 뒤, 상류 및 하류 산업의 과점으로 인해 발생하는 최적에 미달하는 산출수준, 하류부문의 투입물 사용에서 발생하는 비효율성, 그리고 상류부문 과점산업의 환경오염으로 인해 발생하는 네 가지 비효율성을 모두 고려할 수 있는 이론 모형으로 정식화하고, 정책당국이 세수중립적인 세제개혁을 통해서 어떻게 후생증진을 도모할 수 있는지 논증한다. 이를 위해서 상류부문이 생산하는 중간재과 하류부문이 생산하는 최종재에 각각 산출세를 부과하는 경우와 환경오염 자체에 피구세(稅)를 부과하는 경우를 분리 상정하고, 각각의 후생변화를 수식으로 도출한다. 그 결과, 오염에 부과되는 생산요소간 대체를 가능하게하는 피구세(稅)가 생산감축을 통한 환경오염감소를 허용하는 산출세에 비해서 더 효과적으로 후생을 증진시킬 수 있는 논거가 경쟁적 단일산업에서뿐만 아니라 수직적으로 연결된 과점산업구조하에서도 여전히 타당함을 증명하고, 세수중립적인 조세-보조금 정책조합을 이용한 조세개혁을 통해 정책당국이 후생증진을 도모할 수 있는 조건을 명시적으로 도출한다. 또한 상하류 과점산업들의 한계적 이윤비용구조 및 한계적 환경오염의 상대적 크기가 각 산업에 대한 조세-보조금 정책조합의 방향을 결정하는데 매우 중요한 역할을 한다는 점을 밝힌다.

  • PDF