• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.659-669
• /
• 1997

Security as weel as consistency of data is very important issue in databaed security.This the serializability of transactions must be maintained and particularly covert channel not caesed between a high-level transaction and a low- level one.In this paper, we propose a secure transaction management algorithm using synamic version control] method that can slove disk space overhead to maintain multiversion and the problem that reansactions read too old versions when two versions are maintained.Disk space overhead can be sloved by properly cerating versions and synamically maintaining the number of versions and the problem for reading too old version can be solved by having transactions read versions as recent as possible.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.8
• /
• pp.2113-2119
• /
• 1998

The optimization problem of BDDs plays an improtant role in the area of logic synthesis and formal verification. Since the variable ordering has great impacts on the size and form of BDD, finding a good variable order is very important problem. In this paper, a new variable ordering scheme called incremental optimization algorithm is presented. The proposed algorithm reduces search space more than a half of that of the conventional sifting algorithm, and computing time has been greatly reduced withoug depreciating the performance. Moreover, the incremental optimization algorithm is very simple than other variable reordering algorithms including the sifting algorithm. The proposed algorithm has been implemented and the efficiency has been show using may benchmark circuits.

• Spatial Information Research
• /
• v.7 no.2
• /
• pp.191-207
• /
• 1999

Data and information necessary for solving the spatial decision making problems are imperfect or inaccurate and most are described by natural language. In order to process these arts of information by the computer, the obscure linguistic value need to be described quantitatively to let and computer understand natural language used by humans. For this , the fuzzy set theory and the fuzzy logic are used representative methodology. So this paper describes the construction of the language model by the natural language that user easily can understand and the logical concepts and construction process for building the fuzzy inference mechanism. It makes possible to solve the space related decision making problems intellectually through structuring and inference used by the computer, in case of the evaluation concern or decision making problems are described inaccurate, based on the inaccurate or indistinct data and information.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.7
• /
• pp.1702-1710
• /
• 2009

In this paper, we propose a problem space based search(PSBS) algorithm to solve parallel machine scheduling problem considering rework probabilities. For each pair of a machine and a job type, rework probability of each job on a machine can be known through historical data acquisition. Neighborhoods are generated by perturbing four problem data vectors (processing times, due dates, setup times, and rework probabilities) and evaluated through the efficient dispatching heuristic (EDDR). The proposed algorithm is measured by maximum lateness and the number of reworked jobs. We show that the PSBS algorithm is considerably improved from the result obtained by EDDR.

• 한국정보교육학회:학술대회논문집
• /
• 2004.08a
• /
• pp.475-484
• /
• 2004

공간 능력 및 공간 시각화 능력의 향상은 우리가 살고 있는 세계를 표현하고 설명하는데 도움을 주고 실생활과 직업에 관련된 문제해결 능력을 기를 수 있게 한다. 초등학교에서는 비형식적인 방법으로 일상생활에서 접하는 대상과 다른 구체적 자료를 사용한 조사, 실험, 탐구를 통하여 여러 위치에서 도형을 시각화하고, 그려보고, 비교하는 활동을 강조하고 있다. 제7차 수학과 교육과정에서 공간능력 및 공간 시각화 능력을 향상시키기 위한 학습으로 구체적 조작물과 학습지 사용을 병행하고 있다. 하지만 초등 기하는 공간적인 경험을 현실 상황이나 구체물 조작을 통하여 형성된 공간직관을 수학화하도록 하여야 하나, 실제 현장에서는 학교여건 등의 여러 실정으로 조작 자료들이 제대로 마련되어 있지 않거나 잘 사용하지 않고 있다. 3차원을 경험할 수 있는 공간 시각화 학습프로그램을 적극 활용하여 어떤 방향이든 상관없이 가상의 공간에서 물체를 옮기거나 회전시킬 수 있으며 시간적, 공간적 제약을 받지 않고 학습자들의 공간시각화 능력을 향상시킬 수 있는 학습 프로그램 개발이 필요하다. 이에 본 연구에서는 이런 요구에 의해 아동과의 상호 작용성과 접근성을 향상시킨 웹기반 가상현실 프로그램을 개발하고 그 효과 분석을 통해 웹 기반 가상현실 학습 프로그램에 대한 가능성을 진단해 보고자 한다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 2005.11a
• /
• pp.47-54
• /
• 2005

정보 사회가 발전하고 정보의 활용이 늘어남에 따라 공간 데이타가 다양한 분야에서 활용되고 있다. 그리고, 공간 데이타가 널리 활용됨에 따라 ESRI와 같은 다양한 지리 정보 시스템(Geography Information System)이 발전하게 되었다. 그러나, 기존의 지리 정보 시스템은 다양한 분야에서의 활용을 위해 많은 기능을 제공함으로 인해 일반적으로 대용량 공간 데이타에 대한 검색이 비효율적이다. 특히, 네트워크 환경이 발전하고 컴퓨팅 파워가 증가함에 따라 점차 대용량의 지도 서비스를 제공하는 분야에서 기존의 지리 정보 시스템 적용 시공간 데이타 검색 속도가 저하되는 문제가 발생한다. 따라서, 본 논문에서는 안정적인 상용 DBMS인 Oracle을 기반으로 대용량 공간 데이터를 효율적으로 검색할 수 있는 Oracle 기반의 대용량 지도 서비스를 위한 XServer를 설계 및 개발하였다. XServer는 다양한 클라이언트의 질의를 효율적으로 처리하기 위한 질의 처리 관리자, 대용량의 공간 데이타를 빠르게 검색하기 위한 공간 인덱스 관리자 및 데이타 버퍼 관리자, 대용량의 공간 데이타를 안정적으로 저장하기 위해서 Shape 화일에서 추출한 공간 데이타를 Oracle에 저장 및 관리하기 위한 수입/수출 관리자와 DB 관리자로 구성되어있다. 마지막으로, 본 연구에서 개발한 Oracle 기반의 대용량 지도 서비스를 위한 XServer와 Oracle Spatial을 비교함으로써 기능을 검증하고 성능의 우수함을 입증하였다.

