• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.427-429
• /
• 2002

본 연구에서는 상태도를 평탄화 하는 대신에, 띠러 기계가 동시에 수행하는 병행 기계로 상태도를 표현한 후 ROBDD를 이 용하여 상태도의 동치 여 부를 기호적으로 검사하고자 한다. 상태도가 기능적으로 동치라는 것은, 두 상태도는 같은 함수를 구현하고 있다는 것과 같다. 이 것은 로든 입력 이벤트에 대하여 두 상태도의 반응이 항상동일 한지를 판정함으로써 가능하다. 즉 상태도의 동치 검사는, 입력 이벤트가 같은 상태들의 집합이 모든 입력 에 대 해서 출력 이 같은 상태들인가라는 문제로 축소된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.411-414
• /
• 2002

상태도의 계층구조를 이용하여 모형 검사를 수행하는 연구들이 있었다. 기존 연구들은 상태도를 SMV 입력언어로 변환할 때, 계층 구조를 유지하였다. 비록 이러한 연구가 계층형 모형검사의 초기 시도에 기여를 했지만, SMV는 평탄화 된 구조를 이용한다는 점에서 실효성은 없다. 본 연구에서는, 계층구조를 평탄화 시킨 후 상태도를 병행적으로 실행되는 여러 개의 독립된 기계로 분리한다. 따라서, 상태도의 구조가 단순해지고 SMV 언어로 쉽게 상태도를 변환할 수 있다. 본 연구의 목적은 SMV를 이용하여 상태도를 모형 검사 할 때 SMV의 능력을 최대한 활용하고자 한다.

• 인터넷정보학회논문지
• /
• 제12권6호
• /
• pp.161-170
• /
• 2011

UML의 상태도는 CASE 도구마다 다르게 표현될 수 있어서 실제 적용에 어려움이 많지만, 시스템이 동작하는 측면을 효과적으로 나타낼 수 있다는 점에서 활용성이 높다. 상태도에서 소스를 생성하는 선행 연구를 보면, 단순한 분기문 또는 설계패턴 등을 적용하고 있지만 그 기술에 따라 생성된 소스코드에 차이가 있을 수 있다. 본 논문에서는 상태도를 문법형식에 맞게 엄격히 정의해서 소스코드를 생성하였다. 우선 서로 다른 CASE도구에서 작성된 상태도에서 추출된 XMI를 정제하였다. 여기서 EHA로 변환을 한 후 상태를 인식하였다. 그리고 상태도의 메타모델에 사용된 요소별로 자바 프로그래밍으로 전환하여 소스코드를 생성하고 기능성과 유지보수성을 측정하여 생성된 코드를 검증하였다. 본 논문에서 적용된 사례는 '에어컨'으로서, 다양한 상태와 전이가 포함되어 소스코드 생성에 적합하여 선정하였다. 그 결과 에어컨 사례의 상태도로부터 CASE 독립적인 XMI를 추출하여 정련한 후, 상태도에서의 동시성과 계층이 성공적으로 표현되었음을 확인했다. 향후 좀 더 큰 규모의 시스템에 적용하여 검증하는 연구가 필요하다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2010년도 정기 학술대회
• /
• pp.636-639
• /
• 2010

본 논문에서는 준정상 상태법을 이용한 열전도도 측정장치의 불확실도를 분석하고 측정된 열전도도의 불확실도에 가장 큰 영향을 미치는 요인이 온도 측정 센서의 정확도와 측정유체의 윗면과 아랫면의 온도 차임을 알아내었다. 특히 온도 측정센서의 정확도가 $0.1^{\circ}C$일 때 측정유체의 윗면과 아랫면의 온도차가 $18^{\circ}C$이상이면 준정상 상태법을 이용한 열전도도 측정장치의 불확실도가 ${\pm}1%$이내로 들어옴을 알 수 있었다. 따라서 온도 측정센서가 $0.1^{\circ}C$의 정확도를 가지며 측정유체의 윗면과 아랫면의 온도차가 $18^{\circ}C$이상이 되는 불확실도 ${\pm}1%$을 갖는 준정상 상태법을 이용한 나노유체의 열전도도 측정장치를 개발하였다. 개발된 실험장치의 검증을 위하여 DI-Water의 열전도도와 $Al_2O_3$ 나노유체의 열전도도를 각각 측정하여 기존 문헌 및 선행 연구자의 결과와 비교하여 보았고 개발된 장치가 ${\pm}1%$ 이내의 불확실도를 가지고 나노유체의 열전도도를 측정할 수 있음을 확인하였다.

• 한국조리학회지
• /
• 제15권1호
• /
• pp.287-295
• /
• 2009

