To complement the largely manual design of logic control programs in industrial practice, this contribution proposes a method for systematically (and partly algorithmically) deriving logic controllers for given specif...
详细信息
To complement the largely manual design of logic control programs in industrial practice, this contribution proposes a method for systematically (and partly algorithmically) deriving logic controllers for given specifications. The main idea is to structure the information available for the design in form of specific intermediate formats which are iteratively refined and straightforwardly lead to controllers formulated as Sequential Function Charts. To analyze whether the design complies with all given specifications, model-based verification is applied subsequently, i.e. the controller is converted into timed automata, the latter are composed with a plant model, and model-checking algorithmically verifies (or falsifies) logic properties for the composed system. The procedure is described here for the example of a multi-product batch plant.
In wastewater treatment plants (WWTPs) equipped with sludge digestion and dewatering systems, the reject water originating from these facilities contributes significantly to the nitrogen load of the activated sludge t...
详细信息
作者：
BUCKLAND, BBRIX, TFASTERT, HGBEWONYO, KHUNT, GJAIN, DBarry Buckland
Director Fermentation Process Development Tom Brix
Pilot Plant Supervisor Henry Fastert
Chemical Engineer Kodzo Gbewonyo
Biochemical Engineer George Hunt
Senior Biochemical Engineer and Deepak Jain
Biochemical Engineer Merck Sharp and Dohme Research Laboratories
P.O. Box 2000 Rahway NJ 07065REFERENCES Buckland B.C. 1984. The translation of scale in fermentation processes: The impact of computer process control. Bio/Technology 2: 875.|ISI|ChemPort|Bull D.N. 1983. Automation and optimization of fermentation processes. Annual Review of Fermentation Processes 6: 359.|ChemPort|Buckland B.C. and Fastert H. 1982. Analysis of fermentation exhaust gas using a mass-spectrometer p. 119 in Computer Applications in Fermentation Technology. London: Society of Chemical Industry.Tuffile C.M. and Pinho F. 1970. Determination of oxygen transfer coefficients in viscous Streptomycete fermentations. Biotechnol. Bioeng. XII: 849.Wax R. Maiese W. Weston R. and Birnbaum J. 1976. Efrotomycin a new antibiotic from Streptomyces lactamdurans. The Journal of Antibiotics 29: 670.|PubMed|ChemPort|Campbell W.C. Fisher M.H. Stapley E.O. Albers-Schonberg G. and Jacob T.A. 1983. Ivermectin: A potent new antiparasitic agent. Science 221: 823.|PubMed|ISI|ChemPort|Alberts A.W. Chen J. Kuron G. Hunt V. Huff J. Hoffman C. Rothrock J. Lopez M. Joshua H. Harris E. Patchett A. Monaghan R. Currie S. Stapley E. Albers-Schonberg G. Hensens O. Hirshfield J. Hoogsteen K. Liesch J. and Springer J. 1980. Mevinolin: A highly potent competitive inhibitor of hydroxymethylglutaryl-coenzyme A reductase and a cholesterol lowering agent. Proc. Natl. Acad. Sci. 77: 3957.|Article|PubMed|ChemPort|Cooney C.L. and Mou C.-G. 1982. Application of computer monitoring and control to the penicillin fermentation p. 217 in Computer Applications in Fermentation Technology. London: Society of Chemical Industry.
作者：
BULL, DNDaniel N. Bull
Ph.D. is a consultant in fermentation technology and president of Satori Corporation P.O. Box 1730 Montclair N.J. 07042. (201) 783-9787.REFERENCES Graff G.M. Short H. and Keene J.1983. Gene-splicing methods move from lab to plant. Chem. Eng.90: 22-27.|ISI|Broda P.1979. p. 1-3. Plasmids. W. H. Freeman Oxford and San Francisco.Donoghue D.J. and Sharp P.A.1978. Construction of a hybrid bacteriophage-plasmid recombinant DNA vector. J. Bact.136: 1192-1196.|PubMed|ISI|ChemPort|Bok S.H. Hoppe D. Mueller D.C. and Lee S.E.1983. Improving the production of recombinant DNA proteins through fermentation development. Abstract from 186th ACS Natl. Mtg. Washington D.C. Sept. 1.Maniatis T. Fritsch E.F. and Sam-brook J.1982. p. 88. Molecular Cloning. Cold Spring Harbor Laboratory. Guidelines for research involving recombinant DNA molecules June 1983
Fed. Reg.48: 24556-24581. Modifications of physical containment recommendations for large-scale uses of organisms containing recombinant DNA molecules. 1983. Recomb. DNA Tech. Bull.6: 69-70.Bull D.N. Thoma R.W. and Stinnett T.E.1983. Bioreactors for submerged culture. In:Adv. in Biotechnological Proc. A. Mizrahi and A. L. van Wezel (eds.) 1: 1-30.Schmidli B.L. and Swartz R.W.1982. Design considerations for aseptic fermentation. Presentation at 184th ACS Natl. Mtg. Kanas City MO.Sittig W.1982. The present state of fermentation reactors. J. Chem. Tech. Biotechnol.32: 47-58.|ISI|Strek F.1963. Intl. Chem. Eng.3: 533.Uhl V.W. and Gray J.B.1996. Mixing Theory and Practice Vol. I. Academic Press New York.Peters M.S. and Timmerhaus K.D.1968. p. 542. Plant Design and Economics for Chemical Engineers. McGraw-Hill New York.Dickey D.S. and Hicks R.W. Fundamentals of agitation. Chem. Eng.83: 93-100.Oldshue J.Y.1983. Fluid mixing technology and practice. Chem. Eng.90: 82-108.Kipke K.D.1981. Heat transfer in aerated non-Newtonian fluids. Abstract from 2nd Eur. Cong. Biotech. Eastbourne UK April 5-10.Blakebrough N. McM
暂无评论