In order to ensure the correctness and reliability of Web services composition based on OWL-S, verify the interaction protocol of Web services. It is provided that three lay architecture. Composition service based on OWL-S, GA model is the middle model and the Promela model is the verification model, SPIN as a model validator. The OWL-S composition Web services transform a top-down conversation protocol process into a GA model, use WAST tool into Promela model, the SPIN tool analysis and verification structure and performance of composition services. This method is flexibility and scalability which provide a solution for Web services composition model verification.
{"title":"Verification Web Services Composition Based on OWL-S","authors":"Hong Xia, Zeng-zhi Li","doi":"10.1109/KAM.2009.316","DOIUrl":"https://doi.org/10.1109/KAM.2009.316","url":null,"abstract":"In order to ensure the correctness and reliability of Web services composition based on OWL-S, verify the interaction protocol of Web services. It is provided that three lay architecture. Composition service based on OWL-S, GA model is the middle model and the Promela model is the verification model, SPIN as a model validator. The OWL-S composition Web services transform a top-down conversation protocol process into a GA model, use WAST tool into Promela model, the SPIN tool analysis and verification structure and performance of composition services. This method is flexibility and scalability which provide a solution for Web services composition model verification.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"488 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122895311","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}
CATIA is the world's a mainstream CAD /CAE/CAM integration software, which provides CAA, such as VB Automation and secondary development interface. This paper introduced the background of the secondary development of technology and the principle of virtual work, discussion of the pipe based on the CATIA pass design methods, including the use of VB to create CATIA applications, programming ideas, such as concrete steps.
{"title":"CATIA Based on the Welded Pipe Roll Pass Design","authors":"Xian-Jian Yang, Ruitao Liu, Yubin Zhang","doi":"10.1109/KAM.2009.84","DOIUrl":"https://doi.org/10.1109/KAM.2009.84","url":null,"abstract":"CATIA is the world's a mainstream CAD /CAE/CAM integration software, which provides CAA, such as VB Automation and secondary development interface. This paper introduced the background of the secondary development of technology and the principle of virtual work, discussion of the pipe based on the CATIA pass design methods, including the use of VB to create CATIA applications, programming ideas, such as concrete steps.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114170265","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}
Modern enterprise manages indexes more refined and systematically. This paper reviews common construction and function of data warehouse on huge Iron & Steel enterprise and gives an example of Enterprise's index. This example explains the process of building subject data set and computing and analyzing indexes by models and methods in data warehouse platform. It is proved that using the results of the analysis by multi-way display, the enterprise's requirement can be met, and it can improve efficiency of production.
{"title":"Iron & Steel Enterprise Index Analysis System Based on Data Warehouse","authors":"Xiangdong Zhao, Hao Zhang, Jianfeng Lu, Xiao Ji","doi":"10.1109/KAM.2009.161","DOIUrl":"https://doi.org/10.1109/KAM.2009.161","url":null,"abstract":"Modern enterprise manages indexes more refined and systematically. This paper reviews common construction and function of data warehouse on huge Iron & Steel enterprise and gives an example of Enterprise's index. This example explains the process of building subject data set and computing and analyzing indexes by models and methods in data warehouse platform. It is proved that using the results of the analysis by multi-way display, the enterprise's requirement can be met, and it can improve efficiency of production.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114190326","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}
Bing Li, Xiaochen Ding, Wenlei Han, L. Cheng, Mengying Yu
The number of delayed passengers forecast is a key factor to improve the efficiency of airport facility in emergency situation. But it is rarely considered to make a forecast beforehand based on a scientific method preparing for dealing with this kind of event in the future. Aiming at this problem, this paper proposed a forecasting method based on time series analysis. The method provides a relatively all-around approach for airport to better response to emergency.
{"title":"The Number of Passengers Forecast in Emergency Situation of Airport Based on Time Series Analysis","authors":"Bing Li, Xiaochen Ding, Wenlei Han, L. Cheng, Mengying Yu","doi":"10.1109/KAM.2009.291","DOIUrl":"https://doi.org/10.1109/KAM.2009.291","url":null,"abstract":"The number of delayed passengers forecast is a key factor to improve the efficiency of airport facility in emergency situation. But it is rarely considered to make a forecast beforehand based on a scientific method preparing for dealing with this kind of event in the future. Aiming at this problem, this paper proposed a forecasting method based on time series analysis. The method provides a relatively all-around approach for airport to better response to emergency.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129730783","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 present linear programming method in order to estimate the parameters of the DGM(1,1) model under the criterion of the minimization of mean absolute percentage error (MAPE) (some authors called average relative error). A published article is chosen for practical tests of this method, the results show that this method can obviously improve the simulation accuracy.
{"title":"Modelling DGM(1,1) under the Criterion of the Minimization of Mean Absolute Percentage Error","authors":"Lifeng Wu, Yinao Wang","doi":"10.1109/KAM.2009.175","DOIUrl":"https://doi.org/10.1109/KAM.2009.175","url":null,"abstract":"In this paper, we present linear programming method in order to estimate the parameters of the DGM(1,1) model under the criterion of the minimization of mean absolute percentage error (MAPE) (some authors called average relative error). A published article is chosen for practical tests of this method, the results show that this method can obviously improve the simulation accuracy.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129771449","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}
Traditional Web Service search technology based on keyword is time consuming and inefficient. The search results are rather inaccurate. The essential reason is that description of Web Service lacks semantic information. Search Engines can't achieve the interaction automatically and intelligently among services. In this paper, we design and implement a SWSF-SP (Semantic Web Service Framework- Service Pool). Based on domain ontology, we introduce semantic condition expression converter which is designed to describe the SWS (Semantic Web Service) matchmaking condition and semantic expansion reasoning algorithm is applied to expand user's query keywords. The experimental results show that the SWSF-SP simplifies the process of SWS search. Moreover, the precision ratio and recall ratio are improved in comparison with traditional keyword search mode.
{"title":"An Ontology-Based Semantic Expansion Search Model Using Semantic Condition Transform","authors":"Xian Ding, Xinke Li","doi":"10.1109/KAM.2009.64","DOIUrl":"https://doi.org/10.1109/KAM.2009.64","url":null,"abstract":"Traditional Web Service search technology based on keyword is time consuming and inefficient. The search results are rather inaccurate. The essential reason is that description of Web Service lacks semantic information. Search Engines can't achieve the interaction automatically and intelligently among services. In this paper, we design and implement a SWSF-SP (Semantic Web Service Framework- Service Pool). Based on domain ontology, we introduce semantic condition expression converter which is designed to describe the SWS (Semantic Web Service) matchmaking condition and semantic expansion reasoning algorithm is applied to expand user's query keywords. The experimental results show that the SWSF-SP simplifies the process of SWS search. Moreover, the precision ratio and recall ratio are improved in comparison with traditional keyword search mode.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128781801","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}
Measurement of cross-sectional area of spinal canal is always the research focus in medicine, so it has become more and more important to find an efficient and rational method. This paper proposes a new method, which uses coordinate axis rotation and projection transformation to measure the area. The advantages of this method are: transform the 3D measurement into 2D, reduces the computation complexity, moreover, and simplifies the process of computation. Experiments prove that the method has small measurement difference, high reliability; and it can measure the cross-sectional area of vertebral canal precisely. It provides a more scientific and objective way for the measurement of cross-sectional area of spinal canal.
{"title":"Measurement of Cross-Sectional Area of Spinal Canal through Coordinate Axis Rotation and Projection Transformation","authors":"Hongli Yang, Bin Yu, An-Bing Wang","doi":"10.1109/KAM.2009.166","DOIUrl":"https://doi.org/10.1109/KAM.2009.166","url":null,"abstract":"Measurement of cross-sectional area of spinal canal is always the research focus in medicine, so it has become more and more important to find an efficient and rational method. This paper proposes a new method, which uses coordinate axis rotation and projection transformation to measure the area. The advantages of this method are: transform the 3D measurement into 2D, reduces the computation complexity, moreover, and simplifies the process of computation. Experiments prove that the method has small measurement difference, high reliability; and it can measure the cross-sectional area of vertebral canal precisely. It provides a more scientific and objective way for the measurement of cross-sectional area of spinal canal.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126881214","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}
Indexing and query multimedia data is a challenging problem due to the high dimension of multimedia data. Clustering-based indexing structures are quite efficient for high-dimensional data indexing. Unfortunately, clustering-based indexing structures are normally static, and the whole structures have to be rebuilt after inserting new data. To resolve this issue, a two-level indexing method, called PASDS plus PPAT method, has been developed in this paper. In the PASDS level, clusters and their subspaces can be partially updated, while the indexing trees within the clusters are able to be partially updated at the PPAT level. By choosing proper number of children nodes, the proposed method can balance query accuracy and indexing efficiency. From experiments, the PASDS plus PPAT method is very efficient for updating clusters and inner indexing structures for newly inserted data, while its query accuracy and query time are almost the same with similar dynamic indexing methods.
{"title":"PASDS Plus PPAT Indexing Method for Multimedia Data","authors":"Ben Wang, Dongyuan Gu, Dongyong Yang, Jian Zhang","doi":"10.1109/KAM.2009.188","DOIUrl":"https://doi.org/10.1109/KAM.2009.188","url":null,"abstract":"Indexing and query multimedia data is a challenging problem due to the high dimension of multimedia data. Clustering-based indexing structures are quite efficient for high-dimensional data indexing. Unfortunately, clustering-based indexing structures are normally static, and the whole structures have to be rebuilt after inserting new data. To resolve this issue, a two-level indexing method, called PASDS plus PPAT method, has been developed in this paper. In the PASDS level, clusters and their subspaces can be partially updated, while the indexing trees within the clusters are able to be partially updated at the PPAT level. By choosing proper number of children nodes, the proposed method can balance query accuracy and indexing efficiency. From experiments, the PASDS plus PPAT method is very efficient for updating clusters and inner indexing structures for newly inserted data, while its query accuracy and query time are almost the same with similar dynamic indexing methods.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121159944","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}
It requires huge knowledge and experience for Architectural design companies (ADCs) to design a building and specify the details for construction. Most knowledge content needed in Architectural design (AD) process can be classified as either explicit or tacit knowledge. And tacit knowledge refers to experience, problem-solving, know-how, design strategy, etc is the most important resource of ADCs. However, tacit knowledge is concealed in employees head and cannot be effectively translated into the company's intellectual capital. Based on the multi-case study, this thesis proposes a blog based knowledge management (KM) system to capture the knowledge in AD process, and at the same time, improve the reuse of the knowledge.
{"title":"Research of Blog Based Knowledge Management System of Architectural Design Companies","authors":"Pingying Lin, Fan Chen, Hao Qin","doi":"10.1109/KAM.2009.211","DOIUrl":"https://doi.org/10.1109/KAM.2009.211","url":null,"abstract":"It requires huge knowledge and experience for Architectural design companies (ADCs) to design a building and specify the details for construction. Most knowledge content needed in Architectural design (AD) process can be classified as either explicit or tacit knowledge. And tacit knowledge refers to experience, problem-solving, know-how, design strategy, etc is the most important resource of ADCs. However, tacit knowledge is concealed in employees head and cannot be effectively translated into the company's intellectual capital. Based on the multi-case study, this thesis proposes a blog based knowledge management (KM) system to capture the knowledge in AD process, and at the same time, improve the reuse of the knowledge.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114322890","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}
Emergency resource scheduling Optimization model with uncertainty is presented under the condition of disaster. Firstly, emergency resource scheduling problem is discussed in the transport path optimization. Then according to the actual situation of emergence decision-making, of chance-constrained model a model of fuzzy chance constrained programming (FCCP) based on the credibility theory is constructed with fuzzy times. And a hybrid intelligent algorithm for solving chance constrained programming models with fuzzy decisions was also designed. Due to the premature phenomenon of genetic algorithm (GA), the simulated annealing algorithm is introduced in which selection and mutation operator is modified,. So the convergent speed has been increased and premature phenomenon can be avoided. At last, data experiment verified the validity and rationality of the algorithm.
{"title":"Uncertainty Optimization Model for Emergency Resource Scheduling","authors":"Di Li, G. Liu, Youjian Gao","doi":"10.1109/KAM.2009.313","DOIUrl":"https://doi.org/10.1109/KAM.2009.313","url":null,"abstract":"Emergency resource scheduling Optimization model with uncertainty is presented under the condition of disaster. Firstly, emergency resource scheduling problem is discussed in the transport path optimization. Then according to the actual situation of emergence decision-making, of chance-constrained model a model of fuzzy chance constrained programming (FCCP) based on the credibility theory is constructed with fuzzy times. And a hybrid intelligent algorithm for solving chance constrained programming models with fuzzy decisions was also designed. Due to the premature phenomenon of genetic algorithm (GA), the simulated annealing algorithm is introduced in which selection and mutation operator is modified,. So the convergent speed has been increased and premature phenomenon can be avoided. At last, data experiment verified the validity and rationality of the algorithm.","PeriodicalId":192986,"journal":{"name":"2009 Second International Symposium on Knowledge Acquisition and Modeling","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131981957","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
扫码关注我们
求助内容：
应助结果提醒方式：