scholarly journals Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV

2021 ◽  
Author(s):  
Jonas Fritzsch ◽  
Tobias Schmid ◽  
Stefan Wagner
Keyword(s):  
Control System ◽  
Model Checking ◽  
Large Scale ◽  
Vehicle Control ◽  
Scale Model ◽  
Large Scale Model

False discovery rates for large-scale model checking under certain dependence

2017 ◽  
Vol 47 (1) ◽  
pp. 64-79
Author(s):  
Lu Deng ◽  
Xuemin Zi ◽  
Zhonghua Li
Keyword(s):  
Model Checking ◽  
Large Scale ◽  
Scale Model ◽  
False Discovery Rates ◽  
False Discovery ◽  
Large Scale Model ◽  
Discovery Rates

scholarly journals Efficient large-scale model checking

2009 ◽  
Author(s):  
Kees Verstoep ◽  
Henri E. Bal ◽  
Jiri Barnat ◽  
Lubos Brim
Keyword(s):  
Model Checking ◽  
Large Scale ◽  
Scale Model ◽  
Large Scale Model

RANCANG BANGUN PERANGKAT EKSPERIMENTASI PROSES PIROLISIS BIOMASA GELOMBANG MIKRO

2013 ◽  
Vol 14 (2) ◽  
Author(s):  
Noor Fachrizal
Keyword(s):  
Large Scale ◽  
Continuous Model ◽  
Biomass Energy ◽  
Scale Model ◽  
Small Scale ◽  
Laboratory Apparatus ◽  
Liquid Form ◽  
Large Scale Model ◽  
Bio Oil ◽  
Pyrolysis Of Biomass

Biomass such as agriculture waste and urban waste are enormous potency as energy resources instead of enviromental problem. organic waste can be converted into energy in the form of liquid fuel, solid, and syngas by using of pyrolysis technique. Pyrolysis process can yield higher liquid form when the process can be drifted into fast and flash response. It can be solved by using microwave heating method. This research is started from developing an experimentation laboratory apparatus of microwave-assisted pyrolysis of biomass energy conversion system, and conducting preliminary experiments for gaining the proof that this method can be established for driving the process properly and safely. Modifying commercial oven into laboratory apparatus has been done, it works safely, and initial experiments have been carried out, process yields bio-oil and charcoal shortly, several parameters are achieved. Some further experiments are still needed for more detail parameters. Theresults may be used to design small-scale continuous model of productionsystem, which then can be developed into large-scale model that applicable for comercial use.

scholarly journals An Oracle for Guiding Large-Scale Model/Hybrid Parallel Training of Convolutional Neural Networks

2020 ◽  
Author(s):  
Albert Njoroge Kahira ◽  
Truong Thao Nguyen ◽  
Leonardo Bautista Gomez ◽  
Ryousei Takano ◽  
Rosa M. Badia ◽  
...  
Keyword(s):  
Neural Networks ◽  
Convolutional Neural Networks ◽  
Large Scale ◽  
Scale Model ◽  
Large Scale Model

Effect of an Oscillating Flow Direction on Leading Edge Heat Transfer

1984 ◽  
Vol 106 (1) ◽  
pp. 222-228 ◽  
Author(s):  
M. L. Marziale ◽  
R. E. Mayle
Keyword(s):  
Heat Transfer ◽  
Strouhal Number ◽  
Large Scale ◽  
Flow Direction ◽  
Leading Edge ◽  
Periodic Variation ◽  
Scale Model ◽  
Transfer Rates ◽  
Large Scale Model ◽  
Turbulence Length

An experimental investigation was conducted to examine the effect of a periodic variation in the angle of attack on heat transfer at the leading edge of a gas turbine blade. A circular cylinder was used as a large-scale model of the leading edge region. The cylinder was placed in a wind tunnel and was oscillated rotationally about its axis. The incident flow Reynolds number and the Strouhal number of oscillation were chosen to model an actual turbine condition. Incident turbulence levels up to 4.9 percent were produced by grids placed upstream of the cylinder. The transfer rate was measured using a mass transfer technique and heat transfer rates inferred from the results. A direct comparison of the unsteady and steady results indicate that the effect is dependent on the Strouhal number, turbulence level, and the turbulence length scale, but that the largest observed effect was only a 10 percent augmentation at the nominal stagnation position.

Large scale model tests on Royal Schelde SES

1989 ◽  
Author(s):  
R. DE GAAIJ ◽  
E. VAN RIETBERGEN ◽  
M. SLEGERS
Keyword(s):  
Large Scale ◽  
Model Tests ◽  
Scale Model ◽  
Large Scale Model
Sign in / Sign up

Export Citation Format

Share Document