• Communications of the Korean Mathematical Society
• /
• v.15 no.2
• /
• pp.197-231
• /
• 2000

평형문제들에서의 기본적인 정리들이 일반화 볼록공간에서 어떻게 확장되는가를 보인다. KKM 이론의 중요한 정리들 대부분이 위상벡터공간에서의 선형성을 가정하지 않아도 위상적인 성질만으로 성립한다. 이같은 정리들의 예로는 KKM정리, von Neumann의 최소최대정리와 교차정리, Nash의 평형정리, 여러 가지 부동점정리, 극대원정리, Ky Fan의 최소최대부등식, 변분부등식들, 최량근사정리, 일반화 의사평형문제들의 해의 존재정리들이 있다.

• 전기의세계
• /
• v.23 no.1
• /
• pp.46-48
• /
• 1974

회로망정리에는 Kirchhoff의 법칙을 바탕으로 한 Tellegen의 정리[T-1]를 비롯하여 치환정리, 중첩정리, Thevenin-Norton의 정리 및 상반정리 등이 있다. 이들 제정리들은 실제 우리 전기공학자 및 기술자들이 실제문제 또는 현장에서 작업하는 과정에서 자주 부딛치게 되는 각종 회로망이 광범위하게 적용될 수 있을 뿐만 아나라, 그 결론이 매우 간단하므로 그 유용성은 매우 크다. 그러나 이들 제정리들이 지니고 있는 일반성과 간이성을 잘못 인식하여, 실제 응용에서 맛볼 수 있는 통쾌감을 제대로 느끼지 못하는 사람들이 비교적 많다. 본 해설에서는 상기한 제정리중 비교적 최근에 발표된 (1952년) Tellegen의 정리에 대하여 설명하며, 이 정리가 어떻게 유용하게 이용될 수 있는가를 보기를 통하여 설명하고저 한다.

• 정보화사회
• /
• s.109
• /
• pp.32-37
• /
• 1997

인류의 역사가 시작된 이래로 정보의 중요성을 가장 크게 부각시킨 것은 아마도 인터넷이라는 전산망일 것이다. 정보의 홍수속에 살아가고 있는 현대인에게는 하루가 다르게 밀려드는 정보를 "어떻게 정리할 것인가?"하는 문제도 새로운 의미로 받아들여진다. 하지만 정작 그 많은 정보를 정리하려 할 때 커다란 한계를 느끼게 된다. 너무나 다양한 정보들의 양에 그리고 많은 정보를 어디에 어떻게 정리할 것인가? 하는 방법론적인 문제의 어려움에 봉착할 것이 뻔하기 때문인 것이다. 이러한 문제의 해결방안으로 컴퓨터를 이용한 빠른 검색과 정리에 이르렀으며 시대적 요청으로 간주되었다. 또한 컴퓨터통신의 발전으로 전세계에 흩어져 있는 수많은 정보의 교류는 더욱 더 활발해져가고 있다. 하지만 이렇게 구성된 다양한 정보망에서 원하는 정보를 찾기란 그다지 쉬운 일은 아니다.

• Journal of the Korea Construction Safety Engineering Association
• /
• s.14
• /
• pp.44-48
• /
• 1994

건설현장의 정리정돈이 재해 예방과 생산성 향상에 도움을 줄 수 있는 사항을 근거를 들어 증명함으로써 건설현장에서 정리정돈에 소요되는 비용이 결코 헛된 투자가 아닌 사실을 인식하여 정리정돈을 유도하고 재해예방 효과와 생산성 향상 효과를 동시에 얻고자 하는 데 본 연구의 목적이 있다.

• Journal of Korean Library and Information Science Society
• /
• v.38 no.4
• /
• pp.481-498
• /
• 2007

This study aims to investigate and analyse the present of state and matters of technical services outsourcing in academic libraries. For the purpose summarized methods for outsourcing from reports and papers, suggested principal outline of outsourcing and developed quality control program of catalog. This study also surveyed several academic libraries in outsourcing and analyzed features and related issues of the operation of outsourcing. The results of this study can be refereed to the plan and implementation of technical services outsourcing in the future.

• Honam Mathematical Journal
• /
• v.1 no.1
• /
• pp.27-34
• /
• 1979

