Application research on Mold Temperature Control (MTC) technology in casting was done based on Finite Element Method (FEM). A MTC forming process is presented here. The mathematical models of numerical computation are established, including heat transfer differential equation and its equivalent integral formulae and FEM combined equations, boundary conditions, processing method of MTC units. The numerical computational software was developed to implement the numerical model, and a control algorithm which is closer to the real process since the MTC units can be automatic controlled in it was presented. The 3D transient heat transfer analyses of three MTC cases were done using the developed software. The computational results indicate that in the second case, the solid-liquid interface keeps near-planar, and the growth velocity of the solid-liquid interface is greater than the first case, performing better than the others. Additionally, the relative errors between the numerical and experimental data are less than 8 percent. Thereby, the MTC technology is propitious to improve the forming quality and efficiency.
{"title":"Application Research on MTC Technology in Casting Based on FEM Simulation","authors":"D. You, M. Shao","doi":"10.1109/ICCMS.2009.23","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.23","url":null,"abstract":"Application research on Mold Temperature Control (MTC) technology in casting was done based on Finite Element Method (FEM). A MTC forming process is presented here. The mathematical models of numerical computation are established, including heat transfer differential equation and its equivalent integral formulae and FEM combined equations, boundary conditions, processing method of MTC units. The numerical computational software was developed to implement the numerical model, and a control algorithm which is closer to the real process since the MTC units can be automatic controlled in it was presented. The 3D transient heat transfer analyses of three MTC cases were done using the developed software. The computational results indicate that in the second case, the solid-liquid interface keeps near-planar, and the growth velocity of the solid-liquid interface is greater than the first case, performing better than the others. Additionally, the relative errors between the numerical and experimental data are less than 8 percent. Thereby, the MTC technology is propitious to improve the forming quality and efficiency.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124127769","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The work reported in this paper is motivated by the need to investigate general methods for pattern transformation. A formal definition for pattern transformation is provided and four special cases namely, elementary and geometric transformation based on repositioning all and some agents in the pattern are introduced. The need for a mathematical tool and simulations for visualizing the behavior of a transformation method is highlighted. A mathematical method based on the Moebius transformation is proposed. The transformation method involves discretization of events for planning paths of individual robots in a pattern. Simulations on a particle physics simulator are used to validate the feasibility of the proposed method.
{"title":"Modeling and Simulating a Mathematical Tool for Multi-robot Pattern Transformation","authors":"B. Varghese, G. McKee","doi":"10.1109/ICCMS.2009.40","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.40","url":null,"abstract":"The work reported in this paper is motivated by the need to investigate general methods for pattern transformation. A formal definition for pattern transformation is provided and four special cases namely, elementary and geometric transformation based on repositioning all and some agents in the pattern are introduced. The need for a mathematical tool and simulations for visualizing the behavior of a transformation method is highlighted. A mathematical method based on the Moebius transformation is proposed. The transformation method involves discretization of events for planning paths of individual robots in a pattern. Simulations on a particle physics simulator are used to validate the feasibility of the proposed method.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129954018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Out-of-order execution is a fundamental technique to achieve instruction-level parallelization in processor designs. The verification of out-of-order processor is a main challenge in processor design. This paper presents a formal method to model and check the correctness of out-of-order design at instruction level. This method is based on model checking, a widely used formal verification technique. The rules to generate properties an out-of-order design should satisfy are also provided. The abstracted model can be verified with NuSMV, a popular model checking tool. If the properties cannot be satisfied, a counterexample is created to help correct the design.
{"title":"Formal Verification of Out-of-Order Processor","authors":"Yanyan Gao, Xi Li","doi":"10.1109/ICCMS.2009.47","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.47","url":null,"abstract":"Out-of-order execution is a fundamental technique to achieve instruction-level parallelization in processor designs. The verification of out-of-order processor is a main challenge in processor design. This paper presents a formal method to model and check the correctness of out-of-order design at instruction level. This method is based on model checking, a widely used formal verification technique. The rules to generate properties an out-of-order design should satisfy are also provided. The abstracted model can be verified with NuSMV, a popular model checking tool. If the properties cannot be satisfied, a counterexample is created to help correct the design.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125568628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In order to study the three dimensional stability of one large underground stope after excavation, the numerical simulation software FLAC3D is used to calculate the deformation and failure situation of the surrounding rock mass. The calculations are done for two cases of whether penetration taking place in the goaf. During calculation the effects of penetration of excavation areas to the stability of stope are analyzed. The results can give some guidance for the real practice.
{"title":"Numerical Simulation for the Deformation and Stability of Large Underground Stope after Excavation","authors":"D. Qing, Zi-qiang Zhu, Qun-yi Liu, Xian-qi He","doi":"10.1109/ICCMS.2009.18","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.18","url":null,"abstract":"In order to study the three dimensional stability of one large underground stope after excavation, the numerical simulation software FLAC3D is used to calculate the deformation and failure situation of the surrounding rock mass. The calculations are done for two cases of whether penetration taking place in the goaf. During calculation the effects of penetration of excavation areas to the stability of stope are analyzed. The results can give some guidance for the real practice.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"594 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126904875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Yu Dai, Shaojun Liu, Li Li, Yan Li, G. Wang, Xi-Ren Cao
The virtual prototype model for fast simulation analysis of the complete integrated sea trial system for deep ocean mining is built up based on single-body model of the seafloor tracked miner and discrete element model of the pipeline system. Dynamic simulation analysis is performed and investigated taking into account the interactions between each subsystem and corresponding complex ocean environment. Both for the tracked miner and the pipeline system, two different modeling and simulation methods are considered and compared with regard to computational efficiency and solution accuracy. Focusing mainly on the integrity and rapidity of the dynamic simulation of the total mining system, the seafloor miner is preferred to be modeled as a single-body with 6 degrees of freedom, which allows real-time simulation, while the interaction model between the miner and seafloor soft cohesive soil is built based on the theory of terramechanics and with consideration of seafloor soil special mechanical characteristics. The pipeline subsystem including the lifting pipe, pumps, the buffer and the flexible hose is chosen to be built as 3-D discrete element model which is divided into rigid elements linked by flexible connectors, and external forces such as the hydrodynamic forces due to the maritime sea current, the buoyancy forces acting at discrete locations on the flexible hose are considered. The simulation analysis results are obtained and discussed, which in a way can reflect the actual working conditions and provide useful guidance and reference for the practical deep ocean mining system design and operation.
{"title":"Virtual Prototype Modeling and Fast Dynamic Simulation of the Complete Integrated Sea Trial System for Deep-Ocean Mining","authors":"Yu Dai, Shaojun Liu, Li Li, Yan Li, G. Wang, Xi-Ren Cao","doi":"10.1109/ICCMS.2009.66","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.66","url":null,"abstract":"The virtual prototype model for fast simulation analysis of the complete integrated sea trial system for deep ocean mining is built up based on single-body model of the seafloor tracked miner and discrete element model of the pipeline system. Dynamic simulation analysis is performed and investigated taking into account the interactions between each subsystem and corresponding complex ocean environment. Both for the tracked miner and the pipeline system, two different modeling and simulation methods are considered and compared with regard to computational efficiency and solution accuracy. Focusing mainly on the integrity and rapidity of the dynamic simulation of the total mining system, the seafloor miner is preferred to be modeled as a single-body with 6 degrees of freedom, which allows real-time simulation, while the interaction model between the miner and seafloor soft cohesive soil is built based on the theory of terramechanics and with consideration of seafloor soil special mechanical characteristics. The pipeline subsystem including the lifting pipe, pumps, the buffer and the flexible hose is chosen to be built as 3-D discrete element model which is divided into rigid elements linked by flexible connectors, and external forces such as the hydrodynamic forces due to the maritime sea current, the buoyancy forces acting at discrete locations on the flexible hose are considered. The simulation analysis results are obtained and discussed, which in a way can reflect the actual working conditions and provide useful guidance and reference for the practical deep ocean mining system design and operation.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"21 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132202892","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Mohd Ashraf Ahmad, A. Nasir, R. Ismail, M. S. Ramli
This paper presents a comparative assessment of control schemes for vibration suppression and end-point trajectory tracking of a flexible robot manipulator. A constrained planar single-link flexible robot manipulator is considered and the dynamic model of the system is derived using the assumed mode method. To study the effectiveness of the controllers, initially a collocated PD controller is developed for control of rigid body motion. This is then extended to incorporate a non-collocated PID controller and a feedforward controller based on input shaping techniques for control of vibration (flexible motion) of the system. For input shaping controller, the positive input shapers with different derivatives are proposed and designed based on the properties of the system. Simulation results of the response of the manipulator with the controllers are presented in time and frequency domains. The performances of the control schemes are assessed in terms of level of vibration reduction, input tracking capability and speed of response. Finally, a comparativeassessment of the control techniques is presented and discussed.
{"title":"Comparison of Hybrid Control Schemes for Vibration Suppression of Flexible Robot Manipulator","authors":"Mohd Ashraf Ahmad, A. Nasir, R. Ismail, M. S. Ramli","doi":"10.1109/ICCMS.2009.81","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.81","url":null,"abstract":"This paper presents a comparative assessment of control schemes for vibration suppression and end-point trajectory tracking of a flexible robot manipulator. A constrained planar single-link flexible robot manipulator is considered and the dynamic model of the system is derived using the assumed mode method. To study the effectiveness of the controllers, initially a collocated PD controller is developed for control of rigid body motion. This is then extended to incorporate a non-collocated PID controller and a feedforward controller based on input shaping techniques for control of vibration (flexible motion) of the system. For input shaping controller, the positive input shapers with different derivatives are proposed and designed based on the properties of the system. Simulation results of the response of the manipulator with the controllers are presented in time and frequency domains. The performances of the control schemes are assessed in terms of level of vibration reduction, input tracking capability and speed of response. Finally, a comparativeassessment of the control techniques is presented and discussed.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133890787","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper, we discuss a nonadditive path costs traffic assignment problem considering emission effects. Based on Venigalla's research, we put forward the traffic assignment model considering emissions at different engine operating modes. We also use two path-based algorithms, gradient projection (GP) algorithm and disaggregated simplicial decomposition (DSD) algorithm to solve the mathematic model respectively. Then, we apply the model as well as the algorithms into a real network and compare some computational characteristics of them. The results show that both GP and DSD algorithms have a rapid convergence speed than FW algorithm. The results also demonstrate that path-based algorithms can be widely used in solving large scale traffic assignment problem with nonadditive path costs.
{"title":"Traffic Assignment Model Considering Emission Based on Path-based Solution Algorithm: Comparison and Discussion","authors":"Ming-Wang Dong, W. Xiong","doi":"10.1109/ICCMS.2009.10","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.10","url":null,"abstract":"In this paper, we discuss a nonadditive path costs traffic assignment problem considering emission effects. Based on Venigalla's research, we put forward the traffic assignment model considering emissions at different engine operating modes. We also use two path-based algorithms, gradient projection (GP) algorithm and disaggregated simplicial decomposition (DSD) algorithm to solve the mathematic model respectively. Then, we apply the model as well as the algorithms into a real network and compare some computational characteristics of them. The results show that both GP and DSD algorithms have a rapid convergence speed than FW algorithm. The results also demonstrate that path-based algorithms can be widely used in solving large scale traffic assignment problem with nonadditive path costs.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115761746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In allusion to the reliability, which exists in the parametric design and optimizing process of the single hydraulic prop, this paper presents the new method in comparison with the traditional calculating and checking method for the reliability. The geometry model of the hydraulic prop is built firstly based on the 3D software, then analyzed and optimized by the finite element software-ANSYS. Results show that the method presented for the reliability is efficient and accurate.
{"title":"The Reliability Study of the Single Hydraulic Prop Based on Finite Element Analysis","authors":"Xin Zhang, Jianwu Zhang, Q. Zeng, Guo-fu Sun","doi":"10.1109/ICCMS.2009.65","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.65","url":null,"abstract":"In allusion to the reliability, which exists in the parametric design and optimizing process of the single hydraulic prop, this paper presents the new method in comparison with the traditional calculating and checking method for the reliability. The geometry model of the hydraulic prop is built firstly based on the 3D software, then analyzed and optimized by the finite element software-ANSYS. Results show that the method presented for the reliability is efficient and accurate.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122819164","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
An algorithm of fractal tree is hot research area in nature scenery simulation. We present a generate algorithm of fractal tree by use a controllable random transform method. This method base on fractal theory, controls some parameters of fractal tree generating in a random scope, which parameters including coordinates, length of tree branch, angle of tree branch transfer, thickness of trunk, color of render. Experiment show fractal tree rendered has a third dimension, although our render method is planar. Our algorithm guarantees the worst-case cost of O(B*level) for rendering a fractal tree, where B is numbers of tree branch and level is numbers of node on each branch.
{"title":"An Algorithm of Fractal Tree Generate Base on Controllable Random Transform","authors":"Lin Jiang, Xianchun Guo, Ling Lu","doi":"10.1109/ICCMS.2009.14","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.14","url":null,"abstract":"An algorithm of fractal tree is hot research area in nature scenery simulation. We present a generate algorithm of fractal tree by use a controllable random transform method. This method base on fractal theory, controls some parameters of fractal tree generating in a random scope, which parameters including coordinates, length of tree branch, angle of tree branch transfer, thickness of trunk, color of render. Experiment show fractal tree rendered has a third dimension, although our render method is planar. Our algorithm guarantees the worst-case cost of O(B*level) for rendering a fractal tree, where B is numbers of tree branch and level is numbers of node on each branch.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116529020","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Tianci Huang, Jingbang Qiu, Takahiro Sakayori, S. Goto, T. Ikenaga
Real-time segmentation of moving objects in video sequences is a fundamental step for surveillance systems. One of successful methods for complex background is to use a multi-color background model per pixel. However, Common problem for this approach is that it suffers from illumination changing environment, in addition, it is incapable of removing shadows of moving objects. This paper proposed an effective scheme to improve the adaptive background model for each pixel by introducing a background training parameter into every Gaussian model, and region-based scheme is applied to judgment by utilizing both spatial and temporal information. Experimental results will be presented to validate proposed algorithm keep robustness in the situation of illumination changes, shadow can be removed in foreground mask, results shows False Alarm Rate can be reduced from 34.9% to 35.8% while the overlap varies within normal range from 0.4 to 0.6 compared with conventional Gaussian mixture model.
{"title":"Motion Detection Based on Background Modeling and Performance Analysis for Outdoor Surveillance","authors":"Tianci Huang, Jingbang Qiu, Takahiro Sakayori, S. Goto, T. Ikenaga","doi":"10.1109/ICCMS.2009.15","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.15","url":null,"abstract":"Real-time segmentation of moving objects in video sequences is a fundamental step for surveillance systems. One of successful methods for complex background is to use a multi-color background model per pixel. However, Common problem for this approach is that it suffers from illumination changing environment, in addition, it is incapable of removing shadows of moving objects. This paper proposed an effective scheme to improve the adaptive background model for each pixel by introducing a background training parameter into every Gaussian model, and region-based scheme is applied to judgment by utilizing both spatial and temporal information. Experimental results will be presented to validate proposed algorithm keep robustness in the situation of illumination changes, shadow can be removed in foreground mask, results shows False Alarm Rate can be reduced from 34.9% to 35.8% while the overlap varies within normal range from 0.4 to 0.6 compared with conventional Gaussian mixture model.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131683158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：