• Title/Summary/Keyword: Diagram Method

Search Result 1,240, Processing Time 0.032 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.

Evaluation of Land Subsidence Risk Depending on Grain Size and Verification using Numerical Analysis (지반입도조건에 따른 지반함몰 가능성 평가 및 수치해석적 검증)

  • Lee, Jong-Hyun;Jin, Hyun-Sik;Baek, Yong;Yoon, Hyeong-Suk
    • The Journal of Engineering Geology
    • /
    • v.27 no.2
    • /
    • pp.133-141
    • /
    • 2017
  • In this study, filter conditions by difference in grading between core material and filter material used for dam construction was applied as evaluation condition for surrounding ground conditions near excavation site in a bid to identify the risk of land subsidence resulting from the erosion of soil particles. To that end, filter conditions proposed for the test was evaluated and the risk of land subsidence depending on grain size conditions was also evaluated using the filter conditions developed by COE. Consequently, evaluation diagram that can be used to determine the risk of land subsidence using grain size conditions obtained from ground investigation data was developed, which is expected to help evaluate the possibility of land subsidence depending on changes to the stratum. To simulate the particle flow process, PFC3D program was used. It's not only intended to determine the land subsidence pattern caused by falling ground water level but also predict and evaluate the land subsidence caused by soil erosion using grain size condition which can be verified by numerical analysis approach.

Design of High-Speed Multi-Layer PCB for Ultra High Definition Video Signals (UHD급 영상구현을 위한 다층인쇄회로기판의 특성 임피던스 분석에 관한 연구)

  • Jin, Jong-Ho;Son, Hui-Bae;Rhee, Young-Chul
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.19 no.7
    • /
    • pp.1639-1645
    • /
    • 2015
  • In UHD high-speed video transmission system, when a signal within certain frequency region coincides electrically and structurally, the system becomes unstable because the energy is concentrated, and signal flux is interfered and distorted. For the instability, power integrity analysis should be conducted. To remove the signal distortion for MLB, using a high-frequency design technique for EMI phenomenon, EMI which radiates electromagnetic energy fluxed into power layer was analyzed considering system stabilization. In this paper, we proposed an adaptive MLB design method which minimizes high-frequency noise in MLB structure, enhances signal integrity and power integrity, and suppresses EMI. The characteristic impedance for multi-layer circuit board proposed in this study were High-Speed Video Differential Signaling(HSVDS) line width w = 0.203, line gap d = 0.203, beta layer height h = 0.145, line thickness t = 0.0175, dielectric constant εr = 4.3, and characteristic impedance Zdiff = 100.186Ω. When high-speed video differential signal interface board was tested with optimized parameters, the magnitude of Eye diagram output was 672mV, jittering was 6.593ps, transmission frequency was 1.322GHz, signal to noise was 29.62dB showing transmission quality improvement of 10dB compared to previous system.

A Path Travel Time Estimation Study on Expressways using TCS Link Travel Times (TCS 링크통행시간을 이용한 고속도로 경로통행시간 추정)

  • Lee, Hyeon-Seok;Jeon, Gyeong-Su
    • Journal of Korean Society of Transportation
    • /
    • v.27 no.5
    • /
    • pp.209-221
    • /
    • 2009
  • Travel time estimation under given traffic conditions is important for providing drivers with travel time prediction information. But the present expressway travel time estimation process cannot calculate a reliable travel time. The objective of this study is to estimate the path travel time spent in a through lane between origin tollgates and destination tollgates on an expressway as a prerequisite result to offer reliable prediction information. Useful and abundant toll collection system (TCS) data were used. When estimating the path travel time, the path travel time is estimated combining the link travel time obtained through a preprocessing process. In the case of a lack of TCS data, the TCS travel time for previous intervals is referenced using the linear interpolation method after analyzing the increase pattern for the travel time. When the TCS data are absent over a long-term period, the dynamic travel time using the VDS time space diagram is estimated. The travel time estimated by the model proposed can be validated statistically when compared to the travel time obtained from vehicles traveling the path directly. The results show that the proposed model can be utilized for estimating a reliable travel time for a long-distance path in which there are a variaty of travel times from the same departure time, the intervals are large and the change in the representative travel time is irregular for a short period.

