• 제어로봇시스템학회논문지
• /
• 제13권9호
• /
• pp.868-874
• /
• 2007

This paper proposes an efficient partial matching system and representation by using a region-based method for 2D image, and we applied to an extraction of the ROI(Region of Interest) according to its matching score. The matching templates consist of the global pattern and the local one. The global pattern can make it by using region-based relation between center region and its rest regions in an object. And, the local pattern can be obtained appling to the same method as global, except relation between objects. As the templates can be normalized, we use this templates for extraction of ROI with invariant to size and position. And, our system operates only one try to match, due to normalizing of region size. To use our system for searching and examining if it's the ROI by evaluating the matching function, at first, we are searching to find candidate regions with the global template. Then, we try to find the ROI among the candidates, and it works this time by using the local template. We experimented to the binary and the color image respectively, they showed that the proposed system can be used efficiently for representing of the template and the useful applications, such as partially retrievals of 2D image.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 2000년도 하계학술발표대회 논문집 제19권 1호
• /
• pp.7-10
• /
• 2000

Studies of prosody and sentence processing have demonstrated that prosodic phrasing can exhibit strong effects on processing decisions in English. In this paper, we tested Korean sentence fragments containing syntactically ambiguous Adj-N1-N2 strings in a cross-modal naming task. Four accentual phrasing patterns were tested: (a) the default phrasing pattern, in which each word forms an accentual phrase; (b) a phrasing biased toward N1 modification; (c) a phrasing biased toward complex-NP modification; and (d) a phrasing used with adjective focus. Patterns (b) and (c) are disambiguating phrasings; the other two are commonly found with both interpretations and are thus ambiguous. The results showed that the naming time of items produced in the prosody contradicting the semantic grouping is significantly longer than that produced in either default or supporting prosody, We claim that, as in English, prosodic information in Korean is parsed into a well-formed prosodic representation during the early stages of processing. The partially constructed prosodic representation produces incremental effects on syntactic and semantic processing decisions and is retained in memory to influence reanalysis decisions.

• 한국CDE학회논문집
• /
• 제10권4호
• /
• pp.262-273
• /
• 2005

For CAD data users, few things are as frustrating as receiving CAD data that is unusable due to poor data quality. Users waste time trying to get better data, fixing the data, or even rebuilding the data from scratch from paper drawings or other sources. Most related works and commercial tools handle the boundary representation (B-Rep) shape of CAD models. However, we propose a design history?based approach for healing CAD model errors. Because the design history, which covers the features, the history tree, the parameterization data and constraints, reflects the design intent, CAD model errors can be healed by an interdependency analysis of the feature commands or of the parametric data of each feature command, and by the reconstruction of these feature commands through the rule-based reasoning of an expert system. Unlike other B Rep correction methods, our method automatically heals parametric feature models without translating them to a B-Rep shape, and it also preserves engineering information.

• Journal of Computational Design and Engineering
• /
• 제2권1호
• /
• pp.1-15
• /
• 2015

Measured bidirectional reflectance distribution function (BRDF) data have been used to represent complex interaction between lights and surface materials for photorealistic rendering. However, their massive size makes it hard to adopt them in practical rendering applications. In this paper, we propose an adaptive method for B-spline volume representation of measured BRDF data. It basically performs approximate B-spline volume lofting, which decomposes the problem into three sub-problems of multiple B-spline curve fitting along u-, v-, and w-parametric directions. Especially, it makes the efficient use of knots in the multiple B-spline curve fitting and thereby accomplishes adaptive knot placement along each parametric direction of a resulting B-spline volume. The proposed method is quite useful to realize efficient data reduction while smoothing out the noises and keeping the overall features of BRDF data well. By applying the B-spline volume models of real materials for rendering, we show that the B-spline volume models are effective in preserving the features of material appearance and are suitable for representing BRDF data.

• 한국CDE학회논문집
• /
• 제10권3호
• /
• pp.217-223
• /
• 2005

Tight integration between design and analysis processes and the data representation in the ship design application domain have been studied in this paper. Multi-Representation Architecture for design and analysis integration, proposed at Georgia Institute of Technology, has been carefully investigated for the application in the initial ship design stage. The MRA approach facilitates efficient generation of analysis models from the initial ship design data, thus reducing design lead time. Easy generation of analysis model is important because it allows quick analysis iteration under frequent design changes. The SMM, ABB and PBAM are defined for the analysis model of the typical ship structure. Only a part of the typical initial ship design data has been considered in the experimental implementation of the proposed approach. However, the prototype implementation shows that the application of MRA approach in the structural ship design domain is quite feasible. It is also contemplated that the same approach can be extended for other design and analysis views in the ship design domain.

