• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.17 no.2
• /
• pp.263-269
• /
• 2017

'Goal Model' is core knowledge of 'Autonomic Control System' suggested to minimize human interference in system management. 'Autonomic Control System' performs 'Monitoring-Analysis-Plan-Execution', that is the four step of 'Autonomic Control', based on 'Goal Model'. Therefore, it is necessary to quantify achievement ratio of 'Goal Model' of target system. Thus, this paper present 'Probabilistic Evaluation of Goal Model' for methodology how to quantify achievement ratio of 'Goal Model'. It comprises 3-steps including 'Goal modeling and weighting', 'Goal model monitoring', 'Goal model evaluation and analysis'. Through these research, we provide core knowledge for 'Autonomic Control system' and it is possible to increase the reliability of system by evaluating 'Goal model' with applying weight. As case study, we apply 'Goal model' to a 'Smart IoT Kit' and we demonstrate the validity of the suggested research.

• The Korean Journal of Archival Studies
• /
• no.73
• /
• pp.5-46
• /
• 2022

This study aims to develop the trustworthiness model for public digital records, as an admissibility framework for establishing trust. The trustworthiness model is deemed to used to identify the qualities of the digital records in their lifecycle, including the identity that could be identified at the time of the creation, integrity obtained from the chain-of-custodial management, the evidence of relationship between business activities and records, and the technical or cognitive accessibility. Based on the analysis of the QADEP model, it was decided to develop a model that could measure the trustworthiness of public digital records in the external measurement type, which are authenticity, reliability, and usability. In line with this direction, the model expanded measurement areas and indicators of the QADEP model through the analysis of ISO 16175-1:2020, and measuring metrics was also proposed so that it could be a measuring instrument for public digital records in Korea, after analysing NAK 19-3. It would be useful to expand the model and to test the approach of the trustworthiness model for public digital records.

• Proceedings of the KIPE Conference
• /
• 1999.07a
• /
• pp.497-500
• /
• 1999

고속전철의 보조 전원 장치는 차량에 탑재되므로 소형화, 경량화 및 고신뢰성이 요구된다. 보조전원 장치중 Battery Charge는 고압의 직류전원(670Vdc)을 저압의 직류전원(83Vdc)으로 변환하여 객차(Trailer Car : 50kW) 및 동력차(Power Car : 10Kw)에 필요한 직류전원을 안정되게 공급하고 Battery Charger의 고장 발생 시를 대비해 Battery의 최적 충전상태를 유지해야 한다. 기술개발의 최종 목표는 고효율, 고신뢰성 밧데리 충전기 시스템 개발, EMI 저감, 부피와 무게의 소형경량화, 최적 스위칭 기술 및 회로 개발이다. IGBT에 대해 소프트 스위칭 기법을 사용하여 스위칭 손실 저감 및 소자의 스트레스의 저감으로 전력 변환 장치의 효율 향상과 소자의 신뢰성을 확보하였고, 스위칭 주파수를 높여 변압기나 인덕터등의 자기 소자의 크기를 줄였다. Battery Charger를 단일 모듈로 구성하기 보다 5kW 모듈을 여러개 조합한 다중모듈방법으로 병렬 운전하므로써 입출력 전류리플룰 감소시켰으며 시스템의 안정성과 신뢰성을 높일 수 있었다.

• Journal of Korean Academy of Nursing
• /
• v.22 no.1
• /
• pp.42-48
• /
• 1992

이 연구는 현존해 있는 다양한 임상평가도구의 신뢰도와 타당도에 관한 분석 서술 연구이다. Rines(1974)에 의하면 평가는 학습경험을 통하여 목적을 달성하는 지의 여부를 측정하는 것이라고 하였고 평가의 목적은 교육증진을 도모하며, 목표를 설정하고, 학생의 학습진행과정을 사정하여 학생들을 위한 프로그램을 사정, 개발시키는데 있다고 피력 하였다. 간호교육에는 실무교육이 많은 비중을 차지하고 있다. 또한 많은 간호교육자들은 실습평가에 있어 많은 어려움을 경첩하고 있다. 이러한 난해한 실습평가도구를 개발하기 위하여 선행된 우선순위로써 현존해 있는 다양한 평가도구의 신뢰도와 타당도를 평가하는 것이 의의 있는 일이라 사료된다. 이 논문은 실습평가도구의 신뢰도와 타당도에 관심을 가진 임상지도교수나 간호교육자들을 대상으로 한 서술적 연구이다. 우선 간호교육평가에 있어서의 문제점을 분석하고 평가도구에 대한 전문가(Authority)의 의견을 피력한 다음 저자의 의견을 서술하였다. 결론적으로 현재까지 개발된 완전한 임상실습평가의 방법은 없다. 그러므로 현존해 있는 평가방법을 서술평가하고 문제점을 지적하므로써 질적인 평가도구개발에 도움을 줄 수 있다. 앞으로 간호교육자들이 각 문제점들을 보완하여 교육목적을 달성시킬 수 있는 효율적인 평가도구를 개발하는 것이 급선무이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.280-282
• /
• 2010

