• Structural Engineering and Mechanics
• /
• 제9권2호
• /
• pp.111-126
• /
• 2000

Truss type structures are attractive to a variety of engineering applications on earth as well as in space due to their high stiffness to mass ratios and ease of construction and fabrication. During the service life, an individual member of a truss structure may lose load carrying capacity due to many reasons, which may lead to collapse of the structure. An analytical and computational procedure has been developed to study the response of truss structures subject to member failure under static and dynamic loadings. Emphasis is given to the dynamic effects of member failure and the propagation of local damage to other parts of the structure. The methodology developed is based on nonlinear finite element analysis technique and considers elasto-plastic material nonlinearity, postbuckling of members, and large deformation geometric nonlinearity. The pseudo force approach is used to represent the member failure. Results obtained for a planar nine-bay indeterminate truss undergoing sequential member failure show that failure of one member can initiate failure of several members in the structure.

• Nuclear Engineering and Technology
• /
• 제47권2호
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• 대한기계학회논문집B
• /
• 제20권11호
• /
• pp.3639-3648
• /
• 1996

The effect of 15% pinched diffuser in a centrifugal air compressor with a cascade airfoil diffuser on the aerodynamic performance is investigated using a numerical approach. The commercial CFD code for three-dimensional, turbulent, compressible flow fields is executed for various mass flow rates at a design speed which can be obtained as long as the calculation succeeds. The pinched diffuser is found to help improve the instability of flow within vaneless diffuser space, especially the reverse flow near shroud, and to change both stall/surge line and choking line to increase the surge margin. It is also found to generate more favorable increase of static pressure in diffuser region, and to increase the resulting pressure ratio and efficiency.

• Journal of Communications and Networks
• /
• 제9권1호
• /
• pp.75-83
• /
• 2007

Orthogonal frequency division multiplexing (OFDM) systems with multiple transmit antennas can exploit space-time block coding on each subchannel for reliable data transmission. Spacetime coded OFDM systems, however, are very sensitive to time variant channels because the channels need to be static over multiple OFDM symbol periods. In this paper, we propose to mitigate the channel variations in the frequency domain using a linear filter in the frequency domain that exploits the sparse structure of the system matrix in the frequency domain. Our approach has reduced complexity compared with alternative approaches based on time domain block-linear filters. Simulation results demonstrate that our proposed frequency domain block-linear filter reduces computational complexity by more than a factor of ten at the cost of small performance degradation, compared with a time domain block-linear filter.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2011년도 추계학술대회
• /
• pp.288-291
• /
• 2011

Video stabilization is an important image enhancement widely used in surveillance system in order to improve recognition performance. Most previous methods calculate inter-frame homography to estimate global motion. These methods are relatively slow and suffer from significant depth variations or multiple moving object. In this paper, we propose a fast and practical approach for video stabilization that selects the most reliable key frame as a reference frame to a current frame. We use optical flow to estimate global motion within an adaptively selected region of interest in static camera environment. Optimal global motion is found by probabilistic voting in the space of optical flow. Experiments show that our method can perform real-time video stabilization validated by stabilized images and remarkable reduction of mean color difference between stabilized frames.

• Structural Engineering and Mechanics
• /
• 제4권1호
• /
• pp.91-107
• /
• 1996

In Lagrangian mechanics, attention is directed at the body as it moves through space. Each body point is identified by the position it would have if the body were to occupy an arbitrary reference configuration. A result of this approach is that the analyst often describes the body by using quantities that may involve more than one configuration. This is particularly common in incremental calculations and in changes of the choice of reference configuration. With the rise of very powerful computing machinery, the popularity of numerical calculation has become great. Unfortunately, the mechanical theory has been evolved in a piecemeal fashion so that it has become a conglomeration of differently developed patches. The current work presents a unified development of the equilibrium principle. The starting point is the conservation of momentum. All details of configuration are shown. Finally, full dynamic and static forms are presented for total and incremental work.

• International Journal of Costume and Fashion
• /
• 제15권1호
• /
• pp.1-18
• /
• 2015

The ethnic dress of Germany's Black Forest, called Tracht, dates back to the 16th century. Although most people living within the Black Forest do not presently wear Trachten, some persistence in this tradition exists. This study explored the factors that have supported the persistence of the Trachten tradition, specifically related to the wearing and crafting of Trachten by women, in a contemporary society. A qualitative, ethnographic approach was adopted. Data were collected via observations and interviews in the Black Forest. Thematic analyses revealed that the maintenance of the Trachten tradition was linked to varied factors that revolved around the overarching themes of both persistence and change. Interpretations were supported by theory proposing that ethnic dress is not static, but rather, changes across space and time in ways that enable its persistence. The persistence of the Trachten tradition was linked to formalized practice, meaningful identities, and desires to preserve and promote local culture. Additionally, the persistence of the Trachten tradition was fostered by change in the tradition, including the conceptualization of Trachten as a "lived practice" and the negotiation of Trachten authenticity.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 Proceedings of the Korea Automatic Control Conference, 11th (KACC); Pohang, Korea; 24-26 Oct. 1996
• /
• pp.18-18
• /
• 1996

This paper reviews some of the most prominent and promising areas of chemical process control both in relations to batch and continuous processes. These areas include the modeling, optimization, control and monitoring of chemical processes and entire plants. Most of these areas explicitly utilize a model of the process. For this purpose the types of models used are examined in some detail. These types of models are categorized in knowledge-driven and datadriven classes. In the areas of modeling and optimization, attention is paid to batch reactors using the Tendency Modeling approach. These Tendency models consist of data- and knowledge-driven components and are often called Gray or Hybrid models. In the case of continuous processes, emphasis is placed in the closed-loop identification of a state space model and their use in Model Predictive Control nonlinear processes, such as the Fluidized Catalytic Cracking process. The effective monitoring of multivariate process is examined through the use of statistical charts obtained by the use of Principal Component Analysis (PMC). Static and dynamic charts account for the cross and auto-correlation of the substantial number of variables measured on-line. Centralized and de-centralized chart also aim in isolating the source of process disturbances so that they can be eliminated. Even though significant progress has been made during the last decade, the challenges for the next ten years are substantial. Present progress is strongly influenced by the economical benefits industry is deriving from the use of these advanced techniques. Future progress will be further catalyzed from the harmonious collaboration of University and Industrial researchers.

• 한국산학기술학회논문지
• /
• 제12권8호
• /
• pp.3706-3714
• /
• 2011

본 연구는 주어진 시간 내에 현재의 열차운행계획을 바꾸지 않고 추가적으로 수송할 수 있는 화물의 최대량과 수송 일정을 찾고자 하는 알고리즘에 관한 것이다. 이를 위해 시간전개형 네트워크로 주어진 문제를 표현한 후, 전처리 절차를 통해 불필요한 호들을 제거하는 방법으로 정적네트워크에 반복적인 최대유통문제를 적용하여 기존 열차운행계획을 고려한 화물의 최대량과 수송일정을 제시하는 절차를 예시와 함께 제시하였다.

• Journal of information and communication convergence engineering
• /
• 제5권4호
• /
• pp.382-388
• /
• 2007

Indoor location system using wireless sensor network technology was applied for the status evaluation and activity monitoring of elderly person or chronic invalid at home. Location awareness application is transparent to the daily activities, while providing the embedded computing infrastructure with an awareness of what is happening in this space. To locate an object, the active ceiling-mounted reference beacons were placed throughout the building. Reference beacons periodically publish location information on RF and ultrasonic signals to allow application running on mobile or static nodes to study and determine their physical location. Once object-carried passive listener receives the information, it subsequently determines it's location from reference beacons. By using only the sensor nodes without any external network infrastructure the cost of the system was reduced while the accuracy in our experiments. was fairly good and fine grained between 7 and 15 cm for location awareness in indoor environments. Passive architecture used here provides the security of the user privacy while at the server the privacy was secured by providing the authentication using Geopriv approach. This information from sensor nodes is further forwarded to base station where further computation is performed to determine the current position of object and several applications are enabled for context awareness.