• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.285-288
• /
• 2004

분석 및 설계단계의 산출물을 작성할 때는 대부분 정형화와 표준화를 따른다. 그러나 실제 시스템 개발현장에서는 단계별 산출물들의 개별적인 특성으로 인하여 모든 산출물간에는 연속적이며 자동화된 과정을 통해 산출물들이 작성될 수는 없다. 그 결과 작성된 개발 산출물간의 일관성이 유지되지 못하는 관계로 최종 산출물에서 여러 가지 문제가 야기됨을 알 수 있다. 그러므로 본 논문에서는 객체지향 방법론에 따라 개발되는 시스템에 대해 분석 및 설계단계의 산출물간 일관성을 유지하기 위한 방안을 제시하고, 이를 지원하기 위한 도구를 개발한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.5
• /
• pp.505-511
• /
• 2003

Production rule based knowledge representation method has many advantages, but has the difficulties in maintaining the consistency of knowledge. Since the consistency maintenance of knowledge exercises a marked effect on the reliability of inference results, the system for consistency maintenance of knowledge is indispensable to increase the reliability. In the most popular pairwise checking method among consistency verification methods, the valuable rules can be omitted and it takes much time in checking the consistency when the rules are numerous. So, this paper is to propose and implement the verification system which can remove the structural errors and semantic ones, making up for the defects of pairwise checking method by using the certain property list and eventual property list and improving the steps of verification.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.3
• /
• pp.78-92
• /
• 1999

In mobile computing environments, to efficiently use the narrow bandwidth of wireless networks a mobile host caches the data that are frequently accessed. To guarantee the correctness of the mobile transaction, the data cached in a mobile host must be consistent with the data in a server. This paper proposes a new strategy which maintains cache consistency efficiently when the data cached in a mobile host are inconsistent with the data in a server by the mobility of the mobile host at the asynchronous mobile environment. In this strategy, the size of the invalidation message is relatively small and is independent of the number of data to be invalidated under conditions of variable update rates/patterns. So this strategy uses the narrow bandwidth of wireless networks efficiently and reduces the communication cost.

• Journal of KIISE:Databases
• /
• v.30 no.6
• /
• pp.606-628
• /
• 2003

Recently, there have been many research efforts reported in the literature that focus on the cache consistency problems of mobile clients resulting from their frequent disconnections with a server in mobile environments. To cope with this problem, a number of methods based on the invalidation report scheme has been proposed. However, these proposed methods are sensitive to the disconnection time of mobile clients and independent of the frequency of data updates in the server. As a result, although the number of data updated in the server is small, the traditional methods can not guarantee the cache consistency of mobile clients if their disconnection time is over the time period the invalidation report is allowed to cover. In this paper, we propose an efficient cache consistency method called CCI(Cost-based Cache Invalidation) for mobile clients that take into account not only the disconnection time but also the frequencies of data updates in the server We also present an in-depth experimental analysis by comparing CCI method with BT(Broadcasting Time stamp) method based on Invalidation Report.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.40-42
• /
• 2004

유비쿼터스 컴퓨팅에 대한 관심이 높아짐에 따라 센서 네트워크에 대한 관심이 높아지고 있다. 그러나 기존의 센서 네트워크에서는 센서들이 하나의 데이터 처리 서버 (DPS : Data Processing Server) 에 종속되어 있어 수많은 센서들에 의해 수집된 정보를 다양한 데이터 처리 서버에서 이용하지 못하는 문제점이 있다. 이는 각 센서들에 의해 수집된 데이터간의 의미 이질성 때문이다. 이 논문에서는 특정 데이터 처리 서버에 종속적으로 센서들이 이용되는 한계를 극복할 수 있는 의미 일관성 유지를 위한 아키텍처에 중점을 둔다.

• Journal of Internet Computing and Services
• /
• v.4 no.6
• /
• pp.87-93
• /
• 2003

Data Replication makes distributed system and database system improved in availability and performance. But it is difficult to keep strict consistency in data update. Existing algorithms keep strict consistency, but have problems of cost a great deal and delay time. It is to introduce hybrid update propagation algorithm which permits eager update for original copy and propagates lazy update for other copies. Hybrid update propagation algorithm also permits group update in ownership. This algorithm menages replica version in order to control group update consistency. Consistency and performance is improved by combining eager update and lazy update with group ownership. Simulation shows improvement of transaction throughput and response time depending on application and execution environment.

