Direct alloying of chromium by chromite attracts a lot interest for its superiority in energy-saving and process simplification. The knowledge reduction FeCr2O4, the main component chromite, is key to understanding mechanism from chromite. effect melt composition (carbon addition) temperature on FeCr2O4 carbon-containing iron was studied. higher carbon content melt, recovery obtained. Similarly...

Interlockings implement Railway Signalling Principles which ensure the safe movements of trains along a track system. They are safety critical systems which require a thorough analysis. We are aiming at supporting the safety analysis by automated tools, namely model checkers. Model checking provides a full state space exploration and is thus intrinsically limited in the problem’s state space. C...

A kinetic priority queue is a kinetic data structure which determines the largest element in a collection of continuously changing numbers subject to insertions and deletions. Due to its importance, many different constructions have been suggested in the literature, each with its pros and cons. We propose a simple construction that takes advantage of randomization to achieve optimal locality an...

Biological N2 fixation is achieved under ambient conditions by enzymatic catalysis. The enzyme nitrogenase has been studied extensively, but the N2 chemical reduction step is, by far, not rate limiting and hard to examine. A new method was developed that allows studying the reduction transition state within the enzyme's complex kinetic cascade by means of the 15N kinetic isotope effect on the r...

A hybrid kinetic mechanism reduction approach combining global reduction and dynamic reduction methods is proposed in the present work. The approach is based on the dynamic flux-based on-the-fly reduction and the globally applied quasi-steady-state approximation (QSSA). Globally identified quasisteady-state (QSS) species are separated from the kinetic ODEs and described by a set of nonlinear al...