• Journal of Korea Multimedia Society
• /
• v.9 no.12
• /
• pp.1607-1616
• /
• 2006

The growing market of multimedia and digital signal processing requires significant data-path portions of SoCs. However, the common models for verification are not suitable for SoCs. A novel model--WGL (Weighted Generalized List) is proposed, which is based on the general-list decomposition of polynomials, with three different weights and manipulation rules introduced to effect node sharing and the canonicity. Timing parameters and operations on them are also considered. Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits. The model is proved to be a uniform and efficient model for both bit-level and word-level functions. Then Based on the WGL model, a backward-construction logic-verification approach is presented, which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than $O(n^{3.6})$ and space complexity is less than $O(n^{1.5})$) without hierarchical partitioning. Finally, a construction methodology of word-level polynomials is also presented in order to implement complex high-level verification, which combines order computation and coefficient solving, and adopts an efficient backward approach. The construction complexity is much less than the existing ones, e.g. the construction time for multipliers grows at the power of less than 1.6 in the size of the input word without increasing the maximal space required. The WGL model and the verification methods based on WGL show their theoretical and applicable significance in SoC design.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.5
• /
• pp.1392-1398
• /
• 2008

This paper presents a Petri Net (PN) based disassembly sequence planning model with precedence operations. All feasible disassembly sequences are generated by a disassembly tree and a disassembly sequence is determined using the disassembly precedence and disassembly value matrix, The precedence of disassembly operations is determined through a disassembly tree and the value of disassembly is induced by economic analysis in the end-of-life phase. To solve the disassembly sequence planning model with precedence operations, a heuristic algorithm based on PNs is developed. The developed algorithm generates and searches a partial reachability graph to arrive at an optimal or near-optimal disassembly sequence based on the firing sequence of transitions of the PN model. A refrigerator is shown as an example to demonstrate the effectiveness of proposed model.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.694-699
• /
• 2005

This paper deals with a control technique of eliminating the transient vibration of a geared mechanical system. This technique is based on a model-based control with a rotational speed sensor in order to establish the damping effect at the driven machine part. A rotational speed sensor is installed in a driven gear, namely a bull gear. A control model is composed of a reduced-order mechanical part expressed as a transfer function between the rotational speed of the motor and that of the bull gear. This control model estimates a load speed after the rotational speed of the bull gear is acted on the transfer function. The difference between the estimated load speed and the motor speed is calculated dynamically and it is added to the velocity command to suppress the transient vibration generated at the load. This control technique is applied to a dies driving spindle of a form rolling machine. In this paper, the performance of this control method is examined by simulations. The settling time of the residual vibration generated at the loading inertia can be shortened down to about 1/2 of the uncompensated vibration level.

• Journal of The Korean Association For Science Education
• /
• v.14 no.3
• /
• pp.293-303
• /
• 1994

The purpose of this study was to find the effect of molecular movement model based instruction on high school students' conceptions of diffusion and osmosis. The study was composed of two groups, the traditional instruction group in which the so-called traditional instruction was performed, and the other group in which interventions by researchers were made. The subjects of the traditional instruction group consisted of a total of 242 high school students from Seoul, Gwangju and Mokpo. The subjects of the model based instruction group consisted of 177 first-year high school students in Mokpo. The study was focused on the use of the term of 'molecular movement' in their explanation of diffusion and osmosis in the correct contexts. In general, students who got the molecular movement model based instruction showed more frequent use of the terms of 'molecular movement' in the correct contexts than the control group students did. It was found that misconceptions including teleological explanations changed into scientific explanations by the intervention. It seemed that the molecular movement model led students to make scientific explanations on natural phenomena. A further research is recommended to assess the improvement of teleological explanation and scientific attitude by the molecular movement model.

• International Journal of Precision Engineering and Manufacturing
• /
• v.7 no.2
• /
• pp.18-24
• /
• 2006

This paper proposes a LuGre Model-Based Neural Network (MBNN) friction compensation algorithm for a linear motor stage. For matching the friction phenomena in both the motion-start region and the motion-reverse region, the LuGre dynamic model is employed into the proposed compensation algorithm. After training of the model-based neural network is completed, the estimated friction for compensation is obtained. From the obtained result we find that the new structure gains advantage over the non-friction compensation system on the performance of the compensator in both regions. The proposed compensator is evaluated and compared experimentally with an uncompensated system on a microcomputer controlled linear motor tracking system in the final section of the paper. The experimental results show the improvement on the maximum velocity error and the root mean square tracking error in the motion-start region ranges from 34% to 53% and from 53% to 75% respectively, and in the motion-reverse region from 48% to 65% and from 79% to 90% respectively.