• The KIPS Transactions:PartD
• /
• v.10D no.4
• /
• pp.655-660
• /
• 2003

The cache used by mobile host is an important device that recovers the weak points of limited power and bandwidth, in mobile computing environments. However, it has to stand and maintain the consistency with the server data. In this paper, we propose a 'Selective Cache Consistency Scheme'. The server allows an effective broadcasting by selecting data of high usability using 'Cache State Table' and 'Data Access Table'. Moreover, this scheme prevents the loss of data that nay occur by a long period of disconnection, by asynchronous broadcasting and transmitting those broadcast data preserved in the server. This also allows user to possess the latest data. Through experiments, we have found that the enlargement of autonomy is possible by reducing the dependence of server.

• 프린팅코리아
• /
• v.12 no.3
• /
• pp.92-93
• /
• 2013

작업량과 시간, 기계를 뛰어넘어 수만 번의 출력에도 일관적인 고품질의 인쇄를 유지하는 '오세 다이렉트 프레스' 는 사용자의 신뢰를 얻기에 충분하다. 가변 데이터 처리를 통해 기존 출력 방식의 LED, 정착 온도, 습도, 정전하, 디벨로퍼와 폐토너의 영향을 받지 않는 안정성과 컬이 없는 일관성 있는 출력품질은 오세의 타협 없는 자부심이 낳은 결과다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10b
• /
• pp.215-227
• /
• 1997

데이터베이스 공유 시스템(database sharing system)은 고성능의 트랜잭션 처리를 위한 시스템으로서, 별도의 메모리와 운영체제 그리고 데이터베이스 관리 시스템(DBMS)을 가진 처리 노드와 고속의 통신 시스템으로 구성된다. 공유 데이터는 다수의 DBMS에 의해 동시에 캐싱 될 수 있으므로 처리노드 간의 일관성 유지를 위해 동시성 제어(concurrency control)와 일관성 제어(coherency control) 기법이 필요하다. 본 연구에서는 동적 PCA 관 리 방식과 이를 위한 버퍼 무효화 기법을 제안한다. 제안된 동적 PCA 관리 방식은 시스템 환경의 변화에 대한 적응성을 제공한다. 또한 공유 데이터의 일관성 유지를 위한 세 가지의 버퍼 무효화 기법은 디스크 I/O 오버헤드와 메시지 전송량을 감소함으로써 동적 PCA 관리 를 효율적으로 지원할 수 있다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.991-998
• /
• 2003

우리나라 전자정부 추진 과정 중에 드러난 문제점들은 정보화 투자의 비효율성, 일관성 결여 및 중복성, 정보화 수요의 폭발적 증가에 따른 양적인 대응의 한계, 전산환경 운영의 비효율성 등으로 요약될 수 있다. 이러한 문제점들은 범정부적인 정보자원에 대한 일관된 관리운용체계의 확보를 통해 해결될 수 있다. 점차 경량화되는 정부가 혁신된 정보자원 관리운용체계를 효과적으로 유지하기 위해서는 이를 뒷받침하는 지원 기능이 강화되어야 한다. 본 연구에서는 우리나라 차세대 전자정부 추진 목표로 완전 통합 단계의 달성을 상정하고, 그 방안으로 국가정보기술원의 역할모형을 제시하였다. 국가정보기술원은 정부가 추진하는 모든 정보화사업이 일관성있고, 효율적으로 진행될 수 잇도록 국가정보화에 필요한 전반적인 기능들을 섭렵하여 지원하는 전담기관으로, 정보화기획, 정보화사업관리, 정보자원 운영, 국가표준관리, 감리 및 평가 동의 기능을 수행한다. 특히, 본 연구에서는 범정부적 정보인프라의 통합운영을 담당하는 국가정보센터의 모형을 제시하였는데 국가정보기술원은 이를 통해 정보자원 운영 기능을 수행하게 된다. 본 연구에서 제시된 국가정보기술원의 역할 모형은 정부의 정보자원 관리운용체계를 혁신하고, 유지하는데 필요한 기능을 충분히 수행할 수 있을 것으로 기대된다.