Degenerate nonlinear hyperbolic conservation laws: Non classical geometrical theory

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.

     

Sequent calculi for propositional star-free likelihood logic

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.     

增长曲线模型中回归系数的广义根方估计

本文对增长曲线模型中的回归系数B提出了一种新的估计形式－广义根方估计的B（K），其中K＝diag(k1,k2,…，kp）并证明了通过广义根方偏参数ki(i=1,2,…，p）的适当选取可使得该估计在均方误差矩阵的意义下优于已有的LS估计和根方估计，及广义根方估计是可容许估计，本文还给出了选取广义根方偏参数的两种方法，算法及一个应用实例。     

����Լ���������������MinimaxԤ��

本文研究了独立随机变量之和的绝对矩的几个性质, 其中包括$\ep|X+Y|-\ep|X-Y|$的表达式, 这里$X$和$Y$是相互独立的随机变量.     

A result on hypothesis testing for a multivariate normal distribution when some observations are missing

Let U_i = (X_i, Y_i), i = 1, 2,…, n, be a random sample from a bivariate normal distribution with mean μ = (μ_x, μ_y) and covariance matrix

. Let X_i, i = n + 1,…, N represent additional independent observations on the X population. Consider the hypothesis testing problem H₀ : μ = 0 vs. H₁ : μ ≠ 0. We prove that Hotelling's T² test, which uses (X_i, Y_i), i = 1, 2,…, n (and discards X_i, 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 T²-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.     

Completeness and Admissibility for General Heuristic Search Algorithms—A Theoretical Study: Basic Concepts and Proofs

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.     

Exponential Expansiveness and Complete Admissibility For Evolution Families

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.     

Entropy Production and Admissibility of Shocks

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.     

矩阵损失下多维几何分布均值 的线性估计可容许性

本文在矩阵损失函数 (d - λ ) (d - λ )′下讨论多维几何分布均值参数 λ的线性估计在齐次线性 估计类中的可容许性 .