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

Polynomial-time hierarchy of computable reals

Journal of Computational Information systems 2011年第4期7卷 1108-1115页

作者： Chen, Qingliang Su, Kaile Wu, Lijun Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia School of Computer Science and Engineering University of Electronic Science and Technology Chengdu 610054 China

In mathematics, various representations of real numbers have been investigated and all these representations are proved to be mathematically equivalent. Furthermore, it is known that all effective versions of these representations lead to the same class of "computable real numbers". However, when subrecursive (such as primitive recursive) is taken into account, these representations can lead to different notions of "computable real numbers". This paper will look into the polynomial-time version of the problem for computable real numbers under different representations. We will summarize the known results to exhibit the comprehensive hierarchy they form. Our goal is to clarify systematically how the polynomial-time computability depends on the representations of the real numbers. Copyright © 2011 Binary Information Press.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Patterns for measuring performance-related QoS properties in service-oriented systems 10

Patterns for measuring performance-related QoS properties in...

引用

17th Conference on Pattern Languages of Programs, PLoP 2010

作者： Oberortner, Ernst Zdun, Uwe Dustdar, Schahram Distributed Systems Group Information Systems Institute Vienna University of Technology Austria Software Architecture Faculty of Computer Science Vienna University Austria Argentinierstrasse 8/184-1 1040 Vienna Austria

ISBN: (纸本)9781450301077

In service-oriented systems, clients can access services via a network. Service level agreements (SLA) can exist, which specify - among other things - performance-related Quality of Service (QoS) properties between the client and the server, such as round-trip time, processing time, or availability. For a service provider serious financial consequences or other penalties can follow in case of not fulfilling the SLAs. The service consumer wants to evaluate that the provider complies with the guaranteed SLAs. Designing and developing a QoS-aware service-oriented system means facing many design challenges, such as where and how to measure the performance-related QoS properties. This paper presents design practices and patterns for measuring such QoS properties by extending and utilizing existing patterns. The focus of the patterns lies on the QoS measuring impact on the client's or service's performance, the extend of separation of concerns, the property of reusability, and the preciseness of the measured QoS properties. The patterns help to build efficient solutions to measure performance-related QoS properties in a service-oriented system.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

A heuristic method for sensor scheduling in infrared LEO constellation

A heuristic method for sensor scheduling in infrared LEO con...

引用

2010 6th International Conference on Natural Computation, ICNC'10

作者： Deng, Yong Sun, Fuchun Zhang, Zhongzhao Communication Research Center Harbin Institute of Technology Harbin China Institute of Software Chinese Academy of Sciences Beijing China State Key Laboratory of Intelligent Technology and Systems Tsinghua University Beijing China

ISBN: (纸本)9781424459612

Sensor scheduling problem in infrared LEO constellation by bearing-only location is studied to ensure its continuous tracking and parallel processing multitask. Firstly, the problem is defined in detail, and a mathematical model is presented. Secondly, an adaptive multitask programming on probabilistic selection algorithm(AMPPSA) is proposed, which utilizes trend catching, random selection and clone variation to keep from sub optimizing and applies heuristic rules to avoid blind searching. Finally, simulations show that the algorithm fits to sensor management of multi-objective optimization in infrared LEO constellation. ©2010 IEEE.

关键词： Heuristic methods

来源：评论

学校读者我要写书评

暂无评论

Align++ a heuristic-based method for approximating the mismatch-at-risk in schema-based ontology alignment

Align++ a heuristic-based method for approximating the misma...

引用

作者： Mazak, Alexandra Schandl, Bernhard Lanzenberger, Monika Institute of Software Technology and Interactive Systems Vienna University of Technology Vienna Austria European Research Council ERCEA Covent Garden 21/23 Place Rogier B-1049 Brussels Belgium Department of Distributed and Multimedia Systems University of Vienna Vienna Austria

ISBN: (纸本)9789898425294

