Towards Compliance Verification Between Global and Local Process Models

2015 ◽  
pp. 221-236 ◽  
Author(s):  
Pieter M. Kwantes ◽  
Pieter Van Gorp ◽  
Jetty Kleijn ◽  
Arend Rensink
Keyword(s):  
Process Models ◽  
Local Process ◽  
Compliance Verification ◽  
Global And Local

scholarly journals Interest-driven discovery of local process models

2018 ◽  
Vol 77 ◽  
pp. 105-117 ◽  
Author(s):  
Niek Tax ◽  
Benjamin Dalmas ◽  
Natalia Sidorova ◽  
Wil M.P. van der Aalst ◽  
Sylvie Norre
Keyword(s):  
Process Models ◽  
Local Process

scholarly journals Mining local process models

2016 ◽  
Vol 3 (2) ◽  
pp. 183-196 ◽  
Author(s):  
Niek Tax ◽  
Natalia Sidorova ◽  
Reinder Haakma ◽  
Wil M.P. van der Aalst
Keyword(s):  
Process Models ◽  
Local Process

Influence of global and local process gas shielding on surface topography in laser micro polishing (LμP) of stainless steel 410

2020 ◽  
Vol 403 ◽  
pp. 126401 ◽  
Author(s):  
A. Temmler ◽  
I. Ross ◽  
J. Luo ◽  
G. Jacobs ◽  
J.H. Schleifenbaum
Keyword(s):  
Stainless Steel ◽  
Surface Topography ◽  
Local Process ◽  
Process Gas ◽  
Global And Local

scholarly journals Fully integrated high quality factor <i>G</i><sub>m</sub><i>C</i> bandpass filter stage with highly linear operational transconductance amplifier

2017 ◽  
Vol 15 ◽  
pp. 149-155 ◽  
Author(s):  
Jochen Briem ◽  
Marco Mader ◽  
Daniel Reiter ◽  
Raul Amirpour ◽  
Markus Grözing ◽  
...  
Keyword(s):  
Bandpass Filter ◽  
Process Variations ◽  
Q Factor ◽  
Operational Transconductance Amplifier ◽  
High Quality ◽  
Fully Integrated ◽  
Local Process ◽  
Transconductance Amplifier ◽  
Control Circuits ◽  
Global And Local

Abstract. This paper presents an electrical, fully integrated, high quality (Q) factor GmC bandpass filter (BPF) stage for a wireless 27 MHz direct conversion receiver for a bendable sensor system-in-foil (Briem et al., 2016). The core of the BPF with a Q factor of more than 200 is an operational transconductance amplifier (OTA) with a high linearity at an input range of up to 300 mVpp, diff. The OTA's signal-to-noise-and-distortion-ratio (SNDR) of more than 80 dB in the mentioned range is achieved by stabilizing its transconductance Gm with a respective feedback loop and a source degeneration resistors RDG. The filter stage can be tuned and is tolerant to global and local process variations due to offset and common-mode feedback (CMFB) control circuits. The results are determined by periodic steady state (PSS) simulations at more than 200 global and local process variation parameter and temperature points and corner simulations. It is expected, that the parasitic elements of the layout have no significant influence on the filter behaviour. The current consumption of the whole filter stage is less than 600 µA.

scholarly journals Combined Global and Local Search for Optimization with Gaussian Process Models

2021 ◽  
Author(s):  
Qun Meng ◽  
Songhao Wang ◽  
Szu Hui Ng
Keyword(s):  
Local Search ◽  
Gaussian Process ◽  
Design Space ◽  
Global Optimum ◽  
Process Models ◽  
Computationally Efficient ◽  
Model Based ◽  
Probability Of Collision ◽  
Global And Local ◽  
Gp Model

Gaussian process (GP) model based optimization is widely applied in simulation and machine learning. In general, it first estimates a GP model based on a few observations from the true response and then uses this model to guide the search, aiming to quickly locate the global optimum. Despite its successful applications, it has several limitations that may hinder its broader use. First, building an accurate GP model can be difficult and computationally expensive, especially when the response function is multimodal or varies significantly over the design space. Second, even with an appropriate model, the search process can be trapped in suboptimal regions before moving to the global optimum because of the excessive effort spent around the current best solution. In this work, we adopt the additive global and local GP (AGLGP) model in the optimization framework. The model is rooted in the inducing points based GP sparse approximations and is combined with independent local models in different regions. With these properties, the AGLGP model is suitable for multimodal responses with relatively large data sizes. Based on this AGLGP model, we propose a combined global and local search for optimization (CGLO) algorithm. It first divides the whole design space into disjoint local regions and identifies a promising region with the global model. Next, a local model in the selected region is fit to guide detailed search within this region. The algorithm then switches back to the global step when a good local solution is found. The global and local natures of CGLO enable it to enjoy the benefits of both global and local search to efficiently locate the global optimum. Summary of Contribution: This work proposes a new Gaussian process based algorithm for stochastic simulation optimization, which is an important area in operations research. This type of algorithm is also regarded as one of the state-of-the-art optimization algorithms for black-box functions in computer science. The aim of this work is to provide a computationally efficient optimization algorithm when the baseline functions are highly nonstationary (the function values change dramatically across the design space). Such nonstationary surfaces are very common in reality, such as the case in the maritime traffic safety problem considered here. In this problem, agent-based simulation is used to simulate the probability of collision of one vessel with the others on a given trajectory, and the decision maker needs to choose the trajectory with the minimum probability of collision quickly. Typically, in a high-congestion region, a small turn of the vessel can result in a very different conflict environment, and thus the response is highly nonstationary. Through our study, we find that the proposed algorithm can provide safer choices within a limited time compared with other methods. We believe the proposed algorithm is very computationally efficient and has large potential in such operational problems.

Sign in / Sign up

Export Citation Format

Share Document