• 대한수학교육학회지:수학교육학연구
• /
• 제13권4호
• /
• pp.495-506
• /
• 2003

본 논문에서는 형식불역의 원리를 적용하여 4차원 이상의 고차원 도형 중 특별한 몇 가지 도형의 기하학적 모델을 탐구해 보면서 이것이 기존의 일반적인 수학적 성질과 원리, 법칙에 모순됨이 없는지를 검증해 보았다. 정다면체는 5개뿐이라는 설명 방식에 형식불역의 원리를 적용하면 4차원 정다포체는 6개뿐임을 설명할 수 있다. 그리고 두 가지 정의(기둥형과 뿔형)에 의해 만들어진 볼록한 고차원 도형들은 다면체에서의 오일러 정리를 일반화한 오일러 특성수에 정확히 들어맞는다는 것을 확인할 수 있다. 특히, 뿔형의 경우는 그 도형의 꼭지점, 모서리, 면, 입체 등의 개수들이 파스칼의 삼각형 구조를 이루고 있으며 기둥형의 경우는 임의로 정한 수의 모든 약수들을 하세의 다이어그램을 통해 약수와 배수의 관계로 표현할 수 있다. 이러한 소재들은 영재 교수학습용 자료로도 활용할 수 있을 것이다.

• 대한수학회지
• /
• 제34권3호
• /
• pp.731-770
• /
• 1997

We study Diriclet forms and related subjects for the Gibbs measures of classical unbounded sping systems interacting via potentials which are superstable and regular. For any Gibbs measure $\mu$, we construct a Dirichlet form and the associated diffusion process on $L^2(\Omega, d\mu), where \Omega = (R^d)^Z^\nu$. Under appropriate conditions on the potential we show that the Dirichlet operator associated to a Gibbs measure $\mu$ is essentially self-adjoint on the space of smooth bounded cylinder functions. Under the condition of uniform log-concavity, the Gibbs measure exists uniquely and there exists a mass gap in the lower end of the spectrum of the Dirichlet operator. We also show that under the condition of uniform log-concavity, the unique Gibbs measure satisfies the log-Sobolev inequality. We utilize the general scheme of the previous works on the theory in infinite dimensional spaces developed by e.g., Albeverio, Antonjuk, Hoegh-Krohn, Kondratiev, Rockner, and Kusuoka, etc, and also use the equilibrium condition and the regularity of Gibbs measures extensively.

• 한국해양공학회지
• /
• 제30권4호
• /
• pp.235-242
• /
• 2016

In general, ship hull form design is carried out in two stages. In the first stage, the longitudinal variation of the sectional area curves is adapted from a similar mother ship to determine the volume distribution in ships. At this design stage, the initial design conditions of displacement, longitudinal center of buoyancy, etc. are satisfied and the global hydrodynamic properties of the structure are optimized. The second stage includes the local designing of the sectional forms. Sectional forms are related to the local pressure resistance in the fore- and aft-body shapes, cargo boundaries, interaction between the hull and propeller, etc. These relationships indicate that the hull sections need to be optimized in order to minimize the local resistance. The volumetric balanced (VOB) variation of ship hull forms has been suggested by Kim (2013) as a generalized, systematic variation method for determining the sectional area curves in hull form design. This method is characterized by form parameters and is based on an optimization technique. This paper emphasizes on an extensional function of the VOB considering a geometrical wave profile. We select a container ship and an LNG carrier to demonstrate the applicability of the proposed technique. Through analysis, we confirm that the VOB method, considering the geometrical wave profile, can be used as an efficient tool in the hull form design for ships.

• 전기학회논문지
• /
• 제57권1호
• /
• pp.52-57
• /
• 2008

In the transformer that is used for the contactless power transmission system, the primary and secondary sides are separated structurally unlike general transformers. When the contactless transformer is built, it forms relatively bigger air gap than the general transformer. Thus it is difficult to transfer energy from the primary side input to the secondary side output with high power efficiently because of low coupling coefficient. This paper proposes a contactless transformer using the rectangular type core that maintains high coupling coefficient even when it has relatively large air gap. The performance characteristics of the proposed transformer are compared with the transformer using general EE core to the air gap variation. The proposed contactless system using rectangular type core and dc-dc full bridge converter, and the system using EE core type and dc-dc full bridge converter are respectively implemented and their performance characteristics are verified by the simulation and experiment.

• 대한수학회보
• /
• 제27권2호
• /
• pp.151-155
• /
• 1990

