• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.571-573
• /
• 2001

본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.27 no.5
• /
• pp.75-83
• /
• 2023

As part of a study to analyze the excessive camber occurring in prestressed concrete railway bridges, this paper presents a calculation method and analysis results for the creep coefficient which defines the increase in camber of a concrete structure over time. Using the creep coefficient formula of the design code, the coefficient is obtained by applying the climatic conditions (relative humidity and temperature) of 12 regions in Korea. The effects of differences in climatic conditions by region and starting time of load on the creep coefficient are analyzed. In order to properly calculate the creep, most of which occurs in the early stages of loading, a detailed analysis is performed by applying a time step analysis method to consider varying climate conditions through loaded period. The creep coefficient obtained by applying the average climate conditions of the region is similar to the average of the creep coefficients obtained by time step analysis. Through time step analysis, it is shown that the offset and overlap effects of relative humidity and temperature on the creep coefficient and the climate effect at the time of initial loading can be appropriately represented.

• The KIPS Transactions:PartC
• /
• v.16C no.1
• /
• pp.51-56
• /
• 2009

Time synchronization algorithm in wireless sensor networks is essential to various applications such as object tracking, data encryption, duplicate detection, and precise TDMA scheduling. This paper describes CDRS that is a time synchronization algorithm using the Clock Drift rate and Reference Signals between two sensor nodes. CDRS is composed of two steps. At first step, the time correction is calculated using offset and the clock drift rate between the two nodes based on the LTS method. Two nodes become a synchronized state and the time variance can be compensated by the clock drift rate. At second step, the synchronization node transmits reference signals periodically. This reference signals are used to calculate the time difference between nodes. When this value exceeds the maximum error tolerance, the first step is performed again for resynchronization. The simulation results on the performance analysis show that the time accuracy of the proposed algorithm is improved, and the energy consumption is reduced 2.5 times compared to the time synchronization algorithm with only LTS, because CDRS reduces the number of message about 50% compared to LTS and reference signals do not use the data space for timestamp.

• Proceedings of the Safety Management and Science Conference
• /
• 2002.05a
• /
• pp.45-51
• /
• 2002

IEC 60300의 국제 규격은 시간종속성 경영 시스템의 규격으로써 제 1부는 시간종속성 경영 프로그램, 제 2부는 시간종속성 프로그램 구성요소와 업무, 제 3부는 응용지침 표준의 13개의 규격으로 구성되어 있다. 이 규격은 제품의 초기 단계서부터 폐기 단계까지 수명주기 전 단계에 걸쳐 운영의 효율성, 시간, 비용의 제약 하에 위험을 최소화하고 안전성을 최적화하기 위한 지침을 제공한다. 본 연구에서는 현재 2003년 규격 제정을 목표로 개정중인 IEC 60300-1과 IEC 60300-2의 2001년 11월 CDV를 참고로 IEC 규격의 개정방향에 대한 연구를 하려한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.508-514
• /
• 2002

IEC60300의 국제 규격은 시간종속성 경영 시스템의 규격으로써 제1부는 시간종속성 경영 프로그램. 제 2부는 시간종속성 프로그램 구성요소와 업무, 제 3부는 응용지짐 표준의13개의 규격으로 구성되어 있다. 이 규격은 제품의 초기 단계서부터 폐기 단계까지 수명주기 전 단계에 걸쳐 운영의 효율성, 시간, 비용의 제약 하에 위험을 최소화하고 안전성을 최적화하기 위만 지짐을 제공한다. 본 연구에서는 현재 기업들이 기본적으로 적용하고 있는 경영 모델인 ISO 9000시스템과 안전 설계를 위한 신뢰성 분야의 IEC 60300시스템의 통합모형을 모색하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.205-207
• /
• 2005

기존의 추천 시스템들은 사용자 수가 증가함에 따라 추천시간이 증가하는 확장성(Scalability) 문제가 있으며, 새로운 고객의 경우 선호도 정보가 부족하여 추천 정확도가 저하되는 희박성(Saparsity) 문제가 있다. 본 논문에서는 고객의 기본 프로파일 정보 중 가장 변별력이 있는 성과 나이에 대한 그룹을 생성하고 클러스터링 함으로써 집단 내 선호 상품을 우선적으로 추천하는 1단계 클러스터링 방법을 사용하여 새로운 고객의 희박성 문제를 해결 했으며, 추천결과에 따른 피드백을 받아 시간 흐름에 따른 선호 경향을 클러스터링 하는 시간스키마 방법을 적용한 2단계 클러스터링 방법을 사용함으로써 확장성 문제를 해결함은 물론 예측 정확도를 높일 수 있는 방법을 제안한다.

