• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.12
• /
• pp.2834-2851
• /
• 1997

In this paper, a design and implementation of VHDL compiler front-end, aims at supporting the full-set of VHDL '87 & '93 LRM and carring out the preprocessing of VHDL-to-C, is described. The VHDL compiler front-end includes 1)the symbol tree of analyzed data to represent the hierarchy, the scope and visibility, the overloading and homograph, the concurrent multiple stacks in VHDL, 2)the data structure and supportig routies to deal with the objects, the type and subtype, the attribute and operation in VHDL, 3)the analysis of the concurrent/sequential statements, the behavior/structural descriptions, of semantic token and the propagation of symbol & type to improve the registration and retrieval procedure of analyzed data. In the experiments with Validation Suite, the VHDL compiler front-end could support the full-set specification of VHDL LRM '87 & '93; and in the experiments to asses the performance of symantic token for the VHDL hierachy/visibility/concurrency/semantic checking, the improvement of about 20-30% could be achieved.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.8 no.2
• /
• pp.19-25
• /
• 2004

The linear analysis for the balance of linear momentum of a structure is relatively easy to perform, but the error becomes large when the structure experiences large deformation. Therefore, the material and geometric nonlinearity need to be considered for the precise calculations in that case. The plastic flow of a ductile steel-like metal mainly transforms its dissipated mechanical energy into heat, which transfers under the first and second law of thermodynamics. This heat increases the temperature of the material and the strength of the material decreases accordingly, which affects mechanical behavior of the given structure. This paper presents a finite-strain thermo-elasto-plastic steel model. This model can handle large deformation and thermal load simultaneously, which is common during earthquake periods. Two 3-dimensional finite element analyses verify this formulation.

• Journal of Preventive Medicine and Public Health
• /
• v.54 no.5
• /
• pp.301-308
• /
• 2021

Objectives: Despite its advantages, it is not yet common practice in Korea for researchers to investigate disease associations using spatio-temporal analyses. In this study, we aimed to review health-related epidemiological research using spatio-temporal analyses and to observe methodological trends. Methods: Health-related studies that applied spatial or spatio-temporal methods were identified using 2 international databases (PubMed and Embase) and 4 Korean academic databases (KoreaMed, NDSL, DBpia, and RISS). Two reviewers extracted data to review the included studies. A search for relevant keywords yielded 5919 studies. Results: Of the studies that were initially found, 150 were ultimately included based on the eligibility criteria. In terms of the research topic, 5 categories with 11 subcategories were identified: chronic diseases (n=31, 20.7%), infectious diseases (n=27, 18.0%), health-related topics (including service utilization, equity, and behavior) (n=47, 31.3%), mental health (n=15, 10.0%), and cancer (n=7, 4.7%). Compared to the period between 2000 and 2010, more studies published between 2011 and 2020 were found to use 2 or more spatial analysis techniques (35.6% of included studies), and the number of studies on mapping increased 6-fold. Conclusions: Further spatio-temporal analysis-related studies with point data are needed to provide insights and evidence to support policy decision-making for the prevention and control of infectious and chronic diseases using advances in spatial techniques.

• Geomechanics and Engineering
• /
• v.25 no.3
• /
• pp.195-205
• /
• 2021

Time effect on the deformation and strength characteristics of geogrid reinforced sand retaining wall has become an important issue in geotechnical and transportation engineering. Three physical model tests on geogrid reinforced sand retaining walls performed under various loading conditions were simulated to study their rate-dependent behaviors, using the presented nonlinear finite element method (FEM) analysis procedure. This FEM was based on the dynamic relaxation method and return mapping scheme, in which the combined effects of the rate-dependent behaviors of both the backfill soil and the geosynthetic reinforcement have been included. The rate-dependent behaviors of sands and geogrids should be attributed to the viscous property of materials, which can be described by the unified three-component elasto-viscoplastic constitutive model. By comparing the FEM simulations and the test results, it can be found that the present FEM was able to be successfully extended to the boundary value problems of geosynthetic reinforced soil retaining walls. The deformation and strength characteristics of the geogrid reinforced sand retaining walls can be well reproduced. Loading rate effect, the trends of jump in footing pressure upon the step-changes in the loading rate, occurred not only on sands and geogrids but also on geogrid reinforced sands retaining walls. The lateral earth pressure distributions against the back of retaining wall, the local tensile force in the geogrid arranged in the retaining wall and the local stresses beneath the footing under various loading conditions can also be predicted well in the FEM simulations.

