نتایج جستجو برای: مدل عددی fluent

تعداد نتایج: 135760  

2014
Giuseppina Schiavone Klaus Linkenkaer-Hansen Natasha M. Maurits Anna Plakas Ben A. M. Maassen Huibert D. Mansvelder Aryan van der Leij Titia L. van Zuijen

The hereditary character of dyslexia suggests the presence of putative underlying neural anomalies already in preliterate age. Here, we investigated whether early neurophysiological correlates of future reading difficulties-a hallmark of dyslexia-could be identified in the resting-state EEG of preliterate children. The children in this study were recruited at birth and classified on the basis o...

Journal: :Pediatrics 2013
Ericka L Wodka Pamela Mathy Luther Kalb

OBJECTIVE To examine the prevalence and predictors of language attainment in children with autism spectrum disorder (ASD) and severe language delay. We hypothesized greater autism symptomatology and lower intelligence among children who do not attain phrase/fluent speech, with nonverbal intelligence and social engagement emerging as the strongest predictors of outcome. METHODS Data used for t...

Journal: :Pro-fono : revista de atualizacao cientifica 2010
Fabiola Staróbole Juste Claudia Regina Furquim de Andrade

BACKGROUND this study examines the linguistic features that may influence the occurrence of speech boundaries in fluent and stuttering individuals. AIM the study seeks to examine the influences of tone and position in a word on the occurrence of speech boundaries in stuttering and fluent adolescents and adults. METHOD one hundred and twenty individuals took part in this study, both male and...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده مهندسی عمران 1392

در تحقیق حاضر با بکارگیری نرم افزار ansys fluent 14® به مدل سازی عددی جریان در تقاطع کانال ها به صورت سه بعدی پرداخته شده است. در ابتدا، الگوی جریان در تقاطع 90 درجه کانال های باز مستقیم مدل سازی عددی شده و با نتایج آزمایشگاهی موجود صحت سنجی شده است. در ادامه عمل کرد مدل های مختلف آشفتگی شامل مدل های دو تا هفت معادله ای در پیش بینی الگوی جریانِ این نوع تقاطع مورد بررسی قرار گرفته است. سپس روش ها...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده منابع طبیعی و علوم دریایی 1387

چکیده ندارد.

2001
Sergio Brandano

The range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the Features and Fluents taxonomy. The proof is given with respect to the original definition of this preference logic, where no adjustments of the language or reasoning method were necessary. The result implies that the claims on the expressiveness and problem-solving power of this logic were indeed correct.

2000
Steffen Hölldobler Hans-Peter Störr

The paper is an exercise in formal program development. We rigorously show how planning problems encoded as entailment problems in the uent calculus can be mapped onto satissability problems for propositional formulas, which in turn can be mapped to the problem to nd models using binary decision diagrams. The mapping is shown to be sound and complete. Preliminary experimental results of an impl...

2012
Martin C. Cooper Frederic Maris Pierre Régnier

This paper describes a polynomially-solvable subproblem of temporal planning. Polynomiality follows from two assumptions. Firstly, by supposing that each sub-goal fluent can be established by at most one action, we can quickly determine which actions are necessary in any plan. Secondly, the monotonicity of sub-goal fluents allows us to express planning as an instance of STP. Our class includes ...

2014
Steffen Hölldobler Ferdian Jovan

In this paper we discuss conjunctive planning problems in the context of the fluent calculus and Petri nets. We show that both formalisms are equivalent in solving these problems. Thereafter, we extend actions to contain preconditions as well as obstacles. This requires to extend the fluent calculus as well as Petri nets. Again, we show that both extended formalisms are equivalent.

ژورنال: انرژی ایران 2015

دیوار ترومب یا دیوار خورشیدی به عنوان یکی از روش‌های غیرفعال در گرمایش خورشیدی دسته‌بندی می‌شود. در این مقاله جریان هوای داخل محفظه دیوار ترومب توسط روش حجم محدود که از جمله روش‌های مرسوم دینامیک سیالات محاسباتی است، شبیه‌سازی شده است. در شبیه‌سازی‌ها از نرم‌افزار تجاری Ansys Fluent استفاده شده است. در ابتدا یک مدل مرجع معرفی ‌شده و نتایج آن ارائه شده است سپس با استفاده از این مدل مرجع‏، پارامت...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید