• Title/Summary/Keyword: One-dimensional Analysis

Search Result 2,655, Processing Time 0.045 seconds

Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra (공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화)

  • On, Jin-Ho;Choi, Jung-Rhan;Lee, Moon-Kun
    • The KIPS Transactions:PartD
    • /
    • v.16D no.3
    • /
    • pp.339-352
    • /
    • 2009
  • There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

Physicochemical, structural, pasting, and rheological properties of potato starch isolated from different cultivars (품종별 감자전분의 이화학적, 구조적, 페이스팅 및 유변학적 특성)

  • Lee, Jungu;Choi, Moonkyeung;Kang, Jinsoo;Chung, Yehji;Jin, Yong-Ik;Kim, Misook;Lee, Youngseung;Chang, Yoon Hyuk
    • Korean Journal of Food Science and Technology
    • /
    • v.49 no.4
    • /
    • pp.360-368
    • /
    • 2017
  • The objective of this research was to elucidate the physicochemical, structural, pasting and rheological properties of potato starch isolated from a foreign potato cultivar ('Atlantic') and new domestic potato cultivars ('Goun', 'Sebong', and 'Jinsun'). Scanning electron microscopy (SEM), X-ray diffraction (XRD), Fourier transform infrared spectroscopy (FT-IR), and one-dimensional nuclear magnetic resonance (1D NMR) showed that the structural properties of potato starch did not vary significantly with cultivars. RVA analysis demonstrated that the 'Atlantic' starch had the highest breakdown viscosity among all potato starches. In steady shear rheological analysis, all potato starch dispersions showed shear-thinning behaviors (n =0.63-0.72) at $25^{\circ}C$. The highest apparent viscosity (${\eta}_{a,5}$), consistency index (K), and yield stress (${\sigma}_{oc}$) were observed in the 'Goun' starch dispersion. In dynamic shear rheological analysis, storage modulus (G') and loss modulus (G") values of new domestic potato starch dispersions were higher than those of the 'Atlantic' starch dispersion.

A Study on the GIS-based Deterministic MCDA Techniques for Evaluating the Flood Damage Reduction Alternatives (확정론적 다중의사결정기법을 이용한 최적 홍수저감대책 선정 기법 연구)

  • Lim, Kwang-Suop;Kim, Joo-Cheol;Hwang, Eui-Ho;Lee, Sang-Uk
    • Journal of Korea Water Resources Association
    • /
    • v.44 no.12
    • /
    • pp.1015-1029
    • /
    • 2011
  • Conventional MCDA techniques have been used in the field of water resources in the past. A GIS can offer an effective spatial data-handling tool that can enhance water resources modeling through interfaces with sophisticated models. However, GIS systems have a limited capability as far as the analysis of the value structure is concerned. The MCDA techniques provide the tools for aggregating the geographical data and the decision maker's preferences into a one-dimensional value for analyzing alternative decisions. In other words, the MCDA allows multiple criteria to be used in deciding upon the best alternatives. The combination of GIS and MCDA capabilities is of critical importance in spatial multi-criteria analysis. The advantage of having spatial data is that it allows the consideration of the unique characteristics at every point. The purpose of this study is to identify, review, and evaluate the performance of a number of conventional MCDA techniques for integration with GIS. Even though there are a number of techniques which have been applied in many fields, this study will only consider the techniques that have been applied in floodplain decision-making problems. Two different methods for multi-criteria evaluation were selected to be integrated with GIS. These two algorithms are Compromise Programming (CP), Spatial Compromise Programming (SCP). The target region for a demonstration application of the methodology was the Suyoung River Basin in Korea.

A Study on the Characteristics of Consolidation Settlement of Soft Ground in the Plains of the Central Region (중부지방 평야지역의 연약지반에 대한 압밀침하특성 분석 연구)

  • Joon-Seok Kim
    • Journal of the Society of Disaster Information
    • /
    • v.18 no.4
    • /
    • pp.706-712
    • /
    • 2022
  • Purpose: In this study, field experimental research was conducted to analyze the settlement characteristics of soft ground in the central inland region of Korea and use it in practice. Method: The design predicted values and comparative analysis were performed using the ten settlement measurement data actually measured in the field experiment. For the design prediction value, Terzaghi's one-dimensional consolidation settlement analysis was used. In the experiment, the surface subsidence plate was used for field measurement. Result: The settlement behavior of the predicted value and the actual value was generally similar, but in the settlement value, the actual settlement value showed a settlement behavior of 30% or less compared to the predicted settlement value. The rate of consolidation settlement in this study area was in the range of 9.6% to 27.0%, and the average value was 18.21%. It is analyzed that the prediction of the settlement amount of the silty soils distributed in the inland plains of the central region of Korea can be relatively overestimated. Conclusion: It is judged that precise ground investigation and detailed prediction are necessary because there is a possibility of over-design in the design for predicting the amount of settlement of the silty soils distributed in the inland plains of the central region of Korea.

Quantitative Analysis on Intensity of 1936 Jirisan Earthquake by Estimating Seismic Response Characteristics at the Site of Five-story Stone Pagoda in Ssang-gye-sa (쌍계사 오층 석탑 부지의 지진 응답 특성 평가를 통한 1936년 지리산 지진 세기의 정량적 분석)

  • Sun, Chang-Guk;Chung, Choong-Ki;Kim, Jae-Kwan
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.28 no.3C
    • /
    • pp.187-196
    • /
    • 2008
  • An earthquake of magnitude 5.0 occurred at Ssang-gye-sa, a Buddhist temple in Jirisan, located near the southern border of the Korean peninsula on 4 July 1936. It resulted in severe damage of several buildings and structures in Ssang-gye-sa. Particularly, the top component of a five-story stone pagoda in the temple was tipped over and fell down during the earthquake. This earthquake damage case would be usefully applied to estimating the intensity of ground motion in the Korean peninsula, a moderate seismicity region, where strong motion has never been recorded with the exception of historic seismic events. In order to estimate the local site effects and the corresponding ground motion at Ssang-gye-sa site, intensive site investigations including borehole drilling and in-situ seismic tests such as crosshole and SASW tests were performed in the temple area. Based on the site characteristics, site-specific seismic response analyses using various input motions were conducted for a representative Ssang-gye-sa site by means of both one-dimensional equivalent-linear and nonlinear methods with six input rock outcrop acceleration levels ranging from 0.044g to 0.220g. The resultant site-specific seismic responses indicated the amplified ground motions in the short-period range near the site period of Ssang-gye-sa. Furthermore, the intensity on rock outcrop of the 1936 Jirisan earthquake was estimated by making a comparison between the site responses analysis results in this study and the full-scaled seismic test of pagoda model in the prior study.

Flood Risk Mapping with FLUMEN model Application (FLUMEN 모형을 적용한 홍수위험지도의 작성)

  • Cho, Wan Hee;Han, Kun Yeun;Ahn, Ki Hong
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.30 no.2B
    • /
    • pp.169-177
    • /
    • 2010
  • Recently due to the typhoon and extreme rainfall induced by abnormal weather and climate change, the probability of severe damage to human life and property is rapidly increasing. Thus it is necessary to create adequate and reliable flood risk map in preparation for those natural disasters. The study area is Seo-gu in Daegu which is located near Geumho river, one of the tributaries of Nakdong river. Inundation depth and velocity at each time were calculated by applying FLUMEN model to the target area of interest, Seo-gu in Daegu. And the research of creating flood risk map was conducted according to the Downstream Hazard Classification Guidelines of USBR. The 2-dimensional inundation analysis for channels and protected lowland with FLUMEN model was carried out with the basic assumption that there's no levee failure against 100 year precipatation and inflow comes only through the overflowing to the protected lowland. The occurrence of overflowing was identified at the levee of Bisan-dong located in Geumho watershed. The level of risk was displayed for house/building residents, drivers and pedestrians using information about depth and velocity of each node computed from the inundation analysis. Once inundation depth map and flood risk map for each region is created with this research method, emergency action guidelines for residents can be systemized and it would be very useful in establishing specified emergency evacuation plans in case of levee failure and overflowing resulting from a flood.

Sentiment Analysis of Korean Reviews Using CNN: Focusing on Morpheme Embedding (CNN을 적용한 한국어 상품평 감성분석: 형태소 임베딩을 중심으로)

  • Park, Hyun-jung;Song, Min-chae;Shin, Kyung-shik
    • Journal of Intelligence and Information Systems
    • /
    • v.24 no.2
    • /
    • pp.59-83
    • /
    • 2018
  • With the increasing importance of sentiment analysis to grasp the needs of customers and the public, various types of deep learning models have been actively applied to English texts. In the sentiment analysis of English texts by deep learning, natural language sentences included in training and test datasets are usually converted into sequences of word vectors before being entered into the deep learning models. In this case, word vectors generally refer to vector representations of words obtained through splitting a sentence by space characters. There are several ways to derive word vectors, one of which is Word2Vec used for producing the 300 dimensional Google word vectors from about 100 billion words of Google News data. They have been widely used in the studies of sentiment analysis of reviews from various fields such as restaurants, movies, laptops, cameras, etc. Unlike English, morpheme plays an essential role in sentiment analysis and sentence structure analysis in Korean, which is a typical agglutinative language with developed postpositions and endings. A morpheme can be defined as the smallest meaningful unit of a language, and a word consists of one or more morphemes. For example, for a word '예쁘고', the morphemes are '예쁘(= adjective)' and '고(=connective ending)'. Reflecting the significance of Korean morphemes, it seems reasonable to adopt the morphemes as a basic unit in Korean sentiment analysis. Therefore, in this study, we use 'morpheme vector' as an input to a deep learning model rather than 'word vector' which is mainly used in English text. The morpheme vector refers to a vector representation for the morpheme and can be derived by applying an existent word vector derivation mechanism to the sentences divided into constituent morphemes. By the way, here come some questions as follows. What is the desirable range of POS(Part-Of-Speech) tags when deriving morpheme vectors for improving the classification accuracy of a deep learning model? Is it proper to apply a typical word vector model which primarily relies on the form of words to Korean with a high homonym ratio? Will the text preprocessing such as correcting spelling or spacing errors affect the classification accuracy, especially when drawing morpheme vectors from Korean product reviews with a lot of grammatical mistakes and variations? We seek to find empirical answers to these fundamental issues, which may be encountered first when applying various deep learning models to Korean texts. As a starting point, we summarized these issues as three central research questions as follows. First, which is better effective, to use morpheme vectors from grammatically correct texts of other domain than the analysis target, or to use morpheme vectors from considerably ungrammatical texts of the same domain, as the initial input of a deep learning model? Second, what is an appropriate morpheme vector derivation method for Korean regarding the range of POS tags, homonym, text preprocessing, minimum frequency? Third, can we get a satisfactory level of classification accuracy when applying deep learning to Korean sentiment analysis? As an approach to these research questions, we generate various types of morpheme vectors reflecting the research questions and then compare the classification accuracy through a non-static CNN(Convolutional Neural Network) model taking in the morpheme vectors. As for training and test datasets, Naver Shopping's 17,260 cosmetics product reviews are used. To derive morpheme vectors, we use data from the same domain as the target one and data from other domain; Naver shopping's about 2 million cosmetics product reviews and 520,000 Naver News data arguably corresponding to Google's News data. The six primary sets of morpheme vectors constructed in this study differ in terms of the following three criteria. First, they come from two types of data source; Naver news of high grammatical correctness and Naver shopping's cosmetics product reviews of low grammatical correctness. Second, they are distinguished in the degree of data preprocessing, namely, only splitting sentences or up to additional spelling and spacing corrections after sentence separation. Third, they vary concerning the form of input fed into a word vector model; whether the morphemes themselves are entered into a word vector model or with their POS tags attached. The morpheme vectors further vary depending on the consideration range of POS tags, the minimum frequency of morphemes included, and the random initialization range. All morpheme vectors are derived through CBOW(Continuous Bag-Of-Words) model with the context window 5 and the vector dimension 300. It seems that utilizing the same domain text even with a lower degree of grammatical correctness, performing spelling and spacing corrections as well as sentence splitting, and incorporating morphemes of any POS tags including incomprehensible category lead to the better classification accuracy. The POS tag attachment, which is devised for the high proportion of homonyms in Korean, and the minimum frequency standard for the morpheme to be included seem not to have any definite influence on the classification accuracy.

One-Dimensional Consolidation Simulation of Kaolinte using Geotechnical Online Testing Method (온라인 실험을 이용한 카올리나이트 점토의 일차원 압밀 시뮬레이션)

  • Kwon, Youngcheul
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.26 no.4C
    • /
    • pp.247-254
    • /
    • 2006
  • Online testing method is one of the numerical experiment methods using experimental information for a numerical analysis directly. The method has an advantage in that analysis can be conducted without using an idealized mechanical model, because mechanical properties are updated from element test for a numerical analysis in real time. The online testing method has mainly been used for the geotechnical seismic engineering, whose major target is sand. A testing method that may be applied to a consolidation problem has recently been developed and laboratory and field verifications have been tried. Although related research thus far has mainly used a method to update average reaction for a numerical analysis by positioning an element tests at the center of a consolidation layer, a weakness that accuracy of the analysis can be impaired as the thickness of the consolidation layer becomes more thicker has been pointed out regarding the method. To clarify the effectiveness and possible analysis scope of the online testing method in relation to the consolidation problem, we need to review the results by applying experiment conditions that may completely exclude such a factor. This research reviewed the results of the online consolidation test in terms of reproduction of the consolidation settlement and the dissipation of excess pore water pressure of a clay specimen by comparing the results of an online consolidation test and a separated-type consolidation test carried out under the same conditions. As a result, the online consolidation test reproduced the change of compressibility according effective stress of clay without a huge contradiction. In terms of the dissipation rate of excess pore water pressure, however, the online consolidation test was a little faster. In conclusion, experiment procedure needs to improve in a direction that hydraulic conductivity can be updated in real time so as to more precisely predict the dissipation of excess pore water pressure. Further research or improvement should be carried out with regard to the consolidation settlement after the end of the dissipation of excess pore water pressure.

The Effect of Exercise Intensity on Muscle Activity and Kinematic Variables of the Lower Extremity during Squat

  • Jung, Jae-Hu;Chae, Woen-Sik
    • Korean Journal of Applied Biomechanics
    • /
    • v.27 no.3
    • /
    • pp.197-203
    • /
    • 2017
  • Objective: The purpose of this study was to determine how exercise intensity affects muscle activity and kinematic variables during squat. Method: Fifteen trainers with >5 years of experience were recruited. For the electromyography (EMG) measurements, four surface electrodes were attached to both sides of the lower extremity to monitor the rectus femoris (RF) and biceps femoris. Three digital camcorders were used to obtain three-dimensional kinematics of the body. Each subject performed a squat in different conditions (40% one-repetition maximum [40%1RM], 60%1RM, and 80%1RM). For each trial being analyzed, three critical instants and two phases were identified from the video recording. For each dependent variable, one-way analysis of variance with repeated measures was used to determine whether there were significant differences among the three different conditions (p<.05). When a significant difference was found, post hoc analyses were performed using the contrast procedure. Results: The results showed that the average integrated EMG values of the RF were significantly greater in 80%1RM than in 40%1RM during the extension phase. The temporal parameter was significantly longer in 80%1RM than in 40%1RM and 60%1RM during the extension phase. The joint angle of the knee was significantly greater in 80%1RM than in 40%1RM at flexion. The range of motion of the knee was significantly less in 80%1RM than in 40%1RM and 60%1RM during the flexion phase and the extension phase. The angular velocity was significantly less in 80%1RM than in 40%1RM and 60%1RM during the extension phase. Conclusion: Generally, the increase of muscle strength decreases the pace of motion based on the relation between the strength and speed of muscle. In this study, we also found that the increase of exercise intensity may contribute to the increase of the muscle activity of the RF and the running time in the extension phase during squat motion. We observed that increased exercise intensity may hinder the regulation of the range of motion and joint angle. It is suitable to perform consistent movements while controlling the proper range of motion to maximize the benefit of resistance training.

THE LIGHT CURVE ANALYSIS OF AW CAM (AW CAM의 광도곡선 분석)

  • 김천휘;한원용
    • Journal of Astronomy and Space Sciences
    • /
    • v.12 no.1
    • /
    • pp.21-29
    • /
    • 1995
  • The $\beta$ Lyrae-type eclipsing binary AW Cam was observed photoelectrically in three wavelength regions. The obtained UBV light curves of AW Cam were analyzed with two separate modes(mode 2 for detached systems and mode 5 for semi-detached ones) of the Wilson-Devinney binary mode. It is intended to resolve the discrepancy in AW Cam system that the photometrio mass ratio (q=0.21) derived by Russo and Milano (1983) is not consistent with the spectroscopic result (q=0.43) by Mammano et al.(1967). Our photomtric solutions derived with mode 2 are fitted better to the observed light curves than those of mode 5, supporting that AW Cam may be not a normal semi-detached system but a detached one. Three dimensional Roche configuration of AW Cam system calculated with the derived mass ratio (q=0.43) reveals that the less massive secondary with the confined within its inner Roche lobe, while the more massive rimary is in marginally contact. From the Roche geometry, the constancy of the orbital period and other photometric evidences of AW Cam, it is provisionally concluded that the system is an unevolved detached binary in is provisionally concluded that the system is an unevolved detached binary in the phase of case A evolution toward 'contact phase' rather than and evolved one in 'broken-contact phase' suggested by Giuricin and Mardrossian (1981).

  • PDF