Frequently, ontologies based on the same domain are similar but also have many differences, which are known as heterogeneity. The alignment of entities which are not meant to be used in the same context, or which follow different modeling conventions, may cause mismatch in ontology alignment. End-users would benefit from knowing the risk level of mismatch between ontologies prior to starting a time- and cost-intensive procedure. With our heuristic-based method align++ we propose to consider the general application context of a modeled domain (the modeling context) in order to enhance the user support in schema-based alignment. In the method's first part, ontology concepts are enriched with weighting meta-information, resulting from two indicators: importance weighting indicator and importance outdegree indicator. These indicators contain model- and graph-based information and can be observed and measured at the schema level of an ontology. The output of the first part are ranking lists of importance indicators for each ontology concept in the role of a domain class. In the second part, the candidate sample for our mismatch-risk model bases on external user input by manually identifying concepts between the lists of each source ontology. The heterogeneity risk among the concepts' importance indicator values is measured as standard deviation over the candidate sample. Afterwards these measured values are aggregated, and a heterogeneity coefficient is calculated. On the basis of this risk factor the mismatch-at-risk (MaR) between ontologies can be approximated as a threshold for schema-based ontology alignment.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

iweightings: Enhancing Structure-based Ontology Alignment by Enriching Models with Importance Weighting

iweightings: Enhancing Structure-based Ontology Alignment by...

引用

International Conference on Complex, intelligent and software Intensive systems, CISIS

作者： Alexandra Mazak Bernhard Schandl Monika Lanzenberger Institute of Software Technology and Interactive Systems Vienna University of Technology Vienna Austria Department of Distributed and Multimedia Systems University of Vienna Vienna Austria

Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance factor, which is determined by two indicators automatically calculated by a (simple) weighting method. This weighting factor represents the importance of a concept based on its information significance in the modeling context and, additionally, its relevance for structure-based alignment depending on the number of relationships this concept participates in quantified by the rweighting indicator. The method starts via a manually weighting annotation of relationships among concepts conducted by ontology engineers during the ontology development process. Our approach is an assistance mechanism to improve the ontology alignment process and to enhance the cognitive support for users. Thus, ontology alignment becomes already important ex ante when the ontology development process starts, unlike other alignment techniques, which consider only ex post knowledge.

关键词： Ontologies Context modeling intelligent structures Competitive intelligence software systems Interactive systems Multimedia systems Open systems Semantic Web Bridges

来源：评论

学校读者我要写书评

暂无评论

Translation-based verification of Web services composition via ZING

Translation-based verification of Web services composition v...

引用

2010 IEEE International Conference on intelligent Computing and Integrated systems, ICISS2010

作者： Luo, Xiangyu Lu, Jingjing Su, Kaile Dong, Rongsheng School of Computer and Control Guilin University of Electronic and Technology Guilin China School of Software Tsinghua University Beijing China Ministry of Education Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia

ISBN: (纸本)9781424468355

BPEL4WS (BPEL for short) is a standard business process execution language for Web services composition. To formally verify the correctness and reliability of Web services compositions, we propose an Input/Output Labelled Transition System (I/OL TS) as the intermediate formal model, which is well adapted to model BPEL constructs and handle faults, events, terminations, message correlation and activities. To be able to automatically verify Web services compositions via a model checker, we first develop a translation procedure to translate BPEL language into I10L TS, and then develop another translation procedure to translate the I10LTS model into the input language of ZING, a software model checker developed by Microsoft. The translation-based verification process for Web services composition is illustrated by a case study. © 2010 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Context generation with image based sensors: An interdisciplinary enquiry on technical and social issues and their implications for system design

引用

World Academy of Science, Engineering and technology 2010年 61卷 262-268页

作者： Moehrmann, Julia Heidemann, Gunter Siemoneit, Oliver Hubig, Christoph Kaeppeler, Uwe-Philipp Levi, Paul Institute for Visualization and Interactive Systems Intelligent Systems Department University of Stuttgart Germany Institute of Philosophy Chair for the Philosophy of Science and Technology University of Stuttgart Germany Institute of Parallel and Distributed Systems Image Understanding Department University of Stuttgart Germany

