• 논리연구
• /
• 제16권1호
• /
• pp.87-115
• /
• 2013

필자는 최근 논문 "논란 없는 원리와 최원배 교수의 반론"에서 이른바 '논란 없는 원리'가 논란의 여지가 있다는 주장과 (연역추론으로서의) 전건 긍정식의 타당성이 양립함을 주장했다. 이러한 주장에 대해 최원배 교수는 그의 최근 논문 "논란 없는 원리와 전건 긍정식"에서 세 가지 비판을 제시한다. 첫째, 필자는 'A이면 (아마도) C이다. A이다. 따라서 C이다.' 형식의 추론이 전건 긍정식의 사례임을 부정하지만, 이와 같은 추론은 전건 긍정식의 사례로 간주될 수 있다. 둘째, 연역추론에 기반을 둔 직설법적 조건문과 귀납추론에 기반을 둔 직설법적 조건문을 구분해주는 문법상의 표식이 없기 때문에 이러한 조건문들을 전제로 하는 전건 긍정식들을 형식상 다른 종류의 추론들이라고 보기 어렵다. 셋째, 직설법적 조건문이 귀납추론에 의해 정당화되는 경우를 허용하면 논리개념이 지켜야 하는 조화의 원리를 어기게 된다. 이 논문에서 필자는 이 비판들이 모두 설득력이 없음을 주장한다.

• 논리연구
• /
• 제18권3호
• /
• pp.337-358
• /
• 2015

반 멕기는 "A Counterexample to Modus Ponens"에서 긍정논법에 대한 "반례"를 제시했다. 이 반례에 대한 많은 논의들은 주로 조건문을 확률적 해석을 통해 이해하는 방식으로 이루어져 왔다. 이 논문은 (1) 긍정논법은 연역적으로 타당한 추론의 규칙이라는 것과 (2) 반례처럼 보이는 멕기의 사례들은 조건부 확률 개념 없이도 설명될 수 있고 또한 그렇게 설명되어져야 한다는 것을 보이고자 한다. 멕기의 사례들이 반례처럼 보이는 이유는 조건문의 애매성으로부터 비롯된다. 멕기의 사례들에 포함된 조건문들은 애매하게 사용되고 있다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.297-301
• /
• 2017

본 연구에서는 새만금유역과 호 내의 복잡한 수체 형상, 유입 및 유출 구조를 반영하는데 적합한 모델을 적용하고 재현성이 검토된 모델 결과를 이용하여 호 내 수질을 모의하였다. 또한 구성한 모형의 결과를 바탕으로 만경강, 동진강의 상류에 위치하고 있는 제수문에서의 방류조건을 가정하여 모의를 수행하였다. 방류조건별 모의 결과, M3, D5지점에서 목표수질을 초과하는 것으로 나타났고 새만금호 상류부인 M3, D3지점은 방류조건에 따른 수질개선효과가 큰 것으로 예측되어 만경강과 동진강의 유입수의 영향이 지배적인 것으로 평가되었다. 전량방류시 영향범위를 거리로 살펴보면 만경강대교에서 새만금호 하류방향으로 약 22 km지점, 동진강대교에서 새만금호 하류방향으로 약 15 km지점까지로 나타났다. 농도변화와 방류조건별 영향범위를 살펴보면, 하류측으로 갈수록 수질개선에 영향을 적게 미치지만, 증가된 방류량에 의해 수질이 개선되어 제수문에서의 방류량 증가는 호 내 수질개선에 기여하는 것으로 판단된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2015년도 학술발표회
• /
• pp.546-546
• /
• 2015

