A local and global tour on MOMoT

Software and Systems Modeling - Many model transformation scenarios require flexible execution strategies as they should produce models with the highest possible quality. At the same time,...     

Towards Diastereomeric Pure Salts with Antisolvent Methods

Chiral molecules, especially enantiomers and diastereomers of purity > 99 %, present a significant market share within the chemical, pharmaceutical, and flavor industries. Antisolvent precipitations, both batch and semicontinuous operations to serve the current trends in flow chemistry were demonstrated to be environmentally benign and efficient tools in achieving high optical purities. Although salts are known to be insoluble in supercritical CO₂, instabilities of the nascent salts were detected and applied for increasing efficiency. Diastereomeric excess values of the crystalline products exceeded 99 % in maximum of three consecutive steps both by repeated resolution with half molar equivalent of the amine to the acid and by direct recrystallization of the salts.     

A simple model for the semicontinuous heterophase polymerization: Ethyl methacrylate as a case example

A simple but comprehensive model considering homogeneous and micellar nucleation, coagulation, entry of radicals to particles and to micelles and radicals' exit from particles, is presented. The model is validated, in a starved semicontinuous heterophase polymerization of ethyl methacrylate, at three monomer addition rates. The model accurately describes the overall and instantaneous conversion, the average particle density and diameter, and the number and weight average molar masses evolutions over time. It is found that even though the average number of radicals is much smaller than 0.5, the system is not 0-1. An empirical function was used to describe the gel effect. The homogeneous nucleation was the prevailing mechanism for particle formation and large exit rates of radicals were observed. POLYM. ENG. SCI., 60: 223–232, 2019. © 2019 Society of Plastics Engineers     

UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility

The Journal of Supercomputing - Deadlock-free dynamic network reconfiguration process is usually studied from the routing algorithm restrictions and resource reservation perspective. The dynamic...     

Solid state reactions between SiC and Ir

Reactivity between SiC and Ir as a function of SiC-crystallinity was investigated by diffusion bonding technique under a vacuum and over the temperature range of 1200–1450 °C. As reaction products, various Ir-silicides and free unreacted-C were detected. Reactivity is strongly affected by the temperature and SiC-crystallinity involving a series of interactions, from “no reaction” to “massive exothermic reactions”. In particular, interfacial phenomena are more pronounced by the presence of defects and grain boundaries.Solid state reactions result in formation of fine C-precipitates rearranged in a quasi-periodic microstructure. On the contrary, clustering of highly ordered C-precipitates (C-graphitized) occurs after “massive reactions” take place.A relationship between the degree of graphitization (from 1 to multi-layers of graphene), temperature and SiC crystallinity was found by Raman spectroscopy. 2D-layering phenomenon is enhanced in polycrystalline SiC at high temperature.     

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.