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

Approach for measuring quality of Web services based on the superposition of uncertain factors

Jisuanji Yanjiu yu Fazhan/computer Research and Development 2009年第5期46卷 841-849页

作者： Yue, Kun Liu, Weiyi Wang, Xiaoling Li, Jin Department of Computer Science and Engineering School of Information Science and Engineering Yunnan University Kunming 650091 China Institute of Massive Computing Software Engineering Institute East China Normal University Shanghai 200062 China Department of Software Engineering School of Software Yunnan University Kunming 650091 China

As an important basis of Web services selection, discovery and composition, the quality of Web services is widely studied and has become a subject of intense debate in recent years. It is necessary to conquer the subjectivity of existing methods for measuring quality of Web services, depict the inherent uncertainties implied in service invocations and the mutual relationships among the deterministic factors. Therefore, invocation rate, success rate and efficiency are defined as three representative factors with respect to the quality of elementary Web services. By statistical computation of historical invocations on elementary services, the quantitative values of the above three factors can be obtained. In this paper, according to the basic ideas of evidence combination and evidence superposition, an approach is proposed to measure the quality of elementary Web services based on the superposition of the above uncertain factors. Based on the mean of corresponding qualities of elementary Web services, another approach is proposed for measuring higher-granularity services. Further, a method for determining priorities among Web services is given accordingly. The proposed methods are well consistent with people's intuition. Performance studies verify their efficiency, scalability and feasibility.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Automated Design of Logic Circuits with a Increasable Evolution Approach

Automated Design of Logic Circuits with a Increasable Evolut...

引用

IEEE International Conference on High Performance Computing and Communications (HPCC)

作者： Guoliang He Naixue Xiong Athanasios V. Vasilakos Yuanxiang Li Zhongzhi Shi State Key Laboratory of Software Engineering Wuhan University of China Wuhan China Key Laboratory of Intelligent Information Process Institute of Computing Technology Chinese Academy and Sciences Beijing China Department of Computer Science Georgia State University USA Department of Computer Science Saint Francis Xavier University Canada

Since the scalability of logic circuits is becoming larger and more complex, the auto-design is becoming more and more difficult. In order to improve automatic design and performance evaluation of logic circuits in efficiency and capability of optimization, multiobjective simulated annealing (MSA) based increasable evolution approach is designed to evolve logic circuits automatically with an extended matrix encoding method, which can be able to reflect the potential performance of a circuit and reduce the risk of deleting a circuit with a good developing potential during evolution is devised. In the process of evolution, each individual is renewedly associated to a corresponding objective in terms of a novel adaptive evaluation method at each generation. In experiments, complicated arithmetic circuits are designed to assess the performance of MSA against other algorithms. Results indicate that the proposed method could design logic circuits efficiently.

关键词： Logic circuits Encoding Hardware Scalability Circuit simulation Simulated annealing Genetic algorithms Laboratories computer science Arithmetic

来源：评论

学校读者我要写书评

暂无评论

A quantum secure direct communication with authentication

引用

information Technology Journal 2009年第7期8卷 1027-1032页

作者： Chen, Zu-Ning Qin, Zheng Lu, Lei Department of Computer Science and Technology Institute of Software Theory and Technology Xi'an Jiaotong University West Building 1 Xianning West No. 28 Xi'an Shaanxi 710049 China Department of Physics Guangxi University Nanning Guangxi 530004 China School of Information Science and Technology Tsinghua University Beijing 100084 China Library of Ludong University Yantai Shandong 264025 China

In this study, a novel quantum secure direct communication protocol is proposed with authentication using the quantum superdense coding scheme and a braid-based key agreement protocol. The security of the proposed protocol is based on the no-cloning theorem, the correlations of quantum entanglement and the fact that the p-th root finding problem on braid groups is intractable even on quantum computers, as well as classical computers. In the proposed protocol, the sender Alice and the receiver Bob firstly apply a braid-based key agreement protocol to share a secret random number, whose size and magnitude are undecided in advance, for authentication. Then, Alice and Bob share a set of EPR pairs. Both sides authenticate each other through the Bell state measurement on their check qubits. Alice encodes a secret message on their message qubits in terms of superdense coding and then sends her message qubits to Bob. After receiving Alice's message qubits, Bob decodes them so as to get the secret message. We prove rigorously that the proposed QSDC protocol can resist the known attacks so far, particularly the man in the middle attacks. At the same time the proposed protocol is similar in the communication way to the common communication. © 2009 Asian Network for Scientific information.

关键词： Quantum cryptography

来源：评论

学校读者我要写书评

暂无评论

Quantum teleportation of wavepackets in a non-Gaussian state

Quantum teleportation of wavepackets in a non-Gaussian state

引用

Conference on Lasers and Electro-Optics (CLEO)

