• Journal of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.501-503
• /
• 1997

The existence of a unique local generalized solution for the abstract functional evolution problem of the type $$ (FDE:\phi) x'(t) + A(t, x_t)x(t) \ni G(t, x_t), t \in [0, T], x_0 = \phi $$ in a general Banach spaces is considered. It is shown that $(FDE:\phi)$ could be considered with well-known fixed point theory and recent results for the functional differential equations involving the operator A(t).

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.137-148
• /
• 2012

Recently Ding [4, 5, 8] gives examples of his FC-spaces which are not L-spaces due to Ben-El-Mechaiekh et al. [1]. We show that they are actually L-spaces. We also clarify that all statements in [5] can be stated in corrected and generalized forms for the class of abstract convex spaces beyond FC-spaces.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.477-479
• /
• 2000

최근 대부분의 시스템은 즉각적인 정보를 요구하는 실시간 시스템이다. 실시간 시스템은 오류에 대한 유연적인 대체를 필요로 하는 내고장성 시스템(fault tolerant system)의 개념을 지향한다. 내고장성 시스템은 보다 정확한 시스템 설계가 중요하며, 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점과 시간 간격, 주기, 이산 시간, 다수의 타이머에 의한 동적 등의 시간 관련 동작을 ATM(Abstract Timed Machine)에 기반으로 명세하고 명세된 시간에 대한 분석을 살펴본다.

• The Journal of Natural Sciences
• /
• v.4
• /
• pp.221-231
• /
• 1991

We have thought artistic charactics of modern form is abstract expression and purity and unity sight. Specially, modern sculpture form has strict geometrical form as showed in primitive art. In this circumstances, modern costume has stylized more artistic form in pure sight. Artistic characteristics showed in those collections are picturesque in material and sculpture in shillouette. Picturesque material pointed in decoretive function and simple shillouette pointed in sculpturesque body in modern costume.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.430-432
• /
• 1999

본 논문에서는 AST(Abstract Syntax Tree)를 이용하여 서로 다른 프로그램의 유사도를 측정하는 방법을 제시한다. 지금까지 유사도 평가 방법은 거의 제시되지 않고 프로그램의 비교평가 연구는 찾아볼 수가 없다. 본 시스템은 서로 다른 여러 프로그램을 입력받아 파싱함으로써 AST를 생성하여 생성된 AST를 유사도 측정에 이용한다. 따라서 다른 비교 측정 시스템보다 비용과 속도 면에서 경제적이고 빠르게 유사도를 검출해 낼 수 있으며, 또한 신속히 평가 결과를 학생들에게 피드백 함으로써 큰 학습성과를 기대할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.460-462
• /
• 2001

테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.343-345
• /
• 2001

요약해석(abstract interpretation)이란 래티스(lattice)로 표현되는 요약된 공간에서 프로그램을 수행함으로써 프로그램의 성질을 분석하는 방법이다. 요약해석에서 프로그램의 분석 결과는, 정보가 없는 상태에서 시작하여 더 이상 정보의 증가가 없을 때까지 프로그램을 반복해서 수행함으로써 얻어지는 고정점(fixpoint)에 의하여 표현된다. 본 연구에서는 이러한 고정정 계산의 속도를 높이기 위하여 이전 반복의 계산 결과를 최대한 이용하는 방법을 제시한다. 그리고 제시된 방법을 상수 및 이명 분석의 구현에 적응하여 실제로 분석 속도가 증가함을 보였다.

• Honam Mathematical Journal
• /
• v.40 no.4
• /
• pp.671-679
• /
• 2018

Abstract of the article can be written hereAbstract of the article can be written here. Recently, several authors have studied the symmetric identities for special functions(see [3,5-11,14,17,18,20-22]). In this paper, we study the symmetric identities of the degenerate modified q-Euler polynomials under the symmetric group.

• Journal of Applied and Pure Mathematics
• /
• v.4 no.1_2
• /
• pp.71-77
• /
• 2022

This work considers the existence and uniqueness of fuzzy solutions for impulsive abstract partial neutral functional differential systems. To establish the existence and uniqueness, we apply the concept of impulse, semi group theory and suitable fixed point theorem.

• Educational Technology International
• /
• v.18 no.2
• /
• pp.215-247
• /
• 2017

This study aims to conduct a literature review on visual scaffolding. Visual scaffolding, as a support for learning, employs various forms of visual objects which can be either content-independent or content-dependent and the types of which would be abstract-verbal, concrete-verbal, concrete-visual, or abstract visual. The effectiveness of visual scaffolding can be argued in the following three aspects: 1) explicit representation of information and emphasis of critical features in effective and efficient manner, 2) supplement of additional information, 3) structural understanding with decrease in cognitive load. The limitations of the study and the suggestions for future study are discussed.