Contribution `

a l
etude et `
a la commande des colonnes de
distillation multiconstituants
Christian Albaret

To cite this version:

Christian Albaret. Contribution `a letude et a` la commande des colonnes de distillation multi
constituants. Automatique / Robotique. Ecole
Nationale Superieure des Mines de Paris, 1992.
Francais. <NNT : 1992ENMP0307>. <pastel-00838235>

HAL Id: pastel-00838235

https://pastel.archives-ouvertes.fr/pastel-00838235
Submitted on 25 Jun 2013

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

Larchive ouverte pluridisciplinaire HAL, est

destinee au depot et `a la diffusion de documents
scientifiques de niveau recherche, publies ou non,
emanant des etablissements denseignement et de
recherche francais ou etrangers, des laboratoires
publics ou prives.

THSE
prsente

L'COLE NATIONALE SUPRIEURE DES MINES DE PARIS

par

ALBARET Christian
en vue de l'obtention du titre de

DOCTEUR DE L'COLE DES MINES DE PARIS

Spcialit

MATHMATIQUES ET AUTOMATIQUE

Sujet de la thse

CONTRIBUTION L'TUDE ET LA COMMANDE DES

COLONNES DE DISTILLATION MULTICONSTITUANTS
soutenue le 10 Fvrier 1992 devant le jury compos de

MM. Georges BASTIN

MM.

Guy BORNARD

Prsident et Rapporteur
Rapporteur

Jean-Michel CORON
Jean LVINE
Dominique PASCAL
Pierre ROUCHON

Examinateur
Examinateur
Examinateur
Examinateur

Je remercie Georges Bastin d'avoir accept de prsider le jury. Je lui suis reconnaissant
de ses remarques sur la version prliminaire du manuscrit de la thse. Je remercie Guy
Bornard d'avoir accept d'tre rapporteur.
Je remercie Jean-Michel Coron et Pierre Rouchon pour avoir accept de participer au
jury. Jean-Michel Coron ru'a donn des conseils pour certains rsultats de la thse. C'est
par lui que j'ai connu le centre d'AUTOMATIQUE.
Je remercie Jean Lvinc, mon directeur de thse, qui m'a orient dans mes travaux.
Il m'a toujours rserv un accueil bienveillant et m'a beaucoup conseill.
Je remercie Henri Renon, qui m'a accueilli dans les installations du centre RACTEURS
ET PROCESSUS dont il est directeur. Je remercie Alain Gaunand et Jacques Schwartzentruber, du mme centre, avec qui j'ai pu discuter de nombreuses questions de gnie
chimique et de thermodynamique.
Je remercie la socit ATOCHEM, qui a financ mon travail, ct Dominique Pascal, chef
du service Procds l'usine de Gonfreville, qui nous a fourni les donnes d'une colonne
de distillation pour servir d'application.
Je suis particulirement reconnaissant mes collgues Yann Crcff et Pascal Duchne.
Ils ont toujours port beaucoup d'intrt mes recherches et nous avons travaill ensemble
sur de nombreuses questions de mathmatiques, de thermodynamique et d'informatique.
Je suis reconnaissant Annick Le Gallic pour sa disponibilit constante au secrtariat
du centre.

Rsum.
Nous prsentons dans un premier temps un cadre de construction de modles de colonne
de distillation prenant en compte de manire gnrale une large classe de modles thermodynamiques pour un nombre quelconque de constituants et le comportement hydrodynamique des plateaux.
Aprs un rappel des rsultats de la littrature pour les colonnes binaires, nous dmontrons un rsultat d'existence et d'unicit du point stationnaire d'un modle de colonne
'dbits molaires constants' un nombre quelconque de constituants et un rsultat
d'inversion de l'quilibre thermodynamique. Nous dfinissons la notion de fonction 'simplexe-relative' pour dcrire les proprits de fonctions d'un simplexe sur lui-mme construites partir des modles thermodynamiques. Les rsultats s'appuient sur la thorie
du degr topologique applique ces fonctions.
Nous prsentons ensuite une extension de la mthode de rduction de modle par
agrgation et son utilisation pour la commande. Nous testons la commande obtenue en
simulation sur un modle de colonne de distillation industrielle haute puret.

Abstract.
Firstly we present a construction framework for models of distillation columns for a wide
class of thermodynamical models including an arbitrary number of components and the
hydrodynamical behaviour of the plates.
The results of the litterature concerning binary columns are recalled. Then we prove
the existence and uniqueness of the steady state of a distillation model with 'constant
molal overflow' and the invertibility of the thermodynamical equilibrium. We define
the concept of 'simplex-relative' functions to describe the properties of functions from a
simplex onto itself as they occur in thermodynamic models. The results are based on the
topological degree theory applied 1.0 this kind of functions.
We then show an extension of the aggregation technique (model reduction) and its use
for control. We test the resulting control law in simulations on a mode! of an indust.rial
high purity distillation column.

Sommaire
Introduction.
1

La distillation.
1.1 Position du problme.

Le cas binaire dbits uniformes.

2.1 Un modle binaire simple.
2.2 Proprits du modle.

Les modles.
3.1 Un modle complet.
3.1.1 Le modle d'tage.
3.1.2 Les ensembles ballon-changeur.
3.1.3 Les bilans.
3.1.4 Les notations de thermodynamique.
3.1.5 quations de l'quilibre thermodynamique.
3.1.6 Exemple de modle thermodynamique.
3.1.7 L'hydrodynamique.
3.1.8 Exemple de modle hydrodynamique.
3.2 L'index du modle complet.
3.3 Identification et calage.
3.1 Un modle en compositions.
3.5 Rappel des notations.

12
13
13
14
14
15
16
17
19
20
23
24
25
27

tude des rgimes stationnaires du modle multiconstituants.

4.1 Position du problme.
4.2 Les fonctions entre compositions.
4.3 Le point stationnaire.
4.4 Jacobiens aux sommets du simplexe.
4.5 Avec les volatilits relatives constantes.
4.6 L'inversion de l'quilibre thermodynamique.

29
30
30
32
35
35
38

5 La commande par agrgation.

5.1 La commande.
5.2 La colonne simule.

41
43
44

Sommaire

5.3
5.4
5.5
5.6
5.7
5.8
5.9
5.10
5.11
5.12
5.13

Le bouclage.
Les simulations.
En boucle ouverte.
Fraction-cls dans l'alimentation.
Autres fractions dans l'alimentation.
Dbit d'alimentation.
Pression de tte.
Consignes d'impuret.
Paramtres dans le calcul de la commande.
Dmarrage.
Conclusion.

45
47
48
48
50
51
52
52
55
56
59

A Rsultats.
A.l Le degr topologique.
A.2 L'inversion des fonctions simplexe-relatives.
A.3 La forme locale de l'quilibre.
A.4 Les mlanges volatilits relatives constantes.
A.5 Les dbits uniformes dans une colonne.

65
65
65
66
68
71

B Mise en uvre des simulations.

B.l Les types de simulateurs.
B.2 Le logiciel ASPEN.
B.3 Le logiciel SPEEDUP.
B.4 L'algorithme de Gear.

73
76
77
77
79

C Ordinateurs et logiciels.
Index.

81
82

Introduction.
La commande des colonnes de distillation a t tudie depuis longtemps. Les mthodes
les plus rpandues sont les mthodes statiques et les mthodes linaires mono- ou multivariables. Le dveloppement de l'automatique non-linaire a permis de nouvelles approches
dans les annes 80, avec des mthodes gomtriques [26, 39] et des mthodes de rejet de
perturbations [1, 4, 20]. Financ par une bourse de ATOCHEM, notre travail fait suite
aux rsultats tablis dans [32, 33] sur la commande des colonnes binaires par rejet de
perturbation. Il a t dvelopp au sein d'un groupe de travail constitu initialement en
collaboration entre le CENTRE AUTOMATIQUE ET SYSTMES et le CENTRE RACTEURS
ET PROCESSUS.

Nous tudions la commande de la composition des produits des grandes colonnes,

qui sparent haute puret des constituants de volatilits proches. Nous donnons un
cadre gnral de construction des modles reproduisant raisonnablement la dynamique
des compositions. Nous tudions ensuite le point stationnaire des modles de colonne et
l'quilibre thermodynamique liquide-vapeur, puis prsentons la rduction de modle par
agrgation et la commande sur le modle rduit. Enfin, nous prsentons des simulations
du bouclage de la commande du modle rduit appliqu au modle gnral, qui montrent
les possibilits de ce type de commande.
Au chapitre 1, nous rappelons le principe de fonctionnement et la commande des
colonnes de distillation.
Au chapitre 2, nous rappelons les dmonstrations des principaux rsultats sur les
modles de colonnes binaires.
Au chapitre 3, nous prsentons le cadre gnral de construction d'un modle dynamique simple, avec un nombre quelconque de constituants, prcis quant aux compositions
et valable sur un large domaine. Nous examinons le problme d'index, d al! mlange
d'quations diffrentielles en temps et d'quations algbriques. Nous discutons la forme
gnrale de l'quilibre thermodynamique et des fonctions d'hydrodynamique. Nous construisons aussi un modle plus simple qui ne contient que les fonctions thermodynamiques,
que nous tudions au chapitre 4. Nous rappelons galement les dfinitions de thermodynamique qui servent au chapitre 4.
Au chapitre 4, nous tudions un modle simple de colonne plus de deux constituants. Nous montrons un rsultat sur le point stationnaire de la colonne et un rsultat sur
l'inversion de l'quilibre thermodynamique qui s'appliquent aux mlanges d'hydrocarbures.
Au chapitre 5, nous prsentons l'agrgation sur le modle. Nous rappelons une
dmonstration de la commande d'un modle de colonne agrg. Nous appliquons la
commande obtenue avec un modle agrg au modle d'une colonne industrielle, dont

Introduction.

servent seulement des mesures qui sont disponibles sur la colonne relle. Nous montrons
des simulations o sont tests le rejet de perturbation de variations de composition de
l'alimentation et l'influence d'autres perturbations, ainsi que le suivi de trajectoire dans
un changement de consigne. Les performances dpassent ce qui est possible avec les bouclages courants sur les grandes colonnes industrielles: en particulier, la commande est
possible simultanment sur les compositions des deux soutirages, elle n'est pas limite
par un domaine voisin d'un point de linarisation et elle supporte des retards de mesure
importants. Elle est galement lgrement plus rapide pour stabiliser la colonne aprs
une mise en marche.
Nous rsumons la dfinition du dcgr topologique l'annexe A et montrons une proprit d'inversion des fonctions simplexe-relatives. Nous reprenons les dmonstrations
sur la forme locale de l'quilibre liquide-vapeur dans le cas enthalpies de vaporisation
gales et dans le cas volatilits relatives constantes. Nous apportons une prcision
l'hypothse des dbits uniformes (des 'dbits molaires constants').
A l'annexe B, nous dtaillons la mise en uvre des simulations sur ordinateur. Nous
rappelons l'architecture des simulateurs, et prsentons le simulateur statique et le simulateur dynamique utiliss. Nous donnons la liste des ordinateurs et des logiciels utiliss
l'annexe C.

Chapitre 1
La distillation.
Parmi les nombreux ouvrages traitant de la distillation, nous nous sommes appuys principalement sur [24, 25, 49, 52, M]. Nous rsumons ici les points intervenant dans la suite
de la thse.
La distillation liquide-vapeur est la sparation d'un mlange en produits contenant
certains des constituants presque purs, par une succession de contacts entre du liquide
et de la vapeur. On l'opre avec des colonnes, o circulent du liquide et de la vapeur
contre-courant. L'intrieur est amnag avec des plateaux ou avec un garnissage de telle
sorte qu'il y ait partout un contact entre du liquide et de la vapeur. Selon la temprature
et la pression qui rgnent, certains constituants, les lgers, ont tendance se concentrer
plutt dans la vapeur et tre entrans vers le haut, et les autres, les lourds, se
concentrer plutt dans le liquide et tre entrans vers le bas.
Les colonnes de distillation grand dbit sont alimentes en continu: le mlange
distiller est introduit par l'alimentation, les produits spars sont extraits aux soutirages. L'alimentation et les soutirages dlimitent des sections dans la colonne. La
section au-dessus de l'alimentation est la rectification, celle en-dessous l'puisement.
La figure 1.1 prsente les notations.
L'alimentation se spare en produits de volatilit diffrente grce au recyclage: le
reflux, le dbit liquide alimentant la tte, est une partie de la vapeur soutire en tte et
condense dans le condenseur, et le dbit de rebouillage, le dbit de vapeur alimentant
le fond, est une partie du liquide soutir au fond ct vaporis dans le rebouilleur. Nous
dsignons dans la suite les deux dbits de reflux et de rebouillage par le terme dbits de
recyclage.
Exprimentalement, une colonne rejoint toujours le mme tat quand la pression de
tte, l'alimentation et les dbits de recyclage sont constants - mme si elle part de trs
loin de cet tat, par exemple une mise en marche.
Une unit de distillation est forme d'une cascade de colonnes qui sparent chacune
leur alimentation en deux ou plusieurs produits, qui servent d'alimentation d'autres en
aval. Ceci fait que les points de fonctionnement de toutes les colonnes changent quand
change la composition du ptrole brut en alimentation de l'unit de distillation.

soutirage de tte yl

ttet

l rectification !Ji
tage

puisement 6
condenseur c

rebouillage yq

fond El

rebouilleur q

soutirage de fond L'

alimentation F

rsidu t

Figure 1.1: Schma d'un modle de colonne de distillation typique, avec des tages idaux.
Les notations sont principalement celles en usage en anglais: L pour dbit liquide, Y
pour dbit vapeur, F et l'exposant f pour alimentation (feed), les exposants El pour fond
(bottom) et t pour tte (top), C et l'exposant c pour condenseur (et le ballon de reflux), et
l'exposant q pour rebouilleur ; Le et V q sont les dbits de recyclage, Co et L" sont les
dbits de soutirage des ballons. La rectification est note !Ji , l'puisement 6 (stripping).

Chap. 1.

1.1

La distillation.

Position du problme.

Sur une colonne de distillation haute puret typique, on commande les compositions des
soutirages LG et Co avec les deux dbits de recyclage Le et VG La pression dans la
colonne ou les tempratures des dbits de recyclage sont maintenues des valeurs fixes.
L'alimentation arrive du soutirage d'une colonne en amont, et est considre comme
une perturbation. Le dbit complet de l'alimentation P et sa temprature sont mesurs,
mais pas sa composition. On mesure les compositions aux soutirages et les tempratures
quelques endroits dans la colonne.
On cherche maintenir les produits la puret prvue par les calculs. Le bouclage
doit maintenir certaines spcifications sur les compositions des soutirages en rejetant les
perturbations de l'alimentation. Les mthodes courantes sont des mthodes linaires
monovariables, qui ne permettent souvent que de rguler la composition l'un des soutirages sur les grandes colonnes. La commande est gnralement synthtise partir d'un
modle bote noire de dimension faible (souvent 2), qui peut inclure des retards purs.
Il existe des mthodes linaires multivariables de rejet de perturbations sur un modle
linaris tangent. [53] Ces modles calculs autour d'un rgime de fonctionnement deviennent faux et la loi de commande peut diverger lorsque la composition d'alimentation ou
les consignes changent beaucoup.
Des rsultats d'automatique non-linaire ont t dveloppes par dans le cas des
colonnes binaires, dont le mlange ne contient que deux constituants, ce qui est le cas
le plus simple. [20, 32] Les deux spcifications sont la fraction du constituant lourd dans
le soutirage de tte et celle du constituant lger dans le soutirage du fond.
S'il y a plus de deux constituants prendre en compte, on les classe scion les soutirages o il apparaissent. Les constituants trs lgers sont ceux qui n'apparaissent qu'en
rectification: leur fraction dcrot rapidement vers le fond et est ngligeable prs du fond,
ce qui fait qu'ils sont entirement soutirs en tte. Symtriquement, les constituants trs
lourds sont ceux qui n'apparaissent qu'en puisement et sont entirement soutirs en
fond. Les constituant-cls sont les constituants qui apparaissent en quantit notable en
tte et en fond.
Une colonne pseudo-binaire est une colonne avec plus de deux constituants dont
seulement deux constituant-cls. On commande une colonne pseudo-binaire comme une
colonne binaire si les fractions des trs lgers et des trs lourds restent sous le seuil accept
dans les produits. Les colonnes sur lesquelles on commande plus que deux spcifications
sur les produits ont plus de deux soutirages.

Chapitre 2
Le cas binaire dbits uniformes.
Le cas de la colonne binaire dbits uniformes est simple et permet de dmontrer l'unicit,
la stabilit du point stationnaire de la colonne et la stabilit de la commande sur le modle
agrg. Les simulations sur des modles de colonnes d'hydrocarbures plus de deux
constituants montrent les mmes proprits. [11, 46J Certains rsultats ont t dmontrs
pour les colonnes pseudo-binaires. [11, 12J NOliS rappelons ici quelques dmonstrations
importantes.

2.1

Un modle binaire simple.

Nous examinons la structure d'un modle de colonne sur lin petit modle binaire, avec
une cascade de 5 tages numrots de 1 pour la tte 5 pour le fond. Le condenseur porte
le numro 0 et le rebouilleur le numro 6. La colonne est alimente en phase liquide
l'tage 3.
La rtention (resp. le dbit) partielle d'un constituant est la quantit du constituant
dans le mlange de la rtention (resp. du dbit). Nous appelons rtention (resp. dbit)
complte la somme des rtentions (resp. des dbits) partielles des deux constituants.
La fraction d'un constituant dans une rtention (resp. dans un dbit) est la rtention
partielle (rcsp. le dbit partiel) du constituant divise par la rtention complte (resp. le
dbit complet). Elle varie dans l'intervalle [O,IJ
Dans notre modle simple, les dbits complets liquide L et li sont uniformes
l'intrieur de chaque section, c'est--dire gaux sur tous les tages d'une section. Les
rtentions liquide fi dans les tages sont constantes et uniformes. Les rtentions liquide
dans le ballon du condenseur et dans l'tage de fond, qui sert de ballon au rebouilleur, sont
rgules parfaitement par les soutirages respectifs. La pression est rgule parfaitement
par la puissance de condensation et elle est la mme sur tous les tages.
Les fractions dans un dbit sont les mmes que dans la phase qu'il quitte. Nous notons
x" et v" les fractions du constituant lger dans le liquide et dans la vapeur l'tage p ,
ou dans un changeur de chaleur, p = O. 6 Le condenseur 0 et le rebouilleur 6 ne
changent pas la fraction du dbit qui les traverse. Nous notons XO et x 6 la fraction du
constituant lger dans leur rtention.

Chap, 2.

Le cas binaire dbits uniformes.

- . L+F-V

Figure 2.1: Le modle 5 tages. Les flches paisses sont les dbits, celles cn pointills
les rgulations de base de la colonne.

2.2.

Proprits du modle.

Les phases liquide et vapeur sont en quilibre thermodynamique dans les tages 1
5. La thermodynamique donne un diffomorphisme k dans [0,1], qui dpend de
la pression, tel que yP = k(x P )
La fonction k est strictement croissante et vrifie
k(O) = 0, k(l) = 1 Nous nous restreignons au cas o y = k(x) # x pour x E]O,1[,
donc y = k(x) > x parce x est la fraction du constituant lger.
La rtention partielle du constituant lger dans un tage vaut JI/x, la rtention liquide
complte multiplie par la fraction du constituant lger. Le dbit liquide partiel du
constituant lger quittant l'tage vaut Lx, le dbit complet quittant l'tage multipli
par la mme fraction. Le dbit vapeur du constituant lger quittant l'tage vaut Vk(x) ,
le dbit complet vapeur quittant l'tage multipli par la fraction du constituant dans la
vapeur. Le dbit du constituant lger qui arrive par l'alimentation vaut FZF, le dbit
complet d'alimentation multipli par la fraction du constituant.
Le dbit complet d'alimentation F s'ajoute au dbit liquide complet dans la colonne.
Le dbit liquide en-dessous de l'alimentation est L + F Tous les dbits complets sont
positifs.
La conservation des deux constituants s'exprime par des bilans sur chaque tage. Nous
notons la drive par rapport au temps t par un point. Pour l'tage 2 par exemple, les
bilans des deux constituants s'crivent

Jl/x2
JI/(1- x 2)

=
=

Lx! + Vk(x 3 ) - Lx 2 - Vk(x 2 )

L(1 - Xl) + V(1 - k(x 3 ) ) - L(I- x 2) - V(1 - k(x 2 ) )

La somme des bilans des deux constituants est nulle et nous n'crivons que les bilans du
constituant lger.
Le modle s'crit

Jl/OxO
JI/x!
Jl/x2
Jl/x3

Lxo
LXI
Lx 2

Jl/x4
Jl/5x5

(L+P)x 3
(L+ F)x 4

Jl/6x6

+
+

Vk(x I)
Vk(x 2 )
Vk(x 3 )
Vk(x 4 )

Lxo
Lx!
Lx 2
(L+P)x 3

+
+

Vk(x 5 )
Vx 6

(L+F)x 4
(L+F-V)x 5

Vx 5

(V - L)xO

Vk(x I)
Vk(x 2 )
Vk(x 3 )
FzF
Vk(x 4 )
Vk(x 5 )
Vx 5
Vx 6

(2.1)
L'tat (x", ... .x") varie dans [0, If Le systme est un systme diffrentiel ordinaire
tridiagonal. Les entres sont L, V, [-' et zF
F et zF sont des perturbations
respectivernent mesure et non mesure. Les sorties sont les fractions aux extrmits de
la colonne k(x 1 ) et x 5 Nous rappelons maintenant les principaux rsultats connus sur
ce modle.

2.2

Proprits du modle.

Thorme 2.1 Pour toute condition initiale dans le domaine [0,

Ir, la solution de (2.1)

Chap, 2. Le cas binaire dbits uniformes.

10

existe pour tout temps dans [0, Ir

[1,46]

Preuve. Si x P = 0, alors xP ~ 0 Symtriquement, si x P = 1, alors xP ~ 0 Le

champ est rentrant sur le bord de [0, 1] pour tous les x P Il est donc rentrant sur le
bord de [0, Ir 0
Thorme 2.2 Le systme (2.1) a un point stationnaire unique pour chaque quadruplet
d'entres L, V, F et zF constantes. Le point stationnaire vrifie XO = Xl > x 2 >
x 3 > x 4 > x 5 = x" [30, 45, 46]
Preuve. On ramne la forme statique de (2.1) une quation unique. Nous notons les

L:F

ratios r!X =
et 1'6 =
Les bilans statiques du rebouilleur 6 et de l'tage 5 donnent

x5
x4

x"

5
1'6 k(x )

+ (1 _ r 6)x5

et la somme des bilans statiques des tages 4 et 5

La fonction k est strictement croissante et applique 0 sur 0 et 1 sur 1 La fonction

x 5 ...... x 4 est un barycentre de k et de l'identit. De mme, la fonction x 5 ...... x 3 est un
barycentre de k(x 4 ) et de l'identit. Ces deux fonctions sont donc galement strictement
croissantes et appliquent 0 sur 0 et 1 sur 1 Elles sont des diffomorphismes dans
[0,1] Comme k vrifie k(x) > x, on a x 3 > x 4 > x 5
De mme, les bilans statiques du condenseur 0 et de l'tage 1 donnent
XO

k(x 2 )

= r!Xxl + (1 _

= k(x I)

r!X)k(x l)

et la somme des bilans statiques des tages 1 et 2

Ces formules ont la mme forme que pour les tages 4 et 5 si on les crit avec les
fractions vapeur yP = k(x P ) Il vient
y2

r!Xk-I(yI)

y3

r!Xk- I(y2)

+ (1 _ r!X)yI
+ (1 _ r!X)yI

Les fonctions yI ...... y2 et yI ...... y3 sont strictement croissantes dans [0, 1]

y > k-I(y) , il vient y3 < y2 < yI, soit x 3 < x 2 < Xl Les fonctions Xl
3
Xl ...... x
sont aussi des diffomorphismes dans [0,1]

Comme
x 2 et

......

2.2.

Proprits du modle.

11

On rsout le systme en sommant tous les bilans statiques de (2.1), ce qui donne le
bilan statique de toute la colonne

"if L XO + L + ~ - "ifx5

ZF

On a le diffomorphisme croissant
XO = Xl

(2.2)

+-----+ x +-----+ x
Le deuxime membre de (2.2) comme fonction de XO est le barycentre de l'identit et
d'une fonction Cl strictement croissante. Il est donc un diffomorphisme lui-mme. Le
bilan statique (2.2) dfinit un diffomorphisme XO +-----+ zF
Finalement, on a les diffomorphismes zF +-----+ x" pour tous les tages p L'tat
statique est unique et est Cl en fonction de la fraction zF de l'alimentation. 0

Thorme 2.3 Le point stationnaire de (2.1) est globalement asymptotiquement stable.

[45,46]
Thorme 2.4 Au voisinage de chaque point stationnaire, il
loi de commande par retour d'tat qui rejette les perturbations de la fraction
et du dbit P
de l'alimentation. [20,46]
Preuve. La matrice de dcouplage de (k(x l),X 5 ) en fonction de (L,"if) vaut

V'k~XI)(XO_XI)
D=!f
(
]:j5(x 4

V'k~XI)(k(X2)_k(XI))
N]
]:j5(x 6

S)

k(x 5 ) )

Au point stationnaire, on a

o
o

L
=

V'k)t)(X

(L

_Xl)

+ P)-};s(x 4

+ "ifV'k~XI)(k(X2) _
S)

-i(x

+ "if

k(x l))

k(x 5 ))

Comme L < "if et "if < L + F et comme V'k = dk(x)/ dx > 0, la matrice D est
diagonale dominante et inversible. 0
Le bouclage ne fait intervenir que les fractions des deux tages voisins de chaque
sortie. Ce rsultat reste vrai pour un tel modle de colonne avec plus d'un tage entre
l'alimentation et les tages de sortie. Pour une colonne plus grande cependant, le mme
modle ne reprsente pas bien la ralit: on ne peut plus ngliger la dynamique des dbits
le long de toute la colonne devant celle des fractions entre deux tages. D'autre part,
si le nombre d'tages est important, les tages proches des extrmits ont des fractions
voisines et la matrice de dcouplage est proche des conditions o elle dgnre.
L'agrgation est une mthode qui rduit le modle en ne conservant que des fractions
moyennes dans des compartiments de la colonne, dont la dynamique est. lente. La structure du modle rsultant. ressemble celle de (2.1). Le modle agrg a le mme point
stationnaire, qui est galement globalement. asymptotiquement stable et il se commande
de la mme manire. Les dmonstrations existent pour les colonnes binaires. [32, 33, 46]
Nous rappelons les rsultats au chapitre 5.

Chapitre 3
Les modles.
Nous rappelons ici un cadre gnral de construction de modles de colonne de distillation
avec un nombre quelconque de constituants, prcis quant aux compositions et valable sur
un large domaine. Un tel modle nous servira au chapitre 5.2 simuler la colonne avec un
bouclage sur les compositions de soutirage. Nous voulons qu'il reproduise correctement la
dynamique des compositions. Ce type de modle a t largement dcrit dans la littrature.
[16,46] Nous discutons ici les domaines de validit des quations de la thermodynamique
et de l'hydrodynamique, ainsi que les possibilits d'identification.
Nous crivons ensuite un modle qui contient les fonctions de l'quilibre thermodynamique mais pas de fonction d'hydrodynamique. Ce modle est moins prcis numriquement mais se laisse mieux tudier. Ce type de modle n'a t tudi que pour des colonnes
binaires jusqu' prsent.
Nous notons C l'ensemble des constituants, et c leur nombre. Nous notons une
rtention de matire (resp. un dbit) comme un vecteur N = [Na]aEC (resp. D =
[Da]aEC) de R C , o la composante Na est la quantit (resp. Da le dbit) du constituant a Les constituants sont nots par des indices minuscules. La rtention complte
(resp. le dbit complet) est le rel N = LaEC Na (resp. fJ = LaEC Da ). La fraction
du constituant a E C dans la rtention N (resp. le dbit D) est Za = Nal fi (resp.
= Dai fJ). La composition de la rtention N (resp. du dbit D) est le vecteur

[Za]aEC
Nous crivons une grandeur extensive avec une lettre majuscule, la grandeur ramene
l'unit de matire avec la lettre minuscule. Pour respecter les notations usuelles du gnie
chimique, nous notons L et V les dbits liquide et vapeur, X et Y les compositions
liquide et vapeur, Z les compositions pour une phase quelconque. Nous notons les
autres grandeurs avec un exposant en lettre droite majuscule, par exemple NL et N V
pour les rtentions liquide et vapeur, ou sans exposant de phase pour la grandeur totale,
la somme sur les deux phases liquide et vapeur, par exemple N = NL + N V pour la
rtention totale de matire (crite comme un vecteur aussi) l'intrieur d'un tage. Une
grandeur correspondant un dbit a le nom du dbit en exposant, par exemple H D pour
l'enthalpie du dbit D
Les expressions des rtentions ou des dbits, des rtentions ou des dbits complets et
celles des compositions, ainsi que celles des drives par rapport une variable de matire

3.1.

Un modle complet.

13

dpendent de l'unit de matire choisie. Il faut utiliser la mme unit de matire dans
toutes les quations. L'unit de matire n'intervient jamais explicitement dans la thse.
Nous prcisons titre d'exemple l'unit physique des grandeurs en units internationales,
avec la mole comme unit de matire, mais une autre unit conviendrait. Nous crivons
'par unit de matire' et non 'molaire' Les dmonstrations de certains thormes utilisent
un changement des coordonnes de matire.
Nous construisons les modles avec une cascade d'tages comme au chapitre 2. Les
dbits liquide circulent de chaque tage l'tage infrieur, les dbits vapeur de chaque
tage l'tage suprieur, la conservation des constituants (nous dirons 'conservation de la
matire') et ventuellement celle de l'nergie s'expriment par des bilans. Les phases sont
homognes, autrement dit la composition, la temprature et la pression sont gales dans
une phase et dans un dbit qui la quitte.
Nous considrons les ensembles ballon-condenseur ct ballon-rebouilleur comme l'tage
du haut et l'tage du bas. Nous utilisons le sens traditionnel de numrotation des tages
du haut vers le bas: l'tage situ au-dessus de l'tage p est l'tage p-l , celui en-dessous
est l'tage p + 1 Les tages sont nots avec un exposant minuscule.

3.1

Un modle complet.

Nous prenons comme variables pour chaque tage p la rtention totale de matire NP
[mol], la rtention totale d'nergie interne UP [J], qui sont les termes d'accumulation
parce que le volume des tages est fix, [19] et les dbits partiels liquide LP et vapeur VP
[mol/s] quittant l'tage. Nous prenons aussi comme variables la temprature TP [K],
qui intervient dans les fonctions thermodynamiques, le volume liquide f!L,p [m 3], qui
intervient dans les fonctions d'hydrodynamique, ct la pression P" [Pa], qui intervient
dans les deux types de fonctions.

3.1.1

Le modle d'tage.

Les compositions des rtentions liquide et vapeur valent XP = LP1Lp et YP = VPIVP

[adimensionnel]. L'nergie transporte par les dbits est la somme de l'nergie interne
et du travail des forces de pression, c'est--dire l'enthalpie. Les dbits d'nergie du
dbit liquide LP et du dbit vapeur VP valent IIL,p = LPhL(XP,TP, PP) et HV'P =
VPhV(yP, TP, PP) [W=mol/s X J/mol]. Les enthalpies par unit de matire hL ct h V
[J/mol] sont des fonctions thermodynamiques tabules d'aprs des mesures.
Les rtentions totales de matire et d'nergie s'expriment comme somme des rtentions
dans les deux phases

NP
UP

=
=

flL,PXp+fliv,pyP
flL,puL(Xp, J'P,PP) + fliv'Puv(YP,TP, PP) ,

(3.1)

o les fIi [mol] sont les rtentions compltes des phases. Les nergies internes par unit
de matire u L et uV [J/mol] sont des fonctions thermodynamiques tabules d'aprs des
mesures. Ces quations ont la dimension c + 1

14

Chap. 3.

3.1.2

Les modles.

Les ensembles ballon-changeur.

Sur la colonne relle, les deux dbits de recyclage ne sont pas condens ou vapor puis
recycls directement, mais stocks dans un ballon, pour qu'on puisse les faire varier
rapidement sans tre limit par le dbit soutir de la cascade. Le ballon est suffisamment
grand de manire amortir la variation des dbits dirigs vers les colonnes en aval et
en moyenne rempli moiti - mais pas trop grand parce que cette rserve introduit un
retard sur la composition du dbit recycl, qui diminue la sparation par le contre-courant.
Le ballon de tte est plac en aval du condenseur, tandis que celui de fond l'est en amont
du rebouilleur et constitue gnralement le fond de la colonne. Cette disposition fait que
les rgulations des niveaux des ballons par leur soutirage n'influent pratiquement pas sur
la dynamique de la colonne.
Nous ngligeons donc la dynamique des ensembles ballon-changeur et crivons des
quations algbriques. Nous ngligeons galement la dynamique des rgulations. Les
rgulations sont difficiles crire dans un modle, cause des units de mesure employes,
du nombre important de rgulations en cascade et d'une mthode de calcul incompatible
avec les algorithmes d'intgration pas variable pour Je terme 'drive'

3.1.3

Les bilans.

Les bilans de matire et d'nergie d'un tage de la cascade s'crivent

NP
P

(U- 1 + VP+I) - (LP + VP)

(HL,P-I + HV,P+I) _ (HL,P + HV'P)

=
=

(3.2)

Le point est la drivation par rapport au temps. La dimension de ces quations est c + 1
Les bilans de l'tage d'alimentation ont les termes supplmentaires dbit de matire F
et d'nergie HF pour le dbit d'alimentation

Nf

(Lf- l + VHI) - (LI + VI)

(HL,f- I + HV,Hl) _ (HL,f

+F
+ H V'/) + HF

Les bilans de l'ensemble ballon-condenseur s'crivent

'
o Q' [W] est la puissance change. Il s'ajoute l'quation

Co
par laquelle N

= 0 , ce

\/l_[,o

qui fait que la rtention liquide est parfaitement rgule, ct

T'= este,
qui dtermine la puissance Q'
laires.

Les quations de l'ensemble ballon-rebouilleur sont simi-

3.1.

Un modle complet.

3.1.4

15

Les notations de thermodynamique.

Les phases des mlanges que nous tudions sont caractrises par les grandeurs extensives, c'est--dire additives, quantit Na [mol] de chacun des constituants a E C,
entropie S [J/K], et volume 0 [m 3 J.
L'nergie interne, ou nergie de la phase, se note U P]. On suppose classiquement qu'elle est C2 dans toutes les coordonnes. En drivant la fonction U dans les
coordonnes (N,S,O) , on pose [3]

dU

2..:aEcILadNa

+ TdS -

PdO

(3.3)

ce qui dfinit les potentiels chimiques fla [J/mol] de chaque constituant a E C, la

temprature l' [K], et la pression P [Pa].

L'nergie interne U est extensive, donc homogne de degr 1, et convexe par rapport
aux coordonnes extensives. La relation d'Euler donne dans les coordonnes extensives
(N,S,O)

(3.4)
Nous utilisons aussi l'enthalpie li = U + PO et l'enthalpie libre G = U -1' S
[J], galement extensives, pour lesquelles on trouve les diffrentielles
dH

2..:

dG

2..:

aEc

fLadNa

aEcfl a

+ l' dS + 0 dP
+ 0 dP

+ PO
(3.5)

dNa - S dT

Nous utilisons encore l'enthalpie partielle ha du constituant a, c'est--dire la drive

de l'enthalpie H par rapport Na, a C dans les coordonnes (N, T, P)

(3.6)
et l'enthalpie par unit de matire h. a du constituant a (pur)

h.a(T,P)

= lI(N,T,P)IN

(3.7)

pour n'importe quelle rtention N du constituant a seul (Na est la seule composante
non nulle). Dans les coordonnes (N,T, P) , o seuls les N sont extensifs, la relation
d'Euler donne

(3.8)
On indique les coordonnes dans lesquelles une drive est calcule par un indice
sur la drive.

On note par exemple d'aprs (3.6), ha = ( : : )

a

fla

(:~) N,S,n
a

, d'aprs

(3.5), fla

(:~) N,T,P
a

et

, d'aprs (3.4),
N,T,P

(?rfr)

N,T,P

Chap. 3.

16

Les modles.

Comme les nergies U, H ou G sont homognes de degr 1 par rapport aux coordonnes extensives, les grandeurs dfinies par drivation de l'nergie sont intensives,
homognes de degr 0 par rapport aux coordonnes extensives. Les modles thermodynamiques donnent habituellement l'expression des fonctions en variables intensives
(Z, T, P) , par exemple Pa(Z, T, P) ou ha(Z, T, P) , en ramenant les fonctions extensives
la grandeur par unit de matire, par exemple u(Z,T,P) ou h(Z,T,P) [J/mol] avec
lesquelles l'nergie d'une rtention N s'exprime U = Nu(Z, T, P) ou H = Nh(Z, T, P)
[J=mol x J/mol] et celle d'un dbit H D = Dh(Z,T,P) [W=mol/s x J/mol]. Toutes les
notations servent avec l'exposant L ou V si elles concernent la phase liquide ou la phase
vapeur, except les compositions qu'on note X pour le liquide et Y pour la vapeur.

3.1.5

quations de l'quilibre thermodynamique.

L'quilibre thermodynamique correspond au minimum de l'nergie interne U d'un systme physique ferm. Dans les coordonnes extensives (N, 5, n) , un systme avec les
deux phases liquide et vapeur est ferm si NL+N v = Cste, SL+SV = Cste et nL+nV=
Cste Une condition ncessaire du minimum de l'nergie interne UL + UV est
pL

pV

TL

TV

pL

pV

(3.9)

o nous notons les p = [Pa]aEC comme des vecteurs de dimension c

Comme les potentiels chimiques P sont intensifs, on en utilise l'expression en fonction
des grandeurs intensives (Z, T, P)
Si on substitue l'galit des tempratures et des
pressions, il vient
pV(Y,T,P)

(3.10)

La varit d'quilibre (3.10) a toujours un bord dit triple, pour des tempratures et des
pressions basses, correspondant l'quilibre avec une phase solide supplmentaire, et un
bord dit critique, pour des tempratures ct des pressions leves, o la distinction entre
les phases liquide et vapeur disparat, toutes leurs grandeurs intensives devenant gales,
et o l'quilibre (3.10) dgnre donc au rang O. La varit peut ne pas correspondre
des tats physiques, par exemple s'il se forme une deuxime phase liquide, qu'une criture
telle que (3.10) ne prend pas en compte. L'quilibre (3.10) peut dgnrer au rang e - 1
en des points azotropes, c'est--dire des points tels que X = Y [2, 29, 47]
L'quation (3.10) suffit pour de nombreux modles de colonne, parce que les conditions
difficiles dans l'quation correspondraient des problmes dans le procd reprsent: une
phase solide ne s'coule pas, la sparation se dgrade quand on approche des conditions
critiques. La distillation avec apparition de deux phases liquide existe mais le procd et
sa commande diffrent totalement de ce que nous traitons ici. La distillation de mlanges
azotropes est conue de manire ne pas rencontrer de point azotrope dans les colonnes.
Pour ce qui concerne notre modle de distillation d'hydrocarbures lgers, l'quation (3.10)

3.1.

Un modle complet.

17

est valable et ne dgnre pas pour des conditions correspondant au fonctionnement normal de la colonne.
Sous la rserve que les donnes correspondent un quilibre liquide-vapeur, les quations (3.1) et (3.10) permettent de rsoudre les calculs thermodynamiques:
- des rtentions des deux phases en fonction des grandeurs extensives totales (il
s'ajoute l'quation n = nL + nV )

(3.11)
qui donne aussi les grandeurs intensives (Il, T, P) ;
- des rtentions des deux phases en fonction des grandeurs extensives totales (N, U)
et de la grandeur intensive P

(3.12)
qui donne aussi les grandeurs intensives (/1,T) et extensives (nL , nV) ;
- de l'quilibre isobare en variables intensives, avec la composition de la rtention
totale Z et la fraction vaporise a = fiL 1fil

(Z,P,a) ...... (X,Y)

(3.13)

qui donne aussi T et les autres grandeurs intensives;

il y a de nombreuses variantes.

3.1.6

Exemple de modle thermodynamique.

Le modle thermodynamique de Rcdlich-Kwong-Soave [18,50,51] est parfaitement classique et donne de bons rsultats pour les mlanges d'hydrocarbures.
Il consiste en une quation d'tat entre les variables temprature T [K], pression P
[Pa] et volume molaire w [m 3 Imol], cubique en w et valable pour le liquide et la vapeur

RT
w - 13

- w(w + 13)

o R [J/K] est la constante universelle des gaz parfaits, et o les constantes a [J] et
[m 3 Imol] s'expriment en fonction des fractions Z = X ou Z = y par

13

Les coefficients des constituants purs aa,a et fJa,a sont donns par des corrlations en
fonction de leur temprature et de leur pression critiques, ainsi que d'un facteur dpendant
de la forme de la molcule. On utilise les rgles de mlange classiques (a f= b);

aa,b = k:,b(aa,aab,b)1/2
fJa,b = k~,b(fJa,a

+ fJb,b)/2

aa =

fJa = LbEC fJa,bZb

LbEC

aa,bZb ,
,

o ka,b est le coefficient d'interaction binaire entre les constituants a et b, qui vaut 1
s'il n'y a pas d'interaction et est lgrement infrieur s'il y en a une.

18

Chap. 3.

Les modles.

Dans les conditions de l'quilibre liquide-vapeur, cette quation a trois racines: pour la
phase liquide, avec Z = X , la valeur significative est la plus petite racine, pour la phase
vapeur, avec Z = y , c'est la plus grande. Les perturbations utilises pour les calculs par
diffrences finies peuvent conduire des quations une seule racine. Il convient d'utiliser
alors des pseudo-racines pour trouver un w qui dpende continment des paramtres
de l'quation: par exemple la position de l'extremum sur la branche sans racine.
Nous utilisons les fugacits 'P pour crire l'quilibre thermodynamique (3.10), qui
sont dfinies de telle sorte que leur galit est identique celle des potentiels chimiques

d'o

RTln~

1
00

((

-oP)

N;

N,T,fi

Pw
- -RI') dv - RI' In-;-;
v
R1

En exploitant la forme explicite de P

ln 'Pa

In(Za) -ln(P(w - fJ)/(RT))

+ (1 - Pw/(RT)) - (1 - 2fJa/fJ)
- (20'a+ 0' - 2afJa/fJ)ln(1 +w/fJ)/fJ/(RT)

L'enthalpie molaire h est donne par:

1 (p - (?ft) )
00

h(Z, T, P)

dv

+ Pw -

N,T,fi

(TLa,bEC [aa,b (d ln aa,a/ dT

+ dlnab,b/ dI')/2]
+ Pw - RI'
h.a(T,pstd)

RI'

+L

Zah.a(T,

pstd)

aEC

ZaZb - a)ln(l

+ fJ/w)

+ LaEcZah.a(T, p s t d)

fJstdc~(T)dT+h.a(Tstd,Pstd)

Les termes de cette dernire formule sont donns par des corrlations. L'nergie interne
molaire est: u = h-Pw La masse molaire est simplement: m = LaEC maZa [kg/mol].

Notations du modle thermodynamique.

X
y
Z
T

P
R
'Pa

composition molaire liquide, par constituant [adimensionnel]

composition molaire vapeur, par constituant [adimensionnel]
composition molaire X ou Y [adimensionnel]
temprature [K]
pression [Pa]
constante des gaz parfaits [J/K]
volume molaire [m 3 /mol]
fugacit du constituant a [adimensionnel]

3.1.

Un modle complet.

a,/3

~::: :;:

k~,b' k~,b

cP

.std
.L

.V

3.1.7

19

nergie interne molaire [J/mol]

enthalpie molaire [J/mol]
masse molaire [kg/ mol]
enthalpie molaire du constituant a [J/mol]
masse molaire du constituant a [kg/mol]
constantes de l'quation d'tat [J],[m 3 /mol]
termes partiels de la constante a
termes partiels de la constante /3
coefficients d'interaction binaire [adimensionnels]
coefficient calorique molaire pression constante [J/K]
grandeur de rfrence standard (constante dterminant les nergies)
grandeur liquide
grandeur vapeur

L'hydrodynamique.

L'hydrodynamique exprime la diffrence de pression pp+l - pp [Pa] de deux tages

successifs et le volume liquide nL,p [m 3 ] de l'tage suprieur des deux en fonction principalement des deux dbits volumiques rL,p et rV,p+1 [m 3 /s] circulant entre les deux
tages

(3.14)
On construit cette fonction en inversant les deux quations de la pression sur le trajet
du liquide et sur celui de la vapeur entre deux tages successifs. Ces quations contiennent d'autres termes dont l'effet est mineur. Il n'existe pas de description rpandue des
phnomnes prendre en compte, et les diverses corrlations sont peu prcises. Nous
donnons comme exemple au paragraphe 3.1.8 le modle utilis pour les simulations, inspir de [16], o on trouve un exemple avec plus de termes.
Les dbits volumiques valent rL,p = LpwL(XP,TP, PP) , rV,p = VPwV(YP,TP,PP)
[m 3 /s=mol/s x m 3 /mol], les volumes des rtentions nL,p = NL,pwL(XP,TP, PP) et
nV,p = f\lv,PwV(yP, TP, PP) [m 3 =mol x m 3 /mol], en fonction des volumes par unit
de matire w [m 3 /mol] donns par la thermodynamique. La vapeur occupe simplement
le volume libre nV,p = n p - nL,p au-dessus du liquide dans chaque tage.
De manire gnrale, les effets les plus importants sont le poids des phases ct les
pertes de charge, c'est--dire les diffrences de pression au niveau des rtrcissements
dans les coulements, la loi de dversoir, c'est--dire la hauteur de liquide au-dessus
du bord o il se dverse en fonction du dbit liquide, et la loi d'aration, c'est--dire
le volume de bulles de vapeur dans le liquide en fonction du dbit vapeur. La fonction
(rL,p, rV,p+!) 1-> (nL,p, pp+l - PP) ne dgnre pas, parce que anL,p /arv,p+! est proche
de zro par comparaison aux autres drives, les bulles de gaz qui traversent la phase
liquide ayant peu d'influence sur son volume. La fonction inverse dgnre aux conditions
thermodynamiques critiques, parce que la diffrence des masses volumiques, qui intervient
en dnominateur dans l'expression de nL,p, vaut alors zro.

20

Chap. 3.

Les modles.

La pression de l'tage de tte est dtermine par une rgulation, comme sur la colonne
relle (de nombreuses configurations sont possibles), l'tage du fond est le ballon du
rebouilleur, dont le volume liquide est rgul par le dbit de soutirage.
La pression est en principe mesure en plusieurs points sur une colonne et est approximativement une fonction affine de la hauteur. Les volumes de liquide en rgime normal
peuvent tre valus d'aprs les plans de la colonne. Au moins pour les rgimes normaux
de la colonne, on connat directement la pression et le volume de rtention liquide sur
tous les tages, avec une prcision suffisante pour l'quilibre thermodynamique (3.10) et
pour la dynamique des bilans (3.1). En particulier, les calculs statiques se font toujours
avec une pression value d'aprs les mesures (les volumes de rtention n'y interviennent
pas). Nous crivons des fonctions d'hydrodynamique dans notre modle pour le rendre
quivalent un systme diffrentiel ordinaire, ce que nous examinons au paragraphe 3.2,
mais pas pour calculer avec prcision les volumes ou les pressions.
Le volume liquide !1L ,p n'a de sens physique qu'entre zro, l'asschement, o il n'y
a plus que de la vapeur dans une partie de la colonne, et le volume total de l'tage !1P ,
l'engorgement, o il n'y a plus que du liquide dans une partie de la colonne. En
fonctionnement normal, les rtentions liquide sont positives par le simple fait qu'un dbit
liquide traverse la colonne. En revanche, la colonne (ou une partie) s'engorge si les dbits
complets liquide dpassent un certain seuil, la vapeur montant par la diffrence de pression
et ne s'opposant pas la rduction du volume qu'elle occupe. On peut ajuster des
paramtres de l'hydrodynamique pour que cela se produise dans le modle un dbit
correspondant la ralit.
La sparation des constituants se dgrade si les rtentions liquide augmentent trop,
ainsi que prs des conditions thermodynamiques critiques. On cherche viter ces cas sur
la colonne relle, et l'quation (3.14) reprsente correctement la colonne en fonctionnement
normal.

3.1.8

Exemple de modle hydrodynamique.

Un modle hydrodynamique simple avec une colonne plateaux est l'imitation sur les
tages idaux du comportement hydrodynamique des plateaux de la colonne relle. Le
liquide circule en travers des plateaux. Il est retenu une certaine hauteur par un bord
et se dverse par gravit jusqu'au plateau infrieur en passant par un dversoir. La
vapeur monte par diffrence de pression travers des trous ou des clapets amnags dans
la surface active du plateau, la partie qui n'est ni couverte par le dversoir du plateau
suprieur ni laisse ouverte pour le dversoir jusqu'au plateau infrieur.
Dans le modle, les phases ont des surfaces horizontales, une phase liquide sur le
plateau et une dans le dversoir, la vapeur occupant le reste du volume. La rtention
liquide est dtermine par le volume en rtention sur la surface active et dans le dversoir,
plus la hauteur due au dversement du liquide, moins le volume des bulles de gaz qui
montent travers le liquide.
Les notations relatives la gomtrie de l'tage sont donnes sur la figure 3.1. Les
diffrentes pressions sont celles cres par le poids de la matire, la hauteur ( [ml multiplie par: gp [kg/m 2 /s 2], avec l'acclration de la pesanteur g [mis 2] et la masse

3.1.

21

Un modle complet .

'1'......,'.'...... ' !i......_

.... '.'.....~, .1..........

....- - - - - - - - - - - zsta g{'

Figure 3.1: Notations du modle hydrodynamique (les hauteurs ( apparaissent comme

des Z). Le schma est une coupe diamtrale reprsentant la dlimitation de l'tage, des
volumes des deux phases, l'emplacement des dbits, les positions de la surface active et
du dversoir, et la dfinition de diverses hauteurs.

Chap. 3.

22

Les modles.

volumique p = m/w [kg/m 3], et les pertes de charges, donnes par des corrlations. Les
pertes de charges sont proportionnelles au carr du dbit volumique, la hauteur dans la loi
de dversoir sa puissance 2/3 (exactement pour un dversoir de largeur infinie). [16,17]
La pression pp est place la sparation du liquide el de la vapeur sur le plateau.
Sur les trajets du liquide et de la vapeur entre les sparations des tages p et p + 1 ,
on trouve
tlP
tl P

=
=

((=ct

+ (~own - (P)gpV,P+ (Pgl'p - tlL,p + tlv,p + ((:i;.~c - (~~tl)g/,P+l

(~~tlgl,p+l

(~ctgl'p

(3.15)
(3.16)

Avec des constantes de corrlations). , les pertes de charge tlL,p au bas du dversoir
et tl V,p [Pa] dans les trous du plateau valent
tlL,p
tlv,p

).L(r L,p/ A L'P)2

).v(r V ,p+l / A v ,p)2/ ,p/ pL,p ,

la hauteur libre de liquide au-dessus du bord du plateau (loi de dversoir)

(trcc

).frec(r D,P/ A P) 2j 3

On trouve une hauteur de liquide sur le plateau, selon que le niveau du dversoir reste
sous celui sur le plateau ou le dpasse

avec le facteur d'aration dduisant la proportion des bulles de vapeur

Dans la suite, nous ngligeons la diffrence des masses volumiques entre deux tages,
ce qui nous facilitera l'interprtation des calculs: pL,p+l = pL,p et pV,p+! = pV,p Par
diffrence des deux relations, on tire

On trouve finalement les fonctions hydrodynamiques (3.14)

pp+!
OL,p
OV,p

pp

=
=

+ tlv,p + (:ctgl'p + ((clown -

(:~ngpV,p

(:ctA~ct + (PA~OWll
OP _ nL,p

Dans ce modle prcis, elles ne dpendent pas seulement de rL,p et de rV,p+l , mais ces
deux dbits ont la plus grande influence.

3.2.

23

L'index du modle complet.

Notations du modle hydrodynamique.

perte de charge du liquide sous le dversoir [Pa]
perte de charge de la vapeur au travers des trous du plateau [Pa]
dbit volumique [m 3 /s]
masse volumique [kg/rn 3 ]
volume [m 3]
hauteur de liquide dans le dversoir lm]
hauteur de liquide sur le plateau lm]
hauteur libre de liquide au-dessus du bord du plateau lm]
facteur d'aration - proportion de bulles
constantes
Aaet
Aclown

AL
AV
(stage
(clown
(plat

A
g
),L

),v
),

3.2

aire active - surface de rtention du plateau

section du dversoir
aire d'ouverture sous le dversoir
aire d'ouverture de l'ensemble des trous dans le plateau
hauteur de l'tage
hauteur du dversoir - gale (stage du plateau infrieur
hauteur du bord du plateau
largeur du bord du dversoir
acclration de la pesanteur [mIs 2 ]
coefficient de corrlation de DL
coefficient de corrlation de ~ v
coefficient de corrlation de f
exposant dans la corrlation de J
coefficient de corrlation de (free
grandeur liquide
grandeur vapeur

L'index du modle complet .

Notre modle s'exprime pour chaque tage dans l'espace (NP, UP, LV,VP,TP, pp,nL,p)
avec les quations diffrentielles en temps (3.2)

NP

UP

(U- 1 + VV+l)- (LP + VV)

(llL,p-I + HV,P+I)_ (HL,P + HV,P)

les quations algbriques (3.1), (3.10) et (3.14)

NP
UP
{tL(XP,TP, PP)
~(rL,p, rV,p+l)

RL,vXP + RV'pyv
filL'PUL(XP, TP,PP)
{tv(yP,'1'P,PP)
(DL,P,PP+l_PP)

+ fl v

,V

u v(y v, '1'P, PP)

Chap. 3.

24

Les modles.

Le systme a une forme plus complexe qu'un systme diffrentiel ordinaire parce qu'il
peut contenir indirectement des quations sur des drives des variables des ordres plus
levs que 1 Ceci se manifeste par des difficults numriques l'initialiser ou l'intgrer
[5,23,40,42] ou par le calcul de solutions errones. [38] L'index classe les systmes selon
l'ordre de drivation qui apparat sur les quations. Une dfinition gnrale pour les
systmes diffrentiels implicites existe dans le cadre de l'inversion des systmes dynamiques. [14, 15] Un systme d'index 1 est quivalent un systme diffrentiel ordinaire:
on peut substituer les quations algbriques dans les quations diffrentielles. La substitution retire le mme nombre d'quations et de variables, et le systme diffrentiel ordinaire
doit avoir autant d'quations que de variables: le modle sous forme algbro-diffrentielle
doit galement avoir le mme nombre d'quations et de variables.
Proposition 3.1 Le modle dynamique est d'index 1.
Preuve. Les quations diffrentielles sont dj explicites sur les variables drives. Le
systme est d'index 1 parce qu'on peut substituer les quations algbriques dans les
quations diffrentielles
- d'aprs le paragraphe 3.1.5, connaissant pour chaque tage les rtentions (NP, UP) ,
son volume n p, et les phases tant en quilibre, les quations (3.1) et (3.10) donnent
(NL,P, nL,p,NV'P,nv,p,TP, PP) par l'inversion (3.11) et donc les compositions (XP, YP) ;
- d'aprs le paragraphe 3.1.7, connaissant les (nL,p,pp+l - PP) (il n'yen a pas pour
l'tage de fond b), l'quation (3.14) donne pour chacun (fL,p,rV,p+I), ce qui donne les
(Lp, VP+I) , c'est--dire tous les dbits complets l'intrieur de la cascade d'tages;
-- les deux dbits complets de la cascade vers les ensembles ballon-changeur sont
dtermins chacun par une quation de pression, les dbits complets de recyclage des
ensembles ballon-changeur vers la cascade sont les commandes, les dbits complets de
soutirage des ballons sont dtermins par les rgulations de niveau des ballons; on connat
ainsi tous les dbits complets (lp, VP), et donc les dbits partiels d'aprs LP = L"XP et

VP=VPYP;
on connat ainsi tous les termes des bilans (3.2), ce qui dtermine les (NP, (;P): on
peut bien substituer les quations algbriques dans les quations dynamiques, ct le modle
est quivalent un systme diffrentiel ordinaire de dimension c + 1 par tage. 0
Les modles statiques prcis dans l'industrie tiennent compte de l'nergie des phases.
Si on calcule les phases dans un tage en fonction de l'nergie, il faut des quations
d'hydrodynamique pour reprsenter le fait que les rtentions compltes liquide sont dtermines par l'coulement dans l'tage. On impose alors le volume des tages et non la
pression, car les quations d'hydrodynamique donnent des relations sur les pressions dans
les tages. Les modles sont d'index 2 si on crit les bilans d'nergie mais pas d'quation
d'hydrodynamique. [41]

3.3

Identification et calage.

L'identification du modle est assez simple. On ne mesure presque rien directement

sur une colonne de distillation industrielle: quelques dbits entrant ou sortant avec une

3.4.

Un modle en compositions.

25

prcision de plusieurs pourccnts, l'intgrale en temps de leur bilan divergeant en gnral,

quelques pressions, quelques tempratures, parfois la composition de certains soutirages,
chantillonne avec des chromatographes.
On identifie le modle d'une colonne un rgime stationnaire, en essayant divers
nombres d'tages dans la cascade (et ventuellement des paramtres d'interaction dans
les fonctions thermodynamiques). On choisit le nombre d'tages dans chaque section de
manire ce qu'une fraction dans chaque soutirage corresponde celle de la colonne relle.
Le paramtre est discret, mais donne un ajustement suffisamment prcis pour les
grandes colonnes. Le choix du nombre d'tages n'affecte pas la circulation des constituants
trs lgers ou trs lourds, qui circulent de toute faon entirement vers le soutirage de tte
ou vers celui du fond. Il est valable en pratique sur le domaine de dbits et de compositions
d'alimentation susceptible d'tre rencontr. La correspondance entre le modle et la
colonne est peu prs uniforme en pratique pour les colonnes d'hydrocarbures: le milieu
d'une section du modle par exemple correspond au milieu de la section de la colonne
relle.
On ne cherche pas identifier la dynamique des dbits volumiques. Elle pourrait tre
mesure dans la colonne relle: les dbits de recyclage sont des commandes, et les dbits
aux extrmits de la cascade sont relis la rtention liquide du ballon de fond ou la
pression en tte, mais elle est plus rapide que celle des compositions (sauf l'engorgement).
Ceci est prvu ds la construction de la colonne, parce qu'on a besoin de cette dynamique
rapide pour pouvoir rguler les compositions avec les dbits de recyclage.

3.4

Un modle en compositions.

Le modle complet sons forme algbro-diffrentielle est trop compliqu pour tre tudi
formellement. En simplifiant les fonctions d'hydrodynamique, nous construisons un modle pour un nombre quelconque de constituants qui s'crit sous forme diffrentielle ordinaire. Ce modle est plus maniable, et nous permettra d'tablir des proprits des rgimes
stationnaires au chapitre 4.
On formule classiquement la stabilisation hydrodynamique en prenant les rtentions
liquide compltes NL et les pressions P constants, et en remplaant les bilans d'nergie
par le fait que les dbits complets L et V'" sont uniformes. Le modle rsultant de cette
approximation dpend de l'unit de matire: les compositions ne sont pas les mmes selon
qu'on choisit par exemple les dbits complets molaires ou les dbits complets massiques
constants. Nous donnons au paragraphe A.5 une formulation de cette approximation plus
prcise pour les calculs numriques.
La somme des bilans des diffrents constituants sur un tage p donne alors

(3.17)
La rtention complte a une drive constante, et donc nulle puisque le modle doit se
stabiliser. Autrement dit, les rtentions compltes fi sont constantes galement, ainsi
que les rtentions compltes vapeur NV = fi - NL

Chap. 3.

26

Les modles.

_RH-R

P
-R
V

-R
L

-;H
LR

-R
V

-:;

Figure 3.2: Notations du modle en compositions. Les flches paisses sont les dbits,
celles en pointills les rgulations de base de la colonne.

3.5. Rappel des notations.

27

Les bilans (3.2) s'crivent sur les compositions des rtentions totales Z

Les quations (3.1) et (3.10) se rsolvent en (3.13) sur les tages t.. El de la cascade, ce qui
dfinit des fonctions xP: ZP f-t XP et 'OP : ZP f-t YP Les ensembles ballon-changeur
ne changent pas la composition du dbit qui les traverse. Nous crivons le systme sous
la forme diffrentielle ordinaire avec des bilans (voir la figure 3.2)

v!ltyt(zt) _ L'J{Z' _ (ii'J{_ L'J{)z,

(L'J{Z' + V'J{'O H 1(Zt+l)) _ (L'J{xt(Zt)+ V'J{'Ot(zt))

NbZb
Flqzq
L6
V'J{

(3.18)

(L6 xb-1(Zb-l) + V 6 zq) _ (L 6 xb(Zb) + V6 'Ob(Zb))

V 6 xb(Zb) - V 6 zq

LfJl+pL
V6 + pv

Les termes pL et pv sont les dbits liquide et vapeur de l'alimentation, si l'alimentation

est une nergie d'quilibre (les deux dernires quations changent si ce n'est pas le cas).
Le modle (2.1) du chapitre 2 en est un cas particulier avec un mlange binaire et
en ngligeant les rtentions vapeur. Les quations de (2.1) sont crites avec la fraction
du constituant lger. Les notations de (2.1) correspondent Flv = 0 et Z = X , la
fonction k correspond y
Nous tudions le modle (3.18) au chapitre suivant.

3.5
N
U

n
L

V
X

y
Z

Rappel des notations.

nombre de constituants
rtention totale de matire (vecteur, par constituant) [mol]
rtention totale d'nergie [J]
volume dans l'tage [m 3 ]
dbit liquide quittant l'tage (vecteur, par constituant) [mol/s]
dbit vapeur quittant l'tage (vecteur, par constituant) [mol/s]
composition liquide (vecteur, par constituant) [adimensionnel]
composition vapeur (vecteur, par constituant) [adimensionnel]
composition (vecteur, par constituant) [adirnensionnel]

28

T
P
J.1

r
H

~
.L

Chap. 3.

Les modles.

temprature commune des phases [K]

pression commune des phases [Pa]
potentiels chimiques (vecteur, par constituant) [adimensionnel]
dbit volumique quittant l'tage [rn 3 Is]
dbit d'enthalpie quittant l'tage [W]
nergie interne par unit de matire [J/mol]
enthalpie par unit de matire [JImol]
volume par unit de matire [m 3 Imol]
fonction hydrodynamique
grandeur liquide
grandeur vapeur
grandeur complte (somme des termes partiels)

Chapitre 4
tude des rgimes stationnaires du
modle multiconstituants.
Nous tudions ici le modle de colonne dbits uniformes (3.18) avec un mlange avec
plus de deux constituants.
V~yt(zt) - L~zc
(L~ZC

Jlbzb
Jlqzq

(V~

+ V~yt+l(zt+l)) _

~)ZC
(L~i:t(zt)

(4.1)

+ V~yt(zt))

(L 6 i: b-1(Z b- l ) + y 6 Z q) _ (L 6 i:b(Z b) + V6 yb(Zb))

6 zq

V 6 i: b (Z b) -

Les dbits L~, L6, v~, V6 et F sont constants.

Les rsultats connus tels que l'unicit du point stationnaire et sa stabilit [45, 46]
portent sur un modle binaire. Nous avons rappel les dmonstrations au chapitre 2.
Elles reposent sur la caractrisation de l'quilibre thermodynamique par une fonction
croissante reliant la fraction de l'un des constituants dans les deux phases, dite fonction
d'quilibre.
On constate numriquement que beaucoup modles de colonnes d'hydrocarbures ont
un point stationnaire unique mme avec plus de deux constituants. Nous tudions cela
dans la suite du chapitre. L'unicit est une tape prliminaire l'tude de la stabilit
dynamique. Notre contribution se limite l'tude du point stationnaire. La stabilit reste
un problme ouvert.

30 Chap. 4.

4.1

tude des rgimes stationnaires du modle multiconstituants.

Position du problme.

Les quations du point stationnaire de (4.1) ont la mme forme que celles du modle
binaire (2.1) du chapitre 2, mais les compositions appartiennent un autre espace.
Les dmonstrations dans le cas binaire reposent sur la stricte croissance de la fonction
d'quilibre k La stricte croissance sert trois niveaux: la fonction est bijective, les
fonction composes et les barycentres coefficients positifs restent strictement croissants.
Nous cherchons tendre ces rsultats au cas plus de deux constituants. Nous
montrons que le point stationnaire de (4.1) est unique sous une hypothse sur la fonction
donnant la composition un tage en fonction de la composition au soutirage. Cette
hypothse est vrifie en pratique et nous la justifions dans le cas du modle volatilits
relatives constantes avec 3 constituants. Nous donnons galement une dmonstration de
l'inversion de la relation d'quilibre entre les compositions X et Y qui gnralise la
fonction Y = k(X) du cas binaire.

4.2

Les fonctions entre compositions.

A un tat d'quilibre, la volatilit du constituant a E C est le rapport Ya / X a

La sparation entre les constituants a et bEC est le rapport des volatilits, soit
(YaXb)/(YbX a) , qui est suprieur 1 si a est plus lger que b Pour de nombreux
mlanges, la volatilit a une limite finie strictement positive quand X a ou Ya tend
vers O. Pour les mlanges qui nous intressent en distillation, les sparations sont assez
proches de l, vu qu'il faut rpter l'quilibre thermodynamique sur de nombreux tages
pour obtenir une sparation importante: les volatilits sont assez proches et les constituants se trouvent en quantit comparable dans les deux phases. On peut construire les
modles avec un mlange contenant exactement un certain ensemble de constituants et
ngligeant les autres. Nous tudions ici quelles proprits ceci implique pour une relation
entre compositions.
Une composition Z est une suite des fractions (Za)aEC des constituants. Par
dfinition L:aEC Za = 1 , et, puisqu'une quantit de matire est toujours positive, pour
tout constituant a E C,
Za > 0 Les compositions voluent dans un simplexe, que
nous notons S( C)
Le simplexe S(C) est born, ouvert relativement l'hyperplan L:aEC Za = 1 de
E C , convexe et simplement connexe. Il est de dimension c - 1 - les (Za)aEC sont
des coordonnes barycentriques et ne peuvent pas servir de coordonnes euclidiennes.
Un choix de coordonnes simple est de prendre toutes les fractions sauf une: z =
(Za)aEC' ,Ol! C gale C moins un constituant
nous notons les coordonnes en gras.
Dans ces coordonnes, le simplexe S( C) est le domaine {z E E C ; pour a E C, z, >
0, et L:aEC' Za < 1}
Dfinition 4.1 Nous appelons sous-simplexe de S(C) tout simplexe S(c)
partie c stricte non vide de C

pour une

Les sommets du simplexe correspondent aux compositions pour un constituant pur: nous
notons par exemple (a) le sommet pour le constituant a pur: Za = 1 et les autres Zb

4.2.

Les fonctions entre compositions.

31

sont nuls. Le point (a) est aussi le sous-simplexe S( {a}) pour le seul constituant a E C
Le bord aS(C) correspond aux compositions telles que certaines fractions sont nulles:
il est la runion de tous les sous-simplexes de S(C) Le simplexe ferm; c'est--dire y
compris le bord, est not S(C)
Limiter un mlange un ensemble dtermin de constituants signifie qu'on peut
ngliger dans le mlange rel l'effet de tous les autres constituants, qui s'y trouvent de
toute faon, mme si c'est en quantit infime: un simplexe 8(C) peut toujours tre vu
comme le sous-simplexe d'un ensemble de constituants plus grand. Cela signifie qu'on
doit supposer que les potentiels chimiques Il sont Cl dans le domaine d'existence de
chaque phase jusqu'au bord du simplexe.
Nous rassemblons la proprit sur la prsence simultane des constituants dans les
deux phases et celle sur la drivabilit dans la dfinition suivante.
Dfinition 4.2 Nous appelons fonction simplexe-relative dc classe C k une fonction
dfinie du simplexe ouvert dans lui-mme et de chaque sous-simplexe dans lui-mme, qui
est C k sur le simplexe ferm.
Une fonction est c- sur un ferm si elle est prolongeable en une fonction o- sur un
voisinage du ferm. Les fonctions qu'on rencontre en thermodynamique sont dfinies en
pratique sur les fractions (Za)aEC, c'est--dire sur un domaine de R C Il suffit de vrifier
qu'elles appliquent chaque fraction nulle sur la fraction nulle pour le mme constituant,
et qu'elles sont prolongeables avec la mme classe c- un voisinage de S(C) dans R C ,
c'est--dire pour L:aEC Z; lgrement diffrent de 1 et pour des fractions lgrement
ngatives.
La compose de fonctions simplexe-relatives, le barycentre coefficients positifs de
fonctions simplexe-relatives et l'inverse d'une bijection simplexe-relative sont simplexerelatifs. Nous construisons dans la suite des fonctions simplexe-relatives comme composes
et barycentres de fonctions d'quilibre thermodynamique et de l'identit. Une fonction d'quilibre X ....... Y ou Y ....... X pour un mlange d 'hydrocarbures est simplexerelative Cl : elle est construite par inversion de l'quation d'quilibre (3.10) o les potentiels chimiques Il sont Cl , ce qui fait qu'elle est Cl l'intrieur du simplexe; l'hypothse
que les volatilits ont une limite [mie strictement positive quand les fractions tendent
vers 0 fait que la fonction d'quilibre applique chaque sous-simplexe sur lui-mme et
qu'elle est Cl jusqu'au bord du simplexe.
La notion de fonction simplexe-relative gnralise la description des mlanges binaires:
le simplexe est alors un segment, identifi JO,I[ par le choix de la coordonne comme la
fraction de l'un des constituants. Les constituants purs correspondent aux coordonnes
o et 1, et une fonction 1 est simplexe-relative si elle est dfinie de [O,IJ vers lui-mme
de telle sorte que 1(0) = 0 et 1(1) = 1
Dans la suite, nous supposons que l'quilibre thermodynamique existe pour toutes les
compositions la pression donne, et qu'il dfinit un diffomorphisme entre X et Y
dans le simplexe. Nous crivons Y = y(X) et X = x(Y) en sous-entendant toujours la
pression de l'tage, les fonctions x et y tant simplexe-relatives. Nous donnons au paragraphe 4.6 une dmonstration sous des hypothses qui s'appliquent aux hydrocarbures.

32 Chap. 4.

4.3

tude des rgimes stationnaires du modle multiconstituants.

Le point stationnaire.

Proposition 4.1 Si l'quilibre est simplexe-relatif, le modle dynamique de colonne (4.1)

possde un point stationnaire.
Nous appliquons le thorme du point fixe de Brouwer au champ engendr par (4.1). Le
champ est dfini sur S(C)P, o p est le nombre d'tages. Il suffit de montrer qu'il est
rentrant sur le bord de S(C)P
Nous supposons que les fonctions :;P et yI' sont simplexe-relatives. Si NP se trouve
sur le bord de S(C) , il se trouve sur un sous-simplexe S(c) pour c une partie stricte
non vide de C; :;p(Np) et yP(Np) s'y trouvent galement. Dans ce cas, le champ d'un
tage intermdiaire peut tre rcrit

(L:;p-l(ZP-l) + yyp+l(ZP+l)) - (Lxp(Zp) + ifyp(Zp))

L(:;p-l(NP-l) - :;P(Np)) + y(YP+l(NP+l) - yp(Np))
qui est une somme de produits d'un facteur positif et d'un vecteur rentrant. En tenant
compte de P = LrR+ y 6 - L6 - ifrR, le champ de l'tage d'alimentation

(LrR:;f-1(Zf-1) + y6 yf+l (Zf+1)) _ (L6:;f(Zf) + yrRyf(Zf)) + FZF

LrR(:;f-1(Zf-1) - :;f(Zf)) + if 6(Yf+1(Zf+1) _yf(Zf))

+ (L6

_ LrR)(ZF _ :;f(Zf)) + (ilrR_ Y6)(ZF _ yf(Zf))

s'crit sous la mme forme de somme de vecteurs rentrants.

La composante du champ est rentrante sur le simplexe S(C) de chaque tage, donc
aussi sur S(C)P 0
Les variables X et Y sont plus commodes pour tudier le point stationnaire puisque
les rtentions des tages font intervenir inutilement les rtentions compltes des phases.
Sur la cascade du ballon-condenseur t au ballon-rebouilleur b, les bilans statiques
s'crivent

yrRyt_ ifrRzc
LrRzc+ ifrRyt+l _ LrRX t

(4.2)
_

L 6x b-1 + if 6zq _ L6xb _

y 6 X b _ y 6 zq
YI'

yP(X P)

PE

[b, t]

yrRyt

y6 y

4.3.

33

Le point stationnaire.
b

On trouve Z' = yt ct zq = X
En sommant les bilans dans chaque section
successivement partir de l'extrmit, le systme se simplifie en

(4.3)

L6 X

yP(X P)

"6yP

PE

lb, f[

pE [b,t]

(4.4)

x p- 1

(1 -

6
1

yP(X P)

yP

)X " + r 6 yP(X P)
P E lb,t]

p E

lb, f[

Avec les fonctions dfinies par

:=:p-I
TP+!

=
=

(1 - 1'6)1 + r 6 yP0 :=:P

:=:" = 1
0 TP
, Tt = 1

(4.5)

(1 - r'Jt)1 + r'JtxP

1 tant l'identit, le systme se rsume

Tl(yt)
ZF

=
=

yl(:=:f(X"))
((V~ - L'Jt)yt

(4.6)

+ (Vs - V 6 )X ") 1F

Les fonctions :=: et T sont simplexe-relatives et continment drivables: :=:p-l est un barycentre de l'identit et de la compose yPo:=:P ,qui sont simplexe-relatives et continment
drivables par itration, :=:" tant l'identit -- la mme chose vaut pour les T
Thorme 4.1 Si l'quilibre est simplexe-relatif ct si les fonctions :=:P et TP ont des
jacobiens valeurs propres distinctes en tout point du simplexe, elles sont inversibles. Si
les fonctions (TP)-l 0 yPo:=:P ont galement des jacobiens valeurs propres distinctes en
tout point, la solution du modle statique (4.2) est unique.
Preuve. Nous montrons que toutes les compositions sont relies la composition de
l'alimentation par des diffomorphismes, c'est--dire des bijections diffrentiables d'inverse
diffrentiable.
Lemme 4.1 Aux sommets du simplexe, le jacobien d'une fonction simplexe-relative continment drivable est diagonalisable dans R de valeurs propres positives.

34 Chap. 4. tude des rgimes stationnaires du modle multiconstituants.

Soit f une fonction simplexe-relative dont nous voulons calculer le jacobien au sommet (a) La restriction de f au segment [(a),(b)] pour un autre constituant bE C-{a}
est une fonction de de [(a), (b)] dans lui-mme qui laisse (a) et (b) invariants. Autrement dit, le jacobien V f((a)) a les c - 1 vecteurs propres (b) - (a), bEC - {a}
La valeur propre associe [(a), (b)] se calcule comme la drive de la restriction de f
[(a), (b)] , qui peut tre vue comme une fonction d'une variable relle, en identifiant
[(a), (b)] au segment rel [0,1] La valeur propre en (a) est positive parce que [(a), (b)]
est appliqu dans lui-mme. 0
Montrons par itration que les 3 P sont des diffomorphismes. 3 b est l'identit.
Supposons que 3 P est un diffomorphisme. La fonction yP o3 P est un diffomorphisme
comme compose de deux diffomorphismes; le dterminant de son jacobien ne s'annule
donc pas. Comme yP o3 P = (3 P - 1 - (1 - r 6)I)/r 6 , les valeurs propres du jacobien de
yP 0 3 P sont galement distinctes. Elles sont partout relles puisqu'elles sont relles aux
sommets: il devrait yen avoir deux relles gales s'il y en avait des complexes conjugues
l'intrieur du simplexe. Elles sont partout relles strictement positives puisqu'elles
sont relles positives aux sommets et puisque le dterminant du jacobien ne s'annule
pas. Le jacobien de 3 P - 1 a donc aussi des valeurs propres relles strictement positives,
et c'est un diffomorphisme d'aprs le thorme A.2. Par itration, les 3 P sont des
di ffomorphismes.
Le mme raisonnement permet de montrer que les fonctions TP sont des diffomorphismes. Le systme (4.6) peut s'crire

La fonction (TItI oyf 03 f est un diffomorphisme comme compose de diffomorphismes.

Si les valeurs propres de son jacobien sont partout distinctes, elles sont strictement positives d'aprs le mme raisonnement que pour les 3 P Les valeurs propres du jacobien
de X b f-t ZF sont strictement positives aussi, et cette fonction est un diffomorphisme
d'aprs le thorme A.2.
On a ainsi les diffomorphismes

Toutes les compositions de la colonne sont relies la composition d'alimentation par des
diffomorphismes. 0
L'hypothse que les valeurs propres des jacobiens sont distinctes se rattache au fait
que les volatilits relatives des mlanges tels que les mlanges d'hydrocarbures varient peu
avec la composition, en particulier que les constituants se rangent toujours dans le mme
ordre du lourd au lger. On constate en pratique qu'elle est vrifie avec des modles
thermodynamiques de mlanges d'hydrocarbures: les rapports entre les valeurs propres
des jacobiens des 3 P et des TP augmentent quand p s'carte de l'extrmit b ou t
Nous illustrons cela en calculant les jacobiens des diffrentes fonctions aux sommets du
simplexe et en donnant un exemple au paragraphe 4.5 dans le cas des volatilits relatives
constantes.

35

4.4. Jacobiens aux sommets du simplexe.

4.4

Jacobiens aux sommets du simplexe.

Pour calculer la valeur propre de ZF f-+ X' au sommet a associe [(a), (b)J, nous
ngligeons la dpendance de la fonction d'quilibre y en fonction de la pression: les
formules seront plus simples interprter si la fonction y est la mme sur tous les tages.
Nous identifions tour de rle les artes [(a), (b)] (b =1 a) [0,1] Nous notons la
drive sur [0,1] par un prime.
Nous notons k(b) = y'(O) la valeur propre de Vy en (a) associe [(a), (b)] En
drivant (4.5) au point 0 (le sommet a), il vient

::::P-l,(O) = (1- riS) + riSk(b)::::P'(O)

On trouve par itration
::::f'(O)

= (riSk(b)H+ (r 6 k(b)' - f-1(1 - r 6 ) + ... + (r 6 k(b)(1 - riS) + (1- riS)

La fonction

est strictement croissante. Les valeurs propres de V::::f un sommet du simplexe se

classent dans le mme ordre que celles de Vy - si la valeur propre de Vy associe
[(a), (b)J est suprieure celle associe [(a), (c)J ,il en est de mme pour celles de V::::f
Un calcul similaire montre que les valeurs propres de vr: un sommet du simplexe
se calculent par la fonction

qui est strictement dcroissante: les valeurs propres se classent dans l'ordre inverse de
celles de Vy
Sur l'arte [(a),(b)J identifie [0,1], on calcule

dZ F

dX' (0)

(V

-!ll

-!ll dyt
-15
- iS )
- L ) dXb (0) + (L - V )

1 (

(-!ll

-!ll dyt
dyf
dXf
- L ) dYf(O) dXf(O) dXb(O)

(V

~ ((tl!ll _ L!ll)kJ{6/ J{!ll

+ (L 6 _

yS))

-6

+ (L

-iS)

- V )

qui est une fonction strictement croissante de k Aux sommets du simplexe, les valeurs propres du jacobien de X' f-+ ZF' se classent comme celles du jacobien de y; en
particulier, elles sont distinctes si celles du jacobien de y le sont.

4.5

Avec les volatilits relatives constantes.

Proposition 4.2 Si les volatilits relatives

~a~

l'quilibre pour a, bEC sont

indpendantes des compositions, le jacobien dy / dx est diagonalisable valeurs propres

relles positives distinctes.

36 Chap. 4.

tude des rgimes stationnaires du modle multiconstituants.

La dmonstration est rappele au paragraphe A.4.

On observe numriquement que les jacobiens des fonctions :::: et T sont galement
diagonalisables de spectre strictement positif. C'est vrai en particulier si les x P et les yP
ont les volatilits relatives constantes quand le ratio T' = 1: 3 P est la compose des
yq, q = b .. p - 1 et vrifie

x:X:

X~Xr =

y~qX:

qJ!-, xn-;,q

Ces expressions ne dpendent pas de la composition par hypothse, ce qui fait que le
jacobien dx" 1dx! a la mme forme que les jacobiens dy? 1dx? et a donc aussi un
spectre rel strictement positif. Cette proprit reste vraie pour un ratio suffisamment
proche de 1
On sait que 3 P est inversible quand les volatilits des constituants sont les mmes sur
tous les tages. [8] Nous montrons cette proprit sur un mlange 3 constituants quand
les fonctions yP ont seulement les volatilits relatives constantes classes dans le mme
ordre sur tous les tages.
Proposition 4.3 Avec des quilibres volatilits relaiioes constantes sur un mlange
trois constituants classs dans le mme ordre de volatilits SUT' tous les tages, la fonction 3 P est bijective.
Preuve. Nous reprsentons le mlange avec les 3 constituants numrots D.. 2 dans
l'ordre croissant de leur volatilit (relle positive): les volatilits se classent a~ < ai < a~
sur tous les tages p Dans le simplexe S({D, 1,2}) = {x E R2,xJ,X2 > D,Xl +X2 < I},
la fonction d'quilibre s'exprime

et son jacobien vaut

o Di,) vaut 1 si i = j et D sinon. Comme 0 < Yi < 1 et a~ > a~ , les termes

diagonaux sont positifs, les autres ngatifs.
Nous montrons maintenant par itration sur p que le jacobien de 3 P a un dterminant
positif en tout point. Le quadrant C = {u E E, UI :::: 0, U2 ::; O} est. stable par la
multiplication par VyP, VII que
VyP(x)U

i[afu'-Y'L)(a~-ab)U)L
1 [ aiul - YI((ai - a~)ui + (a~ - ab)u2)
a~u2 - Y2((ai - ag)uI + (a~ - ab)u2)

1 [ (ai(1- Yi) + abYI)UI - YI(a~ - a[;)U2

(a~(1- Y2) + a~Y2)U2 - Y2(ai - a(;)uI

qui appartient visiblement au mme quadrant C si u s'y trouve.

4.5.

37

Avec les volatilits relatives constantes.

u'l,p+l

Figure 4.1: Le calcul itratif du jacobien de 3 P

A vec les vecteurs u 1 = [ ~ 1 ] et u 2 = [ 1 ] de C, nous formons une base
0
(u", u 2) de l'espace tangent au simplexe. Nous notons ua,p = V3 P(xb)u a , pour a = 1,2;

ua"

= V3 bu a = ua E C;

det.u", u 2) =

~1

la

sur p que ul,p, u 2 ,p E C et que det(ul,P, u 2 ,P ) >

En drivant (4.5), il vient

=1

Nous montrons par itration

a
(4.7)

o ][est la matrice identit de dimension 2, soit

(4.8)
Le quadrant C est stable par VyP, donc VyP(xP)ua,P E C, et Ua,p+l appartient C
comme barycentre coefficients positifs de vecteurs de C D'autre part,

[~! ~~

u~ ~

Puisque VyP(xP)ua,P E C, VyP(xP)[ul,P u 2,P] s'crit

avec
0 et
u~ ~ 0 , on trouve que det(ul,p+l, U2,p+l) = 1"PU~1"PU~ - (1"PU~ - (1 - rP))(rP11i + (1-1"P)) >
2,P])
2,P)
P)
u~u~ - u~u; = dct(VyP(xP)[ul,P u
= det VyP(x det(ul,P, u
>0
Finalement, comme

on trouve que det V3 P(x") ~ 0 pour toute composition. 0

L'hypothse que al < a2 n'intervient pas directement dans la dmonstration, mais le
fait que al # a2 implique que les vecteurs propres v se placent dans les bons cadrans.

38 Chap. 4.

tude des rgimes stationnaires du modle multiconstituants.

La figure 4.1 montre les calculs dans le plan. Les vecteurs propres de 'Vy sont VI
et V2 Les vecteurs u' et u 2 se trouvent sur le bord de C, u' gauche de u 2 vu de
l'origine. A l'tape p, ul,p et u 2 ,p se trouvent dans C, ul,p gauche de u 2,p Comme
C est stable par \ly et comme le jacobien \lyP a un dterminant positif, \lypul,P et
'Vypu2,P restent dans C, 'Vypul,P gauche de \ly pu 2,P Les vecteurs U1,p+1 et u 2 p+l
sont les barycentres avec u! et u 2 , et se trouvent galement dans C, Ul,p+l gauche
de U 2 ,p+l

4.6

L'inversion de l'quilibre thermodynamique.

Dans un modle de colonne tel que (4.1), la temprature des tages n'intervient que dans
les quilibres thermodynamiques. Comme les pressions sont constantes, il est intressant
d'crire l'quilibre isobare sur chaque tage en ne considrant que la projection sur
l'espace (X, Y) de l'intersection de la varit d'quilibre et du plan P = Cste
Cette
projection a la mme dimension c - 1 que les espaces X et Y et dfinit une relation
entre les compositions liquide X et Y
On constate en pratique que cette relation
entre les compositions X et Y est bijective sauf prs des conditions thermodynamiques
critiques.
C'est une proprit connue pour les mlanges binaires: quand on exprime la composition par la fraction d'un des constituants, la relation isobare entre x et y est strictement
croissante sous l'hypothse que les enthalpies partielles de vaporisation des deux constituants sont positives, [36] qui est vrifie en principe, sauf prs des conditions critiques.
Sous des hypothses thermodynamiques qui s'appliquent aux mlanges d'hydrocarbures,
nous montrons que la relation d'quilibre est bijective, c'est--dire qu'on peut crire une
fonction k: X f-4 Y COITlme en binaire.
Thorme 4.2 Si l'quilibre liquide-vapeur isobare est. sitrunexe-reuu.u Cl , et si le jacobien dy / dx a toutes ses valeurs propres relles
positives, la relation entre
les compositions X et Y est un diffomorphisme.
Preuve. Imaginons l'exprience d'tudier l'quilibre du mlange la pression donne
constante en faisant varier la rtention totale N et en maintenant la partie vaporise en
permanence la moiti: JfL = Jfv= Jf/2 Pour chaque rtention N, cela dtermine
le volume et l'nergie. En notant Z , X et Y les compositions de la rtention N, du
liquide et de la vapeur, l'quilibre dfinit une fonction
S -+ S2

f-4

(X, Y)

telle que 2Z = X + y
Nous supposons que les fonctions Z >-+ X et Z >-+ Y sont
simplexe-relatives et Cl
Si dy/ dx a ses valeurs propres relles strictement positives, dz/ dx = (1+ dy/ dx)/2
(][ est la matrice identit de dimension c - 1 ) a la mme proprit, et la jacobienne
det( dz/ dx) est suprieure 0 La jacobienne det( x] dz) est donc aussi positive, et,
d'aprs le thorme A.2 du paragraphe A.3, la relation entre Z et X est un diffomorphisme. Par symtrie, on a donc les diffomorphismes X <-------> Z <-------> Y 0

4.6.

L'inversion de l'quilibre thermodynamique.

39

Nous avons besoin de la dfinition de l'enthalpie partielle de vaporisation pour relier

le thorme 4.2 l'quilibre des mlanges d'hydrocarbures. Pour un mlange en quilibre
liquide-vapeur, l'enthalpie partielle de vaporisation du constituant a E C est h~v =
hV _ hL
a Pour les mlanges d'hydrocarbures sous phase liquide ou vapeur, on constate en pratique que les enthalpies partielles ha ne dpendent presque pas de la composition Z
Autrement dit, en notant Z.a la composition telle que la fraction de a soit gale 1
et toutes les autres nulle, on a en bonne approximation ha(Z,T,P) = ha(Z.a,T,P) =
h.a(T, P) [48J En gnie chimique, on ne distingue habituellement pas l'enthalpie h. a
(3.7) du constituant a de son enthalpie partielle ha (3.6).
Les enthalpies partielles de vaporisation sont positives loin des conditions thermodynamiques critiques. Comme h~ et h~ dpendent peu de la composition de leur phase,
il en est de mme pour h~v sur la varit d'quilibre. On constate en pratique que la
dpendance en temprature est faible loin des conditions critiques.
Thorme 4.3 Si l'quilibre liquide-vapeur isobare est simplexe-relatif Cl , et si les enthalpies partielles de vaporisation des constituants sont positives constantes, la relation
entre les compositions liquide et vapeur est un diffomorphisme.
Notons h~v l'enthalpie partielle de vaporisation du constituant a, que nous supposons
indpendante de la composition. Changeons pour les coordonnes de matire

Ce changement de coordonnes conserve la convexit de l'nergie [29J et conserve donc

toutes les proprits des fonctions thermodynamiques dfinies comme drives de l'nergie.
Il induit le changement sur les coordonnes barycentriques

qui s'inverse avec la mme formule applique Z avec les l/h~v

Par construction, les enthalpies partielles de vaporisation dans les nouvelles coordonnes de matire sont toutes gales:

Le jacobien dy/ dx a ses valeurs propres relles strictement positives d'aprs le thorme A.3 rappel au paragraphe A.3, [l1J et le thorme 4.2 s'applique aux compositions
liquide et vapeur X et Y On a ainsi les diffomorphismes X f-----+ X
Y f-----+ Y 0
La dmonstration s'applique aussi quand les enthalpies partielles de vaporisation ne
sont pas rigoureusement constantes, parce que le jacobien dy / dx du thorme A.3
reste valeurs propres strictement positives aprs une perturbation, et la jacobienne
det( dz/ dx) du thorme 4.2 reste strictement positive.
Si on ne peut pas ngliger la dpendance des enthalpies partielles de vaporisation en
temprature, on peut ventuellement appliquer le thorme A.3 avec un autre changement

40 Chap. 4.

tude des rgimes stationnaires du modle multiconstituants.

de coordonnes de matire, qui rende les enthalpies partielles de vaporisation proches

en tout point sans tre proches de 1: si par exemple, elles sont proches pour tous
les constituants sauf un pour lequel elle est toujours double, il suffit de multiplier sa
coordonne de matire par deux pour les rendre toutes proches.

Chapitre 5
La commande par agrgation.
L'agrgation consiste isoler une partie lente dans le modle en crivant les bilans de
manire faire apparatre des rtentions moyennes. Nous prsentons ici seulement la
mthode en mettant sous la forme avec varit-centre un modle rtentions et dbits
complets constants. On trouve dans [33] une prsentation rigoureuse o un modle binaire
est mis sous la forme deux chelles de temps, [31, 37] avec une dmonstration de la
stabilit du systme agrg pour une colonne binaire.
Nous agrgeons le modle de colonne avec rtentions et dbits constants (3.18). Pour
la commodit de l'expos, nous prenons la mme rtention totale complte N pour tous
les tages. Il n'y a pas de partie lente crite directement sur le modle, mais nous pouvons
en mettre une en vidence en sparant la colonne en compartiments o nous reportons
les rtentions sur un tage unique. Les bilans sur un compartiment des tages de m n
s'crivent sous la forme

NZP

L;P-l(Zp-l) + VyP+l(ZP+l)
- L;P(ZP) - VyP(ZP)

(5.1)

[p = m.. n]

Les bilans ont une forme ressemblant un intgrateur, o les rapports NIL et N IV
sont des constantes de temps.
Pour faire apparatre une partie lente, nous transformons le systme de telle sorte
qu'il s'crive comme s'il tait proche d'un systme o la rtention est concentre sur
un seul tage. Nous notons N = (n - m + l)N la rtention de tout le compartiment,
e = 11 (n - m + 1) et rcrivons le systme comme

(1 - (n - m))NZ

L;P-l(Zp-l) + VyP+l(ZP+l)
- Li;p(ZP)- V'YP(ZP)
LxO-1(ZO-1) + VyO+l(ZO+l)
- Li;O(ZO) - VyO(ZO)

(5.2)

[p = m . n,p

a]

Des plus petits reviennent un systme o la rtention est plus concentre sur l'tage
d'agrgation. Diminuer e acclre la dynamique sur les tages, sauf sur l'tage d'agrgation, o la rtention augmente alors, ce qui ralentit lgrement sa dynamique. Pour
examiner le comportement avec e petit, nous changeons maintenant pour le temps lent

Chap. 5.

42

La commande par agrgation.

T = ct , o la dynamique de l'tage d'agrgation ralentit, sans que celle des autres tages
change: cela nous donne une partie lente dans le systme. Sous forme explicite, on a

~ (UP-I(ZP-I) + VyP+I(ZP+I)

(5.3)

- LxP(ZP)- VyP(zP))
(1 _

(n~ m)6)N

(UO-I(Za-l)

[p = m .. n,p

i- c]

+ VyO+I(ZO+I)

- LxO(Z) _ VyO(ZO))
En temps lent, la drive

dl dr

tant note par un prime,

(LxP-1(ZP-I)

+ Vyp+l(Zp+I)

(5.4)

- UP(ZP) - VyP(ZP))
6_

Z'

(1- (n

m)6)

(U-l(Za-l)

[p = m.. n,p

i- u]

+ VYO+I(Z+I)

- Lx(z) - VY(Z"))
Nous admettons que les jacobiens des systmes (5.1) et (5.4) ont des spectres partie
relle ngative aux points stationnaires - on constate numriquement que les modles de
colonne sont stables. En suivant la mthode de [10], nous faisons apparatre les valeurs
propres 0 dans le jacobien en plongeant le systme dans un espace des (zm, .. , zn, 6) ,
ce qui ajoute au systme une dimension pour chaque compartiment

(5.5)

(LxP-1(ZP-I)

+ VyP+I(ZP+I)

- LxP(ZP)- VyP(ZP))
6

zn'

(1- (n _ m})

(U-l(Za-l)

[p = m.. n,Ji i- u]

+ VYO+I(Z+I)

- U"(Z") - VY(Z"))
Au voisinage d'un tat constitu des ZP du point stationnaire et de 6 = 0 , les vecteurs
propres associs aux valeurs propres non nulles engendrent l'espace des (ZP)p=m ..n.p#.:
la varit-centre est (ZP)p=m ..n,#" = fonction(Z,6)
Le systme rejoint rapidement
cette varit parce que la dynamique des tages est exponentielle, part pour l'tage
d'agrgation o la dynamique est plus lente pour 6 = 0, vu que les valeurs propres sont
nulles.
Modulo des termes exponentiellement dcroissants, le systme volue sur la varitcentre. Son dveloppement l'ordre 0 correspond 6
0 et se dfinit par les bilans
statiques

(LxP-1(ZP-I)

+ VyP+I(ZP+I)

- UP(ZP) - VyP(ZP))

(5.6)

[p = m .. n,p

i- c],

5.1.

La commande.

43

avec une dynamique dfinie par les tages d'agrgation

Z'

(1- (:_ m)f)

(L.i;Q-l(Zo-l)

+ VyQ+I(ZQ+l)

(5.7)

- Lx"(ZQ) - VyQ(Z"))
En revenant au temps t, en prenant e = 11 (n - m + 1) , et en tenant compte des bilans
statiques de la varit-centre (5.6), on trouve la dynamique

NZ.

Lxm-1(zm-l) + vyn+I(zn+I)
- Lxn(zn) _ vym(zm)

(5.8)

L'agrgation revient reporter tous les termes de variation des tages du compartiment
sur l'tage d'agrgation: le compartiment agrg a la dynamique d'un bilan seul et la
sparation de l'ensemble de ses tages. Il rsulte un systme algbro-diffrentiel o seuls
les bilans des quelques tages d'agrgation sont crits en dynamique.
L'agrgation conserve la sparation statique du modle original, puisque les quations
statiques sont les mmes. On constate qu'elle conserve aussi l'index (le systme reste
quivalent un systme diffrentiel), la forme de cascade (la dynamique dans un compartiment ne dpend que des dbits entrant et des dbits complets), la stabilit. Nous
n'en avons de dmonstration que pour un modle de colonne binaire dbits complets
uniformes. [33]

5.1

La commande.

Si nous ne voulons rduire la dimension dynamique du modle que de peu, et si nous

agrgeons des compartiments de 3 tages par exemple, nous mettrons beaucoup de valeurs
propres zro dans (5.2), les autres seront loignes de zro, et la dynamique sera proche
du modle original.
Nous voulons ici utiliser le modle agrg pour la commande: nous choisissons de
grands compartiments pour obtenir un petit modle dynamique. Dans ces conditions,
nous obtenons un petit nombre de valeurs propres nulles par la transformation (5.2):
vu que les spectres des jacobiens de modle de colonne on beaucoup de valeurs propres
proches de zro, [46] il reste beaucoup d'autres valeurs propres proches de zro, et la
convergence vers la varit-centre n'est pas vraiment rapide. Un tel modle agrg ne
reproduit pas trs bien la dynamique du modle original - ou, dit autrement, le facteur
1/(n-m+1) devant le bilan de l'tage agrg de (5.2) n'est pas assez petit pour sparer les
valeurs propres de manire ce que certaines soient clairement petites devant les autres.
Un modle agrg en un seul compartiment ne peut pas bien reproduire la dynamique
du modle original: il se comporte comme un modle statique avec un retard d la
rtention de la colonne entire.
Une agrgation du modle en 3 compartiments de rectification, d'alimentation et
d'puisement pour la colonne et un compartiment pour chaque ensemble changeur-ballon
reproduit la dynamique du modle original d'assez prs et permet une commande robuste. [46] Nous continuons la discussion sur le modle binaire dbits uniformes de [33],
les rsultats n'ayant t tablis que pour cc type de modle. Comme Je mlange est binaire, les compositions sont la fraction d'un des constituants, et varient dans ]0,1[ Le

44

Chap. 5.

La commande par agrgation.

modle a la forme

x'

f'(x',xt, L'J!., Y'J!.)

J'(x',x',xf,L'J!., Y'J!.)
jf(x"xf,x,L'J!., Y'J!.,L6,y6,zF)
j'(xq,x',xf,L6, y6)

(5.9)

r(x\x',L6, V6)
L'J!.+pL
y6+PV
avec les notations c, r, f, S et q pour les compartiments de l'ensemble ballon-condenseur,
de rectification, d'alimentation, d'puisement, et de l'ensemble ballon-rebouilleur. zF est
la composition de l'alimentation, pL et pv sont les parties liquide et vapeur du dbit
d'alimentation-les deux dernires quations sont des exemples, et doivent tre adaptes
si certains dbits ne sont pas une nergie d'quilibre.
Comme pour le modle de colonne original, les entres sont les dbits de recyclage L'J!.
et V 6 , les sorties sont les fractions des soutirages x' et x q Le bouclage

f'(X',Xt,L'J!.,Y6+PV)

r(xq,x',V'~+FL,V6)

<p'(x',S')
<Pq(x\sq)

(5.10)

o S'et sq sont les entres du systme boucl (les consignes d'impuret), rejette les
perturbations en composition d'alimentation zF si les lois x' = <p'(x', S') et xq =
<Pq(x\ sq) sont choisies asymptotiquement stables. [26, 27]
Le bouclage fait intervenir les compositions aux soutirages x' et x q , qui peuvent tre
mesures sur une colonne relle par des chromatographes, et deux compositions de rectification x' et d'puisement x', qui peuvent tre mesures avec une temprature sur des
tages, et les parties liquide et vapeur du dbit d'alimentation pL et pv , qu'on peut estimer d'aprs sa temprature. La composition du compartiment autour de l'alimentation
n'intervient pas. C'est pourquoi nous commandons avec un modle agrg en 5 compartiments: des compartiments supplmentaires ne changeraient rien au bouclage.
On construit le modle agrg partir du modle dynamique complet avec comme seul
paramtrage le choix des compartiments. Pour la commande d'une colonne relle interviennent aussi les paramtres d'ajustement du modle, principalement le nombre d'tages,
identifi un rgime statique. Les compartiments d'puisement et de rectification doivent
aller jusqu' des tages o la mesure de temprature donne une indication significative
sur la composition.

5.2

La colonne simule.

Nous testons ici la commande par agrgation par des simulations sur le modle d'une
colonne particulire. Il s'agit d'une colonne pseudo-binaire trois sections, dont deux sections sont commandes: la configuration est plus complique que celles simules dans [46].
Nous dcrivons son fonctionnement, puis nous expliquons la mise en uvre du bouclage
de commande. La colonne relle n'est commande qu'au soutirage de rectification, mais

5.3.

Le bouclage.

45

les simulations permettent d'en commander deux, un pour chaque constituant-cl (cependant, comme le ratio d'puisement est grand, on ne peut pas baisser beaucoup l'impuret
d'puisement). Elles testent diverses perturbations et des changements de consigne. Le
modle de commande est construit directement en agrgeant le modle dynamique de la
colonne, ce qui fait que le bouclage calcule les points stationnaires de manire exacte. On
peut trouver des comparaisons entre la commande par agrgation et diverses mthodes
de commande linaires dans [11,46].
La colonne simule est une tour d'thne, ou splitter thane-thne, construite avec
des plateaux, alimente en phase gazeuse avec une coupe C 2 : les constituant-cls lourd et
lger sont l'thane (formule chimique C 2H6 ) et l' thne (formule C 2H4 , encore appel
thylne). L'alimentation contient galement des traces de trs lgers, principalement
du mthane (formule CH 4 ) et de l' hydrogne (formule H 2 ) .
L'thane et l'thne ont des proprits thermodynamiques trs proches. La colonne
a la dimension importante d'une centaine de plateaux sur une hauteur de 70 mtres, et
fonctionne la pression leve d'une vingtaine de bars et la temprature d'une vingtaine
de degrs Celsius en-dessous de zro.
La colonne a trois soutirages, mais il suffit de soutirer raisonnablement la pasteurisation pour respecter le maximum de trs lgers au soutirage de rectification, o la
qualit de l'thne est spcifie avec des impurets maximales en thane et en trs lgers:
la colonne est en fait conduite comme une colonne pseudo-binaire deux soutirages, du
type classique illustr en page 5. La commande difficile raliser est celle de la teneur
en thane au soutirage de rectification (de l'ordre du millime d'impuret). Il n'y a actuellement pas de spcification en puisement. Les trs lgers traversent la rectification
avec une fraction uniforme faible, qui ne peut pas tre mesure par une temprature. Ils
sont limins en tte par pasteurisation dans un dmthaniseur complmentaire aprs leur
passage au soutirage de rectification.
Les simulations prennent en compte le mthane, l'thne et l'thane. Le modle de
la colonne a 95 tages idaux. Avec une numrotation de haut en bas, le soutirage de
rectification se trouve l'tage 10, l'alimentation l'tage 71. Il y a trois rgulations
dans le modle: les dbits de soutirage des ballons rglent leur volume, la puissance de
condensation rgle la pression de tte. La grande taille de la colonne et la difficult
sparer les deux constituant-cls donnent une grande inertie aux rponses en composition
de la colonne. Le modle de la colonne est celui du paragraphe 3.1, avec le modle
thermodynamique du paragraphe 3.1.6 et le modle hydrodynamique du paragraphe 3.1.8.

5.3

Le bouclage.

Nous ralisons le bouclage sur le modle de la colonne crit comme au paragraphe 3.1
avec une commande calcule sur le modle agrg correspondant. On observe ainsi la
diffrence entre la dynamique du modle complet et celle du modle agrg. Comme
le modle complet et le modle agrg ont les mmes quations statiques, le bouclage
stabilise la colonne autour des consignes. Le bouclage n'utilise pas de correction ou
de terme intgral. Le modle complet utilis dans les simulations est crit avec trois
rgulations proportionnelles intgrales pour la pression de tte et les niveaux liquide des
ballons. Quand ces rgulations sont bien rgles, leur effet est en principe ngligeable,

Chap. 5.

46

La commande par agrgation.

comme nous le prcisons au chapitre 3. Les simulations de perturbations trs rapides

montrent cependant de petites oscillations amorties dues ces rgulations.
Pour pouvoir tudier les conditions de calcul en temps rel, nous calculons la commande avec le modle agrg des intervalles fixes. La commande effectivement utilise
pour le modle complet est calcule par un retard
dCmde/ dt

= (Cmde-calcule -

Cmde}/Cste

o le terme Cmde-calcule est la commande calcule au dernier calcul du modle agrg.

Nous appelons lissage ce calcul Cmde-calcule >-+ Cmde
Le fait que les calculs du
modle complet et du modle agrg soient spars facilite l'initialisation des systmes
d'quations, et permet de changer facilement la loi de commande ou de tenir compte de
contraintes imposes par exemple sur les dbits.
Le modle agrg utilise des mesures du modle complet, qui correspondent des
mesures qui seraient disponibles sur la colonne relle. Les fractions des constituant-cls
sont mesurs avec une temprature en rectification ct une en puisement. La fraction
du trs lger en rectification est mesure au soutirage; elle pourrait tre mesure en
simulation par une deuxime temprature, mais la prcision ncessaire serait suprieure
celle d'une mesure de temprature sur une colonne relle. Les pressions utilises par
le modle agrg sont celles mesures sur le modle complet. Sur la colonne relle, la
pression n'est mesure que sur quelques tages et on estime celle sur les autres tages par
une interpolation linaire.
Ces mesures ne sont pas filtres. Les seuls paramtres du bouclage sont les tailles des
compartiments d'agrgation et les constantes de temps dans le lissage.

consignes

sorties

Figure 5.1: Bouclage par retour d'tat.

Dans notre cas, le bouclage par agrgation simultanment en rectification et en puisement permet de maintenir les deux qualits en simulation sur une large gamme de
compositions de l'alimentation et des consignes. Les mesures de temprature utilises
pour le calcul de la commande sont situes l'tage 41 en rectification et l'tage 78 en
puisement: les agrgations ont une taille de 32 et de 18 tages.
Le systme boucl avec cette commande prsente comme constante que la colonne se
stabilise pratiquement en 5-7h, indpendamment de l'talement et de l'amplitude de la
perturbation. Cette dure dpend de la position des tages de mesure de temprature:
les compositions s'cartent beaucoup de la consigne en transitoire si les mesures de
temprature sont loignes du soutirage, mais les commandes sont brutales si les mesures en sont proches - sur une vraie colonne, les mesures trop proches seraient de

5.4.

Les simulations.

47

plus bruites et peu significatives. L'amplitude des rponses en composition est peu
prs proportionnelle la perturbation, alors que leur forme n'en dpend que peu. Les
commandes calcules convergent en gnral directement vers les valeurs qui stabilisent la
colonne aux consignes aprs la perturbation: elles ne dpassent presque pas leur valeur
finale.
La commande est calcule sparment en dbits internes pour les deux sections: la
commande dans une section ne tient donc compte de celle de l'autre que par les dbits.
On le voit surtout pour l'puisement, o la commande ne ragit aux variations de la
rectification qu'avec un dlai qui correspond la propagation du dbit liquide dans la
colonne. Ceci fait que les perturbations rapides crent de lgres oscillations sur les
commandes et sur les sorties, selon les paramtres des rgulations de base. Les essais
ont montr que les simulations donnent les rponses les plus douces avec des commandes
calcules intervalle de 15min et lisses par une quation du deuxime ordre de retards
de 2 * 5min. Le comportement du bouclage ne varie pas pour des intervalles de calcul
suffisamment faibles: il est le mme que pour un systme boucl en continu - pour
des perturbations d'importance moyenne en rgime normal de la colonne, un intervalle
de 15min suffit.

5.4

Les simulations.

Chacune des simulations prsentes est une perturbation sur une seule entre du systme
boucl, sous une forme continment drivable et assez lente pour que le simulateur
l'intgre, spcifie en modifiant une des functions. La forme exacte importe peu parce
quelle n'a pas besoin d'tre spcialement douce sur une colonne relle, et parce que la
variation est produite sur un intervalle nettement plus court que les constantes de temps
qui interviennent dans la colonne. Les perturbations utilises sont des types suivants:
- changement: variation de la premire la seconde valeur,
- impulsion: variation de la premire la seconde valeur puis retour la premire,
- oscillation: oscillations entre la premire et la seconde valeur, qui peuvent se terminer la seconde valeur sur une demi-priode.
Les simulations sont prsentes avec les deux graphiques commandes: pour les dbits
de reflux de rectification (qui correspond simplement au dbit de reflux pour une colonne
sans pasteurisation) et de rebouillage, et
pour les fractions d'thane au soutirage de rectification et d'thne au rsidu.
courbe et l'chelle sont grasses pour la
rectification et fines pour l'puisement. Les chelles s'ajustent aux courbes mais ont les
mmes graduations: 300/60min (avec/sans nombre), soit 5/1h pour le temps en abscisse,
avec le temps zro comme dbut de la perturbation, 2.0/1. Okmol/min pour les dbits en
ordonnes, 1. OE-4/2. 5E-5 fraction molaire et 2. OE-2/5. OE-3 fraction molaire pour les
impurets respectivement en rectification et en puisement.
Les courbes se superposent souvent presque parce qu'elles ont des formes similaires
et des valeurs statiques initiales situes peu prs de la mme manire par rapport aux
graduations. Le dtail de leur forme importe peu, en particulier aux sommets ou durant
des oscillations, car il n'est jamais clair quel point les valeurs donnes par le simulateur
ont t calcules ou interpoles.

Chap.5.

48

5.5

La commande par agrgation.

En boucle ouverte.

La stabilisation est extrmement lente en boucle ouverte: l'chelle de temps est ici la
mme que pour les simulation de boucle ferme en rgime normal, mais on n'aperoit que
le dbut de la stabilisation.
Simulation 5.1 Reflux de rectification: +0.1%, changement: 0 - 10rnin.
104

92

--o.Oiio6

0.024
0.022
0.02
0.018
0.016
0.014
0.012
0.01
1200

.>
/.

.>

D,ODOS

.>
102
0

300

I:1J

900

90
1200

0,0004
0

I:1J

300

commandes

900

Impuretes

La variation relative de 1. OE-3 est en fait infrieure la prcision des rgulateurs de base
des dbits sur une vraie colonne: la faible prcision de la rgulation de base ne lui permet
mme pas de maintenir les impurets en absence de perturbation.

5.6

Fraction-cls dans l'alimentation.

Les fractions d'thne et d'thane varient somme constante. Ces changements d'une
composition d'alimentation constante une autre sont les tests principaux de la commande par agrgation, qui est justement crite pour les rejeter asymptotiquement. Les
simulations avec des oscillations de la composition de l'alimentation montrent que la
commande supporte de fortes variations sur les perturbations qu'elle rejette. Pour des
oscillations priodiques des entres, et dans la mesure o la colonne ne bute pas sur des
contraintes telles que l'engorgement ou l'asschement des tages, les commandes oscillent
autour d'une valeur telle que les sorties oscillent autour de leur consigne.
Simulation 5.2 Ethne: 0.82 - 0.87, changement: 0 - 1h.
106

96

104

0.014

0.0006

r.

94

0.012

0.0005
92

102
0

300

I:1J

commandes

900

90
1200

0.0004
0

300

I:1J

900

0.01
1200

impurets

Stabilisation sur une petite perturbation: les commandes varient vers leur valeur finale presque sans la dpasser, les impurets reviennent leur consigne aprs s'en tre
JrioT.6.rarYU:lont L:.r~rtp,~u;:

5.6.

49

Fraction-cls dans l'alimentation.

Simulation 5.3 Ethan,.e: 0.17 =-~.=.?:~! changements: 0 -_th et tOh - 11h.

104

92

0,0006

0.014

0,0005

0.012

90

102

----------\

88

100

86

\
~

98

6CO

300

900

0,0004

84
1200

commandes

6CO

300

900

0.01
1200

Impureles

Perturbations dans le sens oppos 5.2. Les variations des commandes et des sorties sont
trs semblables celles de 5.2 pour les deux changements.
Simulation 5.4 Eihne: 0.82

0.97, changement: 0 - 5min.

_._------~-._------------

108

lCY2

0.018

0,0007

100

106

104
102
100

900

0.012

0,0005

94

\~-6CO

300

0.014

96

98

0.016
0,0006

98

0.01

92

90
1200

6CO

300

commandes

900

0.008
1200

impuretes

Perturbation dans le mme sens que 5.2, mais trs forte: la teneur en thane est divise
par 9, et la colonne n'a presque plus rien sparer. Les commandes varient d'abord dans
le sens oppos leur variation finale, mais rejoignent leur valeur finale sans la dpasser.
Les impurets varient pratiquement de la mme manire qu'en 5.2.

--_._-

Simulation 5.5 Ethne: 0.82 - 0.97, changement: 0 - 3h.

-

108

100

'1

106

\\

100

96
94

6CO

300

0,0006

900

90
1200

~
0,0005

~-

""~
300

tJ:JJ

,0.012
0.01

0,0004

0.014

92

98

/~

98

104
102

0l 6

0,0007

900

0.008
1200

impurets

commandes

Mme simulation que 5.4, mais le changement est trs tal. Les commandes et les sorties
sont un peu plus lentes au dbut et sont donc plus tales, mais les amplitudes sont les
mmes. Les petites oscillations dues la dynamique du dbit liquide dans la colonne ct
~H'V

...

..<.
.......,l ...f; ...... TlC'

rll3 h~c.:::o

Anf

~i<;ln::1lrll

50

Chap. 5.

La commande par agrgation.

Simulation 5.6 Ethane: 0.17 - 0.27, oscillations: 9 ~ *1h.

104

92

10,014

0,0006

90

102

88

0.012

100

86
98

B4

300

60J

900

300

1200

commandes

60J

900

0.01
1200

Impuretes

Avec le maintien la valeur oppose sur une demi-priode la fin des oscillations, la
perturbation moyenne a la mme forme qu'en 5.3, et les rponses de mme. Stabilisation
normale aprs la fin des oscillations.

5.7

Autres fractions dans l'alimentation.

Les fractions d'thne et d'thane gardent la proportion de leur valeur initiale quand celle
de mthane augmente. Ces simulations illustrent les difficults qu'a la commande avec une
perturbation qu'elle ne rejette pas et dont elle n'utilise que la valeur de sortie (la mesure
au soutirage). Le rejet de ces perturbations est superflu sur la vraie colonne parce elles
ont normalement une amplitude de loin infrieure celle de ces simulations. Le mthane
est lger ct fait donc agir la commande comme s'il y avait trop d'thne: elle laisse passer
plus de mthane en rectification. Le mthane est en revanche trop lger pour apparatre
en puisement: les perturbations n'y sont dues qu'aux variations du dbit liquide induites
par la commande en rectification.

Simulation 5.7 Mthane: 1.2E-3 - 1.0E-2, impulsion: 0 - 1h.

92

104

0.014

0,0006

1
1\
1
VV/fJIt~~--------r
0,012

0,0005

102 + - - -....-~~--+--~--+--~-+ 90

300

60J

commandes

900

1200

0,0004 ~----+-------.-~-+-.
300
60J
900

0.01
1200

impurets

Stabilisation de dure normale, mais les commandes oscillent, ce qui est d la dynamique
des dbits et aux rgulations de base car le mthane se concentre rapidement dans la
pasteurisation.

5.8.

51

Dbit d'alimentation.

Simulation 5.8 Mthane: 1.2E-3 - 3.0E-2, impulsion: 0

106

96

104

94

lh.

0,0008
0,0007

92

102

90
100

88

98

86

96

300

600

900

0,0006

~\F-

0,0005

84
1200

300

600

900

0.02
0,018
0.016
0.014
0.012
0,01

0.008
0.006
1200

Impuretes

commandes

Le mthane se concentre dans la pasteurisation et cesse d'influencer la mesure de temprature en peine plus de temps qu'en 5.7 La colonne met longtemps se stabiliser.

5.8

Dbit d'alimentation.

La stabilisation dure autant qu'avec d'autres perturbations. Pour les perturbations oscillantes, les commandes oscillent aussi autour d'une valeur telle que les sorties oscillent
autour des consignes.

Simulation 5.9 Dbit d'alimentation: +20%, changement: 0 - lh.

116

IR/l
11*
11~

'~
1*
1 2

J.
300

600

commandes
Stabilisation normale.

900

1200

0.026
!a~
0.024

0,0008
0,0007

0,0006
0,0005
0,0004

0.022
0.02
0.018
0.016
. 0.014
0.012
"---.-------0.01
1200
900
600
300

impuretes

Chap . 5. La co mmande par ag rgatio n.

52

S imula t io p 5 10 nib i! _ d 'a f~~M iQ n : -1 0%, oscilhl!ions: 10 ... I h .

:::~
r:
,

Q()

' DO

68

O' D006 ~
.
1::::
.

0,0005

86

64

JO)

OJ

t{JJ

1;

0,0004 -- -

1200

..

1.

0.0 12
Q01

- 300

"

Q0J8

QOO

t{JJ

1200

Impurets

commandes
St a bilis atio n norm ale a prs que les osc illat ions on t cess.

5 .9

Pre ssi on d e t te.

Le cha ngement de la press ion de t te excite l'hyd ro dy na miqu e da ns Il:'! modl e de simulation , ct mod ifie do nc rapidement les sorties. La pressio n n'int e rvien t dan s la co mmande
qu 'au t ravers <IN! fonc tion s de the rmod ynamique , q ui ut ilisent dir ectement les va leurs de
pression du mod le de simulation .
S imulation 5. 11 Pression: 20 .5

l8 .aba r , changem ent: 0 - l b .

ID

'"

102
100
98
96
94

92
90

92
90
88
86
Ba

1
'

62

300

600

9CO

Q014

-::::,:===~n012
QO'

0.0004

80
78
1200

commendes

UOO8
L..: _~_~

300

_ -1
QOO

1200

Impuretes

Le cha nge me nt Of' pr ession es t impo rt ant avec 10%, e t d place bea ucou p les qu ilibr es ,
ce q ui en t rane une mod ifica tion im po rtante s ur les co m ma nd es. St ab ilisa tion nor ma le.

5 .1 0

Cons ig n es d ' im pur e t .

La st a bilisat ion su r un cha ngeme nt de co nsigne es t a ussi ra pide q ue pour J 'autres pe rtu rbations, ind pendamment de l'a mp lit ude et de l't a lement du cha ngeme nt. Le bou clage
s uppo r te de t rs Ior tes varia t io ns des co nsignf's: ln! simula tions mon t rent des cha ngements
jusq u' a il fact eur 10 et des oscillations. Ici a ussi, po ur les oscilla tions, la sort ie co rresponda nt la consigne pe rt ur be oscille molle ment a uto ur de la moyenne de la con sign e, q ui
es t le milieu des deux vale urs ex t rmes , et l 'a ulr e sor tie oscille a uto ur de sa consi gne
co nst a nte. La colonn e ne ragi t pas ava nt 15rnin , il. l 'insta nt o la premire commande

5.10.

Consignes d'impuret.

53

Un changement en puisement engendre plus d'oscillations sur la sortie de rectification

que l'inverse. La diffrence est due la propagation plus rapide du dbit vapeur que du
dbit liquide, qui entrane un dlai diffrent sur la deuxime commande pour maintenir le
ratio dans la section dont la consigne n'a pas chang: on voit nettement sur les simulations
que la commande de reflux de rectification suit celle de rebouillage de plus prs que
l'inverse.
Simp1

ation ft 12

Rectification:

5-,-()~-~

92

104

- 5. 5E-4 changement sans dlai.

0.014

0,0006

____- - - - - - - t 0.012

102

90
1200

!------+----"-+----"--+-----"---->

300

6:JJ

900

0,0005

0.01
1200

+'----+-----"-0------+------------+

300

900

Impurets

commandes
Stabilisation normale.

Simulation 5.13 Rectification: 5.0E-4 - 5.5E-4, changement: 0 - 5h.

104

92

0.014

0,0006

_____- - - - - - t 0.012

102

90
1200

~--+-------+----+--~

300

6:JJ

900

0,0005

0.01
1200

~--+----+-----+------+

300

commandes

900

Impurets

Mme perturbation que 5.12, mais tale: les rponses sont douces.

Slmulation 5 ] 4 Rectification: 5. OE-4 - 9. 5E-4 changement sans dlai.

104

92

D,DOl

0.014

0,0009

102

90

100
88

98

0.012

0,0008
0,0007

0.01

0,0006

+----------------+86
300

e
commandes

900

1200

0.008
1200

V----o----+--------+------------+

300

eco
impuretes

900

C ha p. 5.

La commande pa r a g r g a t ion .

Simu lation 5. 15 fl ectiji cu./ion: 5 . OE- 4 - O. 4E-4 , challgem ent: 0 - ih .

r.
122
120

110
10 11

Il:

m
110

!~

1~

18

96

WJ

300

900

1200

commandes

La con signe d'impu ret es t d ivise par 12 ; les sorties se sta bilisent norma leme nt , ma is
celle d' puise ment s 'ca rte beaucoup de sa co nsigne, qui reste po u r tant co nst a nte.
S im u latio n 5 .16 Rtc tificatiorl: 5 .0 E- 4

3 .0E-4, oscillation s: 5 .. 2h .

::: :
:: ~
"
: :'::: ~
n

104

0,0004

I~

0,0003

300

dXJ

900

1200

~ o.012

'

WJ

300

900

0.0 1
1200

Impuretes

commandes

Les sort ies sc st a bilise nt normalement aprs la fin des osc illat ions.
S imula t io n 5. 17 Epuiseme nt: 1.2E-2
110

0 .4E - 2, changem ent: 0

l h.

:': :: ~
\
:~

108
106

0,0005

104

VI)
0.0004

commandes

~r,

300

WJ

; 0,006

0 004
0.002
900

Impuretes

La co ns igne e n puiseme nt es t di vise par 3 seule men t , ma is tr o p vite: le bo uclag e dst ab ilise la colo nne, sa ns que le ca lcul des comma ndes s ignale qu elq ue chose.

5 .11.

55

P a r a m t res d an s le ca lcu l dt la co m m a n d e .

2, changemen t: 0_-_5h_.
==;;;;;;;.;;.;;;;,.= = = :....:.:.::..-=--.:.':..:.4.:.E--=-

: :0 :

102

" OO'. ~ ~~:2

UOO8

lo.C6

0,000 5

92

Q()

300

eoo

900

1200

UOO<l
0,000.4

3(X)

QC()

QC2
1200

Impuretes

commandes

Mme changemen t de cons igne que 5. 17 , mais plus ta l: le bouclage s ta bilise nor ma le.
ment . Il est plus difficile de rduire la consigne en puisement qu'en rect ificat ion parce
qu e le ra tio en puisement est proche Je 1
Simu lation 5 ,1 9 Epuiseme nt: 1 .2E-2

:: 1~~,lh"I"",~j~

0. 4E-2, oscillations: 5 " 2h .

::~tA~~1~WI~~

'~ ~ M "oo" ~uoo<l

o

JO)

tOO

900

commandes

1200

3CO

&.0

900

1200

Impuretes

La cons igne descend aussi bas qu'en sim ulation 5. 17, el le mme problme sc pr sente:
les db its oscillent bea ucoup et la colonne sc st abi lise t rs lent ement lorsque la consig ne
revient sa vale ur initiale.

5.11

Par amt res d ans le c a lc u l d e ln co m m a n de .

Nous avons essay le com portement du bouc lage lorsque le ret ard J a ns le bou dage a ugmente , soit avec de gran ds inter valles entre les calculs J e la comma nde sur le mod le
agrg, soit pa r de grandes const ante s de temps d ans le lissage. Nou s mon tron s ici une
simulat ion avec un interv alle de calcul grand qu i ~~t il. la limit e de dsta biliser le bouclage.

Chap. 5.

56

La commande par agrgation.

Simulation 5.20 Ethne: 0.82 - 0.87, changement: 0 -1h; intervalle de calcul: 40min)
constante du lissage: 2 * 15min.
106

96

0,0006

0.018

0,0005

0,014

0,016
94
104

92
102

0,012

90

(IXJ

300

900

600

300

1200

900

impurets

commandes

Mme perturbation que 5.2. Le bouclage est la limite de la divergence cause d'un
trop grand retard - un intervalle de calcul plus grand ou une autre constante de lissage
dstabilisent alors compltement la colonne. D'autres simulations ont montr que le
bouclage reste stable pour cette mme perturbation jusqu' des constantes de lissage
de 2 * 30min, si la commande est toujours calcule toutes les 15min. Il y a en dfinitive
un large domaine o le bouclage oscille mais reste stable.
Simulation 5.21 Eihne: 0.82
mnd!e de commande.
108

0.87, changement: 0 - 1h; pression constante dans le

_
96

106

94

104

92

0,0006

0,0005

102
0

300

600

900

commandes

90
1200

0.014

0.012

0,0004
0

300

600

900

0.01
1200

impuretes

Mmes entres que 5.2; la commande utilise des valeurs de pression constantes qui correspondent l'tat initial: les fonctions de thermodynamique concident initialement mais
plus ensuite. Ceci introduit un cart important entre les agrgations et la colonne. Le
bouclage ne peut plus faire rejoindre les consignes. La stabilisation est un peu plus longue:
plutt 7-8h. L'effet est si important parce que les tages de tte de la colonne sont proches
des conditions critiques: l'cart des sorties n'est pas acceptable alors que les pressions ne
diffrent que trs peu.

5.12

Dmarrage.

Le dmarrage d'une colonne est une opration longue: on ne peut boucler la commande
que lorsque les impurets sont dj suffisamment proches des consignes, pour que le bouclage soit effectivement stable. Amener la colonne un point de fonctionnement par des

5.12.

Dmarrage.

57

Le dmarrage est simul ici selon une mthode utilise dans l'industrie: la colonne est
mise en marche remplie d'un seul constituant (ici l'thane) avec des recyclages suffisants
pour avoir les deux phases sur tous les tages. Le point de fonctionnement rejoindre
est l'tat statique initial des simulations ci-dessus: les consignes ont cette valeur ds le
dbut, et l'alimentation varie aprs le temps zro pour prendre cette composition. La
commande par agrgation est boucle ds qu'elle peut tre calcule, et conserve les ratios
jusque l - pour les simulation montres ici, environ 2h en rectification et environ
3h en puisement. Les commandes et les impurets passent la majeure partie de leur
variation en 7-10h, mais cette variation brutale excite l'hydrodynamique, ce qui ncessite
un long intervalle pour stabiliser compltement la colonne ensuite.
L'alimentation varie pour toutes les simulations ci-aprs: thane: 0.95 - 0.17, changement: 0 - GOmin; Dbit d'alimentation: 4.0 - 34.0kmol/min, changement: 0 - 3h.
L'alimentation est sous phase vapeur et monte donc: le reflux augmente d'abord, et le
rebouillage une fois que le reflux a descendu la colonne. L'alimentation n'est pas vraiment
pure en thane initialement, parce que simulateur ne peut pas calculer les quilibres sur
tous les tages pour une valeur plus haute.

Simulation 5.22 Boucle ouverte; Reflux: prend la valeur calcul par avance, changement: 0 - 3h; Rebouillage: prend la valeur calcul par avance, changement: 1 - 4h.
0.02
0.018
0016
0014
0.012
0.01
0.008
0.006

.............. o

+--_~~~~-~

1200

1800

3Xl

O.OOO3~~:>....--.....-=::c........~~""""""+O.OO4

3Xl

commandes

1200

1800

impurets

-b Les impurets sont proches des consignes aprs environ 15h- une commande linaire
pourrait tre boucle aprs ce dlai.

Chap. 5.

58

La commande par agrgation.

La capacit de calculer la commande dpend bien sr de l'algorithme - nous utilisons

ici un algorithme de type Newton sur l'ensemble des quations de l'agrgation, qui essaie
le calcul partir de la mme initialisation jusqu' russir, et conserve ensuite le rsultat
d'un calcul pour initialiser le suivant. Malgr de nombreux essais, il n'a pas t possible
de calculer la commande de manire permettre de commencer le bouclage plus tt,
par exemple en donnant au dbut les vraies valeurs d'impuret aux consignes plutt que
directement les valeurs dsires terme. Il est perdu beaucoup de temps par le fait que
l'impuret du rsidu atteigne des valeurs autour de 40% avant que la commande puisse
tre calcule, alors qu'elle part presque de zro et se stabilise ensuite prs de 1%.

Simulation 5.23 Agrgation de rectification initialise l'tat statique de dpart, d'puisement celui atteindre,. Intervalle de calcul: 10min, Lissage: 2 * 15min.
0,02

0,0007

0,018
0.016
0.0006

0.014
~

r-:

0.0005

0.012
0,01
0,008
0,006

0
1800

commandes

0.0004
300
1
0,9
0,8
0,7
0.6
0,5
0.4
0.3
0,2
0.1
0

600

900

1200

1500

0,004
1800

/\

! \\

0,2

0.1
0
1800

imouretes
La commande est calcule intervalles plus rapprochs avec le mme lissage; il n'y a plus
d'oscillation sur les dbits.

5.13.

59

Conclusion.

Simulation 5.24 Agrgation de rectification et d'puisement initialises l'tat statique

atteindre; Intervalle de calcul: 10min, Lissage: 2 * 5min.

O:0006IJI~

00007

00004

0.014

li,

".,,'
\ .
"
.,'

00005
,

\/,;,

' :

1200

commandes

0,012
0,01

0,008
0,006

00003

~:~ :

\dO'02

300

600

900

0,004
1200

0,9
0,8
0,7
0,6
0,5
0,4
0,3
0,2
0,1

0,3
0,2
0,1

o ~---':'~"----+-~===Q

0
1200

impuretes
La commande est aussi calcule intervalles plus rapprochs, mais le lissage a la mme
constante que pour les simulations en rgime normal. La colonne se stabilise en 20h
seulement, avec de faibles oscillations.

5.13

Conclusion.

Un modle de commande obtenu par agrgation ncessite peu de paramtres. La construction du modle dynamique sur lequel il repose est classique. Les compartiments
d'agrgation doivent tre choisis assez grands pour permettre des mesures significatives
des compositions.
Le bouclage par un modle de commande agrg stabilise la colonne sur un large domaine. Les simulations que nous avons reproduites montrent des changements importants
du point de fonctionnement: cause de la composition de l'alimentation (5.4 ou 5.5),
de la pression (5.11), ou de la consigne d'impuret au soutirage. La colonne peut se
stabiliser mme aprs des oscillations causes soit par des oscillations sur une entre soit
par une commande amenant au bord du domaine atteignable (5.16). Le dmarrage de la
colonne est un peu plus rapide si on boucle rapidement avec le modle agrg.
Dans notre implmentation sur un MTCROVAX II, le calcul du bouclage prend environ
une demi-minute et il suffit d'un calcul toutes les 15 minutes.
Un programme de commande de la colonne relle ncessite

60

Chap. 5.

La commande par agrgation.

- d'ajouter des paramtres d'ajustement (si possible continus) qu'il faut recalculer en
permanence, puisque le modle de commande ne peut pas dcrire exactement la colonne
relle;
- de filtrer les mesures sur la colonne relle, qui sont fortement bruites, ce qui allonge
les calculs sur le modle de commande;
- de disposer de mesures des dbits internes; pour estimer les dbits dans toute la
colonne, il faut recourir une hypothse de dbits uniformes telle que celle du paragraphe A.5 (ce qui vite de calculer les bilans nergtiques), ou sinon, calculer le modle
de commande en entier, y compris le compartiment agrg autour de l'alimentation;
- de disposer d'ordinateurs installs pour commander les colonnes avec des mmoires
suffisantes pour calculer le systme de commande en entier.

Bibliographie
[1] S. Bacha and M. Idir. Approche gomtrique du problme du rejet des perturbations
- Application un modle non-linaire de colonne distiller. Projet de fin d'tudes,
E.N. Polytechnique d'Alger, janvier 1982.
[2] R. Balian. Physique statistique.
Palaiseau, 1984.

Ecole Polytechnique, dpartement de physique,

[3] 1. Bazarov. Thermodynamique. Physique. Mir, Moscou, 1983, 1989.

[4] A. Benallou, D. E. Seborg, and D. A. Mellichamp. Dynamic compartmental models
for separation processes. A.r.Ch.E. journal, 32:1067-1078,1986.
[5] S. L. Brenan, K. E. Campbell and L. R. Petzold. Numerical solutions of initial-value
problems in differential-algebraic equations. North IIolland, Elsevier, 1989.
[6] G. D. Byrne and A. C. Hindmarsh, A polyalgorithm for the numerical solution
of ordinary differential equations. A.C.M. transactions on mathematical software,
1(1):71-96,1975.
[7] G. D. Byrne, A. C. Hindmarsh, K. R. Jackson, and H. G. Brown. A comparison
of two O.D.E.-codes
GEAR and EPISODE. Computers and chemical engineering,
1:133-147,1977
[8] E. Canon. tude mathmatique de deux modles de colonne distiller: modle discret tages thoriques, modle continu hyperbolique. Thse de doctorat, Universit
J. Monet de Saint-tienne, Janvier 1990.
[9] E. Canon and F. James. Rsolution du problme de Cauchy pour certains systmes
hyperboliques intervenant en gnie chimique.
cole polytechnique, centre de
mathmatiques appliques, Palaiseau, janvier 1990. numro 209.

[JO] J. Carro Applications of centre manifold iheoru, volume 35 of Applied mathematical

sciences. Springer, New York, 1981.
[11] Y. Creff. Simulation dynamique ct commande non-linaire des colonnes distiller.
Thse de doctorat, E.N.S. des Mines de Paris-- CAS, 1992. A paratre.

[12] Y. Creff, P. Houchon , and J. Lvine. Qualitative behavior of distillation columns and
their control. In E.C.C. '91, Grenoble, France, July 1991. E.C.C., Hermes, Paris,
France.

62

Bibliographie

[13] A. Feng, C. D. Bolland, and S. E. Gallun. Development and comparison of a generalized semi-implicit Runge-Kutta method with Gear's method for systems of coupled
differential and algebraic equations. Computers and chemical engineering, 8(1):5159,1984.
[14] M. Fliess, J. Lvine, and P. Rouchon. Index of a general differential-algebraic implicit
system. In Proeeedings of the M.T.N.S., Kobe, Japan, 1991. M.T.N.S. A paratre.
[15] M. Fliess, J. Lvine, and P. Rouchon. Index of a gencrallinear time-varying system.
In Proeeedings of the first european control conference, pages 768-772, Grenoble,
France, July 1991. E.C.C., Hermes, Paris, France.
[16] S. E. Gallun and C. D. Rolland. Gear's procedure for the simu1taneous solution of
differential and algebraic equations with application to unsteady state distillation
problems. Computers and chemical engineering, 6(3):231~244, 1982.
[17] R. Gani, C. A. Ruiz, and I. T. Cameron. A generalized model for distillation colurnns.
Computers and chemical engineering, 10(3):181--186, 1986.
[18] F. R. Gantmacher. Thorie des matrices, volume 2. Dunod, Paris, 1966.
[19] A. Gaunand. Gnie de la raction chimique. E.N.S. des Mines de Paris, 1982.
[20] J. P. Gauthier, G. Bernard, S. Bacha, and M. Idir. Rejet des perturbations pour un
modle non-linaire de colonne distiller. In Dveloppement et utilisation d'outils
et modles mathmatiques en automatique, analyse des systmes et traitement du
signal, pages 659-673, Paris, 1983. C.N.R.S.
[21] C. W. Gear. Simultaneous numerical solution of differential-algebraic equations.
I.E.E.E. transactions on circuit theory, 18(1), 1971.
[22] D. Gritsis, C. C. Pantelides, and R. W. R. Sargent. The dynamic simulation of
transient systems described by index two diITerential-algebraic equations. In P.S.E.
Conference, Sydney, Australia, august 1988.
[23] E. Haner, C. Lubich, and M. Roche. The Numerical Solution of DiiJerential-Algebraic
Systems by Runge-Kutla Methods. Lecture notes in Mathematics. Springer, 1989.
[24] C. D. Rolland. Fundamentals and modelling of separation processes. International
series in the physical and chemical engineering sciences. Prentice hall, 1975.
[25] C. D. Rolland. Fundamentals of mullicomponent distillation. McGraw-Rill, 1981
[26] A. Isidori, Nonlinear control systems. Communication and control engineering. Springer, 1989.
[27] A. Isidori, A. Krcncr, C. Gori-Giorgi, and S. Monaco. Nonlinear decoupling via
feedback. I.E.E.E. transactions on automatic control. 26(2):331-345, 1981.
[28] K. R. Jackson and R. Sacks-Davis. An alternative implementation of variable stepsize multistep formulas for stiff O.D.E.s. A.C.M. transactions on mathematical software, 6(3):295-318, 1980.

Bibliographie

63

[29] F. James. Sur la modlisation mathmatique des quilibres diphasiques et des

colonnes de chromatographie. Thse de doctorat, cole polytechnique, Palaiseau,
Novembre 1990.
[30] C. J. King. Separation processes. Chemical Engineering Series. McGraw-Hill, 1971.
[31] P. V. Kokotovic. Application of singular perturbation techniques to control problems.
S.I.A.M. Rev., 26:501-550,1984.
[32] J. Lvine and P. Rouchon. Disturbance rejection and integral control of agregated
nonlinear distillation models. In 7th international conference on analysis and optimization of systems. Springer, june 1986. Lecture notes in control and information
sciences.
[33] J. Lvine and P. Rouchon. Quality control of binary distillation columns via nonlinear
aggregated modcls. Automatica, 27(3):463-480, 1991
[34] N. G. Lloyd. Degree theory. Cambrige university press, Carnbrige, 1978.
[35] P. Ltstedt and L. R. Petzold. Numerical solution of nonlinear differential equations
with algebraic constraints (1) - Convergence results for backward differentiation
formulas. Mathematics of computation, 46(174):491-516,1986.
[36] W. Malesiriski, Azeotropy and other theoretical problems of vapor-liquid equilibrium.
Wiley interscience, New York, 1965.
[37] R. Marino and P. V. Kokotovic. A geometrie approach to nonlinear singularly perturbed control systems. Aulomalica, 24:31-41, 1988.
[38] T. Mrziglod. Zur Theorie und numerischen Realisierung von Lsungsrnethoden bei
Differentialgleichungen mit angekoppclten algcbrischen Gleichungen. Diplomarbeit,
Universitt zu Kln, 1987
[39] H. Nijmeijer and A. J. van der Schaft. Nonlinear dynamical control systems. Springer,
1990.
[40] C. C. Pantelides. The consistent initialization of differential-algebraic systems.
S.I.A.M. journal of scientific and statistical computation, 9, 1988.
[41] C. C. Pantelides, D. Gritsis, K. R. Morison, and R. W. H. Sargent. The mathematical
modeling of transient systems using differential-algebraic equations. Comput ers and
chemical engineering, 12:449-454, 1988.
[42] L. R. Petzold. Differential-algebraic equations are not a.D.E.s. S.I.A.M. journal of
scientific and statistical computation, 3(3):367-384, 1982.
[43] L. R. Petzold. Recent devclopments in the numerical solution of differential-algebraic
systems. In 8th international conference on computing methods in applied sciences
and engineering (1), pages 7-24, Versailles, France, december 1987. LN.R.LA.

64

Bibliographie

[44] L. R. Petzold and P. Ltstedt. Numerical solution of nonlinear differentiel equations

with algebraic constraints (II) - Practical implications. S.I.A.M. journal of scientific
and statistical computation, 7:720-733, 1986.
[45] H. H. Rosenbrock. A Liapunov function with applications to some nonlinear physical
systems. Automatica, 1:31-53, 1962.
[46] P. Rouchon. Simulation dynamique et commande non-linaire des colonnes distiller.
Thse de doctorat, E.N.S. des Mines de Paris - CEREP, mars 1990.
[47] J. Schwartzentruber. Notions de thermodynamique applique - calcul des proprits
des phases homognes et de l'quilibre entre phases. E.N.S. des Mines de Paris, 1988.
[48] J. Schwartzentruber, H. Renon, R. Bloise, and N. Ammar. Simulation des procds
continus de transformation de la matire, cours IV. E.N.S. des Mines de Paris, 1979,
1989.
[49] F. G. Shinskey. Distillation control. Chemical engineering. McGraw-Hill, 1981,1977
[50] G. Soave. Equilibrium constants from a modified Redlich-Kwong equation of state.
Chemical Engineering Science, 27:1197-1203, 1972.
[51] G. Soave. Direct calculation of pure compound vapor pressures through cubic equations of state. Fluid Phase equilibria, 31:203-207, 1986.
[52] G. Stephanopoulos. Chemical process control - an introduction to theory and preetice. International series in the physical and chemical engineering sciences. Prentice
hall, 1984.
[53] T Takamatsu,1. Hashimoto, and Y. Nakai. A geometrie approach to multivariable
system design of a distillation column. Automatica, 15:387-402, 1979.
[54] M. van Winkle. Distillation. Chemical Engineering Series. McGraw-Hill, 1967

Annexe A

Rsultats.
A.1

Le degr topologique.

La dfinition axiomatique suivante nous suffit ici: le degr est une fonction entire
deg( t.p, D, p) dfinie pour les ouverts borns D de Rn, les fonctions t.p continues de
l'adhrence fi vers Rn, et les points p de Rn [34]
- qui vrifie pour la fonction identit L, deg(I,D,p) vaut 1 si p E D et 0 sinon;
- qui vrifie pour les points p hors de l'image du bord t.p( aD), deg( t.p, D, p) =
deg(t.p- p,D,O);
- qui est additive sur les domaines: pour deux ouverts disjoints Dl et D 2 inclus
dans D et p ri. t.p(fi-(D lUD 2
on a: deg(t.p,D,p) = deg(t.pln"Dl,p)+deg(t.pID"Dl,p) ;
- qui est invariante par homotopie: pour un chemin continu 1] d'un intervalle J
de R vers les fonctions continues sur fi, deg(1](t), D,p) est constant sur J si p ne se
trouve sur l'image du bord du domaine 1](t)(D) pour aucun tE J
Les deuxime et quatrime proprits impliquent que le degr est constant en p sur
les composantes connexes de Rn - t.p(aD) : pour un chemin continu {} d'un intervalle J
de R vers Rn - t.p(aD) , deg(t.p,D, {}(t = deg(t.p- (}(t),D, 0) , qui ne dpend pas de t
car 0 ne se trouve alors sur l'image du bord aD par t.p- (}(t) pour aucun t On a la
proprit que si le degr deg( t.p,D, p) ::f:. 0 , alors p a un antcdent par t.p
Nous ne calculons directement le degr que pour des fonctions continment drivables
en des points qui ne sont image que de points rguliers: en notant J = det \lt.p la
jacobienne, le dterminant de la matrice des drives partielles de t.p, pour p un point
de Rn qui ne soit pas sur l'image t.p(aD) du bord du domaine et tel que J(q) ::f:. 0 si
t.p(q) = p, le degr vaut
deg(t.p,D,p) =
sign J(q)

<p(q)=p

La somme est finie cause de la condition J(q)

A.2

#- 0

L'inversion des fonctions simplexe-relatives.

Thorme A.1 Une fonction simplexe-relative continue est surjective.

Chap. A.

66

Rsultats.

Preuve. Nous calculons le degr de la fonction, dont la dfinition est rappele au paragraphe A.1: pour une fonction simplexe-relative continue f: q f-t p, l'homotopie
TJ(t): qf-t (l-t)f(q)+tq
pour t E [0,1] est continue de [0,1] vers l'ensemble des fonctions continues de S(C)
vers lui-mme. L'homotopie ",(t) est simplexe-relative pour tout tE [0,1] puisqu'elle est
un barycentre coefficients positifs entre f et l'identit l Un point p l'intrieur du
simplexe n'appartient donc jamais l'image TJ(t)(S(C)) = S(C) du bord du simplexe
par l'homotopie quand t dcrit [0,1], et deg(J,S(C),p) = deg(I,S(C),p) = 1 pour
p E S(C) : chaque p a donc un antcdent. 0
Thorme A.2 Une fonction simplexe-relative Cl
est un diffomorphisme.

dont la jacobienne ne s'annule pas

Preuve. Comme la fonction est continment drivable, la jacobienne est continue, et de

signe constant puisqu'elle ne s'annule pas. Le degr est au signe prs le nombre exact de
solutions, puisque les termes de la somme dfinissant le degr valent alors tous soit +1
soit -1 Ainsi, deg(f, S(C),p) = 1 pour tout p E f(S(C)) = S(C) signifie que pour
chaque p existe exactement un q tel que f(q) = p Autrement dit, la fonction est
inversible globalement, et l'inverse est continment drivable parce qu'on peut inverser la
fonction localement en tout point, vu que la jacobienne ne s'annule pas. 0

A.3

La forme locale de l'quilibre.

Thorme A.3 Si, pour un mlange en quilibre liquide-vapeur, les enthalpies partielles
de vaporisation sont gales pour tous les constituants, alors la relation isobare entre les
compositions liquide et vapeur a un jacobien dfini positif [11]
Preuve. Nous notons C l'ensemble des constituants, c leur nombre, les quantits
des constituants dans les phases liquide et vapeur NL = [N;]aEC et N V = [N:]aEC
(l'unit de matire n'est pas ncessairement la mole), la pression P et la temprature T
Nous notons les rtentions compltes fiL = L:aEC N!;, flv = L:aEC N~ , les compositions X = [N;/flL]aEC et Y = [N~/flV]aEC
Nous choisissons comme coordonnes
indpendantes sur le simplexe les c - 1 premires fractions x = [N; / fiL]a=l..C-I et
y = [N: / flV]a=l..C_1
Le choix des coordonnes n'est pas important pour le calcul du
jacobien, vu que le jacobien est dfini indpendamment des coordonnes. Pour les calculs
matriciels suivants, les NL, N V, X et Y sont des vecteurs colonne de dimension c,
les x et y des vecteurs colonne de dimension c -1 Nous notons n le vecteur colonne
de dimension c constitu uniquement de 1
Nous crivons l'quilibre thermodynamique avec l'galit des potentiels chimiques
{-IL = [{-I~]aEC et {-IV = [{-I~]aEC comme fonctions de la pression, de la temprature et
des quantits de matire
(A.l)
l'quilibre en pression et en temprature tant crit implicitement par le fait que les mmes

T et P valent pour les deux phases. Les potentiels chimiques sont les enthalpies libres

A.3. La forme locale de l'quilibre.

partielles P,a(N,T,P) =

(:~)
a

67

Pour un dplacement infinitsimal de l'quilibre

N,T,P

pression constante, on obtient

(A.2)
Comme les p,(N, T, P) sont homognes de degr 0 en fonction des N, la matrice
des drives partielles p,/N a le vecteur N dans son noyau, donc X aussi. On a

La matrice p,L/ N L est homogne de degr -1 en fonction de NL ,donc filL( p,L/ NL)
est homogne de degr 0, c'est--dire qu'on peut considrer l'expression comme fonction
de X ou de x
Les drives partielles des potentiels chimiques par rapport T valent

o ha est l'enthalpie partielle, dfinie par ha = (H/Na)N,P,T

Nous faisons l'hypothse que les enthalpies partielles de vaporisation des constituants
sont gales: notons h LV la valeur commune des h~ - h~ Puisque fl~ = p,~ pour tous
les a, l'quation (A.2) devient

La matrice de dimension c

(c - 1)

II=

1
( ~1

0)
~1

permet de rduire l'quation aux coordonnes indpendantes:

II dy En multipliant par la transpose 11' gauche, il vient

dX

II dx et

dY =

(A.5)
le terme en

..

dT dlspa:alssant parce que II

symtrique puisque

:~L

= 0

-L

,p,L

La matrice N (II NL II) est

l'est, et elle engendre une forme quadratique dfinie positive

Chap. A.

68

Rsultats.

puisque

VI

Vc-l

L
II'~LII

[VI

Vc-l

Vc-l

I:a=1..C-I

flL
Va ] NL

:
VI
.

Vc-l
-

I:a=1..C-I

Va

La matrice flL!N L est la matrice des drives secondes de l'enthalpie libre G L A

cause de la convexit stricte de GL en dehors de la direction de NL, est positif et ne
peut s'annuler que si [ VI
Vc-l
- I:a=1..C-I Va ] correspond une quantit
de matire, c'est--dire si toutes ses composantes sont positives, ce qui n'est pas possible.

fiL (II' :~~ II) et flV (II' :~: II) sont dfinies positives, le faisfiL (II' :~~ II)+ >..flV (II' :~: II) a toutes ses valeurs propres stricte-

Comme les matrices

ceau de matrices
ment positives, et

~ = (flV(II':~:II)rl(flL(II':~~rr))

a galement toutes ses valeurs propres positives. [18] 0

A.4

Les mlanges volatilits relatives constantes.

Le modle volatilits relatives constantes est classique en gnie chimique, bien qu'il
ne soit pas vraiment un modle thermodynamique et qu'il n'existe pas de tabulation de ses
paramtres: il ne relie que les compositions, sans notion de temprature et de pression, et
s'appuie simplement sur la constatation que, pour de nombreux mlanges, les sparations
(YaXb)!(XaYb) (ou volatilits relatives) varient peu l'intrieur d'une colonne, c'est--dire
sur un domaine de temprature et de pression limit. Sa forme extrmement simple permet d'obtenir par des calculs explicites certains rsultats mathmatiques, qu'on peut considrer valables pour des mlanges dont les volatilits relatives varient peu. On l'applique
une colonne particulire en prenant dans sa formule les moyennes des volatilits qu'on
a calcul avec un vritable modle thermodynamique.
Nous avons compar numriquement le jacobien de la fonction d'quilibre y du modle
thermodynamique dcrit au paragraphe 3.1.6 et un ajustement du modle volatilits
relatives constantes, c'est--dire le modle avec Qa = Va! X a , au mme point stationnaire.
Nous avons essay comme modles de colonne: celui 95 tages avec thane, thne ( C 2 )
et mthane ( Cl ) utilis pour les simulations au chapitre 5.2, un dpropaniseur 42 tages
avec thane ( C2 ) , propane (C3 ) , butane ( C4 ) , pentane (Cs), et une stabilisation
d'essence 38 tages avec thane, propane, butane, pentane, et deux essences ( partir
du butane, il s'agit de constituants agrgs reprsentant plusieurs constituants dans une
certaine proportion). Les diffrences relatives sur les termes des jacobiens taient de l'ordre
de moins de 1%. Le modle volatilits relatives constantes est une bonne approximation
de la fonction d'quilibre pour un mlange d'hydrocarbures.

A.4.

Les mlanges volatilits relatives constantes.

69

On peut le dfinir par la fonction de bulle; pour un ensemble de constituants C

y:

1';. =

~Xa ,

Ax

= 2:aEcO'aXa ,

o les volatilits des constituants (O'a)aEC sont des rels strictement positifs distincts
constants, c'est--dire indpendants de la composition. Les constituants les plus lgers
sont ceux aux plus grandes volatilits 0': on formule ainsi simplement le fait que l'ordre
des volatilits des constituants du lger au lourd est le mme toutes les compositions.
On vrifie immdiatement que la fonction de bulle est dfinie et continment drivable
sur le simplexe ferm, inversible en fonction de rose en prenant les inverses des volatilits

et que les sparations sont constantes.

Nous examinons le jacobien de la fonction de bulle dans les coordonnes z = (Za)aEC' ;
le constituant manquant dans C par rapport C est not 0; il est pratique d'indexer
aussi les 0' dans l'ordre croissant sur les entiers 0, l, 2, ... ,c - I - 0'0 est alors le plus
petit, et on a C = {O.. c -I}, C = {I .. c -I} La fonction de bulle s'crit

et son jacobien vaut

c'est une matrice diagonale lments positifs moins une matrice de rang lgalement
lments positifs. Soit v E R C ' (v -1- 0) un vecteur propre de AxY'y associ la
valeur .\: A x Y'yv = Av , ce qui donne

Le vecteur propre ne peut pas se trouver dans le plan 2:aEC'(O''' - O'o)va = 0: il aurait
alors au moins deux composantes non nulles a et b pour lesquelles (0'" - .\)v" = 0 =
(O'b - .\)Vb , d'o O'a = .\ = O'b, ce qui n'est pas; on peut donc diviser par (O'a-.\) , qui
n'est nul pour aucun vecteur propre. Il vient

d'o

et
1 = 2:"

:0

~" -=- s;

Comme 0'" > 0'0 et y" > 0, le deuxime membre est une somme de fonctions harmoniques croissantes de >., chacune d'asymptote horizontale 0 et d'asymptote verticale les
0'",
a = 1 .. c - I : c'est une fonction croissante, allant de 0 +00 sur ] - 00, 0'1 [ ,

Chap. A. Rsultats.

70

de -CXJ +CXJ sur les intervalles ]O'a,O'a+d, a = 1 .. c - 2, et de -CXJ 0 audel. Cette fonction passe donc l'ordonne 1 une fois dans les intervalles ] - CXJ, ad et
]O'a,O'a+d, a = 1 .. c - 2: les valeurs propres de A x \7 y sont relles, et classes

0<

<

<

0'1

<

0'2

< ... <

C-

<

O'C-l

et les valeurs propres de \7y sont les a/A x, a = 1 .. c -1; ce classement des vaut
sur le simplexe entier, les 0' tant constants. Le jacobien de y est diagonalisable, de
spectre rel positif. [9]
Le vecteur propre associ a / A x est
a

v, ]J

= O'j- a

Il se trouve en effet que 2:: j EC'(O'j - O'o)v'J = 1 , d'o

(A.6)

On remarque qu'on peut choisir les vecteurs propres dans le demi-espace 2::aEC.(O'aO'o)va > 0, et que les signes des composantes v'J dpendent de j et de a, mais pas
de la composition: chaque vecteur propre reste dans un quadrant diffrent de l'espace; la
base propre de \7y varie dans des limites troites quand x dcrit le simplexe.
Le dterminant de Ax \7y est le produit de ses valeurs propres, qui est encore le
produit des solutions de

a~' Ya::a -=- ~o =

ou aussi, en chassant le dnominateur, le produit des racines du polynme

z= Ya(O'aaEC'

0'0)

II(O'k - ) - II (O'a- ) ,
aEC'

kl'a

qui vaut le terme constant (la valeur pour = 0 )

LYa(O'a-O'o)IIO'k- II O'a
aEC'
kl'a
aEC'

II O'a (z=O'a;xO'oXa
aEC-

L (~Xa)(O'a-O'O)rrO'k-

aEC'

-1)

kl'a

-~

II O'a
aEC-

-i

rr O'a (A.7)
aEC'
rrO'a
aEC

divis par le coefficient du terme dominant -( _)C-l , soit -1

Le dterminant de
A x \7 y vaut (l/Ax)TIaEcO'a,donccc1uide \7y vaut TIaEc(O'aIAx) Comme on pouvait
l'attendre puisque y est un diffomorphisme du simplexe dans lui-mme, sa jacobienne
est suprieure 1 dans un domaine et infrieur 1 dans le reste.

A.S.

A.5

71

Les dbits uniformes dans une colonne.

Les dbits uniformes dans une colonne.

On construit les modles de colonne simples avec des dbits complets uniformes dans
chaque section. Le terme de gnie chimique est: hypothse des dbits molaires constants.
On la dmontre classiquement en rgime stationnaire en liminant le bilan d'nergie
partir des hypothses suivantes: [30, 48]
des constituants a E C sont gales entre elles,
- les enthalpies partielles liquide
et h~ de la vapeur sont gales entre elles;
- les enthalpies partielles h; et h~ des constituants a E C sont indpendantes de
la composition et de la temprature.
Nous en donnons une formulation plus prcise. Notons h;, h~ et h;v les valeurs
constantes des enthalpies partielles liquide, vapeur, et de vaporisation des constituants
a E C

h;

Proposition A.t Si les enthalpies partielles de vaporisation des constituants a E C

sont indpendantes de la composition et de la tempr-ature, alors les expressions

sont uniformes en rgime stationnaire le long d'une section.

Preuve. Un tage l'intrieur d'une section de la colonne a un dbit liquide arrivant de

l'tage suprieur, un dbit liquide partant l'tage infrieur, un dbit vapeur arrivant de
l'tage infrieur et un dbit vapeur partant l'tage suprieur. Les bilans statiques de
matire et d'nergie (3.2) s'crivent

o =

U- 1 + VP+I - LP - VP

HL,p-l

+ HV,p+l _

HL,p _ IIv,p

La relation (3.8) permet d'exprimer le bilan d'nergie

+ HV,p+I _

IIL,p-l

I:a h;L~-l + I:a h~V:+l - I:a h;L~ - I:a h~VI'

I:a h;(L~-l - L~) + I:a h~(VI'+l - VI')

HL,p _ HV'P

En soustrayant le bilan statique de matire de chaque constituant a multipli soit par

soit par h~ , il vient

La(h~

h~)(f-,~-l

h;

L~)

I:a(h~ - h;)(VI' - V:+ 1 )

soit

=
=

I:a h;V(L~-l - L~)

I:a h;v (VI' - VI'+l)

(A.8)

Les expressions I:a h;v L~ et La h;vV: sont uniformes dans chaque section de la
colonne. 0

72

Chap. A.

Rsultats.

On conserve ce rsultat dans les modles dynamiques si les variations des dbits complets sont suffisamment lentes pour qu'on puisse ngliger leur dynamique devant celle des
compositions.
Sous l'hypothse supplmentaire que les h;v molaires sont gaux pour tous les constituants, on retrouve bien sr que les dbits complets Lp = LaEC L~ et Lp = LaEC L~
molaires sont uniformes dans chaque section.

Annexe B
Mise en uvre des simulations.
Nous prsentons ici les principaux moyens informatiques utiliss pour les simulations:
criture du modle de simulation, du modle de commande, et bouclage. Nous expliquons
ensuite comment sont construits les simulateurs de gnie chimique, et prsentons les deux
simulateurs que nous avons utiliss et l'algorithme pour l'intgration dynamique.
Les simulations dynamiques ont t calcules avec SPEEOUP, qui ncessite une initialisation prcise du systme cause de son architecture par quations, et qui ne dispose
pas d'algorithme pour en fournir une partir seulement des conditions opratoires pour
un systme reprsentant un procd contre-courant avec recyclage, comme une colonne
distiller. ASPEN est capable de calculer un tat statique partir des conditions opratoires,
c'est--dire par exemple la composition d'alimentation, les dbits d'alimentation et de recyclage et leur nergie, ainsi que d'un profil de pression fix a priori, mais affiche les
rsultats avec une prcision trop faible pour SPEED Up en Dynamic: les rsultats ont
t recalculs plus haute prcision avec SteadyState, et c'est l'tat statique rsultant
qui sert d'initialisation aux Dynamic. ASPEN possde le modle thermodynamique de
Redlich-Kwong-Soave en bibliothque. Nous avons programm les modles thermodynamique et hydrodynamique pour SPEEOUP, qui les utilise la fois pour le SteadyState
et le Dynamic.
Les simulations sont des intgrations du systme en boucle ferme de la figure 5.1 de
la page 46. Seules les quations de la colonne (3.2), (3.1), (3.10) et (3.14) de la page 23
sont dclares au simulateur. La colonne est dcrite comme une suite de unit-tages avec
les models qui s'y rapportent: le model ci-aprs correspond aux tages intermdiaires.
Les noms de variables suivent les conventions: MOLES et ENERG sont les rtentions de
matire et d'nergie, FLOW et ENTH les dbits de matire et d'nergie, INP et OUTles dbits
entrant et sortant, LIQ et VAPles dbits liquide et vapeur; TEMP est la temprature et PRES
la pression, DELTAJ'UG la diffrence des fugacits; HoLD..HEIGHT est la hauteur de rtention
liquide sur le plateau, DoWNC..HEIGHT la hauteur de liquide dans le dversoir. le '_U' dsigne
les variables de l'tage infrieur. Le dise 'j' ouvre un commentaire jusqu' la fin de la
ligne. set dclare les paramtres NCfixant le nombre de constituants, qui est la longueur
de tableau des dbits, des rtentions de matire et des fugacits, et NTRAY indexant la
gomtrie de l'tage qui intervient dans l'hydrodynamique. type dclare les variables
et leur type, stream les variables communes deux units, equation les quations et
procedure les fonctions. le **** est la fin de paragraphe. Le dollar '$' dsigne la drive
par rapport au temps - le temps en question est toujours le temps de simulation dans la

Chap. B. Mise en uvre des simulations.

74
suite.
model P
setNC ,NTRAY
type

#[INP]
INP_FLOW_LIQ , INP_FLOICVAP
INP_EHTH_LIQ INP_ENTH_VAP

as

array( NC)

of

HOLE_FLOW
ENTH]LOW

array( NC)

of

HOLE_FLOW
ENTH_FLOW

# [OUT]
OUT_FLOW_LIQ , OUT_FLOW_VAP
OUT_ENTH_LIQ , OUT_ENTH_VAP

# [HYD]

PRES
,PRES_U
HOLD_HEIGHT HOLD_HEIGHT_U

as

PRESSURE
LENGTH
#[LOC]

as
array(NC) of
HOLE_HOLD
HOLES
ENER_HOLD
ENERG
FUGACITY
as array(NC) of
DELTA_FUG
TEMPERATURE
TEHP
LENGTH
DOWNC_HEIGHT
result
TEMP , PRES, OUT_FLOW_LIQ , OUT_FLOW3AP , DDWNC_HEIGHT
stream
output 1 is OUT]LOW_LIQ, DUT_ENTH_LIQ
,INPJLDW_VAP,INP_ENTH_VAP
, PRES_U
HOLD_HEIGHT_U
input 1
is INP]LOW_LIQ, INP_ENTH_LIQ
,OUT]LOW_VAP ,OUT_ENTH_VAP
,PRES
,HOLO_HEIGHT
equation
$MOLES = (INP]LOW_LIQ+ INP]LOW_VAP)
- (DUT]LOW_LIQ+OUT]LOW_VAP);
$ENERG = (INP_ENTH_LIQ+INP_ENTH_VAP)
- ( DUT_ENTH_LIQ + OUT_ENTH_VAP ) ;
= DELTA]UG;
procedure
( HOLES , ENERG , OUT_ENTH_LIQ , OUT_ENTH_VAP , DELTA]UG
DOWNC_HEIGHT , PRES_U
, HDLD_HEIGHT )
THERHO_HYDRO
( HTRAY OUT_FLOICLIQ , DUT_FLDW_VAP , TEHP PRES
, INP_FLDW_VAP , HOLD_HEIGHT_U )

Les variables de matire sont les dbits et les rtentions totales. Les seules quations
dclares sont les bilans de matire et d'nergie, et les galits de fugacits. Les fonctions d'hydrodynamique et de thermodynamique sont runies en une unique fonction
compile comme subroutine de FORTRAN, qui appelle une subroutine de thermodynamique et une d'hydrodynamique -les variables telles que les fractions molaires, qu'utilise
la thermodynamique, les volumes molaires que calcule la thermodynamique et qu'utilise
l'hydrodynamique, ou les volumes des phases que calcule l'hydrodynamique et qui interviennent dans les rtentions n'apparaissent pas au simulateur. Les tages particuliers
d'alimentation et de soutirage ont des bilans lgrement modifis, l'tage d'alimentation
a un calcul d'enthalpie pour le dbit entrant, le condenseur et le rebouilleur ont des
quations supplmentaires pour leurs rgulations et n'ont pas d'hydrodynamique.

75

Tous les paramtres de simulation susceptibles de changer ont t rassembls dans un

unique fichier lu par un interface spcial acceptant un format souple. Le fichier ci-aprs
prsente la base du fichier de paramtres pour les simulations en boucle ferme autour
d'un rgime stationnaire. Les lignes iunction et suivantes dfinissent des variables du
modle de la colonne en fonction du temps: les consignes de pression de tte (en bar) et
de volume des ballons de reflux et de rebouillage (en m 3 ) , le dbit (en kmol/min) et la
composition de l'alimentation (en fraction molaire), les dbits des soutirages et les deux
consignes d'impuret. Les lignes regul paramtrent les quations des rgulations proportionnelles intgrales du modle. Les lignes cale dfinissent l'interface pour la commande:
les dbits de reflux LIQ...REQ et de rebouillage VAP-STR sont calcules en fonction des consignes CDM_ .. , des mesures de temprature TL .. , du dbit vapeur arrivant l'tage du
distillat VAP...REC et du dbit liquide arrivant l'tage du rsidu LIQ_STR, des mesures de
pression PRES_ et de la mesure de composition du dgazage de pasteurisation MEAS_..
Les lignes smooth dfinissent le lissage des commandes calcules. Les programmes calculant les commandes sont des modles statiques galement compils par SPEEDUP, qui
contiennent les tages 10 41 ou 78 95 avec les mmes bilans sous forme statique, avec
les mmes fonctions thermodynamiques, et avec les mmes valeurs de pression (les valeurs
du modle dynamique sont passes aux programmes de commande).
interruptfatal=2
status first,next=100000,speedup
function TOP_PRES/number=5 , TOP_LEVEL/number=6 , BOT_LEVEL/number=7
start
20.5
.25.0
,25.0
/forever
regul TOP_PRES /number=3/gain=2.5
/reset_time=2.0/coef=2.8
/drop=1.0
regul TOP_LEVEL/number=2/gain=1. OD-1/reset_time=2. 0/coef=1000 .0/drop=1. 0
regul BOT_LEVEL/number=l/gain=l. OD-1/reset_time=2. 0/coef=50. 0 /drop=1.0
funetion
start
function
start
function
start

VAP_FEED/number=4
34.0
/forever
CH4/number=1 , C2H4/number=2 C2H6/number=3
1.2D-3
, 0.82
, 0.17
/normalized/forever
DEGAS/number=21
1.0000000
/forever

function
start
smooth/constant=10.0
funetion
start

REC_REFLUX/number=22 , REBOIL/number=23
103.6473
,91.755539
LIQ_REC
,VAP_STR

PRD_REC_PUR/number=24
5.0D-4

, BDT_STR_PUR/number=25
, 1.2D-2
/forever

cale select EDI_TIME_STEP 15.0

cale input MEAS_DEG_CH4,MEAS_DEG_C2H4.MEAS_DEG_C2H6 ,COM_REC_CH4,CDM_REC_C2H4,COM_REC_C2H6
input PRESjrange=(10,41)
input COM_STR_CH4,COM_STR_C2H4,COM_STR_C2H6
input PRESjrange=(79,95)
input VAP_REC,LIQ_STR
input TI124,TI43

cale
cale
cale
cale
ealc

Chap. B.

76

Mise en uvre des simulations.

!-- auxiliary commands on both rectification and stripping -------------------calc auxiliary=SPEEDUP_AUXREC/install="tllSPEEDUP_AUX [. AUXREC]" LIQ_REC MEAS_DEG_CH4,MEAS_DEG_C2H4,MEAS_DEG_C2H6,COM_REC_CH4,COM_REC_C2H4,COM_REC_C2H6 ,VAP_REC,TI124,PRESjrange= (10 ,41)
calc auxiliary=SPEEDUP_AUXSTR/install="GlSPEEDUP_AUX [.AUXSTR]" VAP_STR COM_STR_CH4,COM_STR_C2H4,COM_STR-C2H6,LIQ_STR,TI43.PRESjrange=(79,96)
calc output TIME,LIQ_REC,VAP_STR

spavn ren CMND.DISPLAY .BATCH

Les simulations partent de l'tat statique correspondant aux entres de ce fichier, qui
se fonde sur un calcul de rgime de fonctionnement de la colonne: les ratios valent 0.7 en
rectification, o la qualit est commande en ralit, et 0.9 en puisement.

B.1

Les types de simulateurs.

Les simulateurs de gnie chimique existent sous deux formes. Les uns ont une structure
squentielle modulaire: les modules, ou units du schma de procd, sont calcules
sparment et successivement, et le systme est une simple juxtaposition d'units. Cette
approche permet de converger partir de peu de donnes d'initialisation, et s'accorde
bien une implmentation de calculs de dimension et d'valuation de cot de fonctionnement. La rsolution des recyclages, des spcifications de certaines grandeurs, ou de
calculs d'optimisation est mene par des itrations extrieures la rsolution du systme,
avec des algorithmes simples, monovariables dans la plupart des cas, qui exploitent peu
d'information sur le systme et sont sujets des directives de la part de l'utilisateur, telles
que le jeu de variables manipuler dans les itrations.
Les autres ont une structure par quations: ils traitent le systme globalement par
des algorithmes gnraux, ce qui permet de rsoudre facilement des problmes tels que
l'estimation de paramtres ou l'intgration dynamique. Ils ncessitent en revanche des
initialisations prcises de toutes les variables, ce qui les destine plutt calculer des
variations partir d'une solution connue, et il est difficile d'interprter une divergence
des calculs. Les calculs de recyclages, mme imbriqus, ou les spcifications de grandeurs quelconques ne posent pas de problme particulier, puisque toutes les quations
sont traites de la mme faon. L'analyse de la structure du systme permet aussi un
diagnostic sur l'absence de solution l o un algorithme squentiel resterait bloqu sans
interprtation, par exemple quand l'index est suprieur deux.
Les deux types d'approche sont complmentaires, et les simulateurs tendent les
combiner aujourd'hui: les traitements modulaires voluent d'algorithmes squentiels vers
des algorithmes simultans utilisant plus d'information sur le systme, et les traitements
par quations voluent vers des traitements mixtes 011 le modle peut tre rsolu par morceaux successifs. Certaines quations sont ainsi rsolues par des algorithmes spcifiques et
d'autres par des algorithmes gnraux. Les simulateurs se diffrencient pour l'exploitation
industrielle surtout par les banques de donnes physiques et par la bibliothque de modles
disponibles. Les banques de donnes peuvent en gnral tre compltes par rgression ou
par estimation. Des modles peuvent souvent tre ajouts, dans des langages descriptifs

B.2.

77

Le logiciel ASPEN.

spcifiques avec certains simulateurs, mais avec la plupart par des routines du langage
procdural FORTRAN, l'criture des algorithmes tant laisse l'utilisateur.
La description d'un procd est lourde, et la plupart des simulateurs compilent un
fichier descriptif: ils analysent les spcifications, crivent dans le langage procdural FORTRAN un fichier-source qui reprsente les quations du procd, puis lient un excutable
avec le solveur et les modules de proprits physiques, avec lesquels ils rsolvent le systme.
La description interactive est une tendance rcente, donnant des simulateurs qui allient
l'entre par menus et une aide en ligne pour rduire la consultation des manuels de
rfrence, qui affichent le schma de procd sous forme graphique, qui reoivent les
mesures d'un procd muler par interface en temps rel, et qui donnent leurs rsultats
en graphiques.
Avec le recyclage et le contre-courant, un modle de colonne distiller est un systme
difficile rsoudre. Les simulateurs modulaires rsolvent itrativement une quation une
variable, en coupant un dbit judicieusement choisi: en fonction de ce dbit, le recyclage
est calcul squentiellement de l'unit o il entre jusqu' celle o il sort. L'quation qui
rsulte est que le dbit est gal l'entre et la sortie du recyclage coup. La mthode est
intressante en statique par sa bonne convergence, mais elle est difficile coupler une
intgration dynamique. Les simulateurs par quations sont les plus adapts l'intgration
dynamique d'un recyclage parce qu'il existe des algorithmes spcialiss.

B.2

Le logiciel

ASPEN.

ASPEN est un logiciel de simulation statique de gnie chimique en architecture squentielle

modulaire, travaillant par compilation. Il possde une vaste banque de donnes physiques
et une large gamme de modles d'unit.
A cot du choix des constituants, du modle thermodynamique et des units de mesure,
la colonne est dcrite comme un bloc de distillation fractionne en prcisant le nombre
de ses tages, les positions et les phases de l'alimentation et des soutirages, le profil
de pression. On peut spcifier directement les grandeurs manipulables, celles qu'on
peut aussi imposer sur une colonne relle, comme la composition de l'alimentation, les
conditions de fonctionnement, telles que le reflux, les dbits de soutirage, les changes de
chaleur. Une grandeur qui n'est pas impose mais rgule sur une colonne relle, telle
qu'une impuret au soutirage, ne peut tre spcifie dans le modle qu'en prcisant une
variable manipulable qui sera ajuste par un algorithme monovariable. Les rsultats se
rpartissent sur une douzaine de fichiers, dont principalement un de diagnostics, un de
suivi des boucles de convergence, et un des conditions de fonctionnement et des divers
profils de la colonne.

B.3

Le logiciel

SPEEDUP.

SPEEDUP est un logiciel de simulation en architecture par quations, travaillant par

compilation. Il comporte un compilateur pour un langage de description de systmes
d'quations, et un environnement en interface avec divers algorithmes mathmatiques
gnraux capables de:
- SteadyState: rsolution de systmes statiques,

78

Chap. B.

Mise en uvre des simulations.

- Optimization: optimisation,
_ Dynarnic: intgration dynamique de systmes algbro-diffrentiels,
- Estimation: estimation de paramtres;
plusieurs algorithmes peuvent exister pour un mme calcul. Les algorithmes analysent
la structure creuse du systme, qui traduit que la plupart des quations ne dpendent que
des variables de l'tage ou des tages voisins, et utilisent des algorithmes de matrices
creuses. SPEEDUP n'est cependant pas un logiciel d'analyse de systmes: l'utilisateur n'a
pas accs l'information intermdiaire des calculs, telle que le jacobien du systme.
Un systme est divis en units qui sont regroupes par models dans lesquels sont
crites les quations et la description de leurs variables. Cette reprsentation en deux
niveaux permet de n'crire qu'une fois une squence d'quations rpte sur plusieurs
jeux de variables, mais restreint la porte des variables une unit. En gnie chimique,
les variables apparaissant dans deux uni ts diffrents sont principalement les dbits, qui
apparaissent dans deux bilans. L'quivalence de deux variables s'crit en spcifiant J'une
comme input et l'autre comme output dans leur model, ces strearns entre units tant
donns dans un flowsheet. L'interface avec des subroutines de FORTRAN est facile, qui
permet d'inclure des fonctions de forme complexe, et de traiter certaines quations par
des algorithmes spcifiques. Le compilateur analyse la description du systme et compte
les degrs de libert: nombre de variables moins nombre d'quations ou de sorties de
procdure.
Certaines subroutines sont appeles avant la rsolution du systme, de faon obtenir
une initialisation cohrente sur des jeux de variables relies entre elles. Il dcompose le
systme en une suite de blocks d'quations dans laquelle chaque block est indpendant
des suivants. Cet algorithme permet des calculs lorsque certaines variables ne sont pas
initialises. Pour une colonne distiller, cette dcomposition donne en fait un seul grand
block avec les bilans et les quilibres du recyclage en contre-courant, et des blocks de
dimension 1 pour les autres quations.
Le solveur dynamique intgre le systme par l'algorithme de Gear (le seul disponible)
et enregistre les valeurs des variables interpoles aux temps spcifis, qui peuvent tre
affichs ou sortis sur fichier.
Les mot-cls du langage s'inspirent du gnie chimique, sans que cela apporte une
quelconque notion aux objets utiliss, et les systmes sont dcrits malgr les apparences
sous une forme mathmatique gnrale: le compilateur connat des quations mais pas
de bilan, d'quilibre ou de rgulation, connat des variables mais les notions de constituant, de phase, de matire ou d'nergie sont limites l'interface avec la banque de
donnes physiques (qui est juste titre classe comme extension dans le manuel), analyse
les degrs de libert comme condition globale mais pas par rapport aux possibilits du
gnie chimique, connat des entres mais pas d'alimentation, de reflux ou de rebouillage:
SPEEDUP est un simulateur, mais pas vraiment de gnie chimique. La bibliothque de
models est principalement une liste d'exemples, et l'utilisateur est conduit crire des
modles lui-mme, ce pour quoi il a en dfinitive une complte latitude.
Facilement prsent comme l'tat de l'art en simulation, SPEEDUP contient effectivement des algorithmes mathmatiques gnraux rcents et un minimum d'analyse
de systme d'quations - mais, au moins jusqu'. la version 5.1, l'environnement qui
est sens assurer le lien avec ces algorithmes est un cocktail d'ides modernes prises
droite et . gauche, pas repenses dans le cadre du simulateur, jurant avec d'autres points

BA.

L'algorithme de Gear.

79

vieillots, surcharg mais jamais refondu. L'implmentation sur VAX est une simple copie
de celle sur IBM, dont on a repris une gestion entirement en mmoire virtuelle, trs
lourde et lente, fragile au point que n'importe quelle interruption peut faire perdre toute
les donnes, truffe d'erreurs au point que les donnes se corrompent parfois en cours
de calcul et ... inutile parce qu'elle ne correspond pas l'architecture de l'ordinateur.
L'criture et l'interface datent du vieux systme d'exploitation VM/CMS. L'accs interactif et les diagnostics ne sont pas adapts aux systmes de plus d'une ou deux dizaines
d'quations, les fichiers de diagnostics ont une taille astronomique qui les rend inutilisables. Des notions classiques de l'informatique, telles que fichier-source, tat courant,
type de variable, l'analyse de syntaxe, la compilation automatique, la session de travail, ou l'excution en batch (arrire-plan), sont tronques, dfigures ou escamotes il ne s'agit l pas que de difficults de dveloppement. Le manuel est lnifiant, il se tait
sur de nombreux points dlicats, il n'est pas tenu jour (les commandes Quit et Link,
pourtant importantes, n'taient pas documentes dans les versions 4.), il considre certaines possibilits de l'environnement comme inutiles (sic.) (la commande Link, une fois
qu'elle tait documente dans les versions 5) et ose prendre le contre-pied de documentations modernes d'autres constructeurs ou dveloppeurs (on y dnigre les noms logiques
de VMS ou les parameters de FORTRAN). Les tourderies de l'utilisateur sont rarement
rattrapes. L'ensemble n'a pas t test srieusement. Les systmes ne sont traits que
jusqu' une fraction du nombre d'quations annonc. L'utilisateur n'a pas connaissance
des paramtres intervenant effectivement dans les algorithmes et ne peut pas surveiller la
progression des calculs. Il manque le diagnostic fondamental sur la divergence des calculs
(il a t ajout pour la version 5.3, donc au bout de 30 ans, mais avec une erreur qui
le rendait inutilisable jusqu' la sous-version 5.3B), ce qui est d'autant plus cruel que
certains des algorithmes initialisent le systme dans un ordre qui dpend de sa structure
d'ensemble, donc imprvisible pour l'utilisateur. Les dfauts sont si nombreux que trois
ans d'utilisation intensive ne suffisent pas pour arriver travailler en confiance: SPEEDUP fait largement ce qui lui plat, et russir crire un systme de telle sorte qu'il puisse
tre simul n'est pas drle. On regrettera finalement que l'ensemble est construit trop
pour sembler connu un technicien: le vocabulaire est tir du gnie chimique et plaqu
sur des solveurs sans autre considration. Les rsultats sont crits dans un beau format
inutilisable par d'autres programmes et interpols, ce qui imite un quipement de temps
rel mais masque les vraies sorties des algorithmes. Le seul FORTRAN est impos comme
langage des programmes externes, alors qu'il n'apporte aucun avantage, qu'il dpend fortement de l'ordinateur, qu'il est difficile apprendre et utiliser correctement, et qu'il
est notoirement connu pour prolonger la mise au point de programmes plus complexes
qu'un algorithme abstrait, pour rsulter en une criture brouillonne, et pour entraver un
dveloppement et une maintenance de longue dure ou en quipe.

BA

L'algorithme de Gear.

L'algorithme d'intgration dynamique utilis dans SPEED Ur est celui dvelopp par
Gear, adapt aux systmes algbro-diffrentiels, qui avait t initialement conu comme
une amlioration des algorithmes pour les systmes mal conditionns, avec des constantes de temps trs diffrentes. [13,6,28,43] Il traite directement un systme implicite

Chap, B. Mise en uvre des simulations.

80

F(Y,Y,t) = 0 d'index 0 ou 1, sans que

Y soit spar en variables diffrentielles et

algbriques. (21) Si le systme contient des quations algbriques, certaines coordonnes
de Y n'interviennent pas et le jacobien fJF/fJY est dgnr. L'algorithme converge
aussi avec des systmes sous forme semi-implicite d'index 2, [22] mais les valeurs obtenues
avec des systmes d'index plus lev sont a priori diffrentes de la solution. [44, 35) Nous
ne connaissons pas de calcul de majoration de l'erreur, qui doit dpendre de drives des
fonctions et des entres du systme un ordre qui augmente avec l'ordre de l'algorithme.
L'algorithme se dcompose en trois tapes. Notons t n la suite croissante des instants
d'intgration, h n = ln - t n- 1 la suite des pas d'intgration, et les tats discrtiss Y n et
les drives estimes Y;, qui sont solution de F(Y;, Yn , ln) = 0
- A t p , l'algorithme extrapole les estimations Yp et ~l partir du polynme de
degr au plus k qui interpole les y;'-k..p-l et Yp1_ 1 ; cet ordre k de l'algorithme ne
doit pas dpasser 5 en pas variable pour des raisons de stabilit; le dpart s'effectue
l'ordre 1 de manire n'exiger la que Ya ou y a1 comme information;
- il corrige ensuite l'extrapolation en rsolvant F(~l + lk/hp E, ;, + E, t p ) = 0
par un algorithme de Newton initialis avec E = 0 ; cette rsolution utilise l'inverse du
jacobien Ik/hp.F/Y +F/Y ,qui est inversible pour toutes les valeurs de h p sauf des
valeurs isoles si le problme est correctement pos; le jacobien est conditionne comme
l/h p la puissance l'index, et donc plus difficile inverser lorsque le pas diminue. Une
approximation suffit pour les calculs, et il est conserv sa valeur aussi longtemps que
la correction converge bien. Les valeurs Y;, = Yp + E et Yp1 = Ypl + ik/ h p E sont
alors telles qu'un polynme de degr au plus k interpole les Y p - k ..p et y;'l; cela donne
k + 2 conditions et est possible pour un certain coefficient lk qui ne dpend que de k ;
- il estime ensuite l'erreur locale d'intgration, qui se met sous la forme:
h;+l . y(k+l) /(k

+ 1)! + termes

d'ordre au moins(k

+ 2)

on a not y(k+l) la drive d'ordre k+l de Y, qui est value par une approximation qui
ne demande pratiquement aucun calcul supplmentaire: le contrle automatique du pas
et de l'ordre d'intgration est facile raliser. On dtermine ensuite l'instant t pH auquel
l'algorithme poursuit; la stratgie de cette dtermination favorise les simulations pour un
certain type d'volution du systme, par exemple celles o le systme se stabilise aprs un
certain temps, ou celles o il entretient des variations, certaines stratgies pouvant mme
chouer l o d'autres russissent intgrer [7] - il semble qu'il est impossible de mettre
la disposition des utilisateurs un programme avec plusieurs stratgies.
Notons que les erreurs numriques se cumulent sur les variables diffrentielles, le cumul
se rduisant ou s'amplifiant selon qu'il se produit dans une partie stable ou instable du
systme. Ceci ne cause pas de problme dans notre cas parce que le modle de gnie chimique est stable, et que les rgulations proportionnelles intgrales sont neutres: le systme
converge toujours vers le bon rgime statique quant aux variables de gnie chimique.

Annexe C
Ordinateurs et logiciels.
Les ordinateurs et les logiciels suivants ont servi pour cette tude:
- MICROVAX II sous VMS (Digital Equipement),
- TANDON TARGET (AT2) sous MsDos (Tandon Corporation), WINDOWS (MicroSoft
Corporation), DESQvIEW (QuarterDeck Office Systems) et 4Dos (JP software),
EpSON PC PORTABLE (AT2) sous MsDos (Seiko Epson Corporation) et 4Dos
(JP software),
- MACINTOSH I1SI sous MACOS (Apple Corporation);
- SPEEDUP (Prosys Technology): intgration dynamique du modle de colonne et
calcul de la commande par agrgation,
- ASPEN PLUS (Aspen Technology): calculs statiques du modle de colonne,
- VAX FORTRAN et DEBUG, CLD, MESSAGE (Digital Equipement): programmes de
calcul, paramtrage des simulations, affichage,
- HARWELL SUBROUTINE LlBRARY (version IBM) (United Kingdom Atomic energy
authority, Harwell Laboratory): calculs matriciels,
- LINPACK (University of New Mexico, Argonne national Laboratory): calculs matriciels,
- BASILE (@INRIA, France): calculs matriciels;
- KERMIT (@Columbia University): transfert de fichier-sources,
- ST240 (SmarTerm): transfert de fichiers de donnes,
KEDIT (Mansfield Software Group): dition des fichier-sources et de fichiers de
donnes numriques,
- 1-2-3 (Lotus Development Corporation): dition des graphiques,
- EXCEL (MicroSoft Corporation): impression des graphiques,
- DESKDRAW (Zedcor): dition de schmas,
- ~TEX (@Leslie Lamport) sous TFXTURE (Blue Sky Research) et sous PcTEX (Personal TeX), BlBTpX (Stanford TeX project) et MAXvIEW (Aurion Tecnologia): composition
du document,
- SPRINT (Borland International): vrification orthographique.

Index
active - surface 20
alimentation - colonne 4
asschement 20
azotrope - quilibre 16
ballon - colonne 14
barycentriques - coordonnes 30
cascade - colonne 13
coefficient d'interaction 17
compartiment - modle 41
complte - grandeur 12
complte - grandeur 7
composition - mlange 30
condenseur - colonne 4
constants - dbits molaires 71
constituant-cl - colonne 6
contre-courant 4
critique - quilibre 16
dbits molaires constants - hypothse 71
degr topologique 65
dversoir - plateau 20
nergie interne - thermodynamique 15
engorgement 20
enthalpie - thermodynamique 15
enthalpie libre - thermodynamique 15
enthalpie partielle de vaporisation 39
entropie - thermodynamique 15
puisement -- section 4
quation d'tat - thermodynamique 17
quations - simulateur 76
thane - constituant 45
thne - constituant 45
thylne - constituant 45
extensive - grandeur 15
fraction fraction -

composition 30
constituant 12

fraction fugacit Gear -

constituant 7
thermodynamique 18

algorithme 79

hydrogne -

constituant 45

index - systme 24
intensive - thermodynamique 16
interaction - coefficient 17
isobare - quilibre 38
jacobienne -

fonction 65

Kwong - modle de Rcdlich- ..

17

-Soave

lger - colonne 4
lissage - commande 46
loi d'aration - hydrodynamique 19
loi de dversoir - hydrodynamique 19
lourd - colonne 4
manipulable - grandeur 77
mthane - constituant 45
module - simulateur 76
partielle - enthalpie de vaporisation 39
partielle - grandeur 15
partielle - grandeur 7
perte de charge - hydrodynamique 19
potentiel chimique - thermodynamique
15
pression - thermodynamique 15
produit - distillation 4
pseudo-binaire - colonne 6
pseudo-racine - quation 18
quantit -

thermodynamique 15

rebouillage - dbit 4
rebouilleur - colonne

Index

83

rectification - section 4
recyclage - colonne 4
recyclage - dbits 4
Redlich-Kwong-Soave - modle 17
reflux - dbit 4
section - colonne 4
sparation - quilibre 30
squentiel modulaire - simulateur 76
simplexe-relative - fonction 31
simplexe 30
Soave - modle de Redlich-Kwong- ..
17
sous-simplexe 30
soutirage - colonne 4
splitter - colonne 45
temprature - thermodynamique 15
totale - grandeur 12
trs lgers - colonne 6
trs lourds - colonne 6
triple - quilibre 16
uniforme 7
vaporisation - enthalpie partielle 39
volatilit - quilibre 30
volatilits - thermodynamique 69
volatilits relatives constantes - modle
68

volume -

thermodynamique 15