• Title/Summary/Keyword: Size verification

Search Result 550, Processing Time 0.04 seconds

An Efficient Authentication Scheme for Multicast Packet using Recovery Layer (복구 계층을 이용한 멀티캐스트 패킷 인증)

  • 홍기훈;정수환
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.14 no.3
    • /
    • pp.63-73
    • /
    • 2004
  • This paper proposes an efficient authentication scheme for multicast packet using recovery layer to provide source authentication. The problems of the existing schemes are as follows : TESLA requires time synchronization between the sender and the receiver, md hash-based schemes have high communication overheads due to additional hash values and require many buffers and delay for verification on receivers. Our main focus is reducing the buffer size, communication and computation burden of the receiver. The proposed scheme in this paper is highly robust to packet loss using the recovery layer based on XOR operation. It also provides low communication overhead, low verification cost, non-repudiation of the origin, immediate verification and robustness against DoS attack on the receiver.

Verification on the Fracture Size Estimation Using Forward Modeling Approach (순산 모델링 기법을 이용한 단열크기 추정방법 고찰)

  • 김경수;김천수;배대석;정지곤
    • The Journal of Engineering Geology
    • /
    • v.8 no.1
    • /
    • pp.1-12
    • /
    • 1998
  • The fracture size among geometric parameters of the fracture system is treated as one of the most important factors in the geotechnical and hydrogeological analysis. However, several uncertainties in data acquisition and analysis pmcess about the fracture size are not clear yet. This study presents the current status on the estimation of the fracture size and verifies the estimating method using forward modeling approach. The factors considered are the variation of fracture intersection probabilities with different assumptions on the orientation of sampling planes and fracture size by using a simulated tleee dimensional fracture network model. If it is possible to analyze precisely the fracture intersection probabilities and the characteristics of probabilistic distnbution fiom cavern walls, outcrops or boreholes,the actual fracture size developed in rock rnass can be estimated confidently.

  • PDF

A PARAMETRIC SENSITIVITY STUDY OF GDI SPRAY CHARACTERISTICS USING A 3-D TRANSIENT MODEL

  • Comer, M.A.;Bowen, P.J.;Sapsford, S.M.;Kwon, S.I.
    • International Journal of Automotive Technology
    • /
    • v.5 no.3
    • /
    • pp.145-153
    • /
    • 2004
  • Potential fuel economy improvements and environmental legislation have renewed interest in Gasoline Direct Injection (GDI) engines. Computational models of fuel injection and mixing processes pre-ignition are being developed for engine optimisation. These highly transient thermofluid models require verification against temporally and spatially resolved data-sets. The authors have previously established the capability of PDA to provide suitable temporally and spatially resolved spray characteristics such as mean droplet size, velocity components and qualitative mass distribution. This paper utilises this data-set to assess the predictive capability of a numerical model for GDI spray prediction. After a brief description of the two-phase model and discretisation sensitivity, the influence of initial spray conditions is discussed. A minimum of 5 initial global spray characteristics are required to model the downstream spray characteristics adequately under isothermal, atmospheric conditions. Verification of predicted transient spray characteristics such as the hollow-cone, cone collapse, head vortex, stratification and penetration are discussed, and further improvements to modelling GDI sprays proposed.

Generalization and its Verification of Concrete Compressive Strength Prediction Equation (콘크리트 압축강도 예측식의 일반화 및 이들 식의 검증)

  • Choi, Joong-Cheol;Yi, Seong-Tae;Yang, Eun-Ik;Kim, Dong-Yong;Son, Suk-Ho;Mun, Byung-Suk
    • Proceedings of the Korea Concrete Institute Conference
    • /
    • 2006.05b
    • /
    • pp.537-540
    • /
    • 2006
  • In previous study, the effect of specimen sizes and shapes on the compressive strength of concrete specimens was experimentally investigated based on fracture mechanics. In this study, the relationship between the cube compressive strength and the cylinder strength for representative specimen sizes was investigated by linear regression analyses. And, by reanalyzing the compressive strength prediction equations with specimen size and shape obtained in previous studies, the compressive strength prediction equations were generalized. In addition, its verification was investigated by comparing with the results obtained from other researchers.

  • PDF

Rate-sensitive analysis of framed structures Part I: model formulation and verification

  • Izzuddin, B.A.;Fang, Q.
    • Structural Engineering and Mechanics
    • /
    • v.5 no.3
    • /
    • pp.221-237
    • /
    • 1997
  • This paper presents a new uniaxial material model for rate-sensitive analysis addressing both the transient and steady-state responses. The new model adopts visco-plastic theory for the rate-sensitive response, and employs a three-parameter representation of the overstress as a function of the strain-rate. The third parameter is introduced in the new model to control its transient response characteristics, and to provide flexibility in fitting test data on the variation of overstress with strain-rate. Since the governing visco-plastic differential equation cannot be integrated analytically due to its inherent nonlinearity, a new single-step numerical integration procedure is proposed, which leads to high levels of accuracy almost independent of the size of the integration time-step. The new model is implemented within the nonlinear analysis program ADAPTIC, which is used to provide several verification examples and comparison with other experimental and numerical results. The companion paper extends the three-parameter model to trilinear static stress-strain relationships for steel and concrete, and presents application examples of the proposed models.

