• 제목/요약/키워드: Software availability

검색결과 257건 처리시간 0.021초

Is HAZOP a Reliable Tool? What Improvements are Possible?

  • Park, Sunhwa;Rogers, William J.;Pasman, Hans J.
    • 한국가스학회지
    • /
    • 제22권2호
    • /
    • pp.1-20
    • /
    • 2018
  • Despite many measures, still from time to time catastrophic events occur, even after reviewing potential scenarios with HAZID tools. Therefore, it is evident that in order to prevent such events, answering the question: "What can go wrong?" requires more enhanced HAZID tools. Recently, new system based approaches have been proposed, such as STPA (system-theoretic process analysis) and Blended Hazid, but for the time being for several reasons their availability for general use is very limited. However, by making use of available advanced software and technology, traditional HAZID tools can still be improved in degree of completeness of identifying possible hazards and in work time efficiency. The new HAZID methodology proposed here, the Data-based semi-Automatic HAZard IDentification (DAHAZID), seeks to identify possible scenarios with a semi-automated system approach. Based on the two traditional HAZID tools, Hazard Operability (HAZOP) Study and Failure Modes, Effects, and Criticality Analysis (FMECA), the new method will minimize the limitations of each method. This will occur by means of a thorough systematic preparation before the tools are applied. Rather than depending on reading drawings to obtain connectivity information of process system equipment elements, this research is generating and presenting in prepopulated work sheets linked components together with all required information and space to note HAZID results. Next, this method can be integrated with proper guidelines regarding process safer design and hazard analysis. To examine its usefulness, the method will be applied to a case study.

Filtering and Intrusion Detection Approach for Secured Reconfigurable Mobile Systems

  • Idriss, Rim;Loukil, Adlen;Khalgui, Mohamed;Li, Zhiwu;Al-Ahmari, Abdulrahman
    • Journal of Electrical Engineering and Technology
    • /
    • 제12권5호
    • /
    • pp.2051-2066
    • /
    • 2017
  • This paper deals with reconfigurable secured mobile systems where the reconfigurability has the potential of providing a required adaptability to change the system requirements. The reconfiguration scenario is presented as a run-time automatic operation which allows security mechanisms and the addition-removal-update of software tasks. In particular, there is a definite requirement for filtering and intrusion detection mechanisms that will use fewer resources and also that will improve the security on the secured mobile devices. Filtering methods are used to control incoming traffic and messages, whereas, detection methods are used to detect malware events. Nevertheless, when different reconfiguration scenarios are applied at run-time, new security threats will be emerged against those systems which need to support multiple security objectives: Confidentiality, integrity and availability. We propose in this paper a new approach that efficiently detects threats after reconfigurable scenarios and which is based on filtering and intrusion detection methods. The paper's contribution is applied to Android where the evaluation results demonstrate the effectiveness of the proposed middleware in order to detect the malicious events on reconfigurable secured mobile systems and the feasibility of running and executing such a system with the proposed solutions.

스토리지 클래스 메모리를 활용한 시스템의 신뢰성 향상 (Enhancing Dependability of Systems by Exploiting Storage Class Memory)

  • 김효진;노삼혁
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제37권1호
    • /
    • pp.19-26
    • /
    • 2010
  • 본 논문에서는 차세대 비휘발성램 기술인 스토리지 클래스 메모리(SCM)와 DRAM을 병렬적으로 메인 메모리로서 도입하고, SCM+DRAM 메인 메모리 시스템을 시스템 신뢰성 측면에서 활용한다. 본 시스템에서는 부팅 없는 즉각적인 시스템 온/오프, 프로세스의 동적인 영속성 또는 비영속성의 선택, 그리고 이를 통하여 전원과 소프트웨어 장애로부터의 빠른 복구를 제공한다. 본 논문에서 제안하는 시스템의 장점은 체크포인팅에서의 문제들, 즉 심각한 오버헤드와 복구 지연을 야기하지 않으며, 특히 응용 프로그램에 대한 완전한 투명성을 제공하기 때문에 보편적인 응용 프로그램에 영속성을 제공할 수 있어 실제 환경에 적용되기가 쉽다. 우리는 이를 검증하기 위해 상용 운영체제인 리눅스 커널 2.6.21을 기반으로 시스템을 구현하였고, 실험을 통해 영속성이 지정된 프로세스가 시스템의 오프-온 후 데이터 손실 없이 즉각적으로 실행을 지속하는 것을 알 수 있었으며, 이를 통하여 우리는 본 시스템에서 가용성과 신뢰성이 향상될 수 있음을 확인하였다.

