• 한국콘텐츠학회논문지
• /
• 제4권3호
• /
• pp.71-80
• /
• 2004

분산파일시스템 환경에서는 디스크 접근 비용을 줄이기 위해 각 노드에 캐시된 데이터를 서로 공유하는 협력캐시 알고리즘이 사용된다. 협력캐시 알고리즘은 분산되어있는 시스템들의 캐시정보를 서로 공유하여 가상으로 더 큰 캐시를 형성함으로써 캐시 히트율을 높이고 디스크 접근을 줄이는 방법이다. 기존에 제안된 협력캐시 알고리즘들은 캐시에 대한 근사정보를 이용하여 메시지 비용을 줄이고, 로컬캐시영역과 글로벌캐시 영역을 가변적으로 사용하여 캐시 히트율을 높이고 있다. 또한 버퍼 교체 시 교체된 버퍼를 비활동적인 노드로 보내어 계속 캐시에 유지하도록 하여 전역 버퍼 히트율을 높이는 장점을 갖는다. 그러나 잘못된 근사정보가 성능을 저하시킬 수 있으며 일관성 유지를 위한 메시지교환 비용이 많이 든다는 단점을 갖고 있다. 또한 비활동적인 노드를 선정하기 위해 사용되는 각 노드의 에이지 정보 관리비용이 많이 드는 단점을 갖고 있다. 본 논문에서는 정확한 캐시정보를 유지하며 일관성 유지비용과 버퍼 에이지 정보 관리비용을 최소화시키는 협력캐시 알고리즘을 제안한다. 그리고 성능평가를 통해 기존의 협력캐시 알고리즘과 비교하여 제안하는 알고리즘의 우수성을 보인다.

• 한국정보과학회논문지:데이타베이스
• /
• 제31권3호
• /
• pp.274-286
• /
• 2004

모바일 클라이언트-서버 환경에서 모바일 클라이언트는 무선 통신의 높은 비용으로 인하여 서버와 단절된 상태를 가지며, 캐쉬된 지도의 효율적인 갱신을 위해 지역 복사본을 클라이언트가 갖는다. 이러한 환경에서 서버 데이타베이스의 일부가 변경된 경우 일관성 제어시에 캐쉬가 무효화될 수 있고, 이로 인해 캐쉬된 전체 데이타가 재 전송되는 것은 비효율적이다. 그러므로 서버에서 변경된 객체 정보를 로그로 기록하여, 캐쉬된 영역에 속하는 최근 변경 정보만을 전파하는 방법이 필요하다. 그러나 순차적으로 저장되는 로그의 경우 다음과 같은 문제점을 가진다. 첫째, 로그가 계속해서 누적된다. 이는 서버의 저장 공간 문제와 로그의 검색 성능 저하를 가져온다. 둘째, 순차적인 검색을 해야 한다. 로그의 양이 많을 경우 순차 검색은 비효율적이다. 셋째, 해당 클라이언트에게 불필요한 로그도 함께 전파된다. 이는 변경 정보 전파시 높은 무선 통신 비용을 발생시킨다. 이 논문에서는 이러한 문제점들을 해결하기 위해서 불필요한 로그들을 정의하고, 이들을 생성 및 검색 단계에서 제거, 여과하기 위한 기법들을 제시한다. 또한 순차 저장된 로그에 대한 검색 시간을 단축시키기 위한 구조와 기법을 제시한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제35권3호
• /
• pp.257-271
• /
• 2008

무선 방송 환경은 모바일 클라이언트 수에 상관없이 다수의 클라이언트에게 데이타를 보낼 수 있다는 특징이 있다. 이와 같은 특징으로 무선 방송은 많은 분야에 적응되고 있는데 이러한 응용분야에서는 대부분이 읽기 작업을 수행하며 데이타를 일관성 있게 관리하기 위하여 트랜잭션 단위의 동시성 제어기법을 사용하고 있다. 기존 멀티 무선 방송 채널에서의 데이타 할당 방법으로 구성된 데이타 채널들에서는 단일채널에서 사용하는 동시성 제어 기법으로 트랜잭션의 일관성을 보장해 주기 어렵다. 이는 각 데이타 채널의 브로드캐스트 주기가 서로 다르기 때문에 특정 채널에서 데이타를 수신한 후, 다음 채널로 이동하였을 때 트랜잭션이 접근하는 데이타의 일관성이 깨질 수 있기 때문이다. 본 논문에서는 이러한 문제를 해결할 수 있는 멀티 무선 방송채널에서의 읽기 트랜잭션을 위한 동시성 제어 기법을 제안하였다. 이 논문에서는 기본적으로 인덱스 전용 채널과 데이타 전용채널 구조를 이용한다. 또한 LBCPC(Longest Broadcast Cycle Per Channel)라는 새로운 일관성의 단위를 제시한다. 데이타 전용채널에서는 이 LBCPC만큼 같은 BCPC(Broadcast Cycle Per Channel)내의 데이타를 반복하여 방송한다. 또한 LBCPC마다 전체 데이타에 대한 제어 정보를 이용하여 자체적으로 트랜잭션의 검증을 실시한다. 이로 인해 트랜잭션의 일관성이 유지될 뿐만 아니라 단일채널의 긴 브로드캐스트 주기보다 짧은 LBCPC로 인하여 재실행을 위한 대기 시간을 줄여줌으로써 평균 응답 시간을 줄여줄 수 있다. 또한 단일 채널에 비해 제어 정보를 자주 방송함으로써 읽기 전용 트랜잭션이 접근하는 데이타에 대한 최신성을 보장한다. 마지막으로 실험을 통해 단일 채널과의 트랜잭션의 평균 응답 시간이 현저히 감소함을 보임으로써 제안하는 다중 채널에서의 동시성 제어 기법의 성능을 검증한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제23권4호
• /
• pp.517-531
• /
• 2013

