• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.24 no.5
• /
• pp.513-520
• /
• 2011

In this paper, the advanced explicit algorithm is proposed to simulate the stress-erection process analysis of Strarch system. The Strarch(Stressed-Arch) system is a unique and innovative structural system and member prestress comprising prefabricated plane truss frames which are erected by a post-tensioning stress-erection procedure. The flexible bottom chord which have sleeve and gap detail are closed by the reaction force of prestressing tendon. The prestress imposing to the tendon will make the Strarch system to be erected. This post tensioning process is called as "stress-erection process". During the stress-erection process, the plastic rigid body rotation is occurred to the flexible top chord by the excessive amount of plastic strain, and the structural characteristic becomes to be unstable. In this study, the large deformational beam-column element with plastic hinge is used to model the flexible top chord, and the advanced Dynamic Relaxation method(DRM) are applied to the unstable problem of stress-erection process of Strarch system. Finally, the verification of proposed explicit algorithm is evaluated by analysing the stress-erection of real project of Strarch system.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.16 no.4
• /
• pp.771-782
• /
• 2021

Regular or irregular situations such as traffic accidents, damage to road facilities, maintenance or repair work, and vehicle breakdowns occur frequently on highways. It is required to provide traffic services to drivers by promptly recognizing these regular or irregular situations, various techniques have been developed for rapidly collecting data and detecting abnormal traffic conditions to solve the problem. We propose a method that can be used for verification and demonstration of unexpected situation algorithms by establishing a system and developing algorithms for detecting unexpected situations on highways. For the detection of emergencies on expressways, a system was established by defining the expressway contingency and algorithm development, and a test bed was operated to suggest a method that can be used for verification and demonstration of contingency algorithms. In this study, a system was established by defining the unexpected situation and developing an algorithm to detect the unexpected situation on the highway, and a method that can be used verifying and demonstrating unexpected situations. It is expected to secure golden time for the injured by reducing the effectiveness of secondary accidents. Also predictable accidents can be reduced in case of unexpected situations and the detection time of unpredictable accidents.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1789-1804
• /
• 1999

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 2002.09a
• /
• pp.129-132
• /
• 2002

The practical virtual compensator, which uses a dynamic multi-leaf collimator (dMLC) and three-dimensional radiation therapy planning (3D RTP) system, was designed. And the feasibility study of the virtual compensator was done to verify that the virtual compensator acts a role as the replacement of the physical compensator. Design procedure consists of three steps. The first step is to generate the isodose distributions from the 3D RTP system (Render Plan, Elekta). Then isodose line pattern was used as the compensator pattern. Pre-determined compensating ratio was applied to generate the fluence map for the compensator design. The second step is to generate the leaf sequence file with Ma's algorithm in the respect of optimum MU-efficiency. All the procedure was done with home-made software. The last step is the QA procedure which performs the comparison of the dose distributions which are produced from the irradiation with the virtual compensator and from the calculation by 3D RTP. In this study, a phantom was fabricated for the verification of properness of the designed compensator. It is consisted of the styrofoam part which mimics irregular shaped contour or the missing tissues and the mini water phantom. Inhomogeneous dose distribution due to the styrofoam missing tissue could be calculated with the RTP system. The film dosimetry in the phantom with and without the compensator showed significant improvement of the dose distributions. The virtual compensator designed in this study was proved to be a replacement of the physical compensator in the practical point of view.

• Journal of the Korean Geotechnical Society
• /
• v.32 no.4
• /
• pp.5-14
• /
• 2016

Numerical simulation of dynamic soil-pile-structure interaction embedded in a dry sand was carried out. 3D model of the dynamic centrifuge model tests was formulated in a time domain to consider nonlinear behavior of soil using the finite difference method program, FLAC3D. As a modeling methodology, Mohr-Coulomb criteria was adopted as soil constitutive model. Soil nonlinearity was considered by adopting the hysteretic damping model, and an interface model which can simulate separation and slip between soil and pile was adopted. Simplified continuum modeling (Kim et al., 2012) was used as boundary condition to reduce analysis time. Calibration process for numerical modeling results and test results was performed through the parametric study. Verification process was then performed by comparing numerical modeling results with another test results. Based on the calibration and validation procedure, it is identified that proposed modeling method can properly simulate dynamic behavior of soil-pile system in dry condition.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2015.10a
• /
• pp.791-793
• /
• 2015

Recently, UCC (User Created Contents) and VoD (Video on Demand), and multimedia content are growing, IP-TV, Smart TV, OHTV (Open Hybrid TV) various services such as multi platform (Multi-platform) environment, services and QoS issues. To solve this problem, the network efficiently, and improve the quality of content is necessary for the system. In this paper, the network of channels State and transmission of multimedia data based on dynamic resource usage, TCP and UDP, Adaptive dual-streaming system used for design and analysis. In addition, the existing TCP and UDP streaming system using a single protocol for analysis and verification of the effectiveness of the difference between and. This is a disaster, and medical/first aid system will be utilized in the field of feed, are ubiquitous.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.3
• /
• pp.181-192
• /
• 2022

