http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이종춘,임성철,윤의박 ( Jong Chun Lee,Sung Chul Lim,Eui Pak Yoon ) 한국주조공학회 1996 한국주조공학회지 Vol.16 No.1
N/A Electromagnetic stirring was applied as a treatment method of semi-solid state processing. The study on the change of the microstructure of Al-4.5wt%Cu alloy was conducted through the size of primary solid particle and its sphericity in various stirring conditions. First, we produced a rotating magnetic field type, electromagnetic stirring apparatus having 3-phases, 2-poles and common frequency of 60㎐(inner diameter of core : 191㎜;height of core : 225㎜). The apparatus specified that the magnetic flux density was about 0.05T at the center when maximum power was loaded. Microstructures obtained by electromagnetic stirring treatment were mixed morphology which consisted of primary solid particles and fine eutectic phases caused by the quenching effect of remaining liquid phase. The shapes of primary solid particle were rosette type or spheroid type and the effect of electromagnetic stirring on molten alloy as the stirring method of semisolid state processing was confirmed.
Complete Category에서 Fatorization System의 성질에 대하여
이종춘 동국대학교 자연과학연구소 1989 자연과학연구 논문집 Vol.9 No.-
Cocomplete category의 한 factorization system(ε,?)에서, ε class에 대하여 [2]에서 다루어진 내용에 대응하는 성질들을 complete category에서, ?class에 대한 성질 즉, limit에 의하여 닫혀 있음을 보인다. The closed-ness of morphism class ε of a factorization system (ε,?) under push-out and colimit in a cocomplete categroy was shown in?. In this note, we showed the relevant properties of class ? of a factorization system of a complete category.
Injectivity 로 정의된 Axiomatinability 에 관한 연구
이종춘 동국대학교 자연과학연구소 1988 자연과학연구 논문집 Vol.8 No.-
Model Theory에서 Category을 이용한 일반화 과정에서 Anderka, Nemeti 그리고 Sain? 들은 model들의 class에서 정의된 연산 Formulation of axiomatisable hull of model"을 injectivity을 이용하여 표현하였다. X가 S을 포함하는 {H,S,P,P? ,e}의 한부분 집합에서 이루어진 복합연산일 때 한 language(K?, Ob, ?)에서 임의의 class A ⊂ Mor의 axiomatisable class는 A에 연산 X을 취하여 준 class와 일치함을 보였다. 본지에서는 H,S가 Factorization System을 이룰 때 악화된 조건에서 Axiomatisabity의 성립을 보인다. In the Category theoretical generalization of a part of Model Theory, the operator on class of models "Formulation of axiomatisable hull of model" was represented by use of injectivity by Anderka, Nemeti and Sain : In a language (K ?, Ob, ?), the axiomatisable class are exactly the class closed with respect to the operation X, Inj K?A= XA, where X is a string of letters in a subset containing S of set of operators, H,S,P,P? ,e. The object of this paper is to show the Axiomatisablity under the reduced condition when H and S form a Factorization System.
춘천시의 지하 저장 탱크의 예비적 위해성 평가를 위한 설치 현황 분석 및 지리정보시스템의 적용
김준현,한영한,이종춘,권영성,이광연 江原大學校 産業技術硏究所 2002 産業技術硏究 Vol.22 No.A
In this study, the preliminary risk assessment for the underground storage tanks(UST) in Chunchon city was implemented using the geographical information system(GIS). The estimation variables, such as the installation year, storage capacity, the distances from streams, and from groundwater pumping wells, were selected to estimate the relative risk levels. The weighting factors were given to all the estimation variables. Cumulative scores were induced by the combination of al1 the scores of the corresponding variables using the buffering technique and the overlay analysis in ArcView. Using the these process, the relative risk level of each UST was estimated. Some sites in this study are simplified and reduced because the number of useable data are limited or too enormous. Thus the selection of the comprehensive estimation variables and the proper weighting values are required for the future study. The methodology in this study could be served not only for the preliminary risk assessment of UST but also for the selection of the proper location of new and old UST. And, it can be used for the effective management system of UST.
A NOTE ON THE FUNCTORALITY OF THE STRONG COMPOSITION IN THE CATEGORY OF SMALL CATEGORIES
Lee,Jong Chun 동국대학교 자연과학연구소 1981 자연과학연구 논문집 Vol.1 No.-
자신에 의해 enriched된 2-category로서, Cat에서 정의된 strong composition의 functorality는 units의 preservation과 exchage law의 성립과의 동치성이 다루어짐. This note is a proof on the equvalency of the functorality of the horizontal (strong) composition in Cat being enriched in itself, i.e., as a 2-dimensional category, to the preservation of the units and the validity of the exchange law.
On an Adjunction of Endofunctors on Category of Monoid Actions on Sets
LEE, JONG-CHUN 동국대학교 자연과학연구소 1993 자연과학연구 논문집 Vol.13 No.-
한 monoid의 집합상에서 작용들을 object으로 갖고 그작용들을 보전하는함수들을 morphism으로하는 Category C 상에서 정의된 endofunctor-xY의 right-adjoint가 되는 internal Hom-functor인 Hom?(Y,-)의 존재성과 두 endofunctors들이 adjunction을 형성함을 보인다. Main object of this note is to show that on a categroy C of monoid actions on sets and action preserving maps the existence of an internal Hom-functor, Hom?(Y, -), a right adjoint of an endofunctor -xY on the category.
ON A CATEGORY STRUCTURED OBJECT IN FINITELY COMPLETE CATEGORY
Lee,Jong Chun 동국대학교 자연과학연구소 1981 자연과학연구 논문집 Vol.1 No.-
Ens의 Category-structured-object에 의해 small category가 meta-categorical하게 결정됨을 증명함. In this paper the meta-categorical construction of a small category from a category-structured-object in Ens is established.
ON A CATEGORY STRUCTURED OBJECT IN FINITELY COMPLETE CATEGORY
Lee, Jong Chun 동국대학교 재료과학연구소 1981 材料科學硏究所 論文集 Vol.1 No.-
Ens의 Category-structured-object에 의해 small category가 meta-categorical하게 결정됨을 증명함. In this paper the meta-categorical construction of a small category from a category-structured-object in Ens is established.
A NOTE ON THE FUNCTORALITY OF THE STRONG COMPOSITION IN THE CATEGORY OF SMALL CATEGORIES
Lee, Jong Chun 동국대학교 재료과학연구소 1981 材料科學硏究所 論文集 Vol.1 No.-
자신에 의해 enriched된 2-category로서, Cat에서 정의된 strong composition의 functorality는 units의 preservation과 exchange law의 성립과의 동치성이 다루어짐. This note is a proof on the equivalency of the functorality of the horizontal (strong) composition in Cat being enriched in itself, i.e., as a 2-dimensional category, to the preservation of the units and the validity of the exchange law.