• Annual Conference of KIPS
• /
• 2003.05c
• /
• pp.2121-2124
• /
• 2003

정보보호시스템의 국제공통평가기준인 CC(또는 ISO/IEC 1540B)에서는 평가용 문서(즉, 제출물)에 대한 세부지침을 포함하지 않고 있으므로, CC기반 평가체계를 구축하기 위해서는 문서 스키마(즉, 목차와 내용요구사항)를 개발해야 한다. 본 논문에서는 CC기반 평가체계에서 활용할 수 있는 문서 스키마를 개발하였다. CC내의 보증클래스로부터 Weakest precondition함수, 문서량 축소규칙, 문서 종속성 분석방법을 적용하여 문서스키마와 DTD를 개발하였다. 본 연구의 접근방법은 소프트웨어 품질의 평가체계에서 사용할 문서스키마 또는 DTD를 개발하는데 응용될 수 있다.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.129.2-129.2
• /
• 2012

Solar flares and coronal mass ejections (CMEs) are two major solar eruptive phenomena which can cause enormous economic and commercial losses: (1) flares are sudden, rapid, and intense brightenings from radio waves to Gamma-rays in the chromosphere and corona, and (2) CMEs are large-scale transient eruptions of magnetized plasma from the solar corona that propagate outward into interplanetary space. Most flares and CMEs occur in magnetically complicated solar active regions (ARs). Therefore, it is crucial to investigate magnetic fields in ARs and their temporal variations for understanding a precondition and a trigger mechanism related to flare/CME initiation. In this presentation, we will introduce an automated system for empirical forecasting of flares and CMEs in ARs using full-disk photospheric line-of-sight magnetogram data taken by the Helioseismic and Magnetic Imager (HMI) onboard the SDO.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.8 no.1
• /
• pp.75-80
• /
• 2008

The purpose of this paper is to find the preconditions of BIM based new design process. As BIM technology improves, investigating new design process will become a greater priority. Our traditional, linear and fragmented design process is not freed from a long-pending questions of poorly coordinated drawings and low production efficiencies. Rather the traditional process is one of the major causes of such issues of low productivity. AIA and NIST proposed new design process to fulfill clients' need for fast and precise delivery recently. The common goal of these two should be better, faster and more precise project delivery created by integration. And we need to create collaborative concurrent design process to optimize the design efforts, But our local AE industry's circumstances are quite different with foreign countries. Therefore, integrated project system cannot be adopted as it stands in foreign countries. This paper will investigate preconditions to expedite the progress of BIM based design process in Korea.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.22 no.4
• /
• pp.56-64
• /
• 2014

There were a total of 65 accidents of helicopers between 1990 and 2013. The overall accidents rate has remained around 8 accidents per 100,000 flight hours, and the fatal rate has stayed at about 8 accidents per 100,000 flight hours. In this study, we conduct a series of statistical analyses to investigate the significance of latent failure of groups that operate the helicopter. Analysis of variance demonstrated significant differences in the latent condition score for the 3 groups, with the lower accidents rate groups reporting better scores of latent condition. Results indicated that there are the significant differences of latent condition in accidents between groups of high accidents rate and groups of low accidents rate.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.466-468
• /
• 2004

W3C의 OWL-S는 기존의 웹 서비스와 시멘틱 웹 기술의 결함을 통한 웹서비스의 자동화된 검색, 조합 등을 지원하기 위한 모델이다. 원하는 특히, 웹서비스 조합은 사용자의 다양한 요구를 지원하기 위해서 매우 중요하며, 웹 서비스 조합을 하나의 처리 단위로 하기 위한 트랜잭션 개념의 도입이 필수적이다. 이를 위해서는 OWL-S웹서비스의 검색시 서비스의 IOPE(Input/Output/Precondition/Effect)와 메시지의 시멘틱 고려뿐만 아니라 트랜잭션에 영향을 미치는 웹 서비스의 응답시간, 수행비용, 신뢰성 등 웹서비스의 품질과 실제 웹 서비스의 연동의 단위가 되는 연산들에 대한 고려가 필요하나, OWL-S에서는 이러한 부분의 정의가 부족하다. 따라서, 이 연구에서는 자동화된 웹 서비스 조합을 위해서 OWL-S을 확장한 새로운 모델을 제안한다. 이 모델은 웹서비스의 성능을 응답속도, 비용, 신뢰도등율 이용해서 웹서비스간의 유사도를 측정할 수 있으며, 실제 연산들에 대한 시멘틱 표현을 가능하게 함으로써 보다 정확한 웹 서비스의 조합을 가능하게 한다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2008.03a
• /
• pp.260-265
• /
• 2008

