• Bulletin of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.169-178
• /
• 2019

Let $M^{2n+1}$, $n{\geq}1$, be a smooth manifold with a pseudoconvex integrable CR structure of hypersurface type. We consider a sequence of CR invariant subsets $M={\mathcal{S}}_0{\supset}{\mathcal{S}}_1{\supset}{\cdots}{\supset}{\mathcal{S}}_n$, where $S_q$ is the set of points where the Levi-form has nullity ${\geq}q$. We prove that ${\mathcal{S}}{_q}^{\prime}s$ are locally given as common zero sets of the coefficients $A_j$, $j=0,1,{\ldots},q-1$, of the characteristic polynomial of the Levi-form. Some sufficient conditions for local existence of complex submanifolds are presented in terms of the coefficients $A_j$.

• Proceedings of the KSME Conference
• /
• 2007.05a
• /
• pp.1740-1743
• /
• 2007

In this study, two types of fatigue tests were conducted. First, cyclic bending tests were performed using the micro-bending tester. A four-point bending test method was adopted, because it induces uniform stress fields within a loading span. Second, thermal fatigue tests were conducted using a pseudo power cycling machine which was newly developed for a realistic testing condition. The pseudo-power cycling method makes up for the weak points in a power cycling and a chamber cycling method. Two compositions of solder are tested in all test condition, one is lead-free solder (95.5Sn4.0Ag0.5Cu) and the other is eutectic lead-contained solder (63Sn37Pb). In the cyclic bending test, the solder that exhibits a good reliability can be reversed depending on the load conditions. The lead-contained solders have a longer fatigue life in the region where the applied load is high. On the contrary, the lead-free solder sustained more cyclic loads in the small load region. A similar trend was detected at the thermal cycling test. A three-dimensional finite element analysis model was constructed. A finite element analysis using ABAQUS was performed to extract the applied stress and strain in the solder joints. A constitutive model which includes both creep and plasticity was employed. Thermal fatigue was occurred due to the creep. And plastic deformation is main damage for bending failure. From the inelastic energy dissipation per cycle versus fatigue life curve, it can be found that the bending fatigue life is longer than the thermal fatigue life.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.43 no.5 s.311
• /
• pp.48-56
• /
• 2006

