• 대한수학회논문집
• /
• 제35권2호
• /
• pp.469-480
• /
• 2020

Let R be a commutative ring with identity and M a unital R-module. We give a new generalization of exact sequences called e-exact sequences. A sequence $0{\rightarrow}A{\longrightarrow[20]^f}B{\longrightarrow[20]^g}C{\rightarrow}0$ is said to be e-exact if f is monic, Imf ≤_e Kerg and Img ≤_e C. We modify many famous theorems including exact sequences to one includes e-exact sequences like 3 × 3 lemma, four and five lemmas. Next, we prove that for torsion-free module M, the contravariant functor Hom(-, M) is left e-exact and the covariant functor M ⊗ - is right e-exact. Finally, we define e-projective module and characterize it. We show that the direct sum of R-modules is e-projective module if and only if each summand is e-projective.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제4권2호
• /
• pp.127-137
• /
• 2000

Based on the contents of probability and statistics areas in the seventh curriculum, we developed a statistics education model programmed by visual basic for upper grade students of elementary schools. The model that was consisted of ten modules can be easily manipulated by elementary schools students. The objects with a variety of colors are presented on P.C monitor and dynamic functions are performed by clicking a mouse. According to the survey after using the model, students positively evaluated the contents and characteristics and showed great interest in the model. We will upload the execution files of the model on our homepage. One can download and use them free.

• Computers and Concrete
• /
• 제14권3호
• /
• pp.263-277
• /
• 2014

This study investigated four electric field configurations of two-dimensional accelerate lithium migration technique (ALMT), including line-to-line, plane-to-line, contour-to-line and plane-to-plane, and analyzed the ion migration behavior and efficiency. It was found that the free ion distribution diagram and voltage distribution diagram were similar, and ions migrated in the power line direction. The electrode modules were used for the mortar specimen with w/c ratio of 0.5. The effectively processed areas accounted for 14.1%, 39.0%, 49.4% and 51.4% of total area respectively on Day 28. Larger electrode area was more advantageous to ion migration. In addition, it was proved that the two-dimensional electric field could be divided into different equifield line active regions, and regarded as affected by one-dimensional electric field, and the ion migration results in various equifield line active regions were predicted by using the duration analysis method based on the theoretical model of ion migration obtained from one-dimensional test.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2004년도 춘계학술대회논문집
• /
• pp.1064-1067
• /
• 2004

The aim of this paper is to develop a GUI based software that can predict the flow and noise generated by fan. This user-friendly software is designed for the usual fan user in the various industrial companies as well as researcher related to rotating blade:;. Software consists of 3-modules; (1) concept design and performance prediction module using simple and fast methods, (2) preliminary design and flow/noise prediction module using free-wake potential solver and acoustic analogy and (3) detail design module using accurate CFD-software and acoustic formula. Some validations and applications in various fields are described.

• 대한수학회보
• /
• 제40권1호
• /
• pp.29-51
• /
• 2003

In this paper we construct a natural filtration associated to the plethysm $S_{r}(\wedge^2 \varphi)$ over arbitrary commutative ring R. Let $\phi$ : G longrightarrow F be a morphism of finite free R-modules. We construct the natural filtration of $S_{r}(\wedge^2 \varphi)$ as a $GL(F){\times}GL(G)$- complex such that its associated graded complex is ${\Sigma}_{{\lambda}{\in}{\Omega}_{\gamma}}=L_{2{\lambda}{\varphi}$, where ${{\Omega}_{\gamma}}^{-}$ is a set of partitions such that $│\wedge│\;=;{\gamma}\;and\;2{\wedge}$ is a partition of which i-th term is $2{\wedge}_{i}$. Specializing our result, we obtain the filtrations of $S_{r}(\wedge^2 F)\;and\;D_{r}(D_2G).

• KIEAE Journal
• /
• 제3권4호
• /
• pp.15-22
• /
• 2003

Open housing is an emerging, new concept in housing development that combines demand-orientation with environment-friendliness. Its methodology, however, has not been analyzed in a systematic way. In this study, the features of planning method in open housing were analyzed to systematize types of the planning method. The existing planning methods of open housing was reviewed and they can be classified into three approaches such as pattern, module and organization planning. Given three approaches, the existing planning methods of open housing can be sub-classified as follows; free and patterned planning by patterns, modular and non-modular planning by modules, and hierarchical and non-hierarchial planning by organizations. The framework for the typological analysis was made based on the classification and a composite typological system was drawn from the analysis of the existing planning features. The suggested classification of features in open housing is expected to contribute to the clear definition of characteristics on open housing to provide a basis for the concrete realization method, to analyzing problems with the existing planning methods and to providing their solutions.

• 한국정밀공학회지
• /
• 제13권6호
• /
• pp.122-127
• /
• 1996

The achievement of the optimal condition for the task of an industrial articulated robot used in many fields is an important problem to improve productivity. In this paper, a minimum-time trajectory for an articulated robot along the specified path is studied and simulated with a proper example. A general dynamic model of manipulator is represented as a function of path distance. Using this model, the velocity is produced as fast as possible at each point along the path. This minimum-time trajectory planning module together with the existing collision-free path planning modules is utilized to design the optimal path planning of robot in cases where obstacles present.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1994년도 추계학술대회 논문집
• /
• pp.683-688
• /
• 1994

Recently, the Z-Map model has been used widely to represent the three dimensional geometric shape and to achieve the cross-section and point evaluation of the shape. In this paper, the CNC cutting planning and simulation modules for product with three dimensional geometric shape are realized based on the Z-Map model. The realized system has the various capabilities related to the automatic generation of tool path for the rough and finish cutting processes, the automatic elimination of overcut, the automatic generation of CNC program for a machining center and the cutting simulation. Especially, the overcut-free tool path is obtained by using the CL Z-Map models which are composed of the offset surfaces of the geometric shape of product.

• 한국언어정보학회지:언어와정보
• /
• 제2권2호
• /
• pp.121-154
• /
• 1998

The morphological analyzer is expected to tell attested word forms from imaginable yet unattested ones. An account of the inflectional morphology of English verbs is given in the framework of Word-and-Paradigm morphology, developed mainly by Matthews (1972, 1974, 1991) and further by Aronoff (1994) and Zwicky (1985, 1988), which is free of overrecognition. Thirteen inflectional classes are identified according to the patterns each of them exhibits in filling the slots in the paradigm. Peculiarity in orthography is also considered in assigning each verb lexeme to a class. Modules of a C program which gives associated morphosyntactic properties to all and only attested verb forms are written so that details of this framework can be evaluated explicitly. This program is shown to be superior to existing programs in economy and in the generality it achieves.

• 한국디지털건축인테리어학회논문집
• /
• 제12권3호
• /
• pp.5-13
• /
• 2012

In this study, features and design effects of PV(Photovoltaic) modules were classified to help the installation of BIPV(Building Integrated Photovoltaic) In addition, through domestic and international trends and cases survey, installation method was organized and applicable range of efficiency and design from First-generation solar cells to the third-generation solar cell was classified. Frist, Crystalline Solar cell module of first-generation is appropriate for the wall type, roof, louver, shading and etc. It has superiority of technology and price stability and can be achieved by a variety of aesthetic effects. Second, Dye-Sensitized Solar Cell of Thin Film solar cell can express a variety of colors, adjust light transmittance and maximize the aesthetic splendor. It is appropriate for the wall type, window type, curtain wall type and etc. Also, see-through type solar cell can provide comforts cause of free flow of light. And it is advantageous from economic due to adjust the indoor temperature. It is appropriate for the atrium type, curtain wall type, window type and etc.