利用溶液理论计算饱和甲烷中二氧化碳溶解度

求取二氧化碳在饱和液态甲烷中的溶解度,对于在较高温度下实现液化天然气至关重要。文中在理想溶液基础上,采用正规溶液关系式和改进的Scatchard-H ildebrand关系式进行二氧化碳的溶解度计算,并且在临界点附近采用经验公式对其进行修正。将上述计算结果与Davis实验数据进行比较后表明,改进的正规溶液理论计算方法在低于140K温区时可推荐用于此项溶解度计算,经验公式可用于接近临界温度区域的溶解度计算。     

On the class of flat stable theories

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence relation, flat theories are defined as an appropriate version of superstability. It is shown that in a flat theory every type has finite weight and therefore flat theories are strong. Furthermore, it is shown that under reasonable conditions any type is non-orthogonal to a regular one. Concerning groups in flat theories, it is shown that type-definable groups behave like superstable ones, since they satisfy the same chain condition on definable subgroups and also admit a normal series of definable subgroup with semi-regular quotients.     

Convex integral functionals of regular processes

This article gives dual representations for convex integral functionals on the linear space of regular processes. This space turns out to be a Banach space containing many more familiar classes of stochastic processes and its dual can be identified with the space of optional random measures with essentially bounded variation. Combined with classical Banach space techniques, our results allow for a systematic treatment of stochastic optimization problems over BV processes and, in particular, yields a maximum principle for a general class of singular stochastic control problems.     

Maximum matchings in regular graphs

It was conjectured by Mkrtchyan, Petrosyan and Vardanyan that every graph $G$ with $\Delta \left(G\right)?\delta \left(G\right)\le 1$ has a maximum matching $M$ such that any two $M$-unsaturated vertices do not share a neighbor. The results obtained in Mkrtchyan et al. (2010), Petrosyan (2014) and Picouleau (2010) leave the conjecture unknown only for $k$-regular graphs with $4\le k\le 6$. All counterexamples for $k$-regular graphs $(k\ge 7)$ given in Petrosyan (2014) have multiple edges. In this paper, we confirm the conjecture for all $k$-regular simple graphs and also $k$-regular multigraphs with $k\le 4$.     

Pentavalent symmetric graphs admitting transitive non-abelian characteristically simple groups

Let $\Gamma$ be a graph and let $G$ be a group of automorphisms of $\Gamma$. The graph $\Gamma$ is called $G$-normal if $G$ is normal in the automorphism group of $\Gamma$. Let $T$ be a finite non-abelian simple group and let $G=T^l$ with $l\ge 1$. In this paper we prove that if every connected pentavalent symmetric $T$-vertex-transitive graph is $T$-normal, then every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal. This result, among others, implies that every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal except $T$ is one of 57 simple groups. Furthermore, every connected pentavalent symmetric $G$-regular graph is $G$-normal except $T$ is one of 20 simple groups, and every connected pentavalent $G$-symmetric graph is $G$-normal except $T$ is one of 17 simple groups.     

Distributionally robust inference for extreme Value-at-Risk

Under general multivariate regular variation conditions, the extreme Value-at-Risk of a portfolio can be expressed as an integral of a known kernel with respect to a generally unknown spectral measure supported on the unit simplex. The estimation of the spectral measure is challenging in practice and virtually impossible in high dimensions. This motivates the problem studied in this work, which is to find universal lower and upper bounds of the extreme Value-at-Risk under practically estimable constraints. That is, we study the infimum and supremum of the extreme Value-at-Risk functional, over the infinite dimensional space of all possible spectral measures that meet a finite set of constraints. We focus on extremal coefficient constraints, which are popular and easy to interpret in practice. Our contributions are twofold. First, we show that optimization problems over an infinite dimensional space of spectral measures are in fact dual problems to linear semi-infinite programs (LSIPs) – linear optimization problems in Euclidean space with an uncountable set of linear constraints. This allows us to prove that the optimal solutions are in fact attained by discrete spectral measures supported on finitely many atoms. Second, in the case of balanced portfolia, we establish further structural results for the lower bounds as well as closed form solutions for both the lower- and upper-bounds of extreme Value-at-Risk in the special case of a single extremal coefficient constraint. The solutions unveil important connections to the Tawn–Molchanov max-stable models. The results are illustrated with two applications: a real data example and closed-form formulae in a market plus sectors framework.     

Linear operators with compact supports, probability measures and Milyutin maps

The notion of a regular operator with compact supports between function spaces is introduced. On that base we obtain a characterization of absolute extensors for 0-dimensional spaces in terms of regular extension operators having compact supports. Milyutin maps are also considered and it is established that some topological properties, like paracompactness, metrizability and κ-metrizability, are preserved under Milyutin maps.     

Signed star domatic number of a graph

Let G be a simple graph without isolated vertices with vertex set V(G) and edge set E(G). A function f:E(G)?{−1,1} is said to be a signed star dominating function on G if ∑_e∈E(v)f(e)≥1 for every vertex v of G, where E(v)={uv∈E(G)∣u∈N(v)}. A set {f₁,f₂,…,f_d} of signed star dominating functions on G with the property that for each e∈E(G), is called a signed star dominating family (of functions) on G. The maximum number of functions in a signed star dominating family on G is the signed star domatic number of G, denoted by d_SS(G).In this paper we study the properties of the signed star domatic number d_SS(G). In particular, we determine the signed domatic number of some classes of graphs.     

Dirichlet Forms Associated with Linear Diffusions

One-dimensional local Dirichlet spaces associated with linear diffusions are studied. The first result is to give a representation for any 1-dim local, irreducible and regular Diriehlet space. The second result is a necessary and sufficient condition for a Diriehlet space to be regular subspace of another Dirichlet space.     

Matchings in graphs of odd regularity and girth

We establish lower bounds on the matching number of graphs of given odd regularity d$d$ and odd girth g$g$, which are sharp for many values of d$d$ and g$g$. For d=g=5$d=g=5$, we characterize all extremal graphs.