• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.6 no.2
• /
• pp.25-30
• /
• 2002

Let $E/{\mathbb{Q}$ be an elliptic curve defined over rationals, P is a non-torsion rational point of E and $$S=\{[n]P{\mid}n{\in}{\mathbb{Z}}\}$$. then S is dense in the component of $E({\mathbb{R}})$ which contains the infinity in the usual Euclidean topology or in the topology defined by the invariant Haar measure and it is uniformly distributed.

• Korean Journal of Construction Engineering and Management
• /
• v.5 no.5 s.21
• /
• pp.151-162
• /
• 2004

Current methods for construction site modeling employ large, expensive laser range scanners that produce dense range point clouds of a scene from different perspectives. Days of skilled interpretation and of automatic segmentation may be required to convert the clouds to a finished CAD model. The dynamic nature of the construction environment requires that a real-time local area modeling system be capable of handling a rapidly changing and uncertain work environment. However, in practice, large, simple, and reasonably accurate embodying volumes are adequate feedback to an operator who, for instance, is attempting to place materials in the midst of obstacles with an occluded view. For real-time obstacle avoidance and automated equipment control functions, such volumes also facilitate computational tractability. In this research, a human operator's ability to quickly evaluate and associate objects in a scene is exploited. The operator directs a laser range finder mounted on a pan and tilt unit to collect range points on objects throughout the workspace. These groups of points form sparse range point clouds. These sparse clouds are then used to create geometric primitives for visualization and modeling purposes. Experimental results indicate that these models can be created rapidly and with sufficient accuracy for automated obstacle avoidance and equipment control functions.

• Journal of Internet Computing and Services
• /
• v.23 no.5
• /
• pp.9-15
• /
• 2022

This paper proposes a coordinated multi-point communication (CoMP) method with channel selection to improve performance of a macro user equipment (MUE) in a dense small-cell network environment in a building located within coverage of a macro base station (MBS). In the proposed CoMP method, in order to improve the performance of the MUE located in the building, A small-cell base station (SBS) selects a channel with lower interference to the neighboring MUE and transmits appropriate signals to the MUE requiring CoMP. Simulation results show that the proposed CoMP method improves the performance of the MUE by up to 164% and 51%, respectivley, compared to a random channel allocation based traditional SBS network and CoMP method.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2023.05a
• /
• pp.345-346
• /
• 2023

As the shape and size of detectable objects diversifying recognition and segmentation algorithms have been developed to acquire accurate shape information. Although a high density of data captured by the repetition of scanning improves the accuracy of algorithms the high dense data decreases the efficiency due to its large size. This paper proposes standardization algorithms using the feature of structural members on indoor point cloud data to improve the process. First of all we determine the reduction rate of the density based on the features of the target objects then the data reduction algorithm compresses the data based on the reduction rate. Second the data arrangement algorithm rotates the data until the normal vector of data is aligned along the coordinate axis to allow the following algorithms to operate properly. Final the data arrangement algorithm separates the rotated data into their leaning axis. This allows reverse engineering of indoor point clouds to obtain the efficiency and accuracy of refinement processes.

• The Bulletin of The Korean Astronomical Society
• /
• v.38 no.2
• /
• pp.58.1-58.1
• /
• 2013

The main idea of the Alcock-Paczynski (AP) test is that, if we use a wrong distance-redshift relation to infer the shape of a spherical object in the Universe, this object may look non-spherical. To probe the cosmic expansion history through the AP test, the key point is to find something which is known as spherical in the Universe. We propose two possible ways applying the AP test to the large scale structure (LSS): 1) Based on the observed galaxies or quasars, one built up the beta-skeleton tracing the LSS, and investigating the inhomogeneity of the connections; 2) One reconstructs the smoothed density-contrast gradient field based on LSS observations, and investigating the inhomogeneity of the gradient vectors. Compared with some existed methods probing AP effect through 2-point correlation function, galaxy pairs, or voids, our methods have various advantages: 1) The information of both the high and low dense regions of the LSS are taken into account. 2) The redshift space distortion as the main contamination to the AP effect can be easily removed.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.11 no.4
• /
• pp.440-447
• /
• 1999

