• Journal of Aerospace System Engineering
• /
• v.16 no.2
• /
• pp.13-24
• /
• 2022

As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.383-383
• /
• 2023

오늘날 수문학 분야에서는 유역에 대한 강우-유출 시뮬레이션을 머신 러닝(ML: Machine Learning)을 활용하여 다양한 연구를 실행하고 있다. 본 연구에서는 시간별 강우-유출 예측 모델인 GR4H(Génie Rural à 4 paramètres Horaires)를 사용하여 충주댐 유역을 대상으로 연구를 수행하였다. 유역의 속성에 따라서 모델의 성능이 어떻게 달라지는지 비교하여 특성에 맞는 모델을 알아내고. 또한 이 과정에서 기상 및 유출 데이터의 보정 길이를 가지고 어느 정도의 데이터 기간이 모델에서 좋은 성능을 보이는지 파악하였다. 뿐만 아니라 모델에 필요한 선행기간의 데이터가 있는 경우와 없는 경우를 비교하여 어떠한 차이를 보이는지, 그리고 선행기간은 얼마나 필요한지 연구를 통하여 알아냈다. 본 연구를 통하여 충주댐 유역에 대한 모델의 적용성 및 성능을 파악하고 수문 모형 구축에 제한이 있는 유역에 대해서도 사용이 가능한지 판단한다. 실험 유역의 관측 값을 모델에 입력한 후 각 모델에 해당하는 매개변수의 최적값을 찾아내는 과정을 거쳐 시뮬레이션을실 행했다. 본 연구에서 사용한 강우-유출 모델인 GR4H는 프랑스의 INRAE-Antony(Institut National de la recherche agronomique-Antony)에서 만들어진 airGR의 일종으로, 시간별 강우-유출 예측을 위해 개발된 공정 기반(process-based)의 집중적, 개념적 수문학 모델이다. 4개의 매개변수(parameter)가 있으며 이는 유역의 특정 속성을 나타낸다. GR4H를 시뮬레이션 하는 과정에서 매개변수의 최적화를 위해 적절한 보정 길이를 파악하여야 한다. 이러한 과정은 4년, 5년, 6년 등 1년씩 데이터의 양을 늘려가며 매개변수를 최적화한다. 이 과정에서 기상 및 유출 데이터의 적절한 보정 길이를 찾아낸다. 시뮬레이션을 통해 얻은 데이터를 관측 값과 비교하여 모델의 성능을 평가하고 다른 관측 값을 통해 시뮬레이션을 실행하여 검증을 거친다.

• Nuclear Engineering and Technology
• /
• v.25 no.2
• /
• pp.193-203
• /
• 1993

A new heuristic method for loading pattern search has been developed to overcome short-comings of the algorithmic approach. To reduce the size of vast solution space, general shuffling rules, a regionwise shuffling method, and a pattern grouping method were introduced. The entropy theory was applied to classify possible loading patterns into groups with similarity between them. The pattern search program was implemented with use of the PROLOG language. A two-group nodal code MEDIUM-2D was used for analysis of power distribution in the core. The above mentioned methodology has been tested to show effectiveness in reducing of solution space down to a few hundred pattern groups. Burnable poison rods were then arranged in each pattern group in accordance with burnable poison distribution rules, which led to further reduction of the solution space to several scores of acceptable pattern groups. The method of maximizing cycle length(MCL) and minimizing power-peaking factor(MPF) were applied to search for specific useful loading patterns from the acceptable pattern groups. Thus, several specific loading patterns that have low power-peaking factor and large cycle length were successfully searched from the selected pattern groups.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.1D
• /
• pp.81-87
• /
• 2006