• Steel and Composite Structures
• /
• v.48 no.3
• /
• pp.275-291
• /
• 2023

This paper has focused on presenting vibration analysis of trapezoidal sandwich plates with 3D-graphene foam reinforced polymer matrix composites (GrF-PMC) core and FG wavy CNT-reinforced face sheets. The porous graphene foam possessing 3D scaffold structures has been introduced into polymers for enhancing the overall stiffness of the composite structure. Also, 3D graphene foams can distribute uniformly or non-uniformly in the plate thickness direction. The effective Young's modulus, mass density and Poisson's ratio are predicted by the rule of mixture. In this study, the classical theory concerning the mechanical efficiency of a matrix embedding finite length fibers has been modified by introducing the tube-to-tube random contact, which explicitly accounts for the progressive reduction of the tubes' effective aspect ratio as the filler content increases. The First-order shear deformation theory of plate is utilized to establish governing partial differential equations and boundary conditions for trapezoidal plate. The governing equations together with related boundary conditions are discretized using a mapping-generalized differential quadrature (GDQ) method in spatial domain. Then natural frequencies of the trapezoidal sandwich plates are obtained using GDQ method. Validity of the current study is evaluated by comparing its numerical results with those available in the literature. It is explicated that 3D-GrF skeleton type and weight fraction, carbon nanotubes (CNTs) waviness and CNT aspect ratio can significantly affect the vibrational behavior of the sandwich structure. The plate's normalized natural frequency decreased and the straight carbon nanotube (w=0) reached the highest frequency by increasing the values of the waviness index (w).

• Korean Journal of Materials Research
• /
• v.32 no.3
• /
• pp.168-179
• /
• 2022

Microbiologically Influenced Corrosion (MIC) occurring in underground buried pipes of API 5L X65 steel was investigated. MIC is a corrosion phenomenon caused by microorganisms in soil; it affects steel materials in wet atmosphere. The microstructure and mechanical properties resulting from MIC were analyzed by OM, SEM/EDS, and mapping. Corrosion of pipe cross section was composed of ① surface film, ② iron oxide, and ③ surface/internal microbial corrosive by-product similar to surface corrosion pattern. The surface film is an area where concentrations of C/O components are on average 65 %/16 %; the main components of Fe Oxide were measured and found to be 48Fe-42O. The MIC area is divided into surface and inner areas, where high concentrations of N of 6 %/5 % are detected, respectively, in addition to the C/O component. The high concentration of C/O components observed on pipe surfaces and cross sections is considered to be MIC due to the various bacteria present. It is assumed that this is related to the heat-shrinkable sheet, which is a corrosion-resistant coating layer that becomes the MIC by-product component. The MIC generated on the pipe surface and cross section is inferred to have a high concentration of N components. High concentrations of N components occur frequently on surface and inner regions; these regions were investigated and Na/Mg/Ca basic substances were found to have accumulated as well. Therefore, it is presumed that the corrosion of buried pipes is due to the MIC of the NRB (nitrate reducing bacteria) reaction in the soil.

• Korean Journal of Materials Research
• /
• v.32 no.2
• /
• pp.57-65
• /
• 2022

