• Title/Summary/Keyword: 신뢰도 기반 설계

Search Result 1,303, Processing Time 0.031 seconds

A Study for Security-Based Medical Information Software Architecture Design Methodology (의료정보보안 기반 소프트웨어 아키텍처 설계방법)

  • Kim, Jeom Goo;Noh, SiChoon
    • Convergence Security Journal
    • /
    • v.13 no.6
    • /
    • pp.35-41
    • /
    • 2013
  • What is an alternative to medical information security of medical information more secure preservation and safety of various types of security threats should be taken, starting from the software design. Interspersed with medical information systems medical information to be able to integrate the real-time exchange of medical information must be reliable data communication. The software architecture design of medical information systems and sharing of medical information security issues and communication phase allows the user to identify the requirements reflected in the software design. Software framework design, message standard design, design a web-based inter-process communication procedures, access control algorithm design, architecture, writing descriptions, evaluation of various will procedure the establishing architecture. The initial decision is a software architecture design, development, testing, maintenance, ongoing impact. In addition, the project will be based on the decision in detail. Medical information security method based on the design software architecture of today's medical information security has become an important task of the framework will be able to provide.

Model-Based Design and Enhancement of Operational Procedure for Guided Missile Flight Test System (유도무기 비행시험 시스템을 위한 모델 기반 운용절차의 설계 및 개선)

  • Park, Woong;Lee, Jae-Chon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.20 no.4
    • /
    • pp.479-488
    • /
    • 2019
  • The flight test operational procedure artifact includes mission planning, execution methods, and safety measures for each step of test progress. As the development of guided missiles has become more advanced and strategic, flight test has become increasingly complex and broadened. Therefore, increased reliability of the flight test operation procedures was required to ensure test safety. Particularly, the design of the flight test operational procedures required verification through M&S to predict and prepare for the uncertainty in a new test. The relevant studies have published the optimal framework development for flight tests and the model-based improvements of flight test processes, but they lacked the specificity to be applied directly to the flight test operational procedures. In addition, the flight test operational procedures, which consist of document bases, have caused problems such as limitations of analysis capabilities, insensitive expressions, and lack of scalability for the behavior and performance analysis of test resources. To improve these problems, this paper proposes how to design operational procedure of guided missile flight test system by applying MBSE(Model-based Systems Engineering). This research has improved reliability by increasing the ability to analyze the behavior and performance of test resources, and increased efficiency with the scalability applicable to multiple flight tests. That can be also used continuously for the guided missile flight tests that will be developed in the future.

Implementation of Testbed for Policy Based MANET Management (정책 기반 MANET 관리를 위한 테스트베드의 구현)

  • Huh, Jee-Wan;Song, Wang-Cheol
    • Proceedings of the KAIS Fall Conference
    • /
    • 2009.12a
    • /
    • pp.994-997
    • /
    • 2009
  • MANET은 노드가 이동성을 가지고 있으며, 네트워크 위상을 자율적으로 결정하는 특성을 가지고 있다. 정책기반 망 관리 시스템을 MANET에 도입하기 위한 연구는 이러한 네트워크 특성을 고려하여 신뢰성과 효율성을 확보하기 위해 이루어지고 있다. 또한, 정책기반 망 관리 시스템은 유선 네트워크를 기반으로 제안되어 있으므로 이를 MANET에 도입하기 위해서는 여러 가지 수정이 필요한 부분이 있다. 정책 기반 망 관리 시스템은 SNMP의 MIB나 LDAP를 이용하는 정책 저장소와 노드의 상태를 수신하여 정책을 배포하는 정책결정자, 그리고 정책을 수신하여 수행하는 정책 수행자 노드가 있다. 본 논문에서는 MANET 라우팅을 이용하고 표준 정책 기반 망 관리 시스템에서 정책 결정자와 정책수행자 사이의 프로토콜로 제안된 COPS-PR을 MANET에 특성에 맞게 수정한 능동적 PDP 탐색 메커니즘을 이용한 테스트베드를 설계하고 구현한다.

  • PDF

