• 한국과학교육학회지
• /
• 제36권6호
• /
• pp.867-876
• /
• 2016

지식과 정보의 양이 폭발적으로 증가하는 최근 사회의 변화에 의해 지식의 선택과 활용 능력을 신장해야 한다는 요구가 더 높아지고 있다. 이를 반영하기 위한 하나의 방안으로 문제기반학습은 구체적 맥락에서 문제를 해결하여 지식의 이해와 활용을 가능하게 하는 접근 방안임을 강조했다. 하지만, 주어진 문제를 해결하는 경험만으로는 본래의 목표를 달성하기 어렵다는 비판이 많은 것이 사실이다. 따라서 학생들이 주어진 상황으로부터 문제 해결을 위한 구체적 목표와 방법을 결정하는 경험을 쌓게 하여 문제를 발견하는 능력을 강조해야 한다. 본 연구는 대학생들이 과학기술 분야를 어떻게 활용하여 문제를 발견하는지 이해하고자 하였다. 이러한 선상에서 융합형 교수학습프로그램에 참여한 대학생들 중, 과학기술 분야를 활용한 네 명의 참여자들의 사례에서 문제발견 과정과 과학기술 분야의 활용 방식, 활용 이유를 조사하였다. 연구결과는 문제 제안서, 중간발표인 포스터, 최종 보고서와 함께 인터뷰 자료를 분석하여 도출하였다. 연구결과, 연구 참여자들은 초기의 비구조화된 문제로부터 구조화하여 결론을 구체적으로 도출할 수 있는 형태로 변화시켰다. 과학기술 분야는 문제의 구조화를 위한 구체적 사례로 활용되거나, 타 학문 분야와 연계하기 위한 분석 도구 혹은 배경 이론으로 활용되는 것을 확인하였다. 과학기술 분야가 도입된 이유는 사전 경험에 근거한 개인적 흥미와 불만족 해소를 위한 기존 학문 분야의 대안으로 설명할 수 있었다. 연구 결과를 토대로 문제기반학습에서 문제발견을 촉진할 수 있는 방안으로 직관적 사고와 논리적 사고의 통합적 관점, 메타인지적 조절을 제안하였다.

• 대한조선학회지
• /
• 제10권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$.

• 정보처리학회논문지D
• /
• 제15D권2호
• /
• pp.197-206
• /
• 2008

최근 많이 사용되고 있는 자바 바이트코드의 분석과 최적화를 효율적으로 수행하기 위해 CTOC 프레임워크가 구현되었다. CTOC에서는 바이트코드에 대해 분석과 최적화를 수행하기 위해 가장 먼저 eCFG를 생성하였다. 분석하기 어렵다는 바이트코드의 특성 때문에 기존의 바이트 코드를 제어 흐름 분석에 적합하게 확장하여 제어 흐름 그래프를 작성하였다. 이를 확장된 제어 흐름 그래프인 eCFG라 부른다. 또한 정적으로 분석하기 위해 eCFG를 SSA Form으로 변환 하였다. 변환 시 많은 프로그램에서 루프가 발견되었다. 이전 CTOC에서는 루프에 대한 처리를 수행하지 않은 상태에서 직접 SSA Form으로 변환을 수행하였다. 하지만 SSA Form으로 변환하기 이전에 루프에 대한 부분을 처리하면 더욱 효율적인 SSA Form을 생성할 수 있게 된다. 본 논문은 루프에 대한 처리를 효율적으로 하기 위해 eCFG를 SSA Form으로 변환하는 과정 이전에 루프를 발견하고 이와 관련된 루프 트리를 생성하는 과정을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제11권4호
• /
• pp.87-96
• /
• 2006

바이트코드는 많은 장점을 가지고 있으나 수행 속도가 느리고 프로그램의 분석과 최적화에 알맞은 표현은 아니다. 분석과 최적화를 위하여 바이트코드를 정적 단일 배정문(SSA Form)으로 변환이 수행되어야 한다. 그러나 바이트코드에서 SSA Form으로 변환 시 어떤 변수는 타입 정보를 상실한다. 이를 해결하기 위하여 본 논문에서는 바이트코드에 대한 확장된 제어 흐름 그래프를 생성한다. 또한 정적으로 분석하기 위해 제어 흐름 그래프를 SSA Form으로 변환한다. SSA Form으로 변환을 위하여 지배자. 직접 지배자. 지배자 경계. ${\phi}$-함수, 재명명 등 많은 정보에 대한 계산을 수행한다. 생성된 SSA Form에 알맞은 타입을 선언하기 위해서 다음과 같은 동작들을 수행한다. 먼저 클래스의 호출그래프와 상속 그래프를 생성한다. 그리고 각 노드에 대한 정보를 수집한다. 수집된 정보를 기반으로 동등한 타입의 노드를 찾고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안하였다.

