• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• Korean Journal of Remote Sensing
• /
• v.26 no.5
• /
• pp.561-570
• /
• 2010

The purpose of this study is to develop an Android smartphone app providing analysis capabilities of remote sensing images, by using mobile browsing open sources of gvSIG, open source remote sensing software of OTB and open source DBMS of PostgreSQL. In this app, five kinds of remote sensing algorithms for filtering, segmentation, or classification are implemented, and the processed results are also stored and managed in image database to retrieve. Smartphone users can easily use their functions through graphical user interfaces of app which are internally linked to application server for image analysis processing and external DBMS. As well, a practical tiling method for smartphone environments is implemented to reduce delay time between user's requests and its processing server responses. Till now, most apps for remotely sensed image data sets are mainly concerned to image visualization, distinguished from this approach providing analysis capabilities. As the smartphone apps with remote sensing analysis functions for general users and experts are widely utilizing, remote sensing images are regarded as information resources being capable of producing actual mobile contents, not potential resources. It is expected that this study could trigger off the technological progresses and other unique attempts to develop the variety of smartphone apps for remote sensing images.

• Food Engineering Progress
• /
• v.15 no.3
• /
• pp.250-256
• /
• 2011

This study was performed to analyze the quality characteristics of Sulgidduk added with different ratio 0, 10 and 15% (w/w) of apple pomace dietary fiber powder (DFP). Increasing DFP from 0% to 15% was decreased in color L* value from 87.9 to 65.9, while a* and b* values were increased from -1.9 to 5.9 and from 5.0 to 20.5, respectively. Scanning Electron Microscopy (SEM; ${\times}500$) showed that air cell size in the Sulgidduk surface increased as the DEP increased. On the other hand, control without DFP had a compact structure without air cell. Enthalpy by DSC showed that control without DFP, 10 and 20% DEP Sulgidduk after 3 days of storage were 4.83, 3.80 and 3.18 J/g at $4^{\circ}C$ and those of $25^{\circ}C$ were 1.14, 0.60 and 0.60 J/g, respectively. DEP had more effective on retarded retrogradation of Sulgidduk at $4^{\circ}C$ than that at $25^{\circ}C$. Hardness of 15% DEP Sulgidduk was around 42% compared to that of control without DFP after 3 days of storage at $4^{\circ}C$. In hedonic test, 15% DEP Sulgidduk showed the highest overall quality score among samples after making and storage 3 days at $4^{\circ}C$.

• Journal of Korea Water Resources Association
• /
• v.52 no.6
• /
• pp.441-449
• /
• 2019

Drought is a longer lasting and more extensive disaster than other natural disasters, resulting in significant socioeconomic damage. Even though drought events have same severity, their damage vary from region to region because of spatial, technical, economic, and social circumstances. In this study, drought vulnerability was assessed considering socioeconomic factors. Preliminary factors were identified from the case study for Chungcheong province, and evaluative factors were selected by applying the principal component analysis. The entropy method was applied to determine the weights of evaluative factors. As a result, in Chungcheong province, farm population, number of recipient of basic living, water fare gap indicator, area of industrial complex, amount of underground water usage, amount of water available per capita, water supply ratio, financial soundness for water resources, amount of domestic water usage, amount of agricultural water usage and agricultural land area were chosen as the evaluative factors. Among them, the factors associated with agriculture had larger weights. The overall assessment of vulnerability indicated that Cheongju, Dangjin and Seosan were the most vulnerable to drought.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.11 no.6
• /
• pp.757-763
• /
• 2018

It is very difficult to achieve sufficient data rate and required quality of service due to the time-varying nature of the radio channel and various jammers such as path loss, delay, Doppler, shadowing and interference. Especially, the propagation path between the transmitting antenna and the tracking antenna mounted on the fuselage during the test and evaluation of the projectile system considered in this paper is based on the rapid movement of the projectile, the interference due to multipath fading due to the terrain, The propagation path may be blocked. In order to effectively improve the multipath fading occurring in the wireless communication system, a diversity combiner technique is required. In this paper, to derive the design and improvement schemes for the space diversity combiner technique among the diversity combiner schemes, the BER performance of maximum ratio combining (MRC) and selection combining (SC) In an adaptive SC / MRC diversity combiner that operates with MRC when it is lower than the specified threshold criterion when comparing the SNR between two signals received from the channel and operates with SC at high and combines the two received signals The BER performance of the system was compared and analyzed.

• Journal of the Korea Institute of Building Construction
• /
• v.19 no.4
• /
• pp.289-297
• /
• 2019

Epoxy resin adhesives are currently used as adhesives in buildings. Epoxy resin adhesives, which are organic materials, generate harmful substances when producing adhesives, and toxic substances are high in the residential space after installation. In addition, a large amount of carbon monoxide generated from organic materials in the case of a building fire leads to personal injury. This study evaluates the feasibility of inorganic adhesives using pure inorganic materials such as magnesia, phosphate, and borax as inorganic adhesives to replace existing organic adhesives. As a result of the experiment on the selection of adequate phosphate and the characteristics of the addition rate of borax used as a retarder, the potassium phosphate monobasic was obtained as a suitable phosphate and the characteristics according to the borax addition rate were compared with the quality standard of KS F 4923 The hardening shrinkage and heat change rate satisfied the quality standards. The tensile strength was satisfactory when the borax addition rate was 4% or more, but the adhesive strength did not meet the quality standards. Further studies are needed to improve adhesion strength.

