• Title, Summary, Keyword: Prism Analyzer

Search Result 21, Processing Time 0.042 seconds

Formal Method for Meaning Analysis of Behavior on Mobile Process Algebra (이동 프로세스 대수에서 행위의 의미 분석을 위한 정형기법)

  • U, Su-Jeong;On, Jin-Ho;Lee, Moon-Kun
    • Proceedings of the Korean Information Science Society Conference
    • /
    • /
    • pp.16-21
    • /
    • 2010
  • 분산 이동 실시간 시스템의 명세, 개발 및 검증을 위해 ${\pi}$-calculus, bigraph, Mobile Ambient, CARDMI 등의 정형기법이 존재한다. 이러한 정형기법은 이동하는 에이전트 혹은 프로세스에 대한 명세 및 시스템의 안전성과 검증에 대한 분석을 지원하지만, 행위의 의미적 관점에서 분석 및 검증 방법을 제시하고 있지 않다. 본 논문에서는 정형기법으로 명세 된 시스템의 실행 데이터인 원시 데이터를 행위의 의미적 관점에서 시스템을 분석 및 검증이 가능한 Prism Analyzer를 제안한다. 제안된 Prism Analyzer는 특정 시스템에 대해 발생할 수 있는 다양한 행위를 온톨로지와 속성문법으로 정규화한 다양한 행위모델을 지닌다. 이러한 Prism Analyzer는 원시 데이터를 행위의 의미적 측면에서 개별적, 연속적, 복합적으로 분석 및 검증이 가능하고, Prism Analyzer에 정의된 다양한 행위 모델을 바탕으로 동일한 원시 데이터에 대해 행위 모델에 따른 다양한 분석 결과를 도출해 낼 수 있다.

  • PDF

Abstraction Method for Analysis of Mobility and Interaction in Process Algebra Using Behavioral Ontology (프로세스 대수에서 이동성과 상호작용을 분석하기 위한 행위 온톨로지를 이용한 추상화 방법)

  • Woo, Su-Jeong;On, Jin-Ho;Lee, Moon-Kun
    • The Journal of the Korea Contents Association
    • /
    • v.11 no.9
    • /
    • pp.63-75
    • /
    • 2011
  • A number of process algebras have been proposed to develop distributed mobile real-time systems: pi-Calculus, Mobile Ambients Calculus, Bigraph, etc. However, as the systems get large and complex, the algebras become less suitable for understanding the interactions and mobility of the processes of the systems due to the size and complexity. Therefore it is necessary to handle the size and complexity for systematic understanding of the systems. This paper handles the size and complexity with a method of abstraction on sequences of interactions and movements of processes in the systems, which can be further organized in the form of hierarchically structured lattices, namely, Prism. The theoretical principle of the abstraction is based on a new concept of Behavior Ontology, which is extended from Active ontology. Prism allows the systems to be analyzed in the perspective of the lattices in Prism, which are characterized by the hierarchically organized behavioral properties of the developing systems, for systematic understanding the systems. In this way, the complexity of the interactions and the movements can be handled systematically in the semantically and hierarchically organized structure of the behavior.

Development of Beam Rotating Actuator Based on Voice Coil Motor Type for Mulit-beam Optical Disc System (다중 빔 광디스크 시스템을 위한 자기 구동형 빔 회전 구동기의 개발)

  • Lee, Cheong-Hee;Kim, Soo-Hyun;Kwak, Yoon-Keun
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.17 no.10
    • /
    • pp.83-88
    • /
    • 2000
  • multi-beam optical drive is a method to improve the data transfer rate for the optical disc systems by parallel recording and reading on neighboring multi-tracks. In this paper, the beam rotating actuator, which is necessary for the multi-bean optical disc drive to from beam spots on multi-tracks simultaneously, has been developed. The Voice Coil Motor is used as a drive mechanism for high resolution and small size of the actuator. And rotating guide based on link structure is designed for frictionless and axisless rotation of rotating part including dove prism and for rotating in axis of geometric center of dove prism. The characteristics of the actuator are experimented by laser vibrometer, Polytec OFV1102 and a dynamic analyzer, HP35670A. It shows that the actuator has good linearity, rotating range $\pm0.34^\circ$, minimum rotating angle $0.0066^\circ$and natural frequency 113.9Hz. Therefore the actuator can be applied in a multi-beam optical disc system.

  • PDF

