Bibliografias temáticas / Ω-automata

Literatura científica selecionada sobre o tema "Ω-automata"

Autor: Grafiati

Publicado: 25 de maio de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Índice

Artigos de revistas
Teses / dissertações
Capítulos de livros
Trabalhos de conferências

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Ω-automata".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "Ω-automata"

Krithivasan, Kamala, K. Sharda e Sandeep V. Varma. "Distributed ω-Automata". International Journal of Foundations of Computer Science 14, n.º 04 (agosto de 2003): 681–98. http://dx.doi.org/10.1142/s0129054103001959.

Texto completo da fonte

Resumo:

In this paper, we introduce the notion of distributed ω-automata. Distributed ω-automata are a group of automata working in unison to accept an ω-language. We build the theory of distributed ω-automata for finite state automata and pushdown automata in different modes of cooperation like the t-mode, *-mode, = k-mode, ≤ k-mode and ≥ k-mode along with different acceptance criteria i.e. Büchi-, Muller-, Rabin- and Streett- acceptance criteria. We then analyze the acceptance power of such automata in all the above modes of cooperation and acceptance criteria. We present proofs that distributed ω-finite state automata do not have any additional power over ω-finite state automata in any of the modes of cooperation or acceptance criteria, while distributed ω-pushdown automata can accept languages not in CFLω. We give proofs for the equivalence of all modes of cooperation and acceptance criteria in the case of distributed ω-pushdown automata. We show that the power of distributed ω-pushdown automata is equal to that of ω-Turing Machines. We also study the deterministic version of distributed ω-pushdown automata. Deterministic ω-pushdown automata accept only languages contained in CFLω but distributed deterministic ω-pushdown automata can accept languages not in CFLω and have the same power as their nondeterministic counterparts. We also define distributed completely deterministic ω-pushdown automata and analyze their power.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Baier, Christel, Marcus Grösser e Nathalie Bertrand. "Probabilistic ω-automata". Journal of the ACM 59, n.º 1 (fevereiro de 2012): 1–52. http://dx.doi.org/10.1145/2108242.2108243.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Krithivasan, Kamala, e K. Sharda. "Fuzzy ω-automata". Information Sciences 138, n.º 1-4 (outubro de 2001): 257–81. http://dx.doi.org/10.1016/s0020-0255(01)00150-5.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

CARNINO, VINCENT, e SYLVAIN LOMBARDY. "FACTORIZATIONS AND UNIVERSAL AUTOMATON OF OMEGA LANGUAGES". International Journal of Foundations of Computer Science 25, n.º 08 (dezembro de 2014): 1111–25. http://dx.doi.org/10.1142/s0129054114400279.

Texto completo da fonte

Resumo:

We extend the concept of factorization on finite words to ω-rational languages and show how to compute them. We define a normal form for Büchi automata and introduce a universal automaton for Büchi automata in normal form. We prove that, for every ω-rational language, this Büchi automaton, based on factorization, is canonical and that it is the smallest automaton that contains the morphic image of every equivalent Büchi automaton in normal form.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Lindsay, Peter A. "On alternating ω-automata". Journal of Computer and System Sciences 36, n.º 1 (fevereiro de 1988): 16–24. http://dx.doi.org/10.1016/0022-0000(88)90018-9.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

KUPFERMAN, ORNA, GILA MORGENSTERN e ANIELLO MURANO. "TYPENESS FOR ω-REGULAR AUTOMATA". International Journal of Foundations of Computer Science 17, n.º 04 (agosto de 2006): 869–83. http://dx.doi.org/10.1142/s0129054106004157.

Texto completo da fonte

Resumo:

We introduce and study three notions of typeness for automata on infinite words. For an acceptance-condition class γ (that is, γ is weak, Büchi, co-Büchi, Rabin, or Streett), deterministic γ-typeness asks for the existence of an equivalent γ-automaton on the same deterministic structure, nondeterministic γ-typeness asks for the existence of an equivalent γ-automaton on the same structure, and γ-powerset-typeness asks for the existence of an equivalent γ-automaton on the (deterministic) powerset structure – one obtained by applying the subset construction. The notions are helpful in studying the complexity and complication of translations between the various classes of automata. For example, we prove that deterministic Büchi automata are co-Büchi type; it follows that a translation from deterministic Büchi to deterministic co-Büchi automata, when exists, involves no blow up. On the other hand, we prove that nondeterministic Büchi automata are not co-Büchi type; it follows that a translation from a nondeterministic Büchi to nondeterministic co-Büchi automata, when exists, should be more complicated than just redefining the acceptance condition. As a third example, by proving that nondeterministic co-Büchi automata are Büchi-powerset type, we show that a translation of nondeterministic co-Büchi to deterministic Büchi automata, when exists, can be done applying the subset construction. We give a complete picture of typeness for the weak, Büchi, co-Büchi, Rabin, and Streett acceptance conditions, and discuss its usefulness.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Engelfriet, Joost, e Hendrik Jan Hoogeboom. "X-automata on ω-words". Theoretical Computer Science 110, n.º 1 (março de 1993): 1–51. http://dx.doi.org/10.1016/0304-3975(93)90349-x.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Chen, Zhe. "On the Generative Power of ω-Grammars and ω-Automata". Fundamenta Informaticae 111, n.º 2 (2011): 119–45. http://dx.doi.org/10.3233/fi-2011-557.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Löding, Christof, e Max Philip Stachon. "On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words". Fundamenta Informaticae 189, n.º 1 (7 de julho de 2023): 69–91. http://dx.doi.org/10.3233/fi-222152.