위기대응 매뉴얼은 지진, 태풍 등 상황에 적절하게 적용되며 신뢰성 있게 작동한다는 것이 보장되어야 한다. 따라서 위기대응 매뉴얼의 검증은 필수적이며, 이를 위해 본 논문에서는 정형기법 도구인 Statemate를 이용한 명세, 검증 및 신뢰성 개선방안을 제시한다. 모델체킹을 통해서 매뉴얼 사용자들의 임의적인 판단을 일의킬 수 있는 Non-Determinism과 대응 매뉴얼이 달성하고자 하는 목표의 도달여부에 대해 검증을 수행할 수 있으며, 이외에도 사용자가 원하는 검증 속성을 Temporal Logic으로 작성해서 검증할 수 있다. 또한 도구에서 지원하는 시뮬레이션을 통해 제한적이지만 조치내용의 적절성 여부와 추가적으로 발생 가능한 트리거를 찾음으로써 위기대응 매뉴얼의 신뢰성을 향상시킬 수 있다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.40
• /
• pp.69-79
• /
• 1996

하드웨어 설계 과정에서 신뢰성 담당자들에게 당면한 문제는 요구된 임무에 필요한 기능적 요구사항의 달성 가능성과 요구된 임무를 달성할 확률의 예측여부 및 이의 적합성을 판단하는 것이다. 첫번째의 문제는 기존의 신뢰성 공학의 방법을 사용하여 해결되지만 두번째의 문제는 잦은 사후 설계 변경을 필요로 하기 때문에 항상 시스템 전체에서의 최적을 고려하여 이루어지지 못하고 있다. 본 논문에서는 그러한 잦은 사후 설계 변경등으로 인한 취약한 점을 극복하기 위한 방법론으로 하드웨어 설계 신뢰성 공학을 다루며 그 분석 도구로서 목표달성 나무(Goal-tree)의 사용과 그 응용을 제시하고자 한다.

• Journal of the Society of Naval Architects of Korea
• /
• v.32 no.1
• /
• pp.25-36
• /
• 1995

The application of the reliability analysis is investigated as a probabilistic approach to the assessment of ship's structural strength and to the establishment of design format for longitudinal strength. Reliability analyses are carried out for 34 ships of tankers and bulk carriers built in HHI for some failure modes such as tensile yielding, compressive buckling and ultimate strength of hull girder. The safety assessment of each ship, the calculation of sensitivity factors and the derivation of target reliability index are performed. As results. the difference of reliability indices among ships is great for all modes. To provide more uniform levels of safety the establishment of new strength criteria using partial safety factors is performed. The partial safety factors for the design format are obtained according to the AFOSM method and the reliability-conditioned(RC) method. Finally, a design format using partial safety factors has been proposed. We could find out that new strength criteria can produce consistent reliability indices which are close to the target value.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.2
• /
• pp.329-335
• /
• 2019

Reliability growth analysis was conducted for a guided weapons system. In the development phase, reliability management activities were continuously carried out by identifying failure modes and causes and analyzing faults found during the testing. The missile system consists of an all-up-round missile and a launcher, and the analysis was carried out according to the test results of each system. The test results for the all-up-round missile were obtained with discrete data, which were success and failure as a one-shot-device. The test results for the launcher were obtained with continuous data by operating the equipment continuously in the test. For each test result, the reliability growth model was applied to the Standard Gompertz model and the Crow-Extended model. The models were used to identify the growth analysis results of the test so far. It was also possible to predict the reliability growth results by assuming the future test results. The study results could be useful in achieving the desired reliability goal and in determining the number of tests. Then, the planned test will be confirmed and the growth analysis of the missile system will continuously be conducted.

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.56-60
• /
• 2016

Peptide identification in tandem mass spectrometry is usually done by searching the spectra against target databases consisting of reference protein sequences. To control false discovery rates for high-confidence peptide identification, spectra are also searched against decoy databases constructed by permuting reference protein sequences. In this case, a peptide of the same sequence could be included in both the target and the decoy databases or multiple entries of a same peptide could exist in the decoy database. These phenomena make the protein identification problem complicated. Thus, it is important to minimize the number of such redundant peptides for accurate protein identification. In this regard, we examined two popular methods for decoy database generation: 'pseudo-shuffling' and 'pseudo-reversing'. We experimented with target databases of varying sizes and investigated the effect of the maximum number of missed cleavage sites allowed in a peptide (MC), which is one of the parameters for target and decoy database generation. In our experiments, the level of redundancy in decoy databases was proportional to the target database size and the value of MC, due to the increase in the number of short peptides (7 to 10 AA). Moreover, 'pseudo-reversing' always generated decoy databases with lower levels of redundancy compared to 'pseudo-shuffling'.

• Journal of the Korea Concrete Institute
• /
• v.17 no.6 s.90
• /
• pp.955-962
• /
• 2005

Still no accurate theory exists for predicting ultimate shear strength of deep reinforced concrete beams because of the structural and material non-linearity after cracking. Currently, the load capacity assesment is performed for the upper structure of the bridges and containing non-reliability in the applications and results. The purpose in this study is to evaluate analytically the complex shear behaviors and normal strength for the reinforced concrete deep beams and to offer the accuracy load capacity assesment method based on the reliability theories. This paper presents a method for the load capacity assesment of reinforcement concrete deep beams using nonlinear finite element analysis. A computer program named RCAHEST (Reinforced Concrete Analysis in Higher Evaluation System Technology), for the analysis of reinforced concrete structures was used. Material non-linearity is taken Into account by comprising tensile, compressive and shear models of cracked concrete and a model of reinforcing steel. From the results, determine the reliability index for the failure base on the Euro Code. Then, calculate additional reduction coefficient to satisfy the goals from the reliability analysis. The proposed numerical method for the load capacity assesment of reinforced concrete deep beams is verified by comparison with the others methods.