• Title/Summary/Keyword: Specification and Maintenance

Search Result 181, Processing Time 0.034 seconds

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

  • 황창선;서정일;이재만
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1988.10a
    • /
    • 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

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

  • Lee S.-K.;Shin J.-R.;Choi J.-Y.
    • 한국전산유체공학회:학술대회논문집
    • /
    • 2005.04a
    • /
    • 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 (한국옥상녹화기술의 현황과 과제)

  • Yang, Byoung-E
    • Journal of the Korean Society of Environmental Restoration Technology
    • /
    • v.7 no.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.

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

  • Kim Seon-Ho;Yun Chang-Seop
    • Journal of the military operations research society of Korea
    • /
    • v.17 no.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

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

  • Park, Byoung-Noh;Lee, Chang-Hwan;Lee, Jeong-Mo;Lim, Sung-Soo
    • Proceedings of the KSR Conference
    • /
    • 2008.06a
    • /
    • 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 (터널시설물 점검진단 데이터의 텍스트마이닝 분석을 통한 유형별·지역별 중점 유지관리요소의 이해)

  • Seo, Jeong-eun;Oh, Jintak
    • Journal of Korean Association for Spatial Structures
    • /
    • v.21 no.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.

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

  • Jang, Jong-Pyo;Lee, Sang-Jun;Kim, Byung-Ki
    • The Journal of Korean Association of Computer Education
    • /
    • v.3 no.2
    • /
    • pp.87-94
    • /
    • 2000
  • Software productivity doesn't satisfy the need of service of software users and software quality isn't improved. Moreover, we still have difficulty in software maintenance. As a plan to counteract solving this crisis, the technology that is called CBSE or Componentware is introduced. Componet Based Software Architecture, one of the technologies associated with CBSE, as a structural description of system, describes both the components composed system of and interaction among these components. Software Architecture provides the technology and the methodology of composition among components in the field of CBSE. is accepted one of core technologies. In this thesis, we analyse information necessary for component specification and then proposed that component specificaton activities using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 9 tasks. By presenting specific 11 products, it is also proposed that component specification activities which is the base of CBSD(ComponentBased Software Development) for reusing.

  • PDF

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

  • Ahn Tae-ki;Lee Ho-yong;Park Kee-jun;Kim Gil-dong
    • Proceedings of the KIEE Conference
    • /
    • summer
    • /
    • 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

Education Contents Development that Use Thermoelectric Power Plant Generation Facility Third Dimensional Model (3차원 모델을 활용한 발전설비 교육컨텐츠 개발)

  • Kim, Seok-B.;Back, Nam-H.;Son, Kwang-S.;Kim, Joo-Seok;Moon, Seung-Jae;Lee, Jae-Heon
    • 한국전산유체공학회:학술대회논문집
    • /
    • 2008.03b
    • /
    • pp.362-368
    • /
    • 2008
  • The purpose of this is providing employees who take charge of operation and maintenance at power plant with education contents that can be used for self-studying and on the job training through their computers. We developed the education contents for making actually application possible using this piping and instrument diagram(P&ID), operation and maintenance procedure, unit specification and material of 500MW thermal power plant those include unit equipment 3-dimension animation, character and narration performance considering making teaching plan, flexibility, extension, reuse, maintenance and focusing on user. Specially, we developed the flash type education contents about power plant operation based on the plant 3-dimension animation and the spot real picture concerned about new generation trend for power plant incoming employees actual knowledge. in addition, this contents apparently contributed to improve the level of employees technical power as distributed to employees.

  • PDF

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

  • 조효남;이승재;이정곤
    • Proceedings of the Korea Concrete Institute Conference
    • /
    • 1995.04a
    • /
    • 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