• 제목/요약/키워드: Prism Analyzer

검색결과 21건 처리시간 0.05초

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

  • 우수정;온진호;이문근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
    • /
    • 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)

  • 우수정;온진호;이문근
    • 한국콘텐츠학회논문지
    • /
    • 제11권9호
    • /
    • pp.63-75
    • /
    • 2011
  • 분산 이동 실시간 시스템을 개발하기 위해 pi-Calculus, Mobile Ambients Calculus, Bigraph 등의 수많은 프로세스 대수가 존재한다. 하지만 시스템이 방대해지고 복잡해질수록 시스템을 구성하는 프로세스들의 통신과 이동 역시 방대해지고 복잡해지므로 프로세스 대수로 이를 이해하는데 어려움이 존재한다. 그러므로 방대하고 복잡한 시스템을 체계적으로 이해할 수 있는 방법이 필요하다. 본 논문에서는 방대하고 복잡한 시스템을 프로세스들의 통신과 이동의 순서화된 추상화 방법 즉, 계층적으로 구조화된 격자(Lattice)들의 형태인 프리즘(Prism)으로 다룬다. 이는 액티브 온톨로지(Active Ontology)에서 확장된 새로운 개념인 행위 온톨로지(Behavior Ontology)를 기반으로 한다. 프리즘은 시스템을 체계적으로 이해하기 위해 시스템을 계층적으로 구성된 행위적 속성을 지닌 격자들 관점에서 분석하는 것을 허용한다. 이러한 방법은 통신과 이동의 복잡함을 의미적이고 계층적으로 구성된 행위의 구조로 체계적으로 이해할 수 있게 한다.

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

  • 이청희;김수현;곽윤근
    • 한국정밀공학회지
    • /
    • 제17권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)

  • 이정현;한창수;김수현;곽윤근
    • 한국정밀공학회지
    • /
    • 제15권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

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

  • 이정현;한창수;김수현;곽윤근
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1995년도 추계학술대회 논문집
    • /
    • 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
    • /
    • 제29권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.

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

  • 윤용중;박재혁;박노철;박영필
    • 대한기계학회논문집A
    • /
    • 제28권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.

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
    • 한국동물위생학회지
    • /
    • 제34권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.

울릉도 반정질 암맥의 결정군집: 화산단계 I 도동현무암의 모든 단사휘석은 섹터누대를 가지는가? (Crystal Populations Within a Porphyritic Dike in Ulleung Island: Are All Clinopyroxenes in the Stage I Dodong Basalt Sectored?)

  • 문크바야르 엥흐징;박종규;장윤득
    • 광물과 암석
    • /
    • 제34권4호
    • /
    • pp.277-291
    • /
    • 2021
  • 하나의 광물상은 다양한 기원과 결정성장사를 기록하는 여러 개의 결정군집(crystal population)으로 분류될 수 있다. 울릉도 남동부에서 단사휘석 거정을 포함하면서, 유리질 급냉대(타킬라이트, tachylyte)를 가지는 반상 암맥이 발견되었다. 이 암석에 대한 암석기재학적 접근을 통해 이들이 포함하는 결정군집에 대한 연구가 수행되었다. 이번 연구는 전자 미세탐침 분석기를 사용해 이 암석을 구성하는 타킬라이트와 조암광물의 주성분원소 조성을 보고한다. 타킬라이트는 조면안산암질 조성을 가지며, 어떠한 변질의 흔적도 보이지 않는다. 이러한 특징은 타킬라이트의 조성이 이 암맥의 원래 멜트 조성을 반영할 수 있다는 점을 시사한다. 0.5mm 보다 큰 결정크기를 가지는 단사휘석과 사장석은 조면안산암질 멜트보다 초생적인 조성을 가졌던 멜트와 평형을 이루었던 재활결정(antecryst)으로 판단된다. 한편, 0.5 mm 보다 작은 결정크기를 가지는 단사휘석 및 사장석 미정(microlite)은 현재 위치에서 결정화된 초생결정(primocryst)이다. 이번 연구 결과에 따르면, 울릉도 화산단계 I 도동현무암에 대해 기존에 보고된 단사휘석의 조성변화 양상은 [Mg+Si+Fe]basal ↔ [Al+Ti+Na]prism를 통해 체계적으로 설명될 수 있으며, 이는 도동현무암에 포함된 모든 단사휘석이 섹터누대를 가질 수 있다는 점을 시사한다. 따라서, 단사휘석의 섹터누대에서 기인한 원소 분배가 도동현무암의 지구화학적 진화에 미친 영향이 추후 연구에 반영되어야 할 것으로 판단된다.

미소면적 광학이방성 정밀 측정을 위한 수직반사형 타원계의 광소자 편광특성 및 측정정밀도 향상 연구 (Study on Polarization Characteristics of Optical Device and Improvement of Measurement Precision of Normal Incidence Ellipsometer for Measuring Optical Anisotropy of a Micro Spot)

  • 염경훈;박상욱;서영진;이민호;김웅기;김상열
    • 한국광학회지
    • /
    • 제23권6호
    • /
    • pp.274-280
    • /
    • 2012
  • 기존의 반사형 타원계에 광분할기와 프리즘 등의 광학소자를 추가하여 $8.0{\mu}m$ 보다 작은 면적에서 시료의 광학이방성을 측정할 수 있는 수직반사형 타원계를 제작하였다. 수직반사 구조를 구현하기 위해 사용된 광학소자들의 편광작용을 보정하여 광학이방성 측정의 정확도를 향상시켰다. 비편광 광분할기를 사용하고 사분파장 위상지연자를 장착하며 광섬유를 제거하고 파장영역을 최적화하여 광학이방성인자 측정값의 표준편차를 0.00083 으로 줄이고 방위각 변화에 따른 rutile 시료의 광학이방성인자의 변동폭을 0.015 이하로 줄일 수 있었다.