Relevant bibliographies by topics / Ω-automates

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Ω-automates'

Author: Grafiati
Published: 25 May 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Ω-automates.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Ω-automates"

1

Brkić, Dejan, and Zoran Stajić. "EXCEL VBA-BASED USER DEFINED FUNCTIONS FOR HIGHLY PRECISE COLEBROOK’S PIPE FLOW FRICTION APPROXIMATIONS: A COMPARATIVE OVERVIEW." Facta Universitatis, Series: Mechanical Engineering 19, no. 2 (2021): 253. http://dx.doi.org/10.22190/fume210111044b.

Full text
Abstract:
This review paper gives Excel functions for highly precise Colebrook’s pipe flow friction approximations developed by users. All shown codes are implemented as User Defined Functions – UDFs written in Visual Basic for Applications – VBA, a common programming language for MS Excel spreadsheet solver. Accuracy of the friction factor computed using nine to date the most accurate explicit approximations is compared with the sufficiently accurate solution obtained through an iterative scheme which gives satisfying results after sufficient number of iterations. The codes are given for the presented
APA, Harvard, Vancouver, ISO, and other styles
2

Sasaki, H., H. Nishinaka та K. Shida. "Automated measurement system for 1-Ω standard resistors using a modified Wheatstone bridge". IEEE Transactions on Instrumentation and Measurement 40, № 2 (1991): 274–77. http://dx.doi.org/10.1109/tim.1990.1032936.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ouameur, Mohamed, Renata Vasconcellos, and Mohamed Agazar. "Digital Impedance Bridge for Four-Terminal-Pair AC Resistor Calibration up to 20 kHz." Metrology 4, no. 1 (2024): 1–14. http://dx.doi.org/10.3390/metrology4010001.

Full text
Abstract:
For this study, a substitution principle-based impedance bridge has been developed to calibrate AC resistors in a four-terminal-pair (4TP) configuration. The calibration is performed in the full complex plane for resistances ranging from 100 mΩ to 400 Ω and frequencies of between 50 Hz and 20 kHz. The automated bridge is based on four resistors associated with two high-impedance stages. The balancing of the bridge is achieved by means of PXI modules. The bridge is automatically balanced via a simplex top-down algorithm. The new bridge is primarily used for the measurement chain of AC standard
APA, Harvard, Vancouver, ISO, and other styles
4

Nie, Pei, Bin Pan, Muhammd Jamil Ahmad, et al. "Summer Buffalo Milk Produced in China: A Desirable Diet Enriched in Polyunsaturated Fatty Acids and Amino Acids." Foods 11, no. 21 (2022): 3475. http://dx.doi.org/10.3390/foods11213475.

Full text
Abstract:
The objective of the study was to compare and reveal differences in basic chemical parameters, fatty acids, amino acids, and lipid quality indices of crossbred buffalo (swamp x river type) milk produced in summer and winter. The buffalo milk samples were collected in summer (Jul–Aug) and winter (Dec–Jan) from Hubei province, China. The samples were detected by using CombiFoss apparatus, gas chromatography, and an automated specialized amino acid analyzer. The results showed that the basic chemical parameters, fatty acid profiles, lipid quality indices, and amino acid profiles of crossbred buff
APA, Harvard, Vancouver, ISO, and other styles
5

De Rosa, Pierluigi, Andrea Fredduzzi, and Corrado Cencetti. "Stream Power Determination in GIS: An Index to Evaluate the Most ’Sensitive’Points of a River." Water 11, no. 6 (2019): 1145. http://dx.doi.org/10.3390/w11061145.

