• 환경영향평가
• /
• 제16권3호
• /
• pp.207-227
• /
• 2007

본 연구는 오늘날 범지구적 차원에서 심각한 수준에 있는 생태계 파괴에 대한 사회학적 함의를 정립하는 데 목적이 있다. 이를 위해 먼저 생태계의 개념과 구조를 살펴보고, 다음으로 인간활동으로 인한 생태계 파괴의 메커니즘을 분석하고, 마지막으로 그 메커니즘에 기초하여 생태계 파괴에 대한 사회학적 함의를 정립하였다. 생태계로서의 자연은 인간 없이 존재할 수 있지만 인간은 자연 없이는 생존할 수 없다. 따라서 생계위기는 곧 인간의 위기다. 그럼에도 불구하고 18세기 산업혁명 이후 풍요성과 편리성 추구를 위한 인간의 활동 결과 지구는 점용환경용량을 2.5배 초과되었다. 이것은 인간이 범한 모순이다. 이 모순을 해결하면서 사회발전을 추진하자는 이념으로 1987년 지속가능발전이 제창되었고, 지속가능발전은 1990년대 중반에 지속가능사회로 대치되었고, 2000년대에 와서는 지속가능사회가 생태적 근대화로 대체되었다. 18세기 산업혁명 이후 풍요성과 편리성 증대를 위한 인간의 활동으로 생태계가 파괴되기 시작한 후, 생태계를 보전하면서 사회발전을 추진하자는 생태적 근대화 이념이 출현까지의 역사적 과정은 정(正)-반(反)-합(合)의 변증법 과정으로 이론화될 수 있다. 산업혁명 이전의 농업사회 때는 인간의 활동이 점용환경용량 범위 안에서 이루어졌기 때문에 환경문제가 없었다. 이 시대는 생태적 지속가능성이 유지되었기 때문에 생태적 합(合)의 상태라고 할 수 있다. 산업혁명 이후 인간의 활동이 생태계의 점용환경용량을 초월시킨 것은 생태계에 반(反)이 작용한 것이다. 따라서 범지구적 차원에서 환경문제의 심각성을 인식하고 지속가능발전을 위한 정책이 도입되기 이전까지 생태계는 정(正)과 반(反)이 대립상태에서 공존하였다. 1990년대 이후 생태적 지속가능성을 위한 각종 지속가능발전정책의 도입은 정(正)과 반(反)의 대립을 통해 다시 생태학적 합(合)의 상태를 지향하는 과정이라고 할 수 있다.

• 한국ITS학회 논문지
• /
• 제5권1호
• /
• pp.31-43
• /
• 2006

실시간 교통정보 수집과 센터 온라인 신호제어를 기본기능으로 하는 경찰청 교통신호제어기 표준규격서가 개발되어 2005년 3월부터 발효되었다. 발표된 규격은 가로구간의 교통상황을 수집하고, 이를 관제센터에 전송하며, 적절한 교통상황별 신호시간을 부여받아 신호등을 제어하는 지능적인 교통신호기의 표준 사양과 기능을 주요 골자로 하고 있다. 과거의 교통신호기들은 부품이 호환되지 않고 제어기능과 통신방법이 상이하여 도시별로 호환되지 않았으며 유지관리의 시간적 경제적 비용을 증가시켰다. 또한 모순검지방법 등 일부 교통안전에 중요한 기능이 비합리적으로 사용되고 있었다. 본 규격에서는 이런 단점을 극복하기 위해 먼저 하드웨어 호환성을 확보하였다. 그리고 모순검지방법을 보완하였으며, 관제센터와의 통신규약을 규격에 포함하여 모든 도시의 센터에 호환되도록 하였다. 개발된 규격은 시제품 제작과 시험과정을 거쳐 결정되었다. 본 규격으로 제조자에 비 의존적인 유지보수체계가 가능해지며 저렴하고 빠른 고장 대응이 가능하다. 또한 일관된 정보처리 및 제어알고리즘이 적용되어 센터설치 업체의 지역선점효과가 점차 사라질 것이며, 지역별 교차로의 교통통제방법이 일원화되어 표준적이고 안전한 교통제어를 할 수 있을 것으로 기대된다.

• 논리연구
• /
• 제19권3호
• /
• pp.341-368
• /
• 2016

"p이지만 나는 p라고 믿지 않는다"와 같은 문장은 어떤 상황에서도 자연스럽게 발화될 수 있을 것 같지 않고, 심지어는 부조리하고 모순되게 들리기까지 한다. 무어의 역설이 제기하는 문제는 왜 이런 문장이 아무런 형식적인 모순이 없음에도 불구하고 이를 발화하는 것이 부조리하게 들리는지를 설명하는 것이다. 무어의 역설에 대한 기존의 견해는 주로 믿음이나 주장(assertion)의 성격에서 그 부조리성의 근원을 찾으려 한다. 필자는 본 논문에서 기존의 견해들이 무어의 역설을 만족스럽게 설명하지 못함을 주장하고, 이에 대한 새로운 설명을 제안한다. 이 제안에 따르면 무어의 역설의 근원은 "자기-지시"에 있다. 자기-지시는 주체가 어떤 특정한 방식으로 믿음을 형성하는 성향에 의해 부분적으로 구성되는데, 무어의 역설은 주체가 자신을 "나"로 지시하는 동시에 어떤 사람을 "나"로 지시하기 위해 만족시켜야할 조건을 만족시키지 못하는 데에서 발생한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권5호
• /
• pp.411-415
• /
• 2010

