• Title/Summary/Keyword: formalism

Search Result 403, Processing Time 0.031 seconds

An object-oriented database for the development of an argonomic man model (인체모델 개발을 위한 객체지향적 데이타베이스의 구축)

  • 강동석;정의승
    • Proceedings of the ESK Conference
    • /
    • 1993.04a
    • /
    • pp.10-17
    • /
    • 1993
  • An object-oriented database was developed as a framesork for integrating into ergonomic interface models data for workplace modelling and ergonomic evaluation functions as well as basic anthropometric data required to construct a man model. In order to develop an ergonomic man model representing operators that interact with his working evnironments, not only anthro- pometric data but also efficient handling of such data and accurate representation of the work- space are needed as a prerequistite to proper ergonomic evaluation. Most existing man models are not, however, capable of fully utilizing these data due to the lack of a generallized formalism of data handling, which results in system performance degradation or a potential difficulty when the system is upgraded. In this research, these three sets of data with distinct characteristics were incorporated into a comon integrated database required to manipulate an ergonomic interface model fully coupled with the man model itself. An object- oriented scheme was sued for the database design Specifically, UniSQL/X, an object-oriented database management system and the X-window system on SPARC workstation were used for implementation. The ergonomic man model generated from the object-oriented database is found to possess great flexibility and performance compared to existing ergonomic interface models or ergonomic CAD systems.

  • PDF

A Variational Numerical Method of Linear Elasticity through the Extended Framework of Hamilton's Principle (확장 해밀턴 이론에 근거한 선형탄성시스템의 변분동적수치해석법)

  • Kim, Jinkyu
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.27 no.1
    • /
    • pp.37-43
    • /
    • 2014
  • The extended framework of Hamilton's principle provides a new rigorous weak variational formalism for a broad range of initial boundary value problems in mathematical physics and mechanics in terms of mixed formulation. Based upon such framework, a new variational numerical method of linear elasticity is provided for the classical single-degree-of-freedom dynamical systems. For the undamped system, the algorithm is symplectic with respect to the time step. For the damped system, it is shown to be accurate with good convergence characteristics.

MASSIVE BLACK HOLE EVOLUTION IN RADIO-LOUD ACTIVE GALACTIC NUCLEI

  • FLETCHER ANDRE B.
    • Journal of The Korean Astronomical Society
    • /
    • v.36 no.3
    • /
    • pp.177-187
    • /
    • 2003
  • Active galactic nuclei (AGNs) are distant, powerful sources of radiation over the entire electromagnetic spectrum, from radio waves to gamma-rays. There is much evidence that they are driven by gravitational accretion of stars, dust, and gas, onto central massive black holes (MBHs) imprisoning anywhere from $\~$1 to $\~$10,000 million solar masses; such objects may naturally form in the centers of galaxies during their normal dynamical evolution. A small fraction of AGNs, of the radio-loud type (RLAGNs), are somehow able to generate powerful synchrotron-emitting structures (cores, jets, lobes) with sizes ranging from pc to Mpc. A brief summary of AGN observations and theories is given, with an emphasis on RLAGNs. Preliminary results from the imaging of 10000 extragalactic radio sources observed in the MITVLA snapshot survey, and from a new analytic theory of the time-variable power output from Kerr black hole magnetospheres, are presented. To better understand the complex physical processes within the central engines of AGNs, it is important to confront the observations with theories, from the viewpoint of analyzing the time-variable behaviours of AGNs - which have been recorded over both 'short' human ($10^0-10^9\;s$) and 'long' cosmic ($10^{13} - 10^{17}\;s$) timescales. Some key ingredients of a basic mathematical formalism are outlined, which may help in building detailed Monte-Carlo models of evolving AGN populations; such numerical calculations should be potentially important tools for useful interpretation of the large amounts of statistical data now publicly available for both AGNs and RLAGNs.