Texto completo da fonte

Resumo:

We study minimization problems for deterministic ω-automata in the presence of don’t care words. We prove that the number of priorities in deterministic parity automata can be efficiently minimized under an arbitrary set of don’t care words. We derive that from a more general result from which one also obtains an efficient minimization algorithm for deterministic parity automata with informative right-congruence (without don’t care words). We then analyze languages of don’t care words with a trivial right-congruence. For such sets of don’t care words it is known that weak deterministic Büchi automata (WDBA) have a unique minimal automaton that can be efficiently computed from a given WDBA (Eisinger, Klaedtke 2006). We give a congruence-based characterization of the corresponding minimal WDBA, and show that the don’t care minimization results for WDBA do not extend to deterministic ω-automata with informative right-congruence: for this class there is no unique minimal automaton for a given don’t care set with trivial right congruence, and the minimization problem is NP-hard. Finally, we extend an active learning algorithm for WDBA (Maler, Pnueli 1995) to the setting with an additional set of don’t care words with trivial right-congruence.

Estilos ABNT, Harvard, Vancouver, APA, etc.

La Torre, Salvatore, e Margherita Napoli. "Finite automata on timed ω-trees". Theoretical Computer Science 293, n.º 3 (fevereiro de 2003): 479–505. http://dx.doi.org/10.1016/s0304-3975(02)00611-4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Mais fontes

Teses / dissertações sobre o assunto "Ω-automata"

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.

Texto completo da fonte

Resumo:

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 types de réductions seront abordées. La première permet d'obtenir un résultat optimal mais pas la seconde qui privilégie le temps de traitement. La troisième partie décrira des optimisations qui peuvent être utilisées pour certaines classes de spécifications
Synthesis aims to produce a correct system from specifications. One approach to solve this problem is to translate the specification into a parity game whose winning strategy encodes the system. In this thesis we will show two methods to produce parity automata. The first is based on improving and combining new or existing procedures. The second is an algorithm from Casares et al. providing a guarantee of optimal results. In a second step, we will show how we reduce the obtained system. Two types of reductions will be discussed. The first allows to obtain an optimal result but not the second which privileges the processing time. The third part will describe optimizations that can be used for certain classes of specifications

Estilos ABNT, Harvard, Vancouver, APA, etc.

