Computer-Aided Multiscale Modelling for Chemical Process Engineering

Size: px
Start display at page:

Download "Computer-Aided Multiscale Modelling for Chemical Process Engineering"

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

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 information

IZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI

IZT 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 information

Chapter 2 Sensitivity Analysis: Differential Calculus of Models

Chapter 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 information

An Integrated Simulation System for Human Factors Study

An 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 information

L. Yaroslavsky. Fundamentals of Digital Image Processing. Course

L. 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 information

Modeling and Simulation of Short Range 3D Triangulation-Based Laser Scanning System

Modeling 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 information

A Heuristic Approach for Discovering Reference Models by Mining Process Model Variants

A 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 information

c360 Add-On Solutions

c360 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 information

EasyMP Multi PC Projection Operation Guide

EasyMP 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 information

Complete Coverage Path Planning of Mobile Robot Based on Dynamic Programming Algorithm Peng Zhou, Zhong-min Wang, Zhen-nan Li, Yang Li

Complete 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 information

Tixeo compared to other videoconferencing solutions

Tixeo 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 information

Engineer To Engineer Note

Engineer 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 information

OMG, Real Time Embedded Distributed Object Systems Workshop. Arlington, USA, July 15-18, 2002

OMG, 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 information

Approximation by NURBS with free knots

Approximation 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 information

a Technical Notes on using Analog Devices' DSP components and development tools

a 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 information

Step-Voltage Regulator Model Test System

Step-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 information

M-Historian and M-Trend

M-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 information

Many analog implementations of CPG exist, typically using operational amplifier or

Many 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 information

Tilt-Sensing with Kionix MEMS Accelerometers

Tilt-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 information

Enginner To Engineer Note

Enginner 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 information

Introduction. Chapter 4: Complex Integration. Introduction (Cont d)

Introduction. 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 information

International Conference on Mechanics, Materials and Structural Engineering (ICMMSE 2016)

International 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 information

Epson iprojection Operation Guide (Windows/Mac)

Epson 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 information

Engineer To Engineer Note

Engineer 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 information

Unit #9 : Definite Integral Properties, Fundamental Theorem of Calculus

Unit #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 information

Epson Projector Content Manager Operation Guide

Epson 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 information

About the Finite Element Analysis for Beam-Hinged Frame. Duan Jin1,a, Li Yun-gui1

About 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 information

An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization

An 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 information

Statistical classification of spatial relationships among mathematical symbols

Statistical 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 information

Computing offsets of freeform curves using quadratic trigonometric splines

Computing 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 information

Engineer To Engineer Note

Engineer 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 information

Digital Signal Processing: A Hardware-Based Approach

Digital 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 information

File Manager Quick Reference Guide. June Prepared for the Mayo Clinic Enterprise Kahua Deployment

File 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 information

1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES)

1. 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 information

such that the S i cover S, or equivalently S

such 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 information

Fig.25: the Role of LEX

Fig.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 information

Vulnerability Analysis of Electric Power Communication Network. Yucong Wu

Vulnerability 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 information

A Fast Imaging Algorithm for Near Field SAR

A 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 information

In the last lecture, we discussed how valid tokens may be specified by regular expressions.

In 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 information

Voluntary Product Accessibility Template. Summary Table Voluntary Product Accessibility Template

Voluntary 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 information

UT1553B BCRT True Dual-port Memory Interface

UT1553B 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 information

Small Business Networking

Small 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 information

An Object-Oriented Software Development Framework for Autonomous Decentralized Systems*

An 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 information

Harmony/SE: A SysML Based Systems Engineering Process

Harmony/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 information

Sage CRM 2017 R3 Software Requirements and Mobile Features. Updated: August 2017

Sage 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 information

2014 Haskell January Test Regular Expressions and Finite Automata

2014 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 information

An introduction to model checking

An 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 information

6.2 Volumes of Revolution: The Disk Method

6.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 information

EasyMP Network Projection Operation Guide

EasyMP 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 information

