• Journal of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.145-169
• /
• 2020

Let k be a field of characteristic 0. Let ${\mathfrak{C}}=Spec(k[x,y]/{\langle}f{\rangle})$ be a weighted homogeneous plane curve singularity with tangent space ${\pi}_{\mathfrak{C}}:T_{{\mathfrak{C}}/k}{\rightarrow}{\mathfrak{C}$. In this article, we study, from a computational point of view, the Zariski closure ${\mathfrak{G}}({\mathfrak{C}})$ of the set of the 1-jets on ${\mathfrak{C}}$ which define formal solutions (in F[[t]]² for field extensions F of k) of the equation f = 0. We produce Groebner bases of the ideal ${\mathcal{N}}_1({\mathfrak{C}})$ defining ${\mathfrak{G}}({\mathfrak{C}})$ as a reduced closed subscheme of $T_{{\mathfrak{C}}/k}$ and obtain applications in terms of logarithmic differential operators (in the plane) along ${\mathfrak{C}}$.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.266-266
• /
• 2000

This paper relates to develop the human-mobile interface system using saccadic eye movements as an aid to the disabled. EOG(ElectroOculoGraphy) method is used to measure the potentials of rapid eye movements because the method is not expensive and the device is simple. But because the resolution and accuracy of this signal are not good, the algorithm to remove the drifting, using ideal velocity shape, is applied to process the signals. The mobile robot (POSTUR-II) used in this system was developed in Robot & Bio-mechatronics laboratory in POSTECH and has the tele-operation system for the tele-communication with a main computer. Our Research is to help the physically disabled except his eye movements to operate some works with the mobile. Our Results about the system's possibility will be showed by some experimental tests giving the point information to the mobile by eye-gaze.

• Communications for Statistical Applications and Methods
• /
• v.9 no.2
• /
• pp.347-354
• /
• 2002

An n-point design is maximal fan if all the models with n-terms satisfying the divisibility condition are estimable. Such designs tend to be space filling and look very similar to the ″Latin-hypercube″ designs used in computer experiments. Caboara, Pistone, Riccomago and Wynn (1997) conjectured that a maximal fan design on an integer grid exists for any n and m, where m is the number of factors. In this paper we examine the relationship between maximal fan design and latin-hypercube to give a partial solution for the conjecture.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.490-495
• /
• 1996

Though the increment of using computer vision system in modern industry, there are lots of difficulties to measure precisely because of measurement error distortion phenomenon. Among these reasons, the distortion of edge is dominant reason which is occurred by the blurred image. The blurred image is happened when camera can not discriminate its precise focus. To calibrate and generalize distortion phenomenon is important. Thus, we must fix the discrimination criteria which is collected by image recognition of precise focus. Also, radial distortion causes an inward or outward displacement of a given image point from its ideal location. This type of distortion is mainly caused by flawed radial curvature curve of the elements. Thus, we were analyzed the distortion in terms of the changed with lens magnification.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.11 no.6
• /
• pp.859-867
• /
• 2000

In order to analyze the effect of a cover layer or radome for an antenna, the moment method is applied to the analysis of the circular microstrip patch antenna with dielectric superstrate fed by coaxial probe. The probe feed is modeled as a attachment mode method which can solve more exact analysis. In case of a ideal probe feed modeling, the probe self-impedance as well as the rapidly-varying patch current at the vicinity of the feed point was neglected. But a rigorous probe feed model which overcomes these deficiencies are developed, and used in the analysis of isolated circular patches. Measurements were performed to validate the numerical results. These are good agreement with each other.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.30 no.6
• /
• pp.964-973
• /
• 1997

A tidal prism eutrophication model, an one-dimensional intertidal model, is developed to study water quality conditions at small coastal basins and tidal creeks. The model simulates the physical transport processes using the concept of tidal flushing. The concept is simple and straightforward, and thus is ideal for small coastal basins with complex geometry. The model, having twenty-four state variables in the water column, simulates salinity, temperature, dissolved oxygen, three algal groups, and the cycles of carbon, nitrogen, phosphorus and silica. The model is applied to the Lynnhaven Bay, a small coastal basin of Chesapeake Bay in U.S.A. The model is calibrated using the field data collected in 1994, and then is verified using the independently collected data in 1980. The model overall gives a good reproduction of the field data, partly owing to the data collected from the field surveys specifically designed for the model application. This paper presents the procedure, and the results of the model calibration and verification.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.99-100
• /
• 2017

많은 연구에서 측면 나사 고정(laminar screw fixation)보다 척추경 나사 고정(pedicle screw fixation)의 생체 역학 강도가 더 나은 것으로 알려져 있다. 그러나 비교적 작은 크기의 척추경(pedicle)과 척수(spinal code), 신경 뿌리 및 척추 동맥에 대한 상해의 위험으로 일반적으로 이 방법은 사용에 제한이 있었다. 최근 3차원 모델링 및 3D 프린팅 기술의 진보는 해부학적인 연구, 특히 척추를 포함한 뼈와 관련된 연구를 용이하게 하고 있으며, 로봇 수술을 위한 다양한 아이디어를 제공하고 있다. 본 연구는 로봇 암(robotic arm)으로 경추 척추경에 나사를 삽입할 때 사용될 수 있는 척추경 나사 삽입을 위한 이상적인 궤적을 계산하는 방법을 제시하였다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.50
• /
• pp.333-340
• /
• 1999

An ideal traffic control system should consider simultaneously both route guidance of vehicles and signal policies at intersection of a traffic network. It is known that an iterative procedure gives an optimal route to each vehicle in the network. This paper presents an iterative procedure to find an optimal signal plan for the network. We define the optimal solution as a signal equilibrium. From the definition of signal equilibrium, we prove that the fixed point solution of the iterative procedure is a signal equilibrium, when optimal signal algorithms are implemented at each intersection of the network. A combined model of route guidance and signal planning is also suggested by relating the route guidance procedure and the signal planning procedure into a single loop iterative procedure.

• Journal of Institute of Control, Robotics and Systems
• /
• v.3 no.3
• /
• pp.289-296
• /
• 1997

In this paper, a method has been proposed for error measurement/diagnosis of CNC machine tools using the ball link bar on three dimensional space. For the circular motion error measurement, deviation between the desired and actual test path has been measured and analysed using a new type of ball link which incorporates ideal three point contact between reference balls and sockets. Computer program for the error evaluation has been developed and implemented under PC environment. Using the developed program, the circular test data on a CNC machine tool have been analysed, and thus, machine tool errors were effectively evaluated.

• International Journal of Automotive Technology
• /
• v.7 no.1
• /
• pp.91-99
• /
• 2006

The diesel Auxiliary Power Unit (APU) for vehicle applications is a complex nonlinear system. For the purpose of this paper presents a dynamic average model of the whole system in an entirely physical way, which accounts for the non-ideal behavior of the diode rectifier, the nonlinear phenomena of generator-rectifier set in an elegant way, and also the dynamics of the dc load and diesel engine. Simulation results show the accuracy of the model. Based on the average model, a simple PI control scheme is proposed for the multivariable system, which includes the steps of model linearization, separate PI controller design with robust tuning rules, stability verification of the overall system by considering it as an uncertain one. Finally it is tested on a detailed switching model and good performances are shown for both set-point following and disturbance rejection.