• Journal of Educational Research in Mathematics
• /
• v.11 no.2
• /
• pp.363-384
• /
• 2001

The purpose of this thesis is, through analysing the characteristics of the definitions in Korean school mathematics textbooks, to explore the levels of them and to make suggestions for definition - teaching as a mathematising activity, Definitions used in academic mathematics are rigorous. But they should be transformed into various types, which are presented in school mathematics textbooks, with didactical purposes. In this thesis we investigated such types of transformation. With the result of this investigation we tried to identify the levels of the definitions in school mathematics textbooks. And in school mathematics textbooks there are definitions which carry out special functions in mathematical contexts or situations. We can say that we understand those definitions, only if we also understand the functions of definitions in those contexts or situations. In this thesis we investigated the cases in school mathematics textbooks, when such functions of definition are accompanied. With the result of this investigation we tried to make suggestions for definition-teaching as an intellectual activity. To begin with we considered definition from two aspects, methods of definition and functions of definition. We tried to construct, with consideration about methods of definition, frame for analysing the types of the definitions in school mathematics and search for a method for definition-teaching through mathematization. Methods of definition are classified as connotative method, denotative method, and synonymous method. Especially we identified that connotative method contains logical definition, genetic definition, relational definition, operational definition, and axiomatic definition. Functions of definition are classified as, description-function, stipulation-function, discrimination-function, analysis-function, demonstration-function, improvement-function. With these analyses we made a frame for investigating the characteristics of the definitions in school mathematics textbooks. With this frame we identified concrete types of transformations of methods of definition. We tried to analyse this result with van Hieles' theory about levels of geometry learning and the mathematical language levels described by Freudenthal, and identify the levels of definitions in school mathematics. We showed the levels of definitions in the geometry area of the Korean school mathematics. And as a result of analysing functions of definition we found that functions of definition appear more often in geometry than in algebra or analysis and that improvement-function, demonstration-function appear regularly after demonstrative geometry while other functions appear before demonstrative geometry. Also, we found that generally speaking, the functions of definition are not explained adequately in school mathematics textbooks. So it is required that the textbook authors should be careful not to miss an opportunity for the functional understanding. And the mathematics teachers should be aware of the functions of definitions. As mentioned above, in this thesis we analysed definitions in school mathematics, identified various types of didactical transformations of definitions, and presented a basis for future researches on definition teaching in school mathematics.

• Journal of Advanced Marine Engineering and Technology
• /
• v.25 no.5
• /
• pp.1130-1139
• /
• 2001

Springs are widely utilized in machine element. To find out stiffness of coil spring, the space beam theory using the finite element method is adopted in this paper. In three dimensional space, a space frame element is a straight bar of uniform cross section which is capable of resisting axial forces, bending moments about two principal axes in the plane of its cross section and twisting moment about its centroidal axis. The corresponding displacement degrees of freedom are twelve. The displacements of nodal points due to small increment of force are calculated by the finite element method and the calculated nodal displacements are added to coordinates of nodal points. The new stiffness matrix of the system using the new coordinates of nodal points is adopted to calculated the another increments of nodal displacements, that is, the step by step method is used in this paper. The results of the finite element method are fairly well agreed with those of various experiments. Using MATLAB program developed in this paper, spring constants can be predicted by input of few factors.

• Journal of the Korean housing association
• /
• v.21 no.6
• /
• pp.99-108
• /
• 2010

This study investigated the environmental indices in environmental administration, and to presents how to develop a sustainable environmental evaluation index. The index should be used to evaluate composite plans in the environmental aspects as well as means for setting goals of basic plans for the environment and its management. Specifically, the goals of composite plans are to check environments and land use frame, and evaluate individual measures (public projects). Environment policies are required to be 'a policy creating a clean environment' from 'a policy of environment regulation'. For the organization of a basic framework of environment policies, five topics are needed to be considered, such as the clarification of the idea of environment, establishment of environment regulations, environment management plan, plan to support civilian's action, and local government's efforts for the global matters of environment. For the amenity environments, people should expand their environmental behavior based on their voluntary intentions in transformation of personal life styles, projects with less load on the environment, development of environmentally-friendly projects with consideration for their impact on the earth. This study suggests that they should put more efforts into the development and implementation of useful environmental indices which effectively analyse the regional character to protect the natural ecology and create an sustainable environment with wide coverage.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.65 no.10
• /
• pp.1648-1654
• /
• 2016

This paper analyzes complex vector current control for the enhanced cross-coupling compensation in accordance with parameter variation in grid-connected inverter system, and verifies through simulation and experiment. Complex vector current control is performed in the synchronous reference frame through d-q transformation. It generates cross-coupling components with rotating nominal angular frequency. In general, cross-coupling elements are compensated by decoupling terms added to output of conventional decoupling PI controller. But, it is impossible to compensate them perfectly which transient response is especially deteriorated such as large overshoot and slow tracking, when variation of grid impedance or measurement error occurs. However, complex vector current control can improve stability and response characteristic of current control regardless of the situation as before. Decoupling controller and complex vector controller are represented through complex forms, and these controllers are analyzed by using frequency response in s-domain, respectively. It is verified that complex vector controller has more superior response characteristic than decoupling controller through MATALB, PSIM and experimental in 5kW grid-connected inverter when L filter parameter is varied from 1.1mH to increase double, 2.2mH.

• Journal of Advanced Marine Engineering and Technology
• /
• v.32 no.2
• /
• pp.250-255
• /
• 2008

