• 제목/요약/키워드: Specification and Maintenance

검색결과 182건 처리시간 0.032초

비연속 시스템 제어를 위한 확장된 safe petri net 모델과 실시간제어를 위한 scanning algorithm의 개발 (Development of extended safe petri net model for discrete system control and scanning algorithm for real time control)

  • 황창선;서정일;이재만
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1988년도 한국자동제어학술회의논문집(국내학술편); 한국전력공사연수원, 서울; 21-22 Oct. 1988
    • /
    • pp.338-342
    • /
    • 1988
  • Recently, in sequence control systems, high flexibility and maintenance of control software are required. This is because product life cycles become shorter and control specification must be changed frequently. The authors extend the concept of Safe Petri Net to develop the design and analysis tool for sequence control systems taking the safeness and notation of input/output functions into consideration. Extended Safe Petri Net (S-Net) is proposed as such a new graph model and real time scanning algorithm based on S-Net is developed.

  • PDF

높은 집적도를 가지는 Windows XP PC 클러스터 구축 (Construction of Highly Integrated PC Cluster based on Windows XP)

  • 이성기;신재렬;최정열
    • 한국전산유체공학회:학술대회논문집
    • /
    • 한국전산유체공학회 2005년도 춘계 학술대회논문집
    • /
    • pp.41-46
    • /
    • 2005
  • A new PC cluster was designed and constructed based on Windows XP Operating system. Primary target of the present design was the high node density per rack by using the general PC parts those are cost-effective and readily available in the market. Other major design points were system cooling and the convenient maintenance using standard PC parts. Presently 24 nodes per rack seems to be optimum considering the specification of the network switching device, system cooling and power supply, but 40 nodes can be accommodated within a single rack at maximum. Windows XP was selected as a high-performance computing environment considering the cost and the convenience in acquisition, maintenance and education. Both fast-Ethernet and Gigabit Ethernet network connection were tested and compared with previous data, especially for Linux doter using Myrinet. The result shows that there is no significant difference between the operating systems and the Fast-Ethernet and/or Gigabit Ethernet are good solution for the high-performance PC cluster considering the cost and performance.

  • PDF

한국옥상녹화기술의 현황과 과제 (Current Status and Issues of Green Roof Technology in Korea)

  • 양병이
    • 한국환경복원기술학회지
    • /
    • 제7권4호
    • /
    • pp.1-7
    • /
    • 2004
  • The purpose of the study is to review current status of green roof technology and to suggest the issues and solutions related with the technological problems of green roof in Korea. The scope of the study is limited to the extensive green roof which requires low maintenance. Technological issues related with green roof include soil, water proofing, water drain, vegetation and maintenance. Several solutions to invigorate green roof technology were suggested as follows; 1)implementation of technical standard for green roof and technology certification system, 2) development of suitable raw materials for green roof, 3) construction guidelines and uniform construction specification, 4) formulation of city ordinance for green roof, and 5) exchange program with foreign green roof organizations.

Ada 프로그램에서 패키지 활용의 국부화 모델에 관한 연구 (A Study on Localization Model of Package Usage in Ada Program)

  • 김선호;윤창섭
    • 한국국방경영분석학회지
    • /
    • 제17권2호
    • /
    • pp.100-112
    • /
    • 1991
  • Software system is a hierarchical structure with collection of program units. Software system can import external packages globally or locally depending on the usage within a system. If the imported package is used globally, the soft-ware system can be influenced globally by any change of package and programmer's debugging time for the program maintenance will be greater. To solve these problems, it is desirable to use the imported package locally right on the usage point within the system. The model presented in this paper analyzed entity usage of package in structure of program, identified the usage level to obtain localization and provided information for restructure of the program to localize package usage. To obtain localization, it identified declared entities inside the imported package and analyzed the specification and body part of program unit to identify entities referenced from the imported package. The proposed model can be used to improve the maintainability of software system and contributed to reduction of programmer's debugging time in program maintenance.

  • PDF

컴포넌트 명세의 Z 활용 (Component Specification Using Z)

  • 장종표;이상준;김병기
    • 컴퓨터교육학회논문지
    • /
    • 제3권2호
    • /
    • pp.87-94
    • /
    • 2000
  • 소프트웨어 생산성이 사용자들의 서비스에 대한 요구를 만족시키지 못했고, 소프트웨어 품질이 향상되지 않았으며, 유지보수가 어려운 문제점을 가지고 있다. 이러한 위기를 해결하기 위한 한가지 대응책으로 최근 컴포넌트기반 소프트웨어 공학 혹은 컴포넌트웨어가 등장하였다. 컴포넌트기반 소프트웨어공학을 이루는 관련 기술들 중 하나인 소프트웨어 아키텍처는 시스템의 구조적 기술로서 시스템을 구성하는 컴포넌트와 그 컴포넌트들 사이의 상호작용을 기술한 것이다. 소프트웨어 아키텍처는 컴포넌트기반 소프트웨어공학에서의 컴포넌트 사이의 조합에 대한 기술 및 방법론을 제공함으로써, 컴포넌트기반 소프트웨어공학의 핵심 기술 중 하나로 자리잡고 있다. 본 논문에서는 컴포넌트 명세를 위해서 필요한 정보들을 분석하고 분석력과 논리성이 검증된 정형 명세 언어 Z를 이용하여 컴포넌트를 명세하는 활동을 제안하였다. 제안 활동은 9개의 태스크들로 구성되며 11개의 산출물을 구체적으로 제시함으로써 재사용을 위한 컴포넌트 기반 소프트웨어 개발의 기초가 되는 컴포넌트 명세 활동을 제안하였다.

  • PDF