In this paper, we proposed the high quality audio watermarking algorithm using MDCT/IMDCT (Modified DCT/Inverse Modified DCT) with psychoacoustic model. Generally, a digital audio watermark is embedding the frequency domain after frequency transform of the digital audio data but the digital audio quality is affected by watermarking. In our scheme, the digital audio data is spread with PN((Pseudo Noise) code and then audio watermark is embedded in MDCT processing that refers psychoacoustic model. In MDCT processing, according to the shape of filter bank output, the block switching selects a window sequence that has 256, 1,024 or 2,048 points interval for high quality audio. The author confirm that when watermark weight ${\alpha}$ is 2.5 below, the detection ratio of watermark is a satisfied to SDMI's(Secure Digital Music Initiative) recommendation 50% above and SM is $50{\sim}68dB$ range with mainly 4 kind of attacks(Compression, Cropping, FFT and Echo).

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.4C
• /
• pp.307-312
• /
• 2012

In this paper, we perform a complexity analysis for implementation of the ISO/IEEE 11073 Personal Health Device (PHD) standards in order to check the required system resources when ISO/IEEE 11073 PHD standards are implemented on the embedded system. Base on the implemented programs complying the PHD standards for a weighing scale, a blood pressure monitor, and a glucose meter among the various personal health devices, we make a pseudo-code. And then from the two different points of view such as program memory space and data memory space, we make a complexity analysis model. Because system resources or capability are strongly restricted in the personal health devices, our research work is very useful to estimate the required system resources.

• Journal of Korea Water Resources Association
• /
• v.30 no.5
• /
• pp.431-439
• /
• 1997

This paper describes the development of a decision support system (DSS) for the real time reservoir operation that aims to maximize the flood control effect. In the decision support system, model base and real time data processing subsystem are included along with the graphical user interface(GUI) that is able to visualize the forecasted runoff hydrographs at the flood control points and reservoir water levels resulting from the model run as well as the current hydrologic status. The system was verified through the pseudo real time applications to the Taechong reservoir operation with the historical flood events of the Kum river basin occurred in July, 1987 and August, 1995, Decision making processes were performed using the developed system and the results were compared with the real operations at that time. The reservoir operation using the pseudo real time application of DSS were simulated by the flood runoff simulation model, that shows the reservoir operation by DSS were successful in flood control for the lower Kum River.

• Earthquakes and Structures
• /
• v.17 no.2
• /
• pp.233-244
• /
• 2019

In this work, we have studied the effects of different soil thicknesses, haunch heights, reinforcement forms and construction technologies on the seismic performance of a composite precast fabricated utility tunnel by pseudo-static tests. Five concrete specimens were designed and fabricated for low-cycle reciprocating load tests. The hysteretic behavior of composite precast fabricated utility tunnel under simulated seismic waves and the strain law of steel bars were analyzed. Test results showed that composite precast fabricated utility tunnel met the requirements of current codes and had good anti-seismic performance. The use of a closed integral arrangement of steel bars inside utility tunnel structure as well as diagonal reinforcement bars at its haunches improved the integrity of the whole structure and increased the bearing capacity of the structure by about 1.5%. Increasing the thickness of covering soil within a certain range was beneficial to the earthquake resistance of the structure, and the energy consumption was increased by 10%. Increasing haunch height within a certain range increased the bearing capacity of the structure by up to about 19% and energy consumption by up to 30%. The specimen with the lowest haunch height showed strong structural deformation with ductility coefficient of 4.93. It was found that the interfaces of haunches, post-casting self-compacting concrete, and prefabricated parts were the weak points of utility tunnel structures. Combining the failure phenomena of test structures with their related codes, we proposed improvement measures for construction technology, which could provide a reference for the construction and design of practical projects.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.31 no.1
• /
• pp.41-48
• /
• 2013

The aim of the present study is to design a memory-efficient octree for querying large 3D point cloud. The aim has been fulfilled by omitting variables for minimum bounding hexahedral (MBH) of each octree node expressed in C++ language and by passing the re-estimated MBH from parent nodes to child nodes. More efficiency has been reported by two-fold processes of generating pseudo and regular trees to declare an array for all anticipated nodes, instead of using new operator to declare each child node. Experiments were conducted by constructing tree structures and querying neighbor points out of real point cloud composed of more than 18 million points. Compared with conventional methods using MBH information defined in each node, the suggested methods have proved themselves, in spite of existing trade-off between speed and memory efficiency, to be more memory-efficient than the comparative ones and to be practical alternatives applicable to large 3D point cloud.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.19 no.6
• /
• pp.637-642
• /
• 2013

In this paper, an analysis results of towing force and towing points which are dominating factors to determine the behavior of towed ship are introduced. The towing force and towing points to achive the desired posture and its position of the towed vessel are derived based on simplified dynamics and linearization method. LQR algorithm for posture control is applied to linearized system and numerical simulation is also executed. Force based on COG(cneter of gravity) and gain of controller to achieve desired posture for target vessel are obtained by using Riccati matrix equation and pseudo inverse matrix is applied to analyze the relation between the derived force and its towing point. Based on this analysis method, towing force need to move the towed vessel from its initial position to target position can be calculated. The towing method including towing point and direction is also considered on this method. Finally, the relation between towing force and towing point is confirmed from the analysis and the results can be applied to arrangement of tug boats during salvage works.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.69-86
• /
• 2017

The point $P{\in}{\mathbb{P}}^2$ is referred to as a Galois point for a nonsingular plane algebraic curve C if the projection ${\pi}_P:C{\rightarrow}{\mathbb{P}}^1$ from P is a Galois covering. In contrast, the point $P^{\prime}{\in}C^{\prime}$ is referred to as a weak Galois Weierstrass point of a nonsingular algebraic curve C' if P' is a Weierstrass point of C' and a total ramification point of some Galois covering $f:C^{\prime}{\rightarrow}{\mathbb{P}}^1$. In this paper, we discuss the following phenomena. For a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$, if there exists a common ramification point of ${\pi}_P$ and ${\varphi}$, then there exists a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with its Weierstrass semigroup such that H(P') = or , which is a semigroup generated by two positive integers r and 2r + 1 or 2r - 1, such that P' is a branch point of ${\varphi}$. Conversely, for a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with H(P') = or , there exists a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$ such that P' is a branch point of ${\varphi}$.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.10a
• /
• pp.301-303
• /
• 2018

This paper describes a robot control system and control method of a human arm type redundant manipulator. The control of a redundant manipulator suffer from computational complexity and singularity problem because of numerical inverse kinematics. To deal with such problems, analytical methods for a redundant robot arm have been researched to enhance the performance of inverse kinematics. In this research, we propose a numerical control method and weighted pseudo inverse kinematics algorithm. Using this algorithm, it is possible to generate a trajectory passing through the singular points and intuitively move the elbow without regard to the end-effector pose. Performance of the proposed algorithm was verified by various simulations. It is shown that the trajectory planning and using this algorithm provides correct results near the singular points and can utilize redundancy intuitively. We proved this system's validity through field test.