• Proceedings of the Korean Society for Quality Management Conference
• /
• 2004.04a
• /
• pp.114-119
• /
• 2004

Software verification and validation(V&V) is a means to develop high-quality software and assure safety and reliability for software. Also, we can achieve the desired software quality through systematic V&V activities. The software to be applied safety critical system like nuclear power plants is required to setup the V&V methodology that comply with licensing requirements for nuclear power plants and should be performed V&V activities according to it. In this paper, we classified safety-critical, safety-related and non-safety for software according to safety function to be peformed and define V&V activities to be applied software grade. Also, we defined V&V activities, procedures and documentation for each phase of software development life cycle and showed techniques and management to perform V&V. Finally, we propose the V&V framework to be applied software development of SMART(System-integrated Modular Advanced ReacTor) MMIS (Man-Machine Interface System) and to comply with domestic licensing requirements.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.3
• /
• pp.432-440
• /
• 2011

Operational Mode Summary/Mission Profile(OMS/MP) is a document to quantify the operational and maintenance requirements based on the future operational environments and its mission and How to Fight concept in the development of the weapon system. It is important as a key document for the RAM goal setting in the early phase of weapon system development. The paper presents a systematic and practical submarine OMS/MP model processes with a deep analysis of relevant case studies and current status domestic and abroad. Especially, it proposes the unique Scenario Planning and Switch on List techniques with real case studies which have recently performed. The paper will contribute not only the basis of improved requirements for the development of weapon system but also the sustainment of readiness with the enhancement of RAM and reduction of total life cycle cost.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.11 no.2
• /
• pp.104-110
• /
• 2011

A CMOS Image Sensor (CIS) mounted on mobile appliances requires low power consumption due to limitations of the battery life cycle. In order to reduce the power consumption of CIS, we propose novel power reduction techniques such as a data flip-flop circuit with leakage current elimination and a low power single slope analog-to-digital (A/D) converter with a sleep-mode comparator. Based on 0.13 ${\mu}m$ CMOS process, the chip satisfies QVGA resolution (320 ${\times}$ 240 pixels) that the cell pitch is 2.25 um and the structure is a 4-Tr active pixel sensor. From the experimental results, the performance of the CIS has a 10-b resolution, the operating speed of the CIS is 16 frame/s, and the power dissipation is 25 mW at a 3.3 V(analog)/1.8 V(digital) power supply. When we compare the proposed CIS with conventional ones, the power consumption was reduced by approximately 22% in the sleep mode, and 20% in the active mode.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2008.05a
• /
• pp.205-208
• /
• 2008

Generally, there are several types in rear suspension. The rear suspension of subframe type consisting of side member and front/rear cross member is widely used in a medium car and full car. In the small car case, the beam of tubular type without independent suspension system is used to reduce manufacturing cost. The optimized rear suspension of subframe type using hydroforming method has been developed in this study. In designing suspension, the driving stability and durability performance should be considered as an important factor. The stability is related to dynamic frequency and durability is connected with stress analysis of structure. We focus on increasing the stiffness of suspension and decreasing the maximum stress relating to durability cycle life. For making use of the merits of hydroforming which is possible to make the bead, tube expansion, and feeding in desiring position, several optimization design techniques such as shape, size, and topology optimization are proposed. This optimization scheme based on the sensitivity can provide distinguished performance improvement in using hydroforming. Through commercial software based on the finite element, the superiority of this design method is demonstrated.

• International Journal of High-Rise Buildings
• /
• v.12 no.2
• /
• pp.121-128
• /
• 2023

Cities cover only 3% of the planet's surface, yet they are responsible for more than 75% of the global emissions. Given the projected urban built area will double by 2060, the carbon emitted from cities will further increase. SOM proposes the Urban Sequoia concept, for buildings that go beyond 'net zero' and absorb carbon from the atmosphere. This concept combines multiple strategies, including the use of an optimised building form with a highly efficient structural system, modularized prefabrication techniques, holistic integration of facade, MEP and interiors' components, bio-based materials, and Direct Air Capture (DAC) technology, to reduce a 40-storey building's whole life cycle carbon emissions by more than 300% over a 100-year lifespan. Calculations of embodied carbon emissions are performed with SOM's in-house Environmental Analysis (EA) Tool to demonstrate the effectiveness of employing Urban Sequoia's design strategies in the design of new buildings using current technologies.

• Journal of Korean Society for Quality Management
• /
• v.51 no.3
• /
• pp.363-379
• /
• 2023