A numerical scheme for solid propellant rocket has been studied using preconditioning method to research unsteady combustion processes for the double-base propellant with a converging-diverging nozzle. The Navier-Stokes equation is solved by dualtime stepping method with finite volume method. The turbulence model uses a shear stress transport modeling. The species equation follows up the method of Xinping WI, Mridul Kumar and Kenneth K. Kuo. A preconditioned algorithm is applied to solve incompressible regime inside the combustor and compressible flow at nozzle. Mass flux was evaluated using modified advective upwind splitting method. The simulated result the comparison a fully coupled implicit method and a semi implicit method in terms of accuracy and efficiency. This report shows the result of solid rocket propellant combustion.

• Iberoamérica
• /
• v.21 no.1
• /
• pp.107-125
• /
• 2019

How to conceive fraternity in difference? I will hold two premises to answer this question. First: fraternity is an ineradicable element of the Political. Second: the recognition of fraternity in difference is a precondition for the consolidation of fraternal relations in Latin America in the context of coloniality. On the same path, I will show that fraternity must be thought of as difference in order to face the logic of neoliberal life imposed by capitalism in globalization. The articulation of both premises in the political praxis would contribute to the preservation of our life in common; in conditions of dignified existence. The fraters of precariousness and vulnerability are the ones who can re-establish being-with- and being-together.

• Journal of Internet Computing and Services
• /
• v.9 no.6
• /
• pp.1-13
• /
• 2008

Trusted Computing is a hardware-based technology that aims to guarantee security for machines beyond their users' control by providing security on computing hardware and software. TPM(Trusted Platform Module), the trusted platform specified by the Trusted Computing Group, acts as the roots for the trusted data storage and the trusted reporting of platform configuration. Data sealing encrypts secret data with a key and the platform's configuration at the time of encryption. In contrast to the traditional data sealing based on binary hash values of the platform configuration, a new approach called property-based data sealing was recently suggested. In this paper, we propose and analyze a new property-based data sealing protocol using the weakest precondition concept by Dijkstra. The proposed protocol resolves the problem of system updates by allowing sealed data to be unsealed at any configuration providing the required property. It assumes practically implementable trusted third parties only and protects platform's privacy when communicating. We demonstrate the proposed protocol's operability with any TPM chip by implementing and running the protocol on a software TPM emulator by Strasser. The proposed scheme can be deployed in PDAs and smart phones over wireless mobile networks as well as desktop PCs.

• Journal of the Korea Convergence Society
• /
• v.11 no.5
• /
• pp.209-217
• /
• 2020

The background of the research is the following. With the prosperity of drone industry, the government has been actively promoting measures to nominate 'drone photographing free areas'. However, existing laws, and procedures are rather unclear with related environmental factors in discordance with one another. Hence, voices in need for establishing a clear precondition for nominating drone photography free area have been rising. The purpose of the research is to provide measures for the preconditions to establish photography free areas for convenient drone photographing. The research utilizes literary methods, conducting focus group interviews to coordinate with specialists who can participate and discuss so that they can provide improvement measures. The research renders improvement measures in different sectors including 2x items in aviation security law, 8x items in free area nomination and procedure, 4x items in infrastructure establishment and information management area. The expected effects are the following: by attaching drone photography with aviation security law, nominating photography free area can be linked up with the Ministry of Land Infrastructure and Technology. Secondly, by enlarging photography restricted area to upper mid-air, a three dimensional drone security will be possible. Thirdly, by providing a 'Yongin area standard model', free area nomination will become more easy. Future research will focus on enhancing aviation security law regarding drone photographing. In addition, the promotion to nominate free areas for 33x responsible areas in accordance with the National Intelligence service will be required.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.8
• /
• pp.61-69
• /
• 2012

BIRS is an intermediate representation for verifying Java program. Java program in the form of bytecode could be translated into BIRS code. Verification conditions are generated from the BIRS code to verify the program. We propose a method generating verification conditions for BIRS code. Generating verification conditions is composed of constructing control flow graph for BIRS code, depth first searching for the control flow graph to generate basic paths, and calculating weakest preconditions of the basic paths.