检索结果-内蒙古大学图书馆

13th IEEE International Symposium on High Assurance Systems engineering, HASE 2011

作者： Yang, Rui Chen, Zhenyu Xu, Baowen Wong, W. Eric Zhang, Jie State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Computer Science and Technology Nanjing University Nanjing 210093 China School of Electronic Engineering Huaihai Institute of Technology Lianyungang 222005 China Department of Computer Science University of Texas at Dallas Richardson TX 75803 United States

ISBN: (纸本)9780769546155

A typical approach utilized for automated test case generation is to create a model of the implementation under test. Extended Finite State Machine (EFSM) is among the most popular models for model-based testing. However, automated test case generation on EFSM models is still a challenge task as a result of the fact that an EFSM model may contain infeasible paths. In this article we present a novel approach that combines static analysis and dynamic analysis techniques to address the problems of path infeasibility in the process of test case generation on EFSM models. A metric is presented for the purpose of finding a path subset that has few paths, long path length and goodness feasibility to meet adequacy coverage criteria. In addition, we develop an executable model to obtain run-time information feedback and introduce the Scatter Search into test case generation. Based on the executable model, the expected outputs associated with test data are also collected for construction of test oracles automatically. The experimental results show that our approach has good effectiveness for test case generation on EFSM models, and the method that combines static analysis and dynamic analysis can speed up the process of test case generation greatly. © 2011 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Implementation of an RFID-based biological sample identification and tracking system

Implementation of an RFID-based biological sample identifica...

引用

2011 2nd IEEE RFID Technologies and Applications Conference, RFID-TA 2011, Collocated with the 2011 IEEE MTT-S International Microwave Workshop Series on Millimeter Wave Integration Technologies, IMWS 2011

作者： Zarabzadeh, Atieh Hayati, Farzad Watson, R. William G. Bradley, Geoff Grimson, Jane Centre for Health Informatics Department of Computer Science Trinity College Dublin Ireland Department of Electronic Electrical and Computer Engineering University of Birmingham United Kingdom UCD School of Medicine and Medical Science UCD Conway Institute of Biomolecular and Biomedical Research University College Dublin Ireland Trinity Centre for High Performance Computing Trinity College Dublin Ireland

ISBN: (纸本)9781457700279

Collection, processing, storage and maintenance of samples to facilitate long-term cohort studies in biobanks, requires a system to manage samples in an effective way to prevent sample mix up and loss. Sample identification and tracking system aims to reserve data on the samples at all the times, hence RFID technology is employed. This technology allows information to be stored on the tags attached to tubes containing samples. A system is proposed, designed and prototype in the Prostate Cancer Research Consortium biobank. © 2011 IEEE.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

Information fusion based fault location technology for distribution network

Journal of Software

引用

Journal of Software 2011年第5期6卷 826-833页

作者： Pang, Qingle School of Information and Electronic Engineering Shandong Institute of Business and Technology Yantai China College of Computer Science Liaocheng University Liaocheng China

Along with the increasing the level of distribution network intelligence and the network complexity, the automatic fault location technology for distribution network is particularly important. But the traditional fault location methods based on one information source is impossible to locate the faults accurately because of there are losses or faults in the information from the distribution. So, the information fusion based fault location method for distribution network is proposed. When a fault occurs, one information matrix is created based on the action of all the protective relays, and the other information matrix is created based on the wave data of the current which is recorded at the foot node. The above information matrixes are combined using D-S evidence theory and the fault location is realized. The simulation results show that the fault location method for distribution network not only realizes accurate fault location, but also possesses stronger robustness. © 2011 ACADEMY PUBLISHER.

关键词： Information fusion

来源：评论

学校读者我要写书评

暂无评论

A Novel Knowledge Protection Technique Base on Support Vector Machine Model for Anti-classification

A Novel Knowledge Protection Technique Base on Support Vecto...

引用

The 2011 International Conference on Electric and electronics(EEIC 2011)

作者： Tung-Shou Chen Jeanne Chen Yung-Ching Lin Ying-Chih Tsai Yuan-Hung Kao Keshou Wu Department of Computer Science and Information Engineering National Taichung Institute of Technology Graduate School of Computer Science and Technology National Taichung Institute of Technology Department of Information Engineering and Computer Science Feng Chia University Department of Electronic and Electrical Engineering Xiamen University of Technology

