• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.

• 한국조리학회지
• /
• 제20권1호
• /
• pp.189-204
• /
• 2014

본 연구는 외식 소비성향에 따른 한식당 선택속성이 외식 고객들의 행동의도와의 영향관계를 확인하고자 한다. 연구의 목적을 달성하기 위하여 외식소비자 249명을 대상으로 SPSS 18.0을 사용하여 빈도분석, 요인 및 신뢰도분석, 카이제곱분석, 상관관계분석, 군집분석, 분산분석 및 다중회귀분석을 하였다. 가설검정을 위한 분산분석한 결과 식당의 접근성은 모든 군집에서 유의한 차이를 나타내지 않았다. 음식의 품질은(F=5.587, $p{\leq}.001$) 유의한 결과를 나타내었고, 종사원의 서비스(F=5.186, p<.01), 가격할인(F=4.921, p<.01)에서 유의한 차이를 나타내었다. 따라서 외식 소비성향군집은 한식당 선택속성에는 차이가 있을 것이라는 가설1은 부분 채택되었다. 한식당 선택속성이 행동의도에 영향을 미친다는 가설을 검정하기 위하여 한식당 선택속성의 하위요인(식당의 접근성, 음식의 품질, 종사원의 서비스, 가격할인)을 독립변수로 하고, 외식 소비자의 행도의도를 종속변수로 하여 다중회귀분석결과는 식당의 접근성은 (${\beta}=.092$), 가격할인(${\beta}=.299$)로 행동의도에 유의한 결과를 나타내지 않았다. 그러나 음식의 품질(${\beta}=.379$, p<.001), 종사원의 서비스(${\beta}=.251$, p<.001)에서 유의한 결과를 나타내었다. 한식당 선택속성이 행동의도에 정(+)의 영향을 미친다는 가설은 부분 채택되었다. 이와 같은 연구결과를 바탕으로 외식 경영자들은 한식당을 경영할 때 음식의 품질을 유지하기 위하여 좋은 식재료, 위생, 음식의 양과 일관 된 맛을 유지하기 위한 경영정책과 종사원들의 교육을 통한 질 좋은 서비스를 고객에게 제공하는 것을 식당경영의 최우선과제로 하여야 하겠다.

• 한국방사선학회논문지
• /
• 제17권6호
• /
• pp.939-945
• /
• 2023

본 연구는 영상의학 분야에서 인공지능(AI) 기술 기반의 판독 보조 시스템의 'Time Behavior(시간반응성)' 속성을 측정하여 '성능 효율성'을 분석하였다. 의료 영상의 증가와 영상의학 전문의 수의 한계로 인해 인공지능(AI) 기술 기반의 솔루션이 증가하고 있으며, 관련된 연구가 많이 수행되고 있다. 하지만 대부분의 선행 연구가 인공지능의 진단 정확도에 초점을 맞췄다면, 본 연구는 Time Behavior의 중요성을 강조하여 수행하였다. 50개의 흉부 엑스레이 PA 이미지를 사용하여 측정한 결과, 평균 15.24초 만에 영상을 처리하여 높은 일관성과 안정성을 보여주었고, 이 처리 속도는 유명 글로벌 AI 플랫폼과 동등한 수준으로 영상의학과 워크플로우 효율성 부분에 크게 개선될 수 있는 가능성을 제시하였다. 앞으로 인공지능 기술이 영상의학 분야에서 큰 역할을 담당하여, 전반적인 의료 품질 향상과 효율성을 개선하는 데 도움이 될 것으로 기대한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권6호
• /
• pp.623-634
• /
• 2003

