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

Mobile Information Management 2004

作者： Grünbauer, Johannes Klein, Michael Institut für Informatik Technische Universität München Garching85748 Germany Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe76128 Germany

来源：评论

学校读者我要写书评

暂无评论

How Domain Knowledge can Improve Machine Learning Surrogates for Manufacturing Process Optimization – a Comparative Study

引用

Procedia CIRP 2024年 130卷 145-153页

作者： Bela H. Böhnke Aleksandr Eismont Clemens Zimmerling Luise Kärger Klemens Böhm Institute for Program Structures and Data Organization (IPD) Karlsruhe Institute of Technology (KIT) Karlsruhe Germany Institute of Vehicle System Technology - Lightweight Engineering (FAST-LB) Karlsruhe Institute of Technology (KIT) Karlsruhe Germany

In various industries, optimizing manufacturing parameters is vital for the efficient production of high-quality products. Traditional methods involve costly production trials and process tuning – particularly when dealing with complex processes and materials such as composites. High-fidelity simulations offer a cost-effective alternative. However, they can be computationally intensive, which often renders them impracticable for iterative optimization. Surrogate model-based optimization (SuMO) provides a solution by using efficient, data-driven approximations. However, existing approaches often overlook valuable domain knowledge, such as material behavior, spatial relationships and optimization objective. We investigate different types of knowledge varying in complexity, difficulty to incorporate and transferability to other domains. In numerical studies on composite manufacturing – specifically, textile draping – we demonstrate that integrating such domain knowledge improves prediction accuracy, reduces optimization iterations, and enhances overall outcomes.

关键词： Surrogate Modelling Manufacturing Process Optimization Domain-informed Machine Learning Finite-Element-Simulation

来源：评论

学校读者我要写书评

暂无评论

Formal verification of dead code elimination in Isabelle/HOL

Formal verification of dead code elimination in Isabelle/HOL

引用

International Conference on Software Engineering and Formal Methods (SEFM)

作者： J.O. Blech L. Gesellensetter S. Glesner Institute for Program Structures and Data Organization University of Karlsruhe Karlsruhe Germany

Correct compilers are a vital precondition to ensure software correctness. Optimizations are the most error-prone phases in compilers. In this paper, we formally verify dead code elimination (DCE) within the theorem prover Isabelle/HOL. DCE is a popular optimization in compilers which is typically performed on the intermediate representation. In our work, we reformulate the algorithm for DCE so that it is applicable to static single assignment (SSA) form which is a state of the art intermediate representation in modern compilers, thereby showing that DCE is significantly simpler on SSA form than on classical intermediate representations. Moreover, we formally prove our algorithm correct within the theorem prover Isabelle/HOL. Our program equivalence criterion used in this proof is based on bisimulation and, hence, captures also the case of non-termination adequately. Finally we report on our implementation of this verified DCE algorithm in the industrial-strength scale compiler system.

关键词： Formal verification program processors Optimizing compilers Information analysis Software engineering data analysis Performance analysis Algorithm design and analysis Computer languages Software design

来源：评论

学校读者我要写书评

暂无评论

Reducing search space of auto-tuners using parallel patterns

Reducing search space of auto-tuners using parallel patterns

引用

ICSE Workshop on Multicore Software Engineering, IWMSE

作者： Christoph A. Schaefer Institute of Program Structures and Data Organization University of Karlsruhe Karlsruhe Germany

ISBN: (纸本)9781424437184

Auto-tuning is indispensable to achieve best performance of parallel applications, as manual tuning is extremely labor intensive and error-prone. Search-based auto-tuners offer a systematic way to find performance optimums, and existing approaches provide promising results. However, they suffer from large search spaces. In this paper we propose the idea to reduce the search space using parameterized parallel patterns. We introduce an approach to exploit context information from Master/Worker and Pipeline patterns before applying common search algorithms. The approach enables a more efficient search and is suitable for parallel applications in general. In addition, we present an implementation concept and a corresponding prototype for pattern-based tuning. The approach and the prototype have been successfully evaluated in two large case studies. Due to the significantly reduced search space a common hill climbing algorithm and a random sampling strategy require on average 54% less tuning iterations, while even achieving a better accuracy in most cases.

