• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2007년도 The 1st International Symposium on Advanced Magnetic Materials
• /
• pp.104.1-104.1
• /
• 2007

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2007년도 The 1st International Symposium on Advanced Magnetic Materials
• /
• pp.129.1-129.1
• /
• 2007

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2007년도 The 1st International Symposium on Advanced Magnetic Materials
• /
• pp.128.2-128.2
• /
• 2007

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2007년도 The 1st International Symposium on Advanced Magnetic Materials
• /
• pp.102.1-102.1
• /
• 2007

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.116-118
• /
• 1998

본 논문에서 Holzmann이 제시한 커널 스케줄링 방식이 Liveness를 만족하지 못하며, 자원의 충돌이 일어남을 알제브라 ACSR-VP를 이용해서 확인하였고, SPIN과 LTL formula를 이용하여 검증하였다. 이것을 SPIN과 ACSR-VP를 이용하여하여 오류가 없는 새로운 모델을 제시하였다.

• Korean Journal of Mathematics
• /
• 제22권2호
• /
• pp.325-337
• /
• 2014

In 1911 Schur[6] derived degree and character formulas for projective representations of the symmetric groups remarkably similar to the corresponding formulas for ordinary representations. Morris[3] derived a recurrence for evaluation of spin characters and Stembridge[8] gave a combinatorial reformulation for Morris' recurrence. In this paper we give combinatorial interpretations for the orthogonality relations of spin characters based on Stembridge's combinatorial reformulation for Morris' rule.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.804-807
• /
• 1996

In this paper, a new model of TDF(two degree of freedom) spin-stabilized platform has been suggested. The platform driving signal modulated in the spinning frequency is described in demodulated form keeping its precession angular velocity. When a strong spinning torque exists, the cross-axis spring constant cannot be neglected in modelling of the platform precession dynamics. A linearized dynamic model of spin-stabilized platform pointing loop is derived and validated through the comparison between simulation and experimental results.

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2009년도 임시총회 및 하계학술연구발표회
• /
• pp.53-54
• /
• 2009

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2009년도 정기총회 및 동계학술연구발표회
• /
• pp.87-88
• /
• 2009

A model system allowing the experimental determination of the spin-motive force from the vortex gyration motion in a circular nanodisk is presented. It provide an easy experimental detection of the spin-motive force and thus an important tool to study the relationship between the charge and spin transports in ferromagnetic system.

• Bulletin of the Korean Chemical Society
• /
• 제23권5호
• /
• pp.727-735
• /
• 2002

Proton coupled carbon-13 relaxation experiment was performed to investigate the effect of vicinal protons on spin-lattice relaxation of methylene carbon-13 in n-undecane. A BIRD type pulse sequence was employed as a way to check the validity of describing the 13CH2 moiety as an isolated AX2 spin system. The results show that the presence of vicinal protons exerts substantial influence on the relaxation of methylene carbon-13, indicating that it is not a very good approximation to treat a methylene moiety as an isolated AX2 spin system.