• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.694-696
• /
• 2015

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.328-330
• /
• 2004

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

• The Journal of Information Technology and Database
• /
• v.4 no.1
• /
• pp.31-50
• /
• 1997

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

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.444-446
• /
• 2012

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

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.5
• /
• pp.235-241
• /
• 2015

Nowadays, research and industry on the internet of things is rapidly developing. Bug fixed field of the Software development related internet of things is a very important things. In this study, we analyze the properties that can affect what the bug fix-time by analyzing the time required to fix a bug associated with the Internet of Things. Using the k-NN classification method based on the attribute information to be classified as bug reports. Extracts a bug report based on the results of a similar property. Bug fixed by calculating the time of a similar bug report predicts the fix-time for new bugs. Depending on the prediction of the properties that affect the bug correction time, the properties of os, component, reporter, and assignee showed the best prediction accuracy.

• 방재와보험
• /
• s.107
• /
• pp.34-37
• /
• 2005

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.10-15
• /
• 2010

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

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

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

• Journal of Korean Society of Transportation
• /
• v.26 no.4
• /
• pp.217-227
• /
• 2008

The purpose of this research is the estimation of a transfer ratio according to transfer time reflecting passenger attributes such as sex, age, income, job, the car ownership, and other variables with the assumption that a transfer ratio would be different depending on each passenger attribute. This research tested transfer time through a question-survey, estimated transfer time according to the passenger attributes using a data sample, and presented some applicable models about marginal transfer time for the case of the determination of transfer ratios according to transfer time. In this research the sample which had been surveyed for passengers walking to access a transfer station was used to test and estimate and the question was present walking time to the transfer time and the marginal transfer walking time.