• The Journal of the Convergence on Culture Technology
• /
• v.9 no.6
• /
• pp.967-971
• /
• 2023

Recently, a variety of AI-based platform services are available, and one of them is ChatGPT that processes a large quantity of data in the natural language and generates an answer after self-learning. ChatGPT can perform various tasks including software programming in the IT sector. Particularly, it may help generate a simple program and correct errors using C Language, which is a major programming language. Accordingly, it is expected that ChatGPT is capable of effectively using Verilog HDL, which is a hardware language created in C Language. Verilog HDL synthesis, however, is to generate imperative sentences in a logical circuit form and thus it needs to be verified whether the products are executed properly. In this paper, we aim to select small-scale logical circuits for ease of experimentation and to verify the results of circuits generated by ChatGPT and human-designed circuits. As to experimental environments, Xilinx ISE 14.7 was used for module modeling, and the xc3s1000 FPGA chip was used for module embodiment. Comparative analysis was performed on the use area and processing time of FPGA to compare the performance of ChatGPT products and Verilog HDL products.

• Geomechanics and Engineering
• /
• v.35 no.2
• /
• pp.195-208
• /
• 2023

The nodular diaphragm wall (NDW) is a novel type of foundation with favorable engineering characteristics, which has already been utilized in high-rise buildings and high-speed railways. Compared to traditional diaphragm walls, the NDW offers significantly improved vertical bearing capacity due to the presence of nodular parts while reducing construction time and excavation work. Despite its potential, research on the vertical bearing characteristics of NDW requires further study, and the investigation and visualization of its displacement pattern and failure mode are scant. Meanwhile, the measurement of the force component acting on the nodular parts remains challenging. In this paper, the vertical bearing characteristics of NDW are studied in detail through the indoor model test, and the displacement and failure mode of the foundation is analyzed using particle image velocimetry (PIV) technology. The principles and methods for monitoring the force acting on the nodular parts are described in detail. The research results show that the nodular part plays an essential role in the bearing capacity of the NDW, and its maximum load-bearing ratio can reach 30.92%. The existence of the bottom nodular part contributes more to the bearing capacity of the foundation compared to the middle nodular part, and the use of both middle and bottom nodular parts increases the bearing capacity of the foundation by about 9~12% compared to a single nodular part of the NDW. The increase in the number of nodular parts cannot produce a simple superposition effect on the resistance born by the nodular parts since the nodular parts have an insignificant influence on the exertion and distribution of the skin friction of NDW. The existence of the nodular part changes the displacement field of the soil around NDW and increases the displacement influence range of the foundation to a certain extent. For NDWs with three different nodal arrangements, the failure modes of the foundations appear to be local shear failures. Overall, this study provides valuable insights into the performance and behavior of NDWs, which will aid in their effective utilization and further research in the field.

• Journal of the Institute of Convergence Signal Processing
• /
• v.24 no.2
• /
• pp.126-133
• /
• 2023

In this study, electromyography was obtained in the six muscle areas that move the joints of the two legs, and by analyzing it, an exercise robot system capable of gait rehabilitation was proposed in consideration of the individual's muscle state. Through this, the system was constructed to prevent the effect of exercise from decreasing because the patient's will was not reflected when walking exercise was simply provided automatically. As a result of the evaluation of the developed system, it was confirmed that the pedestrian rehabilitation robot system manufactured through this study had performance suitable for the design requirements, and it was also confirmed that the usability evaluation was comprehensively satisfactory. The results of this study are thought to be of great help to patients who are having difficulty in gait rehabilitation, and are believed to be helpful in the development of electromyography signal-based gait robot systems.

• Education of Primary School Mathematics
• /
• v.26 no.4
• /
• pp.299-316
• /
• 2023

With the importance and necessity of using AI in the field of education, this study aims to explore elementary school teachers' perceptions of using Artificial Intelligence (AI) in mathematics education. For this purpose, we conducted a survey using a 5-point Likert scale with 161 elementary school teachers and analyzed their perceptions of mathematics education with AI via four categories (i.e., Attitude of using AI, AI for teaching mathematics, AI for learning mathematics, and AI for assessing mathematics performance). As a result, elementary school teachers displayed positive perceptions of the usefulness of AI applications to teaching, learning, and assessment of mathematics. Specifically, they strongly agreed that AI could assist personalized teaching and learning, supplement prerequisite learning, and analyze the results of assessment. They also agreed that AI in mathematics education would not replace the teacher's role. The results of this study also showed that the teachers exhibited diverse perceptions ranging from negative to neutral to positive. The teachers reported that they were less confident and prepared to teach mathematics using AI, with significant differences in their perceptions depending on whether they enacted mathematics lessons with AI or received professional training courses related to AI. We discuss the implications for the role of teachers and pedagogical supports to effectively utilize AI in mathematics education.

• Tunnel and Underground Space
• /
• v.33 no.6
• /
• pp.445-471
• /
• 2023

