Computer-Aided Multiscale Modelling for Chemical Process Engineering
|
|
- Morgan Phelps
- 6 years ago
- Views:
Transcription
1 17 th Europen Symposium on Computer Aided Process Engineesing ESCAPE17 V. Plesu nd P.S. Agchi (Editors) 2007 Elsevier B.V. All rights reserved. 1 Computer-Aided Multiscle Modelling for Chemicl Process Engineering Ricrdo Morles-Rodríguez, Rfiqul Gni * CAPEC, Deprtment of Chemicl engineering Technicl University of Denmrk, DK Lyngby, Denmrk, *rg@kt.dtu.dk Abstrct Chemicl processes re generlly modeled through monoscle pproches, which, while not dequte, stisfy useful role in product-process design. In this cse, use of multi-dimensionl nd multi-scle model-bsed pproch hs importnce in product-process development. A computer-ided frmework for model genertion, nlysis, solution nd implementtion is necessry for the development nd ppliction of the desired model-bsed pproch for productcentric process design/nlysis. This gol is chieved through the combintion of system for model development (ModDev), nd modelling tool (MoT) for model trnsltion, nlysis nd solution. The integrtion of ModDev, MoT nd ICAS or ny other externl softwre or process simultor (using COM-Objects) permits the genertion of different models nd/or process configurtions for purposes of simultion, design nd nlysis. Consequently, it is possible to reduce time nd humn resources in the development nd solution of models. Keywords Multiscle modelling, MoT, ModDev, COM-Object, CAPE-OPEN. 1. Introduction The development of specil mterils nd/or chemicl products s well s brod vriety of scientific nd engineering problems, requires models covering wide spectrum of prtil nd temporl scles. Trditionlly, chemicl
2 2 R. Morles-Rodríguez et l. processes hve been modeled through monoscle pproches, which, while not dequte, nevertheless stisfied useful role in product-process design. Product-centric process design integrtes spects of product evlution into the process design problem. In this cse, use of multi-dimension nd multi-scle model-bsed pproch is beneficil in product-process development nd it bsiclly consists of mthemticl model tht represents complex problem divided into fmily of subproblems tht exists t different scles nd tht cn be orgnized long vrious scles depending on the system nd on the intended use of the model [1]. A flexible computer-ided frmework for model genertion, nlysis, solution nd implementtion will llow the development nd ppliction of the desired model-bsed pproch for product-centric process design/nlysis. This cn be chieved through the integrtion of model generting system (ModDev), nd modelling tool (MoT) for model trnsltion, nlysis nd solution. The combintion of ModDev, MoT nd ICAS [2] or ny other simultors or externl softwre (through stndrd interfce like CAPE-OPEN or specil interfces) permits tht different models nd/or process configurtions cn be simulted very esily nd quickly, reducing time nd humn resources for model development nd solution with lmost zero progrmming effort. Also, this frmework gives the possibility for producing customized simultors for prticulr process. The objective of this pper is to present the modelling frmework, nd through it, the synergy between ModDev nd MoT; together with new modelling fetures such s multiscle modelling nd models needed for specific productcentric process design tht re usully not found in commercil simultors (for exmple, fuel cells, thin-film evportors). The pper will highlight the ppliction of the modelling frmework to generte model equtions using ModDev nd model nlysis/solution through MoT for different non-trivil modelling tsks. The exmples will lso highlight the development of personlized simultors with models generted through ModDev-MoT nd using EXCEL s the simultor executive through COM-Object. 2. Computer-Aided Process Modelling Frmework Nowdys, Computer-Aided Process Modelling Frmeworks which hve become n importnt tool in the development nd solution of process nd product engineering cn be clssified s: generic modelling lnguges nd domin-oriented modelling lnguges. Process modelling lnguges (PML) could be clssified inside of domin-oriented modelling lnguges [3]. PML should be provided with vrying level of grnulrity (multiscle modelling) concepts to enhnce the ccurcy nd prediction of the behviour of some process tht hve to be solved including multiscle phenomen. Multiscle is n essentil pre-requisite for mking full use of dvnces in scientific understnding within engineering pplictions of prcticl interest. Chemicl
3 Computer-Aided Multiscle Modelling for Chemicl Product-Process Design 3 engineers re turning to multiscle modelling to extend trditionl modelling pproches into new ppliction res nd to chieve higher levels of detil nd ccurcy. There is, however, little dvice vilble on the best strtegy to use in constructing multiscle model [4]. Consequently, Computer-Aided Frmework including Multiscle pproch is usully not vilble, nd it is therefore necessry to ssist in the development of these types of models. Furthermore, multiscle pproch fcilittes the discovery nd mnufcture of complex products [5]. The chllenges nd opportunities for multiscle modelling for chemicl process re open nd prtilly tken into ccount in this work. Integrted Computer Aided System (ICAS) is computer-ided tool for modelling developed by Computer Aided Process Engineering Center (CAPEC) t Technicl University of Denmrk. ModDev nd MoT re modelling tools integrted with ICAS; both hve estblished work-flow defined by the computer-ided modelling frmeworks. But, why do we need to use ModDev nd MoT together? Becuse through their interction, model equtions for specific equipment, process or opertion would be developed by ModDev; nd then trnslted, nlyzed nd solved through MoT with lmost zero progrmming effort, nd thereby, producing customized simultors for prticulr process ModDev ModDev [6] is knowledge-bsed modelling system tht is ble to generte process models. It employs grphicl user-interfce to convert the modeller s perception of the process in terms of phenomen, ccumultion, nd constrints, nd ggregtes them to form models of the unit opertion defined in terms of boundries, connections, nd sttes. In ModDev, fundmentl modelling objects re used to crete generic building blocks. The fundmentl modelling objects nd the generic building blocks re then ggregted to form the desired process model. The eqution set representing the process model is then nlyzed nd trnslted for integrtion with solver. The trnslted model my be used s n eqution set in eqution-oriented simultors (MoT) ICAS-MoT Model Test-bed (MoT) [7] is tool within ICAS nd is n eqution bsed modelling/simultion tool nd llows the user to perform simultions of process without hving to write ny source code. The trnslted model cn be solved, fter stisfying mthemticl consistency requirements. After the model equtions hve been successfully solved, the user hs the option to generte COM-object of the model to trnsfer nd use it in externl softwre. COMobject of other models, in this wy, cn lso be used for different terms of model, for exmple, different sets of compound properties, rection kinetics nd
4 4 R. Morles-Rodríguez et l. Fig. 1. Computer-Aided Modelling Frmework behviour equipment sizing dt. On the other hnd, the connection of these COM-Objects with externl softwre or commercil simultor (such s ProSim) cn be done through CAPE-OPEN link. Also, MoT-COM is ble to interct with the ICAS simultion environment generting new unit opertion tht cn be used with other lredy vilble unit opertion models nd used with other ICAS fetures. Furthermore, some of the externl simultors cn operte with EXCEL t the sme time it is working with MoT-COM without dditionl work nd providing high-qulity interction between them (see figure 1) Cse Study In order to illustrte the connection between the different prts ccording to the computer-ided modelling frmework, multiscle model for fuel cell is chosen from the open literture [8]. Multiscle issue cn be seen between sclephenomen connection crried out in the different prts of the fuel cell; for instnce, between the chrge blnce nd mss blnce. The equtions representing the direct methnol fuel-cell re listed in tble 1. In this cse study, use of ModDev to generte the model equtions is not necessry s published model [8] is used. However, ModDev cn lso be used to verify the model. Once the model eqution for the unit hs been derived/generted, MoT is used to mke the trnsltion, nlysis nd solution. As fr s model nlysis is concerned, the degrees of freedom, determintion of the structure of the eqution system, index nlysis, prtitioning nd ordering of the model equtions nd numericl nlysis cn be crried out in this prt. The next step is to solve the model eqution nlyzed in the previous step.
5 Computer-Aided Multiscle Modelling for Chemicl Product-Process Design 5 Tble 1. The DAE model for DMFC in vrious components [8]. Mss Blnce Type Electrode kinetics Anode Cthode Equtions α F 1 F = r1 1 3 k1 exp η θptc exp CH3OH RT K1 η θpt COH RT 3/2 F F p α RT RT p 5 O2 5 = k5 exp ηc 1 exp ηc 0 r dc 1 k A dt τ V LS S ( c c ) ( c c CH ) 3OH CH3OH CH3OH CH3OH CH3OH F Eq. (1) Eq. (2) = Eq. (3) dc LS S CO 1 2 F k A ( c c CO ) ( c c ) 2 CO2 CO2 CO2 dt = τ V Eq. (4) ( ) dc k A A A = c c n r Eq. (5) LS S S S CH3OH M dt CH 3OH CH3OH CH3OH V V V dc LS S S CO k A 2 A = ( c c CO ) + r1 Eq. (6) 2 CO2 dt V V 1 Chrge Blnce Anode Cthode dη 1 = ( icell 6Fr1 ) Eq. (7) dt C M ( icell 6F( r5 nch )) 3OH dη c 1 = + Eq. (8) dt C c Solution of the model for direct methnol fuel cell (tble 1) is presented below. The results re in greement with the experimentl dt, which re indicted by the points (see figure 2) Cell Vol.,V c F CH3OH [mol/m 3 ] Current Density [A/m 2 ] Model 250 Model 500 Fig. 2. Simultion for two methnol feed concentrtion in the fuel cell.
6 6 R. Morles-Rodríguez et l. The second exmple highlights the solution of model equtions for short-pth evportor [9] where model object is generted through MoT for use in EXCEL which is used s visul interfce nd for simultion of different opertionl scenrios. Figure 3 is highlighting the results obtined nd the esy wy to hndle the results (producing the necessry grphics, reports nd so on) obtined from the simultion crried out previously in MoT-EXCEL interction through COM-objects. Fig. 3. Exmple for MoT-Excel Interction 3. Conclusions nd future work The development of Computer-Aided modelling frmework for multiscle modelling is very importnt tool for the development of chemicl process models. It hs been shown tht the combintion nd interction between different computer-ided tools nd externl softwre provide the dditionl modelling/simultion fetures needed for design/nlysis of specific processes nd lso simultneously obtining customized process simultors, while performing the modelling tsks more esily nd efficiently. References 1. E. Németh, R. Lkner, K. M. Hngos nd I. T. Cmeron, ESCAPE-15, Spin, R. Gni, G. Hytoft, C. Jkslnd nd A. K. Jensen, Comp. Chem. Eng., 10 (1997) L. von Wedel, W. Mrqurdt nd R. Gni, Comp.-ided Chem. Eng., vol. 11 (2002) G.D. Ingrm, I.T. Cmeron, K.H. Hngos, Chem. Eng. Sci., 59 (2004) I.T. Cmeron, F.Y. Wng, C.D. Immnuel, F. Stepnek, Chem. Eng. Sci., 60 (2005) A. K. Jensen, PhD thesis, Deprt.ment of chemicl engineering, DTU Lyngby, A. M. Sles-Cruz, PhD thesis, Deprt.ment of chemicl engineering, DTU Lyngby, C. Xu, P.M. Follmnn, L.T. Biegler nd M.S. Jhon, Comp. Chem. Eng., No. 29 (2005) M. Sles-Cruz nd R. Gni,. Chem. Eng. Res. nd Des., No. 7 (2006) 583.
Tool Vendor Perspectives SysML Thus Far
Frontiers 2008 Pnel Georgi Tec, 05-13-08 Tool Vendor Perspectives SysML Thus Fr Hns-Peter Hoffmnn, Ph.D Chief Systems Methodologist Telelogic, Systems & Softwre Modeling Business Unit Peter.Hoffmnn@telelogic.com
More informationIZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI
IZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI Appliction Note Rel-time nd offline modultion from ETI files Generting nd nlyzing ETI files Rel-time interfce using EDI/ETI IZT DAB CONTENTSERVER
More informationChapter 2 Sensitivity Analysis: Differential Calculus of Models
Chpter 2 Sensitivity Anlysis: Differentil Clculus of Models Abstrct Models in remote sensing nd in science nd engineering, in generl re, essentilly, functions of discrete model input prmeters, nd/or functionls
More informationAn Integrated Simulation System for Human Factors Study
An Integrted Simultion System for Humn Fctors Study Ying Wng, Wei Zhng Deprtment of Industril Engineering, Tsinghu University, Beijing 100084, Chin Foud Bennis, Dmien Chblt IRCCyN, Ecole Centrle de Nntes,
More informationL. Yaroslavsky. Fundamentals of Digital Image Processing. Course
L. Yroslvsky. Fundmentls of Digitl Imge Processing. Course 0555.330 Lecture. Imge enhncement.. Imge enhncement s n imge processing tsk. Clssifiction of imge enhncement methods Imge enhncement is processing
More informationModeling and Simulation of Short Range 3D Triangulation-Based Laser Scanning System
Modeling nd Simultion of Short Rnge 3D Tringultion-Bsed Lser Scnning System Theodor Borngiu Anmri Dogr Alexndru Dumitrche April 14, 2008 Abstrct In this pper, simultion environment for short rnge 3D lser
More informationA Heuristic Approach for Discovering Reference Models by Mining Process Model Variants
A Heuristic Approch for Discovering Reference Models by Mining Process Model Vrints Chen Li 1, Mnfred Reichert 2, nd Andres Wombcher 3 1 Informtion System Group, University of Twente, The Netherlnds lic@cs.utwente.nl
More informationc360 Add-On Solutions
c360 Add-On Solutions Functionlity Dynmics CRM 2011 c360 Record Editor Reltionship Explorer Multi-Field Serch Alerts Console c360 Core Productivity Pck "Does your tem resist using CRM becuse updting dt
More informationEasyMP Multi PC Projection Operation Guide
EsyMP Multi PC Projection Opertion Guide Contents 2 Introduction to EsyMP Multi PC Projection 5 EsyMP Multi PC Projection Fetures... 6 Connection to Vrious Devices... 6 Four-Pnel Disply... 6 Chnge Presenters
More informationComplete Coverage Path Planning of Mobile Robot Based on Dynamic Programming Algorithm Peng Zhou, Zhong-min Wang, Zhen-nan Li, Yang Li
2nd Interntionl Conference on Electronic & Mechnicl Engineering nd Informtion Technology (EMEIT-212) Complete Coverge Pth Plnning of Mobile Robot Bsed on Dynmic Progrmming Algorithm Peng Zhou, Zhong-min
More informationTixeo compared to other videoconferencing solutions
compred to other videoconferencing solutions for V171026EN , unique solution on the video conferencing field Adobe Connect Web RTC Vydio for High security level, privcy Zero impct on network security policies
More informationEngineer To Engineer Note
Engineer To Engineer Note EE-208 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit
More informationOMG, Real Time Embedded Distributed Object Systems Workshop. Arlington, USA, July 15-18, 2002
OMG, Rel Time Embedded Distributed Object Systems Workshop. Arlington, USA, July 15-18, 2002 The DSSV Methodology: High Level Vlidtion of CORBA Architecture using Discrete Event Simultion Approch. Emmnuelle
More informationApproximation by NURBS with free knots
pproximtion by NURBS with free knots M Rndrinrivony G Brunnett echnicl University of Chemnitz Fculty of Computer Science Computer Grphics nd Visuliztion Strße der Ntionen 6 97 Chemnitz Germny Emil: mhrvo@informtiktu-chemnitzde
More informationa Technical Notes on using Analog Devices' DSP components and development tools
Engineer To Engineer Note EE-146 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit
More informationStep-Voltage Regulator Model Test System
IEEE PES GENERAL MEETING, JULY 5 Step-Voltge Regultor Model Test System Md Rejwnur Rshid Mojumdr, Pblo Arboley, Senior Member, IEEE nd Cristin González-Morán, Member, IEEE Abstrct In this pper, 4-node
More informationM-Historian and M-Trend
Product Bulletin Issue Dte June 18, 2004 M-Historin nd The M-Historin mnges the collection nd rchiving of trend dt, nd enles the presenttion of rchived trend dt in the ssocited softwre component. M-Historin
More informationMany analog implementations of CPG exist, typically using operational amplifier or
FPGA Implementtion of Centrl Pttern Genertor By Jmes J Lin Introuction: Mny nlog implementtions of CPG exist, typiclly using opertionl mplifier or trnsistor level circuits. These types of circuits hve
More informationTilt-Sensing with Kionix MEMS Accelerometers
Tilt-Sensing with Kionix MEMS Accelerometers Introduction Tilt/Inclintion sensing is common ppliction for low-g ccelerometers. This ppliction note describes how to use Kionix MEMS low-g ccelerometers to
More informationEnginner To Engineer Note
Technicl Notes on using Anlog Devices DSP components nd development tools from the DSP Division Phone: (800) ANALOG-D, FAX: (781) 461-3010, EMAIL: dsp_pplictions@nlog.com, FTP: ftp.nlog.com Using n ADSP-2181
More informationIntroduction. Chapter 4: Complex Integration. Introduction (Cont d)
Introduction Chpter 4: Complex Integrtion Li, Yongzho Stte Key Lbortory of Integrted Services Networks, Xidin University October 10, 2010 The two-dimensionl nture of the complex plne required us to generlize
More informationInternational Conference on Mechanics, Materials and Structural Engineering (ICMMSE 2016)
\ Interntionl Conference on Mechnics, Mterils nd tructurl Engineering (ICMME 2016) Reserch on the Method to Clibrte tructure Prmeters of Line tructured Light Vision ensor Mingng Niu1,, Kngnin Zho1, b,
More informationEpson iprojection Operation Guide (Windows/Mac)
Epson iprojection Opertion Guide (Windows/Mc) Contents 2 Introduction to Epson iprojection 5 Epson iprojection Fetures... 6 Connection to Vrious Devices... 6 Four-Pnel Disply... 6 Chnge Presenters nd Projection
More informationEngineer To Engineer Note
Engineer To Engineer Note EE-169 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit
More informationUnit #9 : Definite Integral Properties, Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties, Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationEpson Projector Content Manager Operation Guide
Epson Projector Content Mnger Opertion Guide Contents 2 Introduction to the Epson Projector Content Mnger Softwre 3 Epson Projector Content Mnger Fetures... 4 Setting Up the Softwre for the First Time
More informationAbout the Finite Element Analysis for Beam-Hinged Frame. Duan Jin1,a, Li Yun-gui1
Advnces in Engineering Reserch (AER), volume 143 6th Interntionl Conference on Energy nd Environmentl Protection (ICEEP 2017) About the Finite Element Anlysis for Bem-Hinged Frme Dun Jin1,, Li Yun-gui1
More informationAn Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization
An Efficient Divide nd Conquer Algorithm for Exct Hzrd Free Logic Minimiztion J.W.J.M. Rutten, M.R.C.M. Berkelr, C.A.J. vn Eijk, M.A.J. Kolsteren Eindhoven University of Technology Informtion nd Communiction
More informationStatistical classification of spatial relationships among mathematical symbols
2009 10th Interntionl Conference on Document Anlysis nd Recognition Sttisticl clssifiction of sptil reltionships mong mthemticl symbols Wl Aly, Seiichi Uchid Deprtment of Intelligent Systems, Kyushu University
More informationComputing offsets of freeform curves using quadratic trigonometric splines
Computing offsets of freeform curves using qudrtic trigonometric splines JIULONG GU, JAE-DEUK YUN, YOONG-HO JUNG*, TAE-GYEONG KIM,JEONG-WOON LEE, BONG-JUN KIM School of Mechnicl Engineering Pusn Ntionl
More informationEngineer To Engineer Note
Engineer To Engineer Note EE-186 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit
More informationDigital Signal Processing: A Hardware-Based Approach
Digitl Signl Processing: A Hrdwre-Bsed Approch Roert Esposito Electricl nd Computer Engineering Temple University troduction Teching Digitl Signl Processing (DSP) hs included the utilition of simultion
More informationFile Manager Quick Reference Guide. June Prepared for the Mayo Clinic Enterprise Kahua Deployment
File Mnger Quick Reference Guide June 2018 Prepred for the Myo Clinic Enterprise Khu Deployment NVIGTION IN FILE MNGER To nvigte in File Mnger, users will mke use of the left pne to nvigte nd further pnes
More information1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES)
Numbers nd Opertions, Algebr, nd Functions 45. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES) In sequence of terms involving eponentil growth, which the testing service lso clls geometric
More informationsuch that the S i cover S, or equivalently S
MATH 55 Triple Integrls Fll 16 1. Definition Given solid in spce, prtition of consists of finite set of solis = { 1,, n } such tht the i cover, or equivlently n i. Furthermore, for ech i, intersects i
More informationFig.25: the Role of LEX
The Lnguge for Specifying Lexicl Anlyzer We shll now study how to uild lexicl nlyzer from specifiction of tokens in the form of list of regulr expressions The discussion centers round the design of n existing
More informationVulnerability Analysis of Electric Power Communication Network. Yucong Wu
2nd Interntionl Conference on Advnces in Mechnicl Engineering nd Industril Informtics (AMEII 2016 Vulnerbility Anlysis of Electric Power Communiction Network Yucong Wu Deprtment of Telecommunictions Engineering,
More informationA Fast Imaging Algorithm for Near Field SAR
Journl of Computing nd Electronic Informtion Mngement ISSN: 2413-1660 A Fst Imging Algorithm for Ner Field SAR Guoping Chen, Lin Zhng, * College of Optoelectronic Engineering, Chongqing University of Posts
More informationIn the last lecture, we discussed how valid tokens may be specified by regular expressions.
LECTURE 5 Scnning SYNTAX ANALYSIS We know from our previous lectures tht the process of verifying the syntx of the progrm is performed in two stges: Scnning: Identifying nd verifying tokens in progrm.
More informationVoluntary Product Accessibility Template. Summary Table Voluntary Product Accessibility Template
U.S. Generl Services Administrtion Dte: 11/2/2015 Nme of Product: MindView 6 Voluntry Product Accessibility Templte Version 1.2 Summry Tble Voluntry Product Accessibility Templte Criteri Section 1194.21
More informationUT1553B BCRT True Dual-port Memory Interface
UTMC APPICATION NOTE UT553B BCRT True Dul-port Memory Interfce INTRODUCTION The UTMC UT553B BCRT is monolithic CMOS integrted circuit tht provides comprehensive MI-STD- 553B Bus Controller nd Remote Terminl
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology
More informationAn Object-Oriented Software Development Framework for Autonomous Decentralized Systems*
An Object-Oriented Softwre Development Frmework for Autonomous Decentrlized Systems* Stephen S. Yu' Deprtment of Computer Science nd Engineering Arhon Stte University Tempe, AZ 85287-5406, USA Keunhyuk
More informationHarmony/SE: A SysML Based Systems Engineering Process
Hrmony/SE: A SysML Bsed Systems Engineering Process Hns-Peter Hoffmnn, Ph.D Chief Systems Methodologist hoffmpe@us.ibm.com 0-0-08 Model-Bsed Systems Engineering Integrted System / Embedded Softwre Development
More informationSage CRM 2017 R3 Software Requirements and Mobile Features. Updated: August 2017
Sge CRM 2017 R3 Softwre Requirements nd Mobile Fetures Updted: August 2017 2017, The Sge Group plc or its licensors. Sge, Sge logos, nd Sge product nd service nmes mentioned herein re the trdemrks of The
More information2014 Haskell January Test Regular Expressions and Finite Automata
0 Hskell Jnury Test Regulr Expressions nd Finite Automt This test comprises four prts nd the mximum mrk is 5. Prts I, II nd III re worth 3 of the 5 mrks vilble. The 0 Hskell Progrmming Prize will be wrded
More informationAn introduction to model checking
An introduction to model checking Slide 1 University of Albert Edmonton July 3rd, 2002 Guy Trembly Dépt d informtique UQAM Outline Wht re forml specifiction nd verifiction methods? Slide 2 Wht is model
More information6.2 Volumes of Revolution: The Disk Method
mth ppliction: volumes by disks: volume prt ii 6 6 Volumes of Revolution: The Disk Method One of the simplest pplictions of integrtion (Theorem 6) nd the ccumultion process is to determine so-clled volumes
More informationEasyMP Network Projection Operation Guide
EsyMP Network Projection Opertion Guide Contents 2 Introduction to EsyMP Network Projection EsyMP Network Projection Fetures... 5 Disply Options... 6 Multi-Screen Disply Function... 6 Movie Sending Mode...
More informationPreserving Constraints for Aggregation Relationship Type Update in XML Document
Preserving Constrints for Aggregtion Reltionship Type Updte in XML Document Eric Prdede 1, J. Wenny Rhyu 1, nd Dvid Tnir 2 1 Deprtment of Computer Science nd Computer Engineering, L Trobe University, Bundoor
More informationSage CRM 2018 R1 Software Requirements and Mobile Features. Updated: May 2018
Sge CRM 2018 R1 Softwre Requirements nd Mobile Fetures Updted: My 2018 2018, The Sge Group plc or its licensors. Sge, Sge logos, nd Sge product nd service nmes mentioned herein re the trdemrks of The Sge
More informationSage CRM 2017 R2 Software Requirements and Mobile Features. Revision: IMP-MAT-ENG-2017R2-2.0 Updated: August 2017
Sge CRM 2017 R2 Softwre Requirements nd Mobile Fetures Revision: IMP-MAT-ENG-2017R2-2.0 Updted: August 2017 2017, The Sge Group plc or its licensors. Sge, Sge logos, nd Sge product nd service nmes mentioned
More informationSYSTEMA / THERMICA version 4 Overview of the new capabilities
SYSTEMA / THERMICA version 4 Overview of the new cpbilities Prepred by Mrc Jcquiu, SAS 16 th Europen Workshop on Therml nd ECLS Softwre, 22-23 October 2002 SYSTEMA / THERMICA current sttus (1/3) SYSTEMA
More information4452 Mathematical Modeling Lecture 4: Lagrange Multipliers
Mth Modeling Lecture 4: Lgrnge Multipliers Pge 4452 Mthemticl Modeling Lecture 4: Lgrnge Multipliers Lgrnge multipliers re high powered mthemticl technique to find the mximum nd minimum of multidimensionl
More informationA HYDRAULIC SIMULATOR FOR AN EXCAVATOR
P-06 Proceedings of the 7th JFPS Interntionl Symposium on Fluid Power TOYAMA 008 September 5-8 008 A HYDRAULIC SIMULATOR FOR AN EXCAVATOR Soon-Kwng Kwon* Je-Jun Kim* Young-Mn Jung* Chn-Se Jung* Chng-Don
More informationTransitioning to NEMSIS 3
TRANSITIONING TO NEMSIS 3 LOCAL EMS SERVICES 1 Trnsitioning to NEMSIS 3 Resources for Locl EMS Services TRANSITIONING TO NEMSIS 3 LOCAL EMS SERVICES 2 Index Getting Strted FAQs for Leders Trnsition Checklist
More informationOUTPUT DELIVERY SYSTEM
Differences in ODS formtting for HTML with Proc Print nd Proc Report Lur L. M. Thornton, USDA-ARS, Animl Improvement Progrms Lortory, Beltsville, MD ABSTRACT While Proc Print is terrific tool for dt checking
More informationRevisiting the notion of Origin-Destination Traffic Matrix of the Hosts that are attached to a Switched Local Area Network
Interntionl Journl of Distributed nd Prllel Systems (IJDPS) Vol., No.6, November 0 Revisiting the notion of Origin-Destintion Trffic Mtrix of the Hosts tht re ttched to Switched Locl Are Network Mondy
More informationDr. D.M. Akbar Hussain
Dr. D.M. Akr Hussin Lexicl Anlysis. Bsic Ide: Red the source code nd generte tokens, it is similr wht humns will do to red in; just tking on the input nd reking it down in pieces. Ech token is sequence
More informationMath 35 Review Sheet, Spring 2014
Mth 35 Review heet, pring 2014 For the finl exm, do ny 12 of the 15 questions in 3 hours. They re worth 8 points ech, mking 96, with 4 more points for netness! Put ll your work nd nswers in the provided
More informationMATH 25 CLASS 5 NOTES, SEP
MATH 25 CLASS 5 NOTES, SEP 30 2011 Contents 1. A brief diversion: reltively prime numbers 1 2. Lest common multiples 3 3. Finding ll solutions to x + by = c 4 Quick links to definitions/theorems Euclid
More informationFrom Dependencies to Evaluation Strategies
From Dependencies to Evlution Strtegies Possile strtegies: 1 let the user define the evlution order 2 utomtic strtegy sed on the dependencies: use locl dependencies to determine which ttriutes to compute
More informationLecture 10 Evolutionary Computation: Evolution strategies and genetic programming
Lecture 10 Evolutionry Computtion: Evolution strtegies nd genetic progrmming Evolution strtegies Genetic progrmming Summry Negnevitsky, Person Eduction, 2011 1 Evolution Strtegies Another pproch to simulting
More informationpdfapilot Server 2 Manual
pdfpilot Server 2 Mnul 2011 by clls softwre gmbh Schönhuser Allee 6/7 D 10119 Berlin Germny info@cllssoftwre.com www.cllssoftwre.com Mnul clls pdfpilot Server 2 Pge 2 clls pdfpilot Server 2 Mnul Lst modified:
More informationAnalysis of Computed Diffraction Pattern Diagram for Measuring Yarn Twist Angle
Textiles nd Light ndustril Science nd Technology (TLST) Volume 3, 2014 DO: 10.14355/tlist.2014.0301.01 http://www.tlist-journl.org Anlysis of Computed Diffrction Pttern Digrm for Mesuring Yrn Twist Angle
More informationFPGA-Based Implementation of Genetic Algorithm for the Traveling Salesman Problem and Its Industrial Application
FPGA-Bsed Implementtion of Genetic Algorithm for the Trveling Slesmn Problem nd Its Industril Appliction Ioulii Sklirov nd António B.Ferrri Deprtment of Electronics nd Telecommunictions University of Aveiro,
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology
More informationII. THE ALGORITHM. A. Depth Map Processing
Lerning Plnr Geometric Scene Context Using Stereo Vision Pul G. Bumstrck, Bryn D. Brudevold, nd Pul D. Reynolds {pbumstrck,brynb,pulr2}@stnford.edu CS229 Finl Project Report December 15, 2006 Abstrct A
More informationEngineer-to-Engineer Note
Engineer-to-Engineer Note EE-245 Technicl notes on using Anlog Devices DSPs, processors nd development tools Contct our technicl support t dsp.support@nlog.com nd t dsptools.support@nlog.com Or visit our
More informationEngineer-to-Engineer Note
Engineer-to-Engineer Note EE-069 Technicl notes on using Anlog Devices DSPs, processors nd development tools Visit our Web resources http://www.nlog.com/ee-notes nd http://www.nlog.com/processors or e-mil
More informationIt consists of two cold rooms, each with their own evaporator but sharing the same cooling flui d R134a system ( compressor, condenser...).
This system llows study of refrigertion systems implementtion of rmodyn mic clcultions pplied to refrigertion Its uniqueness is tht it is fully controllble vi Internet directly from web browser like Internet
More informationA Brief Survey of Commercial Robotic Arms for Research on Manipulation
A Brief Survey of Commercil Rootic Arms for Reserch on Mnipultion Zhenli Lu 1,3,, Aneesh Chuhn 1,, Filipe Silv 1,2,c nd Luís Ser Lopes 1,2,d 1. IEETA, University of Aveiro, Aveiro, 3810-193, Portugl 2.
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology
More informationA Formalism for Functionality Preserving System Level Transformations
A Formlism for Functionlity Preserving System Level Trnsformtions Smr Abdi Dniel Gjski Center for Embedded Computer Systems UC Irvine Center for Embedded Computer Systems UC Irvine Irvine, CA 92697 Irvine,
More informationTree Structured Symmetrical Systems of Linear Equations and their Graphical Solution
Proceedings of the World Congress on Engineering nd Computer Science 4 Vol I WCECS 4, -4 October, 4, Sn Frncisco, USA Tree Structured Symmetricl Systems of Liner Equtions nd their Grphicl Solution Jime
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology
More informationStained Glass Design. Teaching Goals:
Stined Glss Design Time required 45-90 minutes Teching Gols: 1. Students pply grphic methods to design vrious shpes on the plne.. Students pply geometric trnsformtions of grphs of functions in order to
More informationOSPF WEIGHT SETTING OPTIMIZATION FOR SINGLE LINK FAILURES
OSP WEIGH SEIG OPIMIZAIO OR SIGLE LIK AILURES Mohmmed H. Sqlli, Sdiq M. Sit, nd Syed Asdullh Computer Engineering Deprtment King hd University of Petroleum & Minerls Dhhrn 31261, Sudi Arbi {sqlli,sdiq,ssd}@kfupm.edu.s
More information3 Talk to Us First. Reasons You Should. Non-Contact Temperature Measurement Solutions
3 Tlk to Us First Resons You Should Non-Contct Temperture Mesurement Solutions Reson # 1 Fixed System Spot Thermometers FACTS Verstile technologies re must for the ever expnding list of pplictions Lnd
More informationECE 468/573 Midterm 1 September 28, 2012
ECE 468/573 Midterm 1 September 28, 2012 Nme:! Purdue emil:! Plese sign the following: I ffirm tht the nswers given on this test re mine nd mine lone. I did not receive help from ny person or mteril (other
More informationMidterm 2 Sample solution
Nme: Instructions Midterm 2 Smple solution CMSC 430 Introduction to Compilers Fll 2012 November 28, 2012 This exm contins 9 pges, including this one. Mke sure you hve ll the pges. Write your nme on the
More informationInternational Journal of Scientific & Engineering Research, Volume 4, Issue 12, December ISSN
Interntionl Journl of Scientific & Engineering Reserch, Volume 4, Issue 1, December-1 ISSN 9-18 Generlised Gussin Qudrture over Sphere K. T. Shivrm Abstrct This pper presents Generlised Gussin qudrture
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology
More informationvcloud Director Service Provider Admin Portal Guide vcloud Director 9.1
vcloud Director Service Provider Admin Portl Guide vcloud Director 9. vcloud Director Service Provider Admin Portl Guide You cn find the most up-to-dte technicl documenttion on the VMwre website t: https://docs.vmwre.com/
More informationSmall Business Networking
Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology
More informationPNC NC code PROGRAMMER'S MANUAL
PNC-3200 NC code PROGRAMMER'S MANUAL Thnk you very much for purchsing the PNC-3200. To ensure correct nd sfe usge with full understnding of this product's performnce, plese be sure to red through this
More information9 Graph Cutting Procedures
9 Grph Cutting Procedures Lst clss we begn looking t how to embed rbitrry metrics into distributions of trees, nd proved the following theorem due to Brtl (1996): Theorem 9.1 (Brtl (1996)) Given metric
More informationData Space Oriented Tiling
Dt Spce Oriented Tiling Mhmut Kndemir Deprtment of Computer Science nd Engineering The Pennsylvni Stte University University Prk, PA 16802, USA kndemir@cse.psu.edu Abstrct. An optimizing compiler cn ply
More informationFunctor (1A) Young Won Lim 8/2/17
Copyright (c) 2016-2017 Young W. Lim. Permission is grnted to copy, distribute nd/or modify this document under the terms of the GNU Free Documenttion License, Version 1.2 or ny lter version published
More information5 Regular 4-Sided Composition
Xilinx-Lv User Guide 5 Regulr 4-Sided Composition This tutoril shows how regulr circuits with 4-sided elements cn be described in Lv. The type of regulr circuits tht re discussed in this tutoril re those
More informationA REINFORCEMENT LEARNING APPROACH TO SCHEDULING DUAL-ARMED CLUSTER TOOLS WITH TIME VARIATIONS
A REINFORCEMENT LEARNING APPROACH TO SCHEDULING DUAL-ARMED CLUSTER TOOLS WITH TIME VARIATIONS Ji-Eun Roh (), Te-Eog Lee (b) (),(b) Deprtment of Industril nd Systems Engineering, Kore Advnced Institute
More informationAddress Register Assignment for Reducing Code Size
Address Register Assignment for Reducing Code Size M. Kndemir 1, M.J. Irwin 1, G. Chen 1, nd J. Rmnujm 2 1 CSE Deprtment Pennsylvni Stte University University Prk, PA 16802 {kndemir,mji,guilchen}@cse.psu.edu
More informationDigital Design. Chapter 6: Optimizations and Tradeoffs
Digitl Design Chpter 6: Optimiztions nd Trdeoffs Slides to ccompny the tetbook Digitl Design, with RTL Design, VHDL, nd Verilog, 2nd Edition, by Frnk Vhid, John Wiley nd Sons Publishers, 2. http://www.ddvhid.com
More information1 Drawing 3D Objects in Adobe Illustrator
Drwing 3D Objects in Adobe Illustrtor 1 1 Drwing 3D Objects in Adobe Illustrtor This Tutoril will show you how to drw simple objects with three-dimensionl ppernce. At first we will drw rrows indicting
More informationSylvac Scan OPTICAL MEASURING MACHINES FOR TURNED PARTS
Swiss mnufcturer of precision mesuring instruments since 1969 Sylvc Scn OPTICAL MEASURING MACHINES FOR TURNED PARTS FAST AND PRECISE OPTICAL DIMENSIONAL MEASUREMENT FOR ALL CYLINDRICAL PARTS Discover our
More informationScanner Termination. Multi Character Lookahead. to its physical end. Most parsers require an end of file token. Lex and Jlex automatically create an
Scnner Termintion A scnner reds input chrcters nd prtitions them into tokens. Wht hppens when the end of the input file is reched? It my be useful to crete n Eof pseudo-chrcter when this occurs. In Jv,
More informationSemistructured Data Management Part 2 - Graph Databases
Semistructured Dt Mngement Prt 2 - Grph Dtbses 2003/4, Krl Aberer, EPFL-SSC, Lbortoire de systèmes d'informtions réprtis Semi-structured Dt - 1 1 Tody's Questions 1. Schems for Semi-structured Dt 2. Grph
More informationP(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have
Rndom Numers nd Monte Crlo Methods Rndom Numer Methods The integrtion methods discussed so fr ll re sed upon mking polynomil pproximtions to the integrnd. Another clss of numericl methods relies upon using
More informationPerformance analysis of QoS mechanisms in IP networks
University of Wollongong Reserch Online Fculty of Informtics - Ppers (Archive) Fculty of Engineering nd Informtion Sciences 2000 Performnce nlysis of QoS mechnisms in IP networks D. Ji University of Wollongong
More informationProceedings of the 2008 Winter Simulation Conference S. J. Mason, R. R. Hill, L. Mönch, O. Rose, T. Jefferson, J. W. Fowler eds.
Proceedings of the 2008 Wer Simultion Conference S. J. Mson, R. R. Hill, L. Mönch, O. Rose, T. Jefferson, J. W. Fowler eds. PLCStudio: SIMULATION BASED PLC CODE VERIFICATION Sng C. Prk, Chng Mok Prk, nd
More information