• 한국철도학회논문집
• /
• 제5권1호
• /
• pp.10-17
• /
• 2002

In this study, we have developed the static and dynamic simulation program of a high speed current collection system. The catenary wire is modeled to discrete masses connected by massless strings and the pantograph is replaced with 3 d.o.f equivalent models that are composed of masses, springs and dampers. We derived partial differential equations of motion from the equivalent model and developed the simulation program. Then, we calculated the static equilibrium state of the overhead catenary and the dynamic behaviors of the high speed current collection system. The analysis results were compared with the results of GASENDO software developed at RTRI in Japan.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2005년도 추계학술대회 논문집
• /
• pp.398-401
• /
• 2005

The characteristic of sheet metal process is the few loss of material during process, the short processing time and the excellent price and strength. Such press-forming process are the used machine ability and the characteristic, used material, the accuracy of the part which becomes processing and side condition of a process are considered and the designed. The purpose of this study is apply efficiently sheet metal forming processing by 3D formation-analyzed program simulations in the site. By a study, forming process was simulation to drawing and trimming and cam process using static-implicit method software. By making apply this to an industrial site the productivity improvement and cost reduction etc. effect able was predicted.

• Structural Engineering and Mechanics
• /
• 제41권1호
• /
• pp.83-94
• /
• 2012

Assessment of a monumental concrete arch bridge with a total length of 210 meters having three major spans of 30 meters and a height of 65 meters, which is located in an earthquake-prone region in southern part of the country is presented in this study. Three-dimensional finite element model of the bridge was generated using a commercially available general finite element analysis software and based on the outcomes of a series of in-depth acceleration measurements that were conducted on-site, the model was refined. By using the structural parameters obtained from the dynamic and the static tests, calibrated model of the bridge structure was obtained and this model was used for necessary calculations regarding structural assessment and evaluation.

• Steel and Composite Structures
• /
• 제2권2호
• /
• pp.99-112
• /
• 2002

The differential quadrature method (DQM) is a numerical technique of rather recent origin, which by its continually increasing applications in different problems of engineering, is a competing alternative to the conventional numerical techniques for the solution of initial and boundary value problems. The work of this paper concerns the application of the DQM in the area of the buckling of multi layered orthotropic composite plates with various boundary conditions the buckling of multi layered composite plates with constant and variable thickness under axial compressive static loading is considered. The effects of fiber orientation and boundary conditions on static behavior of composite plates are presented. The comparison of results from the present method and those obtained from NISA II software shows the accuracy and reliability of this method.

• 전력전자학회논문지
• /
• 제1권1호
• /
• pp.47-55
• /
• 1996

A new generator excitation system using a boost-buck chopper as a kind of static exciters is proposed to overcome the lack of field forcing capability of the bus fed exciter under the input line fault condition. It increases or maintains the generator field current by boosting the field voltage in the case of the input AC line voltage drop during and immediately after a fault. The validity of the proposed excitation system is verified with the computer simulation. The generator stability according to the each difference exciter is tested using a commercial software package-CYME. The simulation results of the stability analysis on the generator with the proposed exciter is better than that of the bus fed exciter. This boost-buck chopper exciter can be simply implemented and controlled by the modern power electronics technology.

• International Journal of Computer Science & Network Security
• /
• 제21권5호
• /
• pp.139-150
• /
• 2021

Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and methods (actions). The modeled systems are not even necessarily software systems: They can be human and artificial systems of many different kinds (e.g., teaching and learning systems). The UML class diagram is described as a central component of model-driven software development. It is the most common diagram in object-oriented models and used to model the static design view of a system. Objects both carry data and execute actions. According to some authorities in modeling, a certain degree of difficulty exists in understanding the semantics of these notions in UML class diagrams. Some researchers claim class diagrams have limited use for conceptual analysis and that they are best used for logical design. Performing conceptual analysis should not concern the ways facts are grouped into structures. Whether a fact will end up in the design as an attribute is not a conceptual issue. UML leads to drilling down into physical design details (e.g., private/public attributes, encapsulated operations, and navigating direction of an association). This paper is a venture to further the understanding of object-orientated concepts as exemplified in UML with the aim of developing a broad comprehension of conceptual modeling fundamentals. Thinging machine (TM) modeling is a new modeling language employed in such an undertaking. TM modeling interlaces structure (components) and actionality where actions infiltrate the attributes as much as the classes. Although space limitations affect some aspects of the class diagram, the concluding assessment of this study reveals the class description is a kind of shorthand for a richer sematic TM construct.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 춘계학술발표대회
• /
• pp.392-395
• /
• 2015

