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

38th International Symposium on Combustion, 2021

作者： Nicolai, Hendrik Li, tao Geschwindner, Christopher Di Mare, Francesca Hasse, Christian Böhm, Benjamin Janicka, Johannes Institute Energy and Power Plant Technology Technische Universität Darmstadt Otto-Berndt-Straße 3 Darmstadt 64287 Germany Institute Reactive Flows and Diagnostics Technische Universität Darmstadt Otto-Berndt-Straße 3 Darmstadt 64287 Germany Department of Thermal Turbomachines and Aeroengines Ruhr-Universität Bochum Universitätsstraße 150 Bochum 44801 Germany Simulation of Reactive Thermo-Fluid Systems Technische Universität Darmstadt Otto-Berndt-Straße 2 Darmstadt 64287 Germany

the ignition and combustion of coal particle groups are investigated numerically in a laminar flow reactor. the Flamelet Generated Manifold method is extended to account for the complex mixture of gases being released during devolatilization, which is calculated with a competing two-step model. A second mixture fraction is introduced to include the mixing with the second methane fuel stream. the interactions of the gas phase with particles are modeled within a fully coupled Euler-Lagrange framework. to investigate the influence of particle groups on ignition and combustion, successively increasing densities of particle streams have been analyzed. the ignition delay time is increased significantly by higher particle densities. this delay is validated successfully with the available measurements. Moreover, the shape of the volatile flame was found to be strongly influenced by the particle number density inside the flame. A transition from spherical flames around single particles to a conical flame around the particle cloud could be found in numerical results as well as in experiments. As the primary mechanism for the substantial ignition delay and the formation of the flame, the increased heat transfer from the gas-phase to the particle group, resulting in lower gas-phase temperatures, was identified. © 2020 the Combustion Institute.

关键词： Ignition

来源：评论

学校读者我要写书评

暂无评论

Automated Refactoring to reactive programming

Automated Refactoring to Reactive Programming

引用

IEEE International Conference on Automated Software Engineering (ASE)

作者： Mirko Köhler Guido Salvaneschi Technische Universitat Darmstadt Darmstadt Germany Reactive Programming Technology Technische Universität Darmstadt Darmstadt Germany

reactive programming languages and libraries, such as reactiveX, have been shown to significantly improve software design and have seen important industrial adoption over the last years. Asynchronous applications - which are notoriously error-prone to implement and to maintain - greatly benefit from reactive programming because they can be defined in a declarative style, which improves code clarity and extensibility. In this paper, we tackle the problem of refactoring existing software that has been designed with traditional abstractions for asynchronous programming. We propose 2Rx, a refactoring approach to automatically convert asynchronous code to reactive programming. Our evaluation on top-starred GitHub projects shows that 2Rx is effective with the most common asynchronous constructs, covering 12.7% of projects with asynchronous computations, and it can provide a refactoring for 91.7% of their occurrences.

关键词： programming Java Observers Libraries Instruction sets Loading

来源：评论

学校读者我要写书评

暂无评论

Enabling Research through the SCIP Optimization Suite 8.0

arXiv

引用

arXiv 2023年

作者： Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, tim van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Koch, thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany ZIB-AIS2T Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science Netherlands ZIB-AIS2T I2DAMO GmbH Englerallee 19 Berlin14195 Germany ZIB-AIS2T HTW Berlin Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany ZIB Department A2IM Takustr. 7 Berlin14195 Germany RWTH Aachen-Lehrstuhl für OR Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany TU Darmstadt Fachbereich Mathematik Germany ZIB-A2IM Germany TU Berlin Germany ZIB-A2IM Software and Algorithms for Discrete Optimization Institute of Mathematics TU Berlin Germany GAMS Software GmbH c/o ZIB-AIS2T Germany

the SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. the focus of this paper is on the role of the SCIP Optimization Suite in supporting research. SCIP's main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP's application as a research tool and as a platform for further developments. Further, the paper gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon *** Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05 Copyright © 2023, the Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

the SCIP Optimization Suite 9.0

arXiv

引用

arXiv 2024年

作者： Bolusani, Suresh Besançon, Mathieu Bestuzheva, Ksenia Chmiela, Antonia Dionísio, João Donkiewicz, tim van Doornmalen, Jasper Eifler, Leon Ghannam, Mohammed Gleixner, Ambros Graczyk, Christoph Halbig, Katrin Hedtke, Ivo Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Kamp, Dominik Koch, thorsten Kofler, Kevin Lentz, Jurgen Manns, Julian Mexi, Gioni Mühmer, Erik Pfetsch, Marc E. Schlösser, Franziska Serrano, Felipe Shinano, Yuji turner, Mark Vigerske, Stefan Weninger, Dieter Xu, Liding Gaul, Oliver Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Université Grenoble Alpes Inria LIG Grenoble38000 France CMUP Department of Computer Science Faculty of Sciences University of Porto R Campo Alegre Porto4169-007 Portugal RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany Schenker AG Global Data & AI Kruppstr. 4 Essen45128 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands University of Bayreuth Universitaetsstr. 30 Bayreuth95440 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany DAGOPT Optimization Technologies GmbH Austria Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Fair Isaac Germany GmbH Takustr. 7 Berlin14195 Germany COPT GmbH Berlin Germany GAMS Software GmbH c/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Mathematics Cauerstr. 11 Erlangen91058 Germany École polytechnique LIX CNRR Rue Honoré d’Estienne d’Orves. 1 Palaiseau9120 France

