• Journal of the Institute of Convergence Signal Processing
• /
• v.8 no.4
• /
• pp.272-278
• /
• 2007

In this paper, we present an automated API translator for embedded software development based on a model-driven approach. Since MDA(Model Driven Architecture) provides little support for the development of embedded software, we propose a new method which contains the MDA's advantage, automation of implement process, and can solve the problem of real-time overhead. First, we define 'generic APIs' which do not depend on any RTOS's but provide most of typical RTOS services. We can describe RTOS-related behaviors of target application using these generic APIs in a CIC(Common Intermediate Code). Then, we propose a transformation tool for translating a CIC using generic APIs into a C-code for specific RTOS. The proposed API translator converts them into C-code using XML transformation rule which is defined outside. It indicates that an API translator extends to other RTOS's by modifying or adding the transformation rule. From the experiment, we validate the proposed method.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.1
• /
• pp.19-24
• /
• 2018

This paper presents an IoT platform of common interfaces that are flexible IoT applications and Connect the smart devices. The IoT platform includes automatic collaboration discovery the smart Device. It is different things case with connection each device through IoT Platforms are each device and application service. Due to these heterogeneities, it is quite advantages to develop applications working with derived IoT services. This circumstance needs the generic interface and results in a range of IoT architectures by not only the environments settings and discovery resource but also varied uniqe to implementation services working with IoT applications. Therefore, this suggestion of solve the problems and make it possible independent platforms always alive to connection with each devices based on the generic interface. The generic interface is heterogeneity-driven solve the problems and effectively contributions a platform that could be operated in diverse IoT Platforms.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2012.05a
• /
• pp.393-394
• /
• 2012

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.3
• /
• pp.391-396
• /
• 2015

$C^1$-generically, if a transitive diffeomorphism f is periodically expansive, then it is hyperbolic.

• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.389-394
• /
• 2016

Let $f:M{\rightarrow}M$ be a diffeomorphism on a closed $C^{\infty}\;d({\geq}2)$ dimensional manifold M. For $C^1$-generic f, if a diffeomorphism f satisfies the local star condition on a transitive set, then it is hyperbolic.

• ETRI Journal
• /
• v.29 no.4
• /
• pp.516-517
• /
• 2007

In this letter we present a generic Craig form for the two-dimensional (2-D) Gaussian Q-function. The presented Craig form provides an alternative solution to the problems of computing probabilities involving a form of the 2-D Gaussian Q-function.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.585-589
• /
• 2005

In [1], the structure of C(2,2) is determined as the polynomial ring in 5 variables. In this work, we show that C(2,3) is a free module over the subring of 9 variables. We explicitly give a presentation of C(2, 3) as free module over the polynomial ring.

• Communications of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.1079-1098
• /
• 2019

In this paper we give some branching rules for the fundamental representations of Kac-Moody Lie algebras associated to T-shaped graphs. These formulas are useful to describe generators of the generic rings for free resolutions of length three described in [7]. We also make some conjectures about the generic rings.

• Korean Journal of Clinical Pharmacy
• /
• v.16 no.2
• /
• pp.96-100
• /
• 2006

Korea Food and Drug Administration (KFDA) has been expediting the Biological Equivalence Examination (BEE) project to encourage generic substitution without expense of inappropriate therapeutic outcome. However, little is known about which considerations are most important in making the decision to prescribe a drug among many generic drugs. The purpose of this survey was to identify how strongly the KFDA certification of BEE influenced doctors when they make a choice between brand and generics of glimepiride preparations. Telephone survey was performed towards doctors working at local clinics by using a questionnaire. Most influential factor to doctors' decision was drug cost followed by pharmaceutical representatives, therapeutic efficacy, and review guideline for reimbursement. Advertisement of the drug was the least influential followed by KFDA certification of BEE. The meaning of BEE was best understood by relatively young doctors with specialty in surgical parts. This survey result further indicated that the doctors considered the therapeutic equivalence examination a preferred measure to expedite generic substitution.

• Journal of Astronomy and Space Sciences
• /
• v.28 no.3
• /
• pp.241-252
• /
• 2011

A simulated network protocol provides the capability of distributed simulation to a generic simulator. Through this, full coverage of management of data and service handling among separated simulators is achieved. The distributed simulation environment is much more conducive to handling simulation load balancing and hazard treatment than a standalone computer. According to the simulated network protocol, one simulator takes on the role of server and the other simulators take on the role of client, and client is controlled by server. The purpose of the simulated network protocol is to seamlessly connect multiple simulator instances into a single simulation environment. This paper presents the development of a simulated network (simNetwork) that provides the capability of distributed simulation to a generic simulator (GenSim), which is a software simulator of satellites that has been developed by the Korea Aerospace Research Institute since 2010, to use as a flight software validation bench for future satellite development.