• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1309-1320
• /
• 2023

Let f : X → Y be a map between simply connected CW-complexes of finite type with X finite. In this paper, we prove that the rational cohomology of mapping spaces map(X, Y ; f) contains a polynomial algebra over a generator of degree N, where N = max{i, π_i(Y)⊗ℚ ≠ 0} is an even number. Moreover, we are interested in determining the rational homotopy type of map(𝕊ⁿ, ℂP^m; f) and we deduce its rational cohomology as a consequence. The paper ends with a brief discussion about the realization problem of mapping spaces.

• Geophysics and Geophysical Exploration
• /
• v.11 no.4
• /
• pp.326-334
• /
• 2008

The resistivity method has been used to image the electrical properties of the subsurface. Especially, this method has become suitable for monitoring since data could be rapidly and automatically acquired. In this study, we developed a time-lapse inversion algorithm for the interpretation of resistivity monitoring data. The developed inversion algorithm imposes a big penalty on the model parameter with small change, while a minimal penalty on the model parameter with large change compared to the reference model. Through the numerical experiments, we can ensure that the time-lapse inversion result shows more accurate and focused image where model parameters have changed. Also, applying the timelapse inversion method to the leakage detection of an embankment dam, we can confirm that there are three major leakage zones, but they have not changed over time.

• Journal of Digital Convergence
• /
• v.13 no.11
• /
• pp.337-348
• /
• 2015

Touch input method is unintended difficulties regarding touch and input have increased with touch input methods when compared to using a mouse for input in previously existing menus. This study attempted to analyze usability evaluations according to form and size changes of minimal button forms in button menus. This attempted to verify possibilities through more effective applications of the quantitative performance prediction evaluation model through comparative analysis of Fitts' Law, the representative model of the regression model formula and the interface human performance evaluation method, so that applications can be made in interface designs of touch input methods. Therefore it was significant in that it made reflections on design with consideration given to use user times according to button forms and size changes that can be applied to touch screens.

• Korean Journal of Construction Engineering and Management
• /
• v.17 no.6
• /
• pp.24-30
• /
• 2016

Building Information Modeling, and its associated work practices, requires project participants to share not only 3D geometric data, but also information in the model that may be considered proprietary and even trade secrets. Thus protection of intellectual property, or BIM copyrights, must be in place for participants to share proprietary information among project stakeholders. Currently Korea does not have adequate copyright laws or mechanisms to provide such protection. This research examined three BIM copyright legal documents, namely U.S.' ConsensusDOCS 301, AIA Document E203/G202, and U.K.'s CIC BIM Protocol to determine how copyright protection is realized, and to formulate appropriate stipulations within the Korean construction context. The resultant requirements include stipulating ownership at to the BIM originator, adopting a license-sublicense scheme, employing a federated model, and use of a formal model delivey table to allocate responsibilities. Given Korea's adoption stage, liability should be minimal, and license revocation should be allowed if payments are not met. The three BIM legal documents focus on practical measures that allow participants to customize requirements for individual projects, and such conventions should be emulated in Korea.

• Water for future
• /
• v.15 no.3
• /
• pp.37-47
• /
• 1982

In the past, the design flow of the urban storm drainage systems has been used largely on a basis of empirical and experience, and the rational formula one of empirical method has been widely used for our country, as well as world wide. But the empirical method has insufficient factor because minimal consideration is given to the relationship of the parameters in the equation to the processes being considered, and considerable use of experience and judgment in setting values to the coefficients in the equation is made. The postcomputer era of hydrology has brought an acceleration development of mathematical methods, thus mathematical models are methods which will greatly increase our understanding in hydrology. On this study, a simple mathematical model of urban presented by British Road Research Laboratory is tested on urban watersheds in Ju An Ju Gong Apartment. The basin is located in Kan Seog Dong, Inchon. The model produces a runoff hydrograph by applying rain all to only the directly connected impervious area of the basin. To apply this model the basin is divided into contributing areas or subbasins. With this information the time area for contributing is derived. The rainfall hyetograph to design storm for the basin flow has been obtained by determination of total rainfall and the temporal distribution of that rainfall determined on the basis of Huff's method form historical rainfall data of the basin. The inflows from several subbaisns are successively routed down the network of reaches from the upstream end to the outlet. A simple storage routing technique is used which involves the use of the Manning equation to compute the stage discharge curve for the cross-section in question. To apply the model to a basin, the pattern of impervious areas must be known in detail, as well as the slopes and sizes of all surface and subsurface drains.

• Journal of Biosystems Engineering
• /
• v.37 no.3
• /
• pp.192-200
• /
• 2012

Purpose: Aerial application of chemicals with an agricultural helicopter allows for precise and timely spraying and reduces working labor and pollution. An attitude controller for an agricultural helicopter would be helpful to aerial application operator. The objectives of this paper are to determine the transfer function models and to estimate the handling qualities of a bare-airframe model helicopter. Methods: Transfer functions of a model unmanned helicopter were estimated by using NAVFIT and DERIVID modules of the $CIFER^{(R)}$ program to the time history data of frequency sweep flight tests. Control inputs of the transfer functions were elevator, aileron, rudder and collective pitch stick positions and the outputs were resulting on-axis movements of the fuselage. Results: Minimum realization of the transfer functions for pitch rate output to elevator control input and roll rate output to aileron control input produced second order transfer functions with undamped natural frequencies around 3.0 Hz and damping ratios of 0.139 and 0.530, respectively. The equivalent time delays of the transfer functions ranged from 0.16 to 0.44 second. Sensitivity analysis of the proposed parameters allowed derivation of minimal realization of the transfer functions. Conclusions: Handling quality of the model helicopter was addressed based on the eigenvalues of the transfer functions, corresponding undamped natural frequencies with damping ratios. The equivalent time delays of the lateral-directional motion ranged from 0.16 to 0.44 second, longer than the 0.1 to 0.15 second requirement for well-controlled typical manned aerial vehicles.

