• The Korean Journal of Applied Statistics
• /
• v.34 no.2
• /
• pp.267-278
• /
• 2021

As time goes by, the amount of data is increasing regardless of government, business, domestic or overseas. Accordingly, research on big data is increasing in academia. Statistics is one of the major disciplines of big data research, and it will be interesting to understand the research trend of statistics through big data in the growing number of papers in statistics. In this study, we analyzed what studies are being conducted through abstract data of statistical papers in Korea and abroad. Research trends in domestic and international were analyzed through the frequency of keyword data of the papers, and the relationship between the keywords was visualized through the Word Embedding method. In addition to the keywords selected by the authors, words that are importantly used in statistical papers selected through Textrank were also visualized. Lastly, 10 topics were investigated by applying the LDA technique to the abstract data. Through the analysis of each topic, we investigated which research topics are frequently studied and which words are used importantly.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.410-413
• /
• 2000

This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.

• Journal of Ship and Ocean Technology
• /
• v.9 no.3
• /
• pp.23-32
• /
• 2005

Ship STEP(Standard for the Exchange of Product Model Data) which is composed of AP 215 (Ship Arrangement), AP 216(Ship Hull Form), AP 218 (Ship Structure), has been developed more than last 10 years and it is now at the stage just before IS(International Standard). It is expected that ship STEP would be used for the seamless data exchange among various CAD/CAM/CAE systems of shipbuilding process. In this paper the huge and complicated data structure of ship STEP is briefly reviewed at the level of ARM(Application Reference Model) and some abstract test cases which will be included as part of the standards are introduced. Basically ship STEP has common data model to be used without losing compatibility among those three different ship AP's, and it is defined as the modeling framework. Typical cases of data exchange during shipbuilding process, such as hull form data exchange between design office and model basin, midship structure data between shipbuilding yard and classification society are reviewed and STEP physical data are generated using commercial geometric modeling kernel. Test cases of ship arrangement at initial design stage and hydrodynamic data of crude oil carrier are also included.

• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.909-943
• /
• 2017

This paper is devoted to studying abstract stochastic semilinear evolution equations with additive noise in Hilbert spaces. First, we prove the existence of unique local mild solutions and show their regularity. Second, we show the regular dependence of the solutions on initial data. Finally, some applications to stochastic partial differential equations are presented.

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

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

• Bulletin of the Korean Space Science Society
• /
• 2000.04a
• /
• pp.34-34
• /
• 2000

No Abstract, See Full Text

• Bulletin of the Korean Space Science Society
• /
• 2000.10a
• /
• pp.45-45
• /
• 2000

No Abstract, See Full Text

• Bulletin of the Korean Space Science Society
• /
• 1996.05a
• /
• pp.25-26
• /
• 1996

No Abstract, See Full Text

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.18 no.11
• /
• pp.29-35
• /
• 2000

No Abstract.See Full-text

• Proceedings of the Zoological Society Korea Conference
• /
• 1995.10b
• /
• pp.182.2-182
• /
• 1995

No Abstract, See Full Text