• 한국전산유체공학회:학술대회논문집
• /
• 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.

• Journal of the Korean Institute of Rural Architecture
• /
• v.10 no.3
• /
• pp.35-42
• /
• 2008

The purpose of this study is to suggest the possibility of complexity use these facilities for elderly welfare facility or public health facility and community center in rural. For this purpose this article researched into elderly welfare facilities, public health facilities and social welfare centers. And we studied of village community center, life pattern in old people in rural. With a rapidly increase in population of older people in rural, there is a great demand for the construction of complexes facilities. Particularly, there was highly demand for the public health facilities and the welfare programme of physiotherapy facilities on village community center in rural. However, there is not a intersection of space composition and specification function between elderly welfare facilities and public healthcare facilities and community welfare centers in this time. Accordingly, in the future plan for community center in rural, it is necessary to consider integration with public health facility. And it is necessary to compose the community center in consideration of the spatial organization of complexity as a possibility of community welfare activities.

• Journal of the Korean Institute of Rural Architecture
• /
• v.9 no.3
• /
• pp.73-82
• /
• 2007

Ministry of Education and Human Resources presented on December, 2006, 'Alternative school establishment and operation regulation' of contents that can be recognized attainments in scholarship because is authorized if alternative schools fulfill fixed condition. Even though, one time, it was true that several opinions which try to limit to adaptation school of person disqualified for school, thus, various discussion and efforts that specialized school for alternative education does to grow are appearing. However, the expectation which a lot of non authorized schools will apply is not so high because specialized school for alternative education will be controlled in free curriculum and school operation that have been administered and can not be guaranteed school's sell-regulation if acquire legal authorization. Under such social and educational background I surveyed present condition, law, system, literature investigation of existing study, Japanese system and example and authorized two sample specification schools etc. through 'A Basic Study on the Optimum Facilities Criteria Modeling of Regional Specialized Schools for Alternative Education(2006. 10)'. This study was preceded the succession and I visited 17 schools that permit investigation opening of schools among 29 that is authorized until present. So I try to find out architectural planning criteria to activate specialized school for alternative education more through analyzing school's general present condition, establishment idea, operation and specialized education plan, facilities present condition and characteristic.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.8
• /
• pp.581-588
• /
• 2020

The aging characteristics of exploding foil initiator (EFI) are studied. In order to observe the aging characteristics, the main components of the exploding foil initiator were classified and the failure mechanism was defined. The aging characteristics were defined in terms of power and sensitivity, and the accelerated aging test plan was established based on the activation energy calculated by HFC (Heat Flow Calorimetry) and Arrhenius theory. The performance variation was observed using the sensitivity test (Neyer test) and power test (Dent test) for the aged samples. The aging characteristic was observed on the mean exploding point of the sensitivity test, but long-enough life span was predicted considering the related specification.

• Korean Journal of Geomatics
• /
• v.1 no.1
• /
• pp.51-59
• /
• 2001

The Government confirmed the action planning of digital mapping project for major thematic maps based on ‘Revised Plan for The Development of the National Geographic Information System’(NGIS). Mapping for major thematic maps was begun in 1998 when digital mapping project for topographic maps finished due to the delay of the action planning, and will selectively have produced the essential digital thematic maps according to the frequency of usage. The models of topographic-cadastral maps and administrative boundary maps around Suwon were produced in accordance with the presented draft. We presented specification for production of the most appropriate topographic-cadastral maps and administrative boundary maps through the analysis of the process of production, discussion and error check, and correction of the produced topographic-cadastral maps and administrative boundary maps. And we could make it easier to develop digital mapping project of topographic-cadastral maps and administrative boundary maps effectively by presenting the strategy for data input and maintenance, the cost model for carrying out the digital thematic map production, digital topographic maps, and the supplement of data model and data format. Topographic-cadastral maps has a wide range of usage but a lot of difficulties in the process of production and map update under use. So it seems that the study on users, university, private sector and municipal self-government must follow for promoting the use of topographic-cadastral maps.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.18 no.3
• /
• pp.241-250
• /
• 2000

The Government confirmed the action planning of digital mapping project for major thematic maps based on‘Revised Plan for The Development of the National Geographic Information System’(NGIS). Mapping for major thematic maps will selectively have produced the essential digital thematic maps according to the frequency of usage by the year of 2000. The models of topographic-cadastral maps around Suwon were produced in accordance with the presented draft. We presented specification for production of the most appropriate topographic-cadastral maps through the analysis of the process of production, discussion and error check, and correction of the produced topographic-cadastral maps. And we could make it easier to develop digital mapping project of topographic-cadastral maps effectively by presenting the strategy for data input and maintenance, the cost model for carrying out the digital thematic map production, digital topographic maps, and the supplement of data model and data format.

• Korean Journal of Computational Design and Engineering
• /
• v.22 no.2
• /
• pp.118-128
• /
• 2017

Many countries have been developing BIM-based building code checking system and studies in the utilization of Industry Foundation Classes (IFC) in building code checking. IFC is the open standard of BIM format. Currently, there is a disadvantage that could not include all of the attribute for the regulations of each country and there is the problem with the interoperability of the different defined IFC approach between BIM software. This study focus on developing, derived object and property by comparing through domestic regulation and IFC2x3 specification provided by the buildingSMART and classified review type depending on the interoperability of derived information. According to classified review type, the IFC data structure was established and property mapping contents were developed by including BIM software compatible information and creating a type of review plan. When the developed property mapping contents are applied into BIM-based building code checking system, checking of the BIM data generated from various fields is made effective and thus improving the interoperability of information.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• Journal of Internet Computing and Services
• /
• v.17 no.6
• /
• pp.61-69
• /
• 2016

Software testing is an activity to find defects included in software through creating test cases from the software system specification. In order to perform software testing effectively, it is required to prepare the full test plan, to create well-defined test cases, and to execute test monitoring activities systematically. Most existing researches for the test approaches focus on automating the activities from the test cases generation to the test execution. Contrary to those approaches, we study automatic approaches for test monitoring activities. For this, we identify the research issues that should be solved to automate test monitoring activities. Next, with those solutions, we suggest the construction method for an automatic framework for test monitoring.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.17 no.1
• /
• pp.25-34
• /
• 2021

Availability is one of the important factor for developing weapon system, because it indicates the mission capability and sustainable life cycle management of weapon system. Recently, as weapon system becomes more advanced and more complex, availability estimation becomes more important to reduce the life cycle cost of weapon system. Modeling and simulation(M&S) is useful method to describe the availability of complex weapon system applying operational environment and maintenance plan. Especially agent based model(ABM) has the strength to describe interactions between agents and environments in complex system. Therefore, this paper presents the availability estimation of weapon system using agent based model. The sample data of part list and reliability analysis is applied to build availability estimation model. User agent and mechanic agent are developed to illustrate the behavior of operation and maintenance using formal specification. Storage reliability is applied to describe failure of each parts. The experimental result shows that this model is quite useful to estimate availability of weapon system. This model may estimate more reasonable availability, if full scale data of weapon system and real field data of operation is provided.