Response surface methodology toward the optimization of high-energy carotenoid extraction from Aristeus antennatus shrimp

High-energy assisted extraction techniques, like ultrasound assisted extraction (UAE) and microwave assisted extraction (MAE), are widely applied over the last years for the recovery of bioactive compounds such as carotenoids, antioxidants and phenols from foods, animals and herbal natural sources. Especially for the case of xanthophylls, the main carotenoid group of crustaceans, they can be extracted in a rapid and quantitative way with the use of UAE and MAE.     

Skyrmion transport driven by pure voltage generated strain gradient

The magnetic skyrmion transport driven by pure voltage-induced strain gradient is proposed and studied via micromagnetic simulation. Through combining the skyrmion with multiferroic heterojunction, a voltage-induced uniaxial strain gradient is adjusted to move skyrmions. In the system, a pair of short-circuited trapezoidal top electrodes can generate the symmetric strain. Due to the symmetry of strain, the magnetic skyrmion can be driven with a linear motion in the middle of the nanostrip without deviation. We calculate the strain distribution generated by the trapezoidal top electrodes pair, and further investigate the influence of the strain intensity as well as the strain gradient on the skyrmion velocity. Our findings provide a stable and low-energy regulation method for skyrmion transport.     

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.     

Synthesis of diisocyanides with phenolic groups and their polymerization to helically chiral poly(quinoxaline‐2,3‐diyl)s

The development of synthetic routes which lead to five new diisocyanide monomers with one or two phenolic groups is described. Their polymerization behavior is studied with Pd‐ and Ni‐based initiators, as well as under microwave irradiation. The polymerizability is mainly dominated by steric effects as is concluded from experiments using different protecting groups. Chiroptical properties of these new polymers are studied by CD‐spectroscopy. After deprotection, helically chiral poly(quinoxalin‐2,3‐diyl)s are obtained which display a Brønsted function attached to a stereolabile biaryl axis whose configuration should be influenced by the chiral polymer backbone. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 1320–1329     

The deformation and fracture of balloons

Inflation of balloons provides a straightforward way of achieving large biaxial deformations. Previous studies have shown that when a balloon bursts, crack propagation occurs at very high speed – much higher than would be expected from the low strain modulus and elastic wave velocity of the rubber. The present paper is concerned with studies of the deformation and fracture of cylindrical balloons. On inflation, the deformations of such a balloon pass through an unstable region but subsequently increase monotonically with pressure. In this relatively high pressure region, the ratio of the longitudinal and circumferential extension ratios is broadly in accord with expectations from high-strain elasticity theory when the ratio of the corresponding stresses is taken into account. On bursting, crack speeds up to around 300 m/s in this region. It is shown that these speeds are in accord with large increase in incremental moduli for the highly-strained rubber. Marked changes in crack tip profile observed at very high crack speeds are consistent with control of the rate of growth by inertia rather than by the viscoelastic properties of the rubber (as is believed to be the case at lower speeds). Consistent with this, various elastomers having different glass transition temperatures show similar crack growth behaviour in the very high speed region.     

Probabilism,entropies and strictly proper scoring rules

Accuracy arguments are the en vogue route in epistemic justifications of probabilism and further norms governing rational belief. These arguments often depend on the fact that the employed inaccuracy measure is strictly proper. I argue controversially that it is ill-advised to assume that the employed inaccuracy measures are strictly proper and that strictly proper statistical scoring rules are a more natural class of measures of inaccuracy. Building on work in belief elicitation I show how strictly proper statistical scoring rules can be used to give an epistemic justification of probabilism.An agent's evidence does not play any role in these justifications of probabilism. Principles demanding the maximisation of a generalised entropy depend on the agent's evidence. In the second part of the paper I show how to simultaneously justify probabilism and such a principle. I also investigate scoring rules which have traditionally been linked with entropies.