소프트웨어 노화에 따른 시스템의 예기치 않은 장애 발생은 재활 기능을 주기적으로 수행함으로써 줄일 수 있다. 이 시스템 재활 기능은 주로 시스템이 가장 한가한 시간에 수행하는 것이 효과적이다. 이를 통해 시스템 가용도를 높일 수 있다. 재활 기법은 크게 시간 기반과 조건 기반의 두 가지 종류로 나눌 수 있다. 시간 기반 재활은 정해진 시간 간격마다 수행되고, 조건 기반 재활은 시스템 상태가 특정 조건을 만족할 때 수행된다. 조건 기반 방식은 시스템 감시와 정보의 수집 및 통계적 분석을 통해 재활 시점을 추정해야하기 때문에 추가적인 비용이 발생한다. 본 논문은 시간 기반 소프트웨어 재활 기법을 분석할 수 있는 확률 모형을 제시한다. 제시한 모형은 재활을 주기적으로 수행하는 시간 간격을 일정하게 유지할 수 있는 현실적인 상황을 반영한다. 해당 확률 모형을 수학적으로 분석하여, 정상 상태에서의 시스템 가용도와 사용자 인지 가용도 및 이에 따른 비용을 분석한다.
A top priority in the design of underwater vehicle is to guarantee the dependability of the electric system because failure of the electrical power supply system is directly related to the life of the passengers. In this paper, we present four kinds of alternative designs to improve reliability of electrical system in underwater vehicle. To reduce the risk and to increase availability of the electrical system, we use the redundancy of the grid structure and power converter. For all design alternatives, we carry out Fault Tree Analysis. Based on the FTA result, we implement RAM simulation to compare the risk and availability for the proposed design alternatives.
International Journal of Internet, Broadcasting and Communication
/
제11권4호
/
pp.65-70
/
2019
We are looking the impact associated with globalization in favor of small and medium enterprises (SMEs) growth and how helped to reduce the obstacle facing SMEs growth. We used empirical analysis in order to examine the relationship underlying the globalization and its impact to SME growth. We employed primarily data from Tanzania SMEs. Further we seeks to explain the negative notion that has been created that globalization is not friendly to SME growths. We employed primary data from Tanzania SMEs. The partial least squares (PLS) was used for analysis. The conclusion has indicated that globalization has a relationship with SMEs growth and has contributed to the reduction of obstacles that inhibit SMEs growth. However study confirmed controversial result on part of availability of managers and manpower with global perspectives to influence SMEs growth. The test accepted that globalization has influenced availability of managers with global perspectives but reject the availability of these managers influences the SMEs growth The results give a clear outlook to help policy maker in policy review process, formulate base for extensive study on issues for manager perspectives and draw intervention.
Based on the theory of planned behavior and the theory of legal deterrence, this study takes consumers' willingness to pay for digital music as the research object, investigates the consumers who have digital music consumption channels and behaviors, and discusses the willingness of consumers to pay for digital music and its influencing factors. The study attempts to achieve the following research purposes: First, explore the influencing factors of willingness to pay for digital music using domestic and foreign literature research and related content analysis. Second, we want to examine the effect of Attitude, Collective Specifications, Quality Sensitivity and Music affinity on willingness to pay. Third, Legal deterrence and resource availability tries to verify whether there is a moderating effect between Attitude, Collective Specifications, Quality Sensitivity and Music affinity and willingness to pay. The research data was collected in 2019 between April 6th to May 8th. Questionnaires were randomly distributed in fixed places, mainly in Hubei Province, China. A total of 393 questionnaires were selected for data analysis. Based on the previous theoretical review and empirical analysis, the study draws the following conclusions: Firstly, attitude, collective specifications, quality sensitivity and music affinity have an impact on the willingness to pay. Second, Legal deterrence has a regulatory effect on the relationship among quality sensitivity, musical affinity and the willingness to pay. Last the resource availability has a significant impact on the willingness to pay. It also has a regulatory effect on the relationship among quality sensitivity, music affinity and the willingness to pay.
An aircraft must be designed to minimize system failure rate for obtaining the aircraft safety, because the aircraft system failure causes a fatal accident. The safety of the aircraft system can be predicted by analyzing availability, reliability, and maintainability of the system. In this study, the reliability and the maintainability of the hydraulic system are analysed except the availability, and therefore the reliability and the maintainability analysis process and the results are presented for a helicopter hydraulic system. For prediction of the system reliability, the failure rate model presented in MIL-HDBK-217F is used, and MTBF is calculated by using the Part Stress Analysis Prediction and quality/temperature/environmental factors described in NPRD-95 and MIL-HDBK-338B. The maintainability is predicted by FMECA(Failure Mode, Effect & Criticality Analysis) based on MIL-STD-1629A.
It is important for communication networks to possess the capability to overcome failures and provide survivable services. We address modeling and analysis of performability affected by both performance and availability of system components for a token ring network under failure and repair conditions. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, hierarchical SRN modeling techniques are used to overcome state largeness problem. The upper level model is used to compute availability and the lower level model captures the performance. And Normalized Throughput Loss (NTL) is obtained for the composite ring network for each node failures occurrence as a performability measure. One of the key contributions of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performability analysis for a token ring network under SRN reward concepts.
The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).
최근 뉴스페이스 시대에는 과거의 고신뢰성 위성과 다르게 낮은 신뢰성 위성을 저가의 개발/양산 비용으로 개발하여 군집위성을 발사하고 있다. 경제적인 군집위성 개발을 위해서는 위성 사용자/개발자는 군집위성으로 발사되었을 때 기대되는 수명기간 동안 임무 성능의 유지 가능성 여부를 검토해야 한다. 또한, 성능유지를 위해 임의 고장에 의한 교체 계획도 수립되어야 한다. 본 연구에서는 지구관측 군집위성의 임무 성능의 유지와 교체 전략 수립을 위해 시스템 신뢰성 및 가용성 평가 방법을 제안하였다. 본 연구에서는 위성 백업 및 지상 추가 발사 백업 상황과 군집위성에 요구되는 임무 성능을 고려한 군집위성 신뢰성 및 가용성 모델을 구성하였다. 신뢰성 모델은 k-out-of-n system의 개념으로 구성되었고 가용성 모델은 마르코프 체인 모델을 이용하였다. 제안된 신뢰성 모델을 바탕으로 임무 요구사항에 필요한 최소 위성 개수를 정의하고, 요구 임무기간 동안 요구 임무 신뢰성 만족을 위해 궤도상 필요한 위성을 계산하였다. 또한 가용성 분석을 통해 요구 서비스기간 동안 요구 가용성 만족을 위한 궤도상 위성 여분 및 지상 여분의 개수를 분석하였다. 마지막으로 비용모델을 적용하여 위성의 신뢰성 및 개발 위성 개수간에 절충분석 개념을 제안하였다.
위성항법시스템(GNSS)을 민간항공 분야에 활용하기 위해서는 국제민간항공기구(ICAO)가 정한 비행단계별 정확성(Accuracy), 무결성(integrity), 연속성(continuity), 가용성(availability) 성능요구조건을 만족시켜야 한다. 사용자의 무결성을 확보하기 위해서는 사용자의 보호 수준을 크게 잡아야 하고 가용성을 향상시키기 위해서는 보호수준이 작을수록 좋다. 따라서 주어진 항행요구조건을 만족하기 위해서는 사용자의 무결성을 확보하면서 보호수준을 최대한 작게 잡아야 한다. 본 논문에서는 한국형 광역보정시스템 테스트베드 중앙처리국 모듈의 현재까지 진행 상황에 대해서 설명하고 현재 사용되고 있는 무결성 관련 알고리듬을 적용하였을 때 사용자의 무결성 및 가용성 성능에 대한 예측을 수행하였다. 또한 항법위성의 궤도 및 시계오차에 대한 공분산 행렬을 사용자 무결성 감시에 적용하였을 때의 가용성 향상 정도를 시뮬레이션을 통해 예측하도록 한다.
본 논문은 공지(Aeronautical to Ground) 통신 환경에서 장거리용 공용 데이터링크로 개발되는 다중플랫폼 영상 정보용 공용 데이터링크(MPI-CDL : Multi-Platform Image & Intelligence Common Data Link)의 링크 가용도 분석 방법을 제안하고 링크 가용도를 만족하기 위해 필요한 링크마진을 분석한다. 제안된 링크 가용도 분석 방법은 강우감쇄와 다중경로 페이딩 분석모델을 하나의 조건부 확률로 변환함으로써 강우감쇄와 다중경로 페이딩을 함께 고려하여 링크 가용도를 분석할 수 있다. 영상정보용 공용 데이터링크의 주파수, 운용 고도, 통달거리에 따른 링크 가용도를 만족하기 위한 링크마진을 분석하고 실제 영상정보용 데이터링크가 적용되는 무인항공기의 운용환경을 고려한 링크마진 분석결과를 제시한다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.