• Journal of IKEEE
• /
• v.15 no.3
• /
• pp.248-254
• /
• 2011

Recently, processing burden of CPU is growing because of graphical user interface according to enhance the performance of mobile devices and various graphical effects and creation of contents with 3D graphical effect or Flash animation. Therefore, the GPU are introduced to mobile device for support to variety contents. In this paper, OpenVG accelerator was implemented based on multi-core GP-GPU. OpenVG accelerator is verified using the sample image provided by Khronos group, and overall function is processed by only instruction set without dedicate hardware. The performance of processing the Tiger Image was 2 frames/sec.

• Journal of Korea Society of Industrial Information Systems
• /
• v.11 no.3
• /
• pp.59-68
• /
• 2006

Recently, introduction of Open Source Software into informatization of the government and public sector has been actively examined, however, Open Source Software is being rarely adopted due to the lack of verified and reliable data with regard to the criteria, process, performance and stability for introduction of Open Source Software. In this paper, the process, method and plan for performance verification for introduction of Open Source Software into mission critical systems of the government and public sector are suggested in order to solve the aforesaid problem Specially, a test system to judge whether or not to adopt Open Source Software in school affairs system of the NEIS(National Education Information System) of the Korean government was set up, and the method and process of performance verification by stage in addition to feasibility study were applied to the test system for verification. Based on the result of performance evaluation in the test system, the application of Linux to school affairs system of the NEIS is being successfully practiced. It is expected that this study will be a guideline to technical review process and performance verification method as necessary to introduce Open Source Software into the mission critical systems of government and public agencies.

• Bulletin of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.91-102
• /
• 1986

A topological space (X,.tau.) is called invertible [7] if for each proper open set U in (X,.tau.) there exists a homoemorphsim h:(X,.tau.).rarw.(X,.tau.) such that h(X-U).contnd.U. Doyle and Hocking [7] and Levine [13], as well as others have investigated properties of invertible spaces. Recently, Crosseley and Hildebrand [5] have introduced the concept of semi-invertibility, which is weaker than that of invertibility, by replacing "homemorphism" in the definition of invertibility with "semihomemorphism", A space (X,.tau.) is said to be semi-invertible if for each proper semi-open set U in (X,.tau.) there exists a semihomemorphism h:(X,.tau.).rarw.(X,.tau.) such that h(X-U).contnd.U. The purpose of the present article is to introduce the class of almost-invertible spaces containing the class of semi-invertible spaces and to investigate its properties. One of the primary concerns will be to determine when a given local property in an almost-invertible space is also a global property. We point out that many of the results obtained can be applied in the cases of semi-invertible spaces and invertible spaces. For example, it is shown that if an invertible space (X,.tau.) has a nonempty open subset U which is, as a subspace, H-closed (resp. lightly compact, pseudocompact, S-closed, Urysohn, Urysohn-closed, extremally disconnected), then so is (X,.tau.).hen so is (X,.tau.).

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.913-919
• /
• 2014

We investigate the relationships between the space X and the hyperspaces concerning admissibility and connectedness im kleinen. The following results are obtained: Let X be a Hausdorff continuum, and let A, $B{\in}C(X)$ with $A{\subset}B$. (1) If X is c.i.k. at A, then X is c.i.k. at B if and only if B is admissible. (2) If A is admissible and C(X) is c.i.k. at A, then for each open set U containing A there is a continuum K and a neighborhood V of A such that $V{\subset}IntK{\subset}K{\subset}U$. (3) If for each open subset U of X containing A, there is a continuum B in C(X) such that $A{\subset}B{\subset}U$ and X is c.i.k. at B, then X is c.i.k. at A. (4) If X is not c.i.k. at a point x of X, then there is an open set U containing x and there is a sequence $\{S_i\}^{\infty}_{i=1}$ of components of $\bar{U}$ such that $S_i{\longrightarrow}S$ where S is a nondegenerate continuum containing the point x and $S_i{\cap}S={\emptyset}$ for each i = 1, 2, ${\cdots}$.

• Journal of Information Science Theory and Practice
• /
• v.6 no.2
• /
• pp.6-23
• /
• 2018

Digital Science's Dimensions is envisaged as a next-generation research and discovery platform for more efficient access to cross-referenced scholarly publications, grants, patents, and clinical trials. As a new addition to the growing open citation resources, it offers opportunities that may benefit a wide variety of stakeholders of scientific publications, from researchers and policy makers to the general public. In this article, we explore and demonstrate some of the practical potentials in terms of cascading citation expansions. Given a set of publications, the cascading citation expansion process can be iteratively applied to a set of articles so as to extend the coverage to more and more relevant articles through citation links. Although the conceptual origin can be traced back to Garfield's citation indexing, it has been largely limited, until recently, to the few who have unrestricted access to a citation database that is large enough to sustain such iterative expansions. Building on the open application program interface of Dimensions, we integrate cascading citation expansion functions in CiteSpace and demonstrate how one may benefit from these new capabilities. In conclusion, cascading citation expansion has the potential to improve our understanding of the structure and dynamics of scientific knowledge.

