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

2009 Fourth International Conference on Internet Computing for Science and Engineering最新文献

筛选
英文 中文
A Formal Method for Verifying Production Knowledge Base 生产知识库验证的形式化方法
2009 Fourth International Conference on Internet Computing for Science and Engineering Pub Date : 2009-12-21 DOI: 10.1109/ICICSE.2009.14
Hongtao Huang, Shaobin Huang, Tao Zhang
{"title":"A Formal Method for Verifying Production Knowledge Base","authors":"Hongtao Huang, Shaobin Huang, Tao Zhang","doi":"10.1109/ICICSE.2009.14","DOIUrl":"https://doi.org/10.1109/ICICSE.2009.14","url":null,"abstract":"The most important thing of using model checking technology to verify production knowledge base is to build system model from rule set. It is a fundamental but time-consuming job. This paper presents an efficient formal method to verify production knowledge base. Two main contributions of this paper are as follows. Firstly, we propose a dynamic modeling method to build system model of knowledge base, this method utilizes the dynamic procedural nature of production rule to build system model, and it improves the modeling efficiency significantly; Secondly, a conditional transition system based on the standard transition system is given to represent system model, our conditional transition system contains the whole information about the actual state transition process, which solves the information loss problem of the static transition system built by static modeling method and improves the efficiency of error diagnosis.","PeriodicalId":193621,"journal":{"name":"2009 Fourth International Conference on Internet Computing for Science and Engineering","volume":"132 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132720370","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
A New Key Management Scheme in Clustering Wireless Sensor Networks 一种新的集群无线传感器网络密钥管理方案
2009 Fourth International Conference on Internet Computing for Science and Engineering Pub Date : 2009-12-21 DOI: 10.1109/ICICSE.2009.58
Nianmin Yao, Baoying Ma, Shuping Fan
{"title":"A New Key Management Scheme in Clustering Wireless Sensor Networks","authors":"Nianmin Yao, Baoying Ma, Shuping Fan","doi":"10.1109/ICICSE.2009.58","DOIUrl":"https://doi.org/10.1109/ICICSE.2009.58","url":null,"abstract":"Extension of life cycle has been one of the hot spots in Wireless Sensor Networks. Owing to limited capacity nodes fail as soon as energy is consumed, which tends to shorten survival time of entire wireless sensor network. Therefore, a clustering key management scheme based on hierarchical tree is proposed, furthermore dynamic update of networks is realized in the paper. In the hierarchical tree, child keys can be calculated according to their parent key, and nodes of different importance can be protected distinctively. The results show that it can not only ensure security of networks but also reduce the communication traffic, lower network overhead, and prolong life cycle of networks.","PeriodicalId":193621,"journal":{"name":"2009 Fourth International Conference on Internet Computing for Science and Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117133092","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
Self-Organizing Task Allocation of Multi-robot 多机器人自组织任务分配
2009 Fourth International Conference on Internet Computing for Science and Engineering Pub Date : 2009-12-21 DOI: 10.1109/ICICSE.2009.59
Ziying Zhang, Dong Xu, Xin Liu, J. Zhao
{"title":"Self-Organizing Task Allocation of Multi-robot","authors":"Ziying Zhang, Dong Xu, Xin Liu, J. Zhao","doi":"10.1109/ICICSE.2009.59","DOIUrl":"https://doi.org/10.1109/ICICSE.2009.59","url":null,"abstract":"This existing multi-robot task allocation mechanisms treat tasks as simple, indivisible entities. Also in many applications, the dynamicity and complexity of the environment are not considered. In order to allocate the robots adaptively and flexibility according to the complex task and environment, this paper presents a multi-robot coordination approaches based on virtual pheromone which is inspired by the ant colony foraging behavior in the background of exploring unknown environments by multi-robot system. Numerical and experiment results show that this approach is helpful and reliable, and it is proved that the robots collaboration degree was obviously improved. In addition, the exploration efficiency was greatly improved.","PeriodicalId":193621,"journal":{"name":"2009 Fourth International Conference on Internet Computing for Science and Engineering","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115988778","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
Easy-Shopping: A Deep Web-Based B2C System 轻松购物:一个深度的基于网络的B2C系统
2009 Fourth International Conference on Internet Computing for Science and Engineering Pub Date : 2009-12-21 DOI: 10.1109/ICICSE.2009.44
Peiguang Lin, Ku Jin
{"title":"Easy-Shopping: A Deep Web-Based B2C System","authors":"Peiguang Lin, Ku Jin","doi":"10.1109/ICICSE.2009.44","DOIUrl":"https://doi.org/10.1109/ICICSE.2009.44","url":null,"abstract":"As the brisk development of Internet, shopping online becomes the mainstream. This new shopping makes the customers convenient, but it also makes new trouble that it costs customers much time to browse lots of website to choose the right commodities. This paper analyzed Deep Web technology, proposed the “Easy-shopping” system based on this technology, and introduced each part of this system. This system resolved the problem of inefficiency and complexity in shopping online.","PeriodicalId":193621,"journal":{"name":"2009 Fourth International Conference on Internet Computing for Science and Engineering","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125520808","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
Simulation Model of Team Software Process Using Temporal Parallel Automata 基于时间并行自动机的团队软件过程仿真模型
2009 Fourth International Conference on Internet Computing for Science and Engineering Pub Date : 2009-12-21 DOI: 10.1109/ICICSE.2009.64
Bingzi Zhang, Rubo Zhang
{"title":"Simulation Model of Team Software Process Using Temporal Parallel Automata","authors":"Bingzi Zhang, Rubo Zhang","doi":"10.1109/ICICSE.2009.64","DOIUrl":"https://doi.org/10.1109/ICICSE.2009.64","url":null,"abstract":"Team Software Process (TSP) is brought forward to help improve the efficiency of software development process. Further, establishing simulation model for TSP can facilitate developers’ understanding, forecast possible shortcomings and bottlenecks in process and assist developers’ decision-making, supervise and control project development process. In this paper, firstly Temporal Parallel Automata (TPA) theory expanded from the finite state automata theory is applied into software process modeling. Secondly the concepts and the process control structures of TSP which are divided into sequence, AND-join, AND-split, OR-join, OR-split and Loop structure are mapped to TPA, thereby the TSP simulation model based on TPA is built. Thirdly the definition of soundness is given for soundness verification of process model. Finally, an instance is used to verify the validity of process model. It is proved that activity planning, resource allocation and schedule control of software process can be implemented effectively by the model.","PeriodicalId":193621,"journal":{"name":"2009 Fourth International Conference on Internet Computing for Science and Engineering","volume":"70 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129640259","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
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书