• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.116-118
• /
• 2000

생성 규칙은 지식 기반 시스템의 지식표현 기법 중 가장 많이 사용되고 많은 장점을 갖고 있음에도 불구하고 지식의 일관성 유지가 어렵다는 단점을 가지고 있다. 그런데 지식의 일관성이 추론 결과의 신뢰도에 직결된다는 점에서 지식의 일관성을 유지할 수 있는 시스템이 필수적이다. 따라서 본 논문에서는 새로 첨가될 지식이 기준 지식과 일관성이 유지될 경우에만 지식을 첨가하는 일관성 유지시스템과 지식베이스는 물론 데이터 베이스 내의 선언적 지식과 절차적 지식 등 다양한 지식을 호출할 수 있는 기능을 갖춘 지식 기반 시스템을 구축하였다.

• The monthly packaging world
• /
• s.272
• /
• pp.94-99
• /
• 2015

한국파렛트컨테이너산업대상은 우리나라 산업물류의 혁신을 위하여 표준파렛트와 표준컨테이너의 생산 및 사용에 있어 가장 모범이 되는 우수한 업체와 이러한 활동에 헌신한 개인 또는 단체를 발굴, 시상함으로써 유닛로드시스템의 보급확산을 촉진하여 우리나라 산업물류 효율화에 기여하고자 주어지는 상이다. (사)한국파렛트컨테이너협회가 주최하고 산업통상자원부, 국가기술표준원, 물류신문사가 후원하는 제12회 한국파렛트컨테이너산업대상 시상식이 11월 12일 중소기업중앙회 그랜드홀에서 열렸다. 올해 시상식에서는 산업통상자원부장관 표창, 국가기술표준원장 표창, 한국파렛트컨테이너협회장표창이 유닉로드시스템 부문과 공로상 부문으로 나뉘어 진행됐다. 유닛로드시스템 부문은 T-11형 파렛트(컨테이너)에 의한 일관파렛트화(일관컨테이너화) 추진 우수기업 및 산업현장 유관단체에서 일관파렛트화(일관컨테이너화) 추진확산에 기여한 업체 단체를 대상으로 시상했으며 공로상은 일관파렛트화(일관컨테이너화)추진 우수기업 및 산업현장 유관단체에서 일관파렛트화(일관컨테이너화) 추진확산에 기여하고 산업물류표준화와 국제협력에 기여한 개인 또는 단체를 대상으로 시상했다. 본 고에서는 제12회 한국파렛트컨테이너산업대상 수상자들의 공적사항을 살펴보도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.142-144
• /
• 2001

준 캐시(quasi cache)는 데이타 캐시 방법의 일종으로 엄격한 일관성이 아닌 약한 형태의 일관성을 적용함으로써 캐시 일관성 유지 비용을 줄이는 방법이다. 그러나 준 캐시 또한 갱신이 빈번한 환경에서는 기존 캐시와 같이 일관성 유지를 위한 통신 비용이 커질 수 있다. 이 논문에서는 준 캐시의 기본 모델을 살펴보고, 기본 모델에 적응적인 기법을 적용한 모델을 제시한다. 또한 실험을 통해 갱신이 빈번한 환경에서는 적응적 모델이 기본 모델보다 더 작은 통신 비용으로 캐시 일관성을 유지할 수 있음을 보인다.

• 프린팅코리아
• /
• v.14 no.8
• /
• pp.120-123
• /
• 2015

컬러 관리는 인쇄에서 가장 중요한 이슈 중 하나다. 또한 처음 생산한 인쇄물의 컬러를 마지막까지 일관되게 유지하는 것은 무엇보다 중요하다. 특히 컬러의 일관성은 디지털 인쇄 방식에서 많이 지적되곤 하는데, 최근 SNS상에서 전 세계 각국의 인쇄인들이 각자의 경험을 바탕으로 컬러 일관성에 대한 논의를 열어 주목을 받았다.

• Proceedings of the Korean Statistical Society Conference
• /
• 2003.10a
• /
• pp.105-110
• /
• 2003

이 연구에서는 일관성의 원리를 충족하는 새로운 형태의 베이즈 P-값으로 LR형 베이즈 P-값을 제안하고, 그 성질에 대하여 검토해보고자 한다. 제안된 베이즈 P-값은 가능도 비의 단순한 함수의 형태로 표현되어 쉽게 계산될 수 있다는 장점을 갖고 있으며, 검정방법으로서 일관성의 원리를 만족한다.

• Journal of Korean Society for Geospatial Information Science
• /
• v.5 no.2 s.10
• /
• pp.193-205
• /
• 1997

It is required for multi-users to share massive mapping data effectively that distributed data model in the Client-Server environment is developed for the replication consistency. The existing model is not effective to the long transaction just like a mapping system, since it does not account lot consistency between GUI screen and database replications even though it emphasizes on the replication consistency. The performance of concurrency control is very important for those long transactions, especially the mapping systems. This model is to support consistency between GUI screen and replicas using display locks. It suggests consistency model improving process performance by modifying memory consistency model and optimistic concurrency control for mapping data's characteristics.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

• Journal of the Korean earth science society
• /
• v.27 no.6
• /
• pp.606-619
• /
• 2006

In this paper we investigated the types of the explanatory consistency of preservice secondary teachers in explaining the lunar phase. The explanatory consistencies were proposed into four discrete mental models depending on their attributes. The four types based on the explanatory consistency by the preservice secondary teachers' explanations are as follows: ad hoc expansion, competitive theory addition, transition of unexplainable each, and transition using in context of several situations.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.525-527
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.10a
• /
• pp.161-165
• /
• 1998

다중 프로세서 구조로 실시간 분산 처리를 하는 전전자 교환기 시스템은 그 특성상 2개 이상의 프로세서에 동일한 값을 유지하는 중복 데이터의 사용이 필수적이다. 시스템의 자원 정보, 번호 번역 정보, 과금 정보 등이 중복 데이터로 사용된다. 이러한 중복 데이터에 대한 변경은 불일치 상태를 회피하기 위해 그 처리에 많은 비용과 제한이 따른다. 과도한 시그널 전송 및 로그 저장, 재전송 알고리즘은 데이터베이스 시스템의 성능을 저하시키고 때때로 순간적인 마비 상태까지도 유발할 수 있다. 본 논문에서는 기존 일관성 방안의 문제점을 분석하고 단일-버스 다중-프로세서 시스템에서 각각의 캐쉬들간의 일관성 유지를 위한 write-through 캐쉬 일관성 프로토콜을 사용하여 저 비용이며 효율적인 중복 데이터 일관성 유지 방안을 제시한다.