다층신경망을 이용한 모바일 자동 변환 시스템 (Mobile Automatic Conversion System using MLP)

  • 한은정;장창혁;정기철
    • 한국멀티미디어학회논문지
    • /
    • 제12권2호
    • /
    • pp.272-280
    • /
    • 2009
  • 모바일 기술의 발전으로 오프라인 컨텐츠가 아닌 온라인 매체로 다양한 영상 컨텐츠를 제공받는 수요층이 늘어나고 있다. 그러나 모바일 단말기의 작은 화면에 맞게 수작업으로 편집/수정하기 위해서는 비용과 노력이 많이 드는 단점이 있다. 따라서 본 논문에서는 영상 컨텐츠 가운데 가장 다양한 형태를 지닌 인쇄 만화를 모바일 단말기 환경에 맞게 자동 변환하는 Automatic Comics Conversion(ACC) 시스템을 제안한다. 모바일 단말기 화면에 적합한 형태로 기존 오프라인 만화책 각 한 면의 프레임으로 분할하기 위해 다층신경망(MLP: Multi-Layer Perceptorn)을 이용하였으며, 각 프레임은 영상의 의미 구조 (Semantic Structure)의 손실을 최소화하여 적합한 크기로 분할된 영상들을 자동 변환하여 제공한다. 또한 동적인 만화 영상을 애니메이션으로 제공하기 위하여 텍스처 분석 연구를 더 했다. 이에 본 연구는 만화뿐만 아니라 프레임 단위로 되어있는 사진, 웹사이트, 다양한 영상 등을 언제 어디서나 제공받을 수 있도록 모바일 단말기에 제공함으로써 효율성을 검증한다. 또한 오프라인의 정지 영상을 분할된 영상 프레임 정보를 통해 움직이는 영상으로 제공할 수도 있다.

  • PDF

분산된 지리정보시스템에서 새로운 잠금기법을 이용한 중복된 공간 데이터의 변경 전파 (Update Propagation of Replicated Spatial Data using New Locking Techniques in Distributed Geographic Information System)

  • 최진오;홍봉희
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제26권9호
    • /
    • pp.1061-1072
    • /
    • 1999
  • 한 개 이상의 사이트에 공간 데이타가 중복 저장된 분산 공간 DB에서, 동시에 수행될 수 있는 긴 트랜잭션의 변경은 일관성 제어를 위해 다른 사이트에 전파되어야 한다. 이때 같은 영역의 공간 데이타를 서로 다른 사이트에서 동시에 변경할 경우, 변경 상충 문제가 발생하거나 잠금 기법에 의한 오랜 대기 시간이 초래되는 문제가 있다. 또한 공간 객체는 잠금의 대상이 아닌 공간 관련성에 의한 종속성을 가진다.이 논문은 긴 트랜잭션으로 중복된 공간 데이타를 변경할 경우 중복 제어를 위한 변경 전파와 동시성 제어 문제를 다룬다. 중복된 공간 데이타의 변경 병렬성을 향상시키기 위해 영역 잠금 및 SR-bound WRITE 잠금 기법을 제시한다. 한 사이트에서 수정하는 객체들과 다른 사이트에서 수정하는 객체들 사이에 공간 관련성에 의한 종속성이 없을 경우 병렬 수정을 허용하도록 제어하며, 공간 관련성에 의한 종속성이 있을 경우 SR-based 2PC라 불리는, 확장된 2단계 완료 프로토콜로 협동작업을 수행해서 변경 상충을 해결하는 새로운 중복 제어 기법을 설계하고 구현한다.Abstract The update of a long transaction should be propagated to the other sites for consistency control, when spatial database are replicated at multiple sites to achieve availability, reliability, and performance. When the replicated spatial data are updated at the same time, the update of one site would be conflicted with the other or a user would not be able to access the replicated spatial data under the control of locking. Two spatial objects having spatial relationships should be cooperatively updated even if there are no conflicts of locking for them.This paper deals with the issues of concurrency control and update propagation of replicated spatial data. We present the concept of region lock and SR-bound WRITE lock for enhancing the parallelism of updating the replicated spatial data. If there are no spatial relationships between one site's objets and the other's objects, parallel update would be allowed. Concurrent update of two spatial objects having spatial relationships should be propagated and cooperated by using an extended two-phase commit protocol, called spatial relationship-based 2PC.

