• 대한수학회보
• /
• 제29권1호
• /
• pp.81-87
• /
• 1992

Wellknown invariance of domain theorems are Brower's invariance of domain theorem for continuous mappings defined on a finite dimensional space and Schauder-Leray's invariance of domain theorem for the class of mappings I+C defined on a infinite dimensional Banach space with I the identity and C compact. The two classical invariance of domain theorems were proved by applying the homotopy invariance of Brower's degree and Leray-Schauder's degree respectively. Degree theory for some class of mappings is a useful tool for mapping theorems. And mapping theorems (or surjectivity theorems of mappings) are closely related with invariance of domain theorems for mappings. In[4, 5], Browder and Petryshyn constructed a multi-valued degree theory for A-proper mappings. From this degree Petryshyn [9] obtained some invariance of domain theorems for locally A-proper mappings. Recently Browder [6] has developed a degree theory for demicontinuous mapings of type ( $S_{+}$) from a reflexive Banach space X to its dual $X^{*}$. By applying this degree we obtain some invariance of domain theorems for demicontinuous mappings of type ( $S_{+}$). ( $S_{+}$).

• 대한수학회보
• /
• 제47권1호
• /
• pp.121-129
• /
• 2010

Using a degree theory for countably condensing multivalued maps, we show that under certain conditions an invariance of domain theorem holds for countably condensing or countably k-contractive multivalued vector fields.

• 대한수학회보
• /
• 제34권2호
• /
• pp.295-303
• /
• 1997

Let ${X_k : k = 1, 2, \cdots}$ be a sequence of independent, identically distributed integer-valued random variables with common distribution function F.

• Ocean Systems Engineering
• /
• 제1권3호
• /
• pp.207-222
• /
• 2011

A stabilized incompressible smoothed particles hydrodynamics (ISPH) method is utilized to simulate free falling rigid body into water domain. Both of rigid body and fluid domain are modeled by SPH formulation. The proposed source term in the pressure Poisson equation contains two terms; divergence of velocity and density invariance. The density invariance term is multiplied by a relaxed parameter for stabilization. In addition, large eddy simulation with Smagorinsky model has been introduced to include the eddy viscosity effect. The improved method is applied to simulate both of free falling vessels with different materials and water entry-exit of horizontal circular cylinder. The applicability and efficiency of improved method is tested by the comparisons with reference experimental results.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.117-119
• /
• 2006

In this work, we suggest another method to localize DFT in spatial domain. This enables DFT algorithm to be used for local pattern matching. Once calculated, it costs same load to calculate localized DFT regardless of the size or the position of local region In spatial domain. We applied this method to face detection problem and got the results which prove the utility of our method.

• 전자공학회논문지B
• /
• 제30B권4호
• /
• pp.44-55
• /
• 1993

In this paper, we proposed a new optical method for the efficient recognition of Korean characters. There are six filters in the proposed method which employed the concepts of amplitude-modulated phase-only filter(AMPOF) and spatial frequency modulation(SFM). Here, amplitude modulation is used to achieve improved correlation discrimination and SFM is to reduce the number of filters. We also used a simplified synthetic discriminant function(SDF) for distortion invariance of input image. In order to recognize the partial rotation invariant Korean characters, the proposed distortion invariant minimum average correlation energy (MACE) filter is synthesized SFM, partial rotation invariant filter (PRIF), AMPOF and MACE for partial rotation invariance in the frequency domain. The advantage of the proposed filters is to supress the sidelobes of cross correlation peak away from the autocorrelation peak and to produce sharp correlation peaks. We performed simulation and optical experiment for some of Korea characters using the proposed method. The results show that the proposed method has more improved discriminant ability and reduced processing time than the conventional methods.

• 대한수학회보
• /
• 제26권2호
• /
• pp.203-209
• /
• 1989

Recently many authors [2,3,5,6] proved the existence of zeros of accretive operators and estimated the range of m-accretive operators or compact perturbations of m-accretive operators more sharply. Their results could be obtained from differential equations in Banach spaces or iteration methods or Leray-Schauder degree theory. On the other hand Kirk and Schonberg [9] used the domain invariance theorem of Deimling [3] to prove some general minimum principles for continuous accretive operators. Kirk and Schonberg [10] also obtained the range of m-accretive operators (multi-valued and without any continuity assumption) and the implications of an equivalent boundary conditions. Their fundamental tool of proofs is based on a precise analysis of the orbit of resolvents of m-accretive operator at a specified point in its domain. In this paper we obtain a sufficient condition for m-accretive operators to have a zero. From this we derive Theorem 1 of Kirk and Schonberg [10] and some results of Morales [12, 13] and Torrejon[15]. And we further generalize Theorem 5 of Browder [1] by using Theorem 3 of Kirk and Schonberg [10].

• 한국통신학회논문지
• /
• 제28권1C호
• /
• pp.56-63
• /
• 2003

본 논문에서는 스테레오 정합을 위한 특징으로 웨이블릿의 이동성(shift ability)을 이용한 윈도우 웨이블릿 기반 스테레오 정합방법을 제안하였다. 기존의 정합방법에서 사용된 전 영상에 대한 웨이블릿 분해는 웨이블릿의 이동성 유지가 이루어지지 않아서 정합 정확도가 떨어진다. 그래서 웨이블릿의 이동성을 신뢰성 있는 정합정보로 사용하기 위해 윈도우로 전체 파형의 일부를 표본화하고 웨이블릿 분해를 수행하여 기준신호와 이동된 신호의 부대역 정보 사이의 상관도(cross-correlation)를 정합정보로 이용하였다. 대역별 상관도는 얻어진 4개의 부대역의 대역별 가중치가 고려되어 계산된다. 제안한 방법은 주파수 대역별 계층적인 정합과 양방향 정합과정을 통해 영상의 경계부분, 동일한 형태의 반복, 잡음(white noise)등이 포함된 영상에서의 오정합을 줄일 수 있었으며 특징정보가 부족한 부분에서의 정합도 개선할 수 있었다.

• 대한수학회논문집
• /
• 제16권3호
• /
• pp.405-413
• /
• 2001

The inverse boundary value problem for the steady state heat equation with convection term is considered in a simply connected bounded domain with smooth boundary. Taking the Dirichlet to Neumann map which maps the temperature on the boundary to the that flux on the boundary as an observation data, the global uniqueness for identifying the convection term from the Dirichlet to Neumann map is proved.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제57권2호
• /
• pp.179-196
• /
• 2018

The purpose of this study was to investigate the measurement equivalence and to suggest application ways in teaching aptitude and personality test results for pre-service mathematics teachers between a graduate school of education and a college of education. This study analyzed the scores of the teaching aptitude and personality test of 36 pre-service mathematics teachers enrolled in a graduate school of education and 111 pre-service mathematics teachers in a college of education by performing a multivariate generalizability analysis. The main results were as follows. First, graduate's pre-service mathematics teachers had a higher level of teaching aptitude and personality than that of college's pre-service mathematics teachers based on the total scores. In addition, graduate's pre-service mathematics teachers had higher levels of teaching aptitude and personality than those of college's pre-service mathematics teachers except for a creativity application domain based on the sub-domain scores. Second, cognitive domains were measured more precisely but affective domains were measured less precisely for graduate's pre-service mathematics teachers than for college's pre-service mathematics teachers. Third, regardless of school levels, Cronbach's ${\alpha}$ values, which might be overestimated by applying the classical test theory, were higher than dependability coefficients. Fourth, this study showed a somewhat negative result in ensuring the measurement equivalence for a problem solving exploration domain. However, regardless of school levels, this study indicated that the overall measurement was generally reliable on composite scores. Based on these results, it was confirmed that multivariate generalizability methodologies' approach can be useful for exploring the measurement equivalence issues. Finally, this study suggests how to utilize the results of the test, how to apply a multivariate generalizability analysis for detecting the measurement equivalence, and how to develop future research based on limitations.