본 논문에서는 시간 편집 환경과 공간 편집 환경을 하나의 삼차원 저작 환경으로 통합한 멀티미디어 프레젠테이션 공동 저작 시스템을 소개한다. 본 저작 시스템은 하나의 삼차원 좌표계에서 멀티미디어 프레젠테이션의 공간 속성과 시간 속성을 동시에 표현한다. 한 개의 축은 일반적인 시간 정보(T-zone)를 표현하고 나머지 두개의 축은 공간 정보(XY-zone)를 나타내며 시간적인 미디어 객체들은 삼차원 육면체로 표현하고 오디오 객체는 원통 모양으로 표현하고 있으므로, 사용자들이 자유자제로 삼차원공간을 이동하며 시간 편집과 공간 편집을 할 수 있어 효율적이다. 또한 본 논문에서는 제안하는 공동 저작 시스템에서 생성되는 공유 객체들에 대한 효율적인 동시성 제어 기법을 설계하고 구현하였다. 구현된 동시성 제어 기법은 다중버전 기법(multiple versions)을 가시화하여 공동 저작에서의 사용자 인지(user awareness)를 높였으며 공유 객체에 대한 접근허가권(access permissions)을 이용하여 네트워크 통신에서의 지연이나 장애로 발생할 수 있는 충돌(collision)을 최소화하였다. 그리고 이 동시성 제어 기법은 잠금 단위를 세밀하게 하여 사용자의 편집 자유도를 최대한 보장하였으며, 공유 객체의 일관성을 유지하면서 낙관적 동시성 제어(optimistic concurrency control)를 지원하므로 사용자들에게 멀티미디어 프레젠테이션을 동시 편집할 때 빠른 응답 시간을 제공할 수 있다.

• 인지과학
• /
• 제18권1호
• /
• pp.15-34
• /
• 2007

표적 낱자와 검사 낱자의 시각적 동일성 여부와 한글 글꼴의 친숙성이 단어 우월 효과에 영향을 미치는지 알아보기 위해 두 편의 실험을 수행하였다. 첫 번째 실험에서는 바탕체 글꼴을 표적 자극으로 사용하여 검사 자극과의 글꼴 일치 여부에 따라 단어 우월 효과가 나타나는 양상이 달라질 수 있는지를 다양한 제시 시간 조건에 걸쳐 비교해 보았다. 두 번째 실험에서는 바탕체와 세벌체 글꼴을 사용하여 시각적 친숙성이 단어 우월 효과가 나타나는데 영향을 줄 수 있는지 알아보았다. 실험 결과, 표적 낱자와 검사 낱자리 글꼴 일치 여부에 관계없이 한글 단어 우월 효과가 일관적으로 관찰되었으며 시각적 친숙성도 전체적인 탐지율에는 영향을 주지만 단어우월효과가 나타나는 양상에는 영향을 주지 않는 것으로 나타났다. 이러한 결과는 한글에서의 단어 우월 효과가 시각적 속성으로부터 비롯되는 것이 아님을 시사한다.

• Spatial Information Research
• /
• 제15권3호
• /
• pp.335-346
• /
• 2007

도로표지는 도로이용자의 편의제공을 목적으로 설치된 도로부속시설물 중의 하나이다. 도로표지의 타 시설물과 차이점은 관련규정에 의거한 표지 위치정보의 설정과 표지내 안내지명, 노선번호, 상징그림, 방위표기, 이정거리 등 다양한 속성정보를 포함하고 있어 정보화에 상대적으로 유리하다는 장점이 있다. 현재, 전국의 각급 도로상에 13만 여개의 도로표지가 설치되어 있으며, 280여개의 도로관리청이 각각 독립적으로 도로표지를 관리해 오고 있으나, 일관성, 시인성, 연계성, 위치적합성 등이 결여된 채 비효율적으로 관리되어 왔다. 이는 도로이용자로 하여금 많은 민원사항을 발생시키고 편의제공보다는 오히려 혼돈을 야기시킨 주요 원인으로 작용하였다. 이에 본 연구에서는 이와 같은 문제점을 개선하기 위하여 전국 도로표지에 대한 정보를 DB화하여 Web GIS 기반의 도로표지 관리시스템을 구축하였다. 본 연구에서 개발된 시스템에서는 도로표지 담당자 및 이용자들의 요구사항을 고려하여 시스템 설계에 반영하였으며, 본 시스템은 관리자측면에서의 업무 효율성 증진은 물론 대국민 도로표지 불편사항을 효과적으로 개선할 수 있을 것이다.

