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

RDF 데이터에 대한 시간 속성에 대한 연구는 트리플의 속성에 시간을 부여하는 방법이 많이 사용되고 있다. 하지만 트리플마다 시간 속성을 부여하는 방법은 저장 및 관리 측면에서 비효율적이다. 본 논문에서는 하이퍼그래프 기반의 RDF 시간 속성 모델링 방법을 제안한다. 하나의 트리플마다 시간 속성을 부여하는 것이 아닌 여러 재의 트리플을 하나의 하이퍼 간선으로 연결하여 시간 속성을 부여하는 방법으로 기존 방법보다 RDF 데이터가 가지는 의미에 적합하며 직관적으로 이해하기가 쉽다. 또한 시간 속성 RDF에서 지원해야 하는 시간 관계를 하이퍼그래프의 여러 속성을 이용하여 처리할 수 있는 장점을 가지게 된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.328-330
• /
• 2004

컴포넌트의 합성을 통하여 신뢰성 있는 시스템을 구축하려면 명시된 품질 속성을 만족해야 한다. 이를 위해서는 잘 정의된 상호작용을 바탕으로 하여 비기능적 속성이 명세되어야 한다. 그러나 기존의 컴포넌트 명세 방법들은 컴포넌트의 기능 속성에 주로 초점을 맞추어 왔으며 비기능적 속성에 대한 지원이 미약하다. 본 논문에서는 비기능적 속성들을 명세하는 방법에 초점을 둔다. 구체적으로, 비기능적 속성들 중에서 시간제악 속성을 상호작용 컨트랙트에 정의하고 UML 다이어그램으로 표현하는 방법을 제시한다. 정형화 된 구조물 가진 컨트랙트에서 시간제약 속성들은 보다 명확한 의미를 가지며, 다양한 형태의 컴포넌트 합성에서 검증이 가능하다.

• 정보기술과데이타베이스저널
• /
• 제4권1호
• /
• pp.31-50
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로써 대수 연산자의 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.444-446
• /
• 2012

ECMWF(European Centere of Medium-Range Weather Forecasts)에서 정의한 기상 데이터는 254개의 속성으로 구성되어 있다. 기상 데이터는 매 6시간 마다 수집되며 그 양이 방대하다. 하지만 모든 속성을 이용하여 기상을 분석 하는 것은 너무 많은 시간이 소요되고 대부분의 속성들은 기상을 분석하는데 많은 영향을 미치지 않는다. 따라서 적절한 속성을 이용하여 날씨를 정확하게 분석 하는 것은 매우 중요하다. 본 연구에서는 과거의 기상 데이터를 이용하여 6시간 후의 호우 또는 비호우를 예측하는 실험을 진행 하였다. 기상 데이터 속성의 조합과 관찰 영역 변경에 따라 호우상황 예측 정확도의 변화를 살펴본다. 6시간 이후의 호우/비호우 예측을 함에 있어 조합된 속성이 단일 속성보다 더 좋은 결과를 보이는 것을 알수 있었고 관찰 영역이 더 클수록 좋은 예측 결과를 보임을 알 수 있었다. 하지만 일정 범위가 넘어서면 계산 비용이 높아지고 연산 속도가 현저하게 떨어지고 예측 결과도 범위에 비례하여 크게 향상되지 않는것을 알 수 있었다.

• 전자공학회논문지
• /
• 제52권5호
• /
• pp.235-241
• /
• 2015

최근 사물인터넷과 관련된 연구와 산업이 급속히 발전하고 있다. 사물인터넷과 관련된 소프트웨어 개발 및 유지보수 활동에서 버그 정정은 큰 비중을 차지하는 활동이다. 본 논문에서는 사물인터넷과 관련된 버그를 정정하는데 소요되는 시간을 분석함으로써 버그 정정 시간에 영향을 미칠 수 있는 속성이 무엇인지 분석한다. 버그 리포트가 제공하는 속성 정보에 따라 k-NN 분류 방법을 사용하여 버그 리포트를 분류하고 유사한 속성을 가진 버그 리포트를 선별한다. 유사한 버그 리포트의 버그 정정 시간을 계산하여 새로운 버그의 정정 시간을 예측한다. 예측 정확도에 따라 버그 정정 시간에 영향을 미치는 속성 중 운영체제(os), 컴포넌트, 리포터, 할당자(assignee) 속성을 사용했을 때 버그 정정 시간 예측에 가장 좋은 정확도를 나타냈다.