Active vibration control system(AVCS) for helicopter enables to control the vibration generated from the main rotor and has the superb vibration reduction performance with low weight compared passive vibration reduction device. In this paper, FxLMS algorithm-based vibration control software of the light civil helicopter tansmits the control command calculated using the signals of the tachometer and accelerometers to the circular force generator(CFG) is developed and verified. According to the RTCA DO-178C/DO-331, the vibration control software is developed through the model based design technique, and real-time operation performance is evaluated in PILS(processor in-the loop simulation) and HILS(hardware in-the loop simulation) environments. In particular, the reliability of the software is improved through the LDRA-based verification coverage in the PIL environments. In order to AVCS to light civil helicopter(LCH), the dynamic response characteristic model is obtained through the ground/flight tests. AVCS configuration which exhibits the optimal performance is determined using system optimization analysis and flight test and obtain STC certification.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.35 no.1
• /
• pp.55-62
• /
• 2017

The SRP (Solar Radiation Pressure) model has always been an issue in the dynamic GPS (Global Positioning System) orbit determination. The widely used CODE (Center for Orbit Determination in Europe) model and its variants have nine parameters to estimate the solar radiation pressure from the Sun and to absorb the remaining forces. However, these parameters show a very high correlation with each other and, therefore, only several of them are estimated at most of the IGS (International GNSS Service) analysis centers. In this study, we attempted to numerically verify the correlation between the parameters. For this purpose, a bi-directional, multi-step numerical integrator was developed. The correlation between the SRP parameters was analyzed in terms of post-fit residuals of the orbit. The integrated orbit was fitted to the IGS final orbit as external observations. On top of the parametric analysis of the SRP parameters, we also verified the capabilities of orbit prediction at later time epochs. As a secondary criterion for orbit quality, the positional discontinuity of the daily arcs was also analyzed. The resulting post-fit RMSE (Root-Mean-Squared Error) shows a level of 4.8 mm on average and there is no significant difference between block types. Since the once-per-revolution parameters in the Y-axis are highly correlated with those in the B-axis, the periodic terms in the D- and Y-axis are constrained to zero in order to resolve the correlations. The 6-hr predicted orbit based on the previous day yields about 3 cm or less compared to the IGS final orbit for a week, and reaches up to 6 cm for 24 hours (except for one day). The mean positional discontinuity at the boundary of two 1-day arcs is on the level of 1.4 cm for all non-eclipsing satellites. The developed orbit integrator shows a high performance in statistics of RMSE and positional discontinuity, as well as the separations of the dynamic parameters. In further research, additional verification of the reference frame for the estimated orbit using SLR is necessary to confirm the consistency of the orbit frames.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.10
• /
• pp.5039-5061
• /
• 2017

Cloud storage becomes a new trend that more and more users move their data to cloud storage servers (CSSs). To ensure the security of cloud storage, many cloud auditing schemes are proposed to check the integrity of users' cloud data. However, most of them are based on public key infrastructure, which leads to complex certificates management and verification. Besides, most existing auditing schemes are inefficient when user uploads a large amount of data or a third party auditor (TPA) performs auditing for multiple users' data on different CSSs. To overcome these problems, in this paper, we propose an efficient and secure auditing scheme based on identity-based cryptography. To relieve user's computation burden, we introduce a proxy, which is delegated to generate and upload homomorphic verifiable tags for user. We extend our auditing scheme to support auditing for dynamic data operations. We further extend it to support batch auditing in multiple users and multiple CSSs setting, which is practical and efficient in large scale cloud storage system. Extensive security analysis shows that our scheme is provably secure in random oracle model. Performance analysis demonstrates that our scheme is highly efficient, especially reducing the computation cost of proxy and TPA.

• Journal of the Korean Geotechnical Society
• /
• v.33 no.6
• /
• pp.5-16
• /
• 2017

Rocking behavior of shallow foundation during the earthquake can reduce the seismic load of the superstructure. The dynamic centrifuge tests were performed to investigate the availability of using rocking behavior for the weathered soil condition. The centrifuge test model was composed of the weathered soil, shallow foundation and single degree of freedom structure. And the accelerations of soil, foundation and structure, and the foundation settlement were measured during the earthquake. From the test result, the seismic load of the structure for the strong earthquake input was reduced by the rocking behavior with foundation uplift and the maximum foundation settlement was less than 0.5% of the foundation width. This shows the potential that the rocking foundation concept can be used in the economical seismic design of foundation for the weathered soil in the future with additional research and verification.