The CAEX Tool Suite - user assistance for the use of standardized plant engineering data exchange

Size: px
Start display at page:

Download "The CAEX Tool Suite - user assistance for the use of standardized plant engineering data exchange"

Transcription

1 The Tool Sute - user assstance for the use of standardzed plant engneerng data exchange Mram Schlepen Fraunhofer IOSB Fraunhoferstr. 1 D arlsruhe mram.schlepen@osb.fraunhofer.de Mchael Okon Fraunhofer IOSB Fraunhoferstr. 1 D arlsruhe mchael.okon@osb.fraunhofer.de Abstract Improvng effcency n Manufacturng Executon Systems (MES) engneerng and ensurng nteroperablty requres a tool or a tool sute, whch handles the desred (heterogeneous) data representatons or better an ntegrated (homogeneous) data representaton - a data format amng at nteroperablty. (Computer Aded Engneerng Exchange, [1]) s one possble example of such a format. Its obectve s a tool-ndependent descrpton of plant plannng data. s also used as a top-level format for AutomatonML [2], [3]. To smplfy the usage of ths complex data exchange format, the authors developed varous useful assstance tools whch help users to work wth t. These tools for transformaton of arbtrary plant engneerng data, ther background and methodology wll be presented n ths contrbuton. 1 Introducton Consder the followng stuaton: You have one or even more propretary XML data sources and want to combne ths data to an ntegrated data representaton and export t afterwards to one or more targets for further processng. How can one do ths and whch data format s helpful? An answer to ths s and AutomatonML combned wth dfferent assstance tools. The authors work on ths topc n the doman of MES as software systems supportng producton. The problem to solve was to unfy data from dfferent software systems to make them usable for MES by means of an ntegrated data exchange format. [4], [5] was developed n cooperaton wth the Department of Process Control Engneerng of the RWTH Aachen and the ABB Research Center n Ladenburg. s defned n the IEC62424 standard. s a sem-formal data descrpton language whch s based on XML. It contans an XML meta model for descrbng the setup and structure of plant data. Frst and foremost, the format supports lbrary concepts and obect-orented approaches. It s possble to ntegrate lbrares from users and supplers as well as proect lbrares. In addton, both a top-down and a bottom-up system desgn are supported. The techncal nnovaton of ths approach s the syntactc and semantc unfcaton of the data. Ths allows the requred confguraton algorthms to be decoupled from the data sources. [6] conssts of three types of lbrares: InterfaceClassLbrares, RoleClassLbrares and SystemUntClassLbrares. In addton to these lbrares, there s the InstanceHerarchy where the specfc plant s modelled. Fgure 1 depcts the elements, whch are lnked to each other. The format s very smlar to ontologes [7] e.g. n the OWL format. InstanceHerarchy SystemHerarchy Obect1 Obect2 Obect3 RoleClass RoleLbrary Role3 Role2 Role1 SystemUntLbrary Type3 Type2 SystemUntClass Type1 InterfaceClass InterfaceLbrary Fgure 1. model [8]. An InterfaceClassLbrary conssts of InterfaceClasses. They are used to model nterfaces for communcaton or the topology, or, brefly, to create relatons between elements wthn the model. The nterfaces themselves do not nclude any connecton; rather, they are mere connecton ponts. The functonal RoleClasses are descrbed wthn the RoleClassLbrares. The roles are used to descrbe the semantcs of elements. Examples of roles nclude conveyors, turntables, or robots. Roles do not contan nformaton about the nternal structure of elements /10/$ IEEE

2 They defne general attrbutes and nterfaces for these obects. SystemUntClassLbrares consst of the descrpton of complex plant components, the SystemUntClasses. They contan specfc nformaton about ther functonalty and structure. The semantcs s then ntroduced by assgned RoleClasses. Instances serve for the modellng of concrete realworld plant obects n an InstanceHerarchy. In the descrbed approach, the InternalElements are always nstances of SystemUntClasses. In ths secton, plannng data and parameters are stored. These man components of form the bass for a fle. In addton, there are further elements whch serve the purpose of detal specfcaton or defnton of lnks between the elements. Fgure 2 descrbes basc elements and ther relatons to other elements. InsternalElements may contan InternalLnks. The InstanceHerarchy contans InternalElements. depcts possble lnks (rght hand) and the elements connected by them (left hand). The arrows mean can nclude the followng element. The frst dashed lne s a specal case where the connecton s not located at the element tself, but at the parent element and ponts to two chld elements. These are InternalLnks. The second dashed arrow represents the fact that SystemUntClasses are nstantated as InternalElements. Fle ExternalReference Edtors. Ths helps to enrch data wth the knowledge of nvolved persons. And fnally, f multple descrptons lke these exst or f the descrpton of one system s to be used wthn another one, the Mappng tool supports the ntegraton. Ths s also useful for change management or verson management of the data. Some other possble applcatons are n the area of flexble producton [11], [12], automated engneerng of producton montorngand control systems [13], [14] or nteractve assstant systems for mult-user engneerng [15]. 2.1 Step 1: Importer Almost every producton plannng tool possesses an XML export functon. The mporter was developed for semantc mport, takes advantage of ths crcumstance and utlzes XML technology. It was developed by the authors and s shown n fgure 4. Its purpose s to transform a system-specfc XML fle nto a system-specfc fle. In ths process, t supports the user and reduces manual work. At the same tme, t provdes users wth the possblty to ntegrate ther mplct knowledge and helps them model ther knowledge explctly. Propretary XML 1 Importer Gen. 1 Edtor 1 (reworked) Mappng Tool Mappng 1-2 InterfaceClassLb RoleClassLb InterfaceClass RoleClass Attrbute ExternalInterface Propretary XML 2 Importer Gen. 2 Edtor 2 (reworked) User assstance Data flow SystemUntClassLb InstanceHerarchy SystemUntClass InternalElement SupportedRoleClass RoleRequrements NameMappng InternalLnk Fgure 2. elements and relatons. 2 LTSTools The problem to solve was make data from dfferent data sources usable for MES by means of tool-based workflow or toolset. To use or AutomatonML effectvely, the LTSTools [9] developed by the authors provde assstance to the user as data converson and handlng toolset. They are focusng on the problem, but are not lmted to t. One possble practcal case or tool chan s shown n fgure 3. On the one hand, the Importer helps to transform propretary XML data nto. In the converson ppelne ths represents the mportng step nto the envronment. On the other, the created data can be manually changed by varous Fgure 3. Applcaton of LTSTools. In ths process, semantcs s ncorporated by convertng the specfc XML tags and structures nto standardzed structures. To acheve ths, several steps have to be processed. Frst, the users specfy one or more connectons between elements from the XML schema (no. 2 n fgure 4) and elements wthn ther propretary XML export fle (no. 1 n fgure 4). Ths can be asssted by an nteractve explanaton descrbng the four base structures: Interfaces (logcal, techncal, and mechancal nterfaces), SystemUnts (types), InternalElements (nstances), and Roles (semantc dentfer/name). The user has to defne whch elements n hs XML structure correspond to the elements (no. 3 n fgure 4). Ths has to be done once for each element type. After defnng all possble relatons, the user starts the AutoImport (no. 4 n fgure 4). In ths context, XML and XPath-technologes are used to create multple connectons between elements from the startng elements.

