• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.1-9
• /
• 2015

As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.

• The Journal of Fisheries Business Administration
• /
• v.47 no.3
• /
• pp.53-69
• /
• 2016

The purpose of this study is to explore the ecosystem service and benefit indicators of natural seaweed beds. Ecosystems of natural seaweed beds provide a wide range of services and benefits to human society including provisioning services, regulating services, supporting services, and cultural services. Indicators for each of the ecosystem services are chosen by marine plants ecologists and as follows. Ecosystem indicators of natural seaweed beds for provisioning services are well-being food(amount of seaweed harvested/amount of fish landed, fish biomass, area of natural seaweed beds, the number of species, contribution to the second production), raw materials(amount of biomass by breed, amount of aquaculture feed), genetic resources(amount of genetic material extracted, amount of genetic material contained by age and habitat), and medicinal resources(amount of medicinal material extracted). Ecosystem indicators of natural seaweed beds for regulating services are air purification(amount of fine dust/NOx or $SO_2$ captured), climate regulation(amount of $CO_2$ sequestered), waste treatment(amount of N, P stored, biochemical degradation capacity COD), and costal erosion prevention(length and change of natural coast line, amount of sediment prevented). Ecosystem indicators of natural seaweed beds for supporting services are lifecycle and maintenance(primary production, contribution to the second production) and gene pool protection(amount of compositional factors in ecosystem, introduced species). Ecosystem indicators of natural seaweed beds for cultural services are recreation and tourism(the number of visits of an area) and information for cognitive development(amount of time spent in education, research and individual learning about ecosystem of natural seaweed beds).

• Korean Journal of Computational Design and Engineering
• /
• v.19 no.4
• /
• pp.390-401
• /
• 2014

ISO 15926 is an international standard for integration of lifecycle data for process plants including oil and gas facilities. From the viewpoint of information modeling, ISO 15926 Parts 2 provides the general data model that is designed to be used in conjunction with reference data. Reference data are standard instances that represent classes, objects, properties, and templates common to a number of users, process plants, or both. ISO 15926 Parts 4 and 7 provide the initial set of classes, objects, properties and the initial set of templates, respectively. User-defined reference data specific to companies or organizations are defined by inheriting from the initial reference data and the initial set of templates. In order to support the extension of reference data and templates, an editor that provides creation, deletion and modification functions of user-defined reference data is needed. In this study, an editor for reference data based on ISO 15926 was developed. Sample reference data were encoded in OWL (web ontology language) according to the specification of ISO 15926 Part 8. iRINGTools and dot15926Editor were benchmarked for the design of GUI (graphical user interface). Reference data search, creation, modification, and deletion functions were implemented with XML (extensible markup language) DOM (document object model), and SPARQL (SPARQL protocol and RDF query language).

• Korean Journal of Construction Engineering and Management
• /
• v.12 no.3
• /
• pp.91-100
• /
• 2011

Green technologies of buildings are spreading for saving resource and energy consumption during life cycle of buildings. However, selection of optimized the technologies for applying projects is needed a lot of time and costs. Therefore prioritization is necessary to apply the technologies for buildings. An evaluation of economic value for the technologies is significant for prioritization of the technologies, however, the current evaluation system of economic value for technologies is not reflected the accurate features of the technologies. Green technologies have the objectives for reducing the emission of CO2 and saving the cost during the whole lifecycle of buildings. Thus the evaluation of economic feasibility for green technologies is needed to include the economic value from improving the environment. This paper developed the economic evaluation method integrated with LCC and LCA to accurately analyze the economic value for green technologies. Moreover, this paper drew the priority of the technologies by conducting case studies with the integrated method and analyzing the results with AHP. The conclusion of case studies, Green technologies is worth more if to include the economic value from improving the environment. Then in analysis of priority, Green intelligent component technologies were rated the highest. The conclusion of the study is able to utilize the supporting tool for making decision to select the optimized technologies for the projects and precedence study for developing future research of prioritization for green technologies. The future study for improving the developed method will supplement the various evaluation factors and apply the detailed weight to analyze the priority of green technologies.

• Transactions of the Korean hydrogen and new energy society
• /
• v.31 no.1
• /
• pp.132-137
• /
• 2020

Lithium secondary batteries have become an important power source for portable electronic devices such as cellular phones, laptop computers. Presently, commercialized lithium-ion batteries use a LiCoO₂ cathode. However, due to the high cost and environmental problems resulting from cobalt, an intensive search for new electrode materials is being actively conducted. Recently, solid solution LiMn_1-xNi_xO₂ have become attractive because of high capacity and enhanced safety at high voltages over 4.5 V. The Li_1.6Ni_0.35Mn_0.65O₂ compounds were conventionally prepared by a sol-gel method, which can produce the layered Li-Ni-Mn-O compounds with a high homogeneity. And by adding a graphene 2wt% the first charge-discharge voltage profiles was increased over Li_1.6Ni_0.35Mn_0.65O₂ compound. Also, the variation s of the discharge capacities with cycling showed a higher capacity retention rater. In this study, material lifecycle evaluation was performed to analyze the environmental impact characteristics of Li_1.6Ni_0.35Mn_0.65O₂ & graphene 2wt% half-cell manufacturing process. The software of material life cycle assessment was Gabi. Through this, environmental impact assessment was performed for each process. The environmental loads induced by Li_1.6Ni_0.35Mn_0.65O₂ & graphene 2wt% synthesis process were quantified and analyzed, and the results showed that the amount of power had the greatest impact on the environment.

• Journal of the Korea Concrete Institute
• /
• v.26 no.3
• /
• pp.239-245
• /
• 2014

This study analyzed a comprehensive database including 6331 ready-mixed concrete plant mixtures to quantitatively assess the environmental impact of concrete under mixture proportions variable according to the domestic region and season. The environmental impact indicator includes global warming, photochemical oxidant creation, abiotic resource depletion, acidification, eutrophication and human toxicity, which are determined from categorization, characterization, normalization and weighting process based on Korea lifecycle inventories. The determined environmental impact indicator was also normalized by concrete compressive strength ($f_{ck}$), which is defined as impact index, to calculate the environmental impact per unit strength of 1 MPa. The most common compressive strength of concrete used in the country is estimated to be 24 MPa and 27 MPa. For $f_{ct}$ of 24 MPa, the lowest environmental impact indicator is observed in Ulsan, whereas the highest region is Gwangju and Daegu. This difference according to domestic region is primarily resulted from by the replacement of different supplementary cementitious materials. Furthermore, the impact index of concrete with $f_{ck}$ of 24 MPa is higher by approximately 5% at wintertime than at summertime and standard season. The impact index gradually decreases with the increase of $f_{ck}$ up to 35 MPa, beyond which it remains constant.