Information security issues are concerned with the disclosure of important privacy information by unethical *** this paper,we proposed the concept of noise data in anti-data mining to protect knowledge in *** scheme is an anti-classification algorithm which is based on support vector machine(SVM).Experimental results showed that the noise data generated from prediction model of SVM can effectively disturb various classification algorithms which make predictions of those classification algorithms less *** scheme effectively protects classified knowledge.

关键词： Privacy-knowledge Support vector machine Anti-data mining Anti-classification

来源：评论

学校读者我要写书评

暂无评论

Opportunities and Challenges in Running Scientific Workflows on the Cloud

Opportunities and Challenges in Running Scientific Workflows...

引用

International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC

作者： Yong Zhao Xubo Fei Ioan Raicu Shiyong Lu School of Computer Science and Engineering Univ. of Electronic and Science Technology of China Chengdu China Department of Computer Science Illinois Institute of Technology Chicago USA Department of Computer Science Wayne State University Detroit USA

Cloud computing is gaining tremendous momentum in both academia and industry. The application of Cloud computing, however, has mostly focused on Web applications and business applications; while the recognition of using Cloud computing to support large-scale workflows, especially data-intensive scientific workflows on the Cloud is still largely overlooked. We coin the term "Cloud Workflow", to refer to the specification, execution, provenance tracking of large-scale scientific workflows, as well as the management of data and computing resources to enable the execution of scientific workflows on the Cloud. In this paper, we analyze why there has been such a gap between the two technologies, and what it means to bring Cloud and workflow together; we then present the key challenges in running Cloud workflow, and discuss the research opportunities in realizing workflows on the Cloud.

关键词： Cloud computing Computational modeling computer architecture Engines Scalability Monitoring Programming

来源：评论

学校读者我要写书评

暂无评论

Multifractal Sensitive Frequency Analysis of Mice ECG Signals Based on Downsampling Approach

Multifractal Sensitive Frequency Analysis of Mice ECG Signal...

引用

International Workshop on Complexity and data Mining (IWCDM)

作者： Chengyu Huo Xiaofei Ma Xinbao Ning Xiaolin Huang Aijun He Xiaojun Qiu Xiaodong Yang Key Laboratory of Modern Acoustics Institute of Biomedical Electronic Engineering School of Electronic Science and Engineering Nanjing University Nanjing China School of Physics and Electronic Engineering Changshu Institute of Technology Changshu China School of Computer Science and Technology China University of Mining and Technology Xuzhou China

In recent years, the nonlinear analysis of electrocardiogram (ECG) signals using multifractal theory has been proved to be effective. In order to further study the sensitivity of the multifractal analysis in distinction between normal and pathological ECG signals, drugs experiments were conducted on mice. Mice received various drugs to imitate different physiological and pathological conditions, and the distributions of mass exponent spectrum curvature with different down sampling scale factors from the ECG signals of healthy and drug injected mice were calculated. The results show that there is a certain range of sensitive frequency in the curve of mass exponent spectrum curvature versus scale factors from the multiscale multifractal analysis results on mice ECG signals. In this range, nonlinear parameters from multifractal analysis are most sensitive to distinguish various physiological and pathological states, and the results are consistent with normal physiological explanation.

关键词： Fractals Electrocardiography Mice Physiology Complexity theory Heart Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Web service schema matching based on invocation instance duplicates

Web service schema matching based on invocation instance dup...

引用

2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011

作者： Wang, Ke Ou, Wei-Jie Zeng, Cheng Li, De-Yi Peng, Zhi-Yong National Science Library Chinese Academy of Sciences Beijing 100190 China State Key Lab of Software Engineering Wuhan University Wuhan 430072 China China Institute of Electronic System Engineering Beijing 100840 China School of Computer Wuhan University Wuhan 430072 China

ISBN: (纸本)9781457711268

Web service schema matching is the preliminary phase of service composition and service Mashup. With the entry of large numbers of services on the Internet, it will be difficult to find and suggest the most relevant service candidates for new composition and Mashup. Furthermore, the composition and Mashup candidates must be confirmed by manual work which is very inefficient and even inefficacious. In this work, we present an approach for web service schema matching based on service invocation instance duplicates. This approach predicts the schema relationship between web service parameters based on duplicates among invocation data sets and is very different from the syntactical-based and semantic-based matching approaches. It can be used for predicting and verifying service composition and Mashup candidates. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Testing static single cell faults using static and dynamic data background

