Hydroformylation of synthetic naphtha catalyzed by a dinuclear gem-dithiolato-bridged rhodium(I) complex

This work focuses on the use of a gem-dithiolato-bridged rhodium(I) Rh 2(µ-S 2CBn 2)(cod) 2 complex (cod = 1,5-cyclooctadiene, Bn 2CS 2 2- = 1,3-diphenyl-2,2-dithiolatopropane) dissolved in toluene in the presence of monodentate phosphite P-donor ligand (P(OPh) 3) under carbon monoxide/hydrogen (1:1, syngas) atmosphere as an effective catalyst for hydroformylation of some olefins (oxo-reactions). The capability of this system to catalyze the hydroformylation of hex-1-ene, cyclohexene, 2,3-dimethyl-but-1-ene and 2-methyl-pent-2-ene and their quaternary mixture (synthetic naphtha) has been demonstrated. This innovative method to perform the in situ hydroformylation of the olefins present in naphthas to oxygenated products would be a promissory work for a future industrial catalytic process applicable to gasoline improving based on oxo-reactions. An important observation is that variation of CO/H 2 pressure (6.8-34.0 atm), temperature (60-80 oC), reaction time (2-10 h), rhodium concentration ((1.0-1.8)x10 -3 mol/L) affect hydroformylation reaction rates. Optimal conversion to oxygenated products were achieved under Rh = 1.8 x10 -2 mol/L, P(CO/H 2) = 34 atm (CO/H 2 = 1:1) at 80 oC for 10 h

VHDL generation from hierarchical petri net specifications of parallel controllers

Parallel controllers can be best specified using a description with a formal support to validate structural and dynamic properties. Petri Nets (PN) can provide an adequate means to model and to animate parallel systems based on the control and data path approach, in a hierarchically structured way. A set of tools was developed to allow formal validation of parallel controllers, based on hierarchical PN-based specifications and to automatically generate RT-level VHDL code. An example of a VLSI chip design, the transputer link adaptor, shows the capabilities of this methodology and associated tools.(undefined)(undefined