• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.1
• /
• pp.79.1-79.1
• /
• 2019

We present an algorithm for the fast computation of the general N-point spatial correlation functions of any discrete point set embedded within an Euclidean space of ${\mathbb{R}}n$. Utilizing the concepts of kd-trees and graph databases, we describe how to count all possible N-tuples in binned configurations within a given length scale, e.g. all pairs of points or all triplets of points with side lengths < rmax. Through benchmarking we show the computational advantage of our new graph-based algorithm over more traditional methods. We show that all 3-point configurations up to and beyond the Baryon Acoustic Oscillation scale (~200 Mpc in physical units) can be performed on current Sloan Digital Sky Survey (SDSS) data in reasonable time. Finally we present the first measurements of the 4-point correlation function of ~0.5 million SDSS galaxies over the redshift range 0.43< z <0.7. We present the publicly available code GRAMSCI (GRAph Made Statistics for Cosmological Information; bitbucket.org/csabiu/gramsci), under a GNU General Public License.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.1
• /
• pp.137-155
• /
• 2021

In this paper, first, we prove some common fixed point theorems for the generalized contraction condition under newly defined modified simulation function which generalize and include many results in the literature. Second, we give two numerical examples with graphical representations for verifying the proposed results. Third, we discuss and study a set of common fixed point theorems for two pairs (finite families) of self-mappings. Finally, we give some applications of our results in discrete and functional fractional economic systems.

• International conference on construction engineering and project management
• /
• 2015.10a
• /
• pp.680-681
• /
• 2015

This study develops an algorithm that automatically performs reverse engineering on three-dimensional (3D) sweeping shapes using a user's pre-defined feature templates and 3D point cloud data (PCD) of sweeping shapes. Existing methods extract 3D sweeping shapes by extracting points on a PCD cross section together with the center point in order to perform curve fitting and connect the center points. However, a drawback of existing methods is the difficulty of creating a 3D sweeping shape in which the user's preferred feature center points and parameters are applied. This study extracts shape features from cross-sectional points extracted automatically from the PCD and compared with pre-defined feature templates for similarities, thereby acquiring the most similar template cross-section. Fitting the most similar template cross-section to sweeping shape modeling makes the reverse engineering process automatic.

• Korean Journal of Construction Engineering and Management
• /
• v.12 no.4
• /
• pp.50-58
• /
• 2011

Lean concept is management philosophy that defines a customer's value and eliminates wasteful and impeditive factors. Management philosophy of Lean in the construction industry is referred to as "Lean Construction". Now this concept has expanded to achieve effective productivity during the design phase. Currently the norm of the domestic design process has been Point-based Design(PBD). It involves selecting a single structurally-feasible design option early and then refining that single design as more information becomes available throughout the design process. This single design is then re-worked until a solution is found that is feasible for all parties. On the contrary, Set-based Design(SBD) is based on lean processes to eliminate waste and improve project productivity. It focuses on keeping the design space as open as long as possible, to allow "subdesign" to advance and not labeling them as secondary in importance. Preserving the maximum number of feasible designs as long as possible reduces the likelihood that rework will be necessary and allows all project participants to utilize their unique expertise to make the project successful. This study proposes that the design methodology of minimizing waste and increasing productivity through SBD of AHP, one of the decision making process so as to compare PBD with SBD and tries to find decision making process and then suggest that application methodology through performs case study of SBD process.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.9
• /
• pp.351-358
• /
• 2016

An Electrical Point Machine (NS:New-type Switch), which is equipped and operated at railways in Korea, has been used since the 1960s after being imported from Japan. On the other hand, although the mechanical configuration has improved the position motor control circuit, the electrical connection has not been improved, so NS may have a problem, such as the interlocking system of automatic train operation. In addition, NS is the most vulnerable part in the railway system and a huge train accident may occur due to minor defects. The existing NS wiring set of the circuit controller should be checked only if fixed. Therefore, an excessive inspection time only by a Railroad Signal expert is required. In this paper, the improvement of electrical connection in a NS wiring set, such as the position motor control circuit, was developed and the prototype was installed at Seoul Metro in the distance to go section. The results can be used to help make appropriate adjustments. The improvement of the NS wiring set enhance the maintenance efficiency, passenger service and the stability of the signal system as well as reducing the maintenance cost.

• Journal of the Korean Data and Information Science Society
• /
• v.24 no.1
• /
• pp.135-150
• /
• 2013

This study proposes a novel option strategy by using characteristic of volatility reversion and rough set algorithm in options market. Until now, various research has been conducted on stock and future markets, but minimal research has been done in options market. Particularly, research on the option trading strategy using high frequency data is limited. This study consists of two purposes. The first is to enjoy a profit using volatility reversion model when volatility gap is occurred. The second is to pursue a more stable profit by filtering inaccurate entry point through rough set algorithm. Since options market is affected by various elements like underlying assets, volatility and interest rate, the point of this study is to hedge elements except volatility and enjoy the profit following the volatility gap.