3 Fgure 4. Importer. After a revew of the connectons generated automatcally by the user, the orgnal XML can be transformed nto a raw (no. 5 n fgure 4). Ths means that elements of specfc types exst, but there are no semantc connectons between them. Ths s done n the next step. Roles of an exstng role lbrary (ether standardzed,.e., by AutomatonML or defned by users, depcted by 6 n fgure 4, are assgned to the generated elements (no. 7 n fgure 4). Ths nterlnkng must be performed by the user as the mporter cannot magne or nvent the meanng of an element. Ths cannot be automated, because t s solved creatvely by the user, but t s possble to apply learnng mechansms to extend ths n the future. The Importer can also be used for the creaton of the top-level structures of an AutomatonML descrpton. Another potental applcaton can be the transformaton of OWL ontology [10] concepts nto RoleClasses. By lttle changes, the Importer could be used for any XML data and any XML schema as mporter for XML from a varety of sources. Further development wll certanly focus on the expanson of user assstance. 2.2 Step 2: Edtor Users ought to have the possblty to change the Fles created by the Importer. In addton, t should also be possble to create Fles step by step. Ths manual creaton and modfcaton of Fles can also be done wth a text edtor, an XML edtor (such as XMLSpy or XMLNotepad) or other edtors developed especally for or AutomatonML (whch uses ). The Edtors can be used for the generaton of AutomatonML toplevel data. For the creaton and the edtng of AutomatonML data, there s a specfc AutomatonML edtor developed especally for the AutomatonML communty by Zühlke Engneerng [2]. Ths edtor provdes also consstency checks and the possblty to dsplay related Collada and PLCOpenXML data. To work wth the data, the authors developed ntellgent edtors, too. As huge models at the authors nsttuton are stll n the draft verson of the standard, there are edtors created for the draft verson of the standard as well as for the fnal verson to provde legacy support. All these edtors hde the XML-specfc syntax and enable the user to comprehend the data structure at a glance. Hence they can be used ntutonally and help to understand. The maor features of the edtors nclude: Navgaton strategy n the data Intutve vew of the data Easy creaton of addtonal elements or new fles Easy modfcaton of exstng data Hdng of XML structures and organzatonal elements Addtonal explanatons for n form of a help system The edtor for the draft verson of the standard s depcted n fgure 5. The AutomatonML edtor s shown n fgure 6. They enable a general access to the complex and powerful structures and semantcs of.

4 Fgure 5. Edtor for the draft verson of the standard. Fgure 6. AutomatonML edtor [3]. 2.3 Step 3: Mappng In practce, there are multple data sources for whch comprse also redundant data. The data comng from these sources has to be completed and unfed. In the descrbed example, after obtanng a systemspecfc fle, the next obectve s to unfy the heterogeneous landscape of system-specfc data by ntegratng t nto ust one 'world'. The authors call ths semantc MES Mappng (SMM). It conssts of transformng the exstng fles as well as mergng them. One basc tool developed by the authors to do ths s depcted n fgure 7. In the top left area, the user loads the source fle; n the top rght area the target fle can be loaded. Below these two trees, there s detal nformaton about the selected elements. Mapped elements are dsplayed n the bottom area of the tool and can be deleted by the user f desred. The MappngTool serves as platform for the ntegraton of dfferent mappng mechansms whch can be appled.

5 Fgure 7. MappngTool. These nclude name equvalence, for nstance, whch can be easly extended, however. Possble extensons could be some knd of graph or template matchng as well as structural equvalence. The Mappng Tool provdes the followng functons: Mappng of two (draft or fnal verson) or AutomatonML fles onto each other Integraton of a or AutomatonML descrpton wth another one Integraton of modfed parts of the fle wth the underlyng fle (Import or Export of /AutomatonML) Storage of the result of a mappng The user can select one element from each of the trees and map them manually. An automatc name mappng can be realzed by means of the recursve mappng functon descrbed below. The goal s to acheve a mappng between the source and target fles (see fgure 8), for example to merge or ntegrate two data descrptons or to mgrate an older descrpton to a newer one. The result should always be bgger than source and target. Later on the user can reduce the descrpton ndvdually, f t seems necessary 1 (revsed) Source Mappng 1-2 Mappng descrpton Fgure 8. Mappng. 2 (revsed) Target The mappng algorthm can therefore be descrbed as a unon F consstng of all functons f, descrbed below (shown n fgure 9). Q Z E Q1 Q mq X F Z1 Z mz E1 E me F = f Q = Q Z = Z E = E Q Z CQ CZ C, C s Fgure 9. mappng algorthm. The result fle E (for German Ergebns ) comprses the node mappng from source Q (for German Quelle ) to target fle Z (for German Zel ) whch can be descrbed by the functon depcted n fgure 10. Mappng can be performed ether usng two fles of draft or Q Z

6 fnal verson of the standard. The user can only create mappng relatons between elements of the same type (tag name) startng on the second herarchcal level of each fle. Mappng contnues recursvely on the sub nodes. References between nodes are resolved whch means that the new value of a reference n the source s transferred to all old references n the target. The node name of the parent node s mantaned. Sub nodes wth dfferent names or types wll be added. Attrbutes wth the same name get a new value and attrbutes wth dfferent names wll be added. As a result of ths specfcaton, the number of nodes n the result fle s not lower than the number of nodes n the target fle and that the number of attrbutes n the result fle s not lower that the number of attrbutes n the target fle. There are two types of mappng operatons. The mappng can result n a transformaton (see Trafo n fgure 10) where values of the nodes are changed or n a fuson (see Fuson n fgure 10) where elements are nserted completely nto the result. If an element s renamed, the old name s replaced by the new one n the whole result set. Transformaton s done on the attrbute level. There, the frst case descrbes that the target value remans unchanged f the attrbute name s ID and the source value wll be the target value f the attrbute does not equal ID. Fuson s performed n the next two cases. The source attrbute s transferred f t s not ncluded n the target. And the target attrbute s mantaned f t s not ncluded n the source. 3 Concluson The applcaton and usage of a complex data exchange format such as requres specal assstance for the user. Therefore, the authors developed some LTSTools,. e. varous several helpful tools n the context of. These nclude the Importer for the mport of tool-specfc XML data nto, the Edtors for the creaton and modfcaton of data and the MappngTool to merge two descrptons. The tools were tested usng some applcaton examples and wll be extended and enhanced contnuously.. Defnng N n : = { N,1 n} the descrpton of a fle s gven by : = { 1,, m, A1,, An } wth s node (subnode); m A s attrbute; A : = ( x, y );, x = attrbute name, y = attrbute value The result fle comprses the node mappng from source to target fle whch can be descrbed by f : Q Z E mt f ( Q, Z ) : = E wth =,,, A,, A Q Z E = { Q } 1 Qm Q Q1 Qn Q { Z,, Z, A } m Z Z,, A 1 1 Zn Z {,,, A, A } and =, wth f E : = for and A E : = E1 Em E E1 En E (, ), f ( name( ) = name( ) type( ) = type( ) ) Q Z m E for n E Q, f, f Z for one (, ) n Q Z ( name( ) { name( ) } type( ) { type( ) }) Q for one Q ( name( ) { name( ) } type( ) { type( ) }) Z for one Q m mz m Z Q Ν ( xz, y ) ( = ) Z,f x Z ID for one ( x, y ),f ( x = y ) ( x ID) Z Z m mz mq ( xq, y ) { } ( ) Q,f x Q x Z m x Q Q ID ( xz, yz ),f xz { xq n } ( xz ID) Q Z Q Z Z nz Q for one (, ) nq for one Q Z Ν for one nz nq nz Z Z Q Trafo Fuson mz mq Fgure 10. mappng functon.

7 References [1] IEC 62424, Representaton of process control engneerng - Requests n P&I dagrams and data exchange between P&ID tools and PCE-CAE tools, [2] AutomatonML, receved 08 Aprl [3] R. Drath et. al., Datenaustausch n der Automatserungsplanung mt AutomatonM,. Sprnger Verlag, Berln, [4] M. Feda, U. Epple, R. Drath, A. Fay, A Metamodel for generc data exchange between varous CAE Systems, In: Proceedngs of 4th Mathmod Conference, Edton 24 of ARGESIM Report, ISBN , pp , [5] M. Feda, R. Drath, - a neutral data exchange format for engneerng data, In: atp/nternatonal 1/2005, Oldenbourg Industreverlag, pp , [6] M. Schlepen, R. Drath, O. Sauer, "The systemndependent data exchange format for supportng an automatc confguraton of a producton montorng and control system", IEEE Internatonal Symposum on Industral Electroncs ISIE 2008, Cambrdge, pp , [7] T. R. Gruber, A translaton approach to portable ontologes, nowledge Acquston, 5(2): , [8] M. Schlepen, O. Sauer, Flexblty and nteroperablty face Manufacturng Executon Systems (MES), Proceedngs of 3rd Internatonal Swedsh Producton Symposum (SPS), Day 2 Book, pp , Gothenburg, [9] Fraunhofer IOSB, LTSTools, receved 08 Aprl [10] G. Antonou, F. van Harmelen, Web Ontology Language: OWL, Steffen Staab, Rud Studer (Ed.) Handbook on Ontologes, Sprnger Verlag, ISBN , pp.67-92, [11] M. Ebel, M. Okon, M. Baumann, ProduFlexl: Flexble Produkton mt SOA-Archtektur und Plug-and-Work- Mechansmus, In: Proceedngs of Stuttgarter Softwaretechnk Forum (Scence meets busness), pp.65-74, [12] M. Schlepen, M. Okon, M. Baumann, M. Neukaeufer, C. Fedrowtz, M. Feke, N. Popova, M. Nck, S. Schneckert, M. Wessner, Desgn and engneerng processes n hghly adaptve plants wth ambent ntellgence technques, Proceedngs of 42nd CIRP Conference on Manufacturng Systems, Grenoble, [13] O. Sauer, M. Ebel, Engneerng of producton montorng & control systems, Scharff, Peter (Hrsg.); Technsche Unverstät / Fakultät für Informatk und Automatserung:Computer scence meets automaton : Vol. I : 52. IW ; proceedngs, Ilmenau : Unv.-Verl., pp , [14] M. Schlepen,. Schck, Self-confgurng vsualzaton of a producton montorng and control system, CIRP Internatonal Conference on Intellgent Computaton n Manufacturng Engneerng - CIRP ICME '08, Naples, Italy, ISBN , [15] M. Schlepen, T. Bader, A concept for nteractve assstant systems for mult-user engneerng based on AutomatonML, Proceedngs of CAPE Conference 2010, Ednburgh, , Paper 014, 2010.

8 Year: 2010 Author(s): Schlepen, Mram; Okon, M. Ttle: The tool sute - user assstance for the use of standardzed plant engneerng data exchange DOI: /ETFA ( IEEE. Personal use of ths materal s permtted. However, permsson to reprnt/republsh ths materal for advertsng or promotonal purposes or for creatng new collectve works for resale or redstrbuton to servers or lsts, or to reuse any copyrghted component of ths work n other works must be obtaned from the IEEE. Detals: Insttute of Electrcal and Electroncs Engneers -IEEE-: 15th IEEE Internatonal Conference on Emergng Technologes and Factory Automaton, ETFA CD-ROM : September 13-16, 2010, Blbao, Span New York, NY: IEEE, 2010 ISBN: ISBN: ISBN: pp.

Cluster Analysis of Electrical Behavior

Cluster Analysis of Electrical Behavior Journal of Computer and Communcatons, 205, 3, 88-93 Publshed Onlne May 205 n ScRes. http://www.scrp.org/ournal/cc http://dx.do.org/0.4236/cc.205.350 Cluster Analyss of Electrcal Behavor Ln Lu Ln Lu, School

More information

An Optimal Algorithm for Prufer Codes *

An Optimal Algorithm for Prufer Codes * J. Software Engneerng & Applcatons, 2009, 2: 111-115 do:10.4236/jsea.2009.22016 Publshed Onlne July 2009 (www.scrp.org/journal/jsea) An Optmal Algorthm for Prufer Codes * Xaodong Wang 1, 2, Le Wang 3,

More information

Module Management Tool in Software Development Organizations

Module Management Tool in Software Development Organizations Journal of Computer Scence (5): 8-, 7 ISSN 59-66 7 Scence Publcatons Management Tool n Software Development Organzatons Ahmad A. Al-Rababah and Mohammad A. Al-Rababah Faculty of IT, Al-Ahlyyah Amman Unversty,

More information

Load Balancing for Hex-Cell Interconnection Network

Load Balancing for Hex-Cell Interconnection Network Int. J. Communcatons, Network and System Scences,,, - Publshed Onlne Aprl n ScRes. http://www.scrp.org/journal/jcns http://dx.do.org/./jcns.. Load Balancng for Hex-Cell Interconnecton Network Saher Manaseer,

More information

A Resources Virtualization Approach Supporting Uniform Access to Heterogeneous Grid Resources 1

A Resources Virtualization Approach Supporting Uniform Access to Heterogeneous Grid Resources 1 A Resources Vrtualzaton Approach Supportng Unform Access to Heterogeneous Grd Resources 1 Cunhao Fang 1, Yaoxue Zhang 2, Song Cao 3 1 Tsnghua Natonal Labatory of Inforamaton Scence and Technology 2 Department

More information

Petri Net Based Software Dependability Engineering

Petri Net Based Software Dependability Engineering Proc. RELECTRONIC 95, Budapest, pp. 181-186; October 1995 Petr Net Based Software Dependablty Engneerng Monka Hener Brandenburg Unversty of Technology Cottbus Computer Scence Insttute Postbox 101344 D-03013

More information

MODULE DESIGN BASED ON INTERFACE INTEGRATION TO MAXIMIZE PRODUCT VARIETY AND MINIMIZE FAMILY COST

MODULE DESIGN BASED ON INTERFACE INTEGRATION TO MAXIMIZE PRODUCT VARIETY AND MINIMIZE FAMILY COST INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN, ICED 07 28-31 AUGUST 2007, CITE DES SCIENCES ET DE L'INDUSTRIE, PARIS, FRANCE MODULE DESIGN BASED ON INTERFACE INTEGRATION TO MAIMIZE PRODUCT VARIETY AND

More information

For instance, ; the five basic number-sets are increasingly more n A B & B A A = B (1)

For instance, ; the five basic number-sets are increasingly more n A B & B A A = B (1) Secton 1.2 Subsets and the Boolean operatons on sets If every element of the set A s an element of the set B, we say that A s a subset of B, or that A s contaned n B, or that B contans A, and we wrte A

More information

Multiblock method for database generation in finite element programs

Multiblock method for database generation in finite element programs Proc. of the 9th WSEAS Int. Conf. on Mathematcal Methods and Computatonal Technques n Electrcal Engneerng, Arcachon, October 13-15, 2007 53 Multblock method for database generaton n fnte element programs

More information

IP Camera Configuration Software Instruction Manual

IP Camera Configuration Software Instruction Manual IP Camera 9483 - Confguraton Software Instructon Manual VBD 612-4 (10.14) Dear Customer, Wth your purchase of ths IP Camera, you have chosen a qualty product manufactured by RADEMACHER. Thank you for the

More information

11. HARMS How To: CSV Import

11. HARMS How To: CSV Import and Rsk System 11. How To: CSV Import Preparng the spreadsheet for CSV Import Refer to the spreadsheet template to ad algnng spreadsheet columns wth Data Felds. The spreadsheet s shown n the Appendx, an

More information

A plan-driven dynamic reconfiguration mechanism for C2 Communities of Interest

A plan-driven dynamic reconfiguration mechanism for C2 Communities of Interest 15 th ICCRTS The Evoluton of C2 Ttle of Paper: A plan-drven dynamc reconfguraton mechansm for C2 Communtes of Interest Topcs Topc 6: Modelng and Smulaton Paper ID ID# 080 Authors JngJng Yan ZhuYun Duanmu

More information

Wishing you all a Total Quality New Year!

Wishing you all a Total Quality New Year! Total Qualty Management and Sx Sgma Post Graduate Program 214-15 Sesson 4 Vnay Kumar Kalakband Assstant Professor Operatons & Systems Area 1 Wshng you all a Total Qualty New Year! Hope you acheve Sx sgma

More information

AN ALGEBRAIC APPROACH TO CONSISTENCY CHECKING BETWEEN CLASS DIAGRAMS

AN ALGEBRAIC APPROACH TO CONSISTENCY CHECKING BETWEEN CLASS DIAGRAMS AN ALGEBRAIC AROACH TO CONSISTENC CHECKING BETWEEN CLASS DIAGRAMS HIDEKAZU ENJO, MOTONARI TANABU, JUNICHI IIJIMA NTT DATA Corporaton, okohama Natonal Unversty, Tokyo Insttute of Technology enouh@nttdata.co.p,

More information

A mathematical programming approach to the analysis, design and scheduling of offshore oilfields

A mathematical programming approach to the analysis, design and scheduling of offshore oilfields 17 th European Symposum on Computer Aded Process Engneerng ESCAPE17 V. Plesu and P.S. Agach (Edtors) 2007 Elsever B.V. All rghts reserved. 1 A mathematcal programmng approach to the analyss, desgn and

More information

ON SOME ENTERTAINING APPLICATIONS OF THE CONCEPT OF SET IN COMPUTER SCIENCE COURSE

ON SOME ENTERTAINING APPLICATIONS OF THE CONCEPT OF SET IN COMPUTER SCIENCE COURSE Yordzhev K., Kostadnova H. Інформаційні технології в освіті ON SOME ENTERTAINING APPLICATIONS OF THE CONCEPT OF SET IN COMPUTER SCIENCE COURSE Yordzhev K., Kostadnova H. Some aspects of programmng educaton

More information

Alignment Results of SOBOM for OAEI 2010

Alignment Results of SOBOM for OAEI 2010 Algnment Results of SOBOM for OAEI 2010 Pegang Xu, Yadong Wang, Lang Cheng, Tany Zang School of Computer Scence and Technology Harbn Insttute of Technology, Harbn, Chna pegang.xu@gmal.com, ydwang@ht.edu.cn,

More information

Compiler Design. Spring Register Allocation. Sample Exercises and Solutions. Prof. Pedro C. Diniz

Compiler Design. Spring Register Allocation. Sample Exercises and Solutions. Prof. Pedro C. Diniz Compler Desgn Sprng 2014 Regster Allocaton Sample Exercses and Solutons Prof. Pedro C. Dnz USC / Informaton Scences Insttute 4676 Admralty Way, Sute 1001 Marna del Rey, Calforna 90292 pedro@s.edu Regster

More information

A Binarization Algorithm specialized on Document Images and Photos

A Binarization Algorithm specialized on Document Images and Photos A Bnarzaton Algorthm specalzed on Document mages and Photos Ergna Kavalleratou Dept. of nformaton and Communcaton Systems Engneerng Unversty of the Aegean kavalleratou@aegean.gr Abstract n ths paper, a

More information

Type-2 Fuzzy Non-uniform Rational B-spline Model with Type-2 Fuzzy Data

Type-2 Fuzzy Non-uniform Rational B-spline Model with Type-2 Fuzzy Data Malaysan Journal of Mathematcal Scences 11(S) Aprl : 35 46 (2017) Specal Issue: The 2nd Internatonal Conference and Workshop on Mathematcal Analyss (ICWOMA 2016) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES

More information

Ontology Generator from Relational Database Based on Jena

Ontology Generator from Relational Database Based on Jena Computer and Informaton Scence Vol. 3, No. 2; May 2010 Ontology Generator from Relatonal Database Based on Jena Shufeng Zhou (Correspondng author) College of Mathematcs Scence, Laocheng Unversty No.34

More information

On Some Entertaining Applications of the Concept of Set in Computer Science Course

On Some Entertaining Applications of the Concept of Set in Computer Science Course On Some Entertanng Applcatons of the Concept of Set n Computer Scence Course Krasmr Yordzhev *, Hrstna Kostadnova ** * Assocate Professor Krasmr Yordzhev, Ph.D., Faculty of Mathematcs and Natural Scences,

More information

TECHNIQUE OF FORMATION HOMOGENEOUS SAMPLE SAME OBJECTS. Muradaliyev A.Z.

TECHNIQUE OF FORMATION HOMOGENEOUS SAMPLE SAME OBJECTS. Muradaliyev A.Z. TECHNIQUE OF FORMATION HOMOGENEOUS SAMPLE SAME OBJECTS Muradalyev AZ Azerbajan Scentfc-Research and Desgn-Prospectng Insttute of Energetc AZ1012, Ave HZardab-94 E-mal:aydn_murad@yahoocom Importance of

More information

Machine Learning: Algorithms and Applications

Machine Learning: Algorithms and Applications 14/05/1 Machne Learnng: Algorthms and Applcatons Florano Zn Free Unversty of Bozen-Bolzano Faculty of Computer Scence Academc Year 011-01 Lecture 10: 14 May 01 Unsupervsed Learnng cont Sldes courtesy of

More information

Related-Mode Attacks on CTR Encryption Mode

Related-Mode Attacks on CTR Encryption Mode Internatonal Journal of Network Securty, Vol.4, No.3, PP.282 287, May 2007 282 Related-Mode Attacks on CTR Encrypton Mode Dayn Wang, Dongda Ln, and Wenlng Wu (Correspondng author: Dayn Wang) Key Laboratory

More information

Lecture 5: Multilayer Perceptrons

Lecture 5: Multilayer Perceptrons Lecture 5: Multlayer Perceptrons Roger Grosse 1 Introducton So far, we ve only talked about lnear models: lnear regresson and lnear bnary classfers. We noted that there are functons that can t be represented

More information

Problem Definitions and Evaluation Criteria for Computational Expensive Optimization

Problem Definitions and Evaluation Criteria for Computational Expensive Optimization Problem efntons and Evaluaton Crtera for Computatonal Expensve Optmzaton B. Lu 1, Q. Chen and Q. Zhang 3, J. J. Lang 4, P. N. Suganthan, B. Y. Qu 6 1 epartment of Computng, Glyndwr Unversty, UK Faclty

More information

Composition of UML Described Refactoring Rules *

Composition of UML Described Refactoring Rules * Composton of UML Descrbed Refactorng Rules * Slavsa Markovc Swss Federal Insttute of Technology Department of Computer Scence Software Engneerng Laboratory 05 Lausanne-EPFL Swtzerland e-mal: Slavsa.Markovc@epfl.ch

More information

A Fast Content-Based Multimedia Retrieval Technique Using Compressed Data

A Fast Content-Based Multimedia Retrieval Technique Using Compressed Data A Fast Content-Based Multmeda Retreval Technque Usng Compressed Data Borko Furht and Pornvt Saksobhavvat NSF Multmeda Laboratory Florda Atlantc Unversty, Boca Raton, Florda 3343 ABSTRACT In ths paper,

More information

DLK Pro the all-rounder for mobile data downloading. Tailor-made for various requirements.

DLK Pro the all-rounder for mobile data downloading. Tailor-made for various requirements. DLK Pro the all-rounder for moble data downloadng Talor-made for varous requrements www.dtco.vdo.com Smply brllant, brllantly smple Always the rght soluton The DLK Pro s the VDO product famly, whch sets

More information

An Integrated Information Platform for Intelligent Transportation Systems Based on Ontology

An Integrated Information Platform for Intelligent Transportation Systems Based on Ontology An Integrated Informaton Platform for Intellgent Transportaton Systems Based on Ontology Jun Zha, Zhou Zhou, Zhman Sh and Lxn Shen School of Economcs and Management, Dalan Martme Unversty, Dalan 116026,

More information

VRT012 User s guide V0.1. Address: Žirmūnų g. 27, Vilnius LT-09105, Phone: (370-5) , Fax: (370-5) ,

VRT012 User s guide V0.1. Address: Žirmūnų g. 27, Vilnius LT-09105, Phone: (370-5) , Fax: (370-5) , VRT012 User s gude V0.1 Thank you for purchasng our product. We hope ths user-frendly devce wll be helpful n realsng your deas and brngng comfort to your lfe. Please take few mnutes to read ths manual

More information

A Fast Visual Tracking Algorithm Based on Circle Pixels Matching

A Fast Visual Tracking Algorithm Based on Circle Pixels Matching A Fast Vsual Trackng Algorthm Based on Crcle Pxels Matchng Zhqang Hou hou_zhq@sohu.com Chongzhao Han czhan@mal.xjtu.edu.cn Ln Zheng Abstract: A fast vsual trackng algorthm based on crcle pxels matchng

More information

PHYSICS-ENHANCED L-SYSTEMS

PHYSICS-ENHANCED L-SYSTEMS PHYSICS-ENHANCED L-SYSTEMS Hansrud Noser 1, Stephan Rudolph 2, Peter Stuck 1 1 Department of Informatcs Unversty of Zurch, Wnterthurerstr. 190 CH-8057 Zurch Swtzerland noser(stuck)@f.unzh.ch, http://www.f.unzh.ch/~noser(~stuck)

More information

Content Based Image Retrieval Using 2-D Discrete Wavelet with Texture Feature with Different Classifiers

Content Based Image Retrieval Using 2-D Discrete Wavelet with Texture Feature with Different Classifiers IOSR Journal of Electroncs and Communcaton Engneerng (IOSR-JECE) e-issn: 78-834,p- ISSN: 78-8735.Volume 9, Issue, Ver. IV (Mar - Apr. 04), PP 0-07 Content Based Image Retreval Usng -D Dscrete Wavelet wth

More information

CMPS 10 Introduction to Computer Science Lecture Notes

CMPS 10 Introduction to Computer Science Lecture Notes CPS 0 Introducton to Computer Scence Lecture Notes Chapter : Algorthm Desgn How should we present algorthms? Natural languages lke Englsh, Spansh, or French whch are rch n nterpretaton and meanng are not

More information

A Unified Framework for Semantics and Feature Based Relevance Feedback in Image Retrieval Systems

A Unified Framework for Semantics and Feature Based Relevance Feedback in Image Retrieval Systems A Unfed Framework for Semantcs and Feature Based Relevance Feedback n Image Retreval Systems Ye Lu *, Chunhu Hu 2, Xngquan Zhu 3*, HongJang Zhang 2, Qang Yang * School of Computng Scence Smon Fraser Unversty

More information

Notes on Organizing Java Code: Packages, Visibility, and Scope

Notes on Organizing Java Code: Packages, Visibility, and Scope Notes on Organzng Java Code: Packages, Vsblty, and Scope CS 112 Wayne Snyder Java programmng n large measure s a process of defnng enttes (.e., packages, classes, methods, or felds) by name and then usng

More information

Available online at Available online at Advanced in Control Engineering and Information Science

Available online at   Available online at   Advanced in Control Engineering and Information Science Avalable onlne at wwwscencedrectcom Avalable onlne at wwwscencedrectcom Proceda Proceda Engneerng Engneerng 00 (2011) 15000 000 (2011) 1642 1646 Proceda Engneerng wwwelsevercom/locate/proceda Advanced

More information

Formalization of Transformation Rules from XML Schema to UML Class Diagram

Formalization of Transformation Rules from XML Schema to UML Class Diagram Internatonal Journal of Software Engneerng and Its Applcatons, pp. 75-90 http://dx.do.org/10.14257/jsea.2014.8.12.07 Formalzaton of Transformaton Rules from XML Schema to UML Class Dagram Hannan Aman and

More information

A PATTERN RECOGNITION APPROACH TO IMAGE SEGMENTATION

A PATTERN RECOGNITION APPROACH TO IMAGE SEGMENTATION 1 THE PUBLISHING HOUSE PROCEEDINGS OF THE ROMANIAN ACADEMY, Seres A, OF THE ROMANIAN ACADEMY Volume 4, Number 2/2003, pp.000-000 A PATTERN RECOGNITION APPROACH TO IMAGE SEGMENTATION Tudor BARBU Insttute

More information

3D vector computer graphics

3D vector computer graphics 3D vector computer graphcs Paolo Varagnolo: freelance engneer Padova Aprl 2016 Prvate Practce ----------------------------------- 1. Introducton Vector 3D model representaton n computer graphcs requres

More information

Data Representation in Digital Design, a Single Conversion Equation and a Formal Languages Approach

Data Representation in Digital Design, a Single Conversion Equation and a Formal Languages Approach Data Representaton n Dgtal Desgn, a Sngle Converson Equaton and a Formal Languages Approach Hassan Farhat Unversty of Nebraska at Omaha Abstract- In the study of data representaton n dgtal desgn and computer

More information

PYTHON IMPLEMENTATION OF VISUAL SECRET SHARING SCHEMES

PYTHON IMPLEMENTATION OF VISUAL SECRET SHARING SCHEMES PYTHON IMPLEMENTATION OF VISUAL SECRET SHARING SCHEMES Ruxandra Olmd Faculty of Mathematcs and Computer Scence, Unversty of Bucharest Emal: ruxandra.olmd@fm.unbuc.ro Abstract Vsual secret sharng schemes

More information

Efficient Segmentation and Classification of Remote Sensing Image Using Local Self Similarity

Efficient Segmentation and Classification of Remote Sensing Image Using Local Self Similarity ISSN(Onlne): 2320-9801 ISSN (Prnt): 2320-9798 Internatonal Journal of Innovatve Research n Computer and Communcaton Engneerng (An ISO 3297: 2007 Certfed Organzaton) Vol.2, Specal Issue 1, March 2014 Proceedngs

More information

Model Integrated Computing: A Framework for Creating Domain Specific Design Environments

Model Integrated Computing: A Framework for Creating Domain Specific Design Environments Model Integrated Computng: A Framework for Creatng Doman Specfc Desgn Envronments James R. DAVIS Vanderblt Unversty, Insttute for Software Integrated Systems Nashvlle, TN 37203, USA ABSTRACT Model Integrated

More information

Improvement of Spatial Resolution Using BlockMatching Based Motion Estimation and Frame. Integration

Improvement of Spatial Resolution Using BlockMatching Based Motion Estimation and Frame. Integration Improvement of Spatal Resoluton Usng BlockMatchng Based Moton Estmaton and Frame Integraton Danya Suga and Takayuk Hamamoto Graduate School of Engneerng, Tokyo Unversty of Scence, 6-3-1, Nuku, Katsuska-ku,

More information

J-DSP-CONTROL: A CONTROL SYSTEMS SIMULATION ENVIRONMENT +

J-DSP-CONTROL: A CONTROL SYSTEMS SIMULATION ENVIRONMENT + J-DSP-CONTROL: A CONTROL SYSTEMS SIMULATION ENVIRONMENT + T. Thrasyvoulou, K. Tsakals and A. Spanas MIDL Department of Electrcal Engneerng Arzona State Unversty, Tempe, AZ 85287-7206 thrassos@asu.edu,

More information

3D Virtual Eyeglass Frames Modeling from Multiple Camera Image Data Based on the GFFD Deformation Method

3D Virtual Eyeglass Frames Modeling from Multiple Camera Image Data Based on the GFFD Deformation Method NICOGRAPH Internatonal 2012, pp. 114-119 3D Vrtual Eyeglass Frames Modelng from Multple Camera Image Data Based on the GFFD Deformaton Method Norak Tamura, Somsangouane Sngthemphone and Katsuhro Ktama

More information

APPLICATION OF MULTIVARIATE LOSS FUNCTION FOR ASSESSMENT OF THE QUALITY OF TECHNOLOGICAL PROCESS MANAGEMENT

APPLICATION OF MULTIVARIATE LOSS FUNCTION FOR ASSESSMENT OF THE QUALITY OF TECHNOLOGICAL PROCESS MANAGEMENT 3. - 5. 5., Brno, Czech Republc, EU APPLICATION OF MULTIVARIATE LOSS FUNCTION FOR ASSESSMENT OF THE QUALITY OF TECHNOLOGICAL PROCESS MANAGEMENT Abstract Josef TOŠENOVSKÝ ) Lenka MONSPORTOVÁ ) Flp TOŠENOVSKÝ