요구사항 충돌은 시스템의 기능의 오작동이나 프로젝트 전체의 실패를 가져올 수 있다. 현재 요구사항 충돌연구는 식별에 치중되어 있고 해결에 관한 연구는 우선순위에 의하여 선택을 하는 것이 대부분이다. 요구사항 충돌을 해결하기 위해 본 논문에서는 TRIZ의 이론을 적용하여 창의적인 아이디어를 제시할 수 있도록 돕는 요구사항 충돌 해결 원리(CRRC)를 제안한다. TRIZ는 모순을 해결하여 아이디어를 내는 데 특화된 이론으로 200만 건 이상의 특허 사례를 바탕으로 만들어졌다. CRRC는 요구사항 충돌을 분류하고 유형에 적합한 TRIZ이론을 소프트웨어에 맞게 적용하였다. 대조 실험 적용 결과 CRRC를 제공하면 다양한 종류의 창의적인 요구사항 충돌 해결 방안을 제시할 수 있었다.

• 논리연구
• /
• 제8권2호
• /
• pp.3-32
• /
• 2005

수론(Number theory)과 수학 전반에 걸쳐 무모순성을 확립하고자 한 힐버트의 합리주의적 열망은 무모순성을 주장하는 진술 자체가 그 체계 내에서 결정 불가능한 진술이라는 괴델의 두 번째 정리에 의해 좌절된다. 수학의 어떤 문제에서도 수학자가 "Ignorabimus!" (우리는 모른다!) 해서는 안된다는 힐버트의 낙관 또한 수학에서 증명도 반증도 안되는 결정불가능한 진술의 존재로 인하여 무너진다. 힐버트 프로그램은 일체의 모호함을 배제하고 기호와 기호열에 대한 기계적 연산에 기초하기 때문에 그 충격도 그만큼 클 수밖에 없다. 이 프로그램의 좌절은 그래서 무엇보다도 형식화의 한계를 분명히 보여준다. 이제 수학에서는 통사론적인 증명가능성의 개념이 의미론적인 참의 개념보다 우위를 갖게 되었다. 그리고 그가 제안한 알고리듬(기계적 절차)의 개념은 프로그래밍 언어의 출현에 직접 기여하였다. 그래서 우리는 그의 기획이 비록 좌절했지만 위대한 실패라고 믿고 싶다.

• 대한공간정보학회지
• /
• 제13권3호
• /
• pp.79-85
• /
• 2005

초기에 국가기본지형도는 DXF로 표현되어 저장, 공급되어 왔으며 현재의 수치지도는 대부분 이와 같은 형식으로 정비되어 있으나, 이를 지리정보시스템에서 수치지도를 직접 사용하기 위해서는 많은 부분을 새로이 가공하여야 하며, 특히 수치지도에 포함된 기하학적 모순과 논리적 모순에 의해 많은 구조화 편집과 지리조사 등이 요구되었다. 이와 같이 DXF는 지리정보시스템에서 사용되기에는 적합하지 않은 데이터 포맷이어서 보다 효율적인 포맷으로 전환이 필요하여, 그 결과 수치지도 Ver. 2.0이라는 새로운 지도포맷이 개발되었다. 본 연구에서는 새로운 형식의 수치지도 Ver. 2.0 형식으로 제작된 수치지도를 모바일 장비에서 바로 도시할 수 있는 수치지도 Ver. 2.0 Mobile Viewer 프로그램 개발을 수행하였다.

• 대한용접접합학회:학술대회논문집
• /
• 대한용접접합학회 2010년도 춘계학술발표대회 초록집
• /
• pp.41-41
• /
• 2010