The Reliability-Based Probabilistic Structural Analysis for the Composite Tail Plane Structures (복합재 미익 구조의 신뢰성 기반 확률론적 구조해석)

  • Lee, Seok-Je;Kim, In-Gul
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.15 no.1
    • /
    • pp.93-100
    • /
    • 2012
  • In this paper, the deterministic optimal design for the tail plane made of composite materials is conducted under the deterministic loading condition and compared with that of the metallic materials. Next, the reliability analysis with five random variables such as loading and material properties of unidirectional prepreg is conducted to examine the probability of failure for the deterministic optimal design results. The MATLAB programing is used for reliability analysis combined with FEA S/W(COMSOL) for structural analysis. The laminated composite is assumed to the equivalent orthotropic material using classical laminated plate theory. The response surface methodology and importance sampling technique are adopted to reduce computational cost with satisfying the accuracy in reliability analysis. As a result, structural weight of composite materials is lighter than that of metals in deterministic optimal design. However, the probability of failure for the deterministic optimal design of the tail plane structures is too high to be neglected. The sensitivity of each variable is also estimated using probabilistic sensitivity analysis to figure out which variables are sensitive to failure. The computational cost is considerably reduced when response surface methodology and importance sampling technique are used. The study of the computationally inexpensive method for reliability-based design optimization will be necessary in further work.

Reliability-based Design Optimization for Lower Control Arm using Limited Discrete Information (제한된 이산정보를 이용한 로어컨트롤암의 신뢰성 기반 최적설계)

  • Jang, Junyong;Na, Jongho;Lim, Woochul;Park, Sanghyun;Choi, Sungsik;Kim, Jungho;Kim, Yongsuk;Lee, Tae Hee
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.22 no.2
    • /
    • pp.100-106
    • /
    • 2014
  • Lower control arm (LCA) is a part of chassis in automotive. Performances of LCA such as stiffness, durability and permanent displacement must be considered in design optimization. However it is hard to consider different performances at once in optimization because these are measured by different commercial tools like Radioss, Abaqus, etc. In this paper, firstly, we construct the integrated design automation system for LCA based on Matlab including Hypermesh, Radioss and Abaqus. Secondly, Akaike information criterion (AIC) is used for assessment of reliability of LCA. It can find the best estimated distribution of performance from limited and discrete stochastic information and then obtains the reliability from the distribution. Finally, we consider tolerances of design variables and variation of elastic modulus and achieve the target reliability by carrying out reliability-based design optimization (RBDO) with the integrated system.

Case Study on Influential Factors of Nonlinear Response History Analysis - Focused on 1989 Loma Prieta Earthquake - (비선형 응답이력해석의 영향인자에 대한 사례연구 - 1989 Loma Prieta 지진 계측기록을 중심으로 -)

  • Liu, Qihang;Lee, Jin-Sun
    • Journal of the Korean Geotechnical Society
    • /
    • v.33 no.12
    • /
    • pp.45-58
    • /
    • 2017
  • As many seismic codes for various facilities are changed into a performance based design code, demand for a reliable nonlinear response-history analysis (RHA) arises. However, the equivalent linear analysis has been used as a standard approach since 1970 in the field of site response analysis. So, the reliability of nonlinear RHA should be provided to be adopted in replace of equivalent linear analysis. In this paper, the reliability of nonlinear RHA is reviewed for a layered soil layer using Loma Prieta earthquake records in 1989. For this purpose, the appropriate way for selecting nonlinear soil models and the effect of base boundary condition for 3D analysis are evaluated. As a result, there is no significant differences between equivalent linear and nonlinear RHA. In case of 3D analysis, absorbing boundary condition should be applied at base to prevent rocking motion of the whole model.

