• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.201-213
• /
• 2003

In this paper we present a second order PVT (parallel variable transformation) algorithm converging to second order stationary points for minimizing smooth functions, based on the first order PVT algorithm due to Fukushima (1998). The corresponding stopping criterion, descent condition and descent step for the second order PVT algorithm are given.

• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.1
• /
• pp.31-35
• /
• 2007

In dealing with transformation group, topological approach is very natural. But, it is not sufficient to investigate geometric properties of transformation group and we need geometric method. Frankel-McDuff Conjecture is very interesting in the point that it shows struggling between topological method and geometric method. In this paper, the author suggest generalized Frankel-McDuff conjecture as a topological version of the conjecture and construct a counterexample for the generalized version, and from this we assert that topological method does not work for Frankel-McDuff Conjecture.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.214-216
• /
• 2004

XML 문서에 대한 데이터의 통계 정보는 XML 어플리케이션에 유용하다. 특히 XML 어플리케이션에 대해 RDBMS 테이블 형U로 유도하는 방법 중 cost-based approach를 적용할 때 다양한 Schema 변환 중 어플리케이션에 가장 적합한 것을 선택하는 데 사용한다. 본 논문에서는 정차한 통계 정보를 모으기 위해 Shared type과 변환 과정에 생기는 잠재적인 Shared type에 대해 해결한 X2R System을 개발하였고. 효율적으로 통계를 유지하도록 하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1091-1095
• /
• 2010

The existing smart-phone software is dependent on the platform, which should be developed per each different platform, Each vendor will develop its own platform such as Apple's Cocoa platform, Google Android, Microsoft Windows Mobile, etc. In this paper, we apply model transformation technique for developing heterogenous software at a time in heterogenous smart phone area. This approach separates the independent model and dependent model. and automatically transforms the difference between them with model transformation language. To execute model transformation, it is required with meta model, model transformation language. In this paper, we are applied to smart-phones as follows: model will be UMLmodel, metamodel be UML metamodel, and choose ATL as Model transformation language. We show examples of the Windows Mobile platform environment to be developed using model transformation. As a result, if we use platform-independent model in this paper and redefine model transformation rules for the iPhone or Android, it will be automatically transformed into heterogenous platforms.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.2017-2022
• /
• 2004

Data association is a process that matches a recent observation with known data set, which is used for the localization of mobile robots. Edges in topological maps have rich information which can be used for the data association. However, no systematic approach on using the edge data for data association has been reported. This paper proposes a systematic way of utilizing the edge data for data association. First, we explain a Local Generalized Voronoi Angle(LGA) to represent the edge data in 1-dimension. Second, we suggest a key factor extraction procedure from the LGA to reduce the number by $2^7-2^8$ times, for computational efficiency using the wavelet transformation. Finally we propose a way of data association using the key factors of the LGA. Simulations show that the proposed data association algorithm yields higher probability for similar edges in computationally efficient manner.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.3 no.3
• /
• pp.39-44
• /
• 2010

In this paper, we addressed a face transform scheme with age-progressing based on vector representation. Proposed approach utilized a vector modeling as well as morphing so as to improve not only a reliability but also a consistency. For the more, some elements of texture change owing to the face shape are defined and some parameters with respect to the internal and external environments are also considered. To testify the proposed approach, estimation of similarity is performed with qualitative manner by using experimental output, and finally resulted in satisfactory for face shape transformation aged from sixty to fourteen.

• Proceedings of the KIEE Conference
• /
• 1988.11a
• /
• pp.388-393
• /
• 1988

New circuit D-Q transformation concept is introduced to analyze AC converters such as inverters, rectifiers and cyclo-converters with ease. The equivalent linear time invariant circuit is obtained by substituting switches with equivalent turn-ratio variable transformers and changing balanced AC reactors into equivalent DC reactors combined by gyrators. This circuit enables us to utilize the powerful linear system analysis techniques such as Laplace transform otherwise which could not be applied to the time varying switching systems. Direct substitution of switches of DC converters with transformers is shown as a preliminary. Then the modeling procedure is shown for a controlled rectifier-inverter circuit. Finally an analysis example is proposed for a buck-boost inverter and the result is compared with the conventional approach. This approach is applicable to all AC converter families to determine the AC transfer functions and the DC operating points. It is identified that the switching systems are equivalent to the RLC filter circuits with transformers and gyrators.

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

In this paper, the theoretical development to stabilize a class of uncertain time-delay systems via sliding mode control is presented. The system under consideration is described in state space model containing state delay, uncertain parameters and disturbance. The main idea is to reduce the state of delayed system, by employing the generalize linear transformation, into an equivalent one with no delay inside, which is easier to analyze its behavior and stability. Then, the sliding control approach is employed to find the stabilizing control law. Finally, a numerical simulation is illustrated to show the algorithm for applying the proposed theorems and the efffetiveness of the designed control law in stabilizing the controlled systems.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.1 no.2
• /
• pp.23-29
• /
• 1983

Degradation of image caused by relative motion between the object and the imaging system (like a camera with its platform) is detrimental to precision photogrammetry. Principal modes of relative motion are identified. The discussion is, however, concentrated on the systematic motions, translatory and rotatory. Various analogical approaches of compensating for the image motion are cited. An analytical-computational approach is presented. This one considers the relationship of transformation bet ween the image and the object, known as the collinearity condition. The standard forms of collinearity condition equations are presented. Augmentation of these equations with regard to both translatory and rotatory motions are expounded. With ever increasing use of high speed computers (as well as analytical plotters in the realm of photogrammetry), this approach seems to be more costeffective and seems to yield better precision in the long run than other approaches that concentrate on analogical corrections to the image itself.

• Journal of Microbiology and Biotechnology
• /
• v.22 no.9
• /
• pp.1279-1287
• /
• 2012

We established an efficient transformation method for thermophile Geobacillus kaustophilus HTA426 using conjugative transfer from Escherichia coli of host-mimicking plasmids that imitate DNA methylation of strain HTA426 to circumvent its DNA restriction barriers. Two conjugative plasmids, pSTE33T and pUCG18T, capable of shuttling between E. coli and Geobacillus spp., were constructed. The plasmids were first introduced into E. coli BR408, which expressed one inherent DNA methylase gene (dam) and two heterologous methylase genes from strain HTA426 (GK1380-GK1381 and GK0343-GK0344). The plasmids were then directly transferred from E. coli cells to strain HTA426 by conjugative transfer using pUB307 or pRK2013 as a helper plasmid. pUCG18T was introduced very efficiently (transfer efficiency, $10^{-5}-10^{-3}\;recipient^{-1}$). pSTE33T showed lower efficiency ($10^{-7}-10^{-6}\;recipient^{-1}$) but had a high copy number and high segregational stability. Methylase genes in the donor substantially affected the transfer efficiency, demonstrating that the host-mimicking strategy contributes to efficient transformation. The transformation method, along with the two distinguishing plasmids, increases the potential of G. kaustophilus HTA426 as a thermophilic host to be used in various applications and as a model for biological studies of this genus. Our results also demonstrate that conjugative transfer is a promising approach for introducing exogenous DNA into thermophiles.