More information

Extracting Semantic of Spatial-Lexical Information of a Corpus on Architecture, Defining Relationship of Entities in Ontology Knowledge Model

Extracting Semantic of Spatial-Lexical Information of a Corpus on Architecture, Defining Relationship of Entities in Ontology Knowledge Model Extractng Semantc of Spatal-Lexcal Informaton of a Corpus on Archtecture, Defnng Relatonshp of Enttes n Ontology Knowledge Model Elham Andarood ELHAM GRAD.NII.AC.JP Frederc Andres ANDRES@NII.AC.JP Kn Ono

More information

Mathematics 256 a course in differential equations for engineering students

Mathematics 256 a course in differential equations for engineering students Mathematcs 56 a course n dfferental equatons for engneerng students Chapter 5. More effcent methods of numercal soluton Euler s method s qute neffcent. Because the error s essentally proportonal to the

More information

Parallelism for Nested Loops with Non-uniform and Flow Dependences

Parallelism for Nested Loops with Non-uniform and Flow Dependences Parallelsm for Nested Loops wth Non-unform and Flow Dependences Sam-Jn Jeong Dept. of Informaton & Communcaton Engneerng, Cheonan Unversty, 5, Anseo-dong, Cheonan, Chungnam, 330-80, Korea. seong@cheonan.ac.kr