Luminescence Characteristics of (Y0.85-xYb0.15)3Ga5O12:Er3+x Phosphors ((Y0.85-xYb0.15)3Ga5O12:Er3+x 형광체의 형광특성)

  • Chung, Jong Won;Yi, Soung Soo
    • New Physics: Sae Mulli
    • /
    • v.68 no.12
    • /
    • pp.1308-1314
    • /
    • 2018
  • $Er^{3+}$ and $Yb^{3+}$ co-doped $Y_3Ga_5O_{12}$ polycrystalline powders were prepared by using a solid-state reaction method, and their crystallinities were measured using X-ray diffraction. According to the results of X-ray diffraction, the powders showed a polycrystalline tetragonal structure. The photoluminescence and the upconversion luminescence properties of the $(Y_{0.85-x}Yb_{0.15})_3Ga_5O_{12}:Er^{3+}_x$ (x = 0.03, 0.06, 0.09, 0.12 and 0.15) phosphors were investigated in detail. Green and red upconversion emissions were observed for the phosphors excited by 980 nm radiation from a semiconductor laser. The powders exhibited strong green and weak red upconversion emission peaks at 553 and 660 nm, respectively. Also, their upconversion processes were explained using an energy-diagram analysis and the strongest upconversion intensity was emitted by the powder with a 0.12 mol $Er^{3+}$ ion concentration.

Development of High-Sensitivity and Entry-Level Nuclide Analysis Module (고감도 보급형 핵종 분석 모듈 개발)

  • Oh, Seung-Jin;Lee, Joo-Hyun;Lee, Seung-Ho
    • Journal of IKEEE
    • /
    • v.26 no.3
    • /
    • pp.515-519
    • /
    • 2022
  • In this paper, we propose the development of a high-sensitivity entry-level nuclide analysis module. The proposed measurement sensor module consists of an electronic driving circuit for nuclide analysis resolution, prototype production with nuclide analysis function, and GUI development applied to prototypes. The electronic part driving circuit for nuclide analysis resolution is divided into nuclide analysis resolution process by the electronic part driving circuit block diagram, MCU circuit design used for radiation measurement, and PC program design for Spectrum acquisition. Prototyping with nuclide analysis function is made by adding a 128×128 pixel OLED display, three buttons for operation, a Li-ion battery, and a USB-C type port for charging the battery. The GUI development department applied to the prototype develops the screen composition such as the current time, elapsed measurement time, total count, and nuclide Spectrum. To evaluate the performance of the proposed measurement sensor module, an expert witness test was conducted. As a result of the test, it was confirmed that the calculated result by applying the resolution formula to the Spectrum (FWHM@662keV) obtained using the Cs-137 standard source in the nuclide analysis device had a resolution of 17.77%. Therefore, it was confirmed that the nuclide analysis resolution method proposed in this paper produces improved performance while being cheaper than the existing commercial nuclide analysis module.

Grain-Based Distinct Element Modeling of Thermoshearing of Rock Fracture: DECOVALEX-2023 Task G (입자기반 개별요소모델을 이용한 암석 균열의 Thermoshearing 거동 해석: 국제공동연구 DECOVALEX-2023 Task G)

  • Jung-Wook, Park;Li, Zhuang;Jeong Seok, Yoon;Chan-Hee, Park;Changlun, Sun;Changsoo, Lee
    • Tunnel and Underground Space
    • /
    • v.32 no.6
    • /
    • pp.568-585
    • /
    • 2022
  • In the present study, we proposed a numerical method for simulating thermally induced fracture slip using a grain-based distinct element model (GBDEM). As a part of DECOVALEX-2023, the thermo-mechanical loading test on a saw-cut rock fracture conducted at the Korea Institute of Civil Engineering and Building Technology was simulated. In the numerical model, the rock sample including a saw-cut fracture was represented as a group of random Voronoi polyhedra. Then, the coupled thermo-mechanical behavior of grains and their interfaces was calculated using 3DEC. The key concerns focused on the temperature evolution, thermally induced principal stress increment, and fracture normal and shear displacements under thermo-mechanical loading. The comparisons between laboratory experimental results and the numerical results revealed that the numerical model reasonably captured the heat transfer and heat loss characteristics of the rock specimen, the horizontal stress increment due to constrained displacement, and the progressive shear failure of the fracture. However, the onset of the fracture slip and the magnitudes of stress increment and fracture displacement showed discrepancies between the numerical and experimental results. We expect the numerical model to be enhanced by continuing collaboration and interaction with other research teams of DECOVALEX-2023 Task G and validated in further study.