Beam Rotator of Optical System Based on Multi-Beam (다중 광선을 이용한 광 시스템의 광선 회전기)

  • 이정현;한창수;김수현;곽윤근
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.15 no.12
    • /
    • pp.194-201
    • /
    • 1998
  • The beam rotating actuator has been developed. It can be utilized to improve the data transfer rate for the optical disk systems, Newly developed laser beam rotating actuator is applied to put multi-beam spots on more than one track on the optical disk simultaneously. The beam rotating actuator is made of piezoelectric ceramic bimorph as the form of cantilever, Piezoelectric actuators with high resolution, high stiffness and fast frequency response are widely assembled in micropositioning applications. Therefore, the actuator has above 50Hz natural frequency. Beam array is rotated using the dove prism in the end of beamrotator. The dynamic equation of beam rotating actuator is derived theoretically. The actuator is designed on the ground of this analysis. The performance of the beam rotating actuator is verified as the dynamics frequency performance is measured using the dynamic analyzer and sensor.

  • PDF

The Development of the Beam Rotating Actuator Based on the Bimorph Piezo Material (Bimorph 피에조 소자를 이용한 빔 회전 구동기의 개발)

  • 이정현;한창수;김수현;곽윤근
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • /
    • pp.450-453
    • /
    • 1995
  • The beam rotating actuator, which can be utilized to improve the data transfer rate for the optical disk systems, has been developed. It can employ a newly developed laser beam rotating actuator for putting multi-beam spots on more than one track on the optical disk simultaneously. Therefore, It has to maintain up to .+-.0.01 .deg. resolution and high bandwidth performance. In this these, the Dove prism is used for the beam rotating actuator based on bimorph piezo material. The performance of the beam rotating actuator is verified since the dynamics ferquency performance is measured using the dynamic analyzer and the attached stain gage sensor. the beam rotating angle performance is also examined since the long range beam reflection character is utilized.

  • PDF

The Penn Polarimeters

  • Koch, Robert H.;Wolf, George W.;Hull, Anthony B.;Elias, Nicholas M. II;Holenstein, Bruce D.;Mitchell, Richard J.
    • Journal of Astronomy and Space Sciences
    • /
    • v.29 no.1
    • /
    • pp.69-77
    • /
    • 2012
  • This report describes the inception, development and extensive use over 30 years of elliptical polarimeters at the University of Pennsylvania. The initial Mark I polarimeter design utilized oriented retarder plates and a calcite Foster-Clarke prism as the analyzer. The Mark I polarimeter was used on the Kitt Peak 0.9 m in 1969-70 to accomplish a survey of approximately 70 objects before the device was relocated to the 0.72 m reflector at the Flower and Cook Observatory. Successive generations of automation and improvements included the early-80's optical redesign to utilize a photoelastic modulated wave plate and an Ithaco lock-in amplifier-the photoelastic modulating polarimeter. The final design in 2000 concluded with a fully remote operable device. The legacy of the polarimetric programs includes studies of close binaries, pulsating hot stars, and luminous late-type variables.

