• Korean Journal of Mathematics
• /
• v.29 no.3
• /
• pp.581-591
• /
• 2021

In this paper, we discuss and investigate the existence of the inclusion L^p(.),𝜃 (𝜇) ⊆ L^q(.),𝜃 (𝜈), where 𝜇 and 𝜈 are two finite measures on (X, Σ). Moreover, we show that the generalized variable exponent grand Lebesgue space L^p(.),𝜃 (Ω) has a potential-type approximate identity, where Ω is a bounded open subset of ℝ^d.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.10
• /
• pp.1574-1582
• /
• 2004

Binary manipulators have recently received much attention due to hyper-redundancy, light weight, good controllability and high reliability. The precise positioning of the manipulator end-effecter requires the use of many modules, which results in a high-dimensional workspace. When the workspace dimension is large, existing inverse kinematics methods such as the Ebert-Uphoff algorithm may require impractically large memory size in determining the binary positions of all actuators. To overcome this limitation, we propose a new inverse kinematics algorithm: the inverse kinematics problem is formulated as an optimization problem using real-valued design variables, The key procedure in this approach is to transform the integer-variable optimization problem to a real-variable optimization problem and to push the real-valued design variables as closely as possible to the permissible binary values. Since the actual optimization is performed in real-valued design variables, the design sensitivity becomes readily available, and the optimization method becomes extremely efficient. Because the proposed formulation is quite general, other design considerations such as operation power minimization can be easily considered.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.8
• /
• pp.2113-2119
• /
• 1998

The optimization problem of BDDs plays an improtant role in the area of logic synthesis and formal verification. Since the variable ordering has great impacts on the size and form of BDD, finding a good variable order is very important problem. In this paper, a new variable ordering scheme called incremental optimization algorithm is presented. The proposed algorithm reduces search space more than a half of that of the conventional sifting algorithm, and computing time has been greatly reduced withoug depreciating the performance. Moreover, the incremental optimization algorithm is very simple than other variable reordering algorithms including the sifting algorithm. The proposed algorithm has been implemented and the efficiency has been show using may benchmark circuits.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.2
• /
• pp.161-168
• /
• 2019

This paper proposes a variable data transfer asymmetric TDD(Time Division Duplex) system for small UAV(Unmanned Aerial Vehicle) data link system. In the proposed method, a turbo decoder with a double buffer controller is proposed to apply turbo decoder with long decoding time to asymmetric TDD system. The proposed method achieves variable data transfer rate and maximum data transfer rate. The advantage of the proposed method is demonstrated by its data transfer rate. The measured data transfer rate is more than 1.8 times than that of symmetric TDD system. In addition, PER(Packet Error Rate) performance is the same and data transfer rate is variable.

• Publications of The Korean Astronomical Society
• /
• v.25 no.2
• /
• pp.31-49
• /
• 2010

Next to Paper I (Jeon 2009a), time-series BV CCD images of the open cluster M38 were taken for 4 nights on December, 2009. The observations have been carried out for total 27 nights. In addition to the 20 variable stars in the Paper I, the discovery of 44 new variable stars has been presented in this paper: $6{\delta}$ Scuti stars, $2{\gamma}$ Doradus stars, 18 eclipsing binaries and 18 semi-long periodic and/or slow irregular type variable stars. For the V photometry of the ${\delta}$ Scuti and ${\gamma}$ Doradus stars, multi-frequency analysis was performed using the Discrete Fourier Transform and linear least-square fitting. The period search for the eclipsing binaries and the semi-long periodic and/or slow irregular type variable stars was performed by phase fitting method. As a result, the periods for 23 variable stars among the 44 ones were defined.

• Journal of applied mathematics & informatics
• /
• v.27 no.3_4
• /
• pp.773-778
• /
• 2009

Recently, Xue et al. [Computers and Mathematics with Applications 55 (2008) 1215-1224] proposed a formula for the expected value of a function of a fuzzy variable based on the assumption that the fuzzy variable has a continuous membership function. In conclusion, they remained the case where the membership function of the fuzzy variable is discontinuous for the future research, and then expected to get similar results. Thus this note is to propose a new formula for the expected value of a function of a general fuzzy variable which is not restricted on having a continuous membership function. Furthermore, we give an example which cannot be applied to the formula that Xue et al. proposed. We also use the same example given by Xue et al. to show how to apply the new formula.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.745-765
• /
• 2021

Let Ω be a proper open subset of ℝⁿ and p(·) : Ω → (0, ∞) be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the author introduces the "geometrical" variable Hardy spaces H^p(·)_r (Ω) and H^p(·)_z (Ω) on Ω, and then obtains the grand maximal function characterizations of H^p(·)_r (Ω) and H^p(·)_z (Ω) when Ω is a strongly Lipschitz domain of ℝⁿ. Moreover, the author further introduces the "geometrical" variable local Hardy spaces h^p(·)_r (Ω), and then establishes the atomic characterization of h^p(·)_r (Ω) when Ω is a bounded Lipschitz domain of ℝⁿ.

• Journal of the Korean housing association
• /
• v.11 no.2
• /
• pp.97-106
• /
• 2000

In this study, we analyze space alternation, which is shown pre-development and post-development in the reconstruction apartment. We point out problems in terms of the city and dwelling environment, and in looking for drawing up a plan for improvement as well. As a result of our research, we offer some important observations and conclusions. Ourdoor space of the site after the reconstruction caused inconvenience to the residents due to the plan for high-storeys, high-density, And the building shape and arrangement provide changeable conditions form line figures to variable figures due to courtyard patterns. The courtyard space changes into a parking area ; therefore the outdoor site gives worse circumstances.

• The Bulletin of The Korean Astronomical Society
• /
• v.33 no.2
• /
• pp.61.2-61.2
• /
• 2008

• Bulletin of the Korean Space Science Society
• /
• 2000.10a
• /
• pp.46-46
• /
• 2000

No Abstract, See Full Text