• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.571-574
• /
• 2000

지금까지의 수정영향 분석에 대한 연구는 주로 원시코드 기반으로 진행되어 왔다. 그러나 원시코드를 기반으로 한 소프트웨어의 수정영향 분석은 세부적이고 복잡하여, 소프트웨어의 수정영향 범위를 효과적으로 분석하고 클래스간의 제어의존성을 파악하기에 부적합하다. 따라서, 본 논문에서는 UML의 설계단계 산출물인 순차도(sequence diagram)를 기반으로 하여, 클래스간의 수정영향범위 분석을 위한 제어의존성 관계그래프와 알고리즘을 제안한다. 본 논문에서 제안한 제어의존성 관계그래프와 알고리즘은, 소프트웨어에 수정이 일어났을 경우에 수정의 영향범위를 결정하고 제어구조에 따라서 테스트의 순서를 명확히 정의함으로 유지보수 단계에서 시스템을 효율적으로 관리하고 유지하는데 드는 비용과 노력을 절약한다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제3권2호
• /
• pp.239-243
• /
• 2003

Recently, there has been active research conducted on the intelligent agent in various fields. The results have been widely applied to intelligent user-friendly interfaces. In this system, we modeled, designed, and implemented an intelligent agent system that can be applied to stock and news. Some procedures such as login sequence to the web site, process to get stock information, setting stock in concern, intelligent news system module, news analysis module, and news learning module are modeled in detail and described in block diagram level. In our experiment on stock system, it showed quite a useful alarming screen avatar result and also on news system. it successfully rearranged the order of the news according to the user's preferences.

• Transactions of the Korean Society of Automotive Engineers
• /
• 제4권4호
• /
• pp.107-117
• /
• 1996

The shift feeling, a driver experiences during gear shifting, is a major factor in manual transmission quality. Recently, the shift feeling has becoming more severe every year in proportion to the higher torque and revolution speed of today's automotive engine. In this paper, first, the diagram of a relation between cone angle, sleeve chamfer angle, and friction coefficient of ring is investigated for easy design of Synchromesh system. And then, methodology to solve the shift problems such as clashing noise and rough shift, ect. by analyzing the synchronization procedure in sequence and by investigating the shift waveform if presented.

• Proceedings of the KIEE Conference
• /
• 대한전기학회 1987년도 정기총회 및 창립40주년기념 학술대회 학회본부
• /
• pp.90-94
• /
• 1987

A structured user-friendly procedures which enable users to program in GRAFCET form directly from sequence specifications have been developed. Using these procedures, we can program the programmable logic controller (PLC) in sequential control and realize programming, debugging, and real-time monitoring. GRAFCET has many advantages like parallelism expression, so we can expect higher productivity and easier maintenance than boolean language or relay-ladder diagram specification when adapts them to PLC.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.397-399
• /
• 2002

1980년대 이후 많은 연구 개발 성과가 있는 객체 지향 패러다임의 활성화에 이어서 수년 전부터 컴포넌트 기술의 보급이 확산되고 있다. 2000년부터 한국전자통신연구원의 컴포넌트 공학 연구팀 주관으로 개발되고 있는 COBALT 시스템은 EJB 기술을 기반으로 상업성있는 컴포넌트를 개발하기 위한 환경 구축을 목적으로 한다. COBALT 시스템은 UML을 이용한 영역 모델링 기능 컴포넌트 생성 및 배치 기능, 기존의 자바 코드에 대한 역공학 기능 등을 갖추고 있다. 본 논문은 COBALT 시스템의 부 시스템으로 구현된 역공학 기능 중에서 시퀸스 다이어그램 추출 기능의 설계 및 구현 결과를 다룬다 UML 시퀸스 다이어그램은 객체들 간의 메시지 전달 상황을 모델링하기 위한 것으로 시스템의 실행 흐름을 표현한다. 본 논문에서 구현된 시퀸스 다이어그램 추출 기능을 통하여 컴포넌트 개발자는 기존에 작성된 자바 코드를 쉽게 이해할 수 있게 되므로 자바 코드의 재사용성을 향상시킬 수 있으며 재사용된 자바 코드를 이용하여 EJB 컴포넌트를 개발할 수 있다.

• The Korean Journal of Ecology
• /
• 제11권3호
• /
• pp.137-144
• /
• 1988

The use of modern pollen spectra for comparative interpretation of fossil pollen sequence requires the ability to distinguish different vegetation types by their pollen spectra, which may show similarities to fossil assemblages. Tertiary marine and non-marine sediments, the Yeonil Group, of the Yeonil area, Korea, was found thirty-two palynomorphic genera. One of the characteristic features of Yeonil geo-flora is predominance of coniferous trees over shrubs, herbs, and ferns. Miocene deposits of Yeonl area, Korea, ae differentiated with five zones. According to the pollen diagram it can be inferred the climate of the Tertiary Miocene of the Yeonil area, Korea.

• Journal of The Korean Astronomical Society
• /
• 제37권3호
• /
• pp.119-129
• /
• 2004

A new method has been developed to solve the star cluster membership problem. It is based on synthetic photometry employing the Black Body concept as stellar radiation simulator. Synthetic color-magnitude diagram is constructed showing the main sequence band and the positions of binary star systems of combinations of various components through different photometric tracks. The method has been applied to the Hyades. The cluster membership problem has been re-appraised for the cluster (both single and binary) stars. For the binary members, the components' spectral types have been derived by the method. The results obtained agree very well with those found in literature, The method is simpler than the others and can be developed to undertake other cases as multiple star systems.

• Journal of The Korean Astronomical Society
• /
• 제22권2호
• /
• pp.101-111
• /
• 1989

We have analysed the proper motion data of LHS catalog, to derive the faint end of the luminosity function more precise than ever before, by mean absolute method, and by making use of the reudced proper motion diagram. It is found that the relations between the mean absolute magnitude and the reduced proper motion for main sequence stars, subdwarfs, and white dwarfs are so different that the proper application of an appropriate relation to each group is much more important. The derived luminosity function shows the broad maximum peak from $M_B{\sim}14$ to $M_B{\sim}17$ and declines after $M_B{\sim}17$ up to $M_B{\sim}22$.

• Proceedings of the Korea Society for Simulation Conference
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• pp.100-105
• /
• 2005

Development of complex discrete event simulators requires cooperation between domain experts and modeling experts who involve the development. With the cooperation the domain experts derive user requirement and modeling experts transform the requirement to a simulation model. This paper proposes a method for consistency verification of simulation model in DEVS formalism against the user requirement in UML diagrams. It also presents an automated tool, called VeriDEVS, which implements the proposed method. Inputs of VeriDEVS are three UML diagrams, namely use case, class and sequence diagrams, and DEVS Graph, all in Visio; outputs of a verification result is represented in PowerPoint files.

• Proceedings of the KSR Conference
• /
• 한국철도학회 2002년도 추계학술대회 논문집(I)
• /
• pp.382-386
• /
• 2002

The utilization of System Design Data(SDD) based upon Model Based Systems Engineering(MBSE) process is as important as the building of them. This paper describes the development and the utilization of a report template which can extract and modify data we need from SDD. A report template is defined as a set of elements in the Reporting Facility and is created by placing a sequence of Reporting elements onto a Behavior Diagram-like structure called a ReportNet. We focus on the development of a report template to secure and validate requirements traceability.