• 한국수학사학회지
• /
• 제25권3호
• /
• pp.15-27
• /
• 2012

이 글의 목적은 튜링이 태어난 지 100주년을 맞이하여 튜링의 삶을 살펴보고 그의 업적 중 특히 '멈춤정리' 에 주목하여 철학적 함의를 궁구하는 것이다. 튜링은 멈춤문제가 해결불가능하다는 것을 증명함으로써 힐베르트의 결정문제를 부정적으로 해결했다. 본고에서는 멈춤문제의 해결불가능성이 이성의 한계를 함축한다고 파악하고 인식이나 행위에 있어서 여백을 가지는 것이 필요하다는 것을 주장한다.

• 대한교통학회지
• /
• 제23권6호
• /
• pp.115-125
• /
• 2005

열차 노선 계획이란 수요를 만족하기 위해 어떤 경로를 통해 어느 정도의 운행 횟수(frequency)로 열차를 투입할 것인가를 결정하는 문제이다. 지금까지 열차노선계획에 관한 대부분의 연구들은 몇 개의 후보 노선들과 링크별 최소요구 운행 횟수가 주어졌다고 가정하고, 그것으로부터 최적의 노선계획을 설정하였다. 여기서 링크별 최소 요구 횟수 란 OD수요로부터 구한 링크별 통과 수요량(traffic load)을 다시 열차 좌석 용량으로 나눈 값인데, 이러한 계산법은 노선상의 경로에 있는 모든 역에서 열차가 정차한다는 가정에 기반하고 있다. 본 연구는 후보 노선과 최소 요구 운행 횟수를 미리 설정하지 않고, 최적의 시종착 정차 패턴과 운행횟수를 모델로부터 직접 구하는 최적화 모형을 제시한다. 특히 이 모형은 최적화된 여러 가지 노선들의 정차 패턴까지 구할 수 있는 모형이라는 점에서 개선된 모형이라 할 수 있다. 본 연구에서는 이 모형을 다양한 정차 패턴으로 운행되고 있는 한국철도의 경부선. 호남선의 고속열차 노선계획에 적용하여 현실에 적합한 정차패턴과 운행횟수를 가진 열차노선계획이 수립됨을 확인하였다.

• 한국건설관리학회논문집
• /
• 제10권6호
• /
• pp.146-153
• /
• 2009

2008년에는 국내 부동산 경기 침체로 인해 국내 건설 경기가 급속도로 악화되었으며, 국제 유가인상과 함께 철근, 레미콘 등 건설 주요 자재의 가격이 폭등하였다. 또한 새로 출범한 정부는 '예산 10% 절감' 방안을 내세우며 그 일환으로 최저가 낙찰제 공사를 기존 300억원에서 100억원으로 확대 시행할 것으로 발표하였다. 이처럼 정책적 경제적 악재가 겹치면 가장 큰 타격을 받는 것은 대부분 수익성 없이 저가로 수주한 최저가 낙찰제 현장이다. 평상시에도 적자로 운영되는 현장에서 이런 대외적 타격을 받을 경우, 기존에 안고 있던 문제점들이 극대화되기 때문이다. 이에 본 연구에서는 2008년 국내 최저가 낙찰제 현장의 운영 실태를 파악하고 발견된 문제점들에 대한 원인 분석 및 이에 따른 개선방안을 도출하였다. 조사 결과 발주자-원도급자-하도급자간의 자금 유동성의 문제가 가장 큰 것으로 드러났으며 그 원인에는 설계변경 및 에스컬레이션 제도의 미작동 및 리스크를 중소 및 영세기업에게 전가시키는 생산구조에 있는 것으로 파악되었다. 이에 따라 원도급자들은 경기 사이클에 대비할 수 있는 리스크관리 능력을 향상시키고, 발주자들은 경기 침체 시 현장에 유동성을 확보해 줄 수 있는 장치를 마련해 주는 것이 중요한 것으로 파악되었다.