Business Process Execution Language for Web Services (abbreviated to BPEL) is a language for specifying business process behavior based on Web services. But it cannot ensure the correctness of desired specification and properties exhibited by the BPEL control flow. Based on an analysis of the grammar and control flow of BPEL language, we first propose a formal model for BPEL and give the semantics of the BPEL activities to generate the transition tuple. We then develop an algorithm to automatically transform part of the BPEL language into the input language of MCTK, a symbolic model checker developed by us, such that we can verify temporal and epistemic properties of the BPEL processes. Finally, we illustrate the effectiveness of the proposed algorithm through an example of Virtual Travel Agency Web Services Composition.
{"title":"Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic","authors":"Xiangyu Luo, Zheng Tan, Rongsheng Dong","doi":"10.1109/WGEC.2009.29","DOIUrl":"https://doi.org/10.1109/WGEC.2009.29","url":null,"abstract":"Business Process Execution Language for Web Services (abbreviated to BPEL) is a language for specifying business process behavior based on Web services. But it cannot ensure the correctness of desired specification and properties exhibited by the BPEL control flow. Based on an analysis of the grammar and control flow of BPEL language, we first propose a formal model for BPEL and give the semantics of the BPEL activities to generate the transition tuple. We then develop an algorithm to automatically transform part of the BPEL language into the input language of MCTK, a symbolic model checker developed by us, such that we can verify temporal and epistemic properties of the BPEL processes. Finally, we illustrate the effectiveness of the proposed algorithm through an example of Virtual Travel Agency Web Services Composition.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130297966","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 Grid is emerging as a wide-scale distributed computing infrastructure that promises to support resource sharing and coordinated problem solving in dynamic multiinstitutional Virtual Organizations. To describe data, the Webservice issues have been extended with a relevance of Grids in education. To successfully summarize this in terms of a Webservice implementation strategy for a hypothetical enterprise, the implication of Grids and Web services for any organization is currently being developed at W3C. In this paper, the Core Grid Ontology for E-learning (CGOEL) is proposed, which provides the infrastructure on which to build the various Web service implementations. Finally, grid infrastructure is deployed to get easier as commercial support grows and the heroic efforts are packaged properly.
网格作为一种大规模的分布式计算基础设施正在兴起，它承诺在动态的多机构虚拟组织中支持资源共享和协调解决问题。为了描述数据，Webservice问题被扩展为与教育中的网格相关。为了用假想企业的Web服务实现策略成功地总结这一点，目前W3C正在开发适用于任何组织的网格和Web服务的含义。本文提出了面向电子学习的核心网格本体(Core Grid Ontology for E-learning, CGOEL)，它为构建各种Web服务实现提供了基础架构。最后，随着商业支持的增长，网格基础设施的部署变得更加容易，并且英雄的努力得到了适当的打包。
{"title":"CGOEL: Core Grid Ontology for E-learning with the Grid","authors":"Rurui Zhou","doi":"10.1109/WGEC.2009.166","DOIUrl":"https://doi.org/10.1109/WGEC.2009.166","url":null,"abstract":"The Grid is emerging as a wide-scale distributed computing infrastructure that promises to support resource sharing and coordinated problem solving in dynamic multiinstitutional Virtual Organizations. To describe data, the Webservice issues have been extended with a relevance of Grids in education. To successfully summarize this in terms of a Webservice implementation strategy for a hypothetical enterprise, the implication of Grids and Web services for any organization is currently being developed at W3C. In this paper, the Core Grid Ontology for E-learning (CGOEL) is proposed, which provides the infrastructure on which to build the various Web service implementations. Finally, grid infrastructure is deployed to get easier as commercial support grows and the heroic efforts are packaged properly.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130608520","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}
This paper proposes the correction algorithm of lamina based on bilinear mapping aimed at the problems of image incline and geometric distortion when collecting field lamina images using digital camera. The validity of measurement has not been influenced by size, figure differentia and white background of laminae. The experiment shows that the accuracy can reach to 99% when using this method to correct the lamina image, which is the basement of extracting the lamina features.
{"title":"Investigation on the Correction Algorithm of Lamina Based on Bilinear Mapping","authors":"Haiou Guan, Shaohua Xu","doi":"10.1109/WGEC.2009.128","DOIUrl":"https://doi.org/10.1109/WGEC.2009.128","url":null,"abstract":"This paper proposes the correction algorithm of lamina based on bilinear mapping aimed at the problems of image incline and geometric distortion when collecting field lamina images using digital camera. The validity of measurement has not been influenced by size, figure differentia and white background of laminae. The experiment shows that the accuracy can reach to 99% when using this method to correct the lamina image, which is the basement of extracting the lamina features.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124682646","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}
Hierarchical reconstruction on image sequences is a hot issue recently. When occlusion exists, the result of reconstruction will be affected. This paper proposes an algorithm to solve the occlusion issue on image sequences. The conjugate gradient method is used to estimate the projective depth. Then the initial model is built to judge the outlier. Meanwhile the final result is built with effective value. The method is proved to be feasible according to the experiment result.
{"title":"Hierarchical Reconstruction on Image Sequences under Occluded Condition","authors":"Xiaochun Lei, Shen Chen, Xiaowen Liu, Ruxiong Li","doi":"10.1109/WGEC.2009.157","DOIUrl":"https://doi.org/10.1109/WGEC.2009.157","url":null,"abstract":"Hierarchical reconstruction on image sequences is a hot issue recently. When occlusion exists, the result of reconstruction will be affected. This paper proposes an algorithm to solve the occlusion issue on image sequences. The conjugate gradient method is used to estimate the projective depth. Then the initial model is built to judge the outlier. Meanwhile the final result is built with effective value. The method is proved to be feasible according to the experiment result.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127987198","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}
Optimization model is build for solving the aircraft departure sequencing problem in this paper first. Then, an improved genetic algorithm (GA) using symbolic coding is proposed, where a type of total probability crossover and big probability mutation are performed. In this way, the evolutionary policy of Particle Swarm Optimization (PSO) is absorbed into the improved GA, which reduces the complexity and enhance the efficiency greatly. Last, a simulation program using basic GA, adaptive GA, and improved GA is performed. The simulation result shows that the model is effective and Improved GA has better performance than Basic GA or Adaptive GA.
{"title":"Improved Genetic Algorithm for Aircraft Departure Sequencing Problem","authors":"Laijun Wang, Da-wei Hu, Rui-zi Gong","doi":"10.1109/WGEC.2009.125","DOIUrl":"https://doi.org/10.1109/WGEC.2009.125","url":null,"abstract":"Optimization model is build for solving the aircraft departure sequencing problem in this paper first. Then, an improved genetic algorithm (GA) using symbolic coding is proposed, where a type of total probability crossover and big probability mutation are performed. In this way, the evolutionary policy of Particle Swarm Optimization (PSO) is absorbed into the improved GA, which reduces the complexity and enhance the efficiency greatly. Last, a simulation program using basic GA, adaptive GA, and improved GA is performed. The simulation result shows that the model is effective and Improved GA has better performance than Basic GA or Adaptive GA.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125766092","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}
Biological invasion is a major threat to biodiversity globally. It not only affects ecosystem structure and function, but also brings the economic and environmental impacts. To curb the societal, economic and environmental impacts of alien invasive species (AIS), we need realize the current status and hazard of biological invasions, and understand the invasive routes and mechanisms. Finally, we provide the theoretic connotation of biological invasions according to entropy increasing principle of Second Thermodynamics Law, and some advises on controlling biological invasions. Biological invasions, also called biological pollution, have two-dimension danger at horizontal and vertical scale, and two-channel way in natural and artificial way. The key of studying biological invasions is mechanism and principle. The mechanism of biological invasions focuses on the biological and ecological characteristic of alien invasive species, and frangibility of habitat. Its theoretic connotation embodies following aspects: entropy increasing of ecosystem will conduce to the degradation of energy; negative entropy is the source of life; biological invasion is the course of inputting positive entropy to ecosystem.
{"title":"Perspective of Biological Invasion and its Consideration","authors":"Shengsheng Li, Yan Zhang, Yating Li, N. Yang","doi":"10.1109/WGEC.2009.193","DOIUrl":"https://doi.org/10.1109/WGEC.2009.193","url":null,"abstract":"Biological invasion is a major threat to biodiversity globally. It not only affects ecosystem structure and function, but also brings the economic and environmental impacts. To curb the societal, economic and environmental impacts of alien invasive species (AIS), we need realize the current status and hazard of biological invasions, and understand the invasive routes and mechanisms. Finally, we provide the theoretic connotation of biological invasions according to entropy increasing principle of Second Thermodynamics Law, and some advises on controlling biological invasions. Biological invasions, also called biological pollution, have two-dimension danger at horizontal and vertical scale, and two-channel way in natural and artificial way. The key of studying biological invasions is mechanism and principle. The mechanism of biological invasions focuses on the biological and ecological characteristic of alien invasive species, and frangibility of habitat. Its theoretic connotation embodies following aspects: entropy increasing of ecosystem will conduce to the degradation of energy; negative entropy is the source of life; biological invasion is the course of inputting positive entropy to ecosystem.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"169 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127308632","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}
Recent developments in portable device and growing wireless communication networks have evolved embedded database during the last few years. The embedded database store data that technician and others can access to monitor, diagnose, and otherwise work with the machine. Based on vehicle management requirements, the characteristics and actual demand of remote supervisory system are analyzed in this paper. The design concept and the structural methods of a real-time remote vehicle monitoring system centralized with embedded database are presented; the application of SQLite in real-time data collection, data synchronization and remote communication is also discussed.
{"title":"Remote Monitoring Systems Based on Embedded Database","authors":"Jing Li, Yong Xu","doi":"10.1109/WGEC.2009.54","DOIUrl":"https://doi.org/10.1109/WGEC.2009.54","url":null,"abstract":"Recent developments in portable device and growing wireless communication networks have evolved embedded database during the last few years. The embedded database store data that technician and others can access to monitor, diagnose, and otherwise work with the machine. Based on vehicle management requirements, the characteristics and actual demand of remote supervisory system are analyzed in this paper. The design concept and the structural methods of a real-time remote vehicle monitoring system centralized with embedded database are presented; the application of SQLite in real-time data collection, data synchronization and remote communication is also discussed.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125993252","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}
Beijing Olympic Meteorology Service Centre (BOMSC) takes responsibility for providing Olympic weather forecasting service for Beijing Olympic Committee. This paper presents a mode of Meteorology Forecasting Product Service to generate meteorology forecasting product on time and send them to other departments or information system in Beijing Olympic Committee. In order to meet the requirements for openness, high speed, flexibility and stability, the mode employs an effective framework integrated with TeX language, relational database, templates technology strategy to generate forecasting service product for Beijing Olympic Games. It is the first time to introduce TeX technology into the course of the entire weather service for Olympic Games. A software system named OMIS (Meteorology Information Service System) which is developed in the mode has high stability and good usability. During in Beijing Olympic Games and Paralympic Games, OMIS has been providing high-quality meteorology service without any fault.
{"title":"A Meteorology Forecasting Product Service Mode Based on TeX for Beijing Olympic Games","authors":"L. Dequan, Zhou Yong","doi":"10.1109/WGEC.2009.178","DOIUrl":"https://doi.org/10.1109/WGEC.2009.178","url":null,"abstract":"Beijing Olympic Meteorology Service Centre (BOMSC) takes responsibility for providing Olympic weather forecasting service for Beijing Olympic Committee. This paper presents a mode of Meteorology Forecasting Product Service to generate meteorology forecasting product on time and send them to other departments or information system in Beijing Olympic Committee. In order to meet the requirements for openness, high speed, flexibility and stability, the mode employs an effective framework integrated with TeX language, relational database, templates technology strategy to generate forecasting service product for Beijing Olympic Games. It is the first time to introduce TeX technology into the course of the entire weather service for Olympic Games. A software system named OMIS (Meteorology Information Service System) which is developed in the mode has high stability and good usability. During in Beijing Olympic Games and Paralympic Games, OMIS has been providing high-quality meteorology service without any fault.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"162 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116354378","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}
Jiangfei Zhao, Tinglei Huang, F. Pang, Yuanjie Liu
0-1 knapsack problem is a typical NP complex issues in field of computer. Traditional solve knapsack problem is recursively backtracking and greedy methods. Use recursive backtracking to solve knapsack problem algorithm of the advantages of thinking is that it simple and it can completely traverse the search space, sure to find the optimal solution but the solution space is exponential growth, when the large to a certain extent, with This algorithm will solve the knapsack problem is unrealistic. The greedy algorithm can only be obtained Approximate solve in a certain range near the optimal solution
{"title":"Genetic Algorithm Based on Greedy Strategy in the 0-1 Knapsack Problem","authors":"Jiangfei Zhao, Tinglei Huang, F. Pang, Yuanjie Liu","doi":"10.1109/WGEC.2009.43","DOIUrl":"https://doi.org/10.1109/WGEC.2009.43","url":null,"abstract":"0-1 knapsack problem is a typical NP complex issues in field of computer. Traditional solve knapsack problem is recursively backtracking and greedy methods. Use recursive backtracking to solve knapsack problem algorithm of the advantages of thinking is that it simple and it can completely traverse the search space, sure to find the optimal solution but the solution space is exponential growth, when the large to a certain extent, with This algorithm will solve the knapsack problem is unrealistic. The greedy algorithm can only be obtained Approximate solve in a certain range near the optimal solution","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117128365","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 approach of fast motion estimation (ME), aiming at the stabilization problem of video surveillance system on driving vehicle, is proposed in the paper. The information of color space based on multidimension projection and brightness based on grayscale projection (GP) are jointly considered. Compared with the traditional approaches of GP, the presented approach can be applied to achieve higher precision and remain real-time performance. Furthermore, it is more robust than GP, especially when brightness distribution of video image is nearly even. Meanwhile, scaling factor estimation is also applied, which is helpful to estimate motion vector(MV) from scaling motion mode.
{"title":"A Fast Motion Vector Estimation Method Based on Color Multidimension Projection","authors":"Xiao-Ning Wang, X. Han, Z. Yuan, Hongying Zhao","doi":"10.1109/WGEC.2009.136","DOIUrl":"https://doi.org/10.1109/WGEC.2009.136","url":null,"abstract":"An approach of fast motion estimation (ME), aiming at the stabilization problem of video surveillance system on driving vehicle, is proposed in the paper. The information of color space based on multidimension projection and brightness based on grayscale projection (GP) are jointly considered. Compared with the traditional approaches of GP, the presented approach can be applied to achieve higher precision and remain real-time performance. Furthermore, it is more robust than GP, especially when brightness distribution of video image is nearly even. Meanwhile, scaling factor estimation is also applied, which is helpful to estimate motion vector(MV) from scaling motion mode.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114678434","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
扫码关注我们
求助内容：
应助结果提醒方式：