The frosting characteristics on the vertical parallel plates with three cooling plates were experimentally investigated. The experimental parameters were the cooling plate temperature, the air humidity, the air temperature, the air Reynolds number, and the location. The frosting conditions were limited to air temperatures from 10 to $15^{\circ}C$ , air Reynolds numbers from 1600 to 2270, air humidity ratios from 0.00275 to 0.0037kgw/kga and cooling plate temperatures from -10 to $-20^{\circ}C$. Frost growth and density toward the front of the plate were more thick and dense than toward the rear. Frost growth increased with decreasing plate temperature and increasing humidity. In the conditions of the laminar flow, dew point below $0^{\circ}C$and non-cyclic frosting period, frost thickness increased with increasing air temperature. The reason of increasing frost thickness with increasing air temperature was sublimation-ablimation process. The average growth thickness along the locations showed little dependence on the Reynolds numbers.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2000.11a
• /
• pp.245-252
• /
• 2000

Model tests on free standing pile groups and piled footings with varying a pile spacing in two layered soils are carried out. The influence of pile cap on the behaviors of end bearing pile groups is analyzed by comparing the bearing behavior in piled footings with those in a single pile, a shallow footing(cap alone) and free standing pile groups. From the test results, it is found that the bearing characteristics of cap-soil-pile system are related with load levels and pile spacings. Before yield, the bearing resistance by cap is not fully mobilized, however, as the applied load increases, the bearing resistance of cap approaches to that of cap alone and settlement hardening occurs after yield due to the compaction caused by the contact pressure between cap and soil. By the cap-soil-pile interaction, shaft friction and point resistance of piles considerably increase with dependency of pile spacings. In two layered soil, the increasing effect of dilatancy in dense sandy soil adjacent to pile tips, increases the point resistance of pile.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.9
• /
• pp.4355-4374
• /
• 2018

Crowd escape event detection has become one of the hottest problems in intelligent surveillance filed. When the 'escape event' occurs, pedestrians will escape in a disordered way with different velocities and directions. Based on these characteristics, this paper proposes a Direction-Collectiveness Model to detect escape event in crowd scenes. First, we extract a set of trajectories from video sequences by using generalized Kanade-Lucas-Tomasi key point tracker (gKLT). Second, a Direction-Collectiveness Model is built based on the randomness of velocity and orientation calculated from the trajectories to express the movement of the crowd. This model can describe the movement of the crowd adequately. To obtain a generalized crowd escape event detector, we adopt an adaptive threshold according to the Direction-Collectiveness index. Experiments conducted on two widely used datasets demonstrate that the proposed model can detect the escape events more effectively from dense crowd.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.24 no.1
• /
• pp.1-11
• /
• 1999

We classified preprocessing methods into (1) analytic methods, (2) methods for removing implied free variables, (3) methods using pivot or elementary row operations, (4) methods for removing linearly dependent rows and columns and (5) methods for dense columns. We noted some considerations to which should be paid attention when preprocessing methods are applied to interior point methods for linear programming. We proposed an efficient order of preprocessing methods and data structures. We also noted the recovery process for dual solutions. We implemented the proposed preprocessing methods. and tested it with 28 large scale problems of NETLIB. We compared the results of it with those of preprocessing routines of HOPDM, BPDPM and CPLEX.

• Computers and Concrete
• /
• v.18 no.2
• /
• pp.201-214
• /
• 2016

In this paper, a multilaminate based model have been developed and presented to predict the strain hardening behavior of rock. In this multilaminate model, the stress-strain behavior of a material is obtained by integrating the mechanical response of an infinite number of predefined oriented planes passing through a material point. Essential features such as the variable deformations hypothesis and multilaminate model are discussed. The methodology to be discussed here is modeling of strains on the 13 laminates passing through a point in each loading step. Upon the presented methodology, more attention has been given to hardening in non-linear behaviour of rock in going from the peak to residual strengths. The predictions of the derived stress-strain model are compared to experimental results for marble, sandstone and dense Cambria sand. The comparisons demonstrate the ability of this model to reproduce accurately the mechanical behavior of rocks.