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

2008 The 9th International Conference for Young Computer Scientists最新文献

筛选
英文 中文
Generating Test Cases of Object-Oriented Software Based on EDPN and Its Mutant 基于EDPN及其变体的面向对象软件测试用例生成
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.224
Hongfang Gong, Junyi Li
{"title":"Generating Test Cases of Object-Oriented Software Based on EDPN and Its Mutant","authors":"Hongfang Gong, Junyi Li","doi":"10.1109/ICYCS.2008.224","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.224","url":null,"abstract":"In object-oriented software testing, a class is considered to be a basic unit of testing. The state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. In this paper, we propose a new technique for class testing by using event-driven Petri nets (EDPN), which is an extended version of Petri Nets, one of techniques having the ability to analyze and test the behavior for the interaction between data members and member functions in class. We demonstrate how to specify a class specification by EDPNs and a given fault model by mutant of EDPNs, which is a theoretical model to describe the dynamic behaviors of EDPNs. A test case generation technique is presented to detect the given faults by analyzing the differences of test scenario in the dynamic behaviors of both EDPNs. The presented algorithm can select a test case that detects errors described in the fault models.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129363798","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}
引用次数: 10
Implementation of Pointer Logic for Automated Verification 指针逻辑的自动验证实现
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.168
Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian
{"title":"Implementation of Pointer Logic for Automated Verification","authors":"Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian","doi":"10.1109/ICYCS.2008.168","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.168","url":null,"abstract":"As the security of software is deeply valued while its complexity and size are increasing, automated verification is highly desirable. On the other hand, verification of pointer programs remains a major challenge. In our previous work pointer logic has been proposed to verify basic safety properties of pointer programs, and in this work, we developed efficient algorithms and techniques to implement pointer logic rules for automated verification. The algorithms and techniques are dedicated to reducing the human effort involved in program verification. Moreover, they have been implemented in a tool -- PLCC to automatically verify a range of non-trivial programs such as basic operations on singly-linked lists, trees, circular doubly-linked list etc. and the experimental results show that in acceptable time pointer logic can be applied to automated verification.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130410308","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
Towards a Self-Adaptive Super-node P2P Overlay Based on Information Exchange 基于信息交换的自适应超级节点P2P覆盖
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.316
Jiaqi Liu, Zhigang Chen, Deng Li, Hui Liu
{"title":"Towards a Self-Adaptive Super-node P2P Overlay Based on Information Exchange","authors":"Jiaqi Liu, Zhigang Chen, Deng Li, Hui Liu","doi":"10.1109/ICYCS.2008.316","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.316","url":null,"abstract":"P2P topology design is a hot topic because it is very important for solving the problems such as deficiency in scalability and effectivity of unstructured P2P overlays. A good topology can greatly improve the performance of search algorithm. The paper proposes a self-adaptive Super-node Overlay Based on Information Exchange called SOBIE. The super-node selection in the SOBIE is different from the general super-node selections which only consider physical capabilities such as bandwidth, CPU processing ability, storage space, and etc.. The SOBIE selects the super-nodes by considering the aggregation of the delay, distance, especially the information exchange frequency, exchange time and query similarity. The SOBIE also detects the free-riders and forces them to quit the system. Through experimental simulations, we prove that the SOBIE has better performance than random or standard super-node P2P topologies in terms of file query success rate, the average query hops, and the total number of query messages.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130516105","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 Scenario-Based Problem Decomposition 基于场景的问题分解
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.139
Xiaohong Chen, Zhi Jin
{"title":"A Scenario-Based Problem Decomposition","authors":"Xiaohong Chen, Zhi Jin","doi":"10.1109/ICYCS.2008.139","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.139","url":null,"abstract":"Problem analysis has long been recognized as key to requirements engineering, for which problem frames approach offers a structured way by means of providing a generic paradigm for analyzing problems of various types. Problem decomposition is an important concern in structuring problem which has also been recognized as the key to mastering problem size and complexity. However, at present it still lacks of feasible and effective ways for decomposing problems. In this paper, we propose a scenario-based approach for tackling the issues on problem decomposition. A problem decomposition process is suggested. And a small case has been used to show the feasibility of this approach.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130531190","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
Comparative Research of XML Compression Technologies XML压缩技术的比较研究
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.203
S. Zhang, Xiaoling Bao, Jian Shu, Sha Chen
{"title":"Comparative Research of XML Compression Technologies","authors":"S. Zhang, Xiaoling Bao, Jian Shu, Sha Chen","doi":"10.1109/ICYCS.2008.203","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.203","url":null,"abstract":"XML is a de-facto standard for exchanging and presenting information on the Web. However, XML data is also recognized as verbose since it heavily inflates the size of the data due to the repeated tags and structures. The data verbosity problem gives rise to many challenges of conventional query processing and data exchange. The hindrance is more apparent in bandwidth-and memory-limited devices. Compression techniques are the important way to overcome the verbosity problem. This paper compares and analyzes proposed the state-of-the-art XML-conscious compression technologies, study their pros and cons, then discuss further works.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126872034","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
Fault-Tolerant Scheduling for Periodic Tasks based on DVFS 基于DVFS的周期任务容错调度
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.348
Ping-fei Zhu, Fumin Yang, Gang Tu, W. Luo
{"title":"Fault-Tolerant Scheduling for Periodic Tasks based on DVFS","authors":"Ping-fei Zhu, Fumin Yang, Gang Tu, W. Luo","doi":"10.1109/ICYCS.2008.348","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.348","url":null,"abstract":"Dynamic voltage and frequency scaling (DVFS) technique is emerging in various battery-operated embedded systems to reduce the energy consumption and prolong the working life of the system. However, DVFS technology has been proved to have some direct and negative effects on the reliability of the system. Most existing schedulers of real-time tasks based on DVFS only focus on minimizing energy consumption without taking the fault-tolerant into account. To solve this problem, in this study, we developed a novel energy-aware fault-tolerant (EAFT) technique that was tailored for the real-time periodic tasks. The heuristic EAFT balances the allocation of slacks used for reducing energy consumption and used for re-executing the failed tasks. The simulation results showed that the proposed reliability-aware schemes could guarantee the system reliability and significantly save energy comparing to the existing allocating schemes.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127038726","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
Vibration Signal Analysis of Rotor System Based on Time-Frequency Attributes 基于时频属性的转子系统振动信号分析
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.171
Ling Xiang, Guiji Tang, Yongli Zhu
{"title":"Vibration Signal Analysis of Rotor System Based on Time-Frequency Attributes","authors":"Ling Xiang, Guiji Tang, Yongli Zhu","doi":"10.1109/ICYCS.2008.171","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.171","url":null,"abstract":"The time-frequency analysis by Hilbert-Huang transform (HHT) plays on a significant role in the analysis of singularities, which hide in the signal, and is an effective method for non-stationary signal. Based on empirical mode decomposition (EMD), the Hilbert-Huang method can obtain a true instantaneous frequency representation of a signal. The analytical background of the HHT is introduced, and its effectiveness is experimentally evaluated using vibration signal. The experiment data of typical vibration faults signal were analyzed by the method, and the result shows that the proposed method can not only reveal the time-frequency features of vibration signal but also extrude components of low energy. Therefore, it is a very effective tool to diagnose the early faults of rotor system. And it provides new means for state detection and fault diagnosis of rotating machine.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"388 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124199579","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 Vector Matrix Iterative Self-Organizing Assistant Clustering Algorithm of XML Document XML文档的向量矩阵迭代自组织辅助聚类算法
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.170
Bo Liu, Luming Yang, Yunlong Deng
{"title":"A Vector Matrix Iterative Self-Organizing Assistant Clustering Algorithm of XML Document","authors":"Bo Liu, Luming Yang, Yunlong Deng","doi":"10.1109/ICYCS.2008.170","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.170","url":null,"abstract":"To improve the clustering quality of massive extensible markup language (XML) document clustering, this paper proposes a vector matrix iterative self-organizing assistant clustering algorithm of XML document (VMISACAX). The algorithm bases on the XML key, and transforms XML document into vector matrix, then carries out the optimizations of canceling, dissociating and uniting etc. In order to improve the convergence of the algorithm, a assistant strategy is imported to shorten the algorithm time under settling for clustering, to obtain best result of clustering by XML key's weights, but it doesn't always obtain the maximum distance's target of matrix vector clustering. Contrasted with other vector clustering algorithms, a series of emulation experiments show that this algorithm has proper the effectiveness and feasibility.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123462386","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
A Multi-Agent System Frame Model for Dynamic Integration 面向动态集成的多智能体系统框架模型
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.56
Yingqiang Wang, Qingshan Li, Chenguang Zhao, Hua Xing
{"title":"A Multi-Agent System Frame Model for Dynamic Integration","authors":"Yingqiang Wang, Qingshan Li, Chenguang Zhao, Hua Xing","doi":"10.1109/ICYCS.2008.56","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.56","url":null,"abstract":"Since low flexibility and non-dynamic problems exit in the process of software system integration, a multi-agent system frame model which introduces the agent techniques into system integration domain is proposed for problem solving. Based on the MAS frame model, independent software units are wrapped to agents, and their integration logic is described by the script language. Through explaining the file, the collaboration of multi-agent is under control. Dialogue expansion contract net protocol is used for the cooperation when agent cannot solve problems by itself. In order to achieve the aim of flexible and dynamic integration, new wrapped agents can be added into MAS dynamically and the edited script can be explained by the parser. Finally, the agent-based system integration tools is built upon this frame model, and an application of this model about the border and coast defense system is presented, which verifies the rationality, feasibility and efficiency.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"263 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121614246","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
Hybrid SAT Solver Considering Circuit Observability 考虑电路可观测性的混合SAT求解器
2008 The 9th International Conference for Young Computer Scientists Pub Date : 2008-11-18 DOI: 10.1109/ICYCS.2008.84
Xiuqin Wang, Hao Wang, Guangsheng Ma
{"title":"Hybrid SAT Solver Considering Circuit Observability","authors":"Xiuqin Wang, Hao Wang, Guangsheng Ma","doi":"10.1109/ICYCS.2008.84","DOIUrl":"https://doi.org/10.1109/ICYCS.2008.84","url":null,"abstract":"Boolean satisfiability is a NP-hard problem in computer theoretic science. There are two types of SAT solvers, random local solver and DPLL-based complete solver. Some people have proposed hybrid SAT solvers that combined the advantage of them both. They have successfully applied them to solve large or hard random SAT problems and circuit related problems. However, these solvers often find over-satisfying assignments when solving some circuit related problems. In this paper, circuit observability is considered in hybrid SAT solver, which helps reduce the overhead caused by over-satisfying and prune the searching space. The experimental results show that our hybrid SAT solver is more efficient than other solvers for large and hard circuits.","PeriodicalId":370660,"journal":{"name":"2008 The 9th International Conference for Young Computer Scientists","volume":"28 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113969000","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
首页 上一页 下一页 尾页
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学术官方微信