• Journal of The Korean Association For Science Education
• /
• v.36 no.6
• /
• pp.867-876
• /
• 2016

In accordance with the changing of society, remarkable increase in knowledge and information, the competencies to choose and use proper information in various domains are considered as an important skill. As one of the methods in developing these competencies, it is emphasized that a problem-based learning can make student understand and use knowledge by solving the contextualized problem. However, it is skeptical of learner's development of competencies to use knowledge by solving well-defined given problem. Therefore it is required that students be allowed to develop the competency to find problem through experiences to determine and evaluate the purpose of the problem and method. The purpose of this study is to understand how undergraduate students use science or technology in finding a problem. In this line, this study articulated four cases conducted by participants who engaged in convergence teaching-learning program. And this study investigated the participants' process of problem-finding, method and reason to apply science or technology. The results were drawn by analyzing interviews and written data, including their proposal, a poster, and final reports. Participants changed the form of problem from initial ill-structured one into a concrete one, where the participant could derive a detailed solution. Science or technology applied as the detailed example to convert problem into a concrete form, or as the analyzing tool or theoretical background of problem to make a link with other domain. Their reason of applying science or technology could be summarized in 'personal interest based on prior experience' and 'alternatives to resolve a dissatisfaction.' Based on the result, this study suggests holistic approach that is included in both intuitive thinking and logical thinking and metacognitive regulation to stimulate problem-finding in problem-based learning program.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.10 no.2
• /
• pp.19-28
• /
• 1973

This paper deals with a problem for determining the bulbous bow ship from which pertains to the study of the theoretical ship form planing method. In this paper has been determined the bulbous bow ship form which is a similar in geometric particulars with the conventional liner ship G.T.10, 000 by adopting the variable method for finding the optimum ship form by A.Y.C. Lee and the streamline tracing method by T. Inui and P.C. Pien. Each resistance performance is examined by the towing test and is compared with one another. The followings are the outcome of this study: Among the 5 type models, the bulbous bow ship form M.S. B 1120 is the most excellent for the resistance performance. The effect for the wave resistance is very sharp according to the difference of the bottom flattening of theoretical ship form. The optimum value of the bulbous bow for wave resistance can be obtained by the variable method mentioned above, and for the series of(Main hull+Bulb)opt., ${\alpha}=75/25$, the value is $f{\approx}0.11$.

• The KIPS Transactions:PartD
• /
• v.15D no.2
• /
• pp.197-206
• /
• 2008

The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis, and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form in order to efficiently process the loops, and exhibits the procedures for generating the loop tree.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.4 s.42
• /
• pp.87-96
• /
• 2006

Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations. bytecode must be translated to a Static Single Assignment Form(SSA Form) But when bytecode is translated a SSA Form it has lost type informations of son variables. For resolving these problem in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator. dominance frontier. ${\phi}$-Function. renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First. we construct call graph and derivation graph of classes. And the we collect information associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations. we assign type to each node.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.27-35
• /
• 2008

The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis. and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form In order to efficiently process the loops, and exhibits the procedures for generating the loop tree.

• Journal of Korean Association for Spatial Structures
• /
• v.7 no.3 s.25
• /
• pp.57-66
• /
• 2007

The membrane structures, a kind of lightweight soft structural system, are used for spatial structures. The material property of the membrane has strong axial stiffness, but little bending stiffness. The design procedure of membrane structures are needed to do shape finding, stress-deformation analysis and cutting pattern generation. In shape finding, membrane structures are unstable structures initially. These soft structures need to be introduced initial stresses because of its initial unstable state, and happen large deformation phenomenon. Therefore, in this paper, we investigate the convergence of solution and the speed according to the control variables and the method of shape analysis.

• Kyungpook Mathematical Journal
• /
• v.28 no.2
• /
• pp.185-196
• /
• 1988

We study existence of polynomial integrating factors and solutions F(x, y)=c of first order nonlinear differential equations. We characterize the homogeneous case, and give algorithms for finding existence of and a basis for polynomial solutions of linear difference and differential equations and rational solutions or linear differential equations with polynomial coefficients. We relate singularities to nature of the solution. Solution of differential equations in closed form to some degree might be called more an art than a science: The investigator can try a number of methods and for a number of classes of equations these methods always work. In particular integrating factors are tricky to find. An analogous but simpler situation exists for integrating inclosed form, where for instance there exists a criterion for when an exponential integral can be found in closed form. In this paper we make a beginning in several directions on these problems, for 2 variable ordinary differential equations. The case of exact differentials reduces immediately to quadrature. The next step is perhaps that of a polynomial integrating factor, our main study. Here we are able to provide necessary conditions based on related homogeneous equations which probably suffice to decide existence in most cases. As part of our investigations we provide complete algorithms for existence of and finding a basis for polynomial solutions of linear differential and difference equations with polynomial coefficients, also rational solutions for such differential equations. Our goal would be a method for decidability of whether any differential equation Mdx+Mdy=0 with polynomial M, N has algebraic solutions(or an undecidability proof). We reduce the question of all solutions algebraic to singularities but have not yet found a definite procedure to find their type. We begin with general results on the set of all polynomial solutions and integrating factors. Consider a differential equation Mdx+Ndy where M, N are nonreal polynomials in x, y with no common factor. When does there exist an integrating factor u which is (i) polynomial (ii) rational? In case (i) the solution F(x, y)=c will be a polynomial. We assume all functions here are complex analytic polynomial in some open set.

• Journal of the Korea Institute of Building Construction
• /
• v.11 no.2
• /
• pp.136-144
• /
• 2011

The form-work operation of concrete structures is a major element determining the period and cost of construction projects. However, the selection of the appropriate form-work system is dependent on the experience of the site personnel only. In this paper, existing methods (Aluminum form, Sky deck) and new slab form-work methods (AFB: Aluminum panel Form with dropping Beam) were selected. Each method was estimated by means of Delphi techniques based on the qualitative analysis data. This paper suggests an evaluation methodology of slab form-work application in construction sites by calculating qualitative evaluation scores. The methodology finding quantified scores of qualitative criteria can be available to be applied to other construction operation evaluation methods.

• Proceedings of the KSME Conference
• /
• 2001.06c
• /
• pp.235-239
• /
• 2001

Finding intersection point between a surface and a line is one of major problem in CAD/CAM. The intersection point could be found in an exact form or with numerical method. In this paper, the exact solution of the intersection point between a ruled surface which is generated by the movement of an endmill and the z-direction vector is presented. The cutter swept surface which is a ruled surface and the Z-direction vector are represented with parametric equations. With the nature of parametric equations, the geometric properties at the intersection point are easily acquired.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.487-497
• /
• 2006

The purpose of this paper is to describe the structure of the rings $\mathbb{Z}_{p^2}[X]/({\alpha}(X))$ with ${\alpha}(X)$ a monic polynomial and $\={X}^{\kappa}=0$ for some nonnegative integer ${\kappa}$. Especially we will see that any ideal of such rings can be generated by at most two elements of the special form and we will find the 'minimal' set of generators of the ideals. We indicate how to identify the isomorphism types of the ideals as $\mathbb{Z}_{p^2}-modules$ by finding the isomorphism types of the ideals of some particular ring. Also we will find the annihilators of the ideals by finding the most 'economical' way of annihilating the generators of the ideal.