공항철도 전동차의 RCM 적용을 위한 관리체계 구축 방안 (Scheme of RCM Management System for AREX' s EMU)

  • 박병노;이창환;이정모;임성수
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2008년도 춘계학술대회 논문집
    • /
    • pp.789-795
    • /
    • 2008
  • In recent, the rolling stocks are gradually complicated in respect with design and production to improve the safety and reliability. Also, the reliability centered maintenance corresponding with system specification or technical requirements is needed to meet the higher quality in railway service. In present, each railway authorities are collecting the failure's data using information system, applying those for maintenance works. However, this system has not established with systematic and scientific approach. This paper represents the existing activities and plans for RCM management system for AREX's EMU.

  • PDF

터널시설물 점검진단 데이터의 텍스트마이닝 분석을 통한 유형별·지역별 중점 유지관리요소의 이해 (Understanding Facility Management on Tunnel through Text Mining of Precision Safety Diagnosis Data)

  • 서정은;오진탁
    • 한국공간구조학회논문집
    • /
    • 제21권3호
    • /
    • pp.85-92
    • /
    • 2021
  • The purpose of this paper is to understand the key factors for efficient maintenance of rapidly aging facilities. Therefore, the safety inspection/diagnosis reports accumulated in the unstructured data were collected and preprocessed. Then, the analysis was performed using a text mining analysis method. The derived vulnerabilities of tunnel facilities can be used as elements of inspections that take into account the characteristics of individual facilities during regular inspections and daily inspections in the short term. In addition, if detailed specification information and other inspection results(safety, durability, and ease of use) are used for analysis, it provides a stepping stone for supporting preemptive maintenance decision-making in the long term.

전동차 BOM 관리 시스템 개발 (Implementation of BOM Management System for Electric Multiple Unit)

  • 안태기;이호용;박기준;김길동
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 하계학술대회 논문집 B
    • /
    • pp.1331-1333
    • /
    • 2004
  • There are many types of BOM, such as EBOM, MBOM, As-Built BOM, As-Designed BOM, Generic BOM, Customized BOM, etc. We should define an adequate BOM to achieve some purposes. In this paper, we proposed BOM structure for EMU Maintenance Information System. First of all, we define Master BOM including all part's information, such as 2D/3D drawings, images, specification, etc. And then we define Object BOM that is functional structure for someone to achieve maintenance works. Object BOM will be applied to configure sales orders, explode aggregate forecasts, and calculate standard cost.

  • PDF

신뢰성에 기초한 PC박스거더교의 내구성평가 모형 (A Model for Reliability-Based Durability Assessment of PC BOX Girder Bridges)

  • 조효남;이승재;이정곤
    • 한국콘크리트학회:학술대회논문집
    • /
    • 한국콘크리트학회 1995년도 봄 학술발표회 논문집
    • /
    • pp.286-291
    • /
    • 1995
  • The deterioration of PC box girder may cause serious effect on the durability of PC structure compared to that of RC structures. In the durability assessment of PC box girder bridges, a quantitive model on crack width is considered as a measure of durability. This study suggests a durability limit state model for PC box girder bridges. This durability limit state model in formulated based on the conventional models on the cracks in concrete. And the allowable crack width is taken as an assumed value established by the design specification or provided by the maintenance authority of the structure.

  • PDF

종방향 활동체결구를 이용한 영종대교 남측 접속교량의 장대레일화 사례 (CWR for Young Jong Great Bridge Sourth Approach Section by ZLR (Zero Longitudinal Restraint))

  • 이덕영;양신추;권순섭;김용만
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2004년도 춘계학술대회 논문집
    • /
    • pp.1057-1064
    • /
    • 2004
  • For New In-Cheon Airport. South Approach Section of Young long Great Bridge is to be special concerned to CWR due to substructure was already constructed former railroad bridge design specification. So we applied maintenance free system and CWR (Continuous Welded Rail) by ZLR(Zero Longitudinal Restraint) at bridge expansion joint part. This thesis generally introduce for CWR by ZLR at South Approach Section of Young long Great Bridge.

  • PDF