• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.120-133
• /
• 2000

Major obstruction of using formal methods for hybrid real-time systems in industry is the difficulty that engineers have in understanding and applying the quantitative methods in an abstract requirements phase. While formal methods technology in safety-critical systems can help increase confidence of software, difficulty and complexity in using them can cause another hazard. In order to overcome this obstruction, we propose a framework for qualitative requirements engineering of the hybrid real-time systems. It consists of a qualitative method for requirements specification, called QFM (Qualitative Formal Method), and a safety analysis method for the requirements based on a causality information, called CRSA (Causal Requirements Safety Analysis). QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the cognitive burden of designers when specifying and validating the software requirements of hybrid safety systems. CRSA can evaluate the logical contribution of the software elements to the physical hazard of systems by utilizing the causality information that is kept during specification by QFM. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, we demonstrate the effectiveness of our approach.

• Aerospace Engineering and Technology
• /
• v.9 no.2
• /
• pp.105-115
• /
• 2010

This technical paper describes and summarizes the flight test results for the longitudinal and lateal-directional dynamic stability characteristics. The target aircraft is the 4-seat carnard type aircraft, FireFly, which has been developed by KARI. Airborne sensors and real-time telemetry system are constructed to obtain the flight test data. The dynamic stability characteristics should be analyzed and tested by estimaitng the aerodynamic parameters in the dymaic equations of motion. The maximum likelihood estimation technique has been applied to the flight data from chirp, 3211, and doublet control inputs.

• Journal of the Korean Vacuum Society
• /
• v.22 no.5
• /
• pp.225-230
• /
• 2013

Cryopump removes gas molecules by condensation and adsorption. Therefore, cryo-surface temperature and corresponding vapor pressure influence directly the pumping performance. If the surface temperature of any part is neither low nor high, there occurs the desorption of gas molecules condensed or adsorbed, and the emitted molecules can be captured again, which leads to a time-consuming and fluctuating change of the pressure. Though every gas can show such a pressure instability at a specified temperature range, the instability generated in a sputter system using Ar as a working gas and operating with a cryopump is especially undesirable. In this paper the cause of the argon instability is analyzed and corrective is provided through the measurement of the Ar recovery time.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.30 no.6D
• /
• pp.561-567
• /
• 2010

Recently, several number of Multi-Intermodal Transfer Center are nominated to improve convenience of public transportation user. Due to budget constraints, it should be defined which is the first consideration among the discussed many works. In this circumstance, there are some absurdities in the evaluation of validity of existing methods. Therefore, we suggested the Priority Order Valuation for Multi-Intermodal Transfer Centerer. The evaluation method, we suggested, is considered quantitative analysis and qualitative analysis. In this study, we find out that B/C ratio and construction costs are strongly related to the quantitative analysis so that Multi-Intermodal Transfer Centers in metropolitan area are evaluated the positive results. Therefore, both quantitative analysis and qualitative analysis are applied to the Priority Order, metropolitan area and other area are fairly evaluated the results for the Priority Order.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.246-249
• /
• 2011

본 연구에서는 파평윤씨 시조이신 태사공 윤신달 장군 음택터의 공학적인 분석을 통하여 정성적 및 정량적인 평가를 시도하였다. 태사공께서는 태조 왕건을 도와서 삼국을 통일하고 고려를 건국하는데 공을 세운 개국공신으로 태자를 교육시키는 태사삼중대광에 봉해졌다. 파평윤씨는 고려 및 조선시대에 명문 가문으로서 많은 공신, 학자 및 왕비를 배출하였다. 따라서 태사공 윤신달 장군 음택터의 혈장을 비롯하여 각 사격을 검토하여 파평윤씨 문중의 발복을 음택터의 영향으로 평가내릴 수 있는 공학적인 분석을 통하여 정성적 및 정량적인 기준을 제시하고자 한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.11a
• /
• pp.431-434
• /
• 2008