关键词： Pipelines Prototypes Sampling methods Testing Yarn Tuners Libraries Performance gain Performance evaluation Predictive models

来源：评论

学校读者我要写书评

暂无评论

An Empirical Study on the Current and Future Challenges of Automotive Software Release and Configuration Management

An Empirical Study on the Current and Future Challenges of A...

引用

Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Houssem Guissouma Heiko Klare Eric Sax Erik Burger Institute for Information Processing Technologies Karlsruhe Institute of Technology Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany

ISBN: (纸本)9781538673843

Current automotive trends, such as autonomous and connected driving, are mainly enabled by embedded software that is deployed on a network of several, often more than one hundred, electronic control units. These software parts are responsible for many complex tasks concerning safety, comfort, energy management, and vehicle dynamics. Currently, they are deployed to the units at the end of the assembly line. Although a new software baseline of electronic control units is released in regular terms, normally six months, updates during after-sales are mostly conducted only in urgent cases, such as recall campaigns. Upcoming over-the-air services will enable more frequent updates to fix bugs and add new functionality. The possible alternatives of engines, chassis, and customer wishes lead to a high number of existing vehicle variants, so that the management of releases and configurations becomes more complex and costly. In a survey, we asked participants from different automotive institutions about the current state of practice, and the challenges they face during release development and management. This paper presents and discusses the main results of this survey: We have identified that field updates will be deployed more frequently in the future, and that over-the-air communication is an efficient way to realize them. The reported main update reasons are bug fixes and function improvement. However, the shortening release and update cycles, the increasing number of variants, and the multidisciplinarity in the automotive field are major challenges requiring suitable processes, methods, and tools to achieve software that operates correctly.

关键词： Software Automotive engineering Computer bugs Automobiles Market research Computer architecture Industries

来源：评论

学校读者我要写书评

暂无评论

Decision support under imperfections in electronic commerce

Decision support under imperfections in electronic commerce

引用

International Workshop on database and Expert Systems Applications

作者： G. Lukacs Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe Germany

The selection of products and services is a central issue in electronic commerce. Available data is often not sufficient to allow a precise evaluation and user preferences are usually vague. In this paper, a model for deciding under imperfect information is presented. The decision model handles two types of imperfections: imprecisions on the side of the alternatives and vagueness in the preferences of the users. Incomplete description of the alternatives may result in imprecisions in the evaluation of their features. The decision model provides a framework to reduce these imprecisions by completing information from external sources. Besides, fuzzy query conditions allow users to express vague preferences. A scenario illustrates the use of the decision model where the goal is to select a rental apartment from classified advertisements with respect to its availability by public transport.

关键词： Electronic commerce Information retrieval Electronic mail Investments Internet Power generation economics Food products Diabetes Packaging Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Towards an interactive query environment for a multi-attribute decision model with imprecise data and vague query conditions

Towards an interactive query environment for a multi-attribu...

引用

International Workshop on database and Expert Systems Applications

作者： G. Lukacs Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe Germany

A multi-attribute decision model aiming at the selection of an efficient set of alternatives is presented. The major challenge is that the alternatives are not perfectly known, i.e., the associated values may be imprecise. Furthermore, for improved user friendliness, vague query conditions are allowed. Imprecise scores are described by probability distributions, vague query conditions by fuzzy predicates. The philosophy of the presented approach is to create an environment similar to the multidimensional spreadsheet front-end of data warehouses, in which the user can interactively discover the imperfect answers. In particular, numeric measures that allow an aggregated view of alternatives are defined. A geographic information retrieval scenario demonstrates the use of the decision model.

