• Environmental and Resource Economics Review
• /
• v.16 no.4
• /
• pp.803-832
• /
• 2007

Electricity and heat load profiles by use types on an hourly basis at the least are essential for assessing economic viability of new cogeneration and CES projects and for optimally operating existing cogeneration and CES facilities. We adopt a multilevel model to specify heat load profiles so as to utilize in a flexible manner the panel nature of our data on weather and heating/cooling use. Converting the multilevel model to the linear mixed-effects model, we estimate the model by panel FGLS. The estimated load profile model for each distinct use type accounts for the effects of temperature, humidity, each hour over the year, each day of the week, each type of legal holidays, and heating/cooling area on energy use. To save space, we feature in detail the heating profile of the household.

• The KIPS Transactions:PartA
• /
• v.15A no.5
• /
• pp.295-300
• /
• 2008

In this paper, we consider a characterization of a Guard Sufficiency Set(GSS) in the hierarchy of simple polygons. we propose the diagonals of a arbitrary triangulation of a polygon as a GSS when guards see the diagonals with completely visibility and both sides of the diagonal. we show that this can be a GSS in convex polygons, unimodal polygons, spiral polygons but this can not be a GSS in star-shaped polygons, monotone polygons, completely external visible polygons.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.417-420
• /
• 2000

점진적 영상 전송과 저해상도에서도 높은 PSNR를 나타내는 방법으로 EZW(Enbeded Zerotree Wavelet)과 SPIHT(set partitioning in hierarchical tree)를 사용한 보다 향상된 영상 압축방법이 제안되어졌다. 특히 SPIHT는 적응 산술부호화(adaptive arithmetic coding)를 사용하지 않고도 EZW보다 뛰어난 압축률과 효과를 얻을 수 있다. 하지만 부대역(subband)간의 유사성(similarity)을 이용한 제로트리 부호화에서 계층을 나누는 일은 계수 사이의 연결관계를 깰 수 있기 때문에 간단한 일은 아니다. 본 논문에서는 SPIHT의 비트열을 여러개의 계층으로 나누고 각각의 해상도로 복원하는 새로운 정렬 방법을 제안하고, 계층간의 비트열을 균일하게 나눔으로써 보다 효율적으로 전송 할 수 있는 방법을 제안하였다. 또한 복호시에 낮은 해상도일수로 복원시간의 이득을 볼 수 있는 향상된 방법을 제안한다.

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.262-267
• /
• 2007

다자간 분산형 협업 시스템인 Access Grid(AG)는 IP 멀티캐스트 네트워크상에서 여러 사용자들 간에 영상, 음성 및 다양한 데이터의 공유를 통해 상호 의사소통이 가능한 공동 작업환경을 제공하기 위해 개발되었다. 멀티캐스트를 사용함으로써 AG는 대역폭 효율적으로 다수 사용자 사이의 의사소통 환경을 제공하고 있다. 그러나 IP 멀티캐스트의 설정 및 관리상 복잡성으로 인해 이를 지원하지 않는 네트워크가 다수 존재한다. 이는 AG를 이용한 협업 서비스를 이용하는 데에 큰 장애물이 되고 있다, 본 논문에서는 이러한 멀티캐스트 연결성 문제에 대한 해결책으로 응용 계층의 멀티캐스트 터널링 프로토콜인 UMTP (UDP multicast tunneling protocol) 를 확장한 멀티캐스트 연결성 솔루션인 AG Connector를 제안한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.10
• /
• pp.722-733
• /
• 2006

In scalable streaming application, there are two important knobs to tune to effectively exploit the underlying network resource and to maximize the user perceivable quality of service(QoS): layer selection and packet scheduling. In this work, we propose Semantics Aware Packet Scheduling (SAPS) algorithm to address these issues. Using packet dependency graph, SAPS algorithm selects a layer to maximize QoS. We aim at minimizing distortion in selecting layers. In inter-frame coded video streaming, minimizing packet loss does not imply maximizing QoS. In determining the packet transmission schedule, we exploit the fact that significance of each packet loss is different dependent upon its frame type and the position within group of picture(GOP). In SAPS algorithm, each packet is assigned a weight called QoS Impact Factor Transmission schedule is derived based upon weighted smoothing. In simulation experiment, we observed that QOS actually improves when packet loss becomes worse. The simulation results show that the SAPS not only maximizes user perceivable QoS but also minimizes resource requirements.

• Journal of Korean Society of Transportation
• /
• v.23 no.7 s.85
• /
• pp.165-179
• /
• 2005