본 연구에서 우리는 웹 사이트들에서 제품에 대한 사용자들의 리뷰 정보를 수집하고, 수집한 정보들을 분석 및 정련하여 사용자들에게 보이는 서비스에 대해 논하고자 한다. 특정 제품에 대한 리뷰 정보들은 로봇 시스템에 의해 수집되고, 특정 제품에 대한 전체적인 평가 스코어는 두 가지 다른 종류의 스코어들을 고려하여 계산된다. 첫 번째 스코어는 정량적인 스코어(quantitative score)로 각 리뷰들로부터 얻어지는 이른바 별점 값들의 가중 평균값(weighted average)으로 계산된다. 두 번째 스코어는 정성적인 스코어(qualitative score)로, 본 연구에서 제안된 서비스는 각 리뷰들의 텍스트 설명을 자연 언어 처리 기법으로 분석하여 정성적 스코어를 계산한다. 우리는 이러한 스코어 계산 모델에 따라 MP3 플레이어와 Personal Digital Assistant (PDA)에 대해 서비스 시스템 RELLENOS를 설계 및 구현하였다. RELLENOS는 69 개에 달하는 온라인 리뷰 사이트들에서 수집된 정보들을 토대로 정량적인 값과 정성적인 값을 계산하여 서비스를 성공적으로 수행하였다.

• Korean Journal of Construction Engineering and Management
• /
• v.8 no.4
• /
• pp.99-109
• /
• 2007

Risk elements of highway safety facilities are affected by complex environments. Thus, risk-based approach for traffic safety facilities is needed. For this, in this study, qualitative and quantitative risk assessment methodology and procedure for highway safety facilities is proposed, which can be used as risk-based approach incorporating VE process. Also, for the quantitative risk assessment, event tree using EPDO(Equivalent Property Damage Only) with respect to frequency and magnitude of risk events is introduced. As a result, risk index of alternative 1(140cm) and 2(127(cm) which can be used as performance factor in VE approach are estimated.

• The Journal of the Korea Contents Association
• /
• v.22 no.6
• /
• pp.606-618
• /
• 2022

The purpose of the present study was to investigate the influence of rejection sensitivity on aggression and to determine the mediating role of self-esteem level and its stability. Data based on self-report questionnaires from a sample of 312(N=312) undergraduate and graduate students were analyzed using the SPSS 22.0, and the Amos 18.0. Results from the structural equation modeling indicated that rejection sensitivity had a negative impact on self-esteem level and a positive impact on self-esteem instability. Self-esteem level had a negative impact on aggression. Self-esteem instability had a positive impact on aggression. The effect of rejection sensitivity on aggression was fully mediated by self-esteem level and instability. Current findings add to the extent literature on the influence of rejection sensitivity on self-esteem level, self-esteem instability, and aggression. Implications of the present study, limitations of current study as well as suggestions for future study were also included in the discussion.

• International Journal of Highway Engineering
• /
• v.10 no.3
• /
• pp.69-77
• /
• 2008

This article proposes new method for estimating pedestrian quality of service(QOS) that is useful to changing pedestrian environment by examining pedestrian quality of service as well as developing new method that integrate qualitative variables into the estimating indicators for the pedestrian movement right. Based on survey questionnaire addressed to experts group, the obtained data for the indicators were analyzed through Analytic Hierarchy Process(AHP). The results show that pedestrian traffic flow(quantitative figure: 52%), sidewalk geometric(quantitative figure: 16%), sidewalk usage behavior(qualitative figure: 11%) in commercial and business zone pointed out the importance of quantitative indicators such as pedestrian traffic flow, and sidewalk geometric. In addition, the results also show that pedestrian traffic flow(quantitative figure: 30%), sidewalk geometric(quantitative figure : 22%), sidewalk usage behavior(qualitative figure: 20%) indicate the significance of qualitative indicators such as pedestrian's sidewalk usage.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.3
• /
• pp.27-36
• /
• 2002

Numerical stability is studied based on numerics and mathematics. It is frequently observed in the region where velocity is zero. In that region, the Euler equation have numerous solutions and, thus, it is impossible to determine a unique solution with only governing equations. However, a unique solution can be determined by additional outer flow conditions or outer numerical discontinuity calculation since the information or a unique solution under undisturbed conditions is lost by disturbances. In this reason, the numerical scheme comsistent with Euler equations cannot remove shock instability completely.