发布求助
文献互助 智能选刊 最新文献

2009 International Conference on Computer Modeling and Simulation最新文献

筛选
英文 中文
Application Research on MTC Technology in Casting Based on FEM Simulation 基于有限元模拟的MTC技术在铸造中的应用研究
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.23
D. You, M. Shao
{"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}
引用次数: 0
Modeling and Simulating a Mathematical Tool for Multi-robot Pattern Transformation 多机器人模式转换的建模与仿真数学工具
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.40
B. Varghese, G. McKee
{"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}
引用次数: 2
Formal Verification of Out-of-Order Processor 无序处理器的形式化验证
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.47
Yanyan Gao, Xi Li
{"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}
引用次数: 5
Numerical Simulation for the Deformation and Stability of Large Underground Stope after Excavation 大型地下采场开挖后变形与稳定性数值模拟
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.18
D. Qing, Zi-qiang Zhu, Qun-yi Liu, Xian-qi He
{"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}
引用次数: 0
Virtual Prototype Modeling and Fast Dynamic Simulation of the Complete Integrated Sea Trial System for Deep-Ocean Mining 深海采矿综合海试系统虚拟样机建模与快速动态仿真
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.66
Yu Dai, Shaojun Liu, Li Li, Yan Li, G. Wang, Xi-Ren Cao
{"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}
引用次数: 1
Comparison of Hybrid Control Schemes for Vibration Suppression of Flexible Robot Manipulator 柔性机械臂振动抑制混合控制方案的比较
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.81
Mohd Ashraf Ahmad, A. Nasir, R. Ismail, M. S. Ramli
{"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}
引用次数: 14
Traffic Assignment Model Considering Emission Based on Path-based Solution Algorithm: Comparison and Discussion 基于路径求解算法的考虑排放的交通分配模型:比较与讨论
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.10
Ming-Wang Dong, W. Xiong
{"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}
引用次数: 1
Motion Detection Based on Background Modeling and Performance Analysis for Outdoor Surveillance 基于背景建模的户外监控运动检测及性能分析
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.15
Tianci Huang, Jingbang Qiu, Takahiro Sakayori, S. Goto, T. Ikenaga
{"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}
引用次数: 13
The Reliability Study of the Single Hydraulic Prop Based on Finite Element Analysis 基于有限元分析的单体液压支柱可靠性研究
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.65
Xin Zhang, Jianwu Zhang, Q. Zeng, Guo-fu Sun
{"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}
引用次数: 0
An Algorithm of Fractal Tree Generate Base on Controllable Random Transform 一种基于可控随机变换的分形树生成算法
2009 International Conference on Computer Modeling and Simulation Pub Date : 2009-02-20 DOI: 10.1109/ICCMS.2009.14
Lin Jiang, Xianchun Guo, Ling Lu
{"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}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书