Recently, H.Z.Ming [7] obtained a necessary and sufficient condition for the existence of a solution to a general operator equation. In the present paper, we obtain such conditions in general forms and give some examples. We begin with the well-known Fan-Browder fixed point theorem, from which we deduce two general theorems on such necessary and sufficient conditiions. We give some examples of such conditions, which are improved versions of fixed point theorems of Halpern-Bergman [5], Ky Fan [3], [4], Kaczynski [6], Reich [9], Schauder [10], Tychonoff [11], and Ming [7]. In fact, we restate Ming's result in its correct form. The following is known as the Fan-Browder fixed point theorem [1], [2].

• Journal of the Korean Statistical Society
• /
• 제31권4호
• /
• pp.491-507
• /
• 2002

We analyze a single server bulk input queue with optional server vacations under a single vacation policy and balking phenomenon. The service times of the customers as well as the vacation times of the server have been assumed to be arbitrary (general). We further assume that not all arriving batches join the system during server's vacation periods. The supplementary variable technique is employed to obtain time-dependent probability generating functions of the queue size as well as the system size in terms of their Laplace transforms. For the steady state, we obtain probability generating functions of the queue size as well as the system size, the expected number of customers and the expected waiting time of the customers in the queue as well as the system, all in explicit and closed forms. Some special cases are discussed and some known results have been derived.

• 한국에너지공학회:학술대회논문집
• /
• 한국에너지공학회 1993년도 추계학술발표회 초록집
• /
• pp.99-102
• /
• 1993

A consistent general order nodal method for solving the three-dimensional neutron diffusion equation in (x-y-z) geometry has been derived by using a weighted integral technique and expanding the spatial variable by the Legendre orthogonal series function. The equation set derived can be converted into any order nodal schemes. It forms a compact system for general order of nodal moments. The method utilizes fewer unknown variables in the schemes for iterative-convergence solution than other nodal methods listed in the literatures, and because the method utilizes the analytic solutions of the transverse-integrated one dimensional equations and a consistent approximation for a given spatial variable through all the solution procedures, which renders the use of an approximation for the transverse leakages no longer necessary, we can expect extremely accurate solutions and the solution would converge exactly when the mesh width is decreased or the approximation order is increased.

• 수산해양교육연구
• /
• 제16권1호
• /
• pp.50-59
• /
• 2004

Recently, many more fisheries and shipping high school students have entered college than those of the past. But, this trend could be attributed to the easy and various forms of selection for college admission. Thus the examinations of the college scholastic ability 2005 have added to the vocational search ability including verbal ability, mathematic ability, foreign language ability and inquiry ability. The vocational search ability in fisheries and shipping field is concluded the general fisheries science, general maritime science, general marine science and fisheries and shipping information management. This study analyzed the questions of the fisheries and shipping subject of vocational search field with high school 2nd students on October 2003. In result, this study identified some needed basic scholastic ability for fisheries and shipping high school students.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.34-39
• /
• 1996

A consistent general order nodal method for solving the 3-D neutron diffusion equation in (x-y-z) geometry has ben derived by using a weighted integral technique and expanding the spatial variables by the Legendre orthogonal series function. The equation set derived can be converted into any order nodal schemes. It forms a compact system for general order of nodal moments. The method utilizes the analytic solutions of the transverse-integrated quasi -one dimensional equations and a consistent expansion for the spatial variables so that it renders the use of an approximation for the transverse leakages no necessary. Thus, we can expect extremely accurate solutions and the solution would converge exactly when the mesh width is decreased or the approximation order is increased since the equation set is consistent mathematically.

• 영어어문교육
• /
• 제18권1호
• /
• pp.171-195
• /
• 2012

While noticing that there is insufficient interest in the assessment of EFL learners' vocabulary levels or sizes, the researchers developed two tests identical in form (Forms A and B) to assess the lexical knowledge of Korean university learners at the $1^{st}{\sim}10^{th}$ 1,000 word bands by adapting a pre-established vocabulary levels test (VLT). Of equal concern was to investigate if the VLT was equally a valid and reliable instrument to be used on measuring the lexical knowledge of EFL learners. The participants were 804 university freshmen enrolled in a General Education English Course from four different colleges. The learners were asked to respond to either Form A or B. While scores generally fell towards the lower frequency bands, multiple regression found the Korean College Scholastic Ability Test (CSAT) to be a significant variable for predicting the learners' vocabulary sizes. From a methodological perspective, however, noticeable differences between Forms A and B could be found with item response theory analysis. The findings of the study provide suggestions on how future VLT for testing EFL learners may have to be redesigned.