A Cadence SMV Based Formal Verification Method for Combinational Logics Written in Verilog HDL (Verilog HDL로 기술된 조합 논리회로의 Cadence SMV 기반 정형 검증 방법)

  • Jo, Seong-Deuk;Kim, Young-Kyu;Moon, Byungin;Choi, Yunja
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2015.10a
    • /
    • pp.1027-1030
    • /
    • 2015
  • 하드웨어 디자인 설계에서 초기 단계의 설계 오류 발견은 개발 비용 감소 및 설계 시간 단축 측면에서 그 효과가 매우 크다. 이러한 초기 설계 오류 발견을 위한 대표적인 방법으로는 정형 검증(formal verification)이 있으며, Cadence SMV(Symbolic Model Verifier)는 정형 검증을 위해 Verilog HDL(Hardware Description Language)을 SMV로 자동 변환 해주는 장점이 있지만, 사건 기반 구조(event based structures)의 sensitivity list에 대한 지원을 하지 않는 한계가 있다. 이에 본 논문에서는 Cadence SMV에서 디지털회로(digital circuit) 중 하나인 조합 논리회로(combinational logic circuit)를 sensitivity list가 고려된 검증이 가능하도록 하는 방법을 제안한다. 신뢰성 있는 실험을 위해 본 논문에서는 제안하는 방법의 일반적인 규칙을 도출하였고, 도출된 규칙이 적용된 SMV 파일을 생성하는 자동화 프로그램을 구현하여 실험하였다. 실험결과 제안한 방법을 적용한 경우 기존 Cadence SMV가 발견하지 못한 설계상의 오류를 발견할 수 있었다.

Designing Software Architecture for Reusing Open Source Software (오픈 소스 소프트웨어 재사용을 위한 소프트웨어 아키텍처 설계)

  • Choi, Yongseok;Hong, Jang-Eui
    • Journal of Convergence for Information Technology
    • /
    • v.7 no.2
    • /
    • pp.67-76
    • /
    • 2017
  • Along with shortening the life cycle of software utilization and supporting various types of user functions, the importance of software architecture development has been emphasized recently. If a software architecture is developed flexibly and reliably for expansion to support new functionality, it can quickly cope with new market demands. This paper proposes an architecture design method based on design recovery of open source software to reuse the software in the development of sustainable software system. When using open source software to develop a software system based on software architecture, we can develop a software system rapidly and also can improve the reliability of the system because we use the already proven open source software in the development.

Partial Safety Factor of Offshore Wind Turbine Pile Foundation in West-South Mainland Sea (서남해안 해상풍력단지 말뚝기초의 부분안전계수)

  • Yoon, Gil Lim;Kim, Sun Bin;Kwon, O Soon;Yoo, Moo Sung
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.34 no.5
    • /
    • pp.1489-1504
    • /
    • 2014
  • This paper is aimed to suggest a site specific partial safety factor of offshore wind turbine (OWT) pile foundation design for the offshore wind turbine complex at a West-South mainland sea in Korea. International offshore wind design standards such as IEC, GL, DNV, API, ISO and EUROCODE were compared with each partial safety factor and resistance factor. Soil uncertainty analysis using a large number of soil data sampled was carried out, and their results were adapted to estimate partial safety factor of OWT pile foundation through reliability analyses. The representative partial safety factor has been estimated as 1.3. When a proposed partial factor is willing to use to other sites, it is recommended that further studies on code calibration are required to validate their accuracy using more site characterization data.

A Study on the Service Reliability and Power Quality Improvement Using Hybrid Type Capacitor Bank (하이브리드 타입 커패시터 뱅크를 이용한 공급신뢰도 및 전력품질 개선 방안 연구)

  • Lee, Hansang;Yoon, Dong-Hee
    • Journal of IKEEE
    • /
    • v.18 no.3
    • /
    • pp.313-319
    • /
    • 2014
  • The objectives of power system operations are to preserve system stability and reliability as well as to supply proper electric power. For an activation of these objectives, voltage and reactive power should be considered. There are a number of types about reactive power sources, and an insertion of shunt capacitor banks are one of the method to support bus voltage adjacent. This paper includes the design procedure to determine the hybrid type capacitor bank configurations on power system to improve stability and reliability. This procedure includes the capacitor bank capacity calculation, reactor type selection, and reactor capacity calculation. The total capacity calculation of capacitor bank is based on the reactive power margin which is calculated through system studies such as, contingency analysis and Q-V analysis. In the second step, the reactor type and its capacity can be determined through the harmonic analysis. This paper shows that the harmonics are decreased by the proposed hybrid type capacitor bank, especially 5th and 7th harmonics.