Design and Implementation of Digital Signature on Pedigree Using ECDSA (ECDSA를 사용한 Pedigree 디지털 서명의 설계 및 구현)

  • Khosiawan, Yohanes;Kwon, Joon-Ho;Hong, Bong-Hee
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06c
    • /
    • pp.286-288
    • /
    • 2012
  • Facing the counterfeiting acts towards various products, many manufacturers implement ePedigree system to secure their supply chain. Using ePedigree, a distribution history including a valid product identifier from the manufacturer until the final retailer is recorded. And this ePedigree is signed by each involved supply chain party using digital signature. With this digital signature, any unauthorized alteration to the ePedigree document would generate a failed verification process. If there is a counterfeit product using a fake ePedigree document, it wouldn't be able to pass the verification process either. Hence, there wouldn't be any counterfeit product that could enter the legal supply chain and bought by the consumer. We are proposing to use ECDSA instead of RSA since it has faster performance and shorter key size. At a certain same security level, ECDSA only needs 163 bits, while RSA needs 1024 bits.

Study on Implementation of Hardware Simulation System for Verification of Digital Circuit (디지털 회로 검증을 위한 하드웨어 시뮬레이션 시스템 구현에 관한 연구)

  • Cho, Hyun-Seob;Oh, Myoung-Kwan
    • Proceedings of the KAIS Fall Conference
    • /
    • 2007.11a
    • /
    • pp.78-80
    • /
    • 2007
  • According to the development of VLSI integration technology and getting bigger the circuit size, it is a significant problem to verify systemized circuit. The faster and more accurate verification has very significant meaning in the field of electronic industry because it can yield the product comparably faster and reduce the trial and errors. In spite of the presence of various kind of Integrated Circuits it's not always easy to get the right part. Besides, it is hard to find a vendor for a small quantity consumers like who develop prototype applications. In this study, we've tried to get the logical signals from the PC based device we've developed that correspondents with the real ICs. It can emulate decoder ICs, multiplexers, demultiplexers and basic logic gates.

  • PDF

Analysis on the flow of $U_3O_8$ powder for design of the voloxidizer (건식분말화 장치설계를 위한 $U_3O_8$ 분말의 미세입자 유동해석)

  • Kim Y. H.;Jung J. H.;Hong D. H.;Yoon J. S.
    • Proceedings of the Korean Society for Technology of Plasticity Conference
    • /
    • 2005.05a
    • /
    • pp.454-457
    • /
    • 2005
  • Voloxidizer for hot cell demonstration that handle spend fuel of high radiation virulence in limited space should become a small size and not scatter in its exit. This study determine optimum velocity of $U_3O_8$ using Newton-Raphson Method. We have conducted fortran programing on the Newton-Raphson Method, obtained a theory results and, predicted optimum velocity on the particle size distribution of $U_3O_8$. We have conducted experimentation using acrylic experimental device for verification of theory method, sampled and analyzed using the particle size analyzer In the results, we have found maximum $5\~7\%$ error rate in the comparative value of theory and experimentation. Optimum velocity and experimental results of $U_3O_8$ for scatter prevention have applied for design of demonstration voloxidizer, and produced operation condition of voloxidizer.

  • PDF

Study of the flow around a cylinder from the subcritical to supercritical regimes

  • Zhang, Xian-Tao;Li, Zhi-Yu;Fu, Shi-Xiao;Ong, Muk Chen;Chen, Ying
    • Ocean Systems Engineering
    • /
    • v.4 no.3
    • /
    • pp.185-200
    • /
    • 2014
  • The objective of the present simulations is to evaluate the applicability of the standard $k-{\varepsilon}$ turbulence model in engineering practice in the subcritical to supercritical flow regimes. Two-dimensional numerical simulations of flow around a circular cylinder at $Re=1{\times}10^5$, $5{\times}10^5$ and $1{\times}10^6$, had been performed using Unsteady Reynolds-Averaged Navier Stokes (URANS) equations with the standard $k-{\varepsilon}$ turbulence model. Solution verification had been studied by evaluating grid and time step size convergence. For each Reynolds number, several meshes with different grid and time step size resolutions were chosen to calculate the hydrodynamic quantities such as the time-averaged drag coefficient, root-mean square value of lift coefficient, Strouhal number, the coefficient of pressure on the downstream point of the cylinder, the separation angle. By comparing the values of these quantities of adjacent grid or time step size resolutions, convergence study has been performed. Solution validation is obtained by comparing the converged results with published numerical and experimental data. The deviations of the values of present simulated quantities from those corresponding experimental data become smaller as Reynolds numbers increases from $1{\times}10^5$ to $1{\times}10^6$. This may show that the standard $k-{\varepsilon}$ model with enhanced wall treatment appears to be applicable for higher Reynolds number turbulence flow.

A Study on the Verification of Heavy Overhaul Maintenance Allowances for the Maintenance Shop (시뮬레이션과 BPR을 응용한 Layout 기반의 철도차량기지 중정비 검수 여유율 검증)

  • Choi, Sung-Hwan;Lee, Hi-Sung
    • Journal of the Korean Society for Railway
    • /
    • v.13 no.1
    • /
    • pp.9-15
    • /
    • 2010
  • When designing the size of a heavy maintenance shop for rolling stock, it is required to arrange buildings and facilities in the minimum site so as to improve the maintenance efficiency. However, the fluctuation rate (hereinafter "allowance rate") on which factors such as service and maintenance fluctuation should be applied when estimating the size of the maintenance shop has been used without verification. The objective of the study is to calculate a reasonable allowance rate and to review its appropriateness through the analysis of the facilities layout and process simulation to absorb the above elements into the staying time in the heavy maintenance shop. Since the working time, in this study, is assumed to be average working time, 10~20% was given to the standard deviation of working time in consideration of difference between workers, and possible allowance rate was drawn by analysis of the simulation results. In the future, it is required to optimize the size of the shop by applying appropriate allowance rate through scientific review of such factors as O&M plan, R/S reserve rate, capability of the shop, outsourcing rate, standard work amount, and so on.