Herein a rich, Se-nanoparticle modified Mo-W₁₈O₄₉ nanocomposite as efficient hydrogen evolution reaction catalyst is reported via hydrothermal synthesized process. In this work, Na₂SeSO₃ solution and selenium powder are used as Se precursor material. The structure and composition of the nanocomposites are characterized by X-ray diffraction (XRD), high-resolution field emission scanning electron microscopy (SEM), X-ray photoelectron spectroscopy (XPS), EDX spectrum analysis and the corresponding element mapping. The improved electrochemical properties are studied by current density, and EIS analysis. The as-prepared Se modified Mo-W₁₈O₄₉ synthesized via Na₂SeSO₃ is investigated by FE-SEM analysis and found to exhibit spherical particles combined with nanosheets. This special morphology effectively improves the charge separation and transfer efficiency, resulting in enhanced photoelectric behavior compared with that of pure Mo-W₁₈O₄₉. The nanomaterial obtained via Na₂SeSO₃ solution demonstrates a high HER activity and low overpotential of -0.34 V, allowing it to deliver a current density of 10 mA cm^-2.

• Steel and Composite Structures
• /
• v.51 no.1
• /
• pp.73-91
• /
• 2024

This paper has focused on presenting vibration analysis of trapezoidal sandwich plates with a damaged core and FG wavy CNT-reinforced face sheets. A damage model is introduced to provide an analytical description of an irreversible rheological process that causes the decay of the mechanical properties, in terms of engineering constants. An isotropic damage is considered for the core of the sandwich structure. The classical theory concerning the mechanical efficiency of a matrix embedding finite length fibers has been modified by introducing the tube-to-tube random contact, which explicitly accounts for the progressive reduction of the tubes' effective aspect ratio as the filler content increases. The First-order shear deformation theory of plate is utilized to establish governing partial differential equations and boundary conditions for the trapezoidal plate. The governing equations together with related boundary conditions are discretized using a mapping-generalized differential quadrature (GDQ) method in spatial domain. Then natural frequencies of the trapezoidal sandwich plates are obtained using GDQ method. Validity of the current study is evaluated by comparing its numerical results with those available in the literature. After demonstrating the convergence and accuracy of the method, different parametric studies for laminated trapezoidal structure including carbon nanotubes waviness (0≤w≤1), CNT aspect ratio (0≤AR≤4000), face sheet to core thickness ratio (0.1 ≤ ${\frac{h_f}{h_c}}$ ≤ 0.5), trapezoidal side angles (30° ≤ α, β ≤ 90°) and damaged parameter (0 ≤ D < 1) are carried out. It is explicated that the damaged core and weight fraction, carbon nanotubes (CNTs) waviness and CNT aspect ratio can significantly affect the vibrational behavior of the sandwich structure. Results show that by increasing the values of waviness index (w), normalized natural frequency of the structure decreases, and the straight CNT (w=0) gives the highest frequency. For an overall comprehension on vibration of laminated trapezoidal plates, some selected vibration mode shapes were graphically represented in this study.

• Smart Media Journal
• /
• v.13 no.10
• /
• pp.9-18
• /
• 2024

E-scooters are eco-friendly and convenient, making their rental services highly popular. However, simultaneously, due to issues such as a surge in user numbers and a lack of user awareness about relevant traffic laws, related accident rates have increased tenfold in the last five years. As a result, dangerous riding of e-scooters is being presented as a new social issue. This study proposes a framework for detecting dangerously operating e-scooters in a fixed single-camera environment, which is cost-effective and conducive to accident detection. The proposed method uses object detection and tracking technology to identify people and e-scooters, simultaneously detecting multiple riders, helmet non-use, and sidewalk riding. For validation, it achieved excellent dangerous behavior detection performance in 17 diverse scenarios directly generated. Furthermore, compared to existing methods, it could detect more dangerous riding behaviors and provided detailed information, such as separately mapping dangerous riding results for each subject during multiple-rider situations. These results are expected to play a crucial role in enhancing urban traffic safety.