A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Generalized Jacobi spectral Galerkin method for fractional pantograph differential equation

This work is concerned with the extension of the Jacobi spectral Galerkin method to a class of nonlinear fractional pantograph differential equations. First, the fractional differential equation is converted to a nonlinear Volterra integral equation with weakly singular kernel. Second, we analyze the existence and uniqueness of solutions for the obtained integral equation. Then, the Galerkin method is used for solving the equivalent integral equation. The error estimates for the proposed method are also investigated. Finally, illustrative examples are presented to confirm our theoretical analysis.     

A volatolomic approach using cerumen as biofluid to diagnose bovine intoxication by Stryphnodendron rotundifolium

An innovative volatolomic approach employs the detection of biomarkers present in cerumen (earwax) to identify cattle intoxication by Stryphnodendron rotundifolium Mart., Fabaceae (popularly known as barbatimão). S. rotundifolium is a poisonous plant with the toxic compound undefined and widely distributed throughout the Brazilian territory. Cerumen samples from cattle of two local Brazilian breeds (‘Curraleiro Pé-Duro’ and ‘Pantaneiro’) were collected during an experimental intoxication protocol and analyzed using headspace (HS)/GC–MS followed by multivariate analysis (genetic algorithm for a partial least squares, cluster analysis, and classification and regression trees). A total of 106 volatile organic metabolites were identified in the cerumen samples of bovines. The intoxication by S. rotundifolium influenced the cerumen volatolomic profile of the bovines throughout the intoxication protocol. In this way, it was possible to detect biomarkers for cattle intoxication. Among the biomarkers, 2-octyldecanol and 9-tetradecen-1-ol were able to discriminate all samples between intoxicated and nonintoxicated bovines. The cattle intoxication diagnosis by S. rotundifolium was accomplished by applying the cerumen analysis using HS/GC–MS, in an easy, accurate, and noninvasive way. Thus, the proposed bioanalytical chromatography protocol is a useful tool in veterinary applications to determine this kind of intoxication.     

Identification of metabolic markers in patients with type 2 Diabetes by Ultrafast gas chromatography coupled to electronic nose. A pilot study

Metabolomics is a potential tool for the discovery of new biomarkers in the early diagnosis of diseases. An ultra-fast gas chromatography system equipped to an electronic nose detector (FGC eNose) was used to identify the metabolomic profile of Volatile Organic Compounds (VOCs) in type 2 diabetes (T2D) urine from Mexican population. A cross-sectional, comparative, and clinical study with translational approach was performed. We recruited twenty T2D patients and twenty-one healthy subjects. Urine samples were taken and analyzed by FGC eNose. Eighty-eight compounds were identified through Kovats's indexes. A natural variation of 30% between the metabolites, expressed by study groups, was observed in Principal Component 1 and 2 with a significant difference (p < 0.001). The model, performed through a Canonical Analysis of Principal coordinated (CAP), allowed a correct classification of 84.6% between healthy and T2D patients, with a 15.4% error. The metabolites 2-propenal, 2-propanol, butane- 2,3-dione and 2-methylpropanal, were increased in patients with T2D, and they were strongly correlated with discrimination between clinically healthy people and T2D patients. This study identified metabolites in urine through FGC eNose that can be used as biomarkers in the identification of T2D patients. However, more studies are needed for its implementation in clinical practice.     

Time-dependent Ginzburg–Landau equations for multi-gap superconductors

We numerically solve the time-dependent Ginzburg–Landau equations for two-gap superconductors using the finite-element technique. The real-time simulation shows that at low magnetic field, the vortices in small-size samples tend to form clusters or other disorder structures. When the sample size is large, stripes appear in the pattern. These results are in good agreement with the previous experimental observations of the intriguing anomalous vortex pattern, providing a reliable theoretical basis for the future applications of multi-gap superconductors.     

Finite‐size corrections at the hard edge for the Laguerre β ensemble

A fundamental question in random matrix theory is to quantify the optimal rate of convergence to universal laws. We take up this problem for the Laguerre β ensemble, characterized by the Dyson parameter β, and the Laguerre weight , in the hard edge limit. The latter relates to the eigenvalues in the vicinity of the origin in the scaled variable . Previous work has established the corresponding functional form of various statistical quantities—for example, the distribution of the smallest eigenvalue, provided that . We show, using the theory of multidimensional hypergeometric functions based on Jack polynomials, that with the modified hard edge scaling , the rate of convergence to the limiting distribution is , which is optimal. In the case , general the explicit functional form of the distribution of the smallest eigenvalue at this order can be computed, as it can for and general . An iterative scheme is presented to numerically approximate the functional form for general .     

Analysis of new psychoactive substances in human urine by ultra‐high performance supercritical fluid and liquid chromatography: Validation and comparison

New psychoactive substances represent serious social and health problem as tens of new compounds are detected in Europe annually. They often show structural proximity or even isomerism, which complicates their analysis. Two methods based on ultra high performance supercritical fluid chromatography and ultra high performance liquid chromatography with mass spectrometric detection were validated and compared. A simple dilute‐filter‐and‐shoot protocol utilizing propan‐2‐ol or methanol for supercritical fluid or liquid chromatography, respectively, was proposed to detect and quantify 15 cathinones and phenethylamines in human urine. Both methods offered fast separation (<3 min) and short total analysis time. Precision was well <15% with a few exceptions in liquid chromatography. Limits of detection in urine ranged from 0.01 to 2.3 ng/mL, except for cathinone (5 ng/mL) in supercritical fluid chromatography. Nevertheless, this technique distinguished all analytes including four pairs of isomers, while liquid chromatography was unable to resolve fluoromethcathinone regioisomers. Concerning matrix effects and recoveries, supercritical fluid chromatography produced more uniform results for different compounds and at different concentration levels. This work demonstrates the performance and reliability of supercritical fluid chromatography and corroborates its applicability as an alternative tool for analysis of new psychoactive substances in biological matrixes.     

航空导管弯曲试验的疲劳裂纹萌生寿命

飞行器液压导管受接头和卡箍等约束，在使用的振动环境中，会因弯曲应力而导致破裂，影响到飞行安全．本文对飞行器液压系统通用的不锈钢导管的裂纹萌生寿命进行了试验研究．首先在对8 mm、12 mm 无缺陷导管和含U 型缺口8 mm 导管的疲劳试验和有限元分析的基础上，得到了导管的最大拉应变-裂纹萌生寿命数据．然后采用基于强度极限和弹性模量估算法的Manson-Coffin 公式来预测导管裂纹萌生寿命．最后引入加载类型修正系数、表面质量修正系数、试样尺寸修正系数、应力集中敏感系数和有效应力集中系数，使修正后的公式对三种类型的导管均有较好的裂纹萌生寿命预测精度．