• Journal of Intelligence and Information Systems
• /
• v.15 no.2
• /
• pp.15-31
• /
• 2009

The next generation IT environment is expected to be an open computing environment based on Grid computing technologies, which allow users to access to any type of computing resources through networks. The open computing environment has benefits in aspects of resource utilization, collaboration, flexibility and cost reduction. Due to the variation in performance of open computing resources, however, resource allocation simply based on users' budget and time constraints often fails to meet the Service Level Agreement(SLA). This paper proposes the Mean-Absolute Deviation(MAD) portfolio optimization approach, in which service brokers consider the uncertainty of performance of resources, and compose resource portfolios that minimize the uncertainty. In order to investigate the effect of this approach, we simulate an open computing environment with varying uncertainty levels, users' constraints, and brokers' optimization strategies. The simulation result concludes threefolds. First, the MAD portfolio optimization improves the success ratio of delivering the required performance to users. Second, the success ratio depends on the accuracy in predicting the variability of performance. Thirdly, the measured variability can also help service brokers expand their service to cost-critical users by discounting the access cost of open computing resources.

• Journal of KIISE:Software and Applications
• /
• v.33 no.7
• /
• pp.589-604
• /
• 2006

Software product lines (SPL) are recently an emerging software reuse paradigm, which helps organizations develop their products from reusable core assets rather than from scratch. For developing these assets, understanding commonality and variability (C&V) is essential. A feature-oriented approach has been used extensively for C&V analysis in the SPL. However, this contains no proposal to systematically identify features and provide the rationale for the features. Further, the approach does not directly show how the results of C&V analysis will satisfy an organization's high-level business goals and provide the rationale for the C&V. Therefore, this paper presents a domain analysis method for the SPL based on goals, scenarios, and features in order to overcome some of the deficiencies and limitations of the feature-oriented approach. In particular, the paper proposes a domain requirements model (DRM) and a domain requirements modeling method based on the DRM. This method has been applied to the home integration system (HIS) domain to demonstrate its feasibility with a supporting tool, namely IDEAS. Our approach makes it possible to systematically identify the features and provide the rationale for both the features and the C&V.

• The Journal of Engineering Geology
• /
• v.14 no.1
• /
• pp.81-91
• /
• 2004

The objective of this study is the evaluation of the tunneling effect on the goundwater-surface water interaction. The designed tunnel line is laid beneath the Hapo-cheon, which runs throughout the study area. And, the pre-evaluation of the tunnel-influence on the Gapo-cheon is urgently needed. However, it is very difficult to find out the similar domestic and/or foreign cases. In this study, the numerical modeling technique was not considered because of the insufficient data. Instead of the numerical modeling, the measurement and analysis of the stream flow rates 5 different points were adopted to evaluate the influence of the tunnel construction on the Gapo-cheon. Based on the analysis of flow monitoring data, it can be concluded that 39% of flow rate in Gapo-cheon is contributed by the groundwater discharge, as baseflow and the construction of tunnel can seriously decrease the flow rate in Gapo-cheon.

• Journal of Korean Society of Environmental Engineers
• /
• v.35 no.2
• /
• pp.101-108
• /
• 2013

Ara Canal is the first artificial canal in Korea that connects the Han River and the Yellow Sea. Due to mixture of waters with different salinity and water quality, complicated hydrodynamic and water quality distributions are expected to occur inside the canal. An integrated hydrodynamic and water quality modeling system was developed using the 3 dimensional hydrodynamic model, EFDC (Environmental Fluid Dynamics Code) and the water quality model WASP (Water Quality Analysis and Simulation Program). According to the modeling results, BOD, TN, TP and Chl-a concentrations inside the canal were lower at the West Gate side than the Han River side since influent concentrations of the West Gate side are significantly lower. Chemical stratification due to salinity difference were more evident at the West Gate side as vertical salinity difference were more pronounced in this area. On the other hand, Chl-a concentrations showed more pronounced vertical distribution at the Han River side as Chl-a concentrations were higher in this area. It was notable that Dissolved Oxygen concentrations can be lower than 2 mg/L occasionally in the middle part of the canal. While major factor affecting DO concentrations in the canal are inflows via both gates, the other important factor was found to be BOD decay in the canal due to extended hydraulic residence time. This study can be used to predict hydrodynamic conditions and water quality in the canal during the year and thus can be helpful in the development of gate operation method of the canal.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.12
• /
• pp.1032-1039
• /
• 2012