• Asian-Australasian Journal of Animal Sciences
• /
• v.17 no.12
• /
• pp.1674-1680
• /
• 2004

The objective of this study was to compare the Dutch DVE/OEB system and the NRC-2001 model in the prediction of supply of protein to dairy cows from processed field tick beans. Comparisons were made in terms of 1) ruminally synthesized microbial CP, 2) truly absorbed protein in the small intestine, and 3) degraded protein balance. The results showed that the predicted values from the DVE/OEB system and the NRC-2001 model had significant correlations with high R (>0.90) values. However, using the DVE/OEB system, the overall average microbial protein supply based on available energy was 16% higher and the truly absorbed protein in the small intestine was 9% higher than that predicted by the NRC-2001 model. The difference was also found in the prediction of the degraded protein balances (DPB), which was 5% lower than that predicted based on data from the NRC-2001 model. These differences are due to considerably different factors used in calculations in the two models, although both are based on similar principles. It need to mention that this comparison was based on the limited data, the full comparison involving various types of concentrate feeds will be investigated in the future.

• Korean Management Science Review
• /
• v.18 no.2
• /
• pp.125-134
• /
• 2001

This paper is concerned with the development of a GIS-based distribution system with service consideration. The proposed model could be used for a wide range of logistics applications in planning, engineering and operational purpose for logistics system. This research addresses the formulation of those complex prob1ems of two-echelon logistics system to plan the incorporating supply center locations and distribution problems based on GIS. We propose an integrated logistics model for determining the optimal patterns of supply centers and inventory allocations (customers) with a three-step sequential approach. 1) First step, Developing GIS-distance model and stochastic set-covering program to determine Optimel pattern of supply center location. 2) Second step, Optimal sector-clustering to support customers. 3) Third step, Optimal vehicle rouse scheduling based on GIS, GIS-VRP In this research we developed GUI-tree program, the GIS-VRP provide the vehicle to users and freight information in real time. We applied a set of sample examples to this model and demonstrated samp1e results. It has been found that the proposed model is potentially efficient and useful in solving multi-depot problem through examples. However the proposed model can provide logistics decision makers to get the best supply schedule.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.52 no.6
• /
• pp.719-724
• /
• 2019

This study is an extension of our previous model for a size-based fish stock assessment. In the previous model, we applied an allometric length-weight relationship (W=α·L^β) to convert lengths of fish to weights, and estimated those parameters α and β, using data about lengths and weights aggregated over years. In this study, we focused on whether consideration of temporal (e.g., year-to-year) variability in those estimates (i.e., ${\hat{\alpha}}$ and ${\hat{\beta}}$) would contributive. After calculating year-specific estimates (i.e., year-specific pairs of ${\hat{\alpha}}$ and ${\hat{\beta}}$) by applying data about lengths and weights separated by year, we evaluated the contribution of those year-specific pairs of ${\hat{\alpha}}$ and ${\hat{\beta}}$ to the performance of the size-based stock assessment model. The model with such year-to-year variability being considered (lower AIC) outperformed that with the variability being ignored (higher AIC). We illustrated this study using data on Korean chub mackerel Scomber japonicus from 2005-2017.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.10
• /
• pp.1712-1732
• /
• 2011

Cloud provides dynamically scalable virtualized computing resources as a service over the Internet. To achieve higher resource utilization over virtualization technology, an optimized strategy that deploys virtual machines on physical machines is needed. That is, the total number of active physical host nodes should be dynamically changed to correspond to their resource usage rate, thereby maintaining optimum utilization of physical machines. In this paper, we propose a pattern-based prediction model for resource provisioning which facilitates best possible resource preparation by analyzing the resource utilization and deriving resource usage patterns. The focus of our work is on predicting future resource requests by optimized dynamic resource management strategy that is applied to a virtualized data center in a Cloud computing environment. To this end, we build a prediction model that is based on user request patterns and make a prediction of system behavior for the near future. As a result, this model can save time for predicting the needed resource amount and reduce the possibility of resource overuse. In addition, we studied the performance of our proposed model comparing with conventional resource provisioning models under various Cloud execution conditions. The experimental results showed that our pattern-based prediction model gives significant benefits over conventional models.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.630-640
• /
• 2001

In this paper, we describe the design and implementation of ObjectPeerWork, which is a framework for the development of shared object model-based P2P(Peer-to-Peer) applications. The shared object model can prevent the computing power decrease on the way of resource management by incorporating the resource management function into resources themselves, and raise reliability on shared resources by improving the security problems. Also this model assures expandability by means of distributed component-based request broker manager and module container. The ObjectPeerWork based on this shared object model is a framework which makes the implementation of the enterprise information system possible, and makes distribution of the computing power and efficient resource management possible by improving the weakness in the general P2P model.