MSC Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05the SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. this report discusses the enhancements and extensions included in SCIP Optimization Suite 9.0. the updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuristics, a new cut generator and two new cut selection schemes, a new branching rule, a new LP interface, and several bugfixes. SCIP Optimization Suite 9.0 also features new Rust and C++ interfaces for SCIP, new Python interface for SoPlex, along with enhancements to existing interfaces. SCIP Optimization Suite 9.0 also includes new and improved features in the LP solver SoPlex, the presolving library PaPILO, the parallel framework UG, the decomposition framework GCG, and the SCIP extension SCIP-SDP. these additions and enhancements have resulted in an overall performance improvement of SCIP in terms of solving time, number of nodes in the branch-and-bound tree, as well as the reliability of the solver. Copyright © 2024, the Authors. All rights reserved.

关键词： Mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

the SCIP optimization suite 8.0

arXiv

引用

arXiv 2021年

作者： Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, tim Van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher Van Der Hulst, Rolf Koch, thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Technische Universiteit Eindhoven Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands I2DAMO GmbH Englerallee 19 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Software and Algorithms for Discrete Optimization Institute of Mathematics Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany GAMS Software GmbH C/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany

the SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. this paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin type for cut selection, and a complete rework of the way nonlinear constraints are handled. Additionally, SCIP 8.0 now supports interfaces for Julia as well as Matlab. Further, UG now includes a unified framework to parallelize all solvers, a utility to analyze computational experiments has been added to GCG, dual solutions can be postsolved by PaPILO, new heuristics and presolving methods were added to SCIP-SDP, and additional problem classes and major performance improvements are available in *** Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05 Copyright © 2021, the Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Erratum to: Application of structured illumination to gas phase thermometry using thermographic phosphor particles: a study for averaged imaging

引用

Experiments in Fluids 2017年第8期58卷 1-1页

作者： Zentgraf, Florian Stephan, Michael Berrocal, Edouard Albert, Barbara Böhm, Benjamin Dreizler, Andreas Department of Reactive Flows and Diagnostics Technische Universität Darmstadt Darmstadt Germany Division of Combustion Physics Department of Physics Lund University Lund Sweden Eduard-Zintl-Institute of Inorganic and Physical Chemistry Technische Universität Darmstadt Darmstadt Germany Department of Energy and Power Plant Technology Technische Universität Darmstadt Darmstadt Germany

来源：评论

学校读者我要写书评

暂无评论

Supporting commissioning of production plants by model-based testing and model learning

Supporting commissioning of production plants by model-based...

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Jan Ladiges Alexander Fay Christopher Haubeck Winfried Lamersdorf Sascha Lity Ina Schaefer Automation Technology Institute Helmut-Schmidt-University Hamburg Germany Distributed Systems and Information Systems University of Hamburg Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Braunschweig Germany Technische Universitat Braunschweig Braunschweig Niedersachsen DE

During the commissioning phase of production systems the identification and correction of malfunctions is a tedious task mainly done manually by commissioning engineers. this task is of high importance because missed malfunctions may result in hazardous behavior during operation phase. At this point, regardless of the engineers expertise a systematic support can drastically decrease the risk of missed malfunctions. A promising systematic approach is to use engineering artifacts of the system design phase as an information source to identify unexpected behavior regarding the specification. this paper proposes such a systematic approach based on model-based testing resulting in automatic test case generation and execution which allows to support engineers with learned models representing the expected transient system behavior. Subsequently, the obtained models are used for detection of unexpected behavior during commissioning. the unexpected behavior is presented to a commissioning engineer who decides if the behavior (1) is correct and will be added to the models or (2) represents an identified system malfunction. the approach is evaluated on a demonstration plant.

关键词： Software testing Sensors Actuators Production Hardware Monitoring

来源：评论

学校读者我要写书评

暂无评论

Selected challenges of software evolution for automated production systems

Selected challenges of software evolution for automated prod...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf t. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany

Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.

关键词： Software Unified modeling language Automation Hardware Adaptation models Solid modeling testing

来源：评论

学校读者我要写书评

暂无评论

Industrial evaluation of pairwise SPL testing with MoSo-PoLite 12

Industrial evaluation of pairwise SPL testing with MoSo-PoLi...

引用

6th International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS'12

作者： Steffens, Michaela Oster, Sebastian Lochau, Malte Fogdal, thomas Danfoss Power Electronics A/S Denmark Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450310581

testing Software Product Lines is a very challenging task due to variability. Frequently, approaches such as combinatorial testing are used to generate representative sets of products for testing purposes instead of testing each individual product of the SPL under test. In this contribution we present the results of applying the MoSo-PoLite framework at Danfoss Power Electronics A/S to calculate a representative set of product configurations for black box testing purposes. Within this evaluation we use MoSo-PoLite's pairwise configuration selection component on the basis of a feature model. this component implements a heuristics finding a minimal subset of configurations covering 100% t-wise feature interaction. According to the best of our knowledge, this is the first publication providing industrial results about pairwise SPL testing. © 2012 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

MoSo-PoLite - tool support for pairwise and model-based software product line testing 11

MoSo-PoLiTe - Tool support for pairwise and model-based soft...

引用

Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive Systems

作者： Oster, Sebastian Zorcic, Ivan Markert, Florian Lochau, Malte Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450305709

testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test artifacts. In this contribution we present a tool chain realizing our MoSo-PoLite concept combining combinatorial and model-based testing. Our tool chain contains a pairwise configuration selection component on the basis of a feature model. this component implements an heuristic finding a minimal subset of configurations covering 100% pairwise interaction. Additionally, our tool chain allows the model-based test case generation for each configuration within this generated subset. this tool chain is based on commercial tools since it was developed within industrial cooperations. A non-commercial implementation of pairwise configuration selection is available and an integration with an Open Source model-based testing tool is under development. Copyright 2011 ACM.

关键词： Chains

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：