关键词： Information systems Probability distribution Multidimensional systems data warehouses Particle measurements Information retrieval Decision making Decision support systems Internet Environmental economics

来源：评论

学校读者我要写书评

暂无评论

Parallelizing an index generator for desktop search 10

Parallelizing an index generator for desktop search

引用

Proceedings of the 2010 international conference on Computer Architecture

作者： David J. Meder Walter F. Tichy Institute for Program Structures and Data Organization (IPD) University of Karlsruhe Karlsruhe Germany

ISBN: (纸本)9783642243219

Experience with the parallelization of an index generator for desktop search is presented. Several configurations of the index generator are compared on three different Intel platforms with 4, 8, and 32 cores. The optimal configurations for these platforms are not intuitive and are markedly different for the three platforms. For finding the optimal configuration, detailed measurements and experimentation were necessary. Several recommendations for parallel software design are derived from this study.

关键词： multicore parallelization parallel software design index generator

来源：评论

学校读者我要写书评

暂无评论

Process-Based database Support for the Early Indicator Method 3

Process-Based Database Support for the Early Indicator Metho...

引用

3rd International Conference on Knowledge Discovery and data Mining, KDD 1997

作者： Breitner, Christoph Schlösser, Jörg Wirth, Rüdiger University of Karlsruhe Institute for Program Structures and Data Organization Karlsruhe76128 Germany Daimler-Benz AG Research and Technology F3S/E P. O. Box 23 60 UlmD-89013 Germany

ISBN: (纸本)1577350278

In Wirth & Reinartz (1996), we introduced the early indicator method, a multi-strategy approach for the efficient prediction of various aspects of the fault profile of a set of cars in a large automotive database. While successful, the initial implementation was limited in various ways. In this paper, we report recent progress focusing on performance gains we achieved through proper process-based database support. We show how intelligent management of the information collected during a KDD process can both make the task of the user easier and speed up the execution. The central idea is to use an object oriented schema as the central information directory to which data, knowledge, and processes can be attached. Furthermore, it enables the automatic exploitation of previously stored results. Together with the query-shipping strategy, this achieves efficiency and scalability in order to analyze huge databases. While we demonstrate the usefulness of our solution in the context of the early indicator method, the approach is generally applicable and useful for any integrated, comprehensive KDD system. Copyright © 1997, American Association for Artificial Intelligence (***). All rights reserved.

关键词： Query processing

来源：评论

学校读者我要写书评

暂无评论

Indirect Reciprocity in Policy-Based Helping Experiments

Indirect Reciprocity in Policy-Based Helping Experiments

引用

European Conference on Web Services (ECOWS)

作者： Christian von der Weth Klemens Böhm Thorben Burghardt Christian Hütter Jing Zhi Yue Institute for Program Structures and Data Organization Universität Karlsruhe (TH) Karlsruhe Germany

In service-oriented architectures, participants keep interacting by exchanging tasks, in order to increase their benefit. Since carrying out a task incurs costs, and participants often interact with unknown partners, uncooperative behavior dominates in the absence of a mechanism. A well-known economic model describing this situation is the Helping Game. In previous helping experiments, participants decide 'by hand' before each interaction whether to carry out the task or not. In online environments however, such manual decisions are infeasible. This paper focuses on policy-based helping experiments, i.e., participants formulate policies stating when exactly they accept a task. This approach gives way to many questions, e.g., what kinds of policies are formulated, how do the policies affect the outcome of the experiments, is the outcome different from the ones of previous helping experiments, how does it depend on the language used to formulate policies, etc. In an extensive study, we address these and related questions. As a result, most participants behave strategically and make use of information on the previous behavior of others. The results indicate that participants perceive that cooperative behavior pays off. Further, despite the infinite policy space, we could discover eight meaningful categories to classify all formulated policies.

关键词： Service oriented architecture Grid computing Web services Costs Environmental economics Cultural differences Global communication Semiconductor optical amplifiers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：