Effect of complexation of oxidised corn starch with mineral elements on physicochemical properties

The objective of this study was to determine the effect of complexation of oxidised starch with mineral elements on its physicochemical properties. Corn starch was oxidised with sodium hypochlorite and, afterwards, modified with ions of potassium, magnesium and iron. Thus, native and modified starches were analysed for: contents of mineral elements, colour parameters (L*a*b*), water binding capacity and solubility in water at temperature of 60 and 80 °C. Thermodynamic characteristics of gelatinisation by DSC, molecular weight distribution by GPC, intrinsic viscosity and pasting properties by RVA were studied. The efficiency of incorporation of metal ions into oxidised corn starch was about 30%, 20% and 20% for potassium, magnesium and iron ions, respectively. The complexation with potassium ions caused the greatest changes in the molecular weight distribution and the intrinsic viscosity of starches and viscosity of starch pastes. Only modification of starch with iron ions affected the colour parameters of the starch. Incorporation of metal ions into starch resulted also in changes in its water binding capacity and solubility in water.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Automated classification of simulated wind field patterns from multiphysics ensemble forecasts

In this study, we have proposed an automated classification approach to identify meaningful patterns in wind field data. Utilizing an extensive simulated wind database, we have demonstrated that the proposed approach can identify low‐level jets, near‐uniform profiles, and other patterns in a reliable manner. We have studied the dependence of these wind profile patterns on locations (eg, offshore vs onshore), seasons, and diurnal cycles. Furthermore, we have found that the probability distributions of some of the patterns depend on the underlying planetary boundary layer schemes in a significant way. The future potential of the proposed approach in wind resource assessment and, more generally, in mesoscale model parameterization improvement is touched upon in this paper.