• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.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)$.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2009.05a
• /
• pp.125-125
• /
• 2009

• Journal of computational fluids engineering
• /
• v.6 no.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.

• Journal of Korean Society for Atmospheric Environment
• /
• v.20 no.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.

• Korean Journal of Pharmacognosy
• /
• v.35 no.1 s.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.

• Analytical Science and Technology
• /
• v.20 no.3
• /
• pp.183-192
• /
• 2007

The various environmental regulation directives such as RoHS (restriction of hazardous substances in electrical and electronic products) and WEEE (waste from electrical and electronic equipments) are practically used as the technical barrier in international trade (TBT) of vehicles and electrical and electronic products recently. Regarding such an environmental regulation, Korea Research Institute of Standards Science (KRISS) organized a proficiency testing scheme to establish the reliability of measurement results produced by the relevant research institutes and test laboratories in Korea. Participants were 31 laboratories related to production of the electrical and electronic equipments and mobile vehicles. Two polypropylene samples of pellet type were employed as the proficiency testing materials (PTMs). Cadmium and lead were the analytes chosen among six components regulated in European Union (EU) RoHS directive. The PTMs were sent to the participants by post on September $1^{st}$ 2006, and deadline for results submission were October $10^{th}$ 2006. The results of each laboratory were evaluated in comparison with KRISS reference values using Robustic Z-score and Youden plot methods. The results of the various sample digestion methods were also compared. Most of participants reported good agreement within 10 % range of reference values. However, results from several laboratories showed significant biases from reference values. These laboratories should establish the quality assurance system for improvement of the measurement reliability.

• Proceedings of the Korean Society of Sericultural Science Conference
• /
• 2003.10a
• /
• 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
• /
• v.26 no.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.

• Journal of Korean Society for Atmospheric Environment
• /
• v.20 no.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.