Springs are widely utilized in machine element. To find out stiffness of frustum-shaped coil spring, the space beam theory using the finite element method is adopted in this paper. In three dimensional space, a space frame element is a straight bar of uniform cross section which is capable of resisting axial forces, bending moments about two principal axes in the plane of its cross section and twisting moment about its centroidal axis. The corresponding displacement degrees of freedom are twelve. To find out load vector of coil spring subjected to distributed compression. principle of virtual work is adapted. And this theory was programming using MATLAB software. To compare FEM using MATLAB software was applied MSC. Nastran software. The geometry model for MSC. Patran was produced by 3-D design modeling software. Finite element model was produced by MSC. Patran. Finite element was applied tetra (CTETRA) having 10 node. The analysis results of the MATLAB and MSC. Nastran are fairly well agreed with those of various experiments. Using MATLAB program proposed in this paper and MSC. Nastran, spring constants and stresses can be predicted by input of few factors.

• Progress in Medical Physics
• /
• v.2 no.2
• /
• pp.183-192
• /
• 1991

Ophthalmoscopy following the intravenous injection of fluorescein has gained great diagnostic importance in ophthalmology. This technique provides sequential evaluation of the anatomic and physiologic status of the choroidal and retinal vasculature. In order to detect the changes between fluorescein ocular fundus image frames, the direct subtraction of the two frames is inadequate because of geometric distortions and background gray level differences in two images. In this study, a scheme for the correction of the geometric distortions is proposed. Precise control point coordinate values for transformation functions are manually determined after the process including a series of blood vessel detection and thinning, and one frame is mapped to another, and then a geometric distortion corrected image is obtained. When the corrected image is used in interframe change detections, a sucessful result is ensured.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.35 no.1
• /
• pp.54-59
• /
• 1999

High-speed electronic digital computers have enabled engineers to employ various numerical discretization techniques for solutions of complex problems. The Finite Element Method is one of the such technique. The Finite Element Method is one of the numerical analysis based on the concepts of fundamental mathematical approximation. Three dimensional plate structures used often in partition of ship, box girder and frame are analyzed by Finite Element Method. In design of structures, the static deflections, stress concentrations and dynamic deflections must be considered. However, these problem belong to geometrically nonlinear mechanical structure analysis. The analysis of each element is independent, but coupling occurs in assembly process of elements. So, to overcome such a difficulty the shell theory which includes transformation matrix and a fictitious rotational stiffness is taken into account. Also, the Mindlin's theory which is considered the effect of shear deformation is used. The Mindlin's theory is based on assumption that the normal to the midsurface before deformation is "not necessarily normal to the midsurface after deformation", and is more powerful than Kirchoff's theory in thick plate analysis. To ensure that a small number of element can represent a relatively complex form of the type which is liable to occur in real, rather than in academic problem, eight-node quadratic isoparametric elements are used. are used.

• Proceedings of the KOSOMBE Conference
• /
• v.1994 no.12
• /
• pp.85-87
• /
• 1994

In this paper, we present an object-oriented stereotactic radiosurgery planning system, which accepts medical images such as CT and angiography, transforms the coordinates to a reference frame coordinate, calculates dose distributions, and finally displays isodose curves over the images. The user finds an adequate one for radiosurgeries after performing computer simulations on different treatment parameter sets. The object-oriented design concept was fully applied to the system composed of seven manager objects of different classes: a patient information manager, a user-interface manager, a coordinate transformation manager, a blackboard manager, a dose calculation manager, an isodose curve display manager, and a report manager. All the user interactions are carried out through the use of mouse buttons. The performance of the system was verified by four physicians and two medical physicists, and now is being used in two clinical sites.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.17 no.3
• /
• pp.29-43
• /
• 2015

This study investigates transformable designs in contemporary fashion. In contemporary society, designs are accompanied by various changes such as transformation of shapes or variation of material beyond the certain form of dress. As a result of having interest in transformable designs with the various attempts on the overall design, transformable design is being suggested as an attempt as the new manner, radical concept, or alternative of multi-purpose lifestyle. With the constant research and collection presentation by the designers of empirical disposition, transformable dress has been evolving gradually. The feature of transformable design appeared in dress is considered as 'variability' which changes in the flow of time. Furthermore, the morphological variability and variability of material have been examined as visual stimuli and conversion of material. By analyzing and assorting diverse transformable dresses comprehensively, it could be divided into technique-oriented transformable design and transformable design with a wearer's intervention. The technique-oriented transformable design is subdivided into the conversion of material and the conversion of form; the transformable design with a wearer's intervention into the conversion of functional frame and the conversion of aesthetic feature.

• Journal of Power Electronics
• /
• v.17 no.1
• /
• pp.262-271
• /
• 2017

This paper studies the performances of five typical Phase-locked Loops (PLLs) for distorted and unbalanced grid, which are the Decoupled Double Synchronous Reference Frame PLL (DDSRF-PLL), Double Second-Order Generalized Integrator PLL (DSOGI-PLL), Double Second-Order Generalized Integrator Frequency-Lock Loop (DSOGI-FLL), Double Inverse Park Transformation PLL (DIPT-PLL) and Complex Coefficient Filter based PLL (CCF-PLL). Firstly, the principles of each method are meticulously analyzed and their unified small-signal models are proposed to reveal their interior relations and design control parameters. Then the performances are compared by simulations and experiments to investigate their dynamic and steady-state performances under the conditions of a grid voltage with a negative sequence component, a voltage drop and a frequency step. Finally, the merits and drawbacks of each PLL are given. The compared results provide a guide for the application of current control, low voltage ride through (LVRT), and unintentional islanding detection.