Testing static single cell faults using static and dynamic d...

引用

2011 IEEE Student Conference on Research and Development, SCOReD 2011

作者： Zakaria, Nor Azura Hasan, W.Z.W. Abdul Halin, Izhal Sidek, R.M. Wen, Xiaoqing Microelectronic Department PDSI Technology Park Malaysia Bukit Jalil Kuala Lumpur Malaysia Department of Electrical and Electronic Engineering Faculty Engineering University Putra Malaysia Serdang Selangor Malaysia Department of Creative Informatics Graduate School of Computer Science and System Engineering Kyushu Institute of Technology Iizuka Japan

ISBN: (纸本)9781467301022

This work proposes a bit-adjacent data Background (DB) management scheme to improve fault coverage of March algorithms while simultaneously maintaining the shortest test cycle. Both static and dynamic DB transitions are used in order to detect Deceptive Read Destructive Faults (DRDFs) and Write Disturb Faults (WDFs) that are not detected by previous algorithms. A conventional March Test Algorithm can be modified by using the DB management scheme to form a new March Test Algorithm (referred to as Mod March Test Algorithm), e.g., MATS++(6N) becoming Mod MATS++(6N). This paper shows that Mod March SR (14N) and Mod March CL (12N) can detect DRDFs and WDFs while the corresponding conventional algorithms cannot. It is also shown that Mod March CL(12N) and Mod March SR(14N) with DB management can detect all Static Single Cell Faults based on the Bit-Oriented-Memories (BOM) test method. Comparisons on test cycle time for Mod March SR, March SR, and March SS in the context of memory Built-In-Self-Test (BIST) are also presented. From the simulation result, it shows that by including data Backgrounds (DBs) management in Bit-Oriented Memories (BOM), the cycle test time is the same after a given multiple of DBs in the test algorithm. © 2011 IEEE.

关键词： Built-in self test

来源：评论

学校读者我要写书评

暂无评论

Web service schema matching based on characteristic vector

Web service schema matching based on characteristic vector

引用

IEEE International Conference on Software engineering and Service sciences (ICSESS)

作者： Wang, Ke Ou, Wei-Jie Zeng, Cheng Li, De-Yi Peng, Zhi-Yong National Science Library Chinese Academy of Sciences Beijing 100190 China State Key Lab. of Software Engineering Wuhan University Wuhan 430072 China China Institute of Electronic System Engineering Beijing 100840 China School of Computer Wuhan University Wuhan 430072 China

ISBN: (纸本)9781424496969

Web service schema matching is the preliminary treatment phase of service composition and service mashup. With the entry and exit of large numbers of services on the Internet, it will be difficult to find and suggest the most relevant service candidates for new composition and mashup. In this work, we present an approach for web service schema matching based on characteristic vector consisted of multi-type service parameter information element. This schema matching approach is different form the main syntactical-based and semantic-based matching approaches, and will predict schema relationship more effectively and adaptable for web service. An experiment on real data shows the effectiveness of this approach. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A novel improved sampling algorithm

A novel improved sampling algorithm

引用

International Conference on Communication Software and Networks, ICCSN

作者： Zhiying Tan Yong Feng Chengdu Institute of Computer Application Chinese Academy and Sciences Chengdu China School of Computer Science & Engineering Chengdu Institute of Computer Application University of Electronic Science and Technology of China Chinese Academy of Sciences Chengdu China

In the kernel principal component analysis (KPCA) and manifold learning to reduce the dimensionality, the training set plays a very important role. In this paper, we develop a novel method to select the training samples to reduce the computation of feature extraction and to improve the accuracy of image restoration. The developed method consider the density distribution of the samples and retained the border samples. Experiments on several data sets illustrate that the feature extraction derived from the selected training set is much more efficient than from the original sample set with KPCA. And the novel sampling method can maintain the intrinsic dimension of manifolds formed by the sample points.

关键词： Educational institutions Optimization Noise Kernel

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：