Sickert, Salomon [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, Estaun Francisco Javier [Gutachter] Esparza e Orna [Gutachter] Kupferman. "A Unified Translation of Linear Temporal Logic to ω-Automata / Salomon Sickert ; Gutachter: Francisco Javier Esparza Estaun, Orna Kupferman ; Betreuer: Francisco Javier Esparza Estaun". München : Universitätsbibliothek der TU München, 2019. http://d-nb.info/119416305X/34.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Pezzotti, Simone. "DFT-MD simulations and theoretical SFG spectroscopy to characterize H-Bonded networks at aqueous interfaces : from hydrophobic to hydrophilic environments Structural definition of the BIL and DL: a new universal methodology to rationalize non-linear χ(2)(ω) SFG signals at charged interfaces, including χ(3)(ω) contributions What the Diffuse Layer (DL) Reveals in Non-Linear SFG Spectroscopy 2D H-Bond Network as the Topmost Skin to the Air-Water Interface Combining ab-initio and classical molecular dynamics simulations to unravel the structure of the 2D-HB-network at the air-water interface 2D-HB-Network at the air-water interface: A structural and dynamical characterization by means of ab initio and classical molecular dynamics simulations Spectroscopic BIL-SFG Invariance Hides the Chaotropic Effect of Protons at the Air-Water Interface Molecular hydrophobicity at a macroscopically hydrophilic surface Graph theory for automatic structural recognition in molecular dynamics simulations DFT-MD of the (110)-Co3O4 cobalt oxide semiconductor in contact with liquid water, preliminary chemical and physical insights into the electrochemical environment". Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLE008.

Texto completo da fonte

Resumo:

Améliorer notre connaissance de la structure de l'eau dans l'environnement spécial offert par une interface est essentiel pour la compréhension de nombreux phénomènes naturels et applications technologiques. Pour révéler cette structure interfaciale de l'eau, des techniques capables de fournir des informations microscopiques, de manière sélective, pour cette couche interfaciale (BIL) sont nécessaires. Dans le présent travail de thèse, nous avons donc étudié les interfaces aqueuses au niveau moléculaire, en couplant la modélisation théorique à partir de simulations DFT-MD avec les spectroscopies SFG et THz-IR. En développant de nouveaux protocoles/outils d'investigation associant simulations DFT-MD et spectroscopie SFG, en particulier pour la rationalisation plus complexe des interfaces chargées, nous avons fourni une compréhension globale de l'effet des conditions interfaciales d'hydrophilicité, de pH, de force ionique sur le réseau des liaisons-H formé dans la couche interfaciale BIL, sur ses signatures spectroscopiques et sur son impact sur les propriétés physico-chimiques. Nous avons montré pour la première fois que, dans des conditions suffisamment hydrophobes, l'eau interfaciale crée des réseaux des liaisons-H bidimensionnels, révélé expérimentalement par les spectres THz-IR. Le réseau-2D dicte la dynamique de l'eau interfaciale, le potentiel de surface, l'acidité de surface, la tension superficielle et la thermodynamique d'hydratation des solutés hydrophobes. Cet "ordre horizontal" aux interfaces hydrophobes est opposé à "l'ordre verticale" obtenu aux interfaces hydrophiles. Nous avons aussi révélé comment les ions et les conditions de pH modifient ces arrangements structuraux
Improving our knowledge on water H-Bonded networks formed in the special environment offered by an interface is pivotal for our understanding of many natural phenomena and technological applications. To reveal the interfacial water arrangement, techniques able to provide detailed microscopic information selectively for the interfacial layer are required. In the present thesis work, we have hence investigated aqueous interfaces at the molecular level, by coupling theoretical modeling from DFT-MD simulations with SFG & THz-IR spectroscopies. By developing new investigation protocols/tools, coupling DFT-MD simulations and SFG spectroscopy, in particular for the more complex rationalization of charged interfaces, we have provided a global comprehension of the effect of various interfacial conditions (hydrophilicity, pH, ionic strength) on the HB-Network formed in the interfacial layer (BIL), on its spectroscopic signatures and on its impact on physico-chemical properties. We have shown for the first time that, in sufficiently hydrophobic conditions, BIL interfacial water creates special 2-Dimensional HB-Networks, experimentally revealed by one specific THz-IR marker band. Such 2D-network dictates HBs and orientational dynamics of interfacial water, surface potential, surface acidity, water surface tension and thermodynamics of hydration of hydrophobic solutes. Such "horizontal ordering” of water at hydrophobic interfaces is found opposite to the “vertical ordering” of water at hydrophilic interfaces, while coexistence of the two orders leads to disordered interfacial water in intermediate hydrophilic/hydrophobic conditions. Both DFT-MD and SFG further revealed how ions & pH conditions alter these BIL-water orders

Estilos ABNT, Harvard, Vancouver, APA, etc.

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.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Capítulos de livros sobre o assunto "Ω-automata"

Farwer, Berndt. "ω-Automata". In Lecture Notes in Computer Science, 3–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36387-4_1.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Wilke, Thomas, e Sven Schewe. "ω-Automata". In Handbook of Automata Theory, 189–234. Zuerich, Switzerland: European Mathematical Society Publishing House, 2021. http://dx.doi.org/10.4171/automata-1/6.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Villa, Tiziano, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko e Alberto Sangiovanni-Vincentelli. "Equations Over ω-Automata". In The Unknown Component Problem, 73–84. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-68759-9_4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Casares, Antonio, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin e Salomon Sickert. "Practical Applications of the Alternating Cycle Decomposition". In Tools and Algorithms for the Construction and Analysis of Systems, 99–117. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99527-0_6.

Texto completo da fonte

Resumo:

AbstractIn 2021, Casares, Colcombet, and Fijalkow introduced the Alternating Cycle Decomposition (ACD) to study properties and transformations of Muller automata. We present the first practical implementation of the ACD in two different tools, Owl and Spot, and adapt it to the framework of Emerson-Lei automata, i.e., $$\omega $$ ω -automata whose acceptance conditions are defined by Boolean formulas. The ACD provides a transformation of Emerson-Lei automata into parity automata with strong optimality guarantees: the resulting parity automaton is minimal among those automata that can be obtained by duplication of states. Our empirical results show that this transformation is usable in practice. Further, we show how the ACD can generalize many other specialized constructions such as deciding typeness of automata and degeneralization of generalized Büchi automata, providing a framework of practical algorithms for $$\omega $$ ω -automata.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Almagor, Shaull, Yoram Hirshfeld e Orna Kupferman. "Promptness in ω-Regular Automata". In Automated Technology for Verification and Analysis, 22–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15643-4_4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Yen, Hsu-Chun. "Fair Control of ω-Automata". In Discrete Event Systems, 355–62. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4493-7_37.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Kupferman, Orna, Gila Morgenstern e Aniello Murano. "Typeness for ω-Regular Automata". In Automated Technology for Verification and Analysis, 324–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30476-0_27.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Krishnan, Sriram C., Anuj Puri e Robert K. Brayton. "Structural complexity of ω-automata". In STACS 95, 143–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59042-0_69.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Boker, Udi, Karoliina Lehtinen e Salomon Sickert. "On the Translation of Automata to Linear Temporal Logic". In Lecture Notes in Computer Science, 140–60. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_8.

Texto completo da fonte

Resumo:

AbstractWhile the complexity of translating future linear temporal logic (LTL) into automata on infinite words is well-understood, the size increase involved in turning automata back to LTL is not. In particular, there is no known elementary bound on the complexity of translating deterministic $$\omega $$ ω -regular automata to LTL.Our first contribution consists of tight bounds for LTL over a unary alphabet: alternating, nondeterministic and deterministic automata can be exactly exponentially, quadratically and linearly more succinct, respectively, than any equivalent LTL formula. Our main contribution consists of a translation of general counter-free deterministic $$\omega $$ ω -regular automata into LTL formulas of double exponential temporal-nesting depth and triple exponential length, using an intermediate Krohn-Rhodes cascade decomposition of the automaton. To our knowledge, this is the first elementary bound on this translation. Furthermore, our translation preserves the acceptance condition of the automaton in the sense that it turns a looping, weak, Büchi, coBüchi or Muller automaton into a formula that belongs to the matching class of the syntactic future hierarchy. In particular, it can be used to translate an LTL formula recognising a safety language to a formula belonging to the safety fragment of LTL (over both finite and infinite words).

Estilos ABNT, Harvard, Vancouver, APA, etc.

Peng, Wuxu, e S. Purushothaman. "Empty stack Pushdown ω-tree automata". In CAAP '92, 248–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55251-0_14.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "Ω-automata"

Safra, S., e M. Y. Vardi. "On ω-automata and temporal logic". In the twenty-first annual ACM symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/73007.73019.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Lehtinen, Karoliina, e Martin Zimmermann. "Good-for-games ω-Pushdown Automata". In LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3373718.3394737.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Liu, Ying, e Hede Ma. "Pattern recognition using ω-orbit finite automata". In Visual Communications, '91, Boston, MA, editado por Kou-Hu Tzou e Toshio Koga. SPIE, 1991. http://dx.doi.org/10.1117/12.50318.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Bouyer, Patricia, Antonio Casares, Mickael Randour e Pierre Vandenhove. "Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)". In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/713.

Texto completo da fonte

Resumo:

In two-player zero-sum games on graphs, the protagonist tries to achieve an objective while the antagonist aims to prevent it. Objectives for which both players do not need to use memory to play optimally are well-understood and characterized both in finite and infinite graphs. Less is known about the larger class of half-positional objectives, i.e., those for which the protagonist does not need memory (but for which the antagonist might). In particular, no characterization of half-positionality is known for the central class of ω-regular objectives. Here, we characterize objectives recognizable by deterministic Büchi automata (a class of ω-regular objectives) that are half-positional, both over finite and infinite graphs. This characterization yields a polynomial-time algorithm to decide half-positionality of an objective recognized by a given deterministic Büchi automaton.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Safra, Shmuel. "Exponential determinization for ω-automata with strong-fairness acceptance condition (extended abstract)". In the twenty-fourth annual ACM symposium. New York, New York, USA: ACM Press, 1992. http://dx.doi.org/10.1145/129712.129739.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Labai, Nadia, Magdalena Ortiz e Mantas Šimkus. "An ExpTime Upper Bound for ALC with Integers". In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/61.

Texto completo da fonte

Resumo:

Concrete domains, especially those that allow to compare features with numeric values, have long been recognized as a very desirable extension of description logics (DLs), and significant efforts have been invested into adding them to usual DLs while keeping the complexity of reasoning in check. For expressive DLs and in the presence of general TBoxes, for standard reasoning tasks like consistency, the most general decidability results are for the so-called ω-admissible domains, which are required to be dense. Supporting non-dense domains for features that range over integers or natural numbers remained largely open, despite often being singled out as a highly desirable extension. The decidability of some extensions of ALC with non-dense domains has been shown, but existing results rely on powerful machinery that does not allow to infer any elementary bounds on the complexity of the problem. In this paper, we study an extension of ALC with a rich integer domain that allows for comparisons (between features, and between features and constants coded in unary), and prove that consistency can be solved using automata-theoretic techniques in single exponential time, and thus has no higher worst-case complexity than standard ALC. Our upper bounds apply to some extensions of DLs with concrete domains known from the literature, support general TBoxes, and allow for comparing values along paths of ordinary (not necessarily functional) roles.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Catania, Giuseppe, e Giovanni Naldi. "Blade Modeling of an Axial Flow Fan Under Vibration Constraints: An Experimental and Analytical Investigation". In ASME 2002 Engineering Technology Conference on Energy. ASMEDC, 2002. http://dx.doi.org/10.1115/etce2002/struc-29043.

Texto completo da fonte

Resumo:

A fan blade automatic modelling and design technique is proposed. Starting from axial flow fan nominal head H, flow rate Q and revolution speed ω, a numerical constrained optimization procedure is proposed. Fluid-dynamic, as well as geometrical, structural and vibration constraints are taken into account in the evaluation of the optimal objective function. Details of the numerical implementation, as well as results concerning a real application example, are reported and discussed.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Spall, Robert E., e Wenbin Yu. "Imbedded Dual-Number Automatic Differentiation to Support CFD Analysis". In ASME 2012 Fluids Engineering Division Summer Meeting collocated with the ASME 2012 Heat Transfer Summer Conference and the ASME 2012 10th International Conference on Nanochannels, Microchannels, and Minichannels. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/fedsm2012-72043.

Texto completo da fonte

Resumo:

Dual number automatic differentiation was applied to two different computational fluid dynamics codes, one written specifically for this purpose and one larger “legacy” Fortran code. Results for the simple case of a fully developed laminar flow in a channel validated the accuracy of the approach in computing derivatives with respect to both a fluid property, and a geometric dimension. DNAD was also implemented into the JET Fortran program which is available with a popular turbulence modeling textbook as companion software. Mean centerline velocity derivatives for a self-similar round jet with respect to all applicable turbulence model closure coefficients for both k–ω and k–ε models were obtained. The method proved to be accurate and relatively simple to implement into both the new and legacy Fortran codes.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Cheng, X., A. Batta, H. Y. Chen e N. I. Tak. "Turbulent Heat Transfer to Heavy Liquid Metals in Circular Tubes". In ASME 2004 Heat Transfer/Fluids Engineering Summer Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/ht-fed2004-56562.

Texto completo da fonte

Resumo:

The present paper gives a brief literature review on turbulent heat transfer in heavy liquid metals (HLM), especially liquid lead-bismuth eutectic (LBE). Some models available in the open literature on heat transfer and turbulent Prandtl number are assessed. In addition, CFD analysis is carried out for circular tube geometries. The effect of turbulence models, mesh structure and turbulent Prandtl number on the numerical results is studied. Application of ε-type turbulence models with scalable wall function shows less dependence of the numerical results on mesh structure than the ω-type turbulence models with automatic wall treatment. The turbulent Prandtl number affects strongly the heat transfer performance. Comparison between the CFD results, heat transfer correlations and heat transfer test data reveals a decrease in turbulent Prandtl number by increasing Reynolds number. Based on the results achieved, recommendations are made on correlations of heat transfer and turbulent Prandtl number for LBE flows.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Briones, Alejandro M., e 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.

Texto completo da fonte

Resumo:

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 offspring based on tournament mating, uniform crossover, and polynomial mutation. OpenACME is capable of computing multiple parallel CFD design points concurrently, speeding up the meta-simulations. The CFD are based on steady-state, incompressible, three-dimensional simulations with multi-phase k-ω SST RANS and “frozen” flamelet progress variable (FFPV) combustion model. There are fifteen design variables. There are three meta-simulations. The meta-simulations report Pareto Frontier from which optimum designs can be selected based on thermodynamic cycle requirements. Conjugate heat transfer provides the most realistic liner temperature and combustor performance. Acritical is still recommended as a cost function when liner durability is a concern. OpenACME demonstrated to be a viable tool for combustor design optimization.

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!