에어컨용 냉매 압축기, 냉장고용 냉매압축기 및 자동차 샷시 부품들은 주로 겹치기 필릿용접을 GMAW 으로 실시하고 있다. 그러나 용접 시 스패터 발생으로 인한 추가공수가 요구되며 작업환경 또한 열악한 실정이다. 따라서 저가의 고생산이면서 용접비드의 외관이 미려하고 스패터, 소음 그리고 Fume 이 발생되지 않는 청정한 TIG 용접이 있지만, 용접속도가 수십 cpm 이하로 제한되어 생산성이 낮다는 기술적 모순을 가지고 있다. TIG 용접에서 생산성을 증가시키기 위해 모재와 와이어를 고속 용융 시키려면 전류를 높여 입열량을 증가시켜야 하지만, 증가된 전류로 인하여 상승된 아크력이 험핑비드와 언더컷이 발생되는 물리적 모순을 가진다. 또한 필러와이어를 사용한 기존의 TIG 용접에서 필러 와이어는 주로 원형 단면 와이어를 사용하게 되는데 와이어의 직경이 증가함에 따라 비표면적은 감소하여 용융효율이 낮아지므로 $\Phi$1.2 이하의 필러와이어를 송급하여 용접하였다. 그러나 요구되는 용착량이 큰 경우 필러 와이어를 고속으로 송급하게 되는데 이 경우 필러 와이어 용융이 곤란하거나 송급상의 문제가 자주 생겨 용접속도를 고속으로 하기 곤란하였다. 따라서 필러와이어를 사용한 TIG 용접에서 용착금속의 용융효율을 높게 함으로서 전류를 크게 증가시키지 않으면서도 용접속도를 높일 수 있는 용접 공정개발이 필요한 실정이다. 본 연구에서는 비표면적을 증가시켜 용착금속의 높은 용융효율을 얻을 수 있도록 개발된 와이어와 기존의 $\Phi$3.2 일반와이어 및 를 이용하여 BOP TIG 용접에 비교 실험하였으며, 개발된 와이어와 기존의 $\Phi$1.2 필러와이어를 이용하여 필릿용접부에 적용 실험하여 비교하였다. 그 결과 개발된 와이어의 경우 적절한 비드를 형성하였으나 3.2 일반와이어의 경우 과도한 볼록비드와 불용착부의 문제가 발생하였고, 필릿용접 비교실험에서는 각각 200cpm과 50cpm에서 적절한 비드가 형성되어 더 높은 용착금속 용융효율을 얻을 수 있었다.

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

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

• 디자인학연구
• /
• 제14권2호
• /
• pp.253-266
• /
• 2001

특히 산업사회의 개막이래, 사회의 모순과 결함에 대해서 그동안 지적되었으며 가설되어 왔던 진지한 담론들은 이제 비로소 담론의 독서실을 나와서 현실을 향한 실천으로 전향되어 가고자 하고 있다. 정보화 시대의 과거에 없던 구체적 특질과도 같은 학문의 사회에 대한 실천적 경향은 그러나 아직은 의지의 표출 또는 의사 표시의 단계에 있으며 구체적 실행의 방법 그리고 그 방법의 시행 및 조치가 가능할만한 구조의 정립에는 이르지 못하고 있다. 이 연구에서는 사회가 결함되어 있는 부분(부분이라기 보다는 오히려 총체적인 것이지만)을 그 동안의 분석적 '지적'들을 통합하는 방법으로 명확히 하면서, 그 동안 '대안'되어져 온 것들의 의미를 또한 종합적으로 규명하고자 하였다. 이어서 그 종합적 대안의 성격이 '디자인'의 실천적 이념이 지향하고자 하는바와 매우 흡사하거나, 혹은 일치하고 있다는 발견을 하고자 하였으며, 그러한 디자인의 이념과 방법을 사회화함으로써, 결국은 사회의 모순과 결함을 상당한 규모에서 해소시킬 수 있는 개혁적 치료의 방법으로 삼고자 하였다. 그러나 디자인의 이념과 방법을 사회 현실 일반으로 가져가기 위해서는 '교육'이라고 하는 영역의 가교가 새롭게 구축되어야 할 필요가 불가결하다고 보고, 교육 영역을 대상으로 사회개선의 예비 구조를 찾아보았으며, 거기에서 요구되는 조건과 방향을 제시하였다.

• 기술혁신학회지
• /
• 제16권2호
• /
• pp.408-423
• /
• 2013

창조와 혁신이 성공의 중요한 키워드로 대두되면서 창의적 문제해결 방법론인 트리즈(TRIZ)에 대한 관심이 고조되고 있다. 지금까지 트리즈는 전자 및 기계분야에 도입되어 제품혁신의 원동력으로 활용되고 있어, 본 연구에서는 미래유망기술인 바이오분야에 트리즈 기법을 적용하여 문제를 해결하고 혁신적인 연구개발을 추진할 수 있는지의 가능성을 타진해보고자 하였다. 바이오분야 연구 중 홍삼제조과정에서 발생하는 문제를 선정하고, 이의 문제와 문제원인 구분 및 모순을 도출하고 트리즈의 발명 40가지 원리를 적용하여 홍삼 제조과정에서 발생되는 갈라짐 문제를 해결하고자 하였다. 홍삼은 수삼을 스팀 등의 방법으로 쪄서 익혀 말린 담갈색의 인삼으로, 홍삼의 갈라짐은 유효성분의 유출과 외형등급 하락으로 상품성을 떨어트리는 주요 원인이 된다. 트리즈 툴(Tool) 중 모순 매트릭스 및 브레인스토밍을 통해 적용 가능한 발명원리를 도출하고, 실험을 통해 홍삼 제조과정에서 갈라짐을 방지할 수 있는 유용한 방법들을 제안하였다.