• Spatial Information Research
• /
• 제9권1호
• /
• pp.107-124
• /
• 2001

중앙정부 및 지방자치단체들은 지리정보시스템을 본격적으로 도입함으로서, 방대한양의 공간데이터베이^스를 구축하고 있다. 그러나 여러 기관이 각자의 목적과 필요에 따라 개별적 기준에 의해 공간데이터베이스를 중복 구축하여 비용의 낭비가 발생하고 있다. 더욱이 중복관리로 인해 공간자료의 일관성이 결여되고, 이로 인해 업무의 효율성과 신뢰성이 저하되고 있다. 또한 각기 도입한 시스템의 특이성과 자료 형식의 차이로 인해 상호 공유가 어려운 실정이다. 이러한 상황에서 건설교통부는 토지관련 각종 법률·속성·공간자료 등을 통합데이터베이스로 구축하고 관련업무를 전산화하는 토지관리정보체계구축 사업을 수행하고 있다. 타 정보화사업의 기본 공간자료를 제공하는 토지이용규제제도(이하 토지주제도)이며, 이들 자료는 지자체 전 부서에 걸쳐 다양하게 활용되고 있는 자료로서 토지 및 일반 행정업무와 민원발급의 기반자료가 되고 있다. 그러나 지적도는 지적, 도시계획, 공시지가, 개발사업 관련 부서 등에서 각기 유지관리하기 때문에 도면간의 불일치가 발생하고, 신뢰도가 저하되어, 지적원도 이외에는 정확성을 보장하기 어렵다. 토지주제는 현행법상 최종 결정·고시를 필지조사나 다양한 축척의 지형도, 지적도, 지적과 지형이 표시된 지형·지적도면을 이용함으로서 일선 지자체에서 조차 토지이용규제의 총괄적인 현황 및 규제공간적 상관관계를 파악하기 어렵다. 더욱이 지적도와의 관계가 불분명 한 경우는 필지별 토지이용현황 정보의 추출 및 관리가 단순중첩으로는 불가능하며 토지이용계획확인서와 같은 민원발급이나 필지별 토지이용규제 정보를 필요로 하는 업무에는 심각한 문제를 야기한다. 본 연구는 목적은 지형도, 지적도, 토지주제도 등의 공간자료를 통합 유지관리 할 수 있는 방안을 모색하고, 지료의 일관성을 확보 할 수 있는 시스템을 개발하는데 있다. 시스템 설계와 개발은 분산환경 하에서 운영될 수 있는 OpenGIS의 CORBA(OGC 1998) 사양을 기반으로 개발하였다. 시스템 설계방법론은 RUP(Rational Unified Process), 설계 및 구현은 UML(Unified Modeling Language)를 활용하였다. 시스템 운영환경은 공간자료의 편집에 있어 가격대비 신뢰성이 높으며 지자체에 많이 보편화되어 있는 CAD시스템을 기반으로 하였다.

• 한국건설관리학회논문집
• /
• 제9권5호
• /
• pp.159-167
• /
• 2008