• Journal of the Korean Geotechnical Society
• /
• v.28 no.1
• /
• pp.5-15
• /
• 2012

This paper presents the results of an investigation into the pull-out characteristics of screw anchor piles for use in braced excavation and cut-slope. A series of reduced-scale model tests were performed on model screw anchor piles with different geometric characteristics such as screw size and pitch length. The results indicated that the pullout resistance increases with decreasing the pitch length for a given screw size. It was also observed that the pullout capacity of a screw anchor pile increases with the screw size up to a certain size beyond which the increase becomes minimal. The results are presented in such a way that the pullout characteristics of screw piles with different screw geometric characteristics can be identified. Practical implications of the findings are discussed.

• Environmental Analysis Health and Toxicology
• /
• v.11 no.1_2
• /
• pp.1-10
• /
• 1996

A decrease in stratospheric ozone probably caused by chloroflurocarbons (CFCs) emissions, has been observed large parts of-the globe. It is generally accepted that if ozone levels in the stratosphere are depleted, greater amounts of shortwave ultraviolet radiationB (UVB) will reach the earth's surface, resulting in increased incidence of nonmelanoma skin cancer. In this study, we evaluated several mathematical models, such as a power and an exponential model, and a geometric model considering the surface area of a human body part and ages for the prediction of Skin cancer incidence caused by exposure to the UVB radiation. These models basically estimated the risk of skin cancer based on those measurements of the local ozone in stratosphere and UVB. Both were measured at a part of Seoul with a Dobson ozone spectrometer and Robertson-Berger UV Biometer for 1995. As a result, we calculated the point estimation applying a biological amplification factor (BAF), UVB radiation and other factors. We used a Monte-Carlo simulation technique with assumption on the distribution of each considered factor. The sensitivity analysis of model by there components conducted using Gaussian sensitivity method. The annual integral of UVB radiation was 2275 MED (minimal erythema dose)/yr. Also, an estimate of the annual amount of UVB reaching the earth's surface at a korea's latitude and altitude was 3328 MED/yr. The values of the radiation amplification factor (RAF) were ranged from 0.9 to 1.5 in Seoul. To give the effective factors required to model the prediction of skin cancer incidence caused by exposure to the UVB radiation in Korea, we studied the pros and cons of above mentioned models with the application of those parameters measured in Seoul, Korea.

• Journal of Navigation and Port Research
• /
• v.44 no.6
• /
• pp.501-508
• /
• 2020

His paper looks more closely at the Republic of Korea's (ROK) Navy submarine berth-allocation strategies, with the study's results ultimately resulting in the proposition of an integer programming model. Current submarine berth-allocation planning problems include the need for more minimal berth-shifting and general support service failures, as a lack of efficient submarine berth-allocation often leads to submarines unable to receive the support service they need due to the inadequacy of their assigned berths. Currently, the ROK Navy allocates berths by only taking available reserve resources and the full-capacity limits of support services into account. This paper expands upon this strategy, and proposes a model which would allow for submarine berth allocation planning to also take submarine support service scheduling into account, allowing for more efficient and timely submarine servicing. This proposed model in turn minimizes berth shifting, support service failures, and allows for full coordination with the submarine support service request schedule. The construction of this model was carried out through data gathered on the ROK Navy's fleets and forces, allowing for a more nuanced analysis of existing issues with submarine berth-allocation planning.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.25 no.2
• /
• pp.71-81
• /
• 2021

This paper presents a real-time, false-pick filter based on deep learning to reduce false alarms of an onsite Earthquake Early Warning (EEW) system. Most onsite EEW systems use P-wave to predict S-wave. Therefore, it is essential to properly distinguish P-waves from noises or other seismic phases to avoid false alarms. To reduce false-picks causing false alarms, this study made the EEWNet Part 1 'False-Pick Filter' model based on Convolutional Neural Network (CNN). Specifically, it modified the Pick_FP (Lomax et al.) to generate input data such as the amplitude, velocity, and displacement of three components from 2 seconds ahead and 2 seconds after the P-wave arrival following one-second time steps. This model extracts log-mel power spectrum features from this input data, then classifies P-waves and others using these features. The dataset consisted of 3,189,583 samples: 81,394 samples from event data (727 events in the Korean Peninsula, 103 teleseismic events, and 1,734 events in Taiwan) and 3,108,189 samples from continuous data (recorded by seismic stations in South Korea for 27 months from 2018 to 2020). This model was trained with 1,826,357 samples through balancing, then tested on continuous data samples of the year 2019, filtering more than 99% of strong false-picks that could trigger false alarms. This model was developed as a module for USGS Earthworm and is written in C language to operate with minimal computing resources.