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

Using the Multiactor-Approach in Glowa-Danube to Simulate Decisions for the Water Supply Sector Under Conditions of Global Climate Change

引用

WATER RESOURCES MANAGEMENT 2010年第2期24卷 239-275页

作者： Barthel, Roland Janisch, Stephan Nickel, Darla Trifkovic, Aleksandar Hoerhan, Thomas Univ Stuttgart Inst Hydraul Engn Stuttgart Germany Univ Munich Inst Comp Sci Programming & Software Engn Munich Germany Ecol Inst Int & European Environm Policy Berlin Germany Natl Water Management Fed Minist Agr Forestry Environm & Water Management Div 7 1 Vienna Austria

Glowa-Danube (http://***) is an interdisciplinary project that aims to develop integrated strategies and tools for water and land use management in the upper Danube catchment (Germany, Austria similar to 77,000 km(2)). The project is one of five within the Glowa research program (http://***) dealing with Global Change effects on the water cycle in six meso-scale catchments (up to 100,000 km(2)) in Central Europe, West Africa and the Middle East. In the Glowa-Danube project, 16 natural science and socio-economic simulation models are integrated in the coupled simulation system Danubia. This article describes the underlying concept and implementation of WaterSupply, a multiactor-based model of the water supply sector with a focus on water resource utilization and distribution of individual water supply companies. Within Danubia, WaterSupply represents the link between water supply and demand, where the former is simulated by a groundwater and a surface water model and the latter by water consumption models of four different sectors (domestic, industrial, agricultural and tourism). WaterSupply interprets the quantitative state of water resources for defined spatial and temporal units according to sustainability requirements and assesses the state of resources in relation to present water supply schemes and the dynamics of user demand. WaterSupply then seeks both to optimize the resource use of supply companies and to identify critical regions for which further adaptation of the water supply scheme will become necessary under changing climatic conditions. In this article, a brief description of the Glowa-Danube project and the integrated simulation system Danubia is followed by a short presentation of the DeepActor framework, which provides a common conceptual and technical basis for the socio-economic simulation models of Glowa-Danube. The main body of the article is devoted to the concept, the implementation and simulation results of WaterSup

关键词： Multi-actor approach WaterSupply model Global change DANUBIA Danube Integrated water resources management

来源：评论

学校读者我要写书评

暂无评论

Extracting component-oriented behaviour for self-healing enabling

Extracting component-oriented behaviour for self-healing ena...

引用

7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010

作者： Bakera, Marco Wagner, Christian Margaria, Tiziana Vassev, Emil Hincheyz, Mike Steffen, Bernhard Universität Potsdam Department of Service and Software Engineering Potsdam Germany University College Dublin Ireland University of Limerick Ireland Technische Universität Dortmund Department of Programming Systems Dortmund Germany

ISBN: (纸本)9780769540047

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR's game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues. © 2010 IEEE.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Mechanical decision for a class of integral inequalities

引用

Science China(Information Sciences) 2010年第9期53卷 1800-1815页

作者： YANG Lu1,3,YU WenSheng1,2* & YUAN RuYi2 1Shanghai Key Laboratory of Trustworthy Computing,software Engineering Institute,East China Normal University,Shanghai 200062,China 2The Key Laboratory of Complex Systems and Intelligence Science,Institute of Automation,Chinese Academy of Sciences,Beijing 100190,China 3Laboratory for Automated Reasoning and programming,Chengdu Institute of Computer Applications,Chinese Academy of Sciences,Chengdu 610041,China Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai China Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu China The Key Laboratory of Complex Systems and Intelligence Science Institute of Automation Chinese Academy of Sciences Beijing China

A class of integral inequalities is transformed into homogeneous symmetric polynomial inequalities beyond Tarski model,where the number of elements of the polynomial,say n,is also a variable and the coefficients are functions of *** is closely associated with some open problems formulated recently by Yang et *** Timofte's dimension-decreasing method for symmetric polynomial inequalities,combined with the inequality-proving package BOTTEMA and a program of implementing the method known as successive difference substitution,we provide a procedure for deciding the nonnegativity of the corresponding polynomial inequality such that the original integral inequality is mechanically decidable;otherwise,a counterexample will be *** effectiveness of the algorithm is illustrated by some more examples.

关键词： integral inequality symmetric polynomial inequality Timofte’s dimension-decreasing method successive difference substitution mechanical decision inequality-proving package BOTTEMA

来源：评论

学校读者我要写书评

暂无评论

OPEN CIRRUS: A GLOBAL CLOUD COMPUTING TESTBED

引用

COMPUTER 2010年第4期43卷 35-43页

作者： Avetisyan, Arutyun I. Campbell, Roy Gupta, Indranil Heath, Michael T. Ko, Steven Y. Ganger, Gregory R. Kozuch, Michael A. O'Hallaron, David Kunze, Marcel Kwan, Thomas T. Lai, Kevin Lyons, Martha Milojicic, Dejan S. Lee, Hing Yan Soh, Yeng Chai Ming, Ng Kwang Luke, Jing-Yuan Namgoong, Han Russian Acad Sci Inst Syst Programming Moscow 117901 Russia Univ Illinois Dept Comp Sci Urbana IL 61801 USA Carnegie Mellon Univ Dept Elect & Comp Engn Pittsburgh PA 15213 USA Intel Labs Pittsburgh Area Comp Architecture & Syst Software Pittsburgh PA USA Karlsruhe Inst Technol Karlsruhe Germany IDA Natl Grid Off Singapore Singapore Elect & Telecommun Res Inst ETRI Dept Software Res Lab Taejon South Korea

Open Cirrus is a cloud computing testbed that, unlike existing alternatives, federates distributed data centers. It aims to spur innovation in systems and applications research and catalyze development of an open sour... 详细信息

关键词： Open Cirrus Cloud Computing Distributed Computing Systems Engineering Internet Web

来源：评论

学校读者我要写书评

暂无评论

Foreword: First International Workshop on the Web and Requirements Engineering

Foreword: First International Workshop on the Web and Requir...

引用

International Workshop on the Web and Requirements Engineering (WeRE)

作者： Irene Garrigós Jose-Norberto Mazón Nora Koch Maria José Escalona John Mylopoulos Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy

The International Workshop on the Web and Requirements Engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements Engineering Conference (RE'10) in Sydney (Australia) on September 28 2010. WeRE intends to be an international forum for exchanging ideas on both using Web technologies as a platform in the requirements engineering field, and applying requirements engineering in the development and use of websites. Papers focused on new domains and new experiences with the connection between requirements engineering and the Web were presented in WeRE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Foreword: First International Workshop on the Web and Requirements Engineering

2010 1st International Workshop on the Web and Requirements ...

引用

2010 1st International Workshop on the Web and Requirements Engineering, WeRE 2010 2010年 i-ii页

作者： Garrigós, Irene Mazón, Jose-Norberto Escalona, Maria José Koch, Nora Mylopoulos, John Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy

来源：评论

学校读者我要写书评

暂无评论

Extracting Component-Oriented Behaviour for Self-Healing Enabling

Extracting Component-Oriented Behaviour for Self-Healing Ena...

引用

IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASE)

作者： Marco Bakera Christian Wagner Tiziana Margaria Emil Vassev Mike Hinchey Bernhard Steffen Chair Service and Software Engineering Universitat Potsdam Potsdam Germany University College Dublin Ireland University of Limerick Ireland Chair Programming Systems Technische Universität Dortmund Dortmund Germany

关键词： Gears Specification languages Runtime Concurrent computing software systems Aerospace industry Aerospace electronics Conferences Design engineering software engineering

来源：评论

学校读者我要写书评

暂无评论

A CASE Tool for Java Mobile Computing Applications

引用

INTERNATIONAL JOURNAL OF MOBILE COMPUTING AND MULTIMEDIA COMMUNICATIONS 2010年第2期2卷 34-48页

作者： Christou, Ioannis T. Efremidis, Sofoklis Roukounaki, Aikaterini Athens Informat Technol Athens Greece Univ Patras Software Engn & Object Oriented Programming Lab Patras Greece Carnegie Mellon Univ Pittsburgh PA 15213 USA INTRACOM SA Athens Greece Tech Chamber Greece Athens Greece

The market for applications developed for mobile devices is growing as the hardware capabilities increase while costs drop. At the same time, the inability to write code once becomes a noticeable problem resulting in the time consuming task of porting an application to a variety of mobile devices, which is true for languages like Java that have been designed to be portable across a range of hardware platforms. As a result, porting a Java application written for one device to another is often a tedious and time-consuming task for developers. This paper presents an intelligent CASE tool that assists the porting of Java mobile applications by automatically generating Java code fragments for the target SDK. SeqFinder automatically generates all minimal method invocation sequences that lead to an object of a specific type, thus relieving the programmer of manually searching the manufacturer-provided SDK Java archives. However, this tool is not applicable only to the Java ME platform and has been used as a fast type-browser for J2SE/J2EE applications.

关键词： Automatic Program Generation CASE CASE Tools Java Mobile Technologies

来源：评论

学校读者我要写书评

暂无评论

Dependently typed array programs don't go wrong

引用

JOURNAL OF LOGIC AND ALGEBRAIC programming 2009年第7期78卷 643-664页

作者： Trojahner, Kai Grelck, Clemens Med Univ Lubeck Inst Software Technol & Programming Languages Lubeck Germany

The array programming paradigm adopts multidimensional arrays as the fundamental data structures of computation. Array operations process entire arrays instead of just single elements. This makes array programs highly expressive and introduces data parallelism in a natural way. Array programming imposes non-trivial structural constraints on ranks, shapes, and element values of arrays. A prominent example where such constraints are violated are out-of-bound array accesses. Usually, such constraints are enforced by means of run time checks. Both the run time overhead inflicted by dynamic constraint checking and the uncertainty of proper program evaluation are undesirable. We propose a novel type system for array programs based on dependent types. Our type system makes dynamic constraint checks obsolete and guarantees orderly evaluation of well-typed programs. We employ integer vectors of statically unknown length to index array types. We also show how constraints on these vectors are resolved using a suitable reduction to integer scalars. Our presentation is based on a functional array calculus that captures the essence of the paradigm without the legacy and obfuscation of a fully-fledged array programming language. (C) 2009 Elsevier Inc. All rights reserved.

关键词： Array programming Dependent types Program verification

来源：评论

学校读者我要写书评

暂无评论

Observations on tuning a Java enterprise application for performance and scalability

引用

IBM JOURNAL OF RESEARCH AND DEVELOPMENT 2010年第5期54卷 2:1-2:12页

作者： Altman, E. Arnold, M. Bordawekar, R. Delmonico, R. M. Mitchell, N. Sweeney, P. F. ACM SIGMICRO New York NY 10087 USA IBM Res Dynam Optimizat Grp Armonk NY USA IBM Res Div Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA IBM DAISY Binary Translat Project Armonk NY USA IBM Res Programming Technol Dept Armonk NY USA IBM Corp TJ Watson Res Ctr Programming Technol Dept Hawthorne NY USA IBM Corp TJ Watson Res Ctr Software Engn Dept Hawthorne NY USA IBM Res Div Thomas J Watson Res Ctr Hawthorne NY 10532 USA

Enterprise software shows increasing levels of concurrency and complexity and decreasing "think times'' between user interactions. Such trends are evident in both emerging workloads, such as social networking, and traditional applications, such as banking, for which both query counts and complexity are increasing. Similarly, in today's multicore-processor era, processor core counts double every processor generation. However, not all hardware capacity (e.g., cache, disk, and network capacity) is growing at this core rate. As a result, processor dies will have more cores sharing resources. Personnel associated with our project Multicore Applications Restructured for Scaling started with a well-tuned baseline version of a large multitier commercial workload and worked to efficiently identify a small set of software changes that, together, would lead to improved scaling and performance. This paper reports the required tooling and analysis, software changes, and improvements (factor performance gains). Perhaps most surprising, we found that a small set of code changes allowed major performance gains within a single Java (R) virtual machine, which has implications for the way in which we develop and deploy software.

关键词： software Java Performance evaluation Enterprise resource planning Concurrent computing User interfaces

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：