Preserving Constraints for Aggregation Relationship Type Update in XML Document

Preserving 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 information

Sage CRM 2018 R1 Software Requirements and Mobile Features. Updated: May 2018

Sage 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 information

Sage CRM 2017 R2 Software Requirements and Mobile Features. Revision: IMP-MAT-ENG-2017R2-2.0 Updated: August 2017

Sage 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 information

SYSTEMA / THERMICA version 4 Overview of the new capabilities

SYSTEMA / 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 information

4452 Mathematical Modeling Lecture 4: Lagrange Multipliers

4452 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 information

A HYDRAULIC SIMULATOR FOR AN EXCAVATOR

A 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 information

Transitioning to NEMSIS 3

Transitioning 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 information

OUTPUT DELIVERY SYSTEM

OUTPUT 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 information

Revisiting the notion of Origin-Destination Traffic Matrix of the Hosts that are attached to a Switched Local Area Network

Revisiting 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 information

Dr. D.M. Akbar Hussain

Dr. 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 information

Math 35 Review Sheet, Spring 2014

Math 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 information

MATH 25 CLASS 5 NOTES, SEP

MATH 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 information

From Dependencies to Evaluation Strategies

From 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 information

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming

Lecture 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 information

pdfapilot Server 2 Manual

pdfapilot 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 information

Analysis of Computed Diffraction Pattern Diagram for Measuring Yarn Twist Angle

Analysis 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 information

FPGA-Based Implementation of Genetic Algorithm for the Traveling Salesman Problem and Its Industrial Application

FPGA-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 information

Small Business Networking

Small 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 information

II. THE ALGORITHM. A. Depth Map Processing

II. 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 information

Engineer-to-Engineer Note

Engineer-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 information

Engineer-to-Engineer Note

Engineer-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 information

It consists of two cold rooms, each with their own evaporator but sharing the same cooling flui d R134a system ( compressor, condenser...).

It 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 information

A Brief Survey of Commercial Robotic Arms for Research on Manipulation

A 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 information

Small Business Networking

Small 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 information

A Formalism for Functionality Preserving System Level Transformations

A 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 information

Tree Structured Symmetrical Systems of Linear Equations and their Graphical Solution

Tree 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 information

Small Business Networking

Small 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 information

Stained Glass Design. Teaching Goals:

Stained 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 information

OSPF WEIGHT SETTING OPTIMIZATION FOR SINGLE LINK FAILURES

OSPF 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 information

3 Talk to Us First. Reasons You Should. Non-Contact Temperature Measurement Solutions

3 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 information

ECE 468/573 Midterm 1 September 28, 2012

ECE 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 information

Midterm 2 Sample solution

Midterm 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 information

International Journal of Scientific & Engineering Research, Volume 4, Issue 12, December ISSN

International 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 information

Small Business Networking

Small 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 information

vcloud Director Service Provider Admin Portal Guide vcloud Director 9.1

vcloud 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 information

Small Business Networking

Small 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 information

PNC NC code PROGRAMMER'S MANUAL

PNC 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 information

9 Graph Cutting Procedures

9 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 information

Data Space Oriented Tiling

Data 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 information

Functor (1A) Young Won Lim 8/2/17

Functor (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 information

5 Regular 4-Sided Composition

5 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 information

A 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 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 information

Address Register Assignment for Reducing Code Size

Address 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 information

Digital Design. Chapter 6: Optimizations and Tradeoffs

Digital 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 information

1 Drawing 3D Objects in Adobe Illustrator

1 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 information

Sylvac Scan OPTICAL MEASURING MACHINES FOR TURNED PARTS

Sylvac 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 information

Scanner Termination. Multi Character Lookahead. to its physical end. Most parsers require an end of file token. Lex and Jlex automatically create an

Scanner 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 information

Semistructured Data Management Part 2 - Graph Databases

Semistructured 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 information

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have

P(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 information

Performance analysis of QoS mechanisms in IP networks

Performance 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 information

Proceedings 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 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