The object of this study is a development of a stochastic user equilibrium transit assignment algorithm for multiple user classes considering stochastic characteristics and heterogeneous attributes of passengers. The existing transit assignment algorithms have limits to attain realistic results because they assume a characteristic of passengers to be equal. Although one group with transit information and the other group without it have different trip patterns, the past studies could not explain the differences. For overcoming the problems, we use following methods. First, we apply a stochastic transit assignment model to obtain the difference of the perceived travel cost between passengers and apply a multiple user class assignment model to obtain the heterogeneous qualify of groups to get realistic results. Second, we assume that person trips have influence on the travel cost function in the development of model. Third, we use a C-logit model for solving IIA(independence of irrelevant alternatives) problems. According to repetition assigned trips and equivalent path cost have difference by each group and each path. The result comes close to stochastic user equilibrium and converging speed is very fast. The algorithm of this study is expected to make good use of evaluation tools in the transit policies by applying heterogeneous attributes and OD data.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 2005.12a
• /
• pp.143-154
• /
• 2005

공급사슬의 구성문제는 주문의 동적환경를 고려하여 전체 관점에서 스케줄링되어야 한다. 이러한 공급사슬구성문제를 본 연구에서는 에이전트 협상 방법론을 통해 해결하고자 한다. 에이전트 협상은 공급사슬망을 경쟁적 관계로 이해하고 개별목적을 가진 구성원 에이전트간의 협상과정을 통해 재스케줄링이 발생되어 공급사슬을 구성하게된다. 지금까지의 연구는 공급사슬 상에서 수직적 통합(vertical integration)을 중심으로 조직의 유연적 조정에 초점이 맞추어졌다. 그러나 본문제에서는 다수의 구매자, 제조자. 공급자간의 3 단계 과정에서 협력적 관계를 통해 개별적 이익을 최대화하면서 공급사슬 전체의 관점에서도 비용 최적화를 이룰 수 있는 다자간 협상방법론을 제안한다. 본 협상방법론의 최적화 여부와 효율성을 Branch & Bound 알고리즘과 비교하여 검증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.758-761
• /
• 2010

본 논문은 스테레오 시각에서 3차원 정보를 얻기 위해 지역적 특징 정보를 이용한 유전 알고리즘 기반의 다해상도 스테레오 영상 정합 방법을 제안하고자 한다. 스테레오 영상에서 대응점을 찾아 변위를 계산하는 문제는 최적화 기법으로 해결할 수 있다. 최적화 문제 해결에 우수한 유전 알고리즘을 이용해 조밀한 변위도를 구하고 정합의 효율성을 위해 계층적 다해상도 구조를 적용하여 영상 피라미드를 만든다. 그리고 변위도의 정확도를 높이기 위해 변위 전파 과정에서 지역적 특징 정보를 추출하여 이용한다. 실험을 통해 제안한 방법이 변위 탐색 시간을 감소시킬 뿐만 아니라 정합의 타당성이 보장됨을 확인하고자 한다.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.18 no.2
• /
• pp.44-57
• /
• 2019

It is crucial to understand how people make decisions on mode choice and to accurately predict their behaviors in transportation planning. One of avenues for advancing modeling is, in particular, taking into account for taste heterogeneity in modeling that can incorporate different decision-making processes across group. In this study, we hypothesize that how people make decisions on mode choice would differ by destination in that land use characteristics are heterogeneous by zone even if zones are all in the same area. To this end, we apply Latent Class Modeling (LCM) to commute trips in Seoul by using 2010 household travel diary survey, investigate types of latent classes with the aid of characteristics of destination, and analyze how those classes differently response to factors. The LCM identifies two classes: in the first one, modal split of auto and public transit (bus and metro) is almost half-and-half and the trip destinations are characterized by relatively more residence facilities and less business/commercial facilities; in the second one, public transit has a notably high share and trip destinations are characterized by relatively more business/commercial facilities. In addition, it turns out that demographic and socio-economic variables affect mode choice differently by class.

• KIISE Transactions on Computing Practices
• /
• v.21 no.9
• /
• pp.604-609
• /
• 2015

The use of Operating System(OS) virtualization is increasing as it provides many useful features such as efficient use of hardware(HW), easy system migration, and isolation between virtual spaces which prevents errors effecting each other. Recent development in HW has made it possible to use OS virtualization in embedded systems. However, implementing OS virtualization means that a multiple number of schedulers are layered in a system, rendering it difficult to analyze the schedulability of the system and errors are easily produced. Errors in safety critical embedded systems can cause serious damage to life and property; thus, the hierarchical schedulability must be verified. In this paper, we propose a framework which supports formal modeling and verification of hierarchical scheduling systems with UPPAAL.