• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제12권2호
• /
• pp.141-148
• /
• 2006

본 논문에서는 정형 검증 도구를 이용한 보안 소프트웨어의 보안성을 검증하고 검증된 결과를 이용하여 안전한 보안 소프트웨어 개발 방안을 살펴본다. 정형 검증 기법에 따라 사용되어질 수 있는 각 정형 검증 도구들을 살펴보고 그 특성을 파악하여 보안 소프트웨어의 안정성과 신뢰성을 보장하는 적합한 도구들을 알아보고, 보안 소프트웨어 개발 방안을 제시한다. Z 언어를 이용하는 도구인 Z/EVES는 Z명세에 대한 분석 방법을 제시함으로써 보안 소프트웨어에서 가장 많이 사용되는 대표적인 정형 검증 도구이다. 본 논문에서는 보안 소프트웨어 검증을 위하여 C 언어로 작성된 보안 소프트웨어를 Z명세 언어로 변환하고 이것을 Z/EVES도구를 이용한다.

• 대한수학회보
• /
• 제54권2호
• /
• pp.705-714
• /
• 2017

Let $A^2_{{\alpha},{\beta}}(\mathbb{B}_n)$ denote the space of holomorphic functions that are $L^2$ with respect to a weight of form ${\omega}_{{\alpha},{\beta}}(z)=(1-{\mid}z{\mid}^{\alpha}e^{-{\frac{\beta}{1-{\mid}z{\mid}}}}$, where ${\alpha}{\in}\mathbb{R}$ and ${\beta}$ > 0 on the unit ball $\mathbb{B}_n$. We obtain some results for the boundedness and compactness of $Ces{\grave{a}}ro$ operator on $A^2_{{\alpha},{\beta}(\mathbb{B}_n)$.

• 한국표면공학회:학술대회논문집
• /
• 한국표면공학회 2009년도 춘계학술대회 논문집
• /
• pp.125-125
• /
• 2009

• 한국전산유체공학회지
• /
• 제6권1호
• /
• pp.21-30
• /
• 2001

A numerical study on the similarity of the developing laminar flows between in a straight duct rotating about an axis perpendicular to that of the duct and in a stationary curved duct was carried out. In order to clarify the analogy of two flows, dimensionless parameters K/sub LR/ = Re/(equation omitted) and Rossby number, Ro, in a rotating straight duct were used as a set corresponding to Dean number K/sub LC/ = Re/(equation omitted), and curvature ratio, λ, in a stationary curved duct. For the large values of Ro and λ, it is shown that the flow field satisfies the 'asymptotic invariance property', that is, there are strong quantitative similarities between the two flows such as flow patterns, friction factors, and maximum axial velocity magnitudes for the same values of K/sub LR/ and K/sub LC/ if they are correlated with dimensionless axial distances Z/sub R/ = z/(equation omitted) for a rotating duct flow and Z/sub C/ = z/(equation omitted) for a stationary curved duct flow.

• 한국대기환경학회지
• /
• 제20권6호
• /
• pp.823-832
• /
• 2004

Atmospheric aerosol particles collected in Seoul on four single days, each in every seasons of 2001, were characterized and classified on the basis of their chemical species using low-Z particle electron probe X-ray microanalysis (low-Z particle EPMA). Low-Z particle EPMA technique can analyze both the size and the chemical species of individual aerosol particles of micrometer size and provide detailed information on the size distribution of each chemical species. The major chemical species observed in Seoul aerosol were aluminosilicate, silicon dioxide, calcium carbonate, organic, carbon-rich, marine originated, and ammonium sulfate particles, etc. The soil originated species, such as aluminosilicate, silicon dioxide, and calcium carbonate were the most popular in the coarse fraction, meanwhile, carbonaceous and ammonium sulfate were the dominant species found in the fine fraction. Marine originated species such as sodium nitrate was frequently encountered, up to 30% of the analyzed aerosol particles.

• 생약학회지
• /
• 제35권1호통권136호
• /
• pp.35-40
• /
• 2004

Seven terpenoids, trans-phytol (1), ${\alpha}-spinasterol$ (2),${\beta}-sitosterol$ (3), oleanolic acid (4), traxasterol (5), ${\alpha}-spinasterol\;3-O-{\beta}-D-glucopyranoside$ (8), ${\beta}-spinasterol\;3-O-{\beta}-D-glucopyranoside$ (9), and three glycerides, 3-O-(9Z, 12Z, 15Z-octadecatrienoyl) glycerol (6), 3-O-(9Z, 12Z-octadecadienoyl) glycerol (7), 1, 2-O-(9Z, 12Z, 15Z-dioctadecatrienoyl)-3-O-${\beta}$- D-galactopyranosyl glycerol (10) were isolated from n-hexane fraction of the aerial parts of Saussurea nutans which was used as Korean traditional medicine to σeat rheumatic arthritis and dysmenorrhea. Their structures were established by chemical and spectroscopic methods.

• 분석과학
• /
• 제20권3호
• /
• pp.183-192
• /
• 2007

최근의 전기전자제품 중 유해물질규제지침(RoHS)이나 폐전기전자제품 처리 지침(WEEE) 등의 각종 환경규제는 국제교역에 있어 실질적인 무역장벽으로 작용하고 있다. 한국표준과학연구원(KRISS)에서는 이와 같은 환경규제와 관련하여 국내시험연구기관 및 관련산업체실험실의 측정 신뢰성 확보를 위한 숙련도 시험을 실시하였다. 참여기관은 국내 전기전자 제품 및 자동차 관련 실험실 31개소이다. 숙련도시험용 시료는 pellet type 폴리프로필렌 소재 2 종이며, 측정대상원소는 유럽공동체의 RoHS 지침에서 규정하고 있는 6개 성분 중 카드뮴 (Cd)과 납 (Pb)이다. 시료는 2006년 9월 1일 각 참여실험실에 우편 송부하였으며 10월 10일까지 측정 결과를 접수하였다. 각 실험실의 측정 결과는 KRISS 기준값과의 비교, Robustic Z-score, Youden plot 등에 의해 비교 평가하고 전처리 방법에 따른 측정 결과도 비교 검토하였다. 전반적으로 기준값과의 10% 범위 내에서 일치되는 결과를 보고하였으나 일부 실험실은 심각한 bias를 보이고 있어 측정결과의 신뢰성 향상을 위한 품질보증 시스템을 갖추어야 할 필요가 있다.

• 한국잠사학회:학술대회논문집
• /
• 한국잠사학회 2003년도 International Symposium of Silkworm/Insect Biotechnology and Annual Meeting of Korea Society of Sericultural Science
• /
• pp.58-65
• /
• 2003

This study was carried out to investigate active constituents of Bombysis corpus on the neurite outgrowth from PCl2 cells led to isolate three phospholipids (4 6) and three aromatic amines (13) were obtained from the methanol extract of Bombycis corpus. Based on spectral data, their structures have been elucidated as nicotiamide (1), cytidine (2), adenine (3), 1-O-(9Z-octadecenoyl)-2-O-(8Z, 11Z-octadecadienoyl)-sn-glycero-3-phosphorylcholine(4), 1, 2-di-O-hexadecanoyl-sn-glycero-3-phosphorylcholine(5) and 1, 2-di-O-9Z-octadecenoyl-sn-glycero-3-phosphorylcholine(6). (omitted)

• Archives of Pharmacal Research
• /
• 제26권2호
• /
• pp.132-137
• /
• 2003

Three cerebrosides 2, 3, and 5 and two terpene glycosides 1 and 4 have been isolated from the methanol extract of the root of Aster scaber. Their structures were determined as 3-Ο-$\beta$-D-glucuronopyranosyl-oleanolic acid methyl ester (1), (2S, 3S, 4R, 2 R, 8Z, 15 Z)-N-2 -hydroxy-15 -tetracosenoyl-1-Ο-$\beta$-D-glucopyranosyl-4-hydroxy-8-sphingenine (2), (2S, 3S, 4R, 8Z)-N-octadecanoyl-1-Ο-$\beta$-D-glucopyranosyl-4-hydroxy-8-sphingenine (3), 1$\alpha$-hydroxy-6$\beta$-Ο-$\beta$-D-glucosyl-eudesm-3-ene (4), and (2S, 3S, 4R, 2 R, 8Z)-N-2 -hydroxy-hexadecanoyl-1-Ο-$\beta$-D-glucopyranosyl-4-hydroxy-8-sphingenine (5) on the basis of spectroscopic methods.

• 한국대기환경학회지
• /
• 제20권6호
• /
• pp.811-821
• /
• 2004

Low-Z particle electron probe X-ray microanalysis (low-Z particle EPMA) was applied to characterize aerosol particles collected at Gosan in Jeju island during an IOP (intensive observation period) for an international ACE-Asia project in April, 2001. Various types of atmospheric particles such as organics, carbon-rich, aluminosilicates, silicon oxide, sodium nitrate, sodium chloride, and ammonium sulfate were observed. The reacted sea salt particles such as sodium nitrate were the most abundantly encountered, but original sea salt particles were rarely observed. Since the Low-Z particle EPMA can provide quantitative information on the chemical composition of aerosol particles, many different particle types on the basis of their chemical compositions were observed and identified. In this study, it is demonstrated that the Low-Z particle EPMA can provide detailed information on the chemical compositions for the aerosol particles collected for six consecutive days in April, 2001, at Gosan super-site.