Establishment of a Standard Procedure for Safety Inspections of Bridges Using Drones (드론 활용 교량 안전점검을 위한 표준절차 정립)

  • Lee, Suk Bae;Lee, Kihong;Choi, Hyun Min;Lim, Chi Sung
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.42 no.2
    • /
    • pp.281-290
    • /
    • 2022
  • In Korea, the number of national facilities for which a safety inspection is mandatory is increasing, and a safer safety inspection method is needed. This study aimed to increase the efficiency of the bridge safety inspection by enabling rapid exterior inspection while securing the safety of inspectors by using drones to perform the safety inspections of bridges, which had mainly relied on visual inspections. For the research, the Youngjong Grand Bridge in Incheon was selected as a test bed and was divided into four parts: the warren truss, suspension bridge main cable, main tower, and pier. It was possible to establish a five-step standard procedure for drone safety inspections. The step-by-step contents of the standard procedure obtained as a result of this research are: Step 1, facility information collection and analysis, Step 2, analysis of vulnerable parts and drone flight planning, Step 3, drone photography and data processing, Step 4, condition evaluation by external inspection, Step 5, building of external inspection diagram and database. Therefore, if the safety inspections of civil engineering facilities including bridges are performed according to this standard procedure, it is expected that these inspection can be carried out more systematically and efficiently.

A Study on Dynamic Capacity Assessment of PSC Box Girder High Speed Railway Bridges Using Time Series Load (시계열하중을 이용한 PSC 박스 거더 고속철도교량의 동적성능 평가에 관한 연구)

  • Han, Sung Ho;Bang, Myung Seok;Lee, Woo Sang
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.30 no.3A
    • /
    • pp.211-219
    • /
    • 2010
  • The design concept of high speed railway bridges is applied to a method for increasing the stiffness of existing bridge structures considering the impact factor by a static load. Generally, the process of structural design would be relied upon an advanced foreign technology. However, the dynamic amplification factor (DAF) and dynamic capacity assessment of high speed railway bridges may be conducted essentially a detailed estimation because the resonance phenomenon is affected by the long length (380 m) and high speed (300 km/h) moving of a high speed railway (Korea Train eXpress: KTX). Therefore, this study will be examined the dynamic capacity of the typical PSC Box Girder high speed railway bridge efficiently, and offered the basic information for the reasonable structural design. For this, the static analysis is conducted considering the load line diagram of KTX based upon existing references. In addition, the KTX moving load is transformed into the time series load considering various analytical variables. The time history analysis is assessed reasonable using the transformed time series load. At that time, analytical variables for calculating the time series load are considered loading node distance, time increment and KTX velocity variation etc. The dynamic capacity of the PSC Box Girder high speed railway bridge is examined based upon the FE analysis result systematically. The structural safety is assessed quantitatively in accordance with the related regulation of the inside and outside of the country.