Full text
Abstract:
This paper focuses on the problem of measuring stream power in a hydrographic network using the original definition provided by Bagnold in 1996. Recent digital elevation models have enabled the calculation of channel gradients and, consequently, stream power with a finer spatial resolution, and this has created promising and novel opportunities to investigate river geomorphological processes and forms. The work carried out in this study includes defining and implementing a methodological approach that could be automated within a geographic information system and that meets two requirements: (1
APA, Harvard, Vancouver, ISO, and other styles
6

Štambuk, Igor. "Precison Automated Measuring System for Accurate Comparison of Resistance Standards and Shunts." Journal of Energy - Energija 67, no. 1 (2022): 19–22. http://dx.doi.org/10.37798/201867187.

Full text
Abstract:
In this paper we will present a development of Measurement system for accurate comparison of low resistance standards and AC shunts ranging from 0.1 mΩ to 10 Ω as well as system testing and use. The system consists of a specially built current source, range selector, current reversal module and low cost analog to digital converter. The entire measurement procedure is automated and controlled by LabVIEW program. Subsequent testing has shown that the realized precision resistance measurement system has achieved precision comparable to more expensive commercial devices. The system or system eleme
APA, Harvard, Vancouver, ISO, and other styles
7

Osichev, Alexander, and Andrii Tkachenko. "APPLICATION OF THE MAPLE PACKAGE FOR ANALYTICAL TRANSFORMATIONS FOR CALCULATION AND PLOTING OF STATIONARY MODES OF INDUCTION MOTORS AND ELECTRIC DRIVES." Energy saving. Power engineering. Energy audit., no. 1-2(179-180) (May 10, 2023): 3–14. http://dx.doi.org/10.20998/2313-8890.2023.01.01.

Full text
Abstract:
A program was developed in the package of symbolic transformations Maple. It provides automated formulas and graphing of basic characteristics of IM motors in a convenient form for the electrical engineer and student: M(s), ω(M), ω(I), I(s); cosφ=f(s) and φ(s) for stator currents, rotor currents, magnetizing circuit, machine efficiency η (s) and a number of other characteristics. The calculation is based on the substitution scheme of IM motors in its different variants: with one circuit in the rotor, with two or more circuits in the rotor, taking into account the skin effect in the rotor rods
APA, Harvard, Vancouver, ISO, and other styles
8

Wang, Xiaodong. "Simultaneous measurement of pole figure and residual stress for polycrystalline thin films: ω–φ′ compensated grazing-incidence diffraction in side-inclination mode". Journal of Applied Crystallography 54, № 5 (2021): 1424–36. http://dx.doi.org/10.1107/s1600576721008335.

Full text
Abstract:
A new grazing-incidence diffraction (GID) measurement geometry between in plane and out of plane is proposed. It is improved from the previous ω–φ compensated GID in side-inclination mode for measurement of residual stress in polycrystalline thin films [Wang & van Riessen (2017). Powder Diffr. 32, S9–S15]. Instead of keeping a constant azimuthal direction of the incident beam on the thin film sample, the current proposed variation maintains a constant azimuthal direction of the scattering vector projection on the thin film sample. The variation is named `ω–φ′ compensated GID in side-inclin
APA, Harvard, Vancouver, ISO, and other styles
9

Ritter, Benedikt, Andreas Vogt, and Tibor J. Dunai. "Technical Note: Noble gas extraction procedure and performance of the Cologne Helix MC Plus multi-collector noble gas mass spectrometer for cosmogenic neon isotope analysis." Geochronology 3, no. 2 (2021): 421–31. http://dx.doi.org/10.5194/gchron-3-421-2021.

Full text
Abstract:
Abstract. We established a new laboratory for noble gas mass spectrometry that is dedicated to the development and application to cosmogenic nuclides at the University of Cologne (Germany). At the core of the laboratory are a state-of-the-art high-mass-resolution multicollector Helix MC Plus (Thermo Fisher Scientific) noble gas mass spectrometer and a novel custom-designed automated extraction line. The mass spectrometer is equipped with five combined Faraday multiplier collectors, with 1012 and 1013 Ω pre-amplifiers for faraday collectors. We describe the extraction line and the automated pro
APA, Harvard, Vancouver, ISO, and other styles
10

Potap, О. Yu, and А. V. Ivanichyk. "The accuracy of rolling thickness adjustment in conditions of high-frequency disturbances taking into account the speed of roll setting devices." Fundamental and applied problems of ferrous metallurgy 36 (2022): 299–307. http://dx.doi.org/10.52150/2522-9117-2022-36-299-307.

Full text
Abstract:
In the continuous mills, where the strip thickness at the entrance contains a high-frequency component caused by the eccentricity of the rolls of the previous cage, the effectiveness of AGC-systems for regulating the thickness of the rolled product depends on the speed of operation of hydraulic roll setting devices (HRSD). Analytical substantiation of the transfer functions of the AGC-system by the eccentricity of the rolls and by the thickness of the undercut, taking into account the real speed of the HRSD has been carried out. The frequency characteristics of the AGC-system are analytically
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Ω-automates"

1

Renkin, Florian. "Transformations d’ω-automates pour la synthèse de systèmes réactifs". Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS227.

Full text
Abstract:
La synthèse vise à produire un système correct à partir de spécifications. Une approche pour résoudre ce problème consiste à traduire la spécification en un jeu de parité dont la stratégie gagnante encode le système. Dans cette thèse nous allons montrer deux méthodes permettant de produire des automates de parité. La première s'appuie sur l'amélioration et la combinaison de procédures nouvelles ou existantes. La seconde est un algorithme de Casares et al. apportant une garantie d'optimalité du résultat. Dans un deuxième temps, nous montrerons comment nous réduisons le système obtenu. Deux type
APA, Harvard, Vancouver, ISO, and other styles
2

Aazan, Georges. "Stability of constrained switched systems driven by ω-regular languages". Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPAST137.

Full text
Abstract:
Les systèmes commutés sont des systèmes dynamiques comportant plusieurs modes de fonctionnement, chaque mode étant décrit par une équation différentielle (temps continu) ou une équation aux différences (temps discret). Le mode de fonctionnement actif est déterminé à tout moment par un signal de commutation. Les systèmes commutés sont très utiles en pratique pour décrire précisément l’exécution d’algorithmes de contrôle sur des infrastructures informatiques distribuées et ainsi pour prendre en compte les contraintes liées à l’utilisation de ressources informatiques et de communication partagées
APA, Harvard, Vancouver, ISO, and other styles
3

Segelken, Marc [Verfasser]. "Abstraktion und Gegenbeispiel-gelenkte Konstruktion von ω-Automaten [Omega-Automaten] zur Verifikation Schritt-diskreter linearer hybrider Systeme / von Marc Segelken". 2008. http://d-nb.info/989268985/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Ω-automates"

1

Hofmann, Martin, and Martin Lange. "Entscheidungsverfahren für ω-Automaten." In Automatentheorie und Logik. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18090-3_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Henzinger, Thomas A., Kaushik Mallik, Pouya Sadeghi, and Đorđe Žikelić. "Supermartingale Certificates for Quantitative Omega-Regular Verification and Control." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-98679-6_2.

Full text
Abstract:
Abstract We present the first supermartingale certificate for quantitative $$\omega $$ ω -regular properties of discrete-time infinite-state stochastic systems. Our certificate is defined on the product of the stochastic system and a limit-deterministic Büchi automaton that specifies the property of interest; hence we call it a limit-deterministic Büchi supermartingale (LDBSM). Previously known supermartingale certificates applied only to quantitative reachability, safety, or reach-avoid properties, and to qualitative (i.e., probability 1) $$\omega $$ ω -regular properties.We also present full
APA, Harvard, Vancouver, ISO, and other styles
3

Lette, Danya, and Azadeh Farzan. "Commutativity for Concurrent Program Termination Proofs." In Computer Aided Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37706-8_6.

Full text
Abstract:
AbstractThis paper explores how using commutativity can improve the efficiency and efficacy of algorithmic termination checking for concurrent programs. If a program run is terminating, one can conclude that all other runs equivalent to it up-to-commutativity are also terminating. Since reasoning about termination involves reasoning about infinite behaviours of the program, the equivalence class for a program run may include infinite words with lengths strictly larger than $$\omega $$ ω that capture the intuitive notion that some actions may soundly be postponed indefinitely. We propose a soun
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Ω-automates"

1

Briones, Alejandro M., and Brent A. Rankin. "Development of an Open-Source Autonomous CFD Meta-Modeling Environment for Small-Scale Combustor Optimization – Part II." In ASME Turbo Expo 2022: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/gt2022-78586.

Full text
Abstract:
Abstract This work presents an improved open-source autonomous CFD meta-modeling environment (OpenACME) for small-scale combustor design optimization. OpenACME couples several object-oriented programming open-source codes for CFD-assisted engineering design meta-modeling. OpenACME is fully automated and can be used in PC workstations or HPC clusters. OpenACME uses a global metaheuristic optimization algorithm based on multiple-objective evolutionary algorithm (i.e., NSGA-II). An initial design population is first computed with Latin Hypercube Sampling and subsequent iterations generate offspri
APA, Harvard, Vancouver, ISO, and other styles
2

Permana, Aziz, Yan Gustian, Jerry D. Mamesah, et al. "Automated Identification of LRLC Reservoirs Using Machine Learning in South Sumatra Basin, Indonesia." In 2024 SPWLA 65th Annual Symposium. Society of Petrophysicists and Well Log Analysts, 2024. https://doi.org/10.30632/spwla-2024-0131.

Full text
Abstract:
The South Sumatra Basin has played a pivotal role in Indonesia’s oil and gas production for several decades. This study focuses on evaluating the potential of the Muara Enim, Air Benakat, and Gumai Formations, situated above the primary Baturaja carbonate and Talang Akar sand reservoirs. While 27 wells have demonstrated hydrocarbon production from the low-resistivity low-contrast (LRLC) reservoir, approximately 85% of the staggering 4,700 operational oil wells are currently suspended. The identification of LRLC pay zones is a daunting challenge due to the voluminous data set and repetitive nat
APA, Harvard, Vancouver, ISO, and other styles
3

Kadhim, Hakim T. K., Aldo Rona, Hayder M. B. Obaida, and J. Paul Gostelow. "Numerical Study of the Flow Past an Axial Turbine Stator Casing and Perspectives for its Management." In ASME Turbo Expo 2017: Turbomachinery Technical Conference and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/gt2017-63055.

Full text
Abstract:
The interaction of secondary flow with the main passage flow results in entropy generation; this accounts for considerable losses in turbomachines. Low aspect ratio blades in an axial turbine lead to a high degree of secondary flow losses. A particular interest is the reduction in secondary flow strength at the turbine casing, which adversely affects the turbine performance. This paper presents a selective review of effective techniques for improving the performance of axial turbines by turbine end wall modifications. This encompasses the use of axisymmetric and non-axisymmetric end wall conto
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Ω-automates' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography