A modern approach to the solution and analysis of the Simha-Somcynsky model for the description of pressure-volume-temperature properties of polymer fluids

We revisit the Simha-Somcynsky model of polymer fluids with the purpose of developing novel theoretical and computational approaches to simplify and speed up its solution as well as the fitting of experimental data, and decrease its level of mathematical complexity. We report a novel method that allows us to solve one of the two equations of the model exactly, thus putting the level of mathematical difficulty on a par with the one of other models for polymer fluids. Moreover, we describe a computational algorithm capable of fitting all five parameters of the model in an unbiased way. The results obtained reproduce literature results and fit experimental pressure-volume-temperature and solubility parameter data for three polymers very accurately. Moreover, the new techniques allow for the investigation of the model at very low temperatures. Unexpectedly, the model predicts behaviors that could be interpreted as a glass transition, as routinely observed in dilatometry and differential scanning calorimetry, and a glass phase. We compared the predicted and experimental T g’s for cis poly(1,4-butadiene) and found an excellent quantitative agreement.     

高温作用后砂岩物理力学性质阈值温度的确定——基于机器学习算法

通过采用机器学习算法，提出了高温作用后砂岩物理力学性质变化的阈值温度的确定方法。基于Python语言，利用K-Means、SVM算法，实现了对样本数据的分类和聚类，确定了阈值温度区间，验证了二分类法的合理性和准确性.结果表明，砂岩样本的阈值温度区间为400~600 ℃，阈值温度上下砂岩的物理力学性质存在显著差异，体现为阈值温度区间以下的岩样物理力学性质较为分散，而阈值温度区间以上的岩样物理力学性质较为集中.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

Definition and detection of data-based uniqueness in evaluating bilinear (two-way) chemical measurements

Multivariate curve resolution methods, frequently used in analyzing bilinear data sets, result in ambiguous decomposition in general. Implementing the adequate constraints may lead to reduce the so-called rotational ambiguity drastically, and in the most favorable cases to the unique solution. However, in some special cases, non-negativity constraint as minimal information of the system is a sufficient condition to resolve profiles uniquely. Although, several studies on exploring the uniqueness of the bilinear non-negatively constrained multivariate curve resolution methods have been made in the literature, it has still remained a mysterious question. In 1995, Manne published his profile-based theorems giving the necessary and sufficient conditions of the unique resolution. In this study, a new term, i.e., data-based uniqueness is defined and investigated in details, and a general procedure is suggested for detection of uniquely recovered profile(s) on the basis of data set structure in the abstract space. Close inspection of Borgen plots of these data sets leads to realize the comprehensive information of local rank, and these argumentations furnish a basis for data-based uniqueness theorem. The reported phenomenon and its exploration is a new stage (it can be said fundament) in understanding and describing the bilinear (matrix-type) chemical data in general.     

Effect of additive length and chemistry on the morphology of blends of conjugated thiophenes and fullerene derivative acceptor molecules

Small molecule additives have been shown to increase the device efficiency of conjugated polymer (donor) and fullerene derivative (acceptor) based organic solar cells by modifying the morphology of the device active layer. In this paper we conduct a systematic study of how additives affect the donor‐acceptor morphology using molecular dynamics simulations of blends of thiophene‐based oligomers, mimicking poly(3‐dodecylthiophene) (P3DDT) or poly(2,2′:5′,2”‐3,3”‐didocyl‐terthiophene) (PTTT), and fullerene derivatives with additives of varying length and chemical functionalization, mimicking experimentally used additives like methyl ester additives, diiodooctane, and alkanedithiols. We find that functionalization of additives with end groups that are attracted to acceptor molecules are necessary to induce increased donor‐acceptor macrophase separation. In blends where acceptors intercalate between oligomer alkyl side chains, functionalized additives decrease acceptor intercalation. Functionalized additives with shorter alkyl segments increase acceptor macrophase separation more than additives with same chemical functionalization but longer alkyl segments. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part B: Polym. Phys. 2015 , 53, 1046–1057     

Semilinear wave models with friction and viscoelastic damping

In this paper, we study the global (in time) existence of small data solutions to the Cauchy problem for the semilinear wave equation with friction, viscoelastic damping, and a power nonlinearity. We are interested in the connection between regularity assumptions for the data and the admissible range of exponents p in the power nonlinearity.     

The Cauchy problem for a spin-liquid model in three space dimensions

In this paper, we study the Cauchy problem for magnetic fluid of spin-liquid type with Mermin-Ho relation in the three-dimensional space and prove global existence and uniqueness of solutions. The proof is based on the equivalence relation between smooth solutions of the spin-liquid model and the systems of Schrödinger equations with Abelian gauge field. The Sobolev spaces with fractional derivatives are also used in our estimates.     

Measured and Predicted Solubility Phase Diagrams of Quaternary Systems LiBr-NaBr-MgBr2-H2O and LiBr-KBr-MgBr2-H2O at 298.15 K

The stable phase equilibria of quaternary systems LiBr-NaBr-MgBr₂-H₂O and LiBr-KBr-MgBr₂-H₂O at 298.15 K were studied by both experimental measurement(isothermal solution saturation method) and theoretical prediction(Pitzer model). The solubilities of the saturated solution have been determined experimentally and two stable phase diagrams and relevant water diagrams of the two quaternary systems were obtained. Results show that quaternary system LiBr-NaBr-MgBr₂-H₂O is hydrate II type as NaBr and NaBr·2H₂O coexistence. Its phase diagram consists of only one invariant point, four univariant curves, and five crystallization fields. The quaternary system LiBr-KBr-MgBr₂-H₂O is a complex type as the double salt KBr·MgBr₂·6H₂O formed. In addition to this double salt, the three single salts LiBr·2H₂O, KBr and MgBr₂·6H₂O also crystallize. In this paper, the solubilities of phase equilibria in above quaternary systems were also calculated by the Pitzer's electrolyte solution model. All the needed parameters can be obtained from the literature or be fitted by experimental data. On the Basis of the experimental and calculated results, the phase diagram of the quaternary system was plotted for comparison. It shows that the calculation results are consistent with the experimental ones.     

Spectral estimates for saddle point matrices arising in weak constraint four‐dimensional variational data assimilation

We consider the large sparse symmetric linear systems of equations that arise in the solution of weak constraint four‐dimensional variational data assimilation, a method of high interest for numerical weather prediction. These systems can be written as saddle point systems with a 3 × 3 block structure but block eliminations can be performed to reduce them to saddle point systems with a 2 × 2 block structure, or further to symmetric positive definite systems. In this article, we analyse how sensitive the spectra of these matrices are to the number of observations of the underlying dynamical system. We also obtain bounds on the eigenvalues of the matrices. Numerical experiments are used to confirm the theoretical analysis and bounds.