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

2009 WRI World Congress on Software Engineering最新文献

筛选
英文 中文
Expression of Xylanase from A.niger C3486 and Analysis by Bioinformatics 黑曲霉C3486木聚糖酶的表达及生物信息学分析
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.177
Ling Lin, Lihua Liu, H. Lian, Kai Su, Shihua Wang
{"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}
引用次数: 1
Formal Verification of 802.11 MAC Layer Handoff Process Using SPIN Model Checker 使用SPIN模型检查器正式验证802.11 MAC层切换过程
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.218
Dan Zhao, Dafang Zhang, Li Miao
{"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}
引用次数: 1
Intelligent Digital System in Urban Natural Hazard Mitigation 城市自然灾害减灾智能数字系统
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.329
A. Tang, C. Ran, Lianfa Wang, L. Gai, M. Dai
{"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}
引用次数: 2
Construction and Application of SOTER-LUCC Database in Fujian Province 福建省SOTER-LUCC数据库建设与应用
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.69
Zhi-qiang Chen, Jian-fei Chen
{"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}
引用次数: 0
Information Search Based on Test Mining and EXTJS 基于测试挖掘和EXTJS的信息搜索
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.60
Libin Yang, Yilai Zhang, Hailin Li
{"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}
引用次数: 1
A New Extended Arc-Node Data Model of Dynamic Segmentation Technology in Urban GIS-T 城市GIS-T动态分割技术的扩展弧节点数据模型
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.407
Zhu Weigang, Jiang Guiyan
{"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}
引用次数: 8
A Redundancy Based Term Weighting Approach for Text Categorization 基于冗余度的词加权文本分类方法
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.191
Zhenyu Lu, Yong-min Lin, Shuang Zhao, Jing-Nian Chen, Wei-dong Zhu
{"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}
引用次数: 3
Comparative Study on River Flow Forecasting Methods of River Networks 河网流量预报方法的比较研究
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.321
Rui Wang, J. Xia
{"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}
引用次数: 1
A Goals-Driven Customizing Approach of Web Service-Based Software 基于Web服务的软件目标驱动的定制方法
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.16
Shouxin Wang, Li Zhang, Chong Wang, Jian Wang, K. He
{"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}
引用次数: 0
An Approach of Dynamically Test COM Components Memory Abnormity 动态测试COM组件内存异常的方法
2009 WRI World Congress on Software Engineering Pub Date : 2009-05-19 DOI: 10.1109/WCSE.2009.261
Binbin Qu, Jufang Shu, Xiaodong Xie, Yansheng Lu
{"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}
引用次数: 0
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信