GIS를 이용한 양식어장 정보관리 시스템 구축 (Construction of the Fishing Grounds Information Management System using GIS)

  • 박성은;최우정;이원찬;구준호;정래홍;박종수
    • 한국지리정보학회지
    • /
    • 제7권3호
    • /
    • pp.90-98
    • /
    • 2004
  • 연안 양식어장의 정보 관리에 실용적인 지리정보시스템(GIS)을 적용함으로써 어업종사자와 연안 관리자에게 실현 가능한 관리방안을 제시하고 수산업 발전을 위한 유연한 의사결정의 기반을 마련하고자 하였다. 연안 양식어장의 효과적 관리는 경제적 실행 가능성과 운영비용에 영향을 미치며 양식 대상생물의 생산 및 사망률과도 관계가 있으므로 매우 중요하다. GIS는 양식어장 정보의 효율적인 관리도구로서 개인 및 공공분야에서 폭넓게 사용되고 있으며 해양수산 관련분야에서도 활발히 적용되고 있다. 본 연구에서는 진해만을 대상으로 연안 양식장 자료의 3차원 가시화 모듈을 구축하였다.

  • PDF

Markov's Modeling for Screening Strategies for Colorectal Cancer

  • Barouni, Mohsen;Larizadeh, Mohammad Hassan;Sabermahani, Asma;Ghaderi, Hossien
    • Asian Pacific Journal of Cancer Prevention
    • /
    • 제13권10호
    • /
    • pp.5125-5129
    • /
    • 2012
  • Economic decision models are being increasingly used to assess medical interventions. Advances in this field are mainly due to enhanced processing capacity of computers, availability of specific software to perform the necessary tasks, and refined mathematical techniques. We here estimated the incremental cost-effectiveness of ten strategies for colon cancer screening, as well as no screening, incorporating quality of life, noncompliance and data on the costs and profit of chemotherapy in Iran. We used a Markov model to measure the costs and quality-adjusted life expectancy of a 50-year-old average-risk Iranian without screening and with screening by each test. In this paper, we tested the model with data from the Ministry of Health and published literature. We considered costs from the perspective of a health insurance organization, with inflation to 2011, the Iranian Rial being converted into US dollars. We focused on three tests for the 10 strategies considered currently being used for population screening in some Iranians provinces (Kerman, Golestan Mazandaran, Ardabil, and Tehran): low-sensitivity guaiac fecal occult blood test, performed annually; fecal immunochemical test, performed annually; and colonoscopy, performed every 10 years. These strategies reduced the incidence of colorectal cancer by 39%, 60% and 76%, and mortality by 50%, 69% and 78%, respectively, compared with no screening. These approaches generated ICER (incremental cost-effectiveness ratios) of $9067, $654 and $8700 per QALY (quality-adjusted life year), respectively. Sensitivity analyses were conducted to assess the influence of various scales on the economic evaluation of screening. The results were sensitive to probabilistic sensitivity analysis. Colonoscopy every ten years yielded the greatest net health value. Screening for colon cancer is economical and cost-effective over conventional levels of WTP8.