본 연구에서는 초등학교 수학과 교육과정의 성취 기준 진술상 비일관성이 없어야 한다는 관점에서, 2011 교육과정의 학습내용 성취 기준에서 많이 사용하는 어휘인 '이해하다', '안다', '의미'를 대상으로, 그것의 비일관적 사용에 관해 논의하고 있다. 이를 위해, 그것이 2011 교육과정에서 비일관적으로 나타나는 양태를 분석하고 있다. 이러한 분석의 결과는 2011 교육과정에서 어떤 원칙을 바탕으로 '이해하다', '안다', '의미'를 사용한 것으로 보기 어렵다는 것을 말해준다. 양태 분석 결과를 바탕으로 차후의 교육과정 개발을 위해 다음의 세 가지 제안을 결론으로 제시한다. 성취 기준 진술에서 첫째, '이해하다'를 어떤 맥락에서 사용하는지 한정할 필요가 있다. 둘째, '안다'와 '이해하다'의 차이를 명확히 할 필요가 있다. 셋째, '~의 의미'에서 '의미'가 무엇을 함의하는지 명확히 할 필요가 있다.

• 한국문헌정보학회지
• /
• 제48권1호
• /
• pp.75-95
• /
• 2014

본 연구의 목적은 2002년에 개발된 "국립중앙도서관 주제명표목표"의 용어 품질을 검토하여 개선 방안을 제안하는 것이다. 이를 위해 문헌 연구와 국내외 국가도서관의 주제명표목표 사례 조사, 국립중앙도서관 주제명 표목표의 주제명 및 관계 데이터 분석을 수행하였다. 본 연구 결과, 주제명 기술의 비일관성, 불분명하고 불필요한 관계 설정, 계층 관계 적용의 비일관성, 최신성 부족, 분류기호의 부정확한 기입, 신규 주제명의 중복 신청, 비우선어 및 미등록어 부여와 같은 문제점이 나타났다. 주제명표목표의 문제점을 중심으로, 주제명 정비, 서지 데이터 정비, 주제명표목 검토위원회 운영, 주제명 지침 보완을 고품질화 방안으로 제시하였다.

• 융복합기술연구소 논문집
• /
• 제11권1호
• /
• pp.39-42
• /
• 2021

2차원 유동장내 수직 진동하는 원통의 Von Karman 와열 유동 현상에 대한 진동 주파수 계산 문제는 진동하는 물체의 비정상 공력 해석 연구 검증에 많이 사용하는 고전적 방법이다. 본 연구에서는 오픈소스 OpenFoam 기반의 중첩격자 기법을 사용하여 층류 유동장내의 수직방향 진동하는 원통 주변의 비정상 유동 현상과 원통 벽면에서의 공력 특성 변화를 해석하기 위한 일련의 해석 단계들과 결과를 타 연구그룹과 비교하였다. 원통 형상과 진동에 의한 와열 유동의 주기적 유동 특성과 복잡성 해석의 건전성을 확보하기 위하여 격자와 시간제어에 대한 해의 정확도에 미치는 영향을 평가하였다. 본 연구에서 수행한 해석 방법은 일관성과 신뢰성 있는 해석 결과들 보여주었으며, 향후 보다 실제적인 진동하는 에어 포일의 비정상 공력 해석 연구에 적용 가능함을 확인하였다.

• 철학연구
• /
• 제143권
• /
• pp.87-118
• /
• 2017