作者： Noriyuki Lee Yuishi Takeno Hugo Benichi Hidehiro Yonezawa James Webb Elanor Huntington Ladislav Mista Radim Filip Peter van Loock Samuel L. Braunstein Akira Furusawa Department of Applied Physics School of Engineering University of Tokyo Bunkyo Tokyo Japan CREST Japan Science and Technology Agency Chuo Tokyo Japan Centre for Quantum Computer Technology School of Information Technology and Electrical Engineering University College University of New South Wales Canberra ACT Australia Department of Optics Palacký University Olomouc Czech Republic Optical Quantum Information Theory Group Institute of Theoretical Physics I and Max-Planck Research Group Institute of Optics Information and Photonics Universität Erlangen Nürnberg Erlangen Germany Computer Science University of York York UK

We demonstrate quantum teleportation of wavepackets in a non-Gaussian state, so-called ldquoSchroumldinger kittenrdquo, for the first time.

关键词： Teleportation Quantum computing Quantum mechanics information processing Paramagnetic resonance Optical filters Optical pumping Physics Protocols Delay lines

来源：评论

学校读者我要写书评

暂无评论

Newborn Screening System Based on Adaptive Feature Selection and Support Vector Machines

Newborn Screening System Based on Adaptive Feature Selection...

引用

IEEE Symposium on Bioinformatics and Bioengineering (BIBE)

作者： Sung-Huai Hsieh Yin-Hsiu Chien Chia-Ping Shen Wei-Hsin Chen Po-Hao Chen Sheau-Ling Hsieh Po-Hsun Cheng Feipei Lai Department of Computer Science and Information Engineering National Taiwan University Taiwan Information Systems Office National Taiwan University Hospital Taipei Taiwan Department of Medical Genetics National Taiwan University Hospital Taiwan Graduate Institute of Biomedical Electronics and Bioinformatics National Taiwan University Taiwan Network and Computer Centre National Chiao Tung University Hsinchu Taiwan Department of Software Engineering National Kaohsiung Normal University Taiwan

The clinical symptoms of metabolic disorders during neonatal period are often not apparent, if not treated early irreversible damages such as mental retardation may occur, even death. Therefore, practicing newborn screening is very important to prevent neonatal from these damages. In this paper, the newborn screening system used support vector machines (SVM) classification technique is proposed in place of cut-off value decision to evaluate the metabolic substances concentration raw data obtained from tandem mass spectrometry (MS/MS) and determine whether the newborn has some kinds of metabolic disorder diseases. On the basis of the proposed features, new analytic combinations are identified with superior discriminatory performance compared with the best published combinations. Classifiers built with the feature selection to find C3/C2, C3 and C16 of three key point features achieved diagnostic sensitivities, specificities and accuracy approaching 100%.

关键词： Pediatrics Adaptive systems Support vector machines Support vector machine classification Biochemistry Testing Hospitals Diseases Machine learning Bioinformatics

来源：评论

学校读者我要写书评

暂无评论

Web Services Based Bio-signal System Leveraging Support Vector Machines

Web Services Based Bio-signal System Leveraging Support Vect...

引用

IEEE Symposium on Bioinformatics and Bioengineering (BIBE)

作者： Sung-Huai Hsieh Sheau-Ling Hsieh Chia-Ping Shen Wei-Hsin Chen Po-Hsun Cheng Kai-Ping Hsu Chi-Huang Chen Feipei Lai Department of Computer Science and Information Engineering National Taiwan University Taipei Taiwan Information Systems Office National Taiwan University Hospital Taipei Taiwan Graduate Institute of Biomedical Electronics and Bioinformatics National Taiwan University Taiwan Department of Software Engineering National Kaohsiung Normal University Taiwan Department of Electrical Engineering National Taiwan University Taipei Taiwan National Taiwan University Hospital Taipei TW

Bio-signal analysis is one of the most important approaches to biomedical engineering. The health information such as ECG, PCG, EMG and EEG are often recorded in digital format to be analyzed. In this paper, a bio-signal analyzing Web service system using Support Vector Machines (SVM) classifier technique is proposed. The bio-signals are recorded in digital format as the input of the system. In addition, based on the concept of Service-Oriented Architecture (SOA), the system under Web services .NET is designed. The system provides features including heterogeneous platform, protocols, as well as applications. The system has been designed with the purpose of seamless integration into the Health information System.

关键词： Web services Support vector machines Support vector machine classification Service oriented architecture Biomedical engineering Electrocardiography Electromyography Electroencephalography information analysis Protocols

来源：评论

学校读者我要写书评

暂无评论

Survey on the management of uncertain data

引用

Jisuanji Xuebao/Chinese Journal of computers 2009年第1期32卷 1-16页

