نتایج جستجو برای: مدل عددی fluent
تعداد نتایج: 135760 فیلتر نتایج به سال:
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...
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...
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...
در تحقیق حاضر با بکارگیری نرم افزار ansys fluent 14® به مدل سازی عددی جریان در تقاطع کانال ها به صورت سه بعدی پرداخته شده است. در ابتدا، الگوی جریان در تقاطع 90 درجه کانال های باز مستقیم مدل سازی عددی شده و با نتایج آزمایشگاهی موجود صحت سنجی شده است. در ادامه عمل کرد مدل های مختلف آشفتگی شامل مدل های دو تا هفت معادله ای در پیش بینی الگوی جریانِ این نوع تقاطع مورد بررسی قرار گرفته است. سپس روش ها...
چکیده ندارد.
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.
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...
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 ...
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.
دیوار ترومب یا دیوار خورشیدی به عنوان یکی از روشهای غیرفعال در گرمایش خورشیدی دستهبندی میشود. در این مقاله جریان هوای داخل محفظه دیوار ترومب توسط روش حجم محدود که از جمله روشهای مرسوم دینامیک سیالات محاسباتی است، شبیهسازی شده است. در شبیهسازیها از نرمافزار تجاری Ansys Fluent استفاده شده است. در ابتدا یک مدل مرجع معرفی شده و نتایج آن ارائه شده است سپس با استفاده از این مدل مرجع، پارامت...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید