Xylanase (E.C 3.2.1.8) is a widespread group of enzyme which can catalyze the endohydrolysis of 1,4-beta-D-xylosidic linkages in xylan. Xylanse has a wide application in industrial processes. In this study, the total RNA was isolated, the mature xylanase gene was obtained from Aspergillus niger C3486 by RT-PCR. To achieve secretive expression, pET32a (+) was used as expression vector, and the cloned gene was expressed in E. coli BL21 (DE3). After induction by IPTG, a large quantity of xylanase was produced with xylanase activity. With the analysis of bioinformatics, this xylanase contains a preceding peptide. Moreover, it has a typical conserve domain of xylanase. Perdicted by web site on line, the xylanase is globulin, and its super structure contains many beta sheets.
木聚糖酶(E.C 3.2.1.8)是一类广泛存在的酶，可以催化木聚糖中1,4- β - d -木糖苷键的内水解。木聚糖在工业生产中有着广泛的应用。本研究分离了黑曲霉C3486的总RNA，采用RT-PCR方法获得了成熟的木聚糖酶基因。为实现隐匿表达，以pET32a(+)为表达载体，克隆基因在大肠杆菌BL21 (DE3)中表达。经IPTG诱导后，产生大量具有活性的木聚糖酶。生物信息学分析表明，该木聚糖酶含有前导肽。此外，它还具有典型的木聚糖酶保守结构域。根据网上网站的预测，木聚糖酶是一种球蛋白，其上层结构含有许多β层。
{"title":"Expression of Xylanase from A.niger C3486 and Analysis by Bioinformatics","authors":"Ling Lin, Lihua Liu, H. Lian, Kai Su, Shihua Wang","doi":"10.1109/WCSE.2009.177","DOIUrl":"https://doi.org/10.1109/WCSE.2009.177","url":null,"abstract":"Xylanase (E.C 3.2.1.8) is a widespread group of enzyme which can catalyze the endohydrolysis of 1,4-beta-D-xylosidic linkages in xylan. Xylanse has a wide application in industrial processes. In this study, the total RNA was isolated, the mature xylanase gene was obtained from Aspergillus niger C3486 by RT-PCR. To achieve secretive expression, pET32a (+) was used as expression vector, and the cloned gene was expressed in E. coli BL21 (DE3). After induction by IPTG, a large quantity of xylanase was produced with xylanase activity. With the analysis of bioinformatics, this xylanase contains a preceding peptide. Moreover, it has a typical conserve domain of xylanase. Perdicted by web site on line, the xylanase is globulin, and its super structure contains many beta sheets.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124357383","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}
IEEE 802.11 based wireless local area network have been rapidly growth and deployment in the recent years. Critical to the 802.11 MAC operations, is the handoff process which occurs when a mobile node moves its association from one access point to another. In this paper, we firstly present the formal description of handoff process, based on finite state machine. And then, we extend the semantic of PROMELA, the accepted model of well-known model checker—SPIN, to make it applicable for the description of broadcast communication and timer characteristic in the handoff process. Finally, we carry out the formal verification for the Linear Temporal Logic properties of handoff process using SPIN.
{"title":"Formal Verification of 802.11 MAC Layer Handoff Process Using SPIN Model Checker","authors":"Dan Zhao, Dafang Zhang, Li Miao","doi":"10.1109/WCSE.2009.218","DOIUrl":"https://doi.org/10.1109/WCSE.2009.218","url":null,"abstract":"IEEE 802.11 based wireless local area network have been rapidly growth and deployment in the recent years. Critical to the 802.11 MAC operations, is the handoff process which occurs when a mobile node moves its association from one access point to another. In this paper, we firstly present the formal description of handoff process, based on finite state machine. And then, we extend the semantic of PROMELA, the accepted model of well-known model checker—SPIN, to make it applicable for the description of broadcast communication and timer characteristic in the handoff process. Finally, we carry out the formal verification for the Linear Temporal Logic properties of handoff process using SPIN.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125197427","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 intelligent technique is becoming the most important and powerful aided tool to manage the infrastructure information and reduce the urban natural hazards. This paper presents the development in building the smart digital China programs and the application of the digital technique to mitigate natural hazard in Chinese cities. The digital techniques in this paper mean the "3S" technique, which is geographical information system (GIS), globe positioning system (GPS) and remote sensing (RS). As one of the powerful and the most popular tools, 3S is applied to these systems for infrastructure information management and natural hazard reduction. So far, most of Chinese cities have built their own intelligent digital natural hazard systems, which are mainly built based on 3S. Some details techniques in the procedure of building the digital system, including the integration methods, data transferring and data communication among 3S systems, are discussed. The principle, design criteria, structure and functions of these systems are also described in this paper. As an illustration, several successful cases are illustrated.
{"title":"Intelligent Digital System in Urban Natural Hazard Mitigation","authors":"A. Tang, C. Ran, Lianfa Wang, L. Gai, M. Dai","doi":"10.1109/WCSE.2009.329","DOIUrl":"https://doi.org/10.1109/WCSE.2009.329","url":null,"abstract":"The intelligent technique is becoming the most important and powerful aided tool to manage the infrastructure information and reduce the urban natural hazards. This paper presents the development in building the smart digital China programs and the application of the digital technique to mitigate natural hazard in Chinese cities. The digital techniques in this paper mean the \"3S\" technique, which is geographical information system (GIS), globe positioning system (GPS) and remote sensing (RS). As one of the powerful and the most popular tools, 3S is applied to these systems for infrastructure information management and natural hazard reduction. So far, most of Chinese cities have built their own intelligent digital natural hazard systems, which are mainly built based on 3S. Some details techniques in the procedure of building the digital system, including the integration methods, data transferring and data communication among 3S systems, are discussed. The principle, design criteria, structure and functions of these systems are also described in this paper. As an illustration, several successful cases are illustrated.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125866813","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}
Soil and Terrain Digital Database (SOTER) recognizes the regional land according to terrain, rock, and soil providing a comprehensive framework for the data storage and retrieval. Currently SOTER has been authorized and become one of hotspots in the studies of soil and sustainable use of land. Combining SOTER and LUCC, taking SOTER units as the frame of LUCC information, constructing SOTER-LUCC database will provide more abundant and reliable data sources and can be used for a wide range of applications at different scales. Backed by the technology of “3S”, the study builds the SOTER-LUCC database in a moderate scale in Fujian province which has been applied in the assessment of the relative sensitivity of ecosystem to acid deposition and the suitable sites selection for Euphoria Longan in Fujian province and turned out to be feasible.
{"title":"Construction and Application of SOTER-LUCC Database in Fujian Province","authors":"Zhi-qiang Chen, Jian-fei Chen","doi":"10.1109/WCSE.2009.69","DOIUrl":"https://doi.org/10.1109/WCSE.2009.69","url":null,"abstract":"Soil and Terrain Digital Database (SOTER) recognizes the regional land according to terrain, rock, and soil providing a comprehensive framework for the data storage and retrieval. Currently SOTER has been authorized and become one of hotspots in the studies of soil and sustainable use of land. Combining SOTER and LUCC, taking SOTER units as the frame of LUCC information, constructing SOTER-LUCC database will provide more abundant and reliable data sources and can be used for a wide range of applications at different scales. Backed by the technology of “3S”, the study builds the SOTER-LUCC database in a moderate scale in Fujian province which has been applied in the assessment of the relative sensitivity of ecosystem to acid deposition and the suitable sites selection for Euphoria Longan in Fujian province and turned out to be feasible.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125294435","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}
One of information search based on test mining and EXTJS technology is provided, which uses the relative principles in the filed of test mining and segmentation technology to preprocess and transform the information from internet. The problem of large data dimension caused by the redundancy characters extracted from the test is resolved and it improves the performance of the FE algorithm. Finally, the visual windows of results and easy operation web page interaction interface of management are showed and the burden of the CPU and memory of the server brought by the computing of the test mining is relieved by the new technology of EXTJS. The information decision system of the ceramic company testify that this method have the characters of intelligent behavior, precise result, beautiful and convenient interaction interface, easy operation and synchronization of running.
{"title":"Information Search Based on Test Mining and EXTJS","authors":"Libin Yang, Yilai Zhang, Hailin Li","doi":"10.1109/WCSE.2009.60","DOIUrl":"https://doi.org/10.1109/WCSE.2009.60","url":null,"abstract":"One of information search based on test mining and EXTJS technology is provided, which uses the relative principles in the filed of test mining and segmentation technology to preprocess and transform the information from internet. The problem of large data dimension caused by the redundancy characters extracted from the test is resolved and it improves the performance of the FE algorithm. Finally, the visual windows of results and easy operation web page interaction interface of management are showed and the burden of the CPU and memory of the server brought by the computing of the test mining is relieved by the new technology of EXTJS. The information decision system of the ceramic company testify that this method have the characters of intelligent behavior, precise result, beautiful and convenient interaction interface, easy operation and synchronization of running.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126628678","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 view of the existing problems of dynamic segmentation technology’s application in urban GIS-T(Geographic Information System for Transportation), the article puts forward the linear reference system of arc-node of urban roads on the basis of analyzing the characteristics of urban transportation information, and builds up dynamic segmentation data model based on the arc-node model. The article studies on dynamic segmentation algorithm and tests its feasibility and accuracy with the examples of partial roads network of Changchun city.
{"title":"A New Extended Arc-Node Data Model of Dynamic Segmentation Technology in Urban GIS-T","authors":"Zhu Weigang, Jiang Guiyan","doi":"10.1109/WCSE.2009.407","DOIUrl":"https://doi.org/10.1109/WCSE.2009.407","url":null,"abstract":"In view of the existing problems of dynamic segmentation technology’s application in urban GIS-T(Geographic Information System for Transportation), the article puts forward the linear reference system of arc-node of urban roads on the basis of analyzing the characteristics of urban transportation information, and builds up dynamic segmentation data model based on the arc-node model. The article studies on dynamic segmentation algorithm and tests its feasibility and accuracy with the examples of partial roads network of Changchun city.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"615 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122695036","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}
With the rapid development of World Wide Web, text categorization has played an important role in organizing and processing large amount of text data. TF•IDF is a simple and quick term weighting method, and widely used in text categorization. But the drawback of TF•IDF is large weight may be assigned to rarely appeared terms in despite of the posterior distribution. This paper presents a redundancy based term weighting method to solve this problem by taking posterior probability distribution into consideration. Experiments on Reuters-21578 and Chinese corpus provide by Computer and Information Technology Data Center of Fudan University show that this weighting method has better performance over TF•IDF.
{"title":"A Redundancy Based Term Weighting Approach for Text Categorization","authors":"Zhenyu Lu, Yong-min Lin, Shuang Zhao, Jing-Nian Chen, Wei-dong Zhu","doi":"10.1109/WCSE.2009.191","DOIUrl":"https://doi.org/10.1109/WCSE.2009.191","url":null,"abstract":"With the rapid development of World Wide Web, text categorization has played an important role in organizing and processing large amount of text data. TF•IDF is a simple and quick term weighting method, and widely used in text categorization. But the drawback of TF•IDF is large weight may be assigned to rarely appeared terms in despite of the posterior distribution. This paper presents a redundancy based term weighting method to solve this problem by taking posterior probability distribution into consideration. Experiments on Reuters-21578 and Chinese corpus provide by Computer and Information Technology Data Center of Fudan University show that this weighting method has better performance over TF•IDF.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122799407","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 attempts to set up multivariate linear regression analysis (MLRA) model and 3-layers BP artificial neural network (ANN) mode on river networks and do some comparative researches about them. The applications to the watershed of Tarim indicate that the river flow processes which are simulated separately by two models are satisfactory. They can be the foundation for water resource allocation and scheduling. Above all, through analyzing the structures and forecast precisions of these models, artificial neural network model is better as compared with multivariate linear regression analysis model. In the end, this article puts forward some proposals about how to strengthen the predict abilities of river flow forecasting methods of river networks.
{"title":"Comparative Study on River Flow Forecasting Methods of River Networks","authors":"Rui Wang, J. Xia","doi":"10.1109/WCSE.2009.321","DOIUrl":"https://doi.org/10.1109/WCSE.2009.321","url":null,"abstract":"This paper attempts to set up multivariate linear regression analysis (MLRA) model and 3-layers BP artificial neural network (ANN) mode on river networks and do some comparative researches about them. The applications to the watershed of Tarim indicate that the river flow processes which are simulated separately by two models are satisfactory. They can be the foundation for water resource allocation and scheduling. Above all, through analyzing the structures and forecast precisions of these models, artificial neural network model is better as compared with multivariate linear regression analysis model. In the end, this article puts forward some proposals about how to strengthen the predict abilities of river flow forecasting methods of river networks.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114593810","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}
Shouxin Wang, Li Zhang, Chong Wang, Jian Wang, K. He
In Service-Oriented Computing (SOC), personalized requirements from diverse user present challenges to develop software with lower cost and high degree of satisfaction. Due to the popularity and fundamentality of Web services (WS), WS-based software is born through SOC by dynamically linking and customizing Web Services resources in the Internet to meet users’ goals. This paper proposes a goal-driven approach for customizing WS-based software to satisfy diversity of users’ requirements. More specifically, a unified and service-oriented framework for requirements metamodeling is adopted to construct well-organized and interrelated domain assets as the basis for customization; and a goal-driven customization method for WS-based software is designed to support implementation of this approach. This is followed by a case study in the urban transportation domain that demonstrates in detail the feasibility of our approach.
{"title":"A Goals-Driven Customizing Approach of Web Service-Based Software","authors":"Shouxin Wang, Li Zhang, Chong Wang, Jian Wang, K. He","doi":"10.1109/WCSE.2009.16","DOIUrl":"https://doi.org/10.1109/WCSE.2009.16","url":null,"abstract":"In Service-Oriented Computing (SOC), personalized requirements from diverse user present challenges to develop software with lower cost and high degree of satisfaction. Due to the popularity and fundamentality of Web services (WS), WS-based software is born through SOC by dynamically linking and customizing Web Services resources in the Internet to meet users’ goals. This paper proposes a goal-driven approach for customizing WS-based software to satisfy diversity of users’ requirements. More specifically, a unified and service-oriented framework for requirements metamodeling is adopted to construct well-organized and interrelated domain assets as the basis for customization; and a goal-driven customization method for WS-based software is designed to support implementation of this approach. This is followed by a case study in the urban transportation domain that demonstrates in detail the feasibility of our approach.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128770603","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}
With the rapid development in the field of components based software engineering, there is a need for security testing of third-party components. Components possess characteristics such as strict encapsulation and binary code reuse, making components testing more difficult than traditional testing. In this paper, we introduce a new testing system based on dot net for dynamic monitoring COM components’ memory abnormity by debugging technique, metadata extraction technology and windows message mechanisms. The system can perform metadata extracting algorithm from components which are described by XML documents. Meanwhile, the approach of obtaining components parameters is discussed. The empirical results demonstrate that the system can effectively monitor and capture memory abnormity during run-time.
{"title":"An Approach of Dynamically Test COM Components Memory Abnormity","authors":"Binbin Qu, Jufang Shu, Xiaodong Xie, Yansheng Lu","doi":"10.1109/WCSE.2009.261","DOIUrl":"https://doi.org/10.1109/WCSE.2009.261","url":null,"abstract":"With the rapid development in the field of components based software engineering, there is a need for security testing of third-party components. Components possess characteristics such as strict encapsulation and binary code reuse, making components testing more difficult than traditional testing. In this paper, we introduce a new testing system based on dot net for dynamic monitoring COM components’ memory abnormity by debugging technique, metadata extraction technology and windows message mechanisms. The system can perform metadata extracting algorithm from components which are described by XML documents. Meanwhile, the approach of obtaining components parameters is discussed. The empirical results demonstrate that the system can effectively monitor and capture memory abnormity during run-time.","PeriodicalId":331155,"journal":{"name":"2009 WRI World Congress on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128680189","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
扫码关注我们
求助内容：
应助结果提醒方式：