• Title/Summary/Keyword: Sequence Diagram

Search Result 203, Processing Time 0.154 seconds

On Crossing Changes for Surface-Knots

  • Al Kharusi, Amal;Yashiro, Tsukasa
    • Kyungpook Mathematical Journal
    • /
    • v.56 no.4
    • /
    • pp.1247-1257
    • /
    • 2016
  • In this paper, we discuss the crossing change operation along exchangeable double curves of a surface-knot diagram. We show that under certain condition, a finite sequence of Roseman moves preserves the property of those exchangeable double curves. As an application for this result, we also define a numerical invariant for a set of surface-knots called du-exchangeable set.

CCD PHOTOMETRY OF THE GLOBULAR CLUSTER NGC 4372

  • Yim, Hong-Suh;Lee, Young-Wook;Chum, Mun-Suk
    • Journal of Astronomy and Space Sciences
    • /
    • v.11 no.2
    • /
    • pp.147-153
    • /
    • 1994
  • We present a deep(B, V) color-magnitude diagram (CMD) of the Galactic globular cluster NGC 4372. According to the recent inside-out picture of Galaxy formation, this cluster is predicted to be one of the oldest globulat clusters in the Galaxy. Our CMD shows a well defined main-sequence extending ∼ 2 magnitudes below the trunoff. Despite the uncertainty that stems from the small sample size of bright stars, comparison with the Revised Yale Isochrones suggests that this cluster may indeed be one of the oldest (∼16.6 Gyrs) globular clusters in our Galaxy.

  • PDF

A Study on the Knowledge-based PLC Ladder Programming System (PLC 래더다이어그램 생성을 위한 지식기반시스템에 관한 연구)

  • 강신한;김광만;이재원
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.17 no.30
    • /
    • pp.153-160
    • /
    • 1994
  • In this paper, we present the application of knowledge-based system technique for generating of PLC ladder diagram The developed prototype system receives a time chart as an input and generates a ladder logic as its output This results in the computerization and intellegent processing of PLC programming. The system can be effectively applied to sequence control where the PLC programs need to be frequently changed and generated.

  • PDF

DETERMINATION OF PHYSICAL QUANTITIES OF GLOBULAR CLUSTERS

  • Kim, Kang-Min;Lee, See-Woo
    • Journal of The Korean Astronomical Society
    • /
    • v.22 no.2
    • /
    • pp.81-99
    • /
    • 1989
  • Applying five morphological parameters defined along the main sequence (MS), red giant branch (RGB) and horizontal branch (HB) in the C-M diagram (CMD), and the transition period-luminosity relation for RR Lyrae variables, some basic physical quantities such as helium abundance, age, mass and luminosity are determined for 21 well observed globular clusters with combination of evolutionary models and atmospheric models properly chosen by the numerical test. The dependences of these quantities on the age and chemical abundance are investigated.

  • PDF

A Characterization of Nonnil-Projective Modules

  • Hwankoo Kim;Najib Mahdou;El Houssaine Oubouhou
    • Kyungpook Mathematical Journal
    • /
    • v.64 no.1
    • /
    • pp.1-14
    • /
    • 2024
  • Recently, Zhao, Wang, and Pu introduced and studied new concepts of nonnil-commutative diagrams and nonnil-projective modules. They proved that an R-module that is nonnil-isomorphic to a projective module is nonnil-projective, and they proposed the following problem: Is every nonnil-projective module nonnil-isomorphic to some projective module? In this paper, we delve into some new properties of nonnil-commutative diagrams and answer this problem in the affirmative.

A Process Algebra Approach for Object Interactions in UML (UML에서 객체 상호작용에 대한 프로세스 대수 접근)

  • 최성운;이영환
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.3_4
    • /
    • pp.202-211
    • /
    • 2003
  • Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

PHOTOMETRIC PROPERTIES OF THE OPEN CLUSTER NGC 2194

  • Kyeong, Jae-Mann;Byun, Yong-Ik;Sung, Eon-Chang
    • Journal of The Korean Astronomical Society
    • /
    • v.38 no.4
    • /
    • pp.415-422
    • /
    • 2005
  • UBVIJHK photometry of the open cluster NGC 2194 are presented. Color-Magnitude diagrams of this cluster show well-defined main sequence and red giant clump. The main sequence also contains clear evidence of binary populations. Based on color-color diagrams, absolute magnitude of red giant clump, ZAMS fitting, and comparisons of observed color-magnitude diagrams with theoretical models, we derive following parameters for the cluster; reddening $E(B-V)=0.44{\pm}0.04$, age of log $t{\sim}8.8$, and finally distance of $(m-M)_0=12.20{\pm}0.18$.

SMALL MASS RATIO CONTACT BINARY GR Vir AND HV Aqr (질량비가 작은 접촉쌍성 GR Vir과 HV Aqr)

  • 오규동;김천휘;강영운;김호일;이우백
    • Journal of Astronomy and Space Sciences
    • /
    • v.21 no.2
    • /
    • pp.83-92
    • /
    • 2004
  • The absolute dimensions of low mass contact binary, GR Vir and HV Aqr were obtained using WD program from the published spectroscopic and photometric observational data. The evolutionary status of this type of system including GR Vir and HV Aqr has been considered. The primary stars of low mass contact binary system were located on the Terminal Age Main-sequence and secondary stars were located under the Zero Age Main-sequence in H-R diagram.

Parallel Processing Implementation of Discrete Hartley Transform using Systolic Array Processor Architecture (Systolic Array Processor Architecture를 이용한 Discrete Hartley Transform 의 병렬 처리 실행)

  • Kang, J.K.;Joo, C.H.;Choi, J.S.
    • Proceedings of the KIEE Conference
    • /
    • 1988.07a
    • /
    • pp.14-16
    • /
    • 1988
  • With the development of VLSI technology, research on special processors for high-speed processing is on the increase and studies are focused on designing VLSI-oriented processors for signal processing. This paper processes a one-dimensional systolic array for Discrete Hartley Transform implementation and also processes processing element which is well described for algorithm. The discrete Hartley Transform(DHT) is a real-valued transform closely related to the DFT of a real-valued sequence can be exploited to reduce both the storage and the computation requried to produce the transform of real-valued sequence to a real-valued spectrum while preserving some of the useful properties of the DFT is something preferred. Finally, the architecture of one-dimensional 8-point systolic array, the detailed diagram of PE, total time units concept on implementation this arrays, and modularity are described.

  • PDF

A STUDY OF ISO SPECTRA FOR HERBIG Ae/Be STARS

  • Suh, Kyung-Won;Kim, Mi-Ryang;Baek, Ji-Hye
    • Journal of Astronomy and Space Sciences
    • /
    • v.19 no.4
    • /
    • pp.255-262
    • /
    • 2002
  • We present the infrared spectra of Herbig Ae/Be stars including the Infrared Space Ob-servatory (ISO) data. To investigate the overall properties of their circumstellar dust envelope and/or disk, we combine the IR spectra with photometric data ranging from the UV through the optical into the sub-mm region. We study the general characteristics of the spectral energy distributions using simple analysis. We plot the positions on the HR-diagram to compare with the theoretical pre-main-sequence evolution tracks.