Filters
SMT-based automatic proof of ASM model refinement
Model refinement is a technique indispensable for modeling large and complex of a logical relation between an abstract model and its refined models. Model refinement is built on....
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Mathematical modelling of tanks for biological refining
Mathematical modelling of tanks for biological refining...
BC - Teorie a systémy řízení
- 1999 •
- D
Rok uplatnění
D - Stať ve sborníku
AsmRefProver - Asmeta Refinement correctness Prover
Model refinement is one of the main concepts which the Abstract State Machine (ASM) formal method is built on. The tool automatically checks refinement correctness by using an SMT representation of the ASM models....
IN - Informatika
- 2016 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
Functional sample of physical model for study of the refining aluminium-alloy melts
The research result is unique physical model for study of the refining aluminium-alloy melts. Original solution of the physical model is simulation method based on hydrogen content decrease in molten aluminium during re...
Materials engineering
- 2020 •
- Gfunk
Rok uplatnění
Gfunk - Funkční vzorek
Functional sample of physical model for study of the refining aluminium-alloy melts
The research result is unique physical model for study of the refining aluminium-alloy melts. Original solution of the physical model is simulation method based on hydrogen content decrease in molten aluminium during re...
Materials engineering
- 2020 •
- Gfunk
Rok uplatnění
Gfunk - Funkční vzorek
Modelling of glass refining kinetics, Part 2., Bubble distribution models and methods of measurement of refining properties
in the space is therefore calculated. This work presents three distribution models necessary for modelling refining process and glass quality control.Contemporary approach to modelling of the glass melting process...
JH - Keramika, žáruvzdorné materiály a skla
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Refinement Algorithm for Mathematical Model of Airflow Velocity in Highway Tunnels
The paper deals with the derivation of the one-dimensional mathematical model of airflow velocity in highway tunnels and explains potential problems with accurate modelling. The designed algorithm for the refinement of the ...
BC - Teorie a systémy řízení
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
Modelling credit spread
Basic themes of document: struktural models of credit risk; credit spread; refinance risk...
AH - Ekonomie
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
NUMERICAL MODELLING OF METAL MELT REFINING PROCESS IN LADLE WITH ROTATING IMPELLER AND BREAKWATERS
are explained. The results of numerical modelling allow to improve the refining technologyThe paper describes research and development of aluminium melt refining technology in a ladle with rotating impeller and breakwaters...
Materials engineering
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Ionisation of atoms determined by kappa refinement against 3D electron diffraction data
improved the structure model obtained over conventional IAM refinements and providedConventional refinement strategies used for three-dimensional electron a pure spherical model called the Independent Atom mod...
Condensed matter physics (including formerly solid state physics, supercond.)
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 172 701