Developments of the Wide Wavelength Range Polarimeter of the Domeless Solar Telescope at the Hida Observatory

  • Anan, Tetsu;Ichimoto, Kiyoshi;Oi, Akihito;Ueno, Satoru;Kimura, Goichi;Nakatani, Yoshikazu
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.36 no.2
    • /
    • pp.86.1-86.1
    • /
    • 2011
  • We are developing a new universal spectropolarimeter on the Domeless Solar Telescope (DST) at the Hida Observatory to realize precise spectropolarimetric observations in a wide range of wavelength in visible and near infrared. The system aims to open a new window of plasma diagnostics by using Zeeman effect, Hanle effect, Stark effect, impact polarization, and atomic polarization for measuring the external magnetic field, electric field, or an anisotropy in the excitation of the atoms. The polarimeter is a successor of formerly developed polarimeter on DST, which make possible to observe a polarization in a photospheric spectral line with polarimetric accuracy of 10-2 (Kiyohara et al. 2004). The new system consists of a 60cm aperture vacuum telescope, a high dispersion vacuum spectrograph, polarization modulator / analyzer composed of a rotating waveplate whose retardation is constant for a wide range of wavelength and Wallaston prism, and a fast and large format CCD camera or IR camera. Spectral images in both orthogonal polarizations are taken simultaneously with a frame rate of ~20Hz while the waveplate rotates continuously in a rate of 1rev./sec. Thus It takes 5 ~ 60 sec to observe polarization with accuracy of 10-3 in a wide wavelength range (400 - 1100nm). We also examined a polarimetric model of the telescope with accuracy of 10-3 to calibrate instrumental polarization on some wavelengths. In this talk, I will focus on the performance of the instrument.

  • PDF

The biochemical and molecular characteristics of Streptococcus equi subsp. zooepidemicus isolated from the genital tract of Thoroughbred mares in Korea

  • Choi, Seong-Kyoon;Kim, Seong-Guk;Cho, Gil-Jae
    • Korean Journal of Veterinary Service
    • /
    • v.34 no.3
    • /
    • pp.201-208
    • /
    • 2011
  • Streptococcus equi subsp. zooepidemicus (S. zooepidemicus) is a pathogen of a variety of infections in horse. We studied biochemical and molecular characteristics of S. zooepidemicus isolated from the genital tract of Thoroughbred mares in Korea. Seventy-nine isolates were identified as S. zooepidemicus by biochemical and PCR method from 374 horses. The biochemical characteristics of S. zooepidemicus isolates were positive reaction of lactose and sorbitol. However, S. zooepidemicus isoltes were negative reaction of inulin, mannitol, raffinose, trehalose, aesculin hydrolysis, growth in 6.5% NaCl and variable reaction of maltose. Epidemiological investigations of S. zooepidemicus isolates were performed by fragment analysis of SzP (S. zooepidemicus protective protein) gene, CNE (collagen binding protein) gene and ISR (16s rRNA intergenic spacer region) gene using ABI Prism $3,130{\times}1$ Genetic Analyzer System. All isolates were shown single amplification size of 906 bp in CNE gene, but SzP and ISR gene were shown variable patterns of fragment size. The characteristics of S. zooepidemicus investigated in this study will be very useful for the prevention of infection and the studies of epidemiologic characteristics of S. zooepidemicus, causing the severe economic losses due to reproductive failures.

Optical Cap Sensor for Magneto-Optic Near-Field Recording (MO 근접장 기록을 위한 광학 갭 센서)

  • Yoon, Yong-Joong;Park, Jae-Hyuk;Park, No-Cheol;Park, Young-Pil
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.28 no.3
    • /
    • pp.245-250
    • /
    • 2004
  • This paper proposes a new method of measuring an air interface distance between a solid immersion lens(SIL) applied magneto-optic technology and the disk surface. For applying near-field recording (NFR) technology to the magneto-optic storage devices for the next generation, it is positively necessary to maintain the small air gap under about 100㎚. We design an apparatus that consists of some optical components such as a prism, a polarizer and an analyzer. By using the Fresnel reflection coefficient equation, Jones matrices calculation and Malus's law, we establish a mathematical model for understanding the characteristics of the system. The simulations are based on the mathematical model and through the simulation results which is made with various cases we can estimate the performance of the new optical gap sensor system. Experimental results, which are also based on the mathematical model for specific cases, are in good agreement with simulated ones and demonstrate the possibility as the new optical gap sensor.