Top Banner
Overview This Lecture LiFi Network on Chips Quantum network 1
68

This Lecture - Otago

Feb 04, 2022

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: This Lecture - Otago

Overview• This Lecture– LiFi– Network on Chips– Quantum network

1

Page 2: This Lecture - Otago

Overview

• This Lecture– LiFi

• Introduction of LiFi• Potential Applications• Challenging Problems

– Network on Chips– Quantum network

2

Page 3: This Lecture - Otago

• Optical Wireless Communication(OWC)

3

Optical Communications:The Backbone of Telecommunications

Optical fibers around the world

Introduction of LiFi

Page 4: This Lecture - Otago

Introduction of LiFi• Optical Wireless Communication(OWC)

4

Wireless Communications:

The most common wireless technologies use radio waves(Wifi, Cellular network)

Page 5: This Lecture - Otago

• Optical Wireless Communication(OWC) – a form of optical communication in which

unguided visible, infrared (IR), or ultraviolet (UV) light is used to carry a signal

5

Introduction of LiFi

Page 6: This Lecture - Otago

• Visible light communications (VLC) – Li-Fi ----Light Fidelity, Prof. Harald Haas during his

TED Global talk, 2011(https://www.youtube.com/watch?v=ujO3hq0_tJ0)

– a light-based Wi-Fi, uses LED light instead of radio waves to transmit information.

6

Introduction of LiFi

Page 7: This Lecture - Otago

• Switching bulbs on and off within nanoseconds• Switching on is a logic al ‘1’, switching it off is a

logical ‘0’, so fast that human eye doesn’t notice (thousands of times per second)

• A demo of “Wi-fi makes room for Li-fi” (https://www.youtube.com/watch?v=trYBogpHHGY)

7

Introduction of LiFi

Page 8: This Lecture - Otago

• Li-Fi uses LED lamps that can light a room as well as transmit and receive information. (https://www.youtube.com/watch?v=AKvvEqm9Nv4)

8http://phys.org/news/2012-10-li-fi-edinburgh-prof-seeds.html

Introduction of LiFi

Page 9: This Lecture - Otago

Introduction of LiFi

§ AdvantagesØ Safe for healthØ SecureØ No interference on

radio wave signalsØ High speed

(>10 Gbps, meaning one can download a full high-definition film in just 30 seconds )

Page 10: This Lecture - Otago

Introduction of LiFi§ Disadvantages

Ø Li-Fi doesn’t work in the darkØ cannot move to other rooms unless there are

wired bulbs tooØ low-mobilityØ small-coverage

Page 11: This Lecture - Otago

Introduction of LiFi

Page 12: This Lecture - Otago

Overview

• This Lecture– LiFi

• Introduction of LiFi• Potential Applications• Challenging Problems

– Network on Chips– Quantum network

12

Page 13: This Lecture - Otago

Potential Applications

• LiFi can provide network access at home, office, shopping center, plane, hospital, convention centers

• A demo of VLC wireless LAN system (https://www.youtube.com/watch?v=GH-xnS8yG8M)

13

Page 14: This Lecture - Otago

14

n WiFi Spectrum Relief - Providing additional bandwidth in environments where licensed and/or unlicensed communication bands are congested (complementary to WiFi)

Potential Applications

Page 15: This Lecture - Otago

15

n Smart Home Network – Enabling smart domestic/industrial lighting; home wireless communication including media streaming and internet access

Potential Applications

Page 16: This Lecture - Otago

16

n Commercial Aviation – Enabling wireless data communications such as in-flight entertainment and personal communications

Potential Applications

Page 17: This Lecture - Otago

17

n Hazardous Environments- Enabling data communications in environments where RF is not available, such as oil & gas, petrochemicals and mining

Potential Applications

Page 18: This Lecture - Otago

18

n Vehicles & Transportation: Street lamps, signage and traffic signals are also moving to LED. This can be used for vehicle-to-vehicle and vehicle-to-roadside communications. This can be applied for road safety and traffic management.

Potential Applications

Page 19: This Lecture - Otago

19

n Hospital and Healthcare – Li-Fi emits no electromagnetic interference and so does not interfere with medical instruments, nor is it interfered with by MRI scanners.

Potential Applications

Page 20: This Lecture - Otago

20

n Underwater Communications: Due to strong signal absorption in water, RF use is impractical. Li-Fi provides a solution for short-range communications.

Potential Applications

Page 21: This Lecture - Otago

21

§ Defence and Military Applications – Enabling high data rate wireless communication within military vehicles and aircraft

§ Corporate and Organisational Security – Enabling the use of wireless networks in applications where (WiFi) presents a security risk

§ Location-Based Services – Highly accurate location-specific information services such as advertising and navigation that enables the recipient to receive appropriate, pertinent information in a timely manner.

§ Toys – Many toys incorporate LED lights and these can be used to enable extremely low-cost communication between interactive toys

Potential Applications

Page 22: This Lecture - Otago

Models• Li-Fi Consortium defined Giga Dock, Giga Beam, Giga Shower,Giga Spot and Giga MIMO models to tackle different userscenarios.

Page 23: This Lecture - Otago

Overview

• This Lecture– LiFi

• Introduction of LiFi• Potential Applications• Challenging Problems

– Network on Chips– Quantum network

23

Page 24: This Lecture - Otago

Challenging Problems• Challenging Problems– Shadowing (easily blocked by somebody simply walking

in front of LED source)

Page 25: This Lecture - Otago

Challenging Problems• Challenging Problems

Page 26: This Lecture - Otago

Challenging Problems• Challenging Problems

Page 27: This Lecture - Otago

Challenging Problems• Challenging Problems– LED layout problem (Lifi requires line of sight, limited

coverage, different indoor/outdoor conditions)

Page 28: This Lecture - Otago

Challenging Problems• Challenging Problems

Ø Connectivity while moving (transferred from onelight source to another, seamless handover)

Ø Multiuser support (multiplexing)

Page 29: This Lecture - Otago

Summary of LiFi• IEEE 802.15.7 visible light communication• VLC technology has been proven to work by a

number of companies (Lifi Consortium, Purevlc.., ) and research establishments. (See Demos of Pure LiFi at Mobile World Congress 2014/2015)

• Amazing Fact about Li-Fi – Every light source in homes and offices could

potentially be a “Li-Fi” within 20 years. – When this technology becomes feasible like the WiFi,

then our life will be awesome on earth.– “This is the technology that could start to touch every

aspect of human life within a decade”

Page 30: This Lecture - Otago

Overview

• This Lecture– LiFi

• Introduction of OWC• Potential Applications• Challenging Problems

– Network on Chips• Introduction of NoC• Types of NoC• Challenging Problems

30

Page 31: This Lecture - Otago

• many cores on a single chip (e.g. processors, GPUs),such as, Cisco QuantumFlow (40), Intel Teraflops (80),Tilera Tile (100), Cisco SPP (188), CSX700 (192),PicoChip (300), etc.

• It has been predicted more than 1000 cores will beintegrated on a single chip.

Introduction of NoC

2005, Pentium D 2006, Core 2 Duo (Conroe)

2006, Core 2 Quad(Kentisfield)

2007, TILE64

(Tilera)

Multicore processor with more and more cores!!

2015. 256 cores Intel, Sun

Page 32: This Lecture - Otago

International Technology Roadmap for Semiconductors (ITRS) Predictions in 2010

Introduction of NoC

Page 33: This Lecture - Otago

Introduction of NoC

• Evolution of on-chip communication architectures

Page 34: This Lecture - Otago

Introduction of NoC

• NoC exemple

ProcessorMaster

GlobalMemory

Slave

Global I/OSlave

Global I/OSlave

ProcessorMaster

ProcessorMaster

ProcessorMaster

ProcessorMaster

ProcessorMaster

ProcessorMaster

ProcessorMaster

ProcessorMaster

RoutingNode

RoutingNode

RoutingNode

RoutingNode

RoutingNode

RoutingNode

RoutingNode

RoutingNode

RoutingNode

Page 35: This Lecture - Otago

Introduction of NoC

• NoCs: scale down the concepts of large scale networks, and apply them to the embedded system-on-chip (SoC) domain (demo example)

• NoC Properties– Regular geometry that is scalable– Flexible QoS guarantees– Higher bandwidth– No long global wires – Reliable electrical and physical properties

Page 36: This Lecture - Otago

Overview

• This Lecture– LiFi

• Introduction of OWC• Potential Applications• Challenging Problems

– Network on Chips• Introduction of NoC• Design of NoC• Challenging Problems

36

Page 37: This Lecture - Otago

Types of NoC• Networks with new constraints– Need to accommodate interconnects in a 2D layout– Cannot route long wires– area and power– Use as few buffers as possible

37

Page 38: This Lecture - Otago

NoC Topology

• Mainly adopted from large-scale networks and parallel computing

• A good topology allows to fulfill the requirements of the traffic at reasonable costs

• Topology classifications:1. Direct topologies2. Indirect topologies

38

Page 39: This Lecture - Otago

Types of NoC

• 2D mesh is most popular topology– all links have the same length– area grows linearly with the number of nodes– must be designed in such a way as to avoid traffic

accumulating in the center of the mesh

39

PE PEPE PE

PE PEPE PE

PE PEPE PE

R R R R

R R R R

PE PEPE PE

R R R R

R R R R

Page 40: This Lecture - Otago

Types of NoC

• Torus topology, also called a k-ary n-cube, is an n-dimensional grid with k nodes in each dimension– k-ary 1-cube (1-D torus) is essentially a ring network with

k nodes

40

Page 41: This Lecture - Otago

Types of NoC

• k-ary 2-cube (i.e., 2-D torus) topology is similar to a regular mesh except that nodes at the edges are connected to switches at the opposite edge via wrap-around channels

41

PE PEPE PE

PE PEPE PE

PE PEPE PE

R R R R

R R R R

PE PEPE PE

R R R R

R R R R

Page 42: This Lecture - Otago

Types of NoC

• Folding torus topology overcomes the long link limitation of a 2-D torus– links have the same size

42

PE PEPE PE

PE PEPE PE

PE PEPE PE

R R R R

R R R R

PE PEPE PE

R R R R

R R R R

Fold

PE

R PE

R

PE

R PE

RPE

R PE

R

PE

R PE

RPE

R PE

R

PE

R PE

R

R PE

R

PE

R PE

R

PE

Page 43: This Lecture - Otago

Types of NoC

• Octagon topology� messages being sent between any 2 nodes require at most two hops

43

PE

PE

PE

PE PE

PE

PE

PE

SW

Page 44: This Lecture - Otago

Types of NoC

• hypercube topology�Arrange N=2n nodes in n-dimensional cube–At most n hops from

source to destination – log(number of nodes)

44

Page 45: This Lecture - Otago

Types of NoC

• Fat tree topology (Indirect)– nodes are connected only to the leaves of the tree– more links near root, where bandwidth requirements are

higher SW

SWSW

SWSW SWSW

PEPE PEPE PEPE PEPE

Page 46: This Lecture - Otago

Types of NoC

• Fat tree topology– nodes are connected only to the leaves of the tree– more links near root, where bandwidth requirements are

higher

Page 47: This Lecture - Otago

Types of NoC• k-ary n-fly butterfly network

– multi-stage network; kn nodes, and n stages of kn-1 k x k crossbar. e.g. 2-ary 3-fly butterfly

47

SWPE

PE

PE

PE

PE

PE

PE

PE

SW

SW SW

SW SW

SW SW

PE

PE

PE

PE

PE

PE

PE

PE

SW

SW

SW

SW

Page 48: This Lecture - Otago

Types of NoC• (m, n, r) symmetric Clos network: m is the no. of middle-stage switches; n is the

number of input/output nodes on each input/output switch; r is the number of input and output switches; e.g. (3, 3, 4) Clos network

48

SW

0

2

SW

0

2

SW1 1

SW

3

5

SW

3

5

SW

4 4

SW

6

8

SW

6

8

7 7

SW

9

11

SW

9

11

SW10 10

Page 49: This Lecture - Otago

Types of NoC

• Irregular or ad hoc network topologies– customized for an application– usually a mix of shared bus, direct, and indirect network topologies– e.g. reduced mesh, cluster-based hybrid topology

49

Page 50: This Lecture - Otago

NoC Routing

Routing algorithm determine path(s) from source to destination.

50

Page 51: This Lecture - Otago

NoC Routing• NoC Routing Algorithm Attributes:– Number of destinations

• Unicast, Multicast, Broadcast

• Objectives: –Maximize throughput: How much load the

network can handle–Minimize routing delay between source and

destination: Minimize hop count

51

Page 52: This Lecture - Otago

Types of NoC• Deterministic

Routing in a 2D-mesh NoC – XY routing– the message travels �horizontally� from the source node to the �column� containing the destination, where the message travels vertically.

– east-north, east-south, west-north, and west-south.

Page 53: This Lecture - Otago

NoC Routing

S

D

• Dimension-Ordered Routing (DOR)(also called XY routing)

Page 54: This Lecture - Otago

NoC Routing

• DOR (XY) Routing: Traffic crossing bisection uniformly distributed across K channels.

Page 55: This Lecture - Otago

NoC Routing

• DOR (XY) Routing: Traffic crossing bisection uniformly distributed across K channels.

Page 56: This Lecture - Otago

NoC Routing

• Valiant Load-Balancing (VAL)

randomly chosenintermediate node

minimal XY routing to any intermediate node, then minimal XY routing to destination node

S

D

Page 57: This Lecture - Otago

57

NoC Routing

use both minimal XY and YX routing to the destination (0.5 XY + 0.5 YX)

S

D

• O1TURN

Page 58: This Lecture - Otago

Overview

• This Lecture– LiFi

• Introduction of OWC• Potential Applications• Challenging Problems

– Network on Chips• Introduction of NoC• Types of NoC• Challenging Problems

58

Page 59: This Lecture - Otago

• Energy has become one of the primary concerns– Energy efficiency doesn't scale with the number of cores;

Power consumption grows faster than performance• On-chip electrical interconnect becomes a primary

bottleneck• Dec. 2012, IBM announced its technology - silicon

nanophotonicshttps://www.youtube.com/watch?v=LU8BsfKxV2k&list=PLCFC05F2A230A80B5

Challenging Problems

Page 60: This Lecture - Otago

Challenging Problems• Characteristics of ONoCs:

Bufferless/Concurrent transmission/Special on-chip optical routerÓ›Ú –Œ—–—Õ¤‹ Œ¤Õ¤flŒ›ÿ

–ƪ¥øÆªÊ fl —“±› ¨±±¥±ß ø æª ÆªÆªª¨ªº æß ø Æø Ÿ „ ¯ Ù ¤˜Ù ©ªÆª ±ºª øƪ

±¨ø¥ Ʊ´¨ªÆÙ øº ªºª ¤ øƪ ¨ª ±¨ø¥

¥µ ¯¥± ©ø™ª´ºª˜ ±ª¨ ¨ª ±¨ø¥

Ʊ´¨ªÆÚ Ãª ±¨ ±±¥ß ´ªº ¨±±¥±ß ±Æ

—“±› ”ª ¯⁄Ú Ô¯ø˜˜Ù ø ¨ ƺۨߪ øª

øº ƪ´¥øÆ ¨Æ´¨´Æª øƪ ±¨ øƱÆø¨ª ±Æ ¨ª

¨©± ºª±ø¥ ¥øß±´¨ ± ø Ú —¨ø¥

Ʊ´¨ªÆ øƪ ´ªº ¨± Ʊ´¨ª ±¨ø¥ ø¥ 檨©ªª

ø ª¨ ± ´¨ øº ±´¨´¨ ±Æ¨Ú ”´ ƪªøÆÌÏÛ

ÌÈ ø 檪 ±º´¨ªº ± ºª ¨ª Ʊ´¨ªÆ

¯⁄Ú Ô¯æ˜˜ æøªº ± ”ƱÛÆ Œª±ø¨±Æ ¯”ŒÊ ¥¨ªÆ ø ª ©ø™ª¥ª¨ øº ø ¨ª

ºÆª¨± ± ¥¨˜Ú ê ”Œ ±©ªÆªº ¨± ±Û¨ø¨ª ¯⁄ÚÔ ¯˜˜ ©ª ¨ª ø¥ ¨´Æ øƱ´ºÙ

ø´ ±Æª ø¥ ¥± ¨ø ¨ª ±Û¨ø¨ª ¯⁄ÚÔ ¯º˜˜ ©ª ¨ª ø¥ ø æßÚ

ŒªªøÆ Æ±æ¥ªÊ —´Æ ƪªøÆ Æ±æ¥ª Ê ™ª ø ¨±±¥±ß øº ø Ʊ´¨ªÆ ºª ±Æ —“±›Ù ±©

ø ©ª ºª ¥±©Û±¥ª®¨ß Ʊ´¨ ø¥±Æ¨ øº ©ø™ª¥ª¨ øª¨ ªª ¨ø¨ ´ª ø

¥¨ªº ´æªÆ ± ©ø™ª¥ª¨ ¨± ø®ª ªÆ±Æøª ¯±ºª¥¥ªº æß ±¨ª¨± Ʊæø楨ߘ ©¥ª ø¨ß ªø¨ æø¥ø øº ø¥ ¥± ±¨Æø¨Ú à Ʊ楪 ø ±Æª ±¨Æø¨ ¨ø ¨ª

Ʊ´¨ øº ©ø™ª¥ª¨ øª¨ Ʊ楪 ±™ª¨±ø¥ ¥øƪÛø¥ª ±¨ø¥ ª¨©±ÆµÙ ©

µ±© ¨± æª “–Ûøƺ ÌËÚ …ª ©¥¥ ™ª¨ø¨ª ¨ª øæ±™ª Ʊ楪 æß ª¨¨ ´ øø¥ß¨ø¥ ±ºª¥ ±Æ

ªªÆø¥ —“±› ¨±±¥±ªÙ ºª¨ß ¨ª ƱªÆ¨ª ± ¨ª ±¨ø¥ ±¥´¨±Ù øº ºª ±¨ø¥

±Æ ªøÆÛ±¨ø¥ ±¥´¨± ± ”ª —“±› æß ¨øµ øº™ø¨øª ± ¨ª ƪ´¥øÆ¨ß ± ”ª ¨Æ´¨´ÆªÚ

”ª¨±º±¥±ß øº øƱøªÊ

—“±› –ªÆ±Æøª ±ºª¥¥ªº æß ±¨ª¨± Ʊæø楨ßÊ À¥µª ª¥ª¨Æ± ¨ªÆ±ª¨ ©ªÆª

±´ø¨± ºª¥øß º±ø¨ªº æß ¨ª ¨Æø± º¨øª øº ¨ª Ø´ª´ ºª¥øß ø¨ Ʊ´¨ªÆÙ

¨ª ±¨ø¥ ªºÛ¨±Ûªº ¨Æ±´´¨ ±¨ øª¨ªº æß ¨ª ø±´¨ ± ¨ª ¨ø¨ ø øƪº ¥µ ¨ª

Ʊ´¨ ø¨ ±´ªº æß ±¨ªÆ ±¥¨

±´ø¨±Ú fl ±© ⁄Ú ÓÙ ¨©± ±´Æƪ¨

±´ø¨± Ô øº Ó ©¥¥ ¯ø˜ ±¥¨ æß »«

Ʊ´¨ ¨ªß øƪ øªº ¨ª øª ©ø™ª¥ª¨

º´ª ¨± ¨ª øƪº ¥µ ø¥± ¨ªÆ Ʊ´¨ ø¨Ù ¯æ˜

±¨ ±¥¨ æß «» Ʊ´¨ ¨ª øª ©ø™ª¥ª¨

ø ¨ªß º± ±¨ øƪ øß ¥µÙ øº ¯˜ ±¨ ±¥¨

æß »« Ʊ´¨ ¨ªß øƪ øªº ºªÆª¨

©ø™ª¥ª¨ ª™ª ¨ªß øƪ ø ±± ¥µÚ fl

¨ª ±¥¨ ¨´ø¨± ºªªº ±¨ ±¥ß ± ¨ª Ʊ´¨ ø¥±Æ¨ æ´¨ ø¥± ± ¨ª ©ø™ª¥ª¨

øª¨ øƱøÙ ¨ª øø¥ß ± ±¨ª¨± Ʊæøæ¥¨ß ªªº ¨± ±ºªÆ 汨 ø¨±ÆÚ …ª ©¥¥

™ª¨ø¨ª ªª¨ ±¥´¨± ¨± øª™ª ¨ª ±æª¨™ª ± ªÆ±Æøª ¯ ¨Æ±´´¨ øº

¥±© ±´ø¨± ºª¥øߘ æß ¶ ¨ª ø®´ ±¨ª¨± Ʊæøæ¥¨ß ø± ¨ª ¥µÚ

–ƪ¥øÆß ©±ÆµÊ ±´Æ ƪ¥øÆß ©±ÆµÙ ©ª ºªªº ¨©± ©ø™ª¥ª¨ øª¨ øƱøª

¯±´Æª øº ºª¨ø¨± æøªº øƱøªÌ͘٠© ø¥¥±© —“±› ¨± ´ª ª™ªÆø¥ ©ø™ª¥ª¨Ù æ´¨

¨ª ±¨ª¨± Ʊæøæ¥¨ß Ú ÌÈÙ ø ©ø™ª¥ª¨ øª¨ øƱø ¨ø¨ ´ª 汨 ¨ª

±´Æª øº ºª¨ø¨± øººÆªª ©ø ºªªºÙ ÆªØ´Æ ©ø™ª¥ª¨ ± ø ”ª ©¨

±øÆø¨™ª¥ß ¥±© ±¨ª¨± Ʊæø楨ßÚ ÿ±©ª™ªÆÙ ¨ ªª º±ª ±¨ ø™ª ™ªÆß ±±º

ø¥ø楨ßÙ ø ¥øƪ —“±› ¨¥¥ ƪشƪ ø ¥øƪ ´æªÆ ± ©ø™ª¥ª¨Ú ÿ±© ø ©ª º ¨ª

±¨ø¥ ±¥´¨± Ʊ ø ±Æª Æø¨ø¥ ªÆª¨™ª· ñ º ±´¨ ¨ª ±¨ø¥ÒªøÆÛ±¨ø¥ ±¥´¨±Ù

©ª ºª±´¥ª ±´Æ ƪªøÆ Æ±æ¥ª ¨± ¨©± ´æÛÆ±æ¥ªÊ Æ±´¨Ûø©øƪ ©ø™ª¥ª¨Û±¨Æøªº

øª¨ ¯Ãøµ ÔÙ ¨øƪ¨ ± ¨ª ©ø™ª¥ª¨ øª¨ ±Æ ø ™ª Ʊ´¨ ªª˜ øº ¥±© ±¥ª®¨ß ¥±Û±¨Æøªº øº ªø¨Ûæø¥øªº Ʊ´¨ ¯Ãøµ ÓÙ ¨øƪ¨ ± ªø¨Ûæø¥øªº Ʊ´¨

´ºªÆ ±¨Æø¨ ± ¨Æø± ¥±˜Ú

Fast-Start Contact PI's Surname Initials Application Number PanelProposal Chen YC 13-UOO-217 MIS

2013 Marsden Fund Document 4

Page 61: This Lecture - Otago

• Jan. 2013, Intel announced the use of a silicon photonic architecture to define the next generation of servers

• Apr. 2013, Intel demonstrated its first inexpensive optical chip

• In 2015, IBM to demonstrate first on-package silicon photonics", Mar 2015

61

Challenging Problems

Page 62: This Lecture - Otago

• Application mapping (map tasks to cores)• Floorplanning (within the network)• Buffer sizing (size of queues in the routers)• Simulation (Network simulation,

traffic/delay/power modeling)• 2D to 3D

62

Challenging problems

2D to 3D

Page 63: This Lecture - Otago

Overview

• This Lecture– LiFi

• What is? How does it work? • What are the future applications?

– Network on Chips• What is NoC? • What are the types of NoC?

–Quantum network

63

Page 64: This Lecture - Otago

64

Quantum network

Page 65: This Lecture - Otago

65

Quantum network

Page 66: This Lecture - Otago

66

Quantum network

Page 67: This Lecture - Otago

67

Quantum network

Page 68: This Lecture - Otago

References

• https://www.engr.colostate.edu/~sudeep/.../commbook_chap12.pp

• www.tlc.polito.it/~nordio/seminars/2006_05_05_Casu.ppt

• http://www.ida.liu.se/~petel/NoC/lecture-notes/lect2.pdf• http://www.cs.ust.hk/~hamdi/Class/CSIT560-S13/lecture_notes.htm

• http://www.cwc.ucsd.edu/~billlin/classes/ECE284/oblivious-routing.pptx

• http://quantumrepeaters.eu/quantumrepeaters.eu/images/attachments/qurep_quantum_communication/index.pdf