맞춤형 통신 프로토콜과 서비스를 위한 액티브 네트워크 실행환경 (An Active Network Execution Environment for on Demand Customization of Communication Protocols and Services)

  • 이화영;강보영;임경식
    • 정보처리학회논문지C
    • /
    • 제11C권7호
    • /
    • pp.937-950
    • /
    • 2004
  • 본 논문에서는 프로토콜 조합 및 서비스 참조 기법을 지원하는 Customizable Architecture for Flexible Execution Environment(CAFEs) 실행환경을 실제 및 구현한다. CAFEs 실행환경은 프로토콜 및 서비스 소프트웨어의 재사용성을 높이기 위하여 기존 프로토콜의 기능 또는 알고리즘을 구현한 마이크로 프로토콜과 기존 응용과 호환하고 액티브 네트워크 서비스를 배포하기 위한 수단으로 동작하는 액티브 서비스라는 새로운 개념을 제시한다. 제안된 액티브 네트워크 실행환경은 기능에 따라 세 부분으로 설계되어 있다. 첫째, 가상 네트워크 시스템은 기존의 다양한 프로토콜 계층을 기반으로 가상 네트워크 채널을 형성하고 이를 바탕으로 액티브 노드를 연결한다. 둘째, 프로토콜 및 서비스 관리자는 마이크로 프로토콜 및 액티브 서비스를 합성함으로써 새로운 프로토콜과 서비스를 제공하는 역할을 담당한다. 마지막으로 이벤트 엔진은 이벤트 위임 모델을 사용하여 서비스에 존재하는 컴보넌트의 상태전이를 자동으로 감지한다. 그리고 개발된 CAFEs 실행환경을 검증하기 위하여 무선 인터넷 환경에서 사용자 단말에 적합한 웹 컨텐츠를 전달하기 위한 실험을 수행하여 가용성을 확보하였다.

GRASS와 Arc/Info를 이용한 DEM 데이터의 정확도와 에러 측정 (The Measurements of Data Accuracy and Error Detection in DEM using GRASS and Arc/Info)

  • 조성민
    • 한국지리정보학회지
    • /
    • 제1권1호
    • /
    • pp.3-7
    • /
    • 1998
  • GIS 데이타의 정확도 문제는 DEM과 같은 데이터의 유용성과 적용에 대한 서로 다른 견해를 불러 일으킨다. 데이터의 정확성은 좌표의 정확한 위치와 속성정보를 무작위적으로 검색하여 결정할 수 있다. DEM은 과거 보다는 손쉽게 취득할수 있고 이를 처리할수 있는 소프트웨어도 다양해 졌으나 GIS의 응용은 이미 만들어진 데이터에 따라 그 결과가 달라질수 있으므로 데이터의 정확도와 에러에 대한 주의를 기울일 필요가 있다. 본 연구의 목적은 1:24,000과 1:250,000 DEM 데이터를 이용하여 DEM의 정확도를 검색하고 데이터가 지닌 에러를 찾아내는 방법을 모색하는데 있다. GRASS와 Arc/Info를 이용하여 DEM을 레이어로 만들어내는 과정 또한 연구 되었다. 연구지역은 250 $km^2$의 면적을 지녔으며 연구 결과 1:250,000 DEM에서는 실제 등고값이 정상적으로 처리 되었으나 1:24,000 DEM에서는 실제의 등고값이 아닌 0으로 표현된 에러가 발견되었다.

3차원 의료영상진단기기를 이용한 가상 전립선 용적 측정 (Measurement of Prostate Phantom Volume Using Three-Dimensional Medical Imaging Modalities)

  • 성열훈;주용현;최보영
    • 대한의용생체공학회:의공학회지
    • /
    • 제31권4호
    • /
    • pp.285-291
    • /
    • 2010
  • Recently, advance on various modalities of diagnosing, prostate volume estimation became possible not only by the existing two-dimension medical images data but also by the three-dimensional medical images data. In this study, magnetic resonance image (MRI), computer tomography (CT) and ultrasound (US) were employed to evaluate prostate phantom volume measurements for estimation, comparison and analysis. For the prostate phantoms aimed at estimating the volume, total of 17 models were developed by using devils-tongue jelly and changing each of the 5ml of capacity from 20ml to 100ml. For the volume estimation through 2D US, the calculation of the diameter with C9-5Mhz transducer was conducted by ellipsoid formula. For the volume estimation through 3D US, the Qlab software (Philips Medical) was used to calculate the volume data estimated by 3D9-3Mhz transducer. Moreover, the images by 16 channels CT and 1.5 Tesla MRI were added by the method of continuous cross-section addition and each of imaginary prostate model's volume was yielded. In the statistical analysis for comparing the availability of volume estimation, the correlation coefficient (r) was more than 0.9 for all indicating that there were highly correlated, and there were not statistically significant difference between each of the correlation coefficient (p=0.001). Therefore, the estimation of prostate phantom volume using three-dimensional modalities of diagnosing was quite closed to the actual estimation.