Derivation of the Synthetic Unit Hydrograph Based on the Watershed Characteristics (유역특성에 의한 합성단위도의 유도에 관한 연구)

  • 서승덕
    • Magazine of the Korean Society of Agricultural Engineers
    • /
    • v.17 no.1
    • /
    • pp.3642-3654
    • /
    • 1975
  • The purpose of this thesis is to derive a unit hydrograph which may be applied to the ungaged watershed area from the relations between directly measurable unitgraph properties such as peak discharge(qp), time to peak discharge (Tp), and lag time (Lg) and watershed characteristics such as river length(L) from the given station to the upstream limits of the watershed area in km, river length from station to centroid of gravity of the watershed area in km (Lca), and main stream slope in meter per km (S). Other procedure based on routing a time-area diagram through catchment storage named Instantaneous Unit Hydrograph(IUH). Dimensionless unitgraph also analysed in brief. The basic data (1969 to 1973) used in these studies are 9 recording level gages and rating curves, 41 rain gages and pluviographs, and 40 observed unitgraphs through the 9 sub watersheds in Nak Oong River basin. The results summarized in these studies are as follows; 1. Time in hour from start of rise to peak rate (Tp) generally occured at the position of 0.3Tb (time base of hydrograph) with some indication of higher values for larger watershed. The base flow is comparelatively higher than the other small watershed area. 2. Te losses from rainfall were divided into initial loss and continuing loss. Initial loss may be defined as that portion of storm rainfall which is intercepted by vegetation, held in deppression storage or infiltrated at a high rate early in the storm and continuing loss is defined as the loss which continues at a constant rate throughout the duration of the storm after the initial loss has been satisfied. Tis continuing loss approximates the nearly constant rate of infiltration (${\Phi}$-index method). The loss rate from this analysis was estimated 50 Per cent to the rainfall excess approximately during the surface runoff occured. 3. Stream slope seems approximate, as is usual, to consider the mainstreamonly, not giving any specific consideration to tributary. It is desirable to develop a single measure of slope that is representative of the who1e stream. The mean slope of channel increment in 1 meter per 200 meters and 1 meter per 1400 meters were defined at Gazang and Jindong respectively. It is considered that the slopes are low slightly in the light of other river studies. Flood concentration rate might slightly be low in the Nak Dong river basin. 4. It found that the watershed lag (Lg, hrs) could be expressed by Lg=0.253 (L.Lca)0.4171 The product L.Lca is a measure of the size and shape of the watershed. For the logarithms, the correlation coefficient for Lg was 0.97 which defined that Lg is closely related with the watershed characteristics, L and Lca. 5. Expression for basin might be expected to take form containing theslope as {{{{ { L}_{g }=0.545 {( { L. { L}_{ca } } over { SQRT {s} } ) }^{0.346 } }}}} For the logarithms, the correlation coefficient for Lg was 0.97 which defined that Lg is closely related with the basin characteristics too. It should be needed to take care of analysis which relating to the mean slopes 6. Peak discharge per unit area of unitgraph for standard duration tr, ㎥/sec/$\textrm{km}^2$, was given by qp=10-0.52-0.0184Lg with a indication of lower values for watershed contrary to the higher lag time. For the logarithms, the correlation coefficient qp was 0.998 which defined high sign ificance. The peak discharge of the unitgraph for an area could therefore be expected to take the from Qp=qp. A(㎥/sec). 7. Using the unitgraph parameter Lg, the base length of the unitgraph, in days, was adopted as {{{{ {T}_{b } =0.73+2.073( { { L}_{g } } over {24 } )}}}} with high significant correlation coefficient, 0.92. The constant of the above equation are fixed by the procedure used to separate base flow from direct runoff. 8. The width W75 of the unitgraph at discharge equal to 75 per cent of the peak discharge, in hours and the width W50 at discharge equal to 50 Per cent of the peak discharge in hours, can be estimated from {{{{ { W}_{75 }= { 1.61} over { { q}_{b } ^{1.05 } } }}}} and {{{{ { W}_{50 }= { 2.5} over { { q}_{b } ^{1.05 } } }}}} respectively. This provides supplementary guide for sketching the unitgraph. 9. Above equations define the three factors necessary to construct the unitgraph for duration tr. For the duration tR, the lag is LgR=Lg+0.2(tR-tr) and this modified lag, LgRis used in qp and Tb It the tr happens to be equal to or close to tR, further assume qpR=qp. 10. Triangular hydrograph is a dimensionless unitgraph prepared from the 40 unitgraphs. The equation is shown as {{{{ { q}_{p } = { K.A.Q} over { { T}_{p } } }}}} or {{{{ { q}_{p } = { 0.21A.Q} over { { T}_{p } } }}}} The constant 0.21 is defined to Nak Dong River basin. 11. The base length of the time-area diagram for the IUH routing is {{{{C=0.9 {( { L. { L}_{ca } } over { SQRT { s} } ) }^{1/3 } }}}}. Correlation coefficient for C was 0.983 which defined a high significance. The base length of the T-AD was set to equal the time from the midpoint of rain fall excess to the point of contraflexure. The constant K, derived in this studies is K=8.32+0.0213 {{{{ { L} over { SQRT { s} } }}}} with correlation coefficient, 0.964. 12. In the light of the results analysed in these studies, average errors in the peak discharge of the Synthetic unitgraph, Triangular unitgraph, and IUH were estimated as 2.2, 7.7 and 6.4 per cent respectively to the peak of observed average unitgraph. Each ordinate of the Synthetic unitgraph was approached closely to the observed one.

  • PDF