More information

DAQ-Middleware: Data Acquisition Middleware based on Internet of Things

DAQ-Middleware: Data Acquisition Middleware based on Internet of Things DAQ-Mddleware: Data Acquston Mddleware based on Internet of Thngs Zhjn Qu, Zhongwen Guo, Shua Guo, Yngjan Lu and Yu Wang Ocean Unversty of Chna, Qngdao, Shandong, Chna Unversty of North Carolna at Charlotte,

More information

SLAM Summer School 2006 Practical 2: SLAM using Monocular Vision

SLAM Summer School 2006 Practical 2: SLAM using Monocular Vision SLAM Summer School 2006 Practcal 2: SLAM usng Monocular Vson Javer Cvera, Unversty of Zaragoza Andrew J. Davson, Imperal College London J.M.M Montel, Unversty of Zaragoza. josemar@unzar.es, jcvera@unzar.es,

More information

an assocated logc allows the proof of safety and lveness propertes. The Unty model nvolves on the one hand a programmng language and, on the other han

an assocated logc allows the proof of safety and lveness propertes. The Unty model nvolves on the one hand a programmng language and, on the other han UNITY as a Tool for Desgn and Valdaton of a Data Replcaton System Phlppe Quennec Gerard Padou CENA IRIT-ENSEEIHT y Nnth Internatonal Conference on Systems Engneerng Unversty of Nevada, Las Vegas { 14-16

More information

Specifications in 2001

Specifications in 2001 Specfcatons n 200 MISTY (updated : May 3, 2002) September 27, 200 Mtsubsh Electrc Corporaton Block Cpher Algorthm MISTY Ths document shows a complete descrpton of encrypton algorthm MISTY, whch are secret-key

More information

CHAPTER 2 DECOMPOSITION OF GRAPHS

CHAPTER 2 DECOMPOSITION OF GRAPHS CHAPTER DECOMPOSITION OF GRAPHS. INTRODUCTION A graph H s called a Supersubdvson of a graph G f H s obtaned from G by replacng every edge uv of G by a bpartte graph,m (m may vary for each edge by dentfyng

More information

Sum of Linear and Fractional Multiobjective Programming Problem under Fuzzy Rules Constraints

Sum of Linear and Fractional Multiobjective Programming Problem under Fuzzy Rules Constraints Australan Journal of Basc and Appled Scences, 2(4): 1204-1208, 2008 ISSN 1991-8178 Sum of Lnear and Fractonal Multobjectve Programmng Problem under Fuzzy Rules Constrants 1 2 Sanjay Jan and Kalash Lachhwan

More information

Oracle Database: SQL and PL/SQL Fundamentals Certification Course

Oracle Database: SQL and PL/SQL Fundamentals Certification Course Oracle Database: SQL and PL/SQL Fundamentals Certfcaton Course 1 Duraton: 5 Days (30 hours) What you wll learn: Ths Oracle Database: SQL and PL/SQL Fundamentals tranng delvers the fundamentals of SQL and

More information

Decision Strategies for Rating Objects in Knowledge-Shared Research Networks

Decision Strategies for Rating Objects in Knowledge-Shared Research Networks Decson Strateges for Ratng Objects n Knowledge-Shared Research etwors ALEXADRA GRACHAROVA *, HAS-JOACHM ER **, HASSA OUR ELD ** OM SUUROE ***, HARR ARAKSE *** * nsttute of Control and System Research,

More information

such that is accepted of states in , where Finite Automata Lecture 2-1: Regular Languages be an FA. A string is the transition function,

such that is accepted of states in , where Finite Automata Lecture 2-1: Regular Languages be an FA. A string is the transition function, * Lecture - Regular Languages S Lecture - Fnte Automata where A fnte automaton s a -tuple s a fnte set called the states s a fnte set called the alphabet s the transton functon s the ntal state s the set

More information

Complex Numbers. Now we also saw that if a and b were both positive then ab = a b. For a second let s forget that restriction and do the following.

Complex Numbers. Now we also saw that if a and b were both positive then ab = a b. For a second let s forget that restriction and do the following. Complex Numbers The last topc n ths secton s not really related to most of what we ve done n ths chapter, although t s somewhat related to the radcals secton as we wll see. We also won t need the materal

More information

ANSYS FLUENT 12.1 in Workbench User s Guide

ANSYS FLUENT 12.1 in Workbench User s Guide ANSYS FLUENT 12.1 n Workbench User s Gude October 2009 Copyrght c 2009 by ANSYS, Inc. All Rghts Reserved. No part of ths document may be reproduced or otherwse used n any form wthout express wrtten permsson

More information

Querying by sketch geographical databases. Yu Han 1, a *

Querying by sketch geographical databases. Yu Han 1, a * 4th Internatonal Conference on Sensors, Measurement and Intellgent Materals (ICSMIM 2015) Queryng by sketch geographcal databases Yu Han 1, a * 1 Department of Basc Courses, Shenyang Insttute of Artllery,

More information

mquest Quickstart Version 11.0

mquest Quickstart Version 11.0 mquest Quckstart Verson 11.0 cluetec GmbH Emmy-Noether-Straße 17 76131 Karlsruhe Germany www.cluetec.de www.mquest.nfo cluetec GmbH Karlsruhe, 2016 Document verson 5 27.04.2016 16:59 > Propretary notce

More information

Virtual Machine Migration based on Trust Measurement of Computer Node

Virtual Machine Migration based on Trust Measurement of Computer Node Appled Mechancs and Materals Onlne: 2014-04-04 ISSN: 1662-7482, Vols. 536-537, pp 678-682 do:10.4028/www.scentfc.net/amm.536-537.678 2014 Trans Tech Publcatons, Swtzerland Vrtual Machne Mgraton based on

More information

Cell Count Method on a Network with SANET

Cell Count Method on a Network with SANET CSIS Dscusson Paper No.59 Cell Count Method on a Network wth SANET Atsuyuk Okabe* and Shno Shode** Center for Spatal Informaton Scence, Unversty of Tokyo 7-3-1, Hongo, Bunkyo-ku, Tokyo 113-8656, Japan

More information

Rules for Using Multi-Attribute Utility Theory for Estimating a User s Interests

Rules for Using Multi-Attribute Utility Theory for Estimating a User s Interests Rules for Usng Mult-Attrbute Utlty Theory for Estmatng a User s Interests Ralph Schäfer 1 DFKI GmbH, Stuhlsatzenhausweg 3, 66123 Saarbrücken Ralph.Schaefer@dfk.de Abstract. In ths paper, we show that Mult-Attrbute

More information

Evaluation of an Enhanced Scheme for High-level Nested Network Mobility

Evaluation of an Enhanced Scheme for High-level Nested Network Mobility IJCSNS Internatonal Journal of Computer Scence and Network Securty, VOL.15 No.10, October 2015 1 Evaluaton of an Enhanced Scheme for Hgh-level Nested Network Moblty Mohammed Babker Al Mohammed, Asha Hassan.

More information

Hierarchical clustering for gene expression data analysis

Hierarchical clustering for gene expression data analysis Herarchcal clusterng for gene expresson data analyss Gorgo Valentn e-mal: valentn@ds.unm.t Clusterng of Mcroarray Data. Clusterng of gene expresson profles (rows) => dscovery of co-regulated and functonally

More information

Topology Design using LS-TaSC Version 2 and LS-DYNA

Topology Design using LS-TaSC Version 2 and LS-DYNA Topology Desgn usng LS-TaSC Verson 2 and LS-DYNA Wllem Roux Lvermore Software Technology Corporaton, Lvermore, CA, USA Abstract Ths paper gves an overvew of LS-TaSC verson 2, a topology optmzaton tool

More information

HCMX: AN EFFICIENT HYBRID CLUSTERING APPROACH FOR MULTI-VERSION XML DOCUMENTS

HCMX: AN EFFICIENT HYBRID CLUSTERING APPROACH FOR MULTI-VERSION XML DOCUMENTS HCMX: AN EFFICIENT HYBRID CLUSTERING APPROACH FOR MULTI-VERSION XML DOCUMENTS VIJAY SONAWANE 1, D.RAJESWARA.RAO 2 1 Research Scholar, Department of CSE, K.L.Unversty, Green Felds, Guntur, Andhra Pradesh

More information

Concurrent models of computation for embedded software

Concurrent models of computation for embedded software Concurrent models of computaton for embedded software and hardware! Researcher overvew what t looks lke semantcs what t means and how t relates desgnng an actor language actor propertes and how to represent

More information

Conditional Speculative Decimal Addition*

Conditional Speculative Decimal Addition* Condtonal Speculatve Decmal Addton Alvaro Vazquez and Elsardo Antelo Dep. of Electronc and Computer Engneerng Unv. of Santago de Compostela, Span Ths work was supported n part by Xunta de Galca under grant

More information

LS-TaSC Version 2.1. Willem Roux Livermore Software Technology Corporation, Livermore, CA, USA. Abstract

LS-TaSC Version 2.1. Willem Roux Livermore Software Technology Corporation, Livermore, CA, USA. Abstract 12 th Internatonal LS-DYNA Users Conference Optmzaton(1) LS-TaSC Verson 2.1 Wllem Roux Lvermore Software Technology Corporaton, Lvermore, CA, USA Abstract Ths paper gves an overvew of LS-TaSC verson 2.1,

More information

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models Insttute for Software Integrated Systems Vanderblt Unversty Nashvlle, Tennessee, 37235 Towards Incremental Cycle Analyss n ESMoL Dstrbuted Control System Models Joseph Porter, Danel Balasubramanan, Graham

More information

Memory Modeling in ESL-RTL Equivalence Checking

Memory Modeling in ESL-RTL Equivalence Checking 11.4 Memory Modelng n ESL-RTL Equvalence Checkng Alfred Koelbl 2025 NW Cornelus Pass Rd. Hllsboro, OR 97124 koelbl@synopsys.com Jerry R. Burch 2025 NW Cornelus Pass Rd. Hllsboro, OR 97124 burch@synopsys.com

More information

Consistency constraints and 3D building reconstruction

Consistency constraints and 3D building reconstruction Consstency constrants and 3D buldng reconstructon Sébasten Horna, Danel Meneveaux, Gullaume Damand, Yves Bertrand To cte ths verson: Sébasten Horna, Danel Meneveaux, Gullaume Damand, Yves Bertrand. Consstency

More information

User Manual SAPERION Web Client 7.1

User Manual SAPERION Web Client 7.1 User Manual SAPERION Web Clent 7.1 Copyrght 2016 Lexmark. All rghts reserved. Lexmark s a trademark of Lexmark Internatonal, Inc., regstered n the U.S. and/or other countres. All other trademarks are the

More information

A HIERARCHICAL SIMULATION FRAMEWORK FOR APPLICATION DEVELOPMENT ON SYSTEM-ON-CHIP ARCHITECTURES. Vaibhav Mathur and Viktor K.

A HIERARCHICAL SIMULATION FRAMEWORK FOR APPLICATION DEVELOPMENT ON SYSTEM-ON-CHIP ARCHITECTURES. Vaibhav Mathur and Viktor K. A HIERARCHICAL SIMULATION FRAMEWORK FOR APPLICATION DEVELOPMENT ON SYSTEM-ON-CHIP ARCHITECTURES Vabhav Mathur and Vktor K. Prasanna Department of EE-Systems Unversty of Southern Calforna Los Angeles, CA

More information

TN348: Openlab Module - Colocalization

TN348: Openlab Module - Colocalization TN348: Openlab Module - Colocalzaton Topc The Colocalzaton module provdes the faclty to vsualze and quantfy colocalzaton between pars of mages. The Colocalzaton wndow contans a prevew of the two mages

More information

Assignment # 2. Farrukh Jabeen Algorithms 510 Assignment #2 Due Date: June 15, 2009.

Assignment # 2. Farrukh Jabeen Algorithms 510 Assignment #2 Due Date: June 15, 2009. Farrukh Jabeen Algorthms 51 Assgnment #2 Due Date: June 15, 29. Assgnment # 2 Chapter 3 Dscrete Fourer Transforms Implement the FFT for the DFT. Descrbed n sectons 3.1 and 3.2. Delverables: 1. Concse descrpton

More information

Solving two-person zero-sum game by Matlab

Solving two-person zero-sum game by Matlab Appled Mechancs and Materals Onlne: 2011-02-02 ISSN: 1662-7482, Vols. 50-51, pp 262-265 do:10.4028/www.scentfc.net/amm.50-51.262 2011 Trans Tech Publcatons, Swtzerland Solvng two-person zero-sum game by

More information

AADL : about scheduling analysis

AADL : about scheduling analysis AADL : about schedulng analyss Schedulng analyss, what s t? Embedded real-tme crtcal systems have temporal constrants to meet (e.g. deadlne). Many systems are bult wth operatng systems provdng multtaskng

More information

Location-Mediated Service Coordination in Ubiquitous Computing

Location-Mediated Service Coordination in Ubiquitous Computing Locaton-Medated Servce Coordnaton n Ubqutous Computng Ako Sashma CARC, AIST / CREST, JST 2-41-6 Aom, Koto-ku, Tokyo, 135-0064, Japan +81-3-3599-8227 sashma@carc.ast.go.p Norak Izum CARC, AIST / CREST,

More information

Course Introduction. Algorithm 8/31/2017. COSC 320 Advanced Data Structures and Algorithms. COSC 320 Advanced Data Structures and Algorithms

Course Introduction. Algorithm 8/31/2017. COSC 320 Advanced Data Structures and Algorithms. COSC 320 Advanced Data Structures and Algorithms Course Introducton Course Topcs Exams, abs, Proects A quc loo at a few algorthms 1 Advanced Data Structures and Algorthms Descrpton: We are gong to dscuss algorthm complexty analyss, algorthm desgn technques

More information

A New Approach For the Ranking of Fuzzy Sets With Different Heights

A New Approach For the Ranking of Fuzzy Sets With Different Heights New pproach For the ankng of Fuzzy Sets Wth Dfferent Heghts Pushpnder Sngh School of Mathematcs Computer pplcatons Thapar Unversty, Patala-7 00 Inda pushpndersnl@gmalcom STCT ankng of fuzzy sets plays

More information

Analysis of 3D Cracks in an Arbitrary Geometry with Weld Residual Stress

Analysis of 3D Cracks in an Arbitrary Geometry with Weld Residual Stress Analyss of 3D Cracks n an Arbtrary Geometry wth Weld Resdual Stress Greg Thorwald, Ph.D. Ted L. Anderson, Ph.D. Structural Relablty Technology, Boulder, CO Abstract Materals contanng flaws lke nclusons

More information

6.854 Advanced Algorithms Petar Maymounkov Problem Set 11 (November 23, 2005) With: Benjamin Rossman, Oren Weimann, and Pouya Kheradpour

6.854 Advanced Algorithms Petar Maymounkov Problem Set 11 (November 23, 2005) With: Benjamin Rossman, Oren Weimann, and Pouya Kheradpour 6.854 Advanced Algorthms Petar Maymounkov Problem Set 11 (November 23, 2005) Wth: Benjamn Rossman, Oren Wemann, and Pouya Kheradpour Problem 1. We reduce vertex cover to MAX-SAT wth weghts, such that the

More information

EMBET: Towards User Assistance, Collaboration and Knowledge Sharing *

EMBET: Towards User Assistance, Collaboration and Knowledge Sharing * EMBET: Towards User Assstance, Collaboraton and Knowledge Sharng * Mchal Laclavík 1, Martn Šeleng 1, Ladslav Hluchý 1 1 Insttute of Informatcs, Slovak Academy of Scences, Dubravska cesta 9 845 07 Bratslava,

More information

Ontology Mapping: As a Binary Classification Problem

Ontology Mapping: As a Binary Classification Problem Fourth Internatonal Conference on Semantcs, Knowledge and Grd Ontology Mappng: As a Bnary Classfcaton Problem Mng Mao SAP Research mng.mao@sap.com Yefe Peng Yahoo! ypeng@yahoo-nc.com Mchael Sprng U. of

More information

Paper style and format for the Sixth International Symposium on Turbulence, Heat and Mass Transfer

Paper style and format for the Sixth International Symposium on Turbulence, Heat and Mass Transfer K. Hanjalć, Y. Nagano and S. Jakrlć (Edtors) 2009 Begell House, Inc. Paper style and format for the Sxth Internatonal Symposum on Turbulence, Heat and Mass Transfer K. Hanjalć 1, Y. Nagano 2 and S. Jakrlć

More information

Product documentation. Issue:

Product documentation. Issue: Product documentaton Issue: 02.05.2017 Table of Contents Product documentaton 1 enet SMART HOME system... 5 1.1 System requrements... 5 1.2 Commssonng va... 5 1.3 Operaton va enet SMART HOME app... 7 2

More information

Combining Multiple Resources, Evidence and Criteria for Genomic Information Retrieval

Combining Multiple Resources, Evidence and Criteria for Genomic Information Retrieval Combnng Multple Resources, Evdence and Crtera for Genomc Informaton Retreval Luo S 1, Je Lu 2 and Jame Callan 2 1 Department of Computer Scence, Purdue Unversty, West Lafayette, IN 47907, USA ls@cs.purdue.edu

More information

Query Clustering Using a Hybrid Query Similarity Measure

Query Clustering Using a Hybrid Query Similarity Measure Query clusterng usng a hybrd query smlarty measure Fu. L., Goh, D.H., & Foo, S. (2004). WSEAS Transacton on Computers, 3(3), 700-705. Query Clusterng Usng a Hybrd Query Smlarty Measure Ln Fu, Don Hoe-Lan

More information

SEMANTIC SEARCH OF INTERNET INFORMATION RESOURCES ON BASE OF ONTOLOGIES AND MULTILINGUISTIC THESAURUSES. Anatoly Gladun, Julia Rogushina

SEMANTIC SEARCH OF INTERNET INFORMATION RESOURCES ON BASE OF ONTOLOGIES AND MULTILINGUISTIC THESAURUSES. Anatoly Gladun, Julia Rogushina 48 SEMANTIC SEARCH OF INTERNET INFORMATION RESOURCES ON BASE OF ONTOLOGIES AND MULTILINGUISTIC THESAURUSES Anatoly Gladun, Jula Rogushna Abstract: the approaches to the analyss of varous nformaton resources

More information

An Image Fusion Approach Based on Segmentation Region

An Image Fusion Approach Based on Segmentation Region Rong Wang, L-Qun Gao, Shu Yang, Yu-Hua Cha, and Yan-Chun Lu An Image Fuson Approach Based On Segmentaton Regon An Image Fuson Approach Based on Segmentaton Regon Rong Wang, L-Qun Gao, Shu Yang 3, Yu-Hua

More information

Term Weighting Classification System Using the Chi-square Statistic for the Classification Subtask at NTCIR-6 Patent Retrieval Task

Term Weighting Classification System Using the Chi-square Statistic for the Classification Subtask at NTCIR-6 Patent Retrieval Task Proceedngs of NTCIR-6 Workshop Meetng, May 15-18, 2007, Tokyo, Japan Term Weghtng Classfcaton System Usng the Ch-square Statstc for the Classfcaton Subtask at NTCIR-6 Patent Retreval Task Kotaro Hashmoto

More information

Private Information Retrieval (PIR)

Private Information Retrieval (PIR) 2 Levente Buttyán Problem formulaton Alce wants to obtan nformaton from a database, but she does not want the database to learn whch nformaton she wanted e.g., Alce s an nvestor queryng a stock-market

More information