Some decidable classes of formulas of pure hybrid logic

We consider the formulas of pure hybrid logic without occurrences of a satisfaction operator. We describe a couple of formula derivation tactics in sequent calculus and prove the decidability of two classes of formulas. Decidable classes are obtained by setting restrictions on nominal occurrences in the formulas. Published in Lietuvos Matematikos Rinkinys, Vol. 44, No. 4, pp. 563–572, October–December, 2007.     

An experimental study on the ratcheting behavior of pure aluminium under uniaxial cyclic stressing

An experimental study was carried out for the cyclic properties of pure aluminium subjected to uniaxial cyclic straining and stressing. For a material of pure aluminium the effects of the cyclic strain amplitude history and mean strain on the cyclic deformation behavior were investigated, and the influences of stress amplitude, mean stress and their histories on cyclic creep (i. e., ratcheting) were analyzed. It is shown that either uniaxial cyclic property under cyclic straining or ratcheting behavior under asymmetric uniaxial loading depends not only on the current loading, but also on the previous loading history. Some significant results were obtained.Financial support from NFSC is acknowledged.     

广义Black-Scholes模型期权定价新方法--保险精算方法

利用公平保费原则和价格过程的实际概率测度推广了Mogens Bladt和Tina Hviid Rydberg的结果．在无中间红利和有中间红利两种情况下，把Black-Scholes模型推广到无风险资产(债券或银行存款)具有时间相依的利率和风险资产(股票)也具有时间相依的连续复利预期收益率和波动率的情况，在此情况下获得了欧式期权的精确定价公式以及买权与卖权之间的平价关系．给出了风险资产(股票)具有随机连续复利预期收益率和随机波动率的广义Black-Scholes模型的期权定价的一般方法．利用保险精算方法给出了股票价格遵循广义Ornstein-Uhlenback过程模型的欧式期权的精确定价公式和买权和卖权之间的平价关系．     

Prequantum Classical Statistical Field Theory: Complex Representation, Hamilton-Schrödinger Equation, and Interpretation of Stationary States

We develop a prequantum classical statistical model in that the role of hidden variables is played by classical (vector) fields. We call this model Prequantum Classical Statistical Field Theory (PCSFT). The correspondence between classical and quantum quantities is asymptotic, so we call our approach asymptotic dequantization. We construct the complex representation of PCSFT. In particular, the conventional Schrödinger equation is obtained as the complex representation of the system of Hamilton equations on the infinite-dimensional phase space. In this note we pay the main attention to interpretation of so called pure quantum states (wave functions) in PCSFT, especially stationary states. We show, see Theorem 2, that pure states of QM can be considered as labels for Gaussian measures concentrated on one dimensional complex subspaces of phase space that are invariant with respect to the Schrödinger dynamics. “A quantum system in a stationary state ψ” in PCSFT is nothing else than a Gaussian ensemble of classical fields (fluctuations of the vacuum field of a very small magnitude) which is not changed in the process of Schrödinger's evolution. We interpret in this way the problem of stability of hydrogen atom. One of unexpected consequences of PCSFT is the infinite dimension of physical space on the prequantum scale.     

Bounds on compound distributions and stop-loss premiums

In the actuarial literature a lot of attention is given to the approximation of aggregate claims distributions by compound Poisson and Polya distributions and their subsequent numerical evaluation. The present contribution derives bounds for the tail of compound distributions and stop-loss premiums. The bounds are obtained in an elementary manner based on a version of the Chebyshev inequality. The main point of this contribution consists in deriving bounds with explicit dependence on the distribution function itself as well as on some partial moments of it.     

A Network Algorithm for Realizing Constructivelythe Farkas Lemma Arising from the Quasi-Generalized Network

1.IntroductionLetRIbethespaceofallrealvectorsindexedbyelementsofafiniteseti,icachosenelemelltofi,SandS*apairofcompletelyorthogonalsubspacesofRI.Foragivenpartition(PI,P2,P3,P4)ofI--{ic}(i.e.PIuPZuP3uP4=I--{eo},andPinPj=acfori/j),letF={axled6S,Ax'.>0,Ax.20fore6PI,Ax.50foreEP2,Ax.~0foreEP3},F*={dyIAyES*,ac.>0,ace30foreEPI,ac50foreEP2,ac.~0foreEP4}.Now,theFarkasLemmacanbegenerallydescribedas[1]:oneandonlyoneofthefollowingtwostatemelltsholds:(i)ThereexistsaaxEF.(n)Thereexistsaac…     

强流脉冲电子束作用下纯镍表层中织构及结构缺陷的演化行为

利用强流脉冲电子束(HCPEB)装置对金属纯Ni进行轰击,采用X射线衍射及透射电子显微镜(TEM)技术详细分析了受轰击样品的变形结构和缺陷。X射线衍射分析表明,经强流脉冲电子束处理后,在{111}和{200}晶面出现了择优取向。TEM表层微观结构分析表明:强流脉冲电子束轰击1次和5次后,晶粒内部形成了大量的(111)[112]型波状条带结构,在波状条带内部包含大量平行的(200)[110]型微条带;10次轰击后,样品变形结构发生变化,除大量的条带状结构外,变形孪晶的数量明显增多。这些变形微结构不仅影响表层的织构演化行为,而且还能细化晶粒,强流脉冲电子束技术为制备表面纳米材料提供了一条有效的途径。     

给定压力下纯铁材料的冲击相变与层裂特性研究

采用VISAR测量样品自由面速度剖面和回收样品观测分析联合技术,开展等厚对称碰撞实验,结合文献中的实验结果,研究了冲击加载压力大于纯铁材料冲击相变阈值约2~5 GPa和大于冲击相变阈值约10 GPa两种压力状态下纯铁材料的加卸载历程及各相区的变化,并从应力波相互作用的角度,指出了冲击加载压力略大于纯铁材料相变阈值约2 GPa时,等厚对称碰撞样品"反常"二次层裂与冲击相变及逆相变的关联机制。     

Krull–Gabriel Dimension of 1-domestic String Algebras

We classify the indecomposable pure injective modules over a wide class of -domestic string algebras and calculate the Krull–Gabriel dimension of these algebras.This paper was written during the visit of the second author to the University of Manchester supported by EPSRC grant GR/R44942/01.