• Proceeding of EDISON Challenge
• /
• 2016.03a
• /
• pp.455-462
• /
• 2016

Recently, followed by rapid growth of robotics field, multi-linkage mechanism which can even pass by rough road is getting lots of attention. In this paper, I focused on Jansen mechanism. It's a kinematics object which is named after Dutch artist Theo jansen. Jansen mechanism embraces structure and mechanism which creates locomotion with the combination of the power and simple structure. Theo jansen suggests a 'Holy number'. It's an ideal ratio of leg components length. However, if there's desired gait locomotion, you have to adjust the ratio and the length. But even slight change of the length could cause a big change at the end-point. To solve this problem, I suggest a reverse engineering method to get a ratio of each links by nonlinear optimization with pre-set desired trajectory. First, we converted a movement of the joint of Jansen mechanism to vectors by kinematics analysis of multi-linkage structure. And we showed the trajectory at the end-point. After that, we set desired trajectory which we found most ideal. Then we got the length of the leg components which draws a trajectory as same as trajectory we set, using Multi-objective genetic algorithm toolbox in MATLAB. Result is verified by Edison designer and mSketch. And we analyzed if it could pass through the obstruction which is set dynamically.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.10
• /
• pp.1531-1536
• /
• 2022

This paper considers a problem to find a set of intervals containing all the points for the given n points and m intervals on a line, This is a special case of the set cover problem, well known as an NP-hard problem. As optimization criteria of the problem, there are minimizing the number of intervals to cover the points, maximizing the number of points each of which is covered by exactly one interval, and so on. In this paper, the intervals have weights and the sum of weights of intervals to cover a point is defined as a membership of the point. We will study the problem to find an interval cover minimizing the maximum of memberships of points. Using the dynamic programming method, we provide an O(m²)-time algorithm to improve the time complexity O(nm log n) given in the previous work.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.693-715
• /
• 2024

Let n ∈ ℕ, n ≥ 2. An element (x₁, . . . , x_n) ∈ Eⁿ is called a norming point of T ∈ 𝓛(ⁿE) if ||x₁|| = ··· = ||x_n|| = 1 and |T(x₁, . . . , x_n)| = ||T||, where 𝓛(ⁿE) denotes the space of all continuous n-linear forms on E. For T ∈ 𝓛(ⁿE), we define Norm(T) = {(x₁, . . . , x_n) ∈ Eⁿ : (x₁, . . . , x_n) is a norming point of T}. Norm(T) is called the norming set of T. Let $0{\leq}{\theta}{\leq}{\frac{{\pi}}{4}}$ and ${\ell}^2_{{\infty},{\theta}}={\mathbb{R}}^2$ with the rotated supremum norm $${\parallel}(x,y){\parallel}_{({\infty},{\theta})}={\max}\{{\mid}x\;cos\;{\theta}+y\;sin\;{\theta}{\mid},\;{\mid}x\;sin\;{\theta}-y\;cos\;{\theta}|\}$$. In this paper, we characterize the norming set of T ∈ 𝓛(ⁿℓ²_(∞,θ)). Using this result, we completely describe the norming set of T ∈ 𝓛_s(ⁿℓ²_(∞,θ)) for n = 3, 4, 5, where 𝓛_s(ⁿℓ²_(∞,θ)) denotes the space of all continuous symmetric n-linear forms on ℓ²_(∞,θ). We generalizes the results from [9] for n = 3 and ${\theta}={\frac{{\pi}}{4}}$.

• Journal of Gifted/Talented Education
• /
• v.5 no.2
• /
• pp.37-54
• /
• 1995

The radical development of modern mathematics is due to the appearance of Collection Theory by George Cantor. The Set Theory is independent as an area and also closely interrelated with other areas. So its content becomes a common sense and a basic part across the whole area of modern mathematics. Accordingly, the basic element of modern mathematics is helping young children get familiar with set as early as possible. The thinking of set by which children can categorize, make partial sets and correspondences, understand the general characteristic, and conceptualize the discovered relationships is very important for young children. At this point where the Math education for young children is emphasized under the influence of the modernization movement of Math education, the systematic education for building up the set concept as the basic background of number concept during the early childhood is required. On current mathematics education for young children, graphs, the foundation of geometry, time, and patterns have been included in the traditional and practical content related to numbers. However, the education on collection which is the foundation of number concept is insufficient. A study shows that the level of young children's understanding on set is quite high, but the set concept isn't reflected in current Math curriculum for young children. And basic activities neccesary on building up the set concept, such as categorization, comparison, etc. are conducted in kindergardens but unsatisfactory because of those kindergarden teachers' premature understanding on the set concept. In conclusion, the curriculum for young children should be reorganized based on the set concept as the kernel concept. Also, the reappraisal of the training curriculum and the supplementary efucation for kindergarden teachers are urgent for raising the teaching ability of those kindergarden teachers.