현재 새만금 호 내로 유입되는 만경, 동진강 유역은 대규모 관개시스템을 통해 하천수의 대부분을 농업용수로 취수하고 있어 하천의 건천화가 심화되고 이에 따라 수질관리와 수생태계 보전에 어려움이 있다. 또한 새만금호는 방조제 완공 이후 배수갑문을 통한 해수유통이 줄어들어 호 내중 하류부에만 영향을 미치고 상류부인 만경, 동진강의 유입부는 유입되는 유량과 오염부하량의 지배적인 영향을 받는다. 이러한 새만금유역과 호에 대해 적정수질유지 및 합리적인 수질관리 대책 수립이 중요하며, 이를 위하여 상류하천 및 새만금호의 주요 지점에 대한 지속적인 모니터링 및 유역과 수역의 기작 등을 합리적으로 구현할 수 있는 수질예측 모델을 구축, 운영 할 필요가 있다. 따라서 본 연구에서는 새만금유역에 대해 SWAT모형을 적용시켜 자료를 구축하였고, 그 결과를 토대로 3차원 수리?수질모델인 EFDC를 이용하여 2020년 호 내 수질을 모의하였다. 또한 제수문 방류조건(1cms방류, 65%방류, 전량방류)에 따른 수질 변화를 모의하여 호 내 수질변화와 영향범위를 추정하였다. 제수문에서의 1cms방류조건과 전량방류조건을 모의하여 연평균 농도를 비교 한 결과 M3지점에 서 COD 1.304mg/L 감소, T-N 1.207mg/L 감소, T-P 0.08mg/L 감소, Chl-a $5.095mg/m^3$ 감소, D3지점에서 COD 0.492mg/L 감소, T-N 0.205mg/L 감소, T-P 0.009mg/L 감소, Chl-a $2.117mg/m^3$ 감소하는 것으로 예측되어 수질이 개선되는 것으로 나타났다. 이는 만경강과 동진강 제수문의 증가된 방류량으로 인해 유황이 개선되고 호 내 오염부하농도가 감소하는 것으로 판단된다. 방류조건별 영향범위를 살펴본 결과, 65%방류조건에서는 호 내 상류구간에 영향을 미치는 것으로 나타났고, 전량방류조건에서는 호 내 중?상류구간이 지배적인 영향범위로 평가되었다. 따라서 유역 내 제수문 관리를 통한 방류량 조정은 새만금호의 효과적인 수질관리에 기여 할 것으로 예상되며, 향후 제수문의 체계화된 운영방안 수립대책이 필요하다.

• 논리연구
• /
• 제11권1호
• /
• pp.67-89
• /
• 2008

반 멕기는 전건긍정규칙의 반례라고 하는 것을 제시하였다. 지금까지 그것이 과연 진정한 반례인지를 두고 많은 논의가 있었다. 이 논문에서 나의 목적은 조금 다르다. 나는 여기서 반 멕기의 반례가 생겨나는 구조를 밝히고자 한다. 우선 나는 내 자신이 구성한 반례를 하나 제시할 것이다. 그런 다음 반례가 생겨나는 기본 구조를 찾아내고, 이런 분석이 다른 반례에도 그대로 적용된다는 점을 보임으로써 나의 제안이 옳은 분석이라는 점을 확증하기로 한다. 이를 통해 최종적으로 우리는 반례가 만들어지는 메커니즘을 분명히 할 수 있을 것이다. 나는 석기에는 조건문에 대한 특정한 이해가 들어 있다는 점을 보일 것이다. 반례가 생겨나는 구조를 파악하고 나면 반례의 해결책을 마련하는 일은 그다지 어렵지 않다. 끝에서 나는 그런 해결책을 간단히 언급하고자 한다.

• 논리연구
• /
• 제5권1호
• /
• pp.63-79
• /
• 2001

반 멕기는 전건 긍정 규칙(modus ponens)에 대한 이른바 반례들을 제시하고, 이런 예는 전건 긍정 규칙이 '엄밀히 타당한'것은 아님을 보여준다고 주장하였다. 그런데 최근 들어 카츠는 이런 반 멕기의 주장을 논박하고 있다. 이 논문은 카츠의 이런 논박이 어느 정도 성공적인지를 검토하고 있다. 이를 위해 우선 반 멕기의 반례가 제시되고, 그 다음 카츠의 반박이 자세히 분석되고 정식화된다. 이런 정식화에 바탕을 두고 카츠의 논증이 평가되며, 그 결과 카츠의 논증이 흠이 있음이 드러난다. 이런 이유로 논자는 카츠의 논박이 반 멕기가 내세운 전건 긍정 규칙의 반례를 무효화하지 못했으며, 따라서 반례는 여전히 유효하다고 주장한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제27권4호
• /
• pp.562-571
• /
• 2000