인터넷 확산에 따라 소프트웨어의 보안 취약점을 이용한 공격이 커지고 있다. 이와 같은 공격을 방지하기 위해서는 응용프로그램을 사전에 보안 취약점을 분석하여 분석된 취약점에 대해서는 시큐어 코딩을 적용하여 취약한 코드를 개선해야한다. 본 논문에서는 보안취약점을 분석하기 위한 공개 정적분석도구를 활용하여 분석하고 취약점 유발 코드는 시큐어 코딩을 적용하여 소프트웨어 보안을 할 수 있게 적용하였다.

• Advances in concrete construction
• /
• 제9권5호
• /
• pp.503-510
• /
• 2020

Concrete dams are important structures due to retaining amount of water on their reservoir. So such kind of structures have to be designed against static and dynamic loads. Especially considering on critical importance against blasting threats and environmental safety, dams have to be examined according to the blast loads. This paper aims to investigate structural response of concrete gravity dams under blast loads. For the purpose Sarıyar Concrete Gravity Dam in Turkey is selected for numerical application with its 85 m of reservoir height (H), 255 m of reservoir length (3H), 72 m of bottom and 7 m of top widths. In the study, firstly 3D finite element model of the dam is constituted using ANSYS Workbench software considering dam-reservoir-foundation interaction and a hydrostatic analysis is performed without blast loads. Then, nearly 13 tons TNT explosive are considered 20 m away from downstream of the dam and this is modeled using ANSYS AUTODYN software. After that explicit analyses are performed through 40 milliseconds. Lastly peak pressures obtained from analyses are compared to empirical equations in the literature and UFC 3-340-02 standard which provide unified facilities criteria for structures to resist the effects of accidental explosions. Also analyses' results such as displacements, stresses and strains obtained from both hydrostatic and blasting analysis models are compared to each other. It is highlighted from the study that blasting analysis model has more effective than the only hydrostatic analysis model. So it is highlighted from the study that the design of dams should be included the blast loads.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.999-1010
• /
• 2003

프로그램 슬라이싱은 프로그램의 특정 지점에 나타난 변수의 값에 영향을 미치는 문장들을 프로그램으로부터 추출하는 방법이다. 프로그램 슬라이싱은 프로그램 디버깅, 프로그램 테스팅, 프로그램 통합, 병렬 프로그램 실행, 소프트웨어 메트릭스, 역공학, 유지보수 등 여러 응용 분야에 적용할 수 있다. 본 논문에서는 포인터 변수, 포인터 변수가 참조하는 객체, 배열, 구조체가 같은 복잡한 자료구조가 나타나는 프로그램에서 정확한 슬라이스를 추가하기 위한 알고리즘을 제안한다. 복잡한 자료구조가 나타나는 프로그램 상에서 객체의 보다 더 정확한 정적 분석 정보를 생성하기 위해 객체 참조상태 그래프를 제안하고, 그 효율성을 보였다.

• 제어로봇시스템학회논문지
• /
• 제12권11호
• /
• pp.1130-1137
• /
• 2006

Relaxed Static Stability(RSS) concept has been applied to improve aerodynamic performance of modern version supersonic jet fighter aircraft. Therefore, the flight control systems are necessary to stabilizes the unstable aircraft and provides adequate handling qualities. The initial production flight control system are verified by flight test and it's always an elements of danger because of flight-critical nature of control law function and design error due to model base design method. These critical issues impact to flight safety, and it could be lead to a loss of aircraft and pilot's life. Therefore, development of an easily modifiable RFCS(Research Flight Control System) capable of reverting to a PFCS(Primary Flight Control System) of reliable control law must be developed to guarantee the flight safety. This paper addresses the concept of SSWM(Software Switching Mechanism) using the fader logic such as TFS(Transient Free Switch) based on T-50 flight control law. The result of the analysis based on non-real time simulation in-house software using SSWM reveals that the flight control system are switching between two computers without any problem.