• Korean Journal of Applied Biomechanics
• /
• v.23 no.1
• /
• pp.45-51
• /
• 2013

The current study developed the analysis program by employing the Polygon Clipping Algorithm to calculate the open area on the court when players try to spike a ball. The program consists of two kinds of output screen. First, on the main output screen, it is possible to calculate both blocked area by net and blockers, and opened area to avoid the blocked area when players spike the ball. Additionally, the secondary output screen shows the moving path of setter and the location of set. Main output screen indicates hitting points of spiking, blocking, and open area. Also, it is possible to analyze the movement of setter, location of set, and hitting point of attacker. The program was tested by comparing real coordinate value and location coordinate value which is operated on the program. To apply this program in the field, future study needs to develop the program that can calculate three dimensions coordinate fast by tracking the location of players or ball in real time.

• Publications of The Korean Astronomical Society
• /
• v.30 no.2
• /
• pp.309-313
• /
• 2015

If the present universe is slightly open then pre-inflation curvature would appear as a cosmic dark-flow component of the CMB dipole moment. We summarize current cosmological constraints on this cosmic dark flow and analyze the possible constraints on parameters characterizing the pre-inflating universe in an inflation model with a present-day very slightly open ${\Lambda}CDM$ cosmology. We employ an analytic model to show that for a broad class of inflation-generating effective potentials, the simple requirement that the observed dipole moment represents the pre-inflation curvature as it enters the horizon allows one to set upper and lower limits on the magnitude and wavelength scale of pre-inflation fluctuations in the inflaton field and the curvature parameter of the pre-inflation universe, as a function of the fraction of the total initial energy density in the inflaton field. We estimate that if the current CMB dipole is a universal dark flow (or if it is near the upper limit set by the Planck Collaboration) then the present constraints on ${\Lambda}CDM$ cosmological parameters imply rather small curvature ${\Omega}_k{\sim}0.1$ for the pre-inflating universe for a broad range of the fraction of the total energy in the inflaton field at the onset of inflation. Such small pre-inflation curvature might be indicative of open-inflation models in which there are two epochs of inflation.

• East Asian mathematical journal
• /
• v.35 no.2
• /
• pp.239-257
• /
• 2019

The purpose of this study is to show that the topology is closely related to some subjects learned in school mathematics and then to give motivations for learning of the topology. To do this, it is showed that the topology is an abstracted device that deal with structure of limit and continuity introduced in school mathematics. This study took a literature study. The results of this study are as follows. First, the formal definition of general topology to structure open sets was examined. The nearness relation together with the closure operation was introduced and used to characterize for construction of general topology. Second, as definitions for continuity of function, we considered the intuitive definition, definition, structured definitions using open intervals and definition using open sets and then we investigated their roles. We also examined equivalent definition using the nearness relation which is helpful to understand continuity of function. Third, the sequence and its limit are treated in terms of continuous functions having the set of natural numbers and its extended set as domains. From these, it can be concluded that the convergence of sequence and the continuity of function are identified as functions that preserve the nearness relation and that the topology is a specialized tool for dealing with convergence and continuity.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.10a
• /
• pp.289-292
• /
• 2008

This paper presents a branch prediction algorithm and a 4-way set-associative cache for performance improvement of OpenRISC processor and a clock gating algorithm using ODC (Observability Don't Care) operation for a low-power processor. The branch prediction algorithm has a structure using BTB(Branch Target Buffer) and 4-way set associative cache has lower miss rate than direct-mapped cache. The clock gating algorithm reduces dynamic power consumption. As a result of estimation of performance and dynamic power, the performance of the OpenRISC processor using the proposed algorithm is improved about 8.9% and dynamic power of the processor using samsung $0.18{\mu}m$ technology library is reduced by 13.9%.

• Journal of Mechanical Science and Technology
• /
• v.17 no.9
• /
• pp.1287-1296
• /
• 2003

In this paper the dynamic analysis of the Macpherson strut motor-vehicle suspension system is presented. The equations of motion are formulated using a two-step transformation. Initially, the equations of motion are derived for a dynamically equivalent constrained system of particles that replaces the rigid bodies by applying Newton's second law The equations of motion are then transformed to a reduced set in terms of the relative joint variables. Use of both Cartesian and joint variables produces an efficient set of equations without loss of generality For open chains, this process automatically eliminates all of the non-working constraint forces and leads to an efficient solution and integration of the equations of motion. For closed loops, suitable joints should be cut and few cut-joints constraint equations should be included for each closed chain. The chosen suspension includes open and closed loops with quarter-car model. The results of the simulation indicate the simplicity and generality of the dynamic formulation.