The rubblization technique is breaking the aged concrete pavement slab into rubblized concrete aggregate, and use it as an base material at its original position, then builds overlay above the rubblized base. This method has been successively used in USA due to the advantage of good constructibility, cost-effectiveness as well as the capability of preventing of reflection cracks. However, constructibility and economic performance of rubblization on typical Korean concrete pavements needed to be investigate since to typical Korean concrete pavements have thick slab, as well include lean concrete subbase course. Multi-head type breaker suitable for Korean condition was designed and developed. This multi-head type breaker was designed to rubblize old concrete to the suggested optimum rubblized-depth and rubblized-concrete-aggregate size to prevent reflection crack and maintain high bearing capacity. This machine was used for the test of rubblization of old concrete pavement on a non-use old concrete and a in-serviced road. In these two tests, engineering properties of rubblized base and constructability and cost were investigated. In both tests, the old concrete rubblized to targeted size and depth, and high-level bearing capacity was achieved. Also, superior constructability and lower cost compared with traditional reconstruction was examined.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.12
• /
• pp.3159-3174
• /
• 1997

This paper reports a research to develop a methodology and a tool for understanding of very large and complex real-time software. The methodology and the tool mostly developed by the author are called the Architecture-based Real-time Software Understanding (ARSU) and the Software Re/reverse-engineering Environment (SRE) respectively. Due to size and complexity, it is commonly very hard to understand the software during reengineering process. However the research facilitates scalable re/reverse-engineering of such real-time software based on the architecture of the software in three-dimensional perspectives: structural, functional, and behavioral views. Firstly, the structural view reveals the overall architecture, specification (outline), and the algorithm (detail) views of the software, based on hierarchically organized parent-chi1d relationship. The basic building block of the architecture is a software Unit (SWU), generated by user-defined criteria. The architecture facilitates navigation of the software in top-down or bottom-up way. It captures the specification and algorithm views at different levels of abstraction. It also shows the functional and the behavioral information at these levels. Secondly, the functional view includes graphs of data/control flow, input/output, definition/use, variable/reference, etc. Each feature of the view contains different kind of functionality of the software. Thirdly, the behavioral view includes state diagrams, interleaved event lists, etc. This view shows the dynamic properties or the software at runtime. Beside these views, there are a number of other documents: capabilities, interfaces, comments, code, etc. One of the most powerful characteristics of this approach is the capability of abstracting and exploding these dimensional information in the architecture through navigation. These capabilities establish the foundation for scalable and modular understanding of the software. This approach allows engineers to extract reusable components from the software during reengineering process.

• Journal of Korea Spatial Information System Society
• /
• v.3 no.2 s.6
• /
• pp.21-43
• /
• 2001

The environment to development information system including a GIS has been drastically changed in recent years in the perspectives of the complexity and diversity of the software, and the distributed processing and network computing, etc. This leads the paradigm of the software development to the CBD(Component Based Development) based object-oriented technology. As an effort to support these movements, OGC has released the abstract and implementation standards to enable approaching to the service for heterogeneous geographic information processing. It is also common trend in domestic field to develop the GIS application based on the component technology for municipal governments. Therefore, it is imperative to adopt the component technology considering current movements, yet related research works have not been made. This research is to propose a component-based GIS development methodology-ATOM(Advanced Technology Of Methodology)-and to verify its adoptability through the case study. ATOM can be used as a methodology to develop component itself and enterprise GIS supporting the whole procedure for the software development life cycle based on conventional reusable component. ATOM defines stepwise development process comprising activities and work units of each process. Also, it provides input and output, standardized items and specs for the documentation, detailed instructions for the easy understanding of the development methodology. The major characteristics of ATOM would be the component-based development methodology considering numerous features of the GIS domain to generate a component with a simple function, the smallest size, and the maximum reusability. The case study to validate the adoptability of the ATOM showed that it proves to be a efficient tool for generating a component providing relatively systematic and detailed guidelines for the component development. Therefore, ATOM would lead to the promotion of the quality and the productivity for developing application GIS software and eventually contribute to the automatic production of the GIS software, the our final goal.

• Korean Journal of Food Science and Technology
• /
• v.27 no.4
• /
• pp.449-457
• /
• 1995

