• 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).

• 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 the Korea Institute of Information and Communication Engineering
• /
• v.13 no.11
• /
• pp.2367-2372
• /
• 2009

Recently, Many studies have been progressing to path-finding adapted dynamic information on the Terminal Based Navigation System(TBNS). The algorithms proposed are based on $A^*$ algorithm. Path-finding algorithms which use heuristic function may occur a problem of the increase of exploring cost. Path-finding with an abstract graph which expresses real road network as a simple graph is proposed for reducing dependency of heuristic and exploring cost. In this paper, two abstract graph that are different method of construction, Homogeneous Node merging($AG^H$) and Connected Node Merging($AG^C$), are implemented. In result of evaluation of performance, $AG^C$ has better performance than $AG^H$ at construction cost and the number of node access but $AG^C$ has worse performance than AGH at exploring cost.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.10a
• /
• pp.147-150
• /
• 2008

The real road network is regarded as a grid, and the grid is divided by fixed-sized cells. The path-finding is composed of two step searching. First searching travels on the abstract graph which is composed of a set of psuedo vertexes and a set of psuedo edges that are created by real road network and fixed-sized cells. The result of the first searching is a psuedo path which is composed of a set of selected psuedo edges. The cells intersected with the psuedo path are called as valid cells. The second searching travels with $A^*$ algorithm on valid cells. As pruning search space by removing the invalid cells, it would be possible to reduce the cost of exploring on real road network. In this paper, we present the method of creating the abstract graph and propose a path-finding algorithm on the abstract graph for extracting search space before traveling on real road network.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.10 no.1
• /
• pp.85-95
• /
• 1986

Sonia Delaunay(1885$\~$1979) was one of great pioneers of abstract art, who looked at clothes and fabrics with a plastics eyes. In Association with her husband Robert Delaunay, they were instrumental in founding the movement of Orphism, she proceeded to mix strong and bright colors into her art and had a brilliant influence on the decoration and women's fashion of the 1920's. Having a strong sense for dramatic and decorative color derived in part from childhood remembrances of Russian folk art she initiated a total revolution in which she created her first simultaneous dress with multi-colored samples of materials. She extended the principle of color's simultaneity to the field of fashion, fabric design and applied art. She was interested in the dress for ballet and opera. Fashion designer Paul Poiret asked her to design the fabrics and she created the geometric and abstract patterns with her strong color. It seemed that her design was revolutionary and avant-garde. Always she desired not only art of seeing but also art of living. The purpose of this study is to recognize the influence she had upon the history of modern fashion and fabric design. It was remarked that her paintings served as a basis for later developments in Kinetics Art and had influences on 1980' s abstract patterns for silk dress. Finally, the concept 'simultaneity' of her art signifies endless rhythmes in space and time.

• Korean Institute of Interior Design Journal
• /
• v.22 no.4
• /
• pp.41-51
• /
• 2013

Lately in many cases, Spaces are designed by stimulating user's sensibility, emotion, psychological software over based on the user behavior and purpose of space. Because space is not only practical using and use purpose but also the place for expressing ourselves by experiences. But space is a physical thing. so we need to arrange a structure of abstract and formless source of design by sophisticated grammaticalization. Especially storytelling of that abstract thing have characteristics of relation, process among users and space. because storytelling is focused on the discourse of stories and relationship record of that discourses. So this is used by expression device for user's emotion things and subjects in numerous cases. And storytelling is the basic, important element for user's experience in a space. By the way, Overlapping is also basic element for being possible to make experiences by concrete thing. that is because, Overlapping is layering phenomenon of some objects. Overlapping is made distance, distance make depth, and this relations take us an experience. Finally storytelling, Overlapping and space of experience are relation of cause and effect. So in this thesis, researcher looks for the relation characteristics between storytelling and overlapping by experience. and makes the abstract source into concrete and sophisticated formular.

• Journal of Korea Trade
• /
• v.24 no.5
• /
• pp.71-86
• /
• 2020

Purpose - This study investigates research trends by searching for English keywords and abstracts in 1,511 Korean journal articles in the Korea Citation Index from the 2002-2019 period using the term "Port." The study aims to lay the foundation for a more balanced development of port research. Design/methodology - Using abstract and keyword data, we perform frequency analysis and word embedding (Word2vec). A t-SNE plot shows the main keywords extracted using the TextRank algorithm. To analyze which words were used in what context in our two nine-year subperiods (2002-2010 and 2010-2019), we use Scattertext and scaled F-scores. Findings - First, during the 18-year study period, port research has developed through the convergence of diverse academic fields, covering 102 subject areas and 219 journals. Second, our frequency analysis of 4,431 keywords in 1,511 papers shows that the words "Port" (60 times), "Port Competitiveness" (33 times), and "Port Authority" (29 times), among others, are attractive to most researchers. Third, a word embedding analysis identifies the words highly correlated with the top eight keywords and visually shows four different subject clusters in a t-SNE plot. Fourth, we use Scattertext to compare words used in the two research sub-periods. Originality/value - This study is the first to apply abstract and keyword analysis and various text mining techniques to Korean journal articles in port research and thus has important implications. Further in-depth studies should collect a greater variety of textual data and analyze and compare port studies from different countries.