• Journal of Educational Research in Mathematics
• /
• v.13 no.4
• /
• pp.495-506
• /
• 2003

In this study, 1 investigated some properties on the special hyper-dimensional figures made by the principle of the performance of equivalent forms representation. I supposed 2 definitions on the making n-dimensional figure : a cone type(hypercube) and a pillar type(simplex). We can explain that there exists only 6 4-dimensional regular polytopes as there exists only 5 regular polygons. And there are many hyper-dimensional figures, they all have sufficient condition to show the general Euler' Characteristics. And especially, we could certificate that the simplest cone type and pillar types are fitted to Pascal's Triangle and Hasse's Diagram, each other.

• Journal of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.97-107
• /
• 1999

Given a C-dynamical system (A, G, $\alpha$) with a locally compact group G, two kinds of C-algebras are made from it, called the full C-crossed product and the reduced C-crossed product. In this paper, we extend the theory of the classical C-crossed product to the C-dynamical system (A, G, $\alpha$) with a left-cancellative semigroup M with unit. We construct a new C-algebra A $\alpha$rM, the reduced crossed product of A by the semigroup M under the action $\alpha$ and investigate some properties of A $\alpha$rM.

• Proceedings of the IEEK Conference
• /
• 2007.07a
• /
• pp.203-204
• /
• 2007

In this work, we propose a compression algorithm for depth images, which are obtained from multi-view sequences. The proposed algorithm represents a depth image using a 3-D regular triangular mesh and predictively encodes the mesh vertices using a linear prediction scheme. The prediction errors are encoded with a arithmetic coder. Simulation results demonstrate that the proposed algorithm provides better performances than the JPEG2000 lossless coder.

• The Pure and Applied Mathematics
• /
• v.3 no.1
• /
• pp.53-58
• /
• 1996

In 1981, R . Badard introduced the notion of fuzzy pretopological spaces and their representation[1]. And in 1992, R. Badard, et al. introduced the L-fuzzy pretopological spaces and studied properties of continuity, open map, closed map, and homeomorphism in L-fuzzy pretopological spaces. In this paper we introduce and study the concepts of almost continuous functions and weakly pre-continuous functions on L-fpts's.(omitted)

• Journal of KIISE:Databases
• /
• v.30 no.6
• /
• pp.641-650
• /
• 2003

The eXtensible Markup Language(XML) is emerging as a standard format of data representation and exchange on the Internet. There have been researches about storing and retrieving XML documents using the relational database which has techniques in full growth about large data processing, recovery, concurrency control and so on. Since in previous systems same structure information and fundamental operation are used for processing of various kinds of XML queries, only some specific query can be efficiently processed not all types of query. In this paper, we propose a flexible query processing system. To process query efficiently, the proposed system analyzes regular path expression queries, and uses $\theta$-join operation using region numbering values to check ancestor-descendent relationship and equi-join operation using parent's region start value to check parent-child relationship. Thus, the proposed system processes efficiently XML regular path expressions. From the experimental results, we show that proposed XML query processing system is more efficient than previous systems.

• School Mathematics
• /
• v.13 no.1
• /
• pp.155-173
• /
• 2011

Problem representation is a key aspect in solving word problems. The purpose of this study was to investigate the effects of instructional program based on visual schema representing five types of word problems(Marshall, 1995). Two second grade classes of an elementary school located in Seoul were participated in this study. In experimental class, an instructional program including schema tools were suggested and administered and the other comparison group did have regular classes using diagrams and tables. Pre and post test including 15 word problems each were utilized to test students' problem solving ability. In addition, test scores on students' language ability were used to control the effects of word comprehension level on problem solving. The result revealed that experimental group showed higher problem representation and solving scores after controling the effects of pre-test. In addition, there was significant positive correlation between the ability to apply exact problem schema and problem solving results. The correlation was .58. This study showed even in the early developmental stage young students can get benefits from having instructions of word problem schema.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1275-1283
• /
• 2010

If the Wiener-Hopf $C^*$-algebra W(G,M) for a discrete group G with a semigroup M has the uniqueness property, then the structure of it is to some extent independent of the choice of isometries on a Hilbert space. In this paper we show that if the Wiener-Hopf $C^*$-algebra W(G,M) of a partially ordered group G with the positive cone M has the uniqueness property, then (G,M) is weakly unperforated. We also prove that the Wiener-Hopf $C^*$-algebra W($\mathbb{Z}$, M) of subsemigroup generating the integer group $\mathbb{Z}$ is isomorphic to the Toeplitz algebra, but W($\mathbb{Z}$, M) does not have the uniqueness property except the case M = $\mathbb{N}$.

• Journal of applied mathematics & informatics
• /
• v.7 no.2
• /
• pp.493-506
• /
• 2000

Recently the first author and his coworker report a new finite element method for the Poisson equations with homogeneous Dirichlet boundary conditions on a polygonal domain with one re-entrant angle [7], They use the well-known fact that the solution of such problem has a singular representation, deduced a well-posed new variational problem for a regular part of solution and an extraction formula for the so-called stress intensity factor using tow cut-off functions. They use Fredholm alternative an Garding's inequality to establish the well-posedness of the variational problem and finite element approximation, so there is a maximum bound for mesh h theoretically. although the numerical experiments shows the convergence for every reasonable h with reasonable size y imposing a restriction to the support of the extra cut-off function without using Garding's inequality. We also give error analysis with similar results.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.1
• /
• pp.251-268
• /
• 1996

In this paper, a higher-order feedforward neural network called ridge polynomial network (RPN) which shows good approximation capability for nonlnear continuous functions defined on compact subsets in multi-dimensional Euclidean spaces, is presented. This network provides more efficient and regular structure as compared to ordinary higher-order feedforward networks based on Gabor-Kolmogrov polynomial expansions, while maintating their fast learning property. the ridge polynomial network is a generalization of the pi-sigma network (PSN) and uses a specialform of ridge polynomials. It is shown that any multivariate polynomial can be exactly represented in this form, and thus realized by a RPN. The approximation capability of the RPNs for arbitrary continuous functions is shown by this representation theorem and the classical weierstrass polynomial approximation theorem. The RPN provides a natural mechanism for incremental function approximation based on learning algorithm of the PSN. Simulation results on several applications such as multivariate function approximation and pattern classification assert nonlinear approximation capability of the RPN.

• Proceedings of the KSPS conference
• /
• 2003.10a
• /
• pp.75-78
• /
• 2003

The paper deals with experimental results which was performed to investigate the characteristics of Korean lexical processing and representation of morphemes involved in Korean noun and verb Eojeols. The investigation is also related with the 'English past tense debate' which deals with human mental computation. Experiments using fMRI methods, show that Korean noun Eojeols and both regular and irregular verb Eojeols show a similar activation pattern. Thus, the results indicate that the morphological processing in Korean noun and verb Eojeols are performed quite differently than the Indo-European morphological processing.