• 한국컴퓨터정보학회논문지
• /
• 제13권5호
• /
• pp.27-35
• /
• 2008

최근 웹 어플리케이션 분야에서 많이 사용되고 있는 자바 바이트코드의 분석과 최적화 과정을 효율적으로 수행하기 위해 CTOC 프레임워크를 개발하였다. CTOC는 바이트코드에 대해 분석과 최적화를 수행하기 위해 E-Tree를 중간 표현으로 사용하는 eCFG를 생성한다. eCFG는 바이트코드에 대한 제어 흐름 분석에 적합하도록 확장한 제어 흐름 그래프이다. 또한, 바이트코드를 정적으로 분석하기 위해 E-Tree를 SSA Form으로 변환한다. 이러한 변환과정 중 프로그램의 많은 부분에서 루프가 발견된다. 하지만 기존의 CTOC에서는 루프에 대한 처리를 수행하지 않은 상태에서 직접 SSA Form으로 변환을 수행하였다. 하지만 SSA Form으로 변환 이전에 루프를 처리하면 더욱 효율적인 SSA Form을 생성할 수 있게 된다. 따라서 본 논문에서는 루프에 대한 처리를 효율적으로 하기 위해 E-Tree를 SSA Form으로 변환하는 과정 이전에 eCFG에서 루프를 발견하고 이와 관련된 루프 트리를 생성한 후 루프 벗기기를 수행하는 과정을 보인다.

• 한국공간구조학회논문집
• /
• 제7권3호
• /
• pp.57-66
• /
• 2007

연성구조시스템 중 하나인 막 구조물은 대공간 구조물에 많이 사용되어진다. 막 구조물은 축강성이 강하고 휨강성이 매우 작은 재료로서 구조물의 설계는 강성구조물과는 달리 형상해석, 응력-변형해석 그리고 재단도 등의 일련의 과정을 필요로 한다. 막 구조물의 형상해석은 일반적으로 초기 불안정 상태의 막 면에 초기강성을 부여함으로서 평형상태에 이르게 되는 역학적 메커니즘을 가지고 있으며, 이와 같은 곡면을 해석적으로 구하는 데는 해석상의 수렴 및 발산 그리고 오차 발생에 따른 문제를 해결해야만 한다. 본 논문에서는 막 구조물의 초기곡면을 형성하기 위한 형상탐색기법에 대한 수렴 및 오차에 관하여 연구하고, 적용된 예제의 해석 결과를 바탕으로 해가 수렴해 가는 과정 및 제어변수에 따른 수렴속도 및 효율성을 살펴본다.

• Kyungpook Mathematical Journal
• /
• 제28권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.

• 한국건축시공학회지
• /
• 제11권2호
• /
• pp.136-144
• /
• 2011

콘크리트 구조물의 골조공사에서의 주요 공정 중 하나인 거푸집 공사는 전체 건축공사의 공사기간 및 공사비 측면에서 상당 부분을 차지하고 있다. 하지만 공사현장의 조건을 고려한 거푸집의 적정시스템 선정은 현재까지 현장실무자의 경험에만 의존하고 있는 실정이다. 본 논문에서는 거푸집 공법 선정 요인에 대한 정량화된 분석을 바탕으로 슬래브 거푸집 중 신공법과 기존 공법을 선정하여 각 공법의 성능을 정량화된 분석데이터를 바탕으로 평가했다. 이를 통하여 각 공법들의 정성적 항목에 대한 정량화된 평가점수를 산출하여 슬래브 거푸집의 현장 적용성에 대한 평가 방안을 제시하였다. 따라서 본 논문에서 사용된 델파이 기법의 방법론은 다른 공법들의 선정, 평가에도 사용될 것이라 사료된다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집C
• /
• 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.

• 대한수학회보
• /
• 제43권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.