서울 지역 대학생 250명을 대상으로 2008년 10월 6일부터 10월 10일까지 커피전문점의 이용 실태를 연구하였으며, 자료 분석을 위해서는 SPSS프로그램을 이용하여 통계처리 하였다. 조사 대상자들의 커피전문점에 대한 중요도와 수행도를 5점 척도 방법으로 조사한 결과, 중요도는 4.03점, 수행도는 3.01점으로 나타났다. 커피전문점에 대한 중요도와 수행도를 격자도로 보여주는 IPA 분석을 살펴 본 결과, 중요하지만 불만이 있는 항목으로는 실내 위생 상태, 종업원의 개인 위생 정도, 커피 기구 등의 위생 관리 상태, 얼음의 위생 상태, 사용되는 물의 위생 관리 상태, 제품의 냉장 보관 상태, 커피 가격이 해당되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1198-1199
• /
• 2012

본 논문에서는 안드로이드 어플리케이션의 화이트박스 테스트를 위해 안드로이드의 특성인 액티비티의 라이프사이클을 고려하여 상태도를 생성하는 기법에 대한 연구이다. 상태도를 생성 하기 위해 소스코드에서 역공학을 통해 생성된 호출그래프에 어플리케이션내의 여러 액티비티의 라이프 사이클정보를 추가하여 액티비티 상태도를 생성한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 춘계학술발표대회
• /
• pp.438-440
• /
• 2022

산업 현장에서 인력으로 작업할 수 있는 물리적 한계를 극복하기 위해 특수 목적 차량 작업 시 차량의 넘어짐 방지와 차체 보호를 위해 아웃트리거를 착지시키는데 도로 상태에 따라 사용자가 직접 최적화를 수행하는데 어려움이 존재한다. 본 논문에서는 도로 표면 상태를 신속하게 판단하여 아웃트리거 수직 및 수평 전개 착지 시 시간 소모, 안전사고 발생을 낮추기 위해 시멘틱 분할을 이용한 도로 표면 상태를 분석하는 연구를 수행하였다. 13가지로 구분된 도로 표면 상황에 대하여 DeepLabV3+를 통해 실험한 결과 픽셀 성능0.7819, mIoU 0.7085 결과를 도출하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.1603-1605
• /
• 2013

산업과 정보통신 기술의 발전으로 토목분야도 GIS, DBMS 등 다양한 정보시스템을 도입하여 국가 발전의 선구자 역할을 주도 하고 있다. 토목분야 중에서 우리 생활과 밀접한 관계가 있는 도로 포장관리시스템(PMS)에도 보다 효율적이고 체계적인 도로포장 관리를 위해 GIS 및 DBMS를 운용하고 있다. 전국 일반국도 포장상태 조사 및 자료 검증의 경우 DBMS를 통해 포장 상태 산출과 평가 신뢰성이 확보되어 효율적 예산 배치 및 정확한 포장상태 관리의 기반이 된다. 본 논문에서는 GIS 기반의 전국 일반 국도 포장상태 조사 지점 관리 및 자료 검증 시스템 개발에 대하여 기술하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제17권4호
• /
• pp.31-39
• /
• 2012

우천시 도로에 내린 비로 인해 도로 표면에 수막현상이 일어나서 맑은 날의 도로 보다 제동력이 떨어져 빗길 사고가 빈번하게 발생한다. 이러한 빗길의 주의정보를 포함한 안전운전을 위해 운전자에게 도로 상황 안내판에 도로의 상황 및 기후정보를 제공하고 있다. 그러나 이러한 안내 정보는 국부적이고 세부적인 도로상태 정보를 제공하지 못하고 범용적이다. 이에 본 논문에서는 도로에 설치되어 있는 CCVT의 영상을 활용하여 도로 표면의 영상을 비교하여 안전운전을 저해하는 요소를 영상으로 판별하는 메커니즘을 제안한다. 영상 비교는 평상시 맑은 날의 도로 영상을 원본 영상으로 활용하여 우천시 발생하는 도로의 상태를 상황별로 나누어 판별하여 조기에 운전자에게 주의 정보를 제공하여 안전운전을 할 수 있도록 하였다.

• 한국응용과학기술학회지
• /
• 제37권6호
• /
• pp.1507-1516
• /
• 2020

본 연구는 도로 노면결빙 판정 알고리즘을 적용하여 도로결빙 구간에 대한 시나리오를 분석하였다. 도로결빙 알고리즘 적용을 위해서, 도로 결빙에 대한 영향인자를 검토하고, 분석을 위해서 목감IC, 정릉터널, 성산대교, 염창교 등 4지점의 관측자료를 활용하였다. 관측소는 모두 고속화도로에 설치되어 있으며, 도로 결빙 특성 분석을 위하여 분류하였다. 도로 결빙 판정 알고리즘의 노면온도-노점온도 차가 3℃ 이하일 때 도로결빙 발생 구간을 확인하고 결빙 구간의 노면상태와 수막두께 변화를 통해 도로 결빙 판정을 도출하였다.