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.     

ParaHydrogen Polarized Ethyl-[1-13C]pyruvate in Water,a Key Substrate for Fostering the PHIP-SAH Approach to Metabolic Imaging

An efficient synthesis of vinyl-[1-¹³C]pyruvate has been reported, from which ¹³C hyperpolarized (HP) ethyl-[1-¹³C]pyruvate has been obtained by means of ParaHydrogen Induced Polarization (PHIP). Due to the intrinsic lability of pyruvate, which leads quickly to degradation of the reaction mixture even under mild reaction conditions, the vinyl-ester has been synthesized through the intermediacy of a more stable ketal derivative. ¹³C and ¹H hyperpolarizations of ethyl-[1-¹³C]pyruvate, hydrogenated using ParaHydrogen, have been compared to those observed on the more widely used allyl-derivative. It has been demonstrated that the spin order transfer from ParaHydrogen protons to ¹³C, is more efficient on the ethyl than on the allyl-esterdue to the larger J-couplings involved. The main requirements needed for the biological application of this HP product have been met, i. e. an aqueous solution of the product at high concentration (40 mM) with a good ¹³C polarization level (4.8 %) has been obtained. The in vitro metabolic transformation of the HP ethyl-[1-¹³C]pyruvate, catalyzed by an esterase, has been observed. This substrate appears to be a good candidate for in vivo metabolic investigations using PHIP hyperpolarized probes.     

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.     

The 1H and 13C NMR chemical shifts of Strychnos alkaloids revisited at the DFT level

The density functional theory calculation of ¹H and ¹³C NMR chemical shifts in a series of ten 10 classically known Strychnos alkaloids with a strychnine skeleton was performed at the PBE0/pcSseg-2//pcseg-2 level. It was found that calculated ¹H and ¹³C NMR chemical shifts provided a markedly good correlation with experiment characterized by a mean absolute error of 0.08 ppm in the range of 7 ppm for protons and 1.67 ppm in the range of 150 ppm for carbons, so that a mean absolute percentage error was as small as ~1% in both cases.     

Fracture behavior and mechanical,thermal, and rheological properties of biodegradable films extruded by flat die and calender

The development of biodegradable materials for tailored applications, particularly in the field of polymeric films and sheets, is a challenging technological goal as well as a contribution to help protect the environment. Poly(lactic) acid (PLA) is a promising substitute for several oil-based polymers; however, to overcome its thermal and mechanical drawbacks, researchers have developed solutions such as blending PLA with polybutylene adipate terephthalate (PBAT), which is capable of increasing the ductility of the final material. In this study, PLA/PBAT binary blends, with minimum possible content of nonrenewable materials, were examined from processing, thermal, morphological, and rheological perspective. An optimized PLA/PBAT ratio was chosen as the polymeric basis to obtain a biodegradable formulation by adding a biobased plasticizer and appropriate fillers to produce a micrometer film with tailored flexibility and tear resistance. The processing technology involved flat-die extrusion, followed by calendering. The tearing resistance of the produced film was investigated, and the results were compared with literature data. A study on the essential work of fracture was implemented to explore the mode III out-of-plane fracture resistance starting from a trouser tear test.     

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.     

Synthesis and characterization of indium and thallium immobilized on isonicotinamide‐functionalized mesoporous MCM‐41: Two novel and highly active heterogeneous catalysts for selective oxidation of sulfides and thiols to their corresponding sulfoxides and disulfides

Two highly ordered isonicotinamide (INA)‐functionalized mesoporous MCM‐41 materials supporting indium and thallium (MCM‐41‐INA‐In and MCM‐41‐INA‐Tl) have been developed using a covalent grafting method. A surface functionalization method has been applied to prepare Cl‐modified mesoporous MCM‐41 material. Condensation of this Cl‐functionalized MCM‐41 with INA leads to the formation of MCM‐41‐INA. The reaction of MCM‐41‐INA with In(NO₃)₃ or Tl(NO₃)₃ leads to the formation of MCM‐41‐INA‐In and MCM‐41‐INA‐Tl catalysts. The resulting materials were characterized using various techniques. These MCM‐41‐INA‐In and MCM‐41‐INA‐Tl catalysts show excellent catalytic performance in the selective oxidation of sulfides and thiols to their corresponding sulfoxides and disulfides. Finally, it is found that the anchored indium and thallium do not leach out from the surface of the mesoporous catalysts during reaction and the catalysts can be reused for seven repeat reaction runs without considerable loss of catalytic performance.     

Path integral quantization corresponding to the deformed Heisenberg algebra

In this paper, the deformation of the Heisenberg algebra, consistent with both the generalized uncertainty principle and doubly special relativity, has been analyzed. It has been observed that, though this algebra can give rise to fractional derivative terms in the corresponding quantum mechanical Hamiltonian, a formal meaning can be given to them by using the theory of harmonic extensions of function. Depending on this argument, the expression of the propagator of the path integral corresponding to the deformed Heisenberg algebra, has been obtained. In particular, the consistent expression of the one dimensional free particle propagator has been evaluated explicitly. With this propagator in hand, it has been shown that, even in free particle case, normal generalized uncertainty principle and doubly special relativity show very much different result.