• 방재와보험
• /
• 통권107호
• /
• pp.34-37
• /
• 2005

얼마 전 강원도에서는 산에 큰 불이 났다. 그 불로 인해 사람들의 소중한 삶의 터전과 오랜 시간 축적 되어온 자연과 문화의 산물들이 순식간에 잿더미로 변했다. 큰 화재 앞에서 우리는 말을 잃는다. 평소에는 단지 편리한 도구라고 여겨졌던 부이 처참한 화재로 다가올 때 비로소 우리는 불이 처음부터 지니고 있었던 이율배반적인 속성에 대해 실감하고 망연자실하는 것이다. 인류가 발전시켜온 불 다루기 기술은 이런한 불의 이율배반적 속성과 맞서면서 오히려 그 속성을 창조적으로 활용하고자 하는 것이었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.10-15
• /
• 2010

Timed CARDMI는 실시간 속성을 만족해야 하는 분산/ 이동/ 실시간 시스템 In The Large 관점의 행위 및 시간속성을 분석하기 위해 정의된 정형기법이다. Timed CARDMI로 정의된 복잡한 시스템의 분석과 검증을 위한 CASE 툴인 SAVE는 RTOS 상에서 CARDMI가 지니는 다양한 행위와 시간속성들에 대한 분석, 명세, 검증, 시뮬레이션을 위한 도구로, 본 논문에서는 RTOS와 Timed CARDMI의 인터페이스 역할을 수행할 Real-time Java의 속성들이 Timed CARDMI의 다양한 시간속성, 행위들에 대한 실행 조건들을 만족하는지에 대한 효용성을 분석한다.

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

시간에 따라 변화하는 사건을 기록하는 시간 데이타베이스에서는 사건을 저장할 때 시간 속성도 같이 저장한다. 최근에는 시간 데이타베이스의 속성을 고려하여 집지 함수와 같이 기존의 연산자를 확장하여 시간 데이타베이스에서 효율적으로 처리하려는 연구가 활발하게 진행되어 왔다. 사용자들은 종종 여러 애트리뷰트에 가중치를 두고 그 가중치 순서대로 결과가 보여지는 순위 질의를 실행한다. 기존의 순위 질의 개념을 그대로 시간 지인 데이타메이스에서 사용할 수 없다. 따라서 본 논문에서는 기존의 순위 질의에 시간 개념을 확장한 시간 순위 질의를 정의한다. 또한 시간 순위 질의 처리방법을 제 시 한다.

• 대한교통학회지
• /
• 제26권4호
• /
• pp.217-227
• /
• 2008

이용자가 수용 가능한 환승시간 및 환승거리의 결정은 환승시스템을 계획하는 단계에서 가장 우선적으로 고려되어야 한다. 환승 자체가 불가능한 경우, 환승시스템 구성요소의 개선은 환승을 선택하는데 있어서 전혀 영향을 주지 못한다. 한계환승도보거리는 이용자의 처음교통수단에서 다음 교통수단까지의 합리적인 도보거리와 대기시간으로 결정되어져야한다. 대중교통 네트워크나 환승시스템 계획단계에서 환승서비스 권역을 좀 더 현실적으로 결정하기 위해서는 이용자 속성이 고려되어야 한다. 따라서 본 연구에서는 환승에 초점을 맞추어 이루어 졌으며, 대중교통 이용자 인적속성에 따라 수용하는 환승거리와 시간이 다를 것이라는 가정을 한 후 대중교통 이용자 인적속성에 따라 환승시간별 환승률 산정 모형을 개발을 하는것을 목적으로 하였다. 이 중 한계환승시간과 상관관계가 높고, 환승시간에 따른 명확한 차이가 있는 성별, 월평균 수입별, 대중교통 환승횟수로 한정하여 환승시간별 환승률, 환승거리별 환승률의 결정모형을 개발하였다.