The present paper deals with precise relative positioning of formation satellites with long baseline in low Earth orbit making use of L1/L2 dual frequency GPS carrier phase measurements. Kinematic approach means to describe the motion of objects without taking its mass/dynamics model into consideration. The advantage of the kinematic approach is that information about dynamics of the system is not applied, which gives more flexibility and could improve the scientific interest of the observations made by the mission. The ionosphere terms, which are not canceled by double differenced measurement equation in the case of the long baseline, are explicitly estimated as unknown parameters by extended Kalman filter. The estimated float ambiguities by EKF are solved by existing efficient integer vector search strategy under integer least square condition. For the integer vector search, we employ well known MLAMBDA. Finally, The feasibility and accuracy of processing scheme are demonstrated using the GPS measurements for two satellites in low Earth orbit separated by baselines of 100 km.

• Korean Journal of Agricultural and Forest Meteorology
• /
• v.22 no.2
• /
• pp.79-91
• /
• 2020

Accurate assessment of greenhouse gas emissions is a cornerstone of every climate change response study, and reliable assessment of greenhouse gas emission data is being used as a practical basis for the entire climate change prediction and modeling studies. Essential, fundamental technologies for estimating greenhouse gas emissions include an on-site monitoring technology, an evaluation methodology of uncertainty in emission factors, and a verification technology for reductions. The closed chamber method is being commonly used to measure gas fluxes between soil-vegetation and atmosphere. This method has the advantages of being simple, easily available and economical. This study presented the technical bases of the closed chamber method for measuring methane fluxes from a rice paddy. The methane fluxes from rice paddies occupy the largest portion of a single source of greenhouse gas in the agricultural field. We reviewed the international and the domestic studies on automated chamber monitoring systems that have been developed from manually operated chambers. Based on this review, we discussed scientific concerns on chamber methods with a particular focus on quality control for improving measurement reliability of field data.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1996.10a
• /
• pp.319-323
• /
• 1996

\ulcorner\ulcorner\ulcorner\ulcorner 80,000 rpm \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner(ultra-centrifuge)\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner. \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner(critical speed)\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner(separation margin)\ulcorner \ulcorner\ulcorner, \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner \ulcorner\ulcorner-\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner. \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner \ulcorner\ulcorner\ulcorner, \ulcorner\ulcorner \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner(extra slender shaft)\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner. \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner, \ulcorner\ulcorner 1\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner(bumper ring) \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner(guide bearing)\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner. \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner(finite element method)\ulcorner \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner, \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner\ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner \ulcorner\ulcorner\ulcorner \ulcorner\ulcorner(damping)\ulcorner \ulcorner\ulcorner\ulcorner\ulcorner.

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.10
• /
• pp.357-364
• /
• 2014

The first mission for the IoT based hyper-connectivity communication is developing a device-to-device communication technique in infra-less low-power and lossy networks. In a low-power and lossy wireless network, IoT devices and routers cannot keep the original path toward the destination since they have the limited memory. Different from the previous light-weight routing protocols focusing on the reduction of the control messages, the proposed scheme provides the light-weight IPv6 address auto-configuration, IPv6 neighbor discovery and routing protocol in a IoT capable infra-less wireless networks with the bloom filer and enhanced rank concepts. And for the first time we evaluate our proposed scheme based on the modeling of various probability distributions in the IoT environments with the lossy wireless link. Specifically, the proposed enhanced RPL based light-weight routing protocol improves the robustness with the multi-paths locally established based on the enhanced rank concepts even though lossy wireless links are existed. We showed the improvements of the proposed scheme up to 40% than the RPL based protocol.

• Journal of Navigation and Port Research
• /
• v.32 no.6
• /
• pp.459-464
• /
• 2008

In this paper, we present the model-based fuzzy controller for container cranes which effectively performs set-point tracking control of trolley and anti-swaying control under system parameter and disturbance changes. The first part of this paper focuses on the development of Takagi-Sugeno (T-S) fuzzy modeling in a nonlinear container crane system. Parameters of the membership functions are adjusted by a RCGA to have same dynamic characteristics with nonlinear model of a container crane. In the second part, we present a design methodology of the model-based fuzzy controller. Sub-controllers are designed using LQ control theory for each subsystem in fuzzy model and then the proposed controller is performed with the combination of these sub-controllers by fuzzy IF-THEN rules. In the results of simulation, the fuzzy model showed almost similar dynamic characteristics compared to the outputs of the nonlinear container crane model. Also, the model-based fuzzy controller showed not only the fast settling time for the change in parameter and disturbance, but also stable and robust control performances without any steady-state error.