근래(近來) Skorokhod는 확률론(確率論)의 극한문제(極限問題)와 관련(關聯)하여 모든 불연속함수공간(不連續函數空間)에 관(關)한 위상(位相)을 정의(定義)하였다. 본(本) 논문(論文)에서는 Skorokhod 수렴위상(收斂位相)을 쌍위상(雙位相)(bitopology)형(型)으로 일반화(一般化)하고 잘 알려져 있는 여러위상(位相)과 비교(比較)하여 다음과 같은 결과(結果)를 새로 얻었다. (정리(定理) 2-11); 공간(空間) X와 Y가 완비준거이가분공간(完備準距離可分空間) (Completdy quasi-metric separable space)이라면 쌍개수렴위상(雙槪收斂位相)(pairwise almost convergent topology)는 Skorokhod 쌍수렴위상(雙收斂位相) 보다 약(弱)하다. 그리고 (정리(定理) 2-12); 쌍(雙) graph 위상(位相)은 Skorokhod $J_1$-수렴위상(收斂位相)과 일치(一致)한다. 끝으로 주정리(主定理)인 (정리(定理( 3-1)과 (정리(定理) 3-2)에서 Skorokhod 쌍수렴위상(雙收斂位相)의 Compact성(性)에 관(關)한 필요충분조건(必要充分條件)을 밝혔다.

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.636-642
• /
• 2007

산업 전반에 적용되는 과학, 공학 분야에는 그 목적에 따라 다양한 형태의 정보가 발생한다. 정보는 이용하는 목적에 따란 가공하는 형식과 표현하는 방식이 달라지며, 정보에 직접적으로 접근하는 사용자에게 어떻게 효과적으로 전달할 것인가 하는 문제는 정보 관리 분야에서 매우 중요한 이슈가 되고 있다. 정보를 사용자에게 보다 명확하게 전달하고, 관리하기 위해서는 원천 데이터를 가공하여 가시화(visualization)하는 과정을 거친다. 정보가시화는 원천데이터를 데이터모델로 정리한 후, 가시화구조(visual structure)로 재정의 한다. 실질적인 가시적 결과는 가시화 구조의 데이터들을 정보모델(information model)상에 반영할 때 이루어진다. 본 논문에서는 건물내부에서 진행되는 행사에 대한 시간-공간적인 정보를 정리한 도표 메타포(table metaphor)를 초기 데이터 모델로 사용하여 가시화 하는 과정을 수행한다. 정보 가시화 과정과 저작 과정은 증강현실(augmented reality) 환경에서 이루어진다. 행사가 진행되는 장소의 건물 구조도(map)상에서 각 장소에서 발생하는 정보들을 재배열하고 정리함으로써, 저작자로 하여금 정보 그 자체에 대한 이해뿐만이 아니라, 해당 정보에 대한 공간적인 이해도 함께 가능하게 한다. 이 같은 몰입형(immersive) 저작시스템은 정보에 대한 공간적인 분배가 필요한 저작에서는 매우 유용하며, 저작하는 환경 자체가 가시화의 결과물이 되므로 정보 저작에 대한 가시적 이해를 최대화 시킬 수 있다.

• Korean Journal of Logic
• /
• v.4
• /
• pp.37-62
• /
• 2000

괴테의 불완전성 정리와 그것의 역사적 배경을 이루었던 힐베르트의 프로그램이 어떤 관계에 놓이느냐 하는 쟁점은 전자가 후자를 논박하느냐 하는 문제로 요약될 수 있다. 전자는 수리논리학에서의 한 정리이고 후자는 어떤 철학적 해석이 요구되는 요소를 지니고 있다. 따라서 전자는 '그 자체만으로는' 후자를 논박할 수 없으며, 어떤 철학적 해석이 부여될 때에만 그런 일은 가능할 수 있다. 후자가 지니고 있는 철학적 요소 중에서 가장 중요한 것은 힐베르트의 "유한주의"의 개념이다. 이 개념에 대해서 어떤 철학적 해석이 부여되느냐에 따라, 전자는 후자를 논박할 수도 있고 그렇지 않을 수도 있다. 특히, 힐베르트의 "유한주의"에 대한 철학적 해석은 괴델의 "특수한 유한주의적" 해석과 겐첸의 "구성주의적 해석"으로 대변할 수 있으며, 각각 논박설과 반논박설의 근거를 제공하고 있다. 결국, 문제는 그러한 철학적 해석들이 힐베르트의 사유에 비추어 얼마나 정당한가 하는 점이다. 이 글에서 나는 겐첸의 해석이 괴델의 해석에 대해 대등하게 경합적일 뿐만 아니라, 어떤 점에서는 힐베르트의 사유에 비추어 더 정당하다는 것을 보이고자 한다.

• Communications of Mathematical Education
• /
• v.22 no.3
• /
• pp.311-335
• /
• 2008

The importance of students' precise understanding of mathematical definitions, formulas, and theorems can not be underestimated. In this survey research, we attempted to evaluate students' understanding of the concepts of five topics -limit, continuity and intermediate theorem, derivative, application of derivative and integral. On the basis of the research result, this paper suggests that we need to 1) be more inventive and speculative in making test problems, 2) explain the examples and counter-examples more concretely, 3) stress and repeat the basic concepts on the stage of introducing new concepts, 4) develop more effective problems for the measure of students' understanding of mathematical concepts, 5) use developed problems in actual teaching.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.401-412
• /
• 1995

1994년 봄부터 남부지역으로 심화되기 시작함 가뭄은 우리에게 물관리의 중요성을 다시금 일깨워주고 있다. 본 논문에서는 가용 수자원의 수요와 공급사이의 불균형을 해소시키고 물이 생산성을 높이기 위한 방안을 수요관리의 측면에서 고찰한다. ASCE의 국가 물 정책위원회에서 제시한 "물 보존을 위한 정책선언(Water Conservation Policy Statement)"의 9가지의 정책분야를 중심으로 가능한 절수 관리 방안들을 외국의 사례를 통하여 구체적으로 재조명해 보고 절수를 새로운 공급원으로 하여 시스템분석 기법을 활용하는 방안과 우리가 하여야 할 과업을 정리해 본다.업을 정리해 본다.