A methodology for computer aided design and analysis of separation processes involving electrolyte systems is presented. The methodology consists of three main parts. The thermodynamic part “creates” the problem specific property model package, which is a collection of pure component and mixture property models. The design and analysis part generates process (flowsheet) alternatives, evaluates/...

This paper presents TPDL* (extended temporal profile description language), a general-purpose language to observe and condition dynamic systems by means of temporal and logical expressions. It describes how time is modelled in TPDL*, gives an overview of the language through its basic types, primitives and conditional constructs, and its use in computer-aided design of digital systems. The pape...

In this paper, we investigate whether a dataset derived from a multi-purpose corpus such as the Spoken Dutch Corpus may be considered appropriate for developing a taxonomy of wh-questions, and a model of the way in which these questions are integrated in spoken discourse. We compare the results obtained from the Spoken Dutch Corpus with a similar analysis of a large random collection of FAQs fr...

Programming languages greatly influence the way how programs are created and evolved. This means that the use of appropriate language for solved problem can greatly increase developer productivity. Composition of languages can provide great help in construction of a new language from existing components and for integration of several languages that may be needed to effectively solve a complex p...

We de ne a class of recursive functions on the reals analogous to the classical recursive functions on the natural numbers corresponding to a conceptual analog computer that operates in continuous time This class turns out to be surprisingly large and includes many functions which are uncomputable in the traditional sense We stratify this class of functions into a hierarchy according to the num...

The existing steel structures of the sinking headgear and permanent headframe do not meet requirements resource saving (metal consumption manpower input at installation), present methods designing fully reflect recent possibilities applying advanced information technologies. technical level modern software makes it possible for designers to set up multiple numerical experiments create a compute...