Long-term safety over millennia is the top priority consideration in the construction of disposal sites. However, ensuring the mechanical stability of deep geological repositories for spent fuel, a.k.a. radwaste, disposal during construction and operation is also crucial for safe operation of the repository. Imposing restrictions or limitations on tunnel support and lining materials such as shotcrete, concrete, grouting, which might compromise the sealing performance of backfill and buffer materials which are essential elements for the long-term safety of disposal sites, presents a highly challenging task for rock engineers and tunnelling experts. In this study, as part of an extensive exploration to aid in the proper selection of disposal sites, the anticipation of constructing a deep geological repository at a depth of 500 meters in an unknown state has been carried out. Through a review of 2D and 3D numerical analyses, the study aimed to explore the range of properties that ensure stability. Preliminary findings identified the potential range of rock properties that secure the stability of central and disposal tunnels, while the stability of the vertical tunnel network was confirmed through 3D analysis, outlining fundamental rock conditions necessary for the construction of disposal sites.

• Nuclear Engineering and Technology
• /
• v.55 no.10
• /
• pp.3874-3897
• /
• 2023

A high-fidelity computational fluid dynamics (CFD) analysis was performed using the Large Eddy Simulation (LES) model for the lower plenum of the High-Temperature Test Facility (HTTF), a ¼ scale test facility of the modular high temperature gas-cooled reactor (MHTGR) managed by Oregon State University. In most next-generation nuclear reactors, thermal stress due to thermal striping is one of the risks to be curiously considered. This is also true for HTGRs, especially since the exhaust helium gas temperature is high. In order to evaluate these risks and performance, organizations in the United States led by the OECD NEA are conducting a thermal hydraulic code benchmark for HTGR, and the test facility used for this benchmark is HTTF. HTTF can perform experiments in both normal and accident situations and provide high-quality experimental data. However, it is difficult to provide sufficient data for benchmarking through experiments, and there is a problem with the reliability of CFD analysis results based on Reynolds-averaged Navier-Stokes to analyze thermal hydraulic behavior without verification. To solve this problem, high-fidelity 3-D CFD analysis was performed using the LES model for HTTF. It was also verified that the LES model can properly simulate this jet mixing phenomenon via a unit cell test that provides experimental information. As a result of CFD analysis, the lower the dependency of the sub-grid scale model, the closer to the actual analysis result. In the case of unit cell test CFD analysis and HTTF CFD analysis, the volume-averaged sub-grid scale model dependency was calculated to be 13.0% and 9.16%, respectively. As a result of HTTF analysis, quantitative data of the fluid inside the HTTF lower plenum was provided in this paper. As a result of qualitative analysis, the temperature was highest at the center of the lower plenum, while the temperature fluctuation was highest near the edge of the lower plenum wall. The power spectral density of temperature was analyzed via fast Fourier transform (FFT) for specific points on the center and side of the lower plenum. FFT results did not reveal specific frequency-dominant temperature fluctuations in the center part. It was confirmed that the temperature power spectral density (PSD) at the top increased from the center to the wake. The vortex was visualized using the well-known scalar Q-criterion, and as a result, the closer to the outlet duct, the greater the influence of the mainstream, so that the inflow jet vortex was dissipated and mixed at the top of the lower plenum. Additionally, FFT analysis was performed on the support structure near the corner of the lower plenum with large temperature fluctuations, and as a result, it was confirmed that the temperature fluctuation of the flow did not have a significant effect near the corner wall. In addition, the vortices generated from the lower plenum to the outlet duct were identified in this paper. It is considered that the quantitative and qualitative results presented in this paper will serve as reference data for the benchmark.

• Annals of Occupational and Environmental Medicine
• /
• v.35
• /
• pp.24.1-24.15
• /
• 2023

Background: The construction workers are vulnerable to fatigue due to high physical workload. This study aimed to investigate the relationship between overwork and heart rate in construction workers and propose a scheme to prevent overwork in advance. Methods: We measured the heart rates of construction workers at a construction site of a residential and commercial complex in Seoul from August to October 2021 and develop an index that monitors overwork in real-time. A total of 66 Korean workers participated in the study, wearing real-time heart rate monitoring equipment. The relative heart rate (RHR) was calculated using the minimum and maximum heart rates, and the maximum acceptable working time (MAWT) was estimated using RHR to calculate the workload. The overwork index (OI) was defined as the cumulative workload evaluated with the MAWT. An appropriate scenario line (PSL) was set as an index that can be compared to the OI to evaluate the degree of overwork in real-time. The excess overwork index (EOI) was evaluated in real-time during work performance using the difference between the OI and the PSL. The EOI value was used to perform receiver operating characteristic (ROC) curve analysis to find the optimal cut-off value for classification of overwork state. Results: Of the 60 participants analyzed, 28 (46.7%) were classified as the overwork group based on their RHR. ROC curve analysis showed that the EOI was a good predictor of overwork, with an area under the curve of 0.824. The optimal cut-off values ranged from 21.8% to 24.0% depending on the method used to determine the cut-off point. Conclusion: The EOI showed promising results as a predictive tool to assess overwork in real-time using heart rate monitoring and calculation through MAWT. Further research is needed to assess physical workload accurately and determine cut-off values across industries.