건설산업관리는 건설사업의 초기부터 완성에 이르기까지 범위, 시간, 비용, 품질 등 관련 요소에 대한 통합 관리를 통해 프로젝트를 성공적으로 완수하기 위한 조직적 활동이며, 이의 궁극적 목표는 전사적 경영효율을 극대화하는 것이다. 이를 위해 관리자는 작업의 범위와 방법과 순서 및 비용과 일정을 계획, 실행, 감시 및 통제하며 그들에 수반되는 자원을 할당하고 조정한다. 자원배분은 공기 및 비용과 밀접하게 연관되고, 따라서 이들 관계에 근거한 효과적 자원배당은 하나의 의사결정문제로 모형화될 수 있다. 여기서 문제를 구성하는 의사결정기준과 대안의 성과뿐만 아니라 가중치 또한 중요한 기능을 하므로, 이들의 산정에는 일관성과 객관성이 담보되어야 한다. 본 논문은 다수의 의사결정기준하에 동시에 계획된 단일(복수) 프로젝트(현장)에 속한 활동들간에 한정된 동일 자원의 효과적 투입을 위한 우선순위를 결정하는 개념과 방법을 제시하였다. 기반 도구로 다기준 의사결정기법의 하나인 계층분석법을 활용하였으며, 세 가지 유형의 사례에 적용하여 그에 대한 타당성과 유용성을 보였다. 사례 1은 각 활동이 주공정상에 위치하며 선택기준으로 조기종료시간, 잔여후속공기, 후속활동수, 자원요구량 등을 선정하였으며, 사례 2는 경쟁 활동이 상이한 여유시간과 조기종료시간, 자원일수, 후속잔여공기, 후속활동수 등을 의사결정속성으로 선정하였다. 사례 3은 이미 수행된 4개의 농사에 대해 본 연구의 방법을 피드백하여 유용성을 검토하였다.

• 한국산학기술학회논문지
• /
• 제12권6호
• /
• pp.2851-2858
• /
• 2011

본 논문에서는 활동중심의 공정관리와 내역중심의 기성관리로 각각 이원화되어 운영되고 있던 건설공사의 진척관리를 통합 연동하여 관리 할 수 있도록 하기 위한 데이터베이스 모델을 제안한다. 이를 위해 본 논문에서는 활동중심 공정관리 DB를 4개의 엔티티로 구성하고 내역중심의 기성관리 DB를 3개의 엔티티로 구성하여 독립적으로 운영될 수 있도록 함과 동시에 활동중심 공정관리 DB내에 연동 엔티티를 이용하여 내역중심 기성관리 DB내 엔티티와의 관계설정을 통해 두 가지 공정관리 시스템내의 데이터들이 연동될 수 있도록 하였다. 또한, 데이터의 공유를 위해 기본적으로 요구되는 데이터의 일관성, 무결성 및 최신성을 유지할 수 있도록 연동 엔티티 속성을 정의하였다. 제안된 개선된 데이터베이스 모델을 실제 구현하고 활용성 검증을 통하여 데이터의 연동 및 효율성을 입증하였다.

• 인터넷정보학회논문지
• /
• 제12권1호
• /
• pp.11-25
• /
• 2011

유비쿼터스 환경의 OSGi는 디지털 이동 전화, 차량, 텔레메틱스, 임베디드 가전, 가정용 게이트웨이, 산업용 컴퓨터, 데스크탑 컴퓨터, 고성능 서버에 이르기까지 그 적용범위가 확대되고 있다. 따라서 다양한 장비에 탑재된 OSGi 프레임워크의 서비스들을 상호운용할 수 있는 기술이 필요하게 되었다. 본 논문에서는 분산 OSGi 프레임워크에서 원격 서비스의 상호운용을 지원하기 위하여 대표적인 분산 미들웨어 기술인 RMI 패러다임을 적용한 원격 OSGi 서비스 상호운영 방안을 제안한다. 제안하는 원격 OSGi 서비스 상호운용 방안은 OSGi 표준 기술을 활용 및 확장하여 서비스 지향적인 OSGi 아키텍처에 부합하는 원격서비스의 등록 및 발견, 접근 방법을 제공하며, 동적으로 변하는 원격 서비스들의 속성을 일관성 있게 유지하여 원격서비스에 대한 신뢰성을 지원한다. 또한 동적으로 프락시 번들 및 프락시 서비스를 생성함으로써 원격 OSGi 서비스의 위치 투명성을 지원하는 특징을 가진다.