• 대한수학회지
• /
• 제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.

• 대한수학회지
• /
• 제56권5호
• /
• pp.1265-1283
• /
• 2019

We develop a framework to construct geometric representations of finite groups G through the correspondence between real toric spaces $X^{\mathbb{R}}$ and simplicial complexes with characteristic matrices. We give a combinatorial description of the G-module structure of the homology of $X^{\mathbb{R}}$. As applications, we make explicit computations of the Weyl group representations on the homology of real toric varieties associated to the Weyl chambers of type A and B, which show an interesting connection to the topology of posets. We also realize a certain kind of Foulkes representation geometrically as the homology of real toric varieties.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.279-282
• /
• 2011

최근 기업들이 SOA, 웹 서비스, 유틸리티 컴퓨팅, 클라우드 컴퓨팅 등과 같은 서비스 지향적인 컴퓨팅 환경에 관심을 가지면서 SLA(Service Level Agreement) 기반의 자동화된 계약관리의 수요가 증가하고 있다. 일반적으로 기업에서는 종이에 자연언어로 표현된 SLA를 사용하고 있다. 이를 SLM(Service Level Management) 시스템에서 이해하고 계약조항을 직접 실행시키는 한 방법으로서 본 논문에서는 ASLA(Active SLA) 도입을 제안하였다. ASLA에서는 계약조항이 내용이 Prolog로 표현 된다.사람이 계약조항을 분석하여 Prolog로 표현할 때는 사람에 따라 변환 결과가 달라질 수 있을 뿐만 아니라 작업시간이 많이 소요된다는 단점이 있다. 본 논문에서는 제한된 자연어로 작성된 SLA를 APE(Attempto Parsing Engine)를 사용하여 ASLA를 얻는 방법을 제안한다. 그 방법의 핵심은 SLA ${\rightarrow}$ [APE Parser] ${\rightarrow}$ DRS(Discource Representation Structure) ${\rightarrow}$[drs2prolog] ${\rightarrow}$ Prolog 프로그램 ${\rightarrow}$ [prolog2xml] ${\rightarrow}$ ASLA로 요약할 수 있다.

• Nuclear Engineering and Technology
• /
• 제54권3호
• /
• pp.1037-1048
• /
• 2022

A radioactive isotope identification algorithm is a prerequisite for a low-resolution scintillation detector applied to an unmanned radiation monitoring system. In this paper, a sparse representation with dictionary learning approach is proposed and applied to plastic gamma-ray spectra. Label-consistent K-SVD was used to learn a discriminative dictionary for the spectra corresponding to a mixture of four isotopes (¹³³Ba, ²²Na, ¹³⁷Cs, and ⁶⁰Co). A Monte Carlo simulation was employed to produce the simulated data as learning samples. Experimental measurement was conducted to obtain practical spectra. After determining the hyper parameters, two dictionaries tailored to the learning samples were tested by varying with the source position and the measurement time. They achieved average accuracies of 97.6% and 98.0% for all testing spectra. The average accuracy of each dictionary was above 96% for spectra measured over 2 s. They also showed acceptable performance when the spectra were artificially shifted. Thus, the proposed method could be useful for identifying radioisotopes in gamma-ray spectra from a plastic scintillation detector even when a dictionary is adapted to only simulated data. Furthermore, owing to the outstanding properties of sparse representation, the proposed approach can easily be built into an insitu monitoring system.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2011년 춘계학술대회논문집
• /
• pp.78-85
• /
• 2011

The Vortex-In-Cell(VIC) method combined with panel method is applied to the analysis of incompressible unsteady viscous flow. The dynamics of resulting flow is governed by the vorticity transport equation in Lagrangian form with vortex particle representation of the flow field. A regular grid which is independent to the shape of a body is used for numerical evaluation based on immersed boundary technique. With an introduction of this approach, the development and validation of the VIC method is presented with some computational results for incompressible viscous flow around two or three dimensional bodies such as wing section, sphere, finite wing and marine propeller.