Search results for "LEAN"
showing 10 items of 3611 documents
Not so different altogether: Putting Lean and sociotechnical design into practice in a process industry
2021
Purpose: The shop-floor organization under lean production (LP) has been hotly debated for about three decades. As this organization concept leaves considerable room for interpretation, the content of lean-inspired changes can vary widely. This paper pleads for a contingency view of how LP is implemented and how the outcomes of lean-inspired changes rely on users’ interpretations of the concept in particular production contexts.Design/methodology/approach: A case study was conducted in two large Norwegian chemical plants. Data from the observations and interviews were supplemented by interviews with top managers in 2017 and 2018. The first author also followed a management audit in one plan…
Preliminary structural assessment of the HELIAS 5-B breeding blanket
2019
Abstract The European Roadmap to the realisation of fusion energy, carried out by the EUROfusion consortium, considers the stellarator concept as a possible long-term alternative to a tokamak fusion power plant. To this purpose a pivotal issue is the design of a HELIcal-axis Advanced Stellarator (HELIAS) machine equipped with a tritium Breeding Blanket (BB), considering the achievements and the design experience acquired in the pre-conceptual design phase of the tokamak DEMO BB. Therefore, within the framework of EUROfusion Work Package S2 R&D activity, a research campaign has been launched at KIT. The scope of the research has been the determination of a preliminary BB segmentation scheme …
Validation of Multi-Physics Integrated Procedure for the HCPB Breeding Blanket
2019
The wide range of requirements and constraints involved in the design of nuclear components for fusion reactors makes the development of multi-physics analysis procedures of utmost importance. In the framework of the European DEMO project, the Karlsruhe Institute of Technology (KIT) is dedicating several efforts to the development of a multi-physics analysis tool allowing the characterization of breeding blanket design points which are consistent from the neutronic, thermal-hydraulic and thermal-mechanical points of view. In particular, a procedure developed at KIT is characterized by the implementation of analysis software only. A preliminary step for the validation of such a procedure ha…
Efficient metallic spintronic emitters of ultrabroadband terahertz radiation
2016
Terahertz electromagnetic radiation is extremely useful for numerous applications such as imaging and spectroscopy. Therefore, it is highly desirable to have an efficient table-top emitter covering the 1-to-30-THz window whilst being driven by a low-cost, low-power femtosecond laser oscillator. So far, all solid-state emitters solely exploit physics related to the electron charge and deliver emission spectra with substantial gaps. Here, we take advantage of the electron spin to realize a conceptually new terahertz source which relies on tailored fundamental spintronic and photonic phenomena in magnetic metal multilayers: ultrafast photo-induced spin currents, the inverse spin-Hall effect an…
Dynamical amplification of electric polarization through nonlinear phononics in 2D SnTe
2020
Ultrafast optical control of ferroelectricity using intense terahertz fields has attracted significant interest. Here we show that the nonlinear interactions between two optical phonons in SnTe, a two-dimensional in-plane ferroelectric material, enables a dynamical amplification of the electric polarization within subpicoseconds time domain. Our first-principles time-dependent simulations show that the infrared-active out-of-plane phonon mode, pumped to nonlinear regimes, spontaneously generates in-plane motions, leading to rectified oscillations in the in-plane electric polarization. We suggest that this dynamical control of ferroelectric material, by nonlinear phonon excitation, can be ut…
Thermal Analysis of the Solar Orbiter PHI Electronics Unit
2020
“© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.”
High precision quantum query algorithm for computing AND-based boolean functions
2010
Quantum algorithms can be analyzed in a query model to compute Boolean functions. Function input is provided in a black box, and the aim is to compute the function value using as few queries to the black box as possible. The complexity of the algorithm is measured by the number of queries on the worst-case input. In this paper we consider computing AND Boolean function. First, we present a quantum algorithm for AND of two bits. Our algorithm uses one quantum query and correct result is obtained with a probability p=4/5, that improves previous results. The main result is generalization of our approach to design efficient quantum algorithms for computing composite function AND(f1,f2) where fi…
An improved quantum query algorithm for computing AND Boolean function
2010
We consider the quantum query model for computing Boolean functions. The definition of the function is known, but a black box contains the input X = (x 1 , x 2 , …, x n ). Black box can be accessed by querying x i values. The goal is to develop an algorithm, which would compute the function value for arbitrary input using as few queries to the black box as possible. We present two different quantum query algorithms for computing the basic Boolean function — logical AND of two bits. Both algorithms use only one query to determine the function value. Correct answer probability for the first algorithm is 80%, but for the second algorithm it is 90%. To compute this function with the same probab…
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
2017
Abstract We present a counterexample-guided abstraction refinement ( CEGAR) approach for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels into the controller design. Such models can – in contrast to purely functional controller models – not be analyzed with hybrid verification engines relying on explicit representations of modes, but require fully symbolic representations for both the continuous and discrete part of the state space. The presented abstraction methods directly work on a symbolic representation of arbitrary non-convex combinations of line…
Distributed Consensus on Boolean Information
2009
Abstract In this paper we study the convergence towards consensus on information in a distributed system of agents communicating over a network. The particularity of this study is that the information on which the consensus is seeked is not represented by real numbers, rather by logical values or sets. Whereas the problems of allowing a network of agents to reach a consensus on logical functions of input events, and that of agreeing on set–valued information, have been separately addressed in previous work, in this paper we show that these problems can indeed be attacked in a unified way in the framework of Boolean distributed information systems. Based on a notion of contractivity for Bool…