리만 함수정리와 리만의 증명에 관하여

김강태,Kim, Kang Tae 한국수학사학회 2017 Journal for history of mathematics Vol.30 No.1

The original proof-argument of Riemann in 1851 for the Riemann mapping theorem, one of the most central theorems in Complex analysis, was found faulty and essentially buried underneath the proof by $Carath{\acute{e}}odory$ of 1929, now accepted as the "textbook" proof. On the other hand, the original Riemann's "proof" was rediscovered and made correct by R.E. Greene and the author of this article in 2016. In this article, we try to shed lights onto the history related to the Riemann mapping theorem and the surrounding developments of 1850-1930 by reflecting upon the main flow of ideas and methods of the proof by R. E. Greene and K.-T. Kim.

재사용 기반의 소프트웨어 개발 체계 구축 : 내장형 소프트웨어 영역의 기업 사례

김강태,Kim Kang-Tae 한국정보처리학회 2006 정보처리학회논문지D Vol.13 No.2

본 논문은 CE(Consumer Electronics) 제품을 개발하는 기업에서 소프트웨어 재사용의 향상을 위하여 기업 내에서 추진한 여러 사례들을 기반으로 소프트웨어 재사용에 대한 기반을 구축하고, 이를 개발 조직에 적용하면서 발생한 문제점의 도출과 개선점의 반영에 대해 논한다. 기업내에서의 재사용 기반을 구축하기 위해서는 기술적, 관리적, 개발환경의 측면이 모두 고려된 종합적인 접근 방법이 필요하다. 본 논문에서는 기술적 측면에서 개발 방법론을, 관리적 측면에서 재사용 메트릭을, 그리고 개발환경의 측면에서 재사용 저장소를 개발하고 운영한 사례를 논하며, 각각을 적용하면서 발생한 문제점을 분석하여 기업에서 보다 효과적인 재사용 기반을 구축하는 개선사례를 제시한다. 본 논문에서 다루는 재사용 활동의 대상은 개발대상 측면에서 내장 소프트웨어라는 특성, 조직적 측면에서 다앙한 제품을 다루는 수십 개의 각기 다른 개발영역과 조직구조를 가진 대규모 조직이라는 특성, 그리고 제품 개발 주기가 매우 짧으며 동일 제품에 대한 파생 제품이 동시에 다량으로 개발된다는 개발 환경의 특성에 기반하고 있다. 본 논문은 상기 분야에 대한 소프트웨어 재사용 현황에 대한 보고서로, 또한 이로부터 기업 내 재사용 기반을 개선하는 사례와 그 방안을 제시한다는 측면에서의 활용도가 있겠다. This paper presents industry feedback and a case of improvement trial on enabling reuse driven software development which is one of several activities to improve software quality and productivity in a company which develops software that are embedded into consumer electronic products. Several case studies will be introduced that are related to software reuse strategies and practices to show how to establish environment for reuse basis in a company, how to apply it to development team and project and how to improve that through trials and errors. To enable reuse-oriented software development in a huge company, integrated and focused approach is needed among technical, management and environmental point of view. We tried to solve that problem in technical field with reuse method, in management filed with reuse metric and in environment field with reuse repository. The characteristics of our software development environment could be summarized as below. The first, embedded software which would not independent to hardware devices and the second, it is very huge company which develops extremely various products by many different organization with different domain characteristics and the third, development lead time is extremely short and many variation models are stems from basic models. We expect that our study would give contribution to industry struggling to solve similar problem for presenting our experience and could be a reference model for enabling software reuse in a real world practically.

설문지 분석법에 의한 氣虛 血虛 氣滯 陰虛 陽虛證의 표준 증상 및 남녀차이 연구

김강태(Kang Tae Kim),엄현섭(Hyun Sup Eom),이인선(In Seon Lee),김종원(Jong Won Kim),지규용(Gyoo Yong Chi) 한의병리학회 2006 동의생리병리학회지 Vol.20 No.6

