• 전기전자학회논문지
• /
• 제15권3호
• /
• pp.248-254
• /
• 2011

최근 모바일 환경에서도 GUI(Graphic User Interface)나 3D 컨텐츠, Flash 등 다양한 그래픽 효과를 이용한 멀티미디어 컨텐츠들이 요구 된다. 이러한 컨텐츠들을 지원하 위하여 모바일 기기에도 GPU (Graphic Processing Unit)의 탑재가 필요조건이 되었다. 본 논문에서는 모바일 환경에 적합하도록 설계된 GP-GPU를 이용하여 OpenVG 가속기를 구현하였다. OpenVG 가속기는 크로노스 그룹에서 제공하는 샘플 이미지들을 사용하여 검증하였으며, OpenVG에서 제공해야 하는 동작 및 기능들이 정상 동작함을 검증하였다. 본 논문에서 구현한 가속기는 Tiger Image 렌더링시 초당 2프레임의 성능을 가진다.

• 한국산업정보학회논문지
• /
• 제11권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.

• 대한수학회보
• /
• 제23권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.).

• 호남수학학술지
• /
• 제36권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
• /
• 제6권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.

• 한국운동역학회지
• /
• 제23권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.

• 천문학논총
• /
• 제30권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
• /
• 제35권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.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.289-292
• /
• 2008

본 논문에서는 OpenRISC 프로세서의 성능 및 전력 소모 개선을 위해 동적 분기예측 기법, 사원 집합연관 캐시 구조, ODC를 이용한 클럭 게이팅 기법을 제안한다. 동적 분기 예측 기법은 분기 명령에 대해 다음에 실행될 명령에 대한 예측 주소를 저장하는 BTB를 사용하였다. 사원 집합연관 캐시는 네 개의 메모리 블록을 한 개의 캐시 블록에 사상되는 구조로 되어있어 직접사상 캐시에 비해 접근 실패율이 낮다. ODC를 이용한 클럭게이팅 기법은 논리합성 개념인 무관조건의 입출력 ODC조건을 찾아 클럭 게이팅 로직을 삽입함으로써 동적 소비전력을 줄일 수 있다. 테스트 프로그램을 이용하여 제안한 기법들을 적용한 OpenRISC 프로세서의 성능을 측정한 결과, 기존 프로세서 대비실행시간이 8.9% 향상 되었고, 삼성 $0.18{\mu}m$ 라이브러리를 이용하여 동적 전력을 측정한 결과, 기존 프로세서 대비 소비전력을 13.9% 이상 감소하였다.

• Journal of Mechanical Science and Technology
• /
• 제17권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.