• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.427-429
• /
• 2002

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.411-414
• /
• 2002

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

• Journal of Internet Computing and Services
• /
• v.12 no.6
• /
• pp.161-170
• /
• 2011

Despite some practical confusion over the variations in the diagram which may be drawn differently depending upon the CASE, the statechart of UML has been widely used to show the dynamic behaviour of the systems. Prior research has employed either simple switch-case statement or the state design pattern to generate source code from the statechart, which may result in varying source codes. This paper made an attempt to formally define the statechart and generate source codes from it. Firstly we cleaned up the XMI which was generated from different CASEs. This XMI has been translated to the EHA to identify automata contained in it. Then the elements of the statechart metamodel were mapped to the java programs. We also verified the quality of source codes by measuring functionality and maintainability. The case employed in this study was the air conditioner. The reason was that the case includes various states and transitions of interest. It was found that XMI was well extracted by removing some legacy codes in the CASE and the source codes were then successfully generated with the concurrency and hierarchy of the statechart. Further research is required to validate it practical significance with a larger case.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• 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%$ 이내의 불확실도를 가지고 나노유체의 열전도도를 측정할 수 있음을 확인하였다.

• Culinary science and hospitality research
• /
• v.15 no.1
• /
• pp.287-295
• /
• 2009

The purpose of the study was to investigate university students' using coffee shops. For this study, 265 university students in seoul were surveyed from October 6 to October 10, 2008, and 250 copies of the questionnaire were analyzed. A statistical data analysis was completed using SPSS programs. The results of this study revealed that the importance and performance which university students showed in using coffee shops were 4.03 and 3.01 out of 5 respectively. The Importance-Performance Analysis(IPA) used for obtaining information on coffee shops suggested that the items regarded as important but discontented were price, sanitation of ice, water, appliances, the store and employees in general, and cold storage condition.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1198-1199
• /
• 2012

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.438-440
• /
• 2022

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1603-1605
• /
• 2013

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

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.4
• /
• pp.31-39
• /
• 2012

On rainy days, water films form on wet road surfaces and reduce the braking force of vehicles, which often ends up in accidents. For safe driving, the road information signage provides information on road and weather conditions warning drivers of wet road conditions. Still, current information on road conditions is neither localized nor detailed but universal. The present study used the images on CCTVs installed on roads to compare the images of road surfaces in an attempt to suggest a mechanism determining factors that hamper safe driving based on the images. In the image comparison, a normal road image taken on a sunny day is used as an original image, against which road conditions occurring on rainy days are categorized and determined on a case-by-case basis to provide drivers with early warning for the sake of safe driving.

• Journal of the Korean Applied Science and Technology
• /
• v.37 no.6
• /
• pp.1507-1516
• /
• 2020

This study analyzed the scenario for road freezing section by applying the road freezing evaluation algorithm. To apply road freezing algorithm, the influencing factors on road freezing were reviewed. Observation data from four points, Mokgam IC, Jeongneung tunnel, Seongsan bridge, and Yeomchang bridge were used for analysis. All observatories are installed on the expressway, and they are classified for the analysis of road freezing characteristics. When the difference between the road surface temperature and dew-point temperature of the road freezing evaluation algorithm was 3℃ or less, the section where road freezing occurred was checked. In addition, road freezing evaluation was derived through the change of the road surface condition and water film thickness of the freezing section.