• 한국게임학회지
• /
• v.6 no.1
• /
• pp.55-57
• /
• 2009

멀티미디어 정보 표현에 있어서 서로 다른 미디어간의 동기화를 효과적으로 처리하는 것이 아주 중요하다. 멀티미디어 특성이 적용된 게임 개발에 있어서 각각의 시각 객체들이 시간 경과에 따라 공간 영역에서 동시에 움직여야 하므로 게임에서 필요한 멀티미디어적인 게임 요소들을 게임 운용상에 적절히 배치시키기 위해서는 게임 장면을 통한 시간과 공간 개념의 동기화가 필요하고 게임 객체 자신이 가지고 있는 시공간 특성이 논리적으로 설계되어 게임을 운용시켜야 한다. 따라서 멀티미디어 시스템에서 혼합된 형태의 미디어로 구성된 데이터의 표현을 위해서는 객체가 나타내는 상대적인 위치와 상대적인 시간을 나타내 주는 공간 합성과 시간 합성을 명시할 수 있는 정형화된 표현 연구가 요구된다. 간(刊)기존 연구들은 대부분 시간적 동기화와 공간적 동기화 각각에 대한 표현에 많이 치우쳐 있으므로 시간과 공간이 통합된 미디어들의 동기화 표현에 대한 연구가 필요하다. 시공간이 통합되지 않는 기존의 멀티미디어 표현법을 게임 개발에 적용할 때에는 게임에 사용되는 미디어 객체간의 원활한 동기화 표현이 쉽지 않다. 이러한 문제를 해결하기 위하여 게임 시나리오 스케치에서 나타난 게임 객체들의 시공간 개념이 적절히 표현될 수 있는 정형적 연구가 필요하다. 간(刊)본 논문에서는 시간 개념과 공간 개념이 통합된 형태의 시공간 동기화를 표현하기 위하여 명세 단계에서 멀티미디어 데이터가 시간 및 공간 개념을 적절히 변형하여 표현될 수 있도록 시간 및 공간 동기화가 통합된 새로운 표현법을 제안한다. 이를 위하여 게임 요소들의 시간적, 공간적 동기화를 표현하기 위한 방법을 언명으로 정의하고 시공간 관계성에 대한 확장을 제시한다. 간(刊)본 논문이 제안하는 언명 기반 멀티미디어 객체의 시공간 동기화 모델(an Assertion-based Multimedia objects Spatio-TEmporal Synchronization model : AMSTES)는 시간과 공간 모두에 적용되는 게임 객체들의 시공간 동기화 표현 방법과 이를 이용하여 실제 실행 가능한 코드 생성을 위한 시공간 공식을 제공한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.340-343
• /
• 2009

u-GIS 환경에서 GeoSensor로부터 수집되는 시공간 데이터는 데이터 스트림의 특징을 포함한다. 데이터 스트림은 다양한 입력 속도로 끊임없이 입력되고, 데이터의 크기 또한 가변적이다. 이런 이유로 한정적인 메모리와 처리능력의 시스템은 과부하 현상이 발생한다. 이를 해결하기 위해 초과되는 데이터를 버려 메모리 초과를 방지하는 기법들이 연구되고 있다. 공간질의는 공간과 위치 값을 기반으로 이루어지는 연산으로 공간질의 정확도는 공간과 위치 정보를 통해 보장된다. 그러나 기존 기법인 랜덤부하제한 기법과 의미적부하제한 기법은 공간질의가 요구하는 공간과 위치 값에 대해 고려하지 않고 삭제하기 때문에 공간질의에 대한 정확도가 감소하는 문제를 갖는다. 본 논문에서는 공간의 이용도를 이용하여 차등적 비율을 적용한 부하제한 기법은 연구하였다. 이 기법은 등록된 공간질의의 영역 겹침 정도에 따라 중요 레벨을 증가시키고, 이를 토대로 시공간 데이터의 중요도를 파악하여 중요도마다 주어진 비율에 의하여 차등적으로 삭제한다. 결과적으로 기존 기법보다 다소 높은 Drop rate를 통해 질의 처리 속도를 빠르게 회복시켰으며, 중요 데이터를 최대한 유지하여 Error rate를 감소시켰다.

• Tunnel and Underground Space
• /
• v.3 no.2
• /
• pp.152-162
• /
• 1993

• The Journal of the Korean dental association
• /
• v.30 no.6 s.277
• /
• pp.440-442
• /
• 1992