作者： Zhou, Ao-Ying Jin, Che-Qing Wang, Guo-Ren Li, Jian-Zhong Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai 200062 China School of Information Science and Engineering Northeastern University Shenyang 110004 China School of Computer Science and Technology Harbin Institute of Technology Harbin 150001 China

The importance of the data uncertainty was studied deeply with the rapid development in data gathering and processing in various fields, inclusive of economy, military, logistic, finance and telecommunication, etc. Uncertain data has many different styles, such as relational data, semistructured data, streaming data, and moving objects. According to scenarios and data characteristics, tens of data models have been developed, stemming from the core possible world model that contains a huge number of the possible world instances with the sum of probabilities equal to 1. However, the number of the possible world instances is far greater than the volume of the uncertain database, making it infeasible to combine medial results generated from all of possible world instances for the final query results. Thus, some heuristic techniques, such as ordering, pruning, must be used to reduce the computation cost for the high efficiency. This paper introduces the concepts, characteristics and challenges in uncertain data management, proposes the advance of the research on uncertain data management, including data model, preprocessing, integrating, storage, indexing, and query processing.

关键词： Data integration

来源：评论

学校读者我要写书评

暂无评论

Secure multiple deployment scheme in wireless sensor networks

引用

Beijing Gongye Daxue Xuebao / Journal of Beijing University of Technology 2009年第1期35卷 114-118页

作者： Li, Guo-Rui He, Jing-Sha Wang, Ying Fu, Ying-Fang College of Computer Science and Technology Beijing University of Technology Beijing 100124 China School of Software Engineering Beijing University of Technology Beijing 100124 China Department of Information Engineering Qinhuangdao Institute of Technology Qinhuangdao 066100 China

As a fundamental requirement for providing security functionality in sensor networks, key management plays a core supporting role in authentication and encryption. In this paper, we propose the Adaptive Key Selection (AKS) scheme and the Adaptive Key Selection algorithm for secure multiple deployment in sensor networks that target at providing high connectivity between different deployment sets of sensor nodes. Our simulation shows that the AKS scheme can greatly improve the connectivity of sensor nodes while maintaining the security of the multiple deployment sets at the same time.

关键词： Sensor nodes

来源：评论

学校读者我要写书评

暂无评论

On Kinetic Line Voronoi Operations and Finite Fields

On Kinetic Line Voronoi Operations and Finite Fields

引用

International Symposium on Voronoi Diagrams in science and engineering (ISVD)

作者： Darka Mioc François Anton Christopher Gold Bernard Moulin National Space Institute Technical University of Denmark Lyngby Denmark Department of Geodesy and Geomatics Engineering University of New Brunswick Fredericton NB Canada Department of Information and Mathematical Modelling Technical University of Denmark Lyngby Denmark University of South Wales Pontypridd Rhondda Cynon Taff GB Department of Computer Science and Software Engineering Université Laval Sainte Foy QUE Canada

In this paper, we show an isomorphism between the set of complex operations on the kinetic Voronoi diagram of points and open oriented line segments and the sets of numbers of new / deleted Voronoi regions induced by these operations, and its explanation using the finite field of residual classes of integers modulo 5: F 5 = Z/5Z. We show also an isomorphism between the set of complex operations on the kinetic Voronoi diagram of points and open oriented line segments and the set of differences of new and deleted quad-edge edges induced by these operations, and its explanation using the finite field F 15 = Z/15Z. We show finally the application of these theoretical results to the logging of a kinetic line Voronoi data structure.

关键词： Kinetic theory Galois fields Geographic information Systems Data structures Geodesy Informatics Mathematical model Gold computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

Comparison of semantics of extended goals expressed in CTL and EAGLE

引用

Jisuanji Xuebao/Chinese Journal of computers 2009年第1期32卷 86-96页

作者： Huang, Wei Jiang, Yun-Fei Wen, Zhong-Hua Peng, Hong School of Computer Science and Engineering South China University of Technology Guangzhou 510641 China Software Research Institute Sun Yat-Sen University Guangzhou 510275 China College of Information Engineering Xiangtan University Xiangtan 411105 China

In automated planning under uncertainty, extended goals are often expressed as temporal logic formulas, particularly as CTL (computation tree logic) formulas and EAGLE formulas. Though it is said that the capability of representing the "intentional" aspects of goals and the possibility of dealing with failure are the main new features of EAGLE with respect to CTL, there is not enough work devoted to formal comparison of semantics of these two languages. According to the formal semantics of EAGLE and CTL goals on Kripke structures (i.e., execution structures induced by plans from initial states), it is proven that many EAGLE goals including some having been deemed to be unexpressive in CTL (e.g., some EAGLE goals in which TryReach operator and Fail operator appear) can be expressed in CTL in fact, and an analysis of the characters of these two languages in expressing extended goals and guiding the search for plans that satisfy them is given.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：