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

{"title":"Modeling and Consistency Checking Based on Category for Web Navigation Behavior","authors":"Xinlin Zhang, Huai-kou Miao, Hong-wei Zeng","doi":"10.1109/ICCMS.2009.82","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.82","url":null,"abstract":"Using formal method is an effective methodology for modeling and verifying software system. Category theory provides a kind of common language, tool, thinking method and study means for other mathematics subjects, in which a sketch as a formal structure is a specification based on graphs. This paper gives a linear sketch for the Web navigation behavior, and constructs a formal model based on the category theory, which satisfies the given requirements and the specification described by the sketch, and proposes a method of the model consistency checking by constructing the free category, and discusses the security of the navigation model. Some rules of the link-security and return-security together with the corresponding approach to security checking are given as well as.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"147 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":"116400379","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}

{"title":"Optimal Formation Reconfiguration Using Genetic Algorithms","authors":"Jichao Tian, Naigang Cui, Rongjun Mu","doi":"10.1109/ICCMS.2009.54","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.54","url":null,"abstract":"Spacecraft formation flying has received an enormous amount of attention over the past few years, researcher have begun to consider the advantages of spacecraft formation compared to large, complex, single purpose spacecrafts, the use of spacecraft formation has the potential to expand functionality, distribute risk and reduce cost and also it involves tremendous challenges ranging from spacecraft formation keeping to reconfiguration or configuration. The spacecrafts in orbit may undergo differential disturbances from gravitational perturbation due to Earth's oblateness, atmospheric drag, and solar radiation pressure and so on, consequently these effects have to be taken into account in order to implement formation reconfiguration. Whereas the consumption of fuel on board is one of the key formation reconfiguration problems, it is important to have a formation with saving fuel for orbit maintenance, whilst collision avoidance is also a significant constraint condition on formation reconfiguration. In order to deal with these challenges, many methods have been considered. With a view to tackle these problems, the present study is carried out. The nonlinear equations of relative motion on formation flying are investigated and the same geometry and mass of spacecrafts are assumed in this present paper. In this model the disturbances coming from the non spherical Earth is more important than others and then considered. In the present study, optimal controllers based on genetic algorithms are developed for spacecraft formation reconfiguration including the constraints of minimum fuel, avoiding collision and final configuration. Genetic algorithms (GA) are especially powerful techniques for the research of optimal control, GA are such methods that may be used to solve search and optimization problems. They are based on the genetic evolution process of biological organisms, over many generations, natural populations evolved according to the principles of natural selection, by mimicking this process, GA are able to evolve solutions to real world problems. The numerical results were be analyzed that demonstrated the good performance of the control strategy proposed for reconfiguration. The method proposed may be viable for future space mission.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"72 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":"124487809","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}

{"title":"A Difference Scheme Based on Spline Approximations to Solve the Singularly-perturbed Neumann Problems","authors":"Huan-wen Liu, Li-bin Liu","doi":"10.1109/ICCMS.2009.31","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.31","url":null,"abstract":"In this paper, a difference scheme based on the quartic splines for solving the singularly-perturbed two-point boundary-value problem of second-order ordinary differential equations subject to Neumann-type boundary conditions are derived. The accuracy order of the schemes is O(h^4) not only at the interior nodal points but also at the two endpoints, which are better than general center finite difference method. Finally, the numerical results are given to illustrate the efficiency of our methods.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"10 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":"121506227","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}

{"title":"Scene Simulation Platform Based on Data Fusion of Multiple Format 3D Models","authors":"Gang Chen, Shang Xiang, GuanQun Ji, Quan Ding","doi":"10.1109/ICCMS.2009.53","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.53","url":null,"abstract":"Scene simulation technology has been the basal component for building 3D simulation application now. Constructing a general scene simulation platform based on multiple format 3D models can greatly speed developing process of simulation application and promote developing efficiency. According to the idea above, a method of building scene simulation platform based on models data fusion is put forward. With this method, multiple 3D model data format such as FLT, 3DS, X, WRL and GLS are fused and driven by OpenGL API. The layered structure and framework based on HLA are also presented to design the platform. Key technologies involving model data fusion and simulation driving are detailed. Finally, challenges associating with realization of the platform named plug-in framework and simulation examples based on the platform are brought forward. It shows greatest traits on building similar large-scale simulation application system.","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":"115869697","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}

{"title":"Network Attack-Defense Simulation Training System Based on HLA","authors":"Gang Chen, Shang Xiang, GuanQun Ji, Yilong Jia","doi":"10.1109/ICCMS.2009.52","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.52","url":null,"abstract":"Soldiers possessing of network attack-defense ability are the key factor for future information war. Aiming at the problem of lacking daily training and drilling environment, a method of building Network Attack-Defense Simulation Training System (NADSTS) based on HLA is put forward. With the method, attack and defense training are designed as different federation member. The system is divided to presentation, application and adapter layer clearly. Key technologies involves network attack-defense, network simulation and simulation driving are also presented. Software is developed based on plug-in framework. Its simulation examples show greatest traits on building similar large-scale simulation system.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"536 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":"127291117","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}

{"title":"Notice of RetractionEmpirical Analysis on the Volatility Transmission of RMB Exchange Rate Under the 2007 Subprime Crisis","authors":"Jiaping Zhang, Ridong Hu","doi":"10.1109/ICCMS.2009.44","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.44","url":null,"abstract":"Since the reform of RMB exchange rate regime in 2005, RMB exchange rate is much more flexible and volatile. The status and influence of RMB are greater with the sustained growth of Chinese economy. This paper investigates the international linkage between RMB exchange rate and other currency exchange rates, especially Asian currencies using the multivariate GARCH model. To investigate the impact of the financial crisis caused by the subprime crisis, we divide the sample into two parts: pre-crisis period and crisis period. Finally, we find that there is evidently shock transmission of RMB during the crisis and give a few concluding remarks and some suggestions for future research on volatility transmission of RMB exchange rate under empirical analysis.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"24 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":"127197235","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}

{"title":"Usability Measurement Using a Fuzzy Simulation Approach","authors":"Lu Liang, Xiaoling Deng, Y. Wang","doi":"10.1109/ICCMS.2009.76","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.76","url":null,"abstract":"Usability is a three-dimensional quality of software product, encompassing efficiency, effectiveness and satisfaction. Satisfaction always relies on subjective judgment, but on some degree, the measurement of efficiency and effectiveness is able to be objectively calculated by some approaches, which can help designers to compare different prototype design candidates in the early stage of product development. To address the limitation of state-redundancy and inter-uncertainty of FSM, this paper introduces an existing approach to simplify a general FSM by reducing the redundant states, and proposes a fuzzy mathematical formula for calculating the probability of state-transition. Then, an algorithm for measuring efficiency and effectiveness data on simulated FSM is designed based on the fuzzy function. This measurement approach is very appropriate to be applied on the small-medium types of embedded software in practice.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"16 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":"126365903","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}

{"title":"Data Interactive Technique in Pro/E and HyperMesh and ANSYS and its Application in Structural Analysis","authors":"Yazhong Sun, Zuobing Chen","doi":"10.1109/ICCMS.2009.60","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.60","url":null,"abstract":"This paper introduces the data interactive technique and its necessity of application in project fields. To explore the methods of data interactive technique in the process of vertical mill structure design with CAD/CAE 3D softwares. And take the core part of vertical mill—abrasive disc for example, using Pro/E, HyperMesh and ANSYS to complete the structure optimization recommends for the abrasive disc with the data interactive technique, which lay a foundation for the further engineering analysis.","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":"130182171","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}

{"title":"Numerical Simulation of the Fan Cooling Effect on a 10000t/d Cement Rotary Kiln","authors":"H. Dou, Zuobing Chen, Jiayun Xiao","doi":"10.1109/ICCMS.2009.9","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.9","url":null,"abstract":"Industry production practice and CFD (Computational Fluid Dynamics) numerical simulation technology are integrated together in the study of the fan cooling effect on an overseas 10000t/d (ton/day) cement rotary kiln. The spot data of a 10000t/d cement production at home were collected and studied, which provided the vital data for numerical simulation of the fan cooling effect. Then aiming at the working ambient conditions of the overseas 10000t/d cement production line, the fan cooling effect of its rotary kiln was numerically simulated by considering natural convection and radiation heat-loss. Finally, based on the results of the simulation, a conclusion is drawn that the fan cooling effect is good enough to make the overseas rotary kiln safely run at its ambient conditions.","PeriodicalId":325964,"journal":{"name":"2009 International Conference on Computer Modeling and Simulation","volume":"95 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":"122008531","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}

{"title":"Simulation of Network Traffic Using Self-adaptation Scheme","authors":"Chia-Sheng Tsai, Sh-Bin Cheng","doi":"10.1109/ICCMS.2009.74","DOIUrl":"https://doi.org/10.1109/ICCMS.2009.74","url":null,"abstract":"As communication networking becomes vital to people's digital life. Also, various communication protocols are evolved in e-Service for e-Business models. The main push factor behind this network evolution is the real time transfer of multimedia information, such as, audio, image and video. Several protocols, such as RTP (Real Time Protocol) and RTCP (Real Time Control Protocol), are developed to facilitate the deployment of multimedia services in the Internet. However, as for the intention of deliver high quality of real time multimedia information, data transmission bandwidth becomes a major issue. Insufficient network bandwidth would also result in poor service quality. To overcome this obstacle, this thesis proposes an adaptive load balancing system that targets for intensifying overall network usage in a multi path network environment. The proposed system uses a modified RTP header field to send packets through multiple paths in an RTP session to improve e-service quality. On the sender side, a suggested load balancing algorithm is used to perform RTP packet distribution. Meanwhile, the receiver side would utilize RTCP to notify senders on packet arrival intervals. Via the communication between sender and receiver, overall network bandwidth fluctuation is thus determined. By knowing the actual available network bandwidth, sender is then able to dynamically adjust packet distribution. Therefore, a load balancing system is achieved.","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":"128714109","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}