영역 프레임워크와 프레임워크 지원도구 개발에 관한 연구

김강태(Kim Kang Tae),배제민(Bae Je Min),이경환(Lee Kyung Whan) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.6

In this paper, we built an Object Oriented Framework for Web collaboration system which contains high level analysis information and design knowledge for java applets and applications that enable web clients to communicate and collaborate each other. Components of framework contain design information, source codes and executable codes for reuse. We had defined a development method for domain framework in related works and built a web collaboration system framework following it. We defined subsystem of web collaboration system : user management system. chatting, BBS, Q&A system, board service system for the communication and collaboration between web clients. We also developed visual tools for framework usability : source generator, class editor, knowledge supporting tools.

대향류 확산화염에서 낮은 화염신장율 에지화염의 진동 불안정성

김강태(Kang Tae Kim),박정(Jeong Park),황동진(Dong Jin Hwang),김정수(Jeong Soo Kim),길상인(Sang In Keel),조한창(Han Chang Cho) 대한기계학회 2006 대한기계학회 춘추학술대회 Vol.2006 No.6

Systematic experiments in CH₄/Air counterflow diffusion flames diluted with He and N₂ have been conducted to study oscillatory instabilities in which lateral flame length is less than duct diameter and thus lateral heat loss could be remarkable at low global strain rates. The oscillatory instability appears at fuel Lewis numbers greater than unity and occurs near the flame extinction. But laterally increased conductive heat loss causes flame oscillation even at fuel Lewis numbers less than unity. The oscillating instability is the direct outcome from the advancing and retreating edge flames. The dynamic behaviors prior to extinction in this configuration can be classified into three; a growing, a harmonic, and a decaying oscillation modes near the extinction. As global strain rate decreases, the amplitude of the oscillation becomes larger and the region of oscillation instability becomes wider. This is attributed to the increase of lateral heat loss which can be confirmed by the reduction of lateral flame length. Oscillatory edge flame instabilities and flame extinction at low global strain rates are shown to be closely relevant not only to Lewis number but also to heat losses (radiation and lateral heat losses).

CH₄/Air 대향류 확산 화염의 저신장율에서 진동 불안정성

김강태(Kang Tae Kim),박준성(June Sung Park),박정(Jeong Park),김정수(Jeong Soo Kim),오창보(Chang Bo Oh),길상인(Sang In Keel) 대한기계학회 2005 대한기계학회 춘추학술대회 Vol.2005 No.11

Systematic experiments in CH₄/Air counterflow diffusion flames diluted with He have been undertaken to study the oscillatory instability in which lateral flame size was less than duct diameter and thus lateral heat loss could be remarkable at low global strain rate. The oscillatory instability arises for Lewis numbers greater than unity and occurs near extinction condition. The oscillation is the direct outcome from the advancing and retreating edge flame. The dynamic behaviors of extinction in this configuration can be classified into two; growing and decaying oscillation mode near extinction. As the global strain rate decreases, the amplitude of the oscillation become larger, caused by increasing lateral heat loss which can be confirmed by the reduction of lateral flame size. Oscillatory edge flame instabilities at low global strain rate are shown to be closely associated with not only Lewis number but also heat loss (radiation and lateral heat loss).

산두근 추출물이 인체폐암세포의 COX-2 발현 및 PGE2 생성에 미치는 영향

김강태(Kang Tae Kim),엄현섭(Hyun Sup Eom),지규용(Gyoo Yong Chi) 한의병리학회 2007 동의생리병리학회지 Vol.21 No.4

음향 가진된 프로판 비예혼합 제트 화염의 부상 거동에 대한 실험적 연구

김승곤,김강태,박정,Kim, Seung-Gon,Kim, Kang-Tae,Park, Jeong 대한기계학회 2004 大韓機械學會論文集B Vol.28 No.5