Aseptic packaged cooked rice without oxygen absorber and EVOH material was not suitable for good quality during long storage at room temperature. Quality change of aseptic packaged cooked rice with OPP/EVOH/EPL(P-1), PET/EVOH/EPL(P-2) and OPP/EVOH/LLDPE(P-3) for lid material and FX and TSQ for oxygen absorber was observed during storage(60 days) at $20^{\circ}C,\;30^{\circ}C\;and\;40^{\circ}C$. To evaluate quality change of aseptic packaged cooked rice, water content, color, pH, acidity, hardness, and total plate count were measured periodically. The results showed that moisture content was decreased as storage time increased while storage temperature showed no significant effect. P-2 and FX combination had the lowest evaporation of water. L value was decreased as storage time increased while a value increased in all treatment. P-2 and FX combination had the best result for color value. Titratable acidity and pH of P-3 increased up to 20, 5.5, respectively at the end of storage while the other treatment showed no significant effect. Hardness of aseptic packaging of cooked rice was decreased as temperature of storage increased while lid materials and oxygen absorber types showed no significant effect. Result of total plate count showed that there was no detection for $20^{\circ}C\;and\;30^{\circ}C$ storage temp. while more than $1{\times}10^6\;CFU/g\;for\;40^{\circ}C$ storage temp. at the end of storage. In conclusion, aseptic packaged cooked rice could be stored and distributed for 6 month at room temp. and effect of lid materials on quality change of aseptic packaged cooked rice was more significant than oxygen absorber.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2004.03a
• /
• pp.399-406
• /
• 2004

최근 급속한 도시의 팽창과 산업의 발전으로 인하여 가스시설은 급속히 확대되고 있는 실정이다. 이러한 가스시설물의 중요성을 인식하고 많은 도시가스업체에서는 가스관망 시설정보를 전산화하여 항상 최신의 현황을 유지할 수 있는 가스시설물관리시스템을 개발하여 사용하고 있다. 그러나 이러한 시스템은 가스시설물의 현황파악 및 유지관리를 위한 기본적인 기능만을 제공하는 관계로, 가스 누출사고 발생시 정확한 사태의 파악과 함께 신속한 대책 마련을 위한 의사결정 지원이 어려운 실정이다. 따라서 체계적인 가스사고관리를 수행할 수 있는 응용시스템의 필요성이 증대되고 있다. 이러한 시점에서 본 연구에서는 가스사고분석을 신속하고 체계적으로 수행할 수 있는 가스사고관리 적용알고리즘 분석 및 최적의 알고리즘을 정립하여 가스사고관리시스템을 구현하였다. 본 연구를 통한 결과는 1ㆍ2차 차단밸브의 산정이 가능해짐으로써 빈번한 가스 누출사고 발생시 실시간으로 적정대처방안의 제시가 가능하게 되었다. 또한, 누출 최대가스량을 제시함으로써 누출에 대한 피해예상 분석을 위한 정보 제공 및 가스의 신속한 재공급을 위해 필요한 의사결정 지원 정보의 제공이 가능하게 되었다. 아울러, 가스누출사고에 의한 가스공급중단 관로 및 수용가에 대한 속성현황의 파악은 물론 시각적인 도식을 통한 전체적 현황파악이 가능하였다. 이러한 가스사고관리시스템의 개발을 통하여 사고 발생시 신속한 사고방안 제시 및 사고피해의 최소화를 위해 필요한 의사결정 지원 정보의 제공이 가능하게 됨으로써 국민의 안전 및 복지와 도시가스업체의 업무 효율화로 인한 예산절감 효과를 기대할 수 있다. 가시권 분석기능을 이용하여 실제 지형공간상에서 전파경로 손실치를 도시화함으로써 전파관리자가 무선서비스지역 설계, 전파음영지역 판단, 최적 중계기와 기지국 위치 선정에 기여할 것으로 판단된다.하지 않은 지역과 서로 다른 분광특성을 나타내므로 별도의 Segment를 형성하게 된다. 따라서 임상도의 경계선으로부터 획득된 Super-Object의 분광반사 값과 그 안에서 형성된 Sub-Object의 분광반사값의 차이를 이용하여 임상도의 갱신을 위한 변화지역을 탐지하였다.라서 획득한 시추코아에 대해서도 각 연구기관이 전 구간에 대해 동일하게 25%의 소유권을 가지고 있다. ？스굴 시추사업은 2008년까지 수행될 계획이며, 시추작업은 2005년까지 완료될 계획이다. 연구 진행과 관련하여, 공동연구의 명분을 높이고 분석의 효율성을 높이기 위해서 시료채취 및 기초자료 획득은 4개국의 연구원이 모여 공동으로 수행한 후의 결과물을 서로 공유하고, 자세한 전문분야 연구는 각 국의 대표기관이 독립적으로 수행하는 방식을 택하였다 ？스굴에 대한 제1차 시추작업은 2004년 3월 말에 실시하였다. 시추작업 결과, 약 80m의 시추 코아가 성공적으로 회수되어 현재 러시아 이르쿠츠크 지구화학연구소에 보관중이다. 이 시추코아는 2004년 8월 중순경에 4개국 연구팀원들에 의해 공동으로 기재된 후에 분할될 계획이다. 분할된 시료는 국내로 운반되어 다양한 전문분야별 연구에 이용될 것이다. 한편, 제2차 시추작업은 2004년 12월에서 2005년 2월 사이에 실시될 계획이다. 수백만년에 이르는 장기간에 걸쳐 지구환경변화 기록이 보존되어 있는 ？스굴호에 대한

