• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.16-21
• /
• 2010

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

• 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.

• 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.

• 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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• 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.

• 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.

• 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.

• 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.

• Korean Journal of Mineralogy and Petrology
• /
• v.34 no.4
• /
• pp.277-291
• /
• 2021

A mineral phase contained in a rock sample can be categorized into several crystal populations with distinct origins and crystal growth histories. A detailed textural and mineralogical investigation on a clinopyroxene megacryst-bearing porphyritic dike with glassy chilled margins (tachylyte) in the southeastern Ulleung Island was conducted to decipher its crystal populations. During this study, we have measured glass and mineral major element compositions using electron microprobe analyzer. Tachylyte has a homogeneous trachyandesitic composition without any significant alteration characteristics, suggesting that its composition may represent the original melt composition of the dike. Clinopyroxene and plagioclase larger than 0.5 mm are antecrysts equilibrated with a more primitive melt composition than trachyandesitic tachylyte. Meanwhile, clinopyroxene and plagioclase microlites (<0.5mm) are regarded as primocrysts crystallized in-situ. According to our results, all clinopyroxenes in the Stage I Dodong Basalt are sectored into basal and prismatic parts, whose compositional ranges systematically vary: [Mg+Si+Fe]_basal ↔ [Al+Ti+Na]_prism. Therefore, we suggest that the effect of the elemental partitioning caused by the clinopyroxene sector zonation in Stage I volcanism should be considered in the future works.

• Korean Journal of Optics and Photonics
• /
• v.23 no.6
• /
• pp.274-280
• /
• 2012

A normal incidence ellipsometer is fabricated to measure the optical anisotropy of a small spot whose diameter is less than $8.0{\mu}m$, by adding a beam splitter and a prism to the conventional rotating analyzer type ellipsometer. The polarizing actions of the added optical components are calibrated to improve the accuracy of the anisotropy measurement. The standard deviation of the optical anisotropy factor decreased to 0.00083, and the variation of the optical anisotropy factor of rutile versus sample azimuth angle variation also decreased to 0.015, after adoption of a non-polarizing beam splitter and a quarter wavelength phase retarder, followed by removal of the optical fiber and a careful choice of measurement wavelength.