Purpose: The main objective of this research is to construct an AI-based Composite Supplementary Index (ACSI) model to achieve accurate predictions of the Composite Index of Business Indicators. By incorporating various economic indicators as independent variables, the ACSI model enables the prediction and analysis of both the leading index (CLI) and coincident index (CCI). Methods: This study proposes an AI-based Composite Supplementary Index (ACSI) model that leverages diverse economic indicators as independent variables to forecast leading and coincident economic indicators. To evaluate the model's performance, advanced machine learning techniques including MLP, RNN, LSTM, and GRU were employed. Furthermore, the study explores the potential of employing deep learning models to train the weights associated with the independent variables that constitute the composite supplementary index. Results: The experimental results demonstrate the superior accuracy of the proposed composite supple- mentary index model in predicting leading and coincident economic indicators. Consequently, this model proves to be highly effective in forecasting economic cycles. Conclusion: In conclusion, the developed AI-based Composite Supplementary Index (ACSI) model successfully predicts the Composite Index of Business Indicators. Apart from its utility in management, economics, and investment domains, this model serves as a valuable indicator supporting policy-making and decision-making processes related to the economy.

• Journal of KIBIM
• /
• v.13 no.3
• /
• pp.30-38
• /
• 2023

Building Information Models(BIM) provides rich geometric and attribute information throughout the entire life cycle of a building and infrastructure object, while Geographic Information System(GIS) enables the detail analysis of urban issues based on the geo-spatial information in support of decision-making. The Integration of BIM and GIS data makes it possible to create a digital twin of the land in order to effectively manage smart cities. In the perspective of integrating BIM data into GIS systems, this study performs literature reviews on georeferencing techniques and identifies limitations in carrying out the georeferencing process using attribute information associated with absolute coordinates probided by Industry Foundation Classes(IFC) as a BIM standard. To address these limitations, an automated georeferencing process is proposed as a pilot study to position a IFC model with the Local Coordinate System(LCS) in GIS environments with the Reference Coordinate System(RCS). An evaluation of the proposed approach over a BIM model demonstrates that the proposed method is expected to be a great help for automatically georeferencing complex BIM models in a GIS environment, and thus provides benefits for efficient and reliable BIM and GIS integration in practice.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.

• Journal of Environmental Impact Assessment
• /
• v.9 no.4
• /
• pp.277-290
• /
• 2000

The purpose of this study is to identify the problems of environmental impact assessment(EIA) and to suggest new EIA technology. The problems of EIA in Korea can be summarized as follows. First, the EIA does not reflect the impact of policy, plan and program on environment. Second, the project EIA does not consider the cumulative impacts such as additive impacts, synergistic impacts, threshold/saturation impacts, induced and indirect impacts, time-crowded impacts, and space-crowded impacts. Third, the EIA techniques in Korea are not standardized. Finally, the present EIA suggests only alternatives to reduce adverse impacts. To solve above-mentioned problems, the development of new EIA technology is essential. First, the new EIA technology should be developed toward pollution prevention technology and comprehensive and integrated environmental management technology. Second, new fields of EIA for pollution prevention contain strategic environmental assessment, cumulative impacts assessment, socio-economic impact assessment, cyber EIA and EIA technology necessary after the reunification of Korean Peninsula. Third, EIA technology for integrated environmental management contains the development of integated environment assessment system and the development of packaged EIA technology. The EIA technology for integrated environmental assessment system contains (1) development of integrated impact assessment technology combining air/water quality model, GIS and remote sensing, (2) integrated impact assessment of EIA, traffic impact assessment, population impact assessment and disaster impact assessment. (3) development of integrated technology combining risk assessment and EIA (4) development of integrated technology of life cycle assessment and EIA, (5) development of integrated technology of spatial planning and EIA, (6) EIA technology for biodiversity towards sustainable development, (7) mathematical model and GIS based location decision techniques, and (8) environmental monitoring and audit. Furthermore, there are some fields which need packaged EIA technology. In case of dam development, urban or industrial complex development, tourist development, landfill or combustion facilities construction, electric power plant development, development of port, road/rail/air port, is necessary the standardized and packaged EIA technology which considers the common characteristics of the same kind of development project.

• Korean Journal of Soil Science and Fertilizer
• /
• v.44 no.1
• /
• pp.146-159
• /
• 2011

The continuous increase in the production of metals and their subsequent release into the environment has lead to increased concentration of these elements in agricultural soils. Because microbes are involved in almost every chemical transformations taking place in the soil, considerable attention has been given to assessing their responses to metal contaminants. Short-term and long-term exposures to toxic metals have been shown to reduce microbial diversity, biomass and activities in the soil. Several studies show that microbial parameters like basal respiration, metabolic quotient, and enzymatic activities, including those of oxidoreductases and those involved in the cycle of C, N, P and other elements, exhibit sensitivity to soil metal concentrations. These have been therefore, regarded as good indices for assessing the impact of metal contaminants to the soil. Metal contamination has also been extensively shown to decrease species diversity and cause shifts in microbial community structure. Biochemical and molecular techniques that are currently being employed to detect these changes are continuously challenged by several limiting factors, although showing some degree of sensitivity and efficiency. Variations and inconsistencies in the responses of bioindicators to metal stress in the soil can also be explained by differences in bioavailability of the metal to the microorganisms. This, in turn, is influenced by soil characteristics such as CEC, pH, soil particles and other factors. Therefore, aside from selecting the appropriate techniques to better understand microbial responses to metals, it is also important to understand the prevalent environmental conditions that interplay to bring about observed changes in any given soil parameter.