• Tunnel and Underground Space
• /
• v.31 no.5
• /
• pp.309-332
• /
• 2021

Natural barrier systems surrounding the geological repository for the high-level radioactive waste should guarantee the hydraulic performance for preventing or delaying the leakage of radionuclide. In the case of the behavior of a crystalline rock, the hydraulic performance tends to be decided by the existence of discontinuities, so the coupled hydro-mechanical(HM) processes on the discontinuities should be characterized. The discontinuum modelling can describe the complicated behavior of discontinuities including creation, propagation, deformation and slip, so it is appropriate to model the behavior of a crystalline rock. This paper investigated the coupled HM processes in discontinuum modelling such as UDEC, 3DEC, PFC, DDA, FRACOD and TOUGH-UDEC. Block-based discontinuum methods tend to describe the HM processes based on the fluid flow through the discontinuities, and some methods are combined with another numerical tool specialized in hydraulic analysis. Particle-based discontinuum modelling describes the overall HM processes based on the fluid flow among the particles. The discontinuum methods that are currently available have limitations: exclusive simulations for two-dimension, low hydraulic simulation efficiency, fracture-dominated fluid flow and simplified hydraulic analysis, so it could be improper to the modelling the geological repository. Based on the concepts of various discontinuum modelling compiled in this paper, the advanced numerical tools for describing the accurate coupled HM processes of the deep geological repository should be developed.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.16 no.3
• /
• pp.525-532
• /
• 2021

In the ocean, it is difficult to separate the effects of one cause due to the multiple causes, but the self-organizing map can be analyzed by adding other factors to the cluster result. Therefore, in this study, the results of the clustering of sea level data were applied to sea surface temperature. Sea level data was clustered into a total of 6 nodes. The difference between sea surface temperature and sea level height has a one-month delay, which applied sea surface temperature data a month ago to the clustered results. As a result of comparing the mean of sea surface temperature of 140 to 150°E, where the sea surface temperature was variously distributed, in the case of nodes 1, 3, and 5, it was possible to find a meandering sea surface temperature distribution that is clearly distinguished from the sea level data. While nodes 2, 4 and 6, the sea surface temperature distribution was smooth. In this study, sea surface temperature data were applied to the clustered results of sea level data, but later it is necessary to apply wind or geostrophic velocity data to compare.

• Journal of Cadastre & Land InformatiX
• /
• v.51 no.2
• /
• pp.125-139
• /
• 2021

Continuous subway line expansion over the years in Seoul metropolitan area has contributed to improved accessibility to public transport. Since public transport accessibility has a significant impact on housing decisions, quantitative analysis of correlation between housing prices and public transport accessibility is regarded as one of the most important factors for planning better housing policies. This study defines the reduction of traveling time resulted from the construction of new metro stations despite them not being the closest stations as 'Network Expansion Effect', and seeks to understand how the Network Expansion Effect impacts on housing prices. The study analyzes monthly rent data converted from upfront lump sum deposit, so called Jeonse in Korea, from 2012 to 2018, through 'A Modified Repeat Sales Model.' As a result, the effect of 'Network Expansion' on rental prices in Seoul has stronger during the period of 2017 to 2018 than the base period of 2012 to 2014, which suggests the 'Network Expansion' has a meaningful effect on rent. In addition, in comparison between the most and the least affected group of apartments by 'Network Expansion Effect', the most affected group has more price increase than the least affected group. These findings also indicate that different levels of 'Network Expansion Effect' have various influences on the value of residential real estate properties.

• Korean small business review
• /
• v.43 no.4
• /
• pp.173-209
• /
• 2021

Start-up accelerators are a new type of investor that provide mentoring, education and seed capital to start-ups for a fixed duration and receive a certain stake in them in return. They help start-ups achieve successful commercialization. With increase in performance visibility, the number of private and public sector accelerators rose across domestic and international markets. Private sector accelerators are established and operated by private entities while public sector accelerators are established and operated by the government. Both play complementary roles that are becoming increasingly important to start-ups. Therefore, this study aims to examine the differences in major operational goals and investment determinants between private and public sectors and to understand their implications. The results show that the private sector prioritizes profit generation through the investment, while the public sector aims to contribute to the development of high-growth start-ups, and create region-specific and technology-specific start-up ecosystems. Additionally, both groups consider customer needs the most important determinant. Public groups are more conservative in investments and tend to place importance on objective indicators such as patents, partners, mentors, and co-founders. Conversely, private groups value the capabilities of founders and their ease of collaboration with accelerators. These findings can help start-ups get support from public or private accelerators more easily. It will also help public and private accelerators refine the criteria for selecting start-ups.