• Current Optics and Photonics
• /
• 제4권6호
• /
• pp.545-550
• /
• 2020

We propose a hole-filling method to solve discontinuous depth representation and to reduce the visible seams and cracks that cause the limitation of the viewing angle of the three-dimensional (3D) image in the multilayer type 3D display system. The occlusion and the disocclusion regions between layers, such as the visible seams and cracks, are a major bottleneck of the multilayer type 3D display system to represent a volumetric 3D image by stacking multiple images. As a result, in the reconstructed 3D image, the visible seams and cracks appear as brighter overlapping and undesirable cut-off. In order to resolve the problems above, we applied the depth-fused effect to the sub-depth map generating algorithm and improve the viewing characteristics of the multilayer type 3D display. The experimental demonstrations are also provided to verify the proposed scheme.

• 한국산업정보학회논문지
• /
• 제8권3호
• /
• pp.61-68
• /
• 2003

In this paper, a representation method for structure information retrieval without schema and DTD of XML documents is presented. While existing researches have used DTD or schema to extract structure information, we extract structure information directly from XML documents. Especially the well-formed XML documents are only required to retrieve documents in the proposed method. Thus it can retrieve more general and various documents easily compared to the existing XML retrieval systems requiring DTD or schema. Experimental result indicates that the proposed method retrieves effectively structure information of XML documents independently to DTD information.

• 대한수학회지
• /
• 제38권2호
• /
• pp.227-274
• /
• 2001

In this paper we intended to discuss the following topics: (1) Notation, generalities, Markov processes. The close relationship between (generators of) Markov processes and the martingale problem is exhibited. A link between the Korovkin property and generators of Feller semigroups is established. (2) Feynman-Kac semigroups: 0-order regular perturbations, pinned Markov measures. A basic representation via distributions of Markov processes is depicted. (3) Dirichlet semigroups: 0-order singular perturbations, harmonic functions, multiplicative functionals. Here a representation theorem of solutions to the heat equation is depicted in terms of the distributions of the underlying Markov process and a suitable stopping time. (4) Sets of finite capacity, wave operators, and related results. In this section a number of results are presented concerning the completeness of scattering systems (and its spectral consequences). (5) Some (abstract) problems related to Neumann semigroups: 1st order perturbations. In this section some rather abstract problems are presented, which lie on the borderline between first order perturbations together with their boundary limits (Neumann type boundary conditions and) and reflected Markov processes.

• 대한전자공학회논문지
• /
• 제27권6호
• /
• pp.851-860
• /
• 1990

This paper presents a recognition method which interprets 3-D object in terms of several silhouettes of quadtree and octree. Object representation used in object matching should be invariant with respect to locatin and orientation of the object. Generalized octree is projected on to image plane along the principal axes. Regular octree is made from orthogonal directions, but generalized octree is independent to viewing directions. Recognition process is achieved in two-stage matching. The quadtrees and octrees of unknown object with minimum dissimilarities are matched with the quadtrees and octrees of the models. So as to verify efficiency of 3-D object representation and accuracy of object recognition, experiments are performed for 14 different type of geometrical models and its results have been shown.

• 대한수학회지
• /
• 제54권5호
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1989년도 춘계학술대회
• /
• pp.39-43
• /
• 1989

In this paper, hierachical representation method with a 1-to-4 and 1-to-8 data structure is used to reconstruct the three-dimensional scene from two-dimensional cross sections provided by computed tomography with small memory computer system. To reduce the internal memory use, 2-D section is represented by quadtree, and 3-D scene is represented by octree. Octree is constructed by recursively merging consecutive quadtrees. This method uses 7/200 less memory than pointer type structure with all the case, and less memory up to 60.3% than linear octree with experimental data.

• 한국컴퓨터정보학회논문지
• /
• 제7권2호
• /
• pp.34-39
• /
• 2002

본 논문은 컴포넌트 명세서 구문구조를 XML 기반으로 모델링 하였다. 즉, 컴포넌트 명세서 구문구조를 XML 문서형 정의(DTD) 문법에 맞도록 컴포넌트 명세서 DTD를 제안하였으며, DTD 구조에 유효한 컴포넌트 명세서 XML 문서 예를 제시하였다. 그리고 XML기반 컴포넌트 명세서 문서를 편리하게 생성, 관리할 수 있는 지원도구의 기본 아키텍쳐를 설계하였다.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제16권3호
• /
• pp.177-194
• /
• 2012

What strategies are used to help students understand quadratic functions in mathematics classroom? In specific, how does Chinese teacher highlight a connection between algebraic representation and graphic representation? From October to November 2009, an experienced teacher classroom was observed. It was found that when students started learning a new type of quadratic function in lessons, the teacher used two different teaching strategies for their learning: (1) Eliciting students to plot the graphs of quadratic functions with pointwise approaches, and then construct the function image in their minds with global approaches; and (2) Presenting a specific mathematical problem, or introducing conception to elicit students to conjecture, and then encouraging them to verify it with appoint approaches.

• Journal of applied mathematics & informatics
• /
• 제23권1_2호
• /
• pp.113-126
• /
• 2007

Let A and E be $m{\times}n$ matrices and W an $n{\times}m$ matrix, and let $A_{d,w}$ denote the W-weighted Drazin inverse of A. In this paper, a new representation of the W-weighted Drazin inverse of A is given. Some new properties for the W-weighted Drazin inverse $A_{d,w}\;and\;B_{d,w}$ are investigated, where B=A+E. In addition, the Banach-type perturbation theorem for the W-weighted Drazin inverse of A and B are established, and the perturbation bounds for ${\parallel}B_{d,w}{\parallel}\;and\;{\parallel}B_{d,w}-A_{d,w}{\parallel}/{\parallel}A_{d,w}{\parallel}$ are also presented. When A and B are square matrices and W is identity matrix, some known results in the literature related to the Drazin inverse and the group inverse are directly reduced by the results in this paper as special cases.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1994년도 추계학술대회 논문집 학회본부
• /
• pp.75-77
• /
• 1994

This paper presents a method of obtaining transmission network equivalents from the network's driving-point admittance characteristic. Proposed method is based on modal decomposition representation for the large-scale interconnected system. As a result, Norton-type of discrete-time filter model can be generated. It can reproduce the driving-point admittance characteristic of the network. Furthermore proposed model can be implemented into the EMTP in a direct manner. The simulation results with the full system representation and the developed equivalent system showed a good agreement.