이미지 데이터는 텍스트 데이터와는 달리 다양한 색상과 모양, 질감과 같은 비정형적인 특징을 가진다. 따라서 이미지 데이터베이스는 텍스트 기반의 전통 데이터베이스와는 다른 모델링 방법과 질의, 검색 방법을 사용한. 특히, 내용 기반 이미지 검색에서의 검색 속도와 정확도를 향상시키기 위해서는 새로운 복합 질의문 계획 생성 기법이 필요하다. 본 논문에서는 이를 위해 먼저, 단일 조건을 갖는 시각 질의에 대한 처리 기법들을 토대로 여러 조건을 갖는 복합 질의를 처리하기 위한 복합 질의문 계획 생성기법인 SSCC(Similarity Search for Conjunction Combination Query) 알고리즘을 제안한다. SSCC는 이미지 데이터베이스 검색 시스템에서 복합 질의를 처리하기 위한 질의 최적화 과정에서 질의 수행 시간과 투플 I/O를 최소화하는 질의문 계획을 생성하기 위해 사용된다. SSCC 알고리즘은 복합질의를 단일 질의들로 준해하고 퍼지 집합 이론을 도입하여 단일 질의의 결과들을 통합한다. 논문에서 연구된 내용 기반 복합 질의문 계획 생성 기법은 특정 이미지 영역에 국한되지 않으며 다양한 종류의 시각 질의를 수행하기 위한 효율적인 질의문 계획 생성 기법으로 사용될 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.1467-1470
• /
• 2005

다른 고수준 언어와 마찬가지로 자바도 할당문, 연산문, 조건문, 반복문, 호출문 등의 문장 형식을 갖는다. 자바의 모든 문장 형식은 바이트코드로 변환되어 자바가상기계 상에서 실행된다. 스택 기반 구조를 갖는 자바가상기계에서 각 문장의 실행은 필연적으로 자료 이동을 요구하며, 자료 이동은 메모리 접근을 필요로 하므로 프로그램 실행 시간에 직접적 영향을 미친다. 본 논문에서는 각각의 자바 문장 형식이 어느 정도의 메모리 접근을 요구하며, 프로그램 실행 시간에는 어떤 영향을 미치는지를 분석하였다. 이 연구의 결과는 자바 프로그래머에게 프로그램 실행 시간면에서 보다 효율적인 프로그램 작성을 할 수 있도록 도와 줄 것이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 B
• /
• pp.395-397
• /
• 2000

본 논문에서는 Grafcet을 이용하여 고속 철도의 외부 승강문 운영 데이터 처리 사양으로부터 승강문 운영 상세 사양을 구성하는데 목적을 둔다. 이에 따라 승강문 열림/닫힘, 승강문 열림 및 승강문 닫힘 관련 Grafcet을 구성한 후, 천이와 스텝의 관점에 따라 연관된 액션과 천이 조건 등을 분류하여 주어진 Grafcet의 특성 및 순차 제어 논리 분석을 실행한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 B
• /
• pp.1429-1432
• /
• 2000

본 논문은 Grafcet[1]을 이용하여 고속전철 승강문 제어를 실행하기 위한 운영 모드에 대해 논의한다. 고속전철에 사용하는 승강문 제어 관련 동작 상태의 정의 및 제어 조건[2]을 인용하여 승강문 제어를 위한 기본 사양 및 운영자 요구사양을 정의한 다음, 열차편성을 1개의 동력차와 4개의 객차로 가정한 후, 이에 대한 승강문 운영 모드 관련 순차 프로그램을 Grafcet 을 이용하여 구성하였다.