in this research, the coupling between non-gray radiation and separation convection flow in a duct is investigated numerically. distributions of absorption coefficients across the spectrum  are obtained from the hitran2008 database. the full-spectrum k-distribution method is used to deal with the non-gray part of the problem, while the gray radiation calculations are performed using the planck ...

A b s t r a c t . We define a notion of a Scott family of formulas for a feasible model and give various conditions on a Scott family which imply that two models with the same family are feasibly isomorphic. For example, if A and B possess a common strongly p-time Scott family and both have universe (1}*, then they are p-time isomorphic. These results are applied to the study of permutation str...

MScott (Multi-SCOTT) is a general purpose rst order theorem prover based on McCune's Otter and having the same functionality as Otter. Like its predecessor Scott, it uses a model generator to nd small models of subsets of the clauses generated during proof search. MScott diiers from Scott in that it generates and uses several models simultaneously. This not only improves its coverage of the use...

As to the established gray model based on the linear time-variant and individual prediction model of ARIMA, this article constructs the combined forecasting model based on the gray model and the time series model by means of relative error weighing. This prediction indicates that both the gray model and ARIMA model exert efficient function on the Torpedo development cost prediction, and the com...

introduction: this paper investigates the relationships between extraversion, neuroticism and psychoticism dimensions with brain / behavioral systems. methods: randomly selected 128 female university students in tehran completed gray-wilson personality questionnaire and eysenck personality questionnaire-reversion, using pearson correlation coefficiency and regression analysis, result: the resul...