• Bulletin of the Korean Mathematical Society
• /
• v.29 no.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_{+}$).

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.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
• /
• v.1 no.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.

• Proceedings of the KIEE Conference
• /
• 2006.04a
• /
• 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.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.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].

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.1C
• /
• pp.56-63
• /
• 2003

In this paper, a wavelet-based stereo matching algorithm to obtain an accurate disparity map in wavelet transformed domain by using a shift ability property, a modified wavelet transform, the similarities for their sub-bands, and a hierarchical structure is proposed. New approaches for stereo matching by lots of feature information are to utilize translation-variant results of the sub-bands in the wavelet transformed domain because they cannot literally expect translation invariance in a system based on convolution and sub-sampling. After the similarity matching for each sub-band, we can easily find optimal matched-points because the sub-bands appearance of the shifted signals is definitely different from that of the original signal with no shift.

• Communications of the Korean Mathematical Society
• /
• v.16 no.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.

• The Mathematical Education
• /
• v.57 no.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.