Kinetic selection principles have been shown to be useful and physically reasonable in nonlinear hyperbolic problems with
large amplitude phase transitions. We refer to Abeyaratne and Knowles, [A-K], for discussion on the subject. They also have
been used for degenerate nonlinear problems, where the genuine nonlinearity property of Lax is violated. This is the framework
of Liu, [Li], in the kinetic situation of Hayes and Le Floch, [H-L], where their so-called non classical shocks may be seen
as small amplitude phase transitions. Here, we describe the local geometry generated by the generic non genuinely nonlinear
assumption. A geometric kinetic criterion can be used to select indeterminate simple waves and obtain the well-posedness of
the local Riemann problem. A particular case is the entropic kinetic criterion of Hayes and Le Floch.
Sunto Principi di selezione cinetica sono stati mostrati utili e fisicamente ragionevoli in problemi iperbolici con transizioni
di fase di grande ampiezza. Ci riferiamo ad Abeyaratne e Knowles, [A-K], per discussioni sull'argomento. Detti principi sono
stati usati per problemi nonlineari degeneri, dove la proprietà di genuina nonlinearità di Lax è violata. Questo è la prospettiva
di Liu, [Li], nella situazione cinetica di Hayes e Le Floch, [H-L], dove i loro così detti urti non classici possono essere
considerati come transizioni di fase di piccola ampiezza. Qui, descriviamo la geometria locale generata dall'ipotesi generica
genuinamente nonlineare. Un criterio di geometria cinetica può essere usato per selezionare onde semplici indeterminate ed
ottenere la buona posizione per il problema locale di Riemann. Un caso particolare è il criterio di entropia cinetico di Hayes
e Le Floc.
We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 3–21, January–March, 2005. 相似文献
Let Ui = (Xi, Yi), i = 1, 2,…, n, be a random sample from a bivariate normal distribution with mean μ = (μx, μy) and covariance matrix . Let Xi, i = n + 1,…, N represent additional independent observations on the X population. Consider the hypothesis testing problem H0 : μ = 0 vs. H1 : μ ≠ 0. We prove that Hotelling's T2 test, which uses (Xi, Yi), i = 1, 2,…, n (and discards Xi, i = n + 1,…, N) is an admissible test. In addition, and from a practical point of view, the proof will enable us to identify the region of the parameter space where the T2-test cannot be beaten. A similar result is also proved for the problem of testing μx ? μy = 0. A Bayes test and other competitors which are similar tests are discussed. 相似文献
We propose a formal generalization for various works dealing with Heuristic Search in State Graphs. This generalization focuses on the properties of the evaluation functions, on the characteristics of the state graphs, on the notion of path length, on the procedures that control the node expansions, on the rules that govern the update operations. Consequently, we present the algorithm family and the sub-family Ã, which include Nilsson's A or A* and many of their successors such as HPA, B, A
*
, A, C, BF*, B, IDA*, D, A**, SDW. We prove general theorems about the completeness and the sub-admissibility that widely extend the previous results and provide a theoretical support for using diverse kinds of Heuristic Search algorithms in enlarged contexts, specially when the state graphs and the evaluation functions are less constrained than ordinarily. 相似文献
Connections between uniform exponential expansiveness and complete admissibility of the pair
are studied. A discrete version for a theorem due to Van Minh, Räbiger and Schnaubelt is presented. Equivalent characterizations of Perron type for uniform exponential expansiveness of evolution families in terms of complete admissibility are given. 相似文献
In shock wave theory there are two considerations in selecting the physically relevant shock waves.There is the admissibility criterion for the well-posedness of hyperbolic conservation laws.Another consideraztion concerns the entropy production across the shochs.The latter is natural from the physical point of view,but is not sufficient in its straightforward formulation,if the system is not genuinely nonlinear.In this paper we propose the principles of increasing entropy production and that of the superposition of shocks.These principles arc shown to be equivalent to the admissibility criterion. 相似文献