Effect of Mirror Misalignments on Optical Ray Path In a Ring Resonator

  • Lee, Dong-Chan;Lee, Jae-Cheul;Son, Seong-Hyun;Cho, Hyun-Ju
    • Journal of the Optical Society of Korea
    • /
    • v.6 no.3
    • /
    • pp.121-127
    • /
    • 2002
  • The operating principal of a ring laser gyroscope depends on the phase difference for the counter-propagating waves within a closed path. The reflecting mirrors mounted on the monoblock form the traveling waves. The manufacturing accuracy of the monoblock influences the traveling path of ray, the sensitivity of laser resonator for misalignments, and diffraction losses. A 3 $\times$ 3 ray transfer matrix was derived for optical components with centering and squaring errors in a ring resonator. The matrix can be utilized to predict the optical ray paths on the basis of the manufacturing errors of the monoblock as well as the misalignment of mirrors. Then the distance and orientation (o. slope) at the arbitrary plane inside the resonator along the ideal optical path can be calculated from the chain multiplication of the ray transfer matrix for each optical component in one round trip. We also show that the counter-propagating rays In a ring resonator with errors does not coincide in each round trip, which results in gain difference between two beams, and how these errors can be adjusted through the alignment procedure. Finally this 3 $\times$ 3 ray matrix formalism can be used to calculate the beam size and its displacement from the optical axis and the deviation at the diaphragm.

Dynamics of charged particles around a compact star with strong radiation

  • Oh, Jae-Sok;Kim, Hong-Su;Lee, Hyung-Mok
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.36 no.1
    • /
    • pp.54.2-54.2
    • /
    • 2011
  • It is the conventional wisdom that the Poynting-Robertson effect is essentially the outcome of the interplay between absorption and reemission processes. For a better understanding of the motion of charged particles around a compact star with strong radiation, we reached an alternative interpretation for the Poynting-Robertson effect based on the covariant formalism and found that it is attributed to the combination of the aberration and the Lorentz transformation of the radiation stress-energy tensor. As a general relativistic application of the Poynting-Robertson effect, we studied the dynamics of test particles around the spinning relativistic star with strong radiation. We discovered that the combination of the angular momentum and the finite size of the star generates "radiation counter drag" which exerts on the test particle to enhance its specific angular momentum, contrary to the radiation drag. The balance of the radiation drag and the radiation counter drag renders the particle to hover around the spinning luminous star at the "suspension orbit". The radial position and the angular velocity of the particle on the "suspension orbit" are determined by the angular momentum, the luminosity, and the size of the central star only, and they are independent of the initial position and velocity of the particle.

  • PDF

Study on the Style of Adirondack Rockers, Mission Style Rockers, and European Rockers

  • Lim, Seung-Taeg;Chung, Woo-Yang
    • Journal of the Korea Furniture Society
    • /
    • v.17 no.4
    • /
    • pp.59-83
    • /
    • 2006
  • This article was written in order to understand rockers of today and to provide basic data of their designs and manufacture studying pattern changes in the West. This article contains, the characteristics of the style of the Adirondack rockers, the Mission style rockers in America and the European rockers. Adirondack rockers ($1850{\sim}1940$) were made in various styles out of the mingling of rustic sensibilities with the formalism of Victorian designs. They were Old Hickory chair Co. style, Westport style, bentwood rocker style of two shape and Mottville rocker style. Mission style denoted American furniture design style of the early 20th century especially the work of Gustav Stickley and Roycroft Community. Mission style rockers had a simple, rectilinear style with exposed construction techniques, unpretentious materials (usually oak, with covering of leather, canvas or plain cloth) and little or no decoration. European rockers ($1660{\sim}1918$) have come to mean rockers from the English regional chair, Thonet, J&J Kohn, Henry Van de Velde and Hoffmann. The modernism of modern furniture was affected by the characteristics of the Adirondack rockers, the Mission style rockers and European rockers.

  • PDF

A Study on the Renaissance/Baroque Characteristics Appearing in Contemporary Architecture - Focused on the Analysis of National Museum of Modern and Contemporary Art Seoul Branch and Dongdaemun Design Plaza from the Concept Frame of Wölffrin - (현대건축에 나타난 르네상스적/바로크적 특성에 관한 연구 - 뵐플린의 개념틀에 의한 국립현대미술관 서울관과 동대문디자인플라자의 비교분석을 중심으로 -)

  • Kim, In-sung
    • Korean Institute of Interior Design Journal
    • /
    • v.26 no.1
    • /
    • pp.142-152
    • /
    • 2017
  • This study investigated Renaissance and Baroque architectural characteristics found in contemporary public buildings in Seoul, which are National Museum of Modern and Contemporary Art Seoul Branch(MMCA) and Dongdaemun Design Plaza(DDP). Among H. $W{\ddot{o}}lfflin^{\prime}s$ five categories for Renaissance-Baroque art study, four categories (Clearness/Unclearness, Plane/Recession, Closed form/Open form, Multiplicity/Unity) are applied for the analysis as the architectural issues of Transparency/Concealment, Exhibited/Experienced Depth, Formal/Figural, and Composed harmony/Generated Unity. As a result, MMCA showed the characteristics of the extreme of Modern classic such as transparency, homogenization of space, formalism, and composition of multiple elements. Meanwhile, the study could find various Baroque characteristics from DDP such as separation of indoor and outdoor, phenomenological depth, rule breaking, and generation of figure. The study finally argued that DDP would not be an anti-modern, but try to inherit and overcome the modern architecture to explore different possibilities, and that the similar relationship between Renaissance and Baroque art could be found in these two cases.

PC-Camera based Monitoring for Unattended NC Machining (무인가공을 위한 PC 카메라 기반의 모니터링)

  • Song, Shi-Yong;Ko, Key-Hoon;Choi, Byoung-Kyu
    • IE interfaces
    • /
    • v.19 no.1
    • /
    • pp.43-52
    • /
    • 2006
  • In order to make best use of NC machine tools with minimal labor costs, they need to be in operation 24 hours a day without being attended by human operators except for setup and tool changes. Thus, unattended machining is becoming a dream of every modern machine shop. However, without a proper mechanism for real-time monitoring of the machining processes, unattended machine could lead to a disaster. Investigated in this paper are ways to using PC camera as a real-time monitoring system for unattended NC milling operations. This study defined five machining states READY, NORMAL MACHINING, ABNORMAL MACHINING, COLLISION and END-OF-MACHINING and modeled them with DEVS (discrete event system) formalism. An image change detection algorithm has been developed to detect the table movements and a flame and smoke detection algorithm to detect unstable cutting process. Spindle on/off and cutting status could be successfully detected from the sound signals. Initial experimentation shows that the PC camera could be used as a reliable monitoring system for unattended NC machining.

Mobile Resource Reliability-based Job Scheduling for Mobile Grid

  • Jang, Sung-Ho;Lee, Jong-Sik
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.5 no.1
    • /
    • pp.83-104
    • /
    • 2011
  • Mobile grid is a combination of grid computing and mobile computing to build grid systems in a wireless mobile environment. The development of network technology is assisting in realizing mobile grid. Mobile grid based on established grid infrastructures needs effective resource management and reliable job scheduling because mobile grid utilizes not only static grid resources but also dynamic grid resources with mobility. However, mobile devices are considered as unavailable resources in traditional grids. Mobile resources should be integrated into existing grid sites. Therefore, this paper presents a mobile grid middleware interconnecting existing grid infrastructures with mobile resources and a mobile service agent installed on the mobile resources. This paper also proposes a mobile resource reliability-based job scheduling model in order to overcome the unreliability of wireless mobile devices and guarantee stable and reliable job processing. In the proposed job scheduling model, the mobile service agent calculates the mobile resource reliability of each resource by using diverse reliability metrics and predicts it. The mobile grid middleware allocated jobs to mobile resources by predicted mobile resource reliability. We implemented a simulation model that simplifies various functions of the proposed job scheduling model by using the DEVS (Discrete Event System Specification) which is the formalism for modeling and analyzing a general system. We also conducted diverse experiments for performance evaluation. Experimental results demonstrate that the proposed model can assist in improving the performance of mobile grid in comparison with existing job scheduling models.

An ETRI CPS Modeling Language for Specifying Hybrid Systems (하이브리드 시스템을 명세하기 위한 ETRI CPS 모델링 언어)

  • Yoon, Sanghyun;Chun, In-geol;Kim, Won-Tae;Jo, Jaeyeon;Yoo, Junbeom
    • Journal of KIISE
    • /
    • v.42 no.7
    • /
    • pp.823-833
    • /
    • 2015
  • Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.