이 논문에서 필자는 피터 싱어의 인간 개념에서 발견되는 몇 가지 이론적인 모순점들을 보여줄 것이다. 싱어는 인간을 한편으로는 자연에 종속된 존재로 간주하면서 다른 한편으로는 초월적인 존재로 간주한다. 이것이 그의 인간개념의 첫 번째 비일관성이다. 그의 두 번째 비일관성은 이성의 능력에 대한 그의 입장과 관련되어 있다. 그는 이성의 능력이 진화의 산물이라고 믿으면서 동시에 이성능력은 진화의 맹목성에 저항할 수 있는 능력이라고 믿기도 한다. 세 번째로, 인간의 도덕능력에 대한 평가에 있어서도 그는 모순적인 태도를 노출하고 있다. 이 세 가지 모순들을 고려한다면, 싱어는 인간과 동물 간에는 질적인 차이가 없다는 자신의 주장을 증명하지 못했다는 사실이 분명해진다. 싱어의 이론이 대중들의 호응을 얻고 있음에도 불구하고, 필자는 그의 동물해방론의 이론적 기초가 꽤나 허약하다고 생각한다. 필자가 싱어 이론의 약점을 드러내는 이유는 인간이 동물을 무자비하게 다루는 관행으로 로 되돌아가기 위함이 아니라, 동물복지의 미명하에서 인간의 존엄성을 파괴하는 것이 잘못임을 보이기 위함이다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제16권1호
• /
• pp.27-36
• /
• 2020

소프트웨어 개발비 감정은 프로그램 완성도 감정과 함께 소프트웨어 공학 방법론을 적용하고 있다. 특히 소프트웨어 비용산정 기법을 적극적으로 준용해왔다. 다수의 감정 사례에서 소프트웨어 개발비 감정을 위해 소프트웨어 비용산정에 기반을 두는 "SW사업 대가산정 가이드"를 참조하여 감정이 이루어져 왔으나, 이러한 방법은 본질적인 한계를 가진다. 개발비 감정을 위한 "SW사업 대가산정 가이드" 자체의 문제점과 함께 소프트웨어 규모 산정의 기본이 되는 기능점수가 가지는 단점으로 인해 감정의 정확성과 일관성이 유지되기 어렵다. 본 연구에서는 규모추정의 정확성과 일관성 유지를 위한 방안으로 유스케이스 기반의 규모 추정 방안을 제시한다. 평가 대상 프로젝트는 개발비 감정 사례들과 유사한 유형의 소프트웨어공학 교과목의 프로젝트로 진행하였으며, 공수 추정 시에 감정 사례들의 상황과 유사하도록 제공되는 문서와 정보를 최소화하였다. 기능 점수 기반의 기존 소프트웨어 개발비 산정 방식과 유스케이스 기반으로 제안한 방안의 성능 평가를 실시한 결과, 기존 방식보다 정확도가 향상되었고 통계적으로 유의함이 입증되었다.

• 자연과 농업
• /
• 통권246호
• /
• pp.50-53
• /
• 2009

사용되는 친환경농자재의 종류, 단위 면적당 사용량 등은 농가마다 다르기 때문에 비효율적인 사용가능성이 있다. 또 가격과 효과에 대한 명확한 정보를 제공해 줄 수 있는 곳이 없어 불만족도가 높다. 친환경농자재의 사용 중 문제가 발생할 경우의 농업인의 대처는 소극적이며 현행 제도가 더욱 강화되어 농업인들에게 신뢰를 줄 수 있어야 한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제28권4호
• /
• pp.188-195
• /
• 2001

본 논문에서는 PC 클러스터 기반 CC-NUMA 시스템을 제안하고, 시뮬레이션을 통하여 성능을 분석하였다. PC 클러스터 기반 CC-NUMA 시스템은 PC의 PCI slot에 CC-NUMA 카드를 장착함으로써 구현되며 공유메모리, 네트워크 캐쉬, 네트워크 제어 모듈을 포함한다. CC-NUMA 시스템은 PCI 버스상에 존재하는 메모리를 공유대상으로 하며, 공유메모리와 네트워크 캐쉬사이의 일관성은 IEEE SCI 표준에 의해 유지된다. CC-NUMA 시스템을 시뮬레이션 하기 위해 실행주도 시뮬레이터인 Limes를 수정하여 사용하였으며, 캐쉬 일관성 유지 알고리즘으로 SCI의 typical set을 구현하였다. 또한 기존 시스템과의 비교를 위해서 네트워크 캐쉬를 활용하지 않는 Dolphin사의 PCI-SCI 카드에 기반한 NUMA 시스템을 시뮬레이션 하였다. CC-NUMA 시스템의 성능을 측정하기 위하여 다양한 실험을 수행하였으며, 실험결과 CC-NUMA 시스템이 NUMA 시스템에 비해서 성능향상이 우수함을 알 수 있었다. 또한, CC-NUMA 시스템이 최적의 성능을 발휘하는 파라미터의 값을 도출하였으며, 이를 CC-NUMA 시스템의 실제 구현에 반영하였다.