• Journal of the Korean Geosynthetics Society
• /
• v.21 no.4
• /
• pp.1-12
• /
• 2022

Generally, the plate load test and the field density test are conducted for compaction quality control in earthwork, and then additional analysis. Recently developed that the DCPT (Dynamic Cone Penetration Test) equipment for smart compaction quality control its the system are able to get location and real-time information about worker history management. The IoT-based the DCPT system improved the time-cost in the field compared traditional test, and the functions recording and storage of the DPI (Dynamic Cone Penetration Index) were automated. This paper describes using these DCPT equipment on in-situ and compared to the standards of the DCPT, and the compaction trend had be confirmed with DPI as the field test data. As a result, the DPI of the final compaction decreased by 1.4 times compared to the initial compaction, confirming the increase in the compaction strength of the subgrade compaction layer 10 to 14 cm deep from the surface. A trend of increasing compaction strength was observed. This showed a tendency to increase the compaction strength of the target DPI proposed by MnDOT and the results of the existing plate load test, but there was a difference in the increase rate. Therefore, additional studies are needed on domestic compaction materials and laboratory conditions for target DPI and correlation studies with the plate load tests. If this is reflected, it is suggested that DCPT will be widely used as smart construction equipment in earthworks.

• Journal of the Korea Institute of Building Construction
• /
• v.12 no.1
• /
• pp.54-63
• /
• 2012

The purpose of this study is to examine the potential for reducing the environmental load and $CO_2$ gas when cement is produced by using cement substitutes. These substitutes consisted of blast furnace slag, red mud and silica fume, which were industrial by-products. The most optimum mix was derived when alkali accelerator was added to low carbon inorganic composite mixed with industrial by-product at room temperature. It is determined that hardened properties and the results of compressive strength tests changed based on CaO content, Si/Al, the mixing ratio and the amount of alkali accelerator, curing conditions and W/B. The results of test analysis suggest that the optimum mix of low carbon inorganic composite is CaO content 30%, Si/Al 4, the mixed ratio of alkali accelerator $(NaOH:Na_2SiO_3)$ 50g:50g, the amount of alkali accelerator 100g and W/B 31%. In addition, if contraction is complemented, low carbon inorganic composite with superior performance could be developed.