Image data holds a large amount of different context information. However, as of today, these resources remain largely untouched. It is thus the aim of this paper to present a basic technical framework which allows for a quick and easy exploitation of context information from image data especially by non-expert users. Furthermore, the proposed framework is discussed in detail concerning important social and ethical issues which demand special requirements in system design. Finally, a first sensor prototype is presented which meets the identified requirements. Additionally, necessary implications for the software and hardware design of the system are discussed, rendering a sensor system which could be regarded as a good, acceptable and justifiable technical and thereby enabling the extraction of context information from image data.

关键词： Image recognition

来源：评论

学校读者我要写书评

暂无评论

Prediction model of reservoir fluids properties using sensitivity based linear learning method

Prediction model of reservoir fluids properties using sensit...

引用

International Conference on Multimedia Computing and Information technology, MCIT'2010

作者： Olatunji, Sunday Olusanya Selamat, Ali Raheem, Abdul Azeez Abdul Intelligent Software Engineering Laboratory Faculty of Computer Science and Information Systems University of Technology Malaysia 81310 UTM Skudai Johor Malaysia Centre for Petroleum and Minerals Research Institute King Fahd University of Petroleum and Mineral Dhahran 31261 Saudi Arabia

ISBN: (纸本)9781424470037

This paper presented a new prediction model for Pressure-Volume-Temperature (PVT) properties based on the recently introduced learning algorithm called Sensitivity Based Linear Learning Method (SBLLM) for two-layer feedforward neural networks. PVT properties are very important in the reservoir engineering computations. The accurate determination of these properties such as bubble-point pressure and oil formation volume factor is important in the primary and subsequent development of an oil field. In this work, we develop Sensitivity Based Linear Learning method prediction model for PVT properties using two distinct databases, while comparing forecasting performance, using several kinds of evaluation criteria and quality measures, with neural network and the three common empirical correlations. Empirical results from simulation show that the newly developed SBLLM based model produced promising results and outperforms others, particularly in terms of stability and consistency of prediction. ©2010 IEEE.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Mobile Middleware for Wireless Body Area Network

Mobile Middleware for Wireless Body Area Network

引用

Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Xiang Chen Agustinus Borgy Waluyo Isaac Pek Wee-Soon Yeoh Institute of Infocomm Research I R Agency for Science Technology and Research Singapore Centre of Distributed Systems and Software Engineering Monash University Australia

This paper presents a flexible, efficient and lightweight Wireless Body Area Network (WBAN) Middleware. The Middleware is developed to bridge the communication between mobile device as a gateway and the sensor nodes, and therefore it shields the underlying sensor and OS/protocol stack away from the WBAN application layer. The middleware is coded in the form of lightweight dynamic link library, which allows the application developer to simply incorporate the middleware resource dynamic link library into their application and call the required functions (i.e. data acquisition, resource management and configurations). A showcase of the middleware deployment is exhibited at the end of the paper.

关键词： Middleware Mobile communication Wireless communication Wireless sensor networks Accelerometers Logic gates Electrocardiography

来源：评论

学校读者我要写书评

暂无评论

Reverse Engineering Component Models for Quality Predictions

Reverse Engineering Component Models for Quality Predictions

引用

(CSMR) European Conference on software Maintenance and Reengineering

作者： Steffen Becker Michael Hauck Mircea Trifu Klaus Krogmann Jan Kofroň FZI Research Center Software Engineering Karlsruhe Germany Software Design and Quality Karlsruhe Institute of Technology Karlsruhe Germany Software Design and Quality Karlsruhe Institute of Technolgy Karlsruhe Germany Charles University in Prague Distributed Systems Research Group Prague Czech Republic

Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modifications due to absence of corresponding models. In this paper, we present an extendable integrated environment based on Eclipse developed in the scope of the Q-Impress project for reverse engineering of legacy applications (in C/C++/Java). The Q-Impress project aims at modeling quality attributes (performance, reliability, maintainability) at an architectural level and allows for choosing the most suitable variant for implementation of a desired modification. The main contributions of the project include i) a high integration of all steps of the entire process into a single tool, a beta version of which has been already successfully tested on a case study, ii) integration of multiple research approaches to performance modeling, and iii) an extendable underlying meta-model for different quality dimensions.

关键词： Reverse engineering Object oriented modeling Predictive models Measurement software Reliability Protocols

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：