• Journal of Soil and Groundwater Environment
• /
• v.10 no.2
• /
• pp.59-65
• /
• 2005

Step-drawdown test has been generally conducted to evaluate productivity or efficiency of both aquifer and well. In general step-drawdown test, pumping with a low constant discharge rate is conducted in the first stage until the drawdown within the well stabilizes. And then the groundwater is pumped with a higher rate in the next step until the drawdown stabilizes once more. This process is repeated at least three times (steps), with the equal duration. In this paper we tried to review some critical problems related to the step-drawdown test, which were revealed in the process of field practices and analyses. The problems, referred in this paper are mainly associated with the incorrect conceptual approach for analysis and incomplete data collection in the field test.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1992.04b
• /
• pp.415-424
• /
• 1992

본 논문에서는 정수선형계획법을 반도체 설계자동화과정에 이용한 예를 보인다. 반도체 설계자동화과정은 매우 여러 단계를 거치게 되는데, 본 논문에서는 상위수준 합성중 스케쥴링(scheduling)문제에 정수선형계획법을 응용하였다. 여기서 스케쥴링 문제는 설계자동화의 초기단계에서 알고리듬으로 주어진 입력을 하드웨어 요소들로 표현하는 과정에서 매 제어단계(control step)에서 수행하여야 할 연산내용을 결정하는 문제이다. 스케쥴링의 목적함수는 주어진 제어단계 갯수내에서 하드웨어 비용의 최소화이다. 이를 위해 우선 ASAP(As Soon As Possible)과 ALAP(As Late As Possible)방법을 이용하여 매 연산의 수행시작이 가능한 가장 빠른 시간과 가장 늦은 시간을 구한다. 이 두 시간 사이가 각 연산의 time frame이 되며 이를 이용하여 스케쥴링 문제를 정수 선형 계획법으로 공식화하여 풀었다. 이 공식화는 chaining, multicycle연산, pipeline data path, pipeline기능 유닛등에도 일반화하여 적용가능함을 보인다. 실험을 통해 본 공식화 방법이 기존 알고리듬에 의한 해보다 우수한 해를 제공함을 보인다. 비교를 위해 잘 알려진 benchmark회로인 bandpass filter를 이용하였는데 이 회로는 8개의 덧셈, 7개의 뺄셈 및 12개의 곱셈연산을 포함하고 있다. 제시된 알고리듬은 이 회로를 8개의 제어단계내에 총비용 675 (연산별 하드웨어 비용은 라이브러리로 주어짐)로 스케쥴링하였는데 이는 기존의 최상의 결과인 685보다 우수한 결과이다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.12 no.4
• /
• pp.33-47
• /
• 1992

A study for the material and geometric nonlinear analysis of segmentally erected cable-supported prestressed concrete plane frames including the time-dependent effects due to load history, creep, shrinkage, aging of concrete, and relaxation of prestressing steel and cable is presented. Updated Lagrangian formulation is used to account for the nonlinear behavior of the structure. For the time-dependent analysis. the time domain is divided into a discrete number of intervals, and a step-forward integration is performed as the solution progresses in the time domain. At each time step. a nonlinear finite element analysis is performed in the space domain. Segmental erection methods are implemented by providing the capability to change the configuration of the structure at any time step of the solution. The computer program CFRAME is developed and a series of numerical examples are presented to study the validity of the program.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.668-670
• /
• 1998

테크놀로지 매핑의 효율성은 매핑된 회로의 지연시간과 회로의 면적에 의해서 평가되어진다. 특히 순차회로에서는 레지스터 사이의 조합회로의 최대지연시간에 의해서 전체회로의 지연시간이 결정된다. 본 논문에서는 순차회로에 대한, 건설적인(Constructive) 단계와 반복적인(Iterative) 단계의 리타이밍 기술과 퍼지 논리에 의해 향상된 FPGA 매핑 알고리즘을 소개한다. 주어진 초기회로는 건설적인 방법에 의하여 FPGA회로로 초기매핑되어진후 반복적인 리타이밍에 의하여 매핑회로의 효율을 높이게된다. 초기회로에 주어진 여러 가지 기준들은 결정 함수(Decision Making)에 대한 퍼지 이론 법칙의 계층적인 구조에 의해 연결되어져 있다. 제안된 매퍼는 MCNC 밴치마커의 실험을 통해 지연시각과 면적에서 기존 매핑시스템의 성능을 능가함을 보여준다.