kraft ix tie demo intro n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
KRAFT-IX TIE (Demo Intro) PowerPoint Presentation
Download Presentation
KRAFT-IX TIE (Demo Intro)

Loading in 2 Seconds...

play fullscreen
1 / 14

KRAFT-IX TIE (Demo Intro) - PowerPoint PPT Presentation


  • 131 Views
  • Uploaded on

KRAFT-IX TIE (Demo Intro). Kit-ying Hui. Dept of Computing Science University of Aberdeen. KRAFT. formulate & solve CSPs in finite domains fusing & transforming mobile constraints needs a domain model (database schema) variables domains (data in databases) constraints.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'KRAFT-IX TIE (Demo Intro)' - kathy


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
kraft ix tie demo intro

KRAFT-IX TIE (Demo Intro)

Kit-ying Hui

Dept of Computing Science

University of Aberdeen

kraft
KRAFT
  • formulate & solve CSPs in finite domains
    • fusing & transformingmobile constraints
  • needs
    • a domain model (database schema)
    • variables domains (data in databases)
    • constraints
domain model simplified
Domain Model (Simplified)

next_to

allocate

slot

length -> string

power -> string

board

processor

length -> string

power -> string

io

length -> string

power -> string

disk_controller

length -> string

power -> string

constraints
Constraints
  • if a "long" processor is allocated to a slot, the slot must be "long"
  • if a processor requiring "extra" power is allocated, the slot must be able to supply "extra" power
  • if a processor & a disk-controller are allocated, they must be next to each other
top level view
Top Level View

IX domain

KRAFT domain

ED panel

calls out

to KRAFT

to resolve

issues

agents,

solvers,

etc.

exchange issues,

constraints & data

ABDN panel

proposed architecture
Proposed Architecture

IX domain

KRAFT domain

ED panel

INCA/ FBPML /Prolog

or INCA/ FBPML /XML

ABDN panel

AKT-Bus

compliant

access point

AKT-Bus

traffic

KRAFT

traffic

XML parser

XML parser

a single

Prolog

program

INCA/ FBPML /Prolog->

FDM/CIF/Prolog mapper

XML generator

AKT-Bus

compliant

access point

KRAFT

agent

(mediator)

in Prolog/Java

problem solving scenario

constraints

DB queries

request from IX

CLP

Problem Solving Scenario

IX-KRAFT

adaptor

database

wrapper

constraint

fuser

constraint

solver

AKT

domain

KRAFT

domain