• ETRI Journal
• /
• 제16권4호
• /
• pp.27-47
• /
• 1995

This paper improves top-down execution models of logic programs based on a two-phase abstract interpretation which consists of a bottom-up analysis followed by a top-down one. The two-phase analysis provides an approximation of all (possibly non-ground) success patterns of clauses relevant to a query. It is specialized by considering Sato and Tamaki’s depth k abstraction as abstract function. By the ability of the analysis to approximate possibly non-ground success patterns of clauses relevant to a query, it can be statically determined whether some subgoals will fail during execution and some succeeding subgoals do not participate in success patterns of program clauses relevant to a given query. These properties are utilized to improve execution models. This approach can be easily applied to any top-down (parallel) execution models. As instances, it is shown to be applicable to linear execution model and AND/OR Process Model.

• 한국가구학회지
• /
• 제28권4호
• /
• pp.362-370
• /
• 2017

To improve usability and recognition of product, the term, Affordance, started to be known in the design world by US recognitive psychologist, Donald A. Norman, has the meaning of providing, Act inducement, Act motivation, Expectancy or what environment provides, etc., thus as one of Mental Model, providing ever more importance not only to the everyday life goods but to the time like these days when products for information overflow. Particularly, this study is oriented toward providing basic study framework on Affordance-like approach in pursuing psychological approach in design for changing the limitless phenomena involved in environment and human body and further for inquiring into source of idea from abstract form hint latent in act and further from the act conducted everyday while peoples are unconscious.

• 한국IT서비스학회지
• /
• 제10권3호
• /
• pp.167-177
• /
• 2011

Code obfuscation is a technique that protects the abstract data contained in a program from malicious reverse engineering and various obfuscation methods have been proposed for obfuscating intention. As the abstract data of control flow about programs is important to clearly understand whole program, many control flow obfuscation transformations have been introduced. Generally, inlining is a compiler optimization which improves the performance of programs by reducing the overhead of calling invocation. In code obfuscation, inlining is used to protect the abstract data of control flow. In this paper, we define new control flow complexity metric based on entropy theory and N-Scope metric, and then apply genetic algorithm to obtain optimal inlining results, based on the defined metric.

• 한국멀티미디어학회논문지
• /
• 제13권6호
• /
• pp.884-889
• /
• 2010

In this paper, we design a mobile phone based remote control system for PC using SKT WPAN platform and compare the presented platform with that of Windows Mobile. The usability of WPAN is one of the main issues which should be considered for the ubiquitous services. For easy development and easy use of the WPAN applications, SKT WPAN platform provides abstract WPAN APIs and WPAN Application Manager for ubiquitous services. In this paper, we implement a remote control application using the WPAN platform and show the validity of the platform comparing with other platforms. In the implemented application, we use WPAN abstract APIs on the mobile phone side and a general Bluetooth APIs on the PC for a connection between phone and PC. Through the implementation and comparison, we show that the WPAN application can be easily developed with WPAN platform.

• Journal of applied mathematics & informatics
• /
• 제3권2호
• /
• pp.279-290
• /
• 1996

In the present paper we study the Cauchy problem in a Banach space E for an abstract nonlinear differential equation of form $$\frac{d^2u}{dt^2}=-A{\frac{du}{dt}}+B(t)u+f(t, W)$$ where W=($A_1$(t)u, A_2(t)u)..., A_{\nu}(t)u), A_{i}(t),\;i=1,2,...{\nu}$,(B(t), t{\in}I$=[0, b]) are families of closed operators defined on dense sets in E into E, f is a given abstract nonlinear function on $I{\times}E^{\nu}$ into E and -A is a closed linar operator defined on dense set in e into E which generates a semi-group. Further the existence and uniqueness of the solution of the considered Cauchy problem is studied for a wide class of the families ($A_{i}$(t), i =1.2...${\nu}$), (B(t), $t{\in}I$) An application and some properties are also given for the theory of partial diferential equations.

• 대한수학회논문집
• /
• 제22권1호
• /
• pp.91-109
• /
• 2007

In this paper, we derive a change of scale formula for conditional Wiener integrals, as integral transforms, of possibly unbounded functions over Wiener paths in abstract Wiener space. In fact, we derive the change of scale formula for the product of the functions in a Banach algebra which is equivalent to both the Fresnel class and the space of measures of bounded variation over a real separable Hilbert space, and the $L_p-type$cylinder functions over Wiener paths in abstract Wiener space. As an application of the result, we obtain a change of scale formula for the conditional analytic Fourier-Feynman transform of the product of the functions.

• 무역상무연구
• /
• 제16권
• /
• pp.59-81
• /
• 2001

There are two methods of quantifying the damages when the contract is avoided. One is 'concret' assessment, the other is 'abstract' assessment. The former looks to the actual cost incurred by the aggrieved party in concluding a contract for the substitute transaction, while the latter is based on the market price. The concrete method of assessment forms the starting point in the Civil Law systems. In the Common Law systems, it is likewise available. The aggrieved party is entitled to recover the difference between the cost of cover or (as the case may be) the proceeds of resale and the contract price. Both systems also recognize the abstract method of assessment. If the aggrieved party does not resell or cover, damages are equal to the difference between the price fixed by the contract and the market price. The CISG and the UNIDROIT Principles recognize expressly both concrete and abstract methods. Under the relevant articles, the aggrieved party can recover the damages assessed by one of the methods as well as any further damages such as loss of profit, incidental and consequential damages.

• 대한수학회지
• /
• 제54권1호
• /
• pp.117-139
• /
• 2017

This paper presents a systematic study for theoretical aspects of a unified approach to the abstract relative Fourier transforms over canonical homogeneous spaces of semi-direct product groups with Abelian normal factor. Let H be a locally compact group, K be a locally compact Abelian (LCA) group, and ${\theta}:H{\rightarrow}Aut(K)$ be a continuous homomorphism. Let $G_{\theta}=H{\ltimes}_{\theta}K$ be the semi-direct product of H and K with respect to ${\theta}$ and $G_{\theta}/H$ be the canonical homogeneous space (left coset space) of $G_{\theta}$. We introduce the notions of relative dual homogeneous space and also abstract relative Fourier transform over $G_{\theta}/H$. Then we study theoretical properties of this approach.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2009년도 춘계 종합학술대회 논문집
• /
• pp.870-874
• /
• 2009

추상 이미지를 자동 생성하는 기법으로 유전자 알고리즘을 이용하는 방법은 다양한 형태의 이미지를 자동 생성할 수 있는 기법으로 유용하게 쓰일 수 있다. 그러나 다수의 자동 생성된 이미지를 보관하고 검색하는 과정에서 적절한 분류 방법이 제공되지 않아 관리의 어려움이 존재한다. 본 연구에서는 아핀 추상 이미지를 효과적으로 분류하기 위한 체계로 형태요소, 감성요소, 색채요소를 이용한 분류 방법을 제안하고 이를 검색할 수 있는 데이터베이스를 설계한다.

• Communications for Statistical Applications and Methods
• /
• 제8권3호
• /
• pp.615-623
• /
• 2001

A functional central limit theorem is obtained for a stationary multivariate linear process of the form (no abstract. see full-text) where{ $Z_{t}$} is a sequence of strictly stationary m-dimensional negatively associated random vectors with E $Z_{t}$=O and E∥ $Z_{t}$∥$^2$<$\infty$ and { $A_{u}$} is a sequence of coefficient matrices with (no abstract. see full-text) and (no abstract. see full-text).text).).