• 한국정보처리학회논문지
• /
• 제7권3호
• /
• pp.818-830
• /
• 2000

Automation tools for program analysis are needed in order to program understand and maintain, extract the characteristics of object-oriented program such as class name, member function and data member. In this paper, we carried out design and implementation of the automation tool for effective maintenance of object-oriented software. Being based on Reverse Engineering, this approach extracts class relationship information from C++ source code and generates object-oriented model of class diagram using UML as the standard object-oriented methodology. Therefore, this paper provides developers visualized including class information, definitions of classes, inheritance relationships, set relationships, and simple reference relationships. Finally in this paper, we propose a method that construct class relationship information to table in analysis state and make form of table construction to link form so tat developers can perform understanding and maintaining program efficiently. And this method enable to restructure and reuse in object-oriented model.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2003년도 춘계 학술발표회논문집
• /
• pp.362-367
• /
• 2003

To improve the reliability of seismic hazard assessment of historic earthquake, shaking table test of a 1/2 scale model of wood house with tiled roof was performed. Scaled model was constructed through rigorous verification process to have quantitative relationship between the intensity of earthquake and damage state. The completed model was mounted on a shaking table and subjected to the dynamic tests. Two kinds of tests were performed: exploratory test and fragility test. The exploratory test was done with low intensity shaking. In the fragility test, the behavior of the model was carefully monitored while increasing the shaking intensity. The construction details of the model are provided and test procedures are reported. Finally important test results are presented and their implications are discussed.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2003년도 춘계 학술발표회논문집
• /
• pp.368-373
• /
• 2003

To improve the reliability of seismic hazard assessment of historic earthquake, shaking table test of a full scale model of wood house with tiled roof was performed. Full scale model was constructed through rigorous verification process to have quantitative relationship between the intensity of earthquake and damage state. The completed model was mounted on a shaking table and subjected to the dynamic tests. Two kinds of tests were performed: exploratory test and fragility test. The exploratory test was done with low intensity shaking. In the fragility test, the behavior of the model was carefully monitored while increasing the shaking intensity. The construction details of the model are provided and test procedures are reported. Finally important test results are presented and their implications are discussed.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2003년도 추계 학술발표회논문집
• /
• pp.247-252
• /
• 2003

To improve the reliability of seismic hazard assessment of historic earthquake, shaking table test of a 1/2 scale model of wood house with thatched roof was peformed. Scaled model was constructed through rigorous verification process to have quantitative relationship between the intensity of earthquake and damage state. The completed model was mounted on a shaking table and subjected to the dynamic tests. Two kinds of tests were performed: exploratory test and fragility test. The exploratory test was done with low intensity shaking. In the fragility test, the behavior of the model was carefully monitored while increasing the shaking intensity. The construction details of the model are provided and test procedures are reported. Finally important test results are presented and their implications are discussed.

• 대한수학회지
• /
• 제61권1호
• /
• pp.109-132
• /
• 2024

The Clifford algebra of a direct sum of real quadratic spaces appears as the superalgebra tensor product of the Clifford algebras of the summands. The purpose of the current paper is to present a purely settheoretical version of the superalgebra tensor product which will be applicable equally to groups or to their non-associative analogues - quasigroups and loops. Our work is part of a project to make supersymmetry an effective tool for the study of combinatorial structures. Starting from group and quasigroup structures on four-element supersets, our superproduct unifies the construction of the eight-element quaternion and dihedral groups, further leading to a loop structure which hybridizes the two groups. All three of these loops share the same character table.

• 로봇학회논문지
• /
• 제3권3호
• /
• pp.226-236
• /
• 2008

In this paper, control software architecture is designed to enable a heterogeneous multiple humanoid robot demonstration executing tasks cooperating with each other. In the heterogeneous humanoid robot team, one large humanoid robot and two small humanoid robots are included. For the efficient and reliable information sharing between many software components for humanoid control, sensing and planning, CORBA based software framework is applied. The humanoid tasks are given in terms of finite state diagram based human-robot interface, which is interpreted into the XML based languages defining the details of the humanoid mission. A state transition is triggered based on the event which is described in terms of conditions on the sensor measurements such as robot locations and the external vision system. In the demonstration of the heterogeneous humanoid team, the task of multiple humanoid cleaning the table is given to the humanoid robots and successfully executed based on the given state diagram.

• 대한전자공학회논문지
• /
• 제11권2호
• /
• pp.22-26
• /
• 1974

변이응동 비동기순서회로를 합성하기 위하여 D-형 변이응동 flirt-flop을 사용하였다. 입력조의 상이라는 새로운 개념을 도입하여 내부상태를 감소할 수 있었다. 원시상태표로부터 직접 다입력변화 회로를 합성하는 등차를 마련하였고 실례를 들어 지금까지의 방법보다 더 나은 방법임을 실증하였다.

• 대한전기학회논문지
• /
• 제33권4호
• /
• pp.134-139
• /
• 1984

This paper presents the computer program to design the synchronous sequential logic circuit. The computer program uses the MASK method to get the circuit of optimal cost. The computer program takes as an input, the minimal reduced state transition table where each state has its internal code. As an output,the optimal design of synchronous sequential logic circuit is generated for each flipflop type of JK,T,D, and RS respectively. And these circuits for 4 flipflop types are evaluated and sorted in ascending order of their costs, so that the user can select the proper flipflop type and its circuit. Furthermore,the proposed computer program may be applied to state assignment with its facility of cost evaluation.

• 시스템엔지니어링학술지
• /
• 제1권2호
• /
• pp.43-48
• /
• 2005

This paper describes the results of applying States and Modes Analysis, one of the requirements analysis techniques, to the development requirements of flight control software for Smart UAV. State/mode table enabled us to investigate various operation and design concepts, and as a result essential requirements for flight control software were established without omitting necessary requirements. Through the use of scenario-specific state transition diagrams, dynamic behaviours and control/response interfaces between each state and mode could been clearly identified, which made it possible to establish requirements related to dynamic behaviours of states and modes which are essential to the design of flight control software.

• Journal of Ship and Ocean Technology
• /
• 제7권2호
• /
• pp.20-28
• /
• 2003

A table of annual sea state occurrences is prepared based on the significant wave heights and modal periods, two parameters representing a Bretschneider wave spectrum. Measurements of them were done by the Korean Ocean Research and Development Institute (KORDI) at 67points around the Korean peninsula for 22 years. Also the average values of parameters over 4 regions and 4 seasons were derived. Comparative seakeeping calculations using wave parameters prevalent around Korea and those of the North Pacific at sea state numbers 3, 4, and 5 respectively, show some differences in the assessed seakeeping performance.