• Journal of Animal Science and Technology
• /
• v.66 no.1
• /
• pp.135-144
• /
• 2024

The objective of this study was to investigate the influence of feeding frequency on a sow's reproductive performance and stress response during gestation. A total of twenty multiparous sows (Yorkshire × Landrace) were used in a completely randomized design based on their parity, body weight (BW), and backfat thickness (BFT), and the sows were allotted to two different feeding systems: 1) once daily feeding (OF) and 2) twice daily feeding (TF) in corn-soybean meal based diets. The gestation diet was formulated to contain 3,265 kcal of metabolizable energy (ME) / kg, 12.90% of crude protein (CP), and 0.75 % of total lysine. The lactation diet was formulated to contain 3,265 kcal of ME / kg, 16.80% of CP, and 1.08% of total lysine and provided ad libitum during lactation. In gestation, sow BFT and BF changes were not affected by feeding frequency, but higher BW and BW gain from day 35 to 90 and day 35 to 110 were observed in OF sow (p < 0.10). In lactation, feeding frequency did not influence on BW, BW gain, BFT, BF changes, average daily feed intake, and wean-to-estrus interval. Also, there were no differences in litter size, litter weight and piglet weight in lactating sows. OF sows had higher (p < 0.05; p < 0.10) protein, solid-not-fat, and total solid concentrations in colostrum compared to TF sows, while OF sows had a lower (p < 0.05) lactose concentration in colostrum compared to TF sows. Sows in OF showed significantly lower average daily water consumption (ADWC) from day 35 to 110 of gestation (p < 0.05). While there were no significant differences in stereotypic behaviors and salivary cortisol levels during gestation between treatments, the OF sows showed less time spending on the activity at day 105 (p < 0.05). In conclusion, reduced feeding frequency increased BW gain during gestation, decreased activation time, and changed the colostrum composition. This information may contribute to the understanding of the physiological and behavioral change of gestating sows by manipulating feeding frequency.

• Smart Structures and Systems
• /
• v.34 no.2
• /
• pp.97-116
• /
• 2024

The standard l₁-norm regularization is recently introduced for impact force identification, but generally underestimates the peak force. Compared to l₁-norm regularization, l_p-norm (0 ≤ p < 1) regularization, with a nonconvex penalty function, has some promising properties such as enforcing sparsity. In the framework of sparse regularization, if the desired solution is sparse in the time domain or other domains, the under-determined problem with fewer measurements than candidate excitations may obtain the unique solution, i.e., the sparsest solution. Considering the joint sparse structure of impact force in temporal and spatial domains, we propose a general l_p-norm (0 ≤ p < 1) regularization methodology for simultaneous identification of the impact location and force time-history from highly incomplete measurements. Firstly, a nonconvex optimization model based on l_p-norm penalty is developed for regularizing the highly under-determined problem of impact force identification. Secondly, an iteratively reweighed l₁-norm algorithm is introduced to solve such an under-determined and unconditioned regularization model through transforming it into a series of l₁-norm regularization problems. Finally, numerical simulation and experimental validation including single-source and two-source cases of impact force identification are conducted on plate structures to evaluate the performance of l_p-norm (0 ≤ p < 1) regularization. Both numerical and experimental results demonstrate that the proposed l_p-norm regularization method, merely using a single accelerometer, can locate the actual impacts from nine fixed candidate sources and simultaneously reconstruct the impact force time-history; compared to the state-of-the-art l₁-norm regularization, l_p-norm (0 ≤ p < 1) regularization procures sufficiently sparse and more accurate estimates; although the peak relative error of the identified impact force using l_p-norm regularization has a decreasing tendency as p is approaching 0, the results of l_p-norm regularization with 0 ≤ p ≤ 1/2 have no significant differences.

• Journal of Service Research and Studies
• /
• v.14 no.3
• /
• pp.172-187
• /
• 2024

This paper deals with asymptotic approximations analysis of M/M/s and M/D/s queues. For M/M/s queue, we observe "economies of scale" under the fixed utilization ρ and the fixed probability α that customer waits in system, how the average system size vary according to the number of servers s increasing. Simulation results show that as s increases, the number of servers who are idling increases, that is, the slack n-E[Q_n] diverges. In addition, through changing the waiting probability α under the M/M/s system, α was not highly sensitive to the behavior of the system size. And, it is shown that using ${\rho}_n\,=\,1-k/\sqrt{n}$ to handle heavy-traffic regime is only appropriate for k = 1 by observing the effect on the performance of the system with different values of k. For the M/D/s queue, two approximations are used to evaluate the expected system size under the fixed ρ and α. Simulations and comparison of these two approximations show that Cosmetatos' approximation performs quite well when the number of servers is small and traffic intensity is heavy, but it overestimates the true value for the large number of servers. Meanwhile, the modified approximation gives good results for the steady state count of the system although the number of servers grows large.