The lift-off characteristics of lifted laminar propane jet flames highly diluted with nitrogen are investigated introducing acoustic forcing with a fuel tube resonance frequency. A flame stability curve is obtained according to forcing strength and the nozzle exit velocity for N2 diluted flames. Flame lift-off behavior is globally classified into three regimes; 1) a weakly varying partially premixed behavior caused by a collapsible mixing for large forcing strength, 2) a coexistent behavior of the edge flame and a weakly varying partially premixed behavior for moderate forcing strength, and 3) edge flame or triple flame behavior for small forcing. It is shown that the laminar lifted flame with forcing affects flame lift-off behavior considerably, and is also clarified that the flame characteristic of flame base is well described with the penetration depth of the degree of mixing, ${\gamma}$$\_$$\delta$/. It is also confirmed that the weakly varying partially premixed flame caused by a collapsible mixing fur large forcing strength behaves as that just near flame blow-out in turbulent lift-off flame.

객체지향 프레임워크의 설계 지원도구에 관한 연구

김형록(Hyung-rok Kim),김강태(Kang-tae Kim),배제민(Je-min Bae),이경환(Kyung-whan Lee) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅰ

객체지향기술의 주요 목표는 구조화된 소프트웨어를 생산하는 것과, 좀더 확장가능하고 재사용가능한 시스템을 구축하는데 있다. 본 논문은 재사용가능한 시스템 구축에 있어 현재 활발히 연구되고 있는 객체지향 프로그래밍 분야중 객체지향 프레임워크의 설계 지원도구에 대해 연구하였다. 객체지향 프레임워크는 분석과 설계 정보의 재사용을 포함하는 넓은 스케일의 재사용을 제공하는 재사용가능한 소프트웨어 아키텍쳐라고 할 수 있다. 이에 대한 설계 프로세스로 우선 3개의 어플리케이션에 대한 분석으로 객체를 추출하고, 객체에 대한 책임을 부여하며, 객체들간의 연결관계를 정의함으로써 이들에 대한 공통구조를 추출한다. 여기에 영역 전문가로부터의 영역지식과 기존의 해결안인 디자인 패턴을 적용하여 프레임워크의 구조를 설계한다. 그리고 이런 설계 프로세스를 지원하기 위한 지원도구들이 필요한데 이들 설계 지원도구로는 공통구조를 모델링하기 위한 모델링 도구와 영역지식에 대한 관리도구, 디자인 패턴 지원도구가 포함된다.

UML을 이용한 컴포넌트 재사용을 위한 인터페이스 명세 시각화 방법

이건화(Keon-hwa Lee),김강태(Kang-tae Kim),이경환(Kyung-whan Lee) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ

컴포넌트 재사용을 위해서 필요한 정보를 제공하는 일반적인 방법으로 인터페이스를 명세한다. 그러나 일반적인 인터페이스 명세는 단순히 외부적인 관점에서만 표현하므로, 컴포넌트간의 상호작용과 협력관계를 나타내지 못한다. 그러므로 컴포넌트 개선(evolution) 및 합성(composition)시에 발생할 수 있는 문제점(conflict)에 대한 충분한 정보를 제공할 수 없다. 본 논문에서는 외부적으로 요구되는 컴포넌트 인터페이스뿐만 아니라 각 컴포넌트 사이에 발생하는 상호작용을 나타낼 수 있는 방법으로 기존의 계약(contract) 개념을 바탕으로 컴포넌트에 적합하도록 변형하여 이를 시각화하였다. 시각화를 위해서 일반적인 산업표준으로 자리잡아가고 있는 UML의 확장 메커니즘의 하나인 stereotype을 이용하여 기본 컴포넌트 계약 재사용 타입을 나타내고 정의하였다. 그리고 재사용 타입간의 관계를 통하여 컴포넌트 개선 및 합성시에 발생할 수 있는 문제점을 지적하고 이를 감지하는 방법을 제공했다.