Microsoft PowerPoint - Lecture10.ppt

Size: px
Start display at page:

Download "Microsoft PowerPoint - Lecture10.ppt"

Transcription

1 Chap 11. Graph 1

2 Graph Applications Modeling connectivity in computer networks Representing maps Modeling flow capacities in networks Finding paths from start to goal (AI) Modeling transitions in algorithms Ordering tasks Modeling relationships (families, organizations)

3 GRAPH THEORY 3

4 Graphs A graph G = (V, E) consists of a set of vertices V, and a set of edges E, such that each edge in E is a connection between a pair of vertices in V. The number of vertices is written V, and the number edges is written E.

5 Graph Theory Example: given the vertices V = {v 1, v 2, v 3, v 4 } and the edges E = {{v 1, v 2 }, {v 1, v 3 }, {v 3, v 4 }} the graph has three edges connecting four vertices Example: given the V = 7 vertices V = {1, 2, 3, 4, 5, 6, 7} and the E = 12 edges E = {{1, 2}, {1, 3}, {1, 4}, {2, 4}, {2, 5}, {3, 4}, {3, 6}, {4, 5}, {4, 6}, {4, 7}, {5, 7}, {6, 7}}

6 Graph Theory Two vertices are said to be adjacent if there exists an edge between the two vertices Note that if the edge is {a, b}, then a is adjacent to b, and b is adjacent to a We will assume that a vertex is not adjacent to itself, that is, each edge is made up of two distinct vertices The degree of a vertex is defined as the number of adjacent vertices In this graph, the degree of each vertex is given in red

7 Paths A path is an ordered sequence of vertices (v 0, v 1, v 2,..., v k ) where {v i 1, v i } is an edge for i = 1,..., k Termed a path from v 0 to v k The length of this path is k Same as a path in a tree Examples of paths: (1, 2, 4, 3, 6, 7, 5) (1, 4, 2, 4, 3, 4, 5, 4, 6, 4, 7) (2, 4, 1, 2, 4, 2, 1) (1)

8 Simple Paths A simple path has no repetitions other than perhaps the first and last vertices A simple path where the first and last vertices are equal is said to be a cycle Note: these definitions are not universal Examples of simple paths: (1, 2, 4, 3, 6, 7, 5) (1, 2, 5, 7, 6, 3) (2, 4, 1, 2) (1)

9 Connectedness Two vertices v i, v j are said to be connected if there exists a path from v i to v j A graph is connected if there exists a path between any two vertices Connected Unconnected

10 Weighted Graphs A weight may be associated with each edge in a graph This could represent distance, energy consumption, cost, etc. Pictorially, we will represent weights by numbers next to the edges

11 Weighted Graphs A graph where each edge has a weight is termed an weighted graph A graph where edges do not have any associated weights is termed an unweighted graph An unweighted graph may be considered to be a weighted graph where all edges have weight 1

12 Weighted Graphs The length of a path within a graph is the sum of all of the edges which make up the path The length of the path (1, 4, 7) in the following graph is = 8.8

13 Weighted Graphs There may be multiple paths between two vertices, each with a different weight Another path from 1 to 7 is (1, 4, 5, 7) with length 6.9

14 Weighted Graphs One problem we will be to find the shortest path between two vertices In this example, the shortest path from 1 to 7 is (1, 3, 6, 4, 5, 7) with length 5.7:

15 Directed Graphs The edges on a graph may be associated with a direction In this case, all edges are ordered pairs (v i, v j ) where this denotes a connection from v i to v j This does not suggest that there is a connection between v j and v i

16 Directed Graphs Such a graph is termed a directed graph and we will use arrows to denote which directions the edges go For example, G = {1, 2, 3, 4} E = {(1, 2), (1, 3), (4, 3)}

17 Directed Graphs A vertex v i is adjacent to v j in a directed graph if (v i, v i ) is in the set of edges For two vertices to be adjacent to each other, both pair must be in the set of edges: E = {(1, 2), (1, 3), (3, 4), (4, 3)}

18 Directed Graphs Another example is: G = {1, 2, 3, 4, 5, 6, 7} E = {(1, 2), (1, 4), (2, 5), (3, 1), (4, 2), (4, 3), (4, 5), (4, 6), (4,7), (5, 4), (7, 6)}

19 Directed Graphs Graphs without directions are termed undirected graphs, though these may be considered to be directed graphs with edges in both directions Most algorithms will focus on directed weighted graphs

20 In and Out Degrees The degree of a vertex must be modified to consider both cases: the out-degree of a vertex is the number of vertices which are adjacent to the given vertex the in-degree of a vertex is the number of vertices which this vertex is adjacent to Visually, think of it as the number of arrows gout out and coming in, respectively

21 In and Out Degrees For example, the in/out degrees of each of the vertices in this graph are listed next to the vertex 2/5

22 Directed Acyclic Graphs A directed acyclic graph is a directed graph which has no cycles Such an object is sufficiently common that they are often referred to as DAGs Two examples are shown here:

23 Directed Acyclic Graphs The following directed graph has a cycle and therefore is not a valid DAG

24 Directed Acyclic Graphs Applications of directed acyclic graphs include: the parse tree constructed by a compiler a reference graph that can be garbage collected using simple reference counting dependency graphs such as those used in instruction scheduling and makefiles dependency graphs between classes formed by inheritance relationships in object-oriented programming languages information categorization systems, such as folders in a computer directed acyclic word graph data structure to memory-efficiently store a set of strings (words) Reference:

25 Connected Components An undirected graph is connected if there is at least one path from any vertex to any other. The maximum connected subgraphs of an undirected graph are called connected components.

26 Directed Representation

27 Undirected Representation

28 Representation Costs Adjacency Matrix: Ɵ( V 2 ) Adjacency List: Ɵ( V + E )

29 Graph ADT class Graph { // Graph abstract class public: virtual int n() =0; // # of vertices virtual int e() =0; // # of edges // Return index of first, next neighbor virtual int first(int) =0; virtual int next(int, int) =0; // Store new edge virtual void setedge(int, int, int) =0; // Delete edge defined by two vertices virtual void deledge(int, int) =0; // Weight of edge connecting two vertices virtual int weight(int, int) =0; virtual int getmark(int) =0; virtual void setmark(int, int) =0; };

30 GRAPH TRAVERSALS 30

31 Graph Traversals Some applications require visiting every vertex in the graph exactly once. The application may require that vertices be visited in some special order based on graph topology. Examples: Artificial Intelligence Search Shortest paths problems

32 Graph Traversals (2) To insure visiting all vertices: void graphtraverse(const Graph* G) { for (v=0; v<g->n(); v++) G->setMark(v, UNVISITED); // Initialize for (v=0; v<g->n(); v++) if (G->getMark(v) == UNVISITED) dotraverse(g, v); }

33 Depth First Search (1) // Depth first search void DFS(Graph* G, int v) { PreVisit(G, v); // Take action G->setMark(v, VISITED); for (int w=g->first(v); w<g->n(); w = G->next(v,w)) if (G->getMark(w) == UNVISITED) DFS(G, w); PostVisit(G, v); // Take action }

34 Depth First Search (2) Cost: ( V + E ).

35 Breadth First Search (1) Like DFS, but replace stack with a queue. Visit vertex s neighbors before continuing deeper in the tree.

36 Breadth First Search (2) void BFS(Graph* G, int start,queue<int>*q) { int v, w; Q->enqueue(start); // Initialize Q G->setMark(start, VISITED); while (Q->length()!= 0) { // Process Q Q->dequeue(v); PreVisit(G, v); // Take action for(w=g->first(v);w<g->n();w=g->next(v,w)) if (G->getMark(w) == UNVISITED) { G->setMark(w, VISITED); Q->enqueue(w); } } }

37 Breadth First Search (3)

38 TOPOLOGICAL SORT 38

39 Topological Sort (1) Problem: Given a set of jobs, courses, etc., with prerequisite constraints, output the jobs in an order that does not violate any of the prerequisites. Given two vertices v i and v j in a DAG, at most, there can exist only: a path from v i to v j, or a path from v j to v i Thus, it must be possible to list all of the vertices such that in that list, v i precedes v j whenever a path exists from v i to v j If this is not possible, this would imply the existence of a cycle

40 Topological Sort Such an ordering is called a topological sort For example, in this DAG, one topological sort is 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13

41 Application Given a number of tasks, there are often a number of constraints between the tasks: task A must be completed before task B can start These tasks together with the constraints form a directed acyclic graph A topological sort of the graph gives an order in which the tasks can be scheduled while still satisfying the constraints

42 Application Consider the course instructor getting ready for a dinner out He must wear the following: jacket, shirt, briefs, socks, tie, Blackberry, etc. There are certain constraints: the pants really should go on after the briefs, the Blackberry must be clipped on the belt socks are put on before shoes

43 Application The following is a task graph for getting dressed: One topological sort is: briefs, pants, wallet, keys, belt, Blackberry, socks, shoes, shirt, tie, jacket, ipod, watch A more likely topological sort (why?) is: briefs, socks, pants, shirt, belt, tie, jacket, wallet, keys, Blackberry, ipod, watch, shoes

44 Application Another set of tasks are courses Certain courses have prerequisites The resulting graph is a DAG Interesting twist: co-requisites (courses which must be taken concurrently) treat them as a single node

45 Applications The course sequence DAG for electrical engineering students This image is not official not all cases shown and subject to change Courses such as ECE 103, ECE 251, etc. are outside the core Ref: University of Waterloo Undergraduate Calendar, 2005/2006

46 Application The following is a DAG representing a number of tasks The numbering indicates the topological sort of the tasks The green arrows represent precedence constraints Ref: The Standard Task Graph

47 Application Here we see another topological sort of a task DAG The red critical path is that sequence of tasks which takes the longest time This is from an actual application Ref: The Standard Task Graph

48 Application This application would be used for performing these tasks on m processors In this case, the topological sort takes into case other considerations, specifically, minimizing the total run time of the collection of tasks We will see a simpler task-scheduling algorithm under greedy algorithms

49 Topological Sort To generate a topological sort, we note that we must start with a vertex with an indegree of zero: x 1

50 Topological Sort At this point, we may ignore those edges which connect vertex 1 to other vertices, and thus, we may chose vertex 2: 1, 2

51 Topological Sort We may now ignore all edges which extend from either vertices 1 or 2 We may choose from vertices 4, 5, or 3: 1, 2, 4

52 Topological Sort Adding the edges extending from vertex 4 to those we are ignoring, we find that we may add vertex 8 to our topological sort: 1, 2, 4, 8

53 Topological Sort At this point, we cannot add 11, as it must follow 9 in the topological sort Instead, we must choose from 5 or 3: 1, 2, 4, 8, 5

54 Topological Sort Removing vertex 5 from consideration allows us to consider vertices 3 or 9 We note that 3 must precede 10: 1, 2, 4, 8, 5, 9

55 Topological Sort We are now free to add 11 to our topological sort x x 1, 2, 4, 8, 5, 9, 11

56 Topological Sort The only vertex left which has an indegree of 0 when we ignore all vertices already in the topological sort is 3 1, 2, 4, 8, 5, 9, 11, 3

57 Topological Sort Having added 3, this now allows us to choose from either vertices 6 or 7 1, 2, 4, 8, 5, 9, 11, 3, 6

58 Topological Sort Adding vertex 6 to our sort allows us now to choose from vertices 7 or 10 1, 2, 4, 8, 5, 9, 11, 3, 6, 10

59 Topological Sort As 7 must precede 12 in the topological sort, we must now add 7 to the sort 1, 2, 4, 8, 5, 9, 11, 3, 6, 10, 7

60 Topological Sort At this point, we add vertex 12 1, 2, 4, 8, 5, 9, 11, 3, 6, 10, 7, 12

61 Topological Sort And finally, vertex 13 1, 2, 4, 8, 5, 9, 11, 3, 6, 10, 7, 12, 13

62 Topological Sort At this point, there are no vertices left, and therefore we have completed our topological sorting of this graph 1, 2, 4, 8, 5, 9, 11, 3, 6, 10, 7, 12, 13

63 Topological Sort It should be obvious from this process that a topological sort is not unique At any point where we had a choice as to which vertex we could choose next, we could have formed a different topological sort

64 Topological Sort For example, at this stage, had we chosen vertex 7 instead of 6: 1, 2, 4, 8, 5, 9, 11, 3, 7

65 Topological Sort The resulting topological sort would have been required to be 1, 2, 4, 8, 5, 9, 11, 3, 7, 6, 10, 12, 13

66 Topological Sort Thus, two possible topological sorts are 1, 2, 4, 8, 5, 9, 11, 3, 6, 10, 7, 12, 13 1, 2, 4, 8, 5, 9, 11, 3, 7, 6, 10, 12, 13 As seen before, these are not the only topological sorts possible for this graph, for example 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 is equally acceptable

67 Topological Sort 深度优先得到逆序 void topsort(graph* G) { // Topological sort int i; for (i=0; i<g->n(); i++) // Initialize G->setMark(i, UNVISITED); for (i=0; i<g->n(); i++) // Do vertices if (G->getMark(i) == UNVISITED) tophelp(g, i); // Call helper } void tophelp(graph* G, int v) { // Process v G->setMark(v, VISITED); for (int w=g->first(v); w<g->n(); w = G->next(v,w)) if (G->getMark(w) == UNVISITED) tophelp(g, w); printout(v); // PostVisit for Vertex v }

68 Queue-Based Topsort 广度优先得到顺序 void topsort(graph* G, Queue<int>* Q) { int Count[G->n()]; int v, w; for (v=0; v<g->n(); v++) Count[v] = 0; for (v=0; v<g->n(); v++) // Process edges for (w=g->first(v); w<g->n(); w = G->next(v,w)) Count[w]++; // Add to v2's count for (v=0; v<g->n(); v++) // Initialize Q if (Count[v] == 0) // No prereqs Q->enqueue(v); while (Q->length()!= 0) { Q->dequeue(v); printout(v); // PreVisit for V for (w=g->first(v); w<g->n(); w = G->next(v,w)) { Count[w]--; // One less prereq if (Count[w] == 0) // Now free Q->enqueue(w); }}}

69 Implementation What are the tools necessary for a topological sort? Suppose first we keep an array of the in-degree of each of the vertices:

70 Implementation Now, think back to the breadthfirst traversal there, we placed the root vertex into a queue In this case, create some sort of container (stack or queue) which initially contains all vertices with an in-degree of

71 Implementation We will initially use the terminology of a queue Initially, this queue only contains vertex 1 We can then dequeue the head of the queue (in this case 1) and add this to our topological sort:

72 Implementation With a breadth-first traversal, we push all of the popped vertices children In this case, we will decrement the in-degree of all vertices which are adjacent to the popped vertex

73 Implementation Each time we decrement the indegree of a vertex, we check if the in-degree is reduced to zero If the in-degree is reduced to zero, we enqueue that vertex Consequently, our queue now contains 2 and

74 Implementation Next, we dequeue 2, add it to our topological sort 1, 2 and decrement the in-degrees of vertices 4 and 5 Both 4 and 5 are reduced to zero, and thus our queue contains 3, 4,

75 Shortest Paths Problems Input: A graph with weights or costs associated with each edge. Output: The list of edges forming the shortest path. Sample problems: Find shortest path between two named vertices Find shortest path from S to all other vertices Find shortest path between all pairs of vertices Will actually calculate only distances.

76 SHORTEST PATHS PROBLEMS 76

77 Shortest Paths Definitions Given a weighted directed graph, one common problem is finding the shortest path between two given vertices Recall that in a weighted graph, the length of a path is the sum of the weights of each of the edges in that path d(a, B) is the shortest distance from vertex A to B. w(a, B) is the weight of the edge connecting A to B. If there is no such edge, then w(a, B) =.

78 Shortest Path An appropriate comic taken from xkcd: A webcomic of romance, sarcasm, math, and language.

79 Shortest Path Given the graph we used in the previous topic, suppose we wish to find the shortest path from vertex 1 to vertex 13

80 Shortest Path After some consideration, we may determine that the shortest path is as follows, with length 14 Other paths exists, but they are longer

81 Applications In circuit design, one application is circuit design: the time it takes for a change in input to affect an output depends on the shortest path

82 Applications The Internet is a collection of interconnected computer networks Information is passed through packets Packets are passed from the source, through routers, to their destination Routers are connected to either: individual computers, or other routers These may be represented as graphs

83 Applications A visualization of the graph of the routers and their various connections through a portion of the Internet

84 Applications The path a packet takes depends on the IP address Metrics for measuring the shortest path may include: low latency (minimize time), or minimum hop count (all edges have weight 1)

85 Applications - Navigating 85

86 Applications The shortest path using distance as a metric is obvious, however, a driver may be more interested in minimizing time For example, using the 人民南路 may be preferable to using the 科华北路 during rush hour, however, there is an added cost

87 Single-Source Shortest Paths Given start vertex s, find the shortest path from s to all other vertices. Try 1: Visit vertices in some order, compute shortest paths for all vertices seen so far, then add shortest path to next vertex x. Problem: Shortest path to a vertex already processed might go through x. Solution: Process vertices in order of distance from s.

88 Dijkstra s Algorithm Example A B C D E Initial 0 Process A Process C Process B Process D Process E

89 单源最短路径 Dijkstra 算法 为求得这些最短路径, Dijkstra 提出按路径长度的递增次序, 逐步 产生最短路径的算法 首先求出长度最短的一条最短路 径, 再参照它求出长度次短的一条 最短路径, 依次类推, 直到从顶点 v 到其它各顶点的最短路径全部求出 为止

90 依最短路径的长 度递增的次序求得各 条路径 其中, 从源 点到顶点 v 1 的最 v 1 短路径是所有最 源点 v 2 短路径中长度最 短者

91 路径长度最短的最短路径的特点 在这条路径上, 必定只含一条 弧, 并且这条弧的权值最小

92 下一条路径长度次短的最短路径 的特点 它只可能有两种情况 : 或者是直接从源点到该点 ( 只含一条弧 ); 或者是从源点经过顶点 v 1, 再到达该顶点 ( 由两条弧组成 )

93 再下一条路径长度次短的最短路径的特点 它可能有三种情况 : 或者是直接从源点到该点 ( 只含一条弧 ); 或者是从源点经过顶点 v1, 再到达该顶点 ( 由两条弧组成 ); 或者是从源点经过顶点 v2, 再到达该顶点

94 其余最短路径的特点 它或者是直接从源点到该点 ( 只含一条弧 ); 或者是从源点经过已求得最短路径的顶点, 再到达该顶点

95 求最短路径的迪杰斯特拉算法 : 设置辅助数组 Dist,Dist[k] 表示当前所求得的从源点 0 到其余各顶点 k 的最短路径 一般情况下, Dist[k] = < 源点到顶点 k 的弧上的权值 > 或 = < 源点到其它顶点的路径长度 > + < 其它顶点到顶点 k 的弧上的权值 >

96 1) 初始 Dist[ k] arcs[ 0][ k] 0 和 k 之间有弧 0 和 k 之间没有弧 具有最小值者即为第一条最短路径 2) 从还没有求得最短路径的 Dist[k] 中, 选择一个值最小的, 假设为 Dist[u], 则顶点 u 即为本次求得的具有最短路径的顶点

97 3) 修改其它各顶点的 Dist[k] 值 假设上一次求得最短路径的顶点为 u, 若 Dist[u]+arcs[u][k]<Dist[k] 则 Dist[k] =Dist[u]+arcs[u][k] 4) 重复 2) 3) 共 n-1 次

98 Dijkstra 求解过程 源点终点 最短路径 路径长度 v 0 v 1 (v 0,v 1 ) 10 v 2 (v 1 0,v 3,v 2 ) v 3 (v 0,v 3 ) 30 v 4 (v (v 0 (v,v 03,v 4 ) 100 0,v 3,v 2,v 4 ) 90 60

99 Dijkstra 算法中各辅助数组的最终结果 序号顶点 1 顶点 2 顶点 3 顶点 4 Dist path 源点 0 到终点 v 的最短路径 : 以顶点 4 为例 : path[4]=2 path[2]=3 path[3]=0 反过来排列, 得到源点 0 到终点 4 的最短路径 :0, 3, 2, 4

100 Dijkstra s Implementation // Compute shortest path distances from s, // return them in D void Dijkstra(Graph* G, int* D, int s) { int i, v, w; for (i=0; i<g->n(); i++) { // Do vertices v = minvertex(g, D); if (D[v] == INFINITY) return; G->setMark(v, VISITED); for (w=g->first(v); w<g->n(); w = G->next(v,w)) if (D[w] > (D[v] + G->weight(v, w))) D[w] = D[v] + G->weight(v, w); } }

101 Implementing minvertex Issue: How to determine the next-closest vertex? (I.e., implement minvertex) Approach 1: Scan through the table of current distances. Cost: ( V 2 + E ) = ( V 2 ). Approach 2: Store unprocessed vertices using a min-heap to implement a priority queue ordered by D value. Must update priority queue for each edge. Cost: (( V + E )log V )

102 Approach 1 // Find min cost vertex int minvertex(graph* G, int* D) { int i, v; // Set v to an unvisited vertex for (i=0; i<g->n(); i++) if (G->getMark(i) == UNVISITED) { v = i; break; } // Now find smallest D value for (i++; i<g->n(); i++) if ((G->getMark(i) == UNVISITED) && (D[i] < D[v])) v = i; return v; }

103 Approach 2 void Dijkstra(Graph* G, int* D, int s) { int i, v, w; // v is current vertex DijkElem temp; DijkElem E[G->e()]; // Heap array temp.distance = 0; temp.vertex = s; E[0] = temp; // Initialize heap array minheap<dijkelem, DDComp> H(E, 1, G->e()); for (i=0; i<g->n(); i++) {// Get distances do { if(!h.removemin(temp)) return; v = temp.vertex; } while (G->getMark(v) == VISITED); G->setMark(v, VISITED); if (D[v] == INFINITY) return; for(w=g->first(v); w<g->n(); w=g->next(v,w)) if (D[w] > (D[v] + G->weight(v, w))) { D[w] = D[v] + G->weight(v, w); temp.distance = D[w]; temp.vertex = w; H.insert(temp); // Insert in heap }}}

104 All-Pairs Shortest Paths For every vertex u, v V, calculate d(u, v). Could run Dijkstra s Algorithm V times. Better is Floyd s Algorithm. Define a k-path from u to v to be any path whose intermediate vertices all have indices less than k.

105 求每一对顶点之间的最短路径 Floyd( 弗洛伊德 ) 算法的基本思想是 : 从 v i 到 v j 的所有可能存在的 路径中, 选出一条长度最短的路 径

106 若 <v i,v j > 存在, 则存在路径 {v i,v j } // 路径中不含其它顶点 在路径上增加 v 1, 若 <v i,v 1 >,<v 1,v j > 存在, 则比较路径 {v i,v 1,v j } 和 {v i,v j } 长度, 取长度短者为从 v i 到 v j 中间只经过序号不大于 1 的顶点的最短路径, 即路径中所含顶点序号不大于 1;

107 在路径上增加 v 2, 若 <v i,,v 2 >,<v 2,,v j > 存在 ( 它们分别是在前一步中找到的最短路径 ), 则将路径 {v i,,v 2,,v j } 的长度与以前找到的 v i 到 v j 最短路径长度比较, 取长度短者为从 v i 到 v j 中间只经过序号不大于 2 的顶点的最短路径, 即路径中所含顶点序号不大于 2;

108 依次在路径上增加 v 3,,v n 经过 n 次比较后, 最后求得的必是从 v i 到 v j 的最短路径

109 dist -1 = path -1 = dist 0 = path 0 =

110 dist 0 = path 0 = dist 1 = path 1 =

111 dist 1 = path 1 = dist 2 = path 2 =

112 Floyd s Algorithm //Floyd's all-pairs shortest paths algorithm void Floyd(Graph* G) { int D[G->n()][G->n()]; // Store distances for (int i=0; i<g->n(); i++) // Initialize for (int j=0; j<g->n(); j++) D[i][j] = G->weight(i, j); // Compute all k paths for (int k=0; k<g->n(); k++) for (int i=0; i<g->n(); i++) for (int j=0; j<g->n(); j++) if (D[i][j] > (D[i][k] + D[k][j])) D[i][j] = D[i][k] + D[k][j]; }

113 MINIMAL COST SPANNING TREES 113

114 Minimal Cost Spanning Trees Minimal Cost Spanning Tree (MST) Problem: Input: An undirected, connected graph G. Output: The subgraph of G that 1) has minimum total cost as measured by summing the values of all the edges in the subset, and 2) keeps the vertices connected.

115 MST Example

116 Minimum Spanning Trees Given a connected graph with V = n vertices, a spanning tree is defined a collection of n 1edges which connect all n vertices The n vertices and n 1edges define a connected sub-graph A spanning tree is not necessarily unique

117 Minimum Spanning Trees This graph has 16 vertices and 35 edges

118 Minimum Spanning Trees These 15 edges form a minimum spanning tree

119 Minimum Spanning Trees As do these 15 edges:

120 Spanning Trees Such a collection of edges is called a tree because if any vertex is taken to be the root, we form a tree by treating the adjacent vertices as children, and so on...

121 Spanning Trees Spanning trees are not unique This tree and choice of root forms a perfect tree

122 Spanning Trees Nor do they necessarily have nice properties

123 Minimum Spanning Trees The weight of a spanning tree is the sum of the weights on all the edges which comprise the spanning tree The weight of this spanning tree is 20

124 Minimum Spanning Trees Which spanning tree which minimizes the weight? Such a tree is termed a minimum spanning tree The weight of this spanning tree is 14

125 Minimum Spanning Trees If we use a different vertex as the root, we get a different tree, however, this is simply the result of one or more rotations

126 Unweighted Graphs Observation Recall that an unweighted graph may be interpreted as a weighted graph where all edges have weight 1 Minimum spanning trees make no sense for unweighted graphs, as all spanning trees will have the same weighted It is straight-forward to generate a spanning tree

127 Application Consider supplying power to All circuit elements on a board A number of loads within a building A minimum spanning tree will give the lowest-cost solution

128 Application Consider attempting to find the best means of connecting a number of LANs Minimize the number of bridges Costs not strictly dependant on distances

129 Application A minimum spanning tree will provide the optimal solution

130 Application Consider an ad hoc wireless network Any two terminals can connect with any others Problem: Errors in transmission increase with transmission length Can we find clusters of terminals which can communicate safely?

131 Application Find a minimum spanning tree

132 Application Remove connections which are too long This clusters terminals into smaller and more manageable sub-networks

133 Minimum Spanning Trees We will examine Prim s algorithm for finding the minimum spanning tree We will start with an arbitrary vertex to be the root of a trivial tree We will expand by adding vertices not already in the tree which can be added most cheaply Another possibility is Kruskal s algorithm

134 构造最小生成树的算法 算法一 : 普里姆算法 (Prim) 算法二 : 克鲁斯卡尔算法 (Kruskal)

135 一 Prim 算法的 基本思想

136 1. 取图中任意一个顶点 v 作为 生成树的根, 之后往生成树 上添加新的顶点 w;

137 2. 在添加的顶点 w 和已经在生成树上的顶点 v 之间必定存在一条边, 并且该边的权值在所有连通顶点 v 和 w 之间的边中取值最小 ;

138 3. 之后继续往生成树上添加顶 点, 直至生成树上含有 n 个顶点为止

139 一般情况下所添加的顶点应满足 下列条件 : 在生成树的构造过程中, 图中 n 个顶点分属两个集合 : 已落在生成树上的顶点集 U 和尚未落在生成树上的顶点集 V-U, 则应在所有连通 U 中顶点和 V-U 中顶点的边中选取权值最小的边

140 U V-U

141 (c) 原图 (a) (b) (d) (e) (f)

142 18 a e 16 8 b c g d 27 f 21 所得生成树权值和 = = 67

143 二 Kruskal 算法的 基本思想

144 基本实现思路 : 为使生成树上边的权值之和达到最小, 则应使生成树中每一条边的权值尽可能地小

145 具体做法 : 先构造一个只含 n 个顶点的子图 SG, 然后从权值最小的边开始, 若它的添加不使 SG 中产生回路, 则在 SG 上加上这条边, 如此重复, 直至加上 n-1 条边为止

146 原图 (a) (b) 1 3 2

147 原图 (e) (c) (d) (f) (g)

148 18 19 a e 16 8 b c g d 27 f 21 所得生成树权值和 = = 67

149 Prim s MST Algorithm void Prim(Graph* G, int* D, int s) { int V[G->n()]; // Who's closest int i, w; for (i=0; i<g->n(); i++) {// Do vertices int v = minvertex(g, D); G->setMark(v, VISITED); if (v!= s) AddEdgetoMST(V[v], v); if (D[v] == INFINITY) return; for (w=g->first(v); w<g->n(); w = G->next(v,w)) if (D[w] > G->weight(v,w)) { D[w] = G->weight(v,w);// Update dist V[w] = v; // Update who it came from } } }

150 Alternate Implementation As with Dijkstra s algorithm, the key issue is determining which vertex is next closest. As with Dijkstra s algorithm, the alternative is to use a priority queue. Running times for the two implementations are identical to the corresponding Dijkstra s algorithm implementations.

151 Kruskal s MST Algorithm (1) Initially, each vertex is in its own MST. Merge two MST s that have the shortest edge between them. Use a priority queue to order the unprocessed edges. Grab next one at each step. How to tell if an edge connects two vertices already in the same MST? Use the UNION/FIND algorithm with parentpointer representation.

152 Kruskal s MST Algorithm (2)

153 Kruskal s MST Algorithm (3) Cost is dominated by the time to remove edges from the heap. Can stop processing edges once all vertices are in the same MST Total cost: ( V + E log E ).

ENGG1410-F Tutorial 6

ENGG1410-F Tutorial 6 Jianwen Zhao Department of Computer Science and Engineering The Chinese University of Hong Kong 1/16 Problem 1. Matrix Diagonalization Diagonalize the following matrix: A = [ ] 1 2 4 3 2/16 Solution The

More information

<4D6963726F736F667420576F7264202D205F4230365FB942A5CEA668B443C5E9BB73A740B5D8A4E5B8C9A552B1D0A7F75FA6BFB1A4ACFC2E646F63>

<4D6963726F736F667420576F7264202D205F4230365FB942A5CEA668B443C5E9BB73A740B5D8A4E5B8C9A552B1D0A7F75FA6BFB1A4ACFC2E646F63> 運 用 多 媒 體 製 作 華 文 補 充 教 材 江 惜 美 銘 傳 大 學 應 用 中 文 系 chm248@gmail.com 摘 要 : 本 文 旨 在 探 究 如 何 運 用 多 媒 體, 結 合 文 字 聲 音 圖 畫, 製 作 華 文 補 充 教 材 當 我 們 在 進 行 華 文 教 學 時, 往 往 必 須 透 過 教 案 設 計, 並 製 作 補 充 教 材, 方 能 使 教 學

More information

穨control.PDF

穨control.PDF TCP congestion control yhmiu Outline Congestion control algorithms Purpose of RFC2581 Purpose of RFC2582 TCP SS-DR 1998 TCP Extensions RFC1072 1988 SACK RFC2018 1996 FACK 1996 Rate-Halving 1997 OldTahoe

More information

國 立 政 治 大 學 教 育 學 系 2016 新 生 入 學 手 冊 目 錄 表 11 國 立 政 治 大 學 教 育 學 系 博 士 班 資 格 考 試 抵 免 申 請 表... 46 論 文 題 目 申 報 暨 指 導 教 授... 47 表 12 國 立 政 治 大 學 碩 博 士 班 論

國 立 政 治 大 學 教 育 學 系 2016 新 生 入 學 手 冊 目 錄 表 11 國 立 政 治 大 學 教 育 學 系 博 士 班 資 格 考 試 抵 免 申 請 表... 46 論 文 題 目 申 報 暨 指 導 教 授... 47 表 12 國 立 政 治 大 學 碩 博 士 班 論 國 立 政 治 大 學 教 育 學 系 2016 新 生 入 學 手 冊 目 錄 一 教 育 學 系 簡 介... 1 ( 一 ) 成 立 時 間... 1 ( 二 ) 教 育 目 標 與 發 展 方 向... 1 ( 三 ) 授 課 師 資... 2 ( 四 ) 行 政 人 員... 3 ( 五 ) 核 心 能 力 與 課 程 規 劃... 3 ( 六 ) 空 間 環 境... 12 ( 七 )

More information

Windows XP

Windows XP Windows XP What is Windows XP Windows is an Operating System An Operating System is the program that controls the hardware of your computer, and gives you an interface that allows you and other programs

More information

Microsoft Word - 第四組心得.doc

Microsoft Word - 第四組心得.doc 徐 婉 真 這 四 天 的 綠 島 人 權 體 驗 營 令 我 印 象 深 刻, 尤 其 第 三 天 晚 上 吳 豪 人 教 授 的 那 堂 課, 他 讓 我 聽 到 不 同 於 以 往 的 正 義 之 聲 轉 型 正 義, 透 過 他 幽 默 熱 情 的 語 調 激 起 了 我 對 政 治 的 興 趣, 願 意 在 未 來 多 關 心 社 會 多 了 解 政 治 第 一 天 抵 達 綠 島 不 久,

More information

Microsoft PowerPoint _代工實例-1

Microsoft PowerPoint _代工實例-1 4302 動態光散射儀 (Dynamic Light Scattering) 代工實例與結果解析 生醫暨非破壞性分析團隊 2016.10 updated Which Size to Measure? Diameter Many techniques make the useful and convenient assumption that every particle is a sphere. The

More information

Microsoft PowerPoint - STU_EC_Ch08.ppt

Microsoft PowerPoint - STU_EC_Ch08.ppt 樹德科技大學資訊工程系 Chapter 8: Counters Shi-Huang Chen Fall 2010 1 Outline Asynchronous Counter Operation Synchronous Counter Operation Up/Down Synchronous Counters Design of Synchronous Counters Cascaded Counters

More information

Microsoft Word - TIP006SCH Uni-edit Writing Tip - Presentperfecttenseandpasttenseinyourintroduction readytopublish

Microsoft Word - TIP006SCH Uni-edit Writing Tip - Presentperfecttenseandpasttenseinyourintroduction readytopublish 我 难 度 : 高 级 对 们 现 不 在 知 仍 道 有 听 影 过 响 多 少 那 次 么 : 研 英 究 过 文 论 去 写 文 时 作 的 表 技 引 示 巧 言 事 : 部 情 引 分 发 言 该 生 使 在 中 用 过 去, 而 现 在 完 成 时 仅 表 示 事 情 发 生 在 过 去, 并 的 哪 现 种 在 时 完 态 成 呢 时? 和 难 过 道 去 不 时 相 关? 是 所 有

More information

BC04 Module_antenna__ doc

BC04 Module_antenna__ doc http://www.infobluetooth.com TEL:+86-23-68798999 Fax: +86-23-68889515 Page 1 of 10 http://www.infobluetooth.com TEL:+86-23-68798999 Fax: +86-23-68889515 Page 2 of 10 http://www.infobluetooth.com TEL:+86-23-68798999

More information

PowerPoint Presentation

PowerPoint Presentation Decision analysis 量化決策分析方法專論 2011/5/26 1 Problem formulation- states of nature In the decision analysis, decision alternatives are referred to as chance events. The possible outcomes for a chance event

More information

Preface This guide is intended to standardize the use of the WeChat brand and ensure the brand's integrity and consistency. The guide applies to all d

Preface This guide is intended to standardize the use of the WeChat brand and ensure the brand's integrity and consistency. The guide applies to all d WeChat Search Visual Identity Guidelines WEDESIGN 2018. 04 Preface This guide is intended to standardize the use of the WeChat brand and ensure the brand's integrity and consistency. The guide applies

More information

Improved Preimage Attacks on AES-like Hash Functions: Applications to Whirlpool and Grøstl

Improved Preimage Attacks on AES-like Hash Functions: Applications to Whirlpool and Grøstl SKLOIS (Pseudo) Preimage Attack on Reduced-Round Grøstl Hash Function and Others Shuang Wu, Dengguo Feng, Wenling Wu, Jian Guo, Le Dong, Jian Zou March 20, 2012 Institute. of Software, Chinese Academy

More information

Microsoft Word doc

Microsoft Word doc 中 考 英 语 科 考 试 标 准 及 试 卷 结 构 技 术 指 标 构 想 1 王 后 雄 童 祥 林 ( 华 中 师 范 大 学 考 试 研 究 院, 武 汉,430079, 湖 北 ) 提 要 : 本 文 从 结 构 模 式 内 容 要 素 能 力 要 素 题 型 要 素 难 度 要 素 分 数 要 素 时 限 要 素 等 方 面 细 致 分 析 了 中 考 英 语 科 试 卷 结 构 的

More information

Microsoft PowerPoint - CH 04 Techniques of Circuit Analysis

Microsoft PowerPoint - CH 04 Techniques of Circuit Analysis Chap. 4 Techniques of Circuit Analysis Contents 4.1 Terminology 4.2 Introduction to the Node-Voltage Method 4.3 The Node-Voltage Method and Dependent Sources 4.4 The Node-Voltage Method: Some Special Cases

More information

高中英文科教師甄試心得

高中英文科教師甄試心得 高 中 英 文 科 教 師 甄 試 心 得 英 語 學 系 碩 士 班 林 俊 呈 高 雄 市 立 高 雄 高 級 中 學 今 年 第 一 次 參 加 教 師 甄 試, 能 夠 在 尚 未 服 兵 役 前 便 考 上 高 雄 市 立 高 雄 高 級 中 學 專 任 教 師, 自 己 覺 得 很 意 外, 也 很 幸 運 考 上 後 不 久 在 與 雄 中 校 長 的 會 談 中, 校 長 的 一 句

More information

Microsoft Word - 11月電子報1130.doc

Microsoft Word - 11月電子報1130.doc 發 行 人 : 楊 進 成 出 刊 日 期 2008 年 12 月 1 日, 第 38 期 第 1 頁 / 共 16 頁 封 面 圖 話 來 來 來, 來 葳 格 ; 玩 玩 玩, 玩 數 學 在 11 月 17 到 21 日 這 5 天 裡 每 天 一 個 題 目, 孩 子 們 依 據 不 同 年 段, 尋 找 屬 於 自 己 的 解 答, 這 些 數 學 題 目 和 校 園 情 境 緊 緊 結

More information

4. 每 组 学 生 将 写 有 习 语 和 含 义 的 两 组 卡 片 分 别 洗 牌, 将 顺 序 打 乱, 然 后 将 两 组 卡 片 反 面 朝 上 置 于 课 桌 上 5. 学 生 依 次 从 两 组 卡 片 中 各 抽 取 一 张, 展 示 给 小 组 成 员, 并 大 声 朗 读 卡

4. 每 组 学 生 将 写 有 习 语 和 含 义 的 两 组 卡 片 分 别 洗 牌, 将 顺 序 打 乱, 然 后 将 两 组 卡 片 反 面 朝 上 置 于 课 桌 上 5. 学 生 依 次 从 两 组 卡 片 中 各 抽 取 一 张, 展 示 给 小 组 成 员, 并 大 声 朗 读 卡 Tips of the Week 课 堂 上 的 英 语 习 语 教 学 ( 二 ) 2015-04-19 吴 倩 MarriottCHEI 大 家 好! 欢 迎 来 到 Tips of the Week! 这 周 我 想 和 老 师 们 分 享 另 外 两 个 课 堂 上 可 以 开 展 的 英 语 习 语 教 学 活 动 其 中 一 个 活 动 是 一 个 充 满 趣 味 的 游 戏, 另 外

More information

Microsoft Word - template.doc

Microsoft Word - template.doc HGC efax Service User Guide I. Getting Started Page 1 II. Fax Forward Page 2 4 III. Web Viewing Page 5 7 IV. General Management Page 8 12 V. Help Desk Page 13 VI. Logout Page 13 Page 0 I. Getting Started

More information

<4D6963726F736F667420576F7264202D2032303130C4EAC0EDB9A4C0E04142BCB6D4C4B6C1C5D0B6CFC0FDCCE2BEABD1A15F325F2E646F63>

<4D6963726F736F667420576F7264202D2032303130C4EAC0EDB9A4C0E04142BCB6D4C4B6C1C5D0B6CFC0FDCCE2BEABD1A15F325F2E646F63> 2010 年 理 工 类 AB 级 阅 读 判 断 例 题 精 选 (2) Computer mouse How does the mouse work? We have to start at the bottom, so think upside down for now. It all starts with mouse ball. As the mouse ball in the bottom

More information

<D0D0D5FED7A8CFDF2E696E6464>

<D0D0D5FED7A8CFDF2E696E6464> 3 4 5 6 7 8 9 10 11 12 13 14 16 报 导 : 资 源 处 主 任 陆 素 芬 视 是 青 少 年 喜 爱 的 一 门 艺 术 在 孩 子 们 的 成 长 过 程 中, 许 多 优 秀 的 影 影 片 通 过 直 观 的 艺 术 手 段, 感 染 和 鼓 舞 着 青 少 年 选 择 人 生 的 走 向, 获 得 各 种 知 识, 不 断 提 高 综 合 素 质 因 此,

More information

(Microsoft Word - \261M\256\327\272\353\302\262\263\370\247iEnd.doc)

(Microsoft Word - \261M\256\327\272\353\302\262\263\370\247iEnd.doc) 摘 要 長 榮 大 學 資 訊 管 理 學 系 畢 業 專 案 實 作 專 案 編 號 : 旅 遊 行 程 規 劃 - 以 台 南 市 為 例 Tour Scheduling for Tainan City CJU-IM- PRJ-096-029 執 行 期 間 : 95 年 2 月 13 日 至 96 年 1 月 20 日 陳 貽 隆 陳 繼 列 張 順 憶 練 哲 瑋 專 案 參 與 人 員 :

More information

1.ai

1.ai HDMI camera ARTRAY CO,. LTD Introduction Thank you for purchasing the ARTCAM HDMI camera series. This manual shows the direction how to use the viewer software. Please refer other instructions or contact

More information

<4D6963726F736F667420506F776572506F696E74202D20B5DAD2BBD5C228B4F2D3A1B0E6292E707074205BBCE6C8DDC4A3CABD5D>

<4D6963726F736F667420506F776572506F696E74202D20B5DAD2BBD5C228B4F2D3A1B0E6292E707074205BBCE6C8DDC4A3CABD5D> Homeworks ( 第 三 版 ):.4 (,, 3).5 (, 3).6. (, 3, 5). (, 4).4.6.7 (,3).9 (, 3, 5) Chapter. Number systems and codes 第 一 章. 数 制 与 编 码 . Overview 概 述 Information is of digital forms in a digital system, and

More information

從詩歌的鑒賞談生命價值的建構

從詩歌的鑒賞談生命價值的建構 Viktor E. Frankl (logotherapy) (will-to-meaning) (creative values) Ture (Good) (Beauty) (experiential values) (attitudinal values) 1 2 (logotherapy) (biological) (2) (psychological) (3) (noölogical) (4)

More information

東吳大學

東吳大學 律 律 論 論 療 行 The Study on Medical Practice and Coercion 林 年 律 律 論 論 療 行 The Study on Medical Practice and Coercion 林 年 i 讀 臨 療 留 館 讀 臨 律 六 礪 讀 不 冷 療 臨 年 裡 歷 練 禮 更 老 林 了 更 臨 不 吝 麗 老 劉 老 論 諸 見 了 年 金 歷 了 年

More information

untitled

untitled Co-integration and VECM Yi-Nung Yang CYCU, Taiwan May, 2012 不 列 1 Learning objectives Integrated variables Co-integration Vector Error correction model (VECM) Engle-Granger 2-step co-integration test Johansen

More information

影響新產品開發成效之造型要素探討

影響新產品開發成效之造型要素探討 異 行 車 例 A Study on the Product Forms Recognition Difference between Designer and Consumer --- Electrical Bicycle as Example. 行 車 省 力 力 綠 老 女 行 車 行 車 了 不 了 行 行 車 行 車 不 行 車 異 行 車 車 車 行 行 異 數 量 I 類 行 異 異

More information

2/80 2

2/80 2 2/80 2 3/80 3 DSP2400 is a high performance Digital Signal Processor (DSP) designed and developed by author s laboratory. It is designed for multimedia and wireless application. To develop application

More information

Untitled-3

Untitled-3 SEC.. Separable Equations In each of problems 1 through 8 solve the given differential equation : ü 1. y ' x y x y, y 0 fl y - x 0 fl y - x 0 fl y - x3 3 c, y 0 ü. y ' x ^ y 1 + x 3 x y 1 + x 3, y 0 fl

More information

Microsoft PowerPoint - Aqua-Sim.pptx

Microsoft PowerPoint - Aqua-Sim.pptx Peng Xie, Zhong Zhou, Zheng Peng, Hai Yan, Tiansi Hu, Jun-Hong Cui, Zhijie Shi, Yunsi Fei, Shengli Zhou Underwater Sensor Network Lab 1 Outline Motivations System Overview Aqua-Sim Components Experimental

More information

2015年4月11日雅思阅读预测机经(新东方版)

2015年4月11日雅思阅读预测机经(新东方版) 剑 桥 雅 思 10 第 一 时 间 解 析 阅 读 部 分 1 剑 桥 雅 思 10 整 体 内 容 统 计 2 剑 桥 雅 思 10 话 题 类 型 从 以 上 统 计 可 以 看 出, 雅 思 阅 读 的 考 试 话 题 一 直 广 泛 多 样 而 题 型 则 稳 中 有 变 以 剑 桥 10 的 test 4 为 例 出 现 的 三 篇 文 章 分 别 是 自 然 类, 心 理 研 究 类,

More information

Important Notice SUNPLUS TECHNOLOGY CO. reserves the right to change this documentation without prior notice. Information provided by SUNPLUS TECHNOLO

Important Notice SUNPLUS TECHNOLOGY CO. reserves the right to change this documentation without prior notice. Information provided by SUNPLUS TECHNOLO Car DVD New GUI IR Flow User Manual V0.1 Jan 25, 2008 19, Innovation First Road Science Park Hsin-Chu Taiwan 300 R.O.C. Tel: 886-3-578-6005 Fax: 886-3-578-4418 Web: www.sunplus.com Important Notice SUNPLUS

More information

中国科学技术大学学位论文模板示例文档

中国科学技术大学学位论文模板示例文档 University of Science and Technology of China A dissertation for doctor s degree An Example of USTC Thesis Template for Bachelor, Master and Doctor Author: Zeping Li Speciality: Mathematics and Applied

More information

國立中山大學學位論文典藏.PDF

國立中山大學學位論文典藏.PDF I II III The Study of Factors to the Failure or Success of Applying to Holding International Sport Games Abstract For years, holding international sport games has been Taiwan s goal and we are on the way

More information

Introduction to Hamilton-Jacobi Equations and Periodic Homogenization

Introduction to Hamilton-Jacobi Equations  and Periodic Homogenization Introduction to Hamilton-Jacobi Equations and Periodic Yu-Yu Liu NCKU Math August 22, 2012 Yu-Yu Liu (NCKU Math) H-J equation and August 22, 2012 1 / 15 H-J equations H-J equations A Hamilton-Jacobi equation

More information

Shanghai International Studies University THE STUDY AND PRACTICE OF SITUATIONAL LANGUAGE TEACHING OF ADVERB AT BEGINNING AND INTERMEDIATE LEVEL A Thes

Shanghai International Studies University THE STUDY AND PRACTICE OF SITUATIONAL LANGUAGE TEACHING OF ADVERB AT BEGINNING AND INTERMEDIATE LEVEL A Thes 上 海 外 国 语 大 学 硕 士 学 位 论 文 对 外 汉 语 初 中 级 副 词 情 境 教 学 研 究 与 实 践 院 系 : 国 际 文 化 交 流 学 院 学 科 专 业 : 汉 语 国 际 教 育 姓 名 : 顾 妍 指 导 教 师 : 缪 俊 2016 年 5 月 Shanghai International Studies University THE STUDY AND PRACTICE

More information

untitled

untitled 20 90 1998 2001 1 Abstract Under the environment of drastic competitive market, risk and uncertainty that the enterprise faces are greater and greater, the profit ability of enterprise assets rises and

More information

東莞工商總會劉百樂中學

東莞工商總會劉百樂中學 /2015/ 頁 (2015 年 版 ) 目 錄 : 中 文 1 English Language 2-3 數 學 4-5 通 識 教 育 6 物 理 7 化 學 8 生 物 9 組 合 科 學 ( 化 學 ) 10 組 合 科 學 ( 生 物 ) 11 企 業 會 計 及 財 務 概 論 12 中 國 歷 史 13 歷 史 14 地 理 15 經 濟 16 資 訊 及 通 訊 科 技 17 視 覺

More information

錫安教會2015年11月29日分享

錫安教會2015年11月29日分享 錫 安 教 會 2015 年 11 月 29 日 分 享 第 一 章 : 天 馬 座 行 動 答 問 篇 (2) 問 題 (1): 信 息 中 曾 提 及, 有 一 群 忠 良 的 皇 者 和 精 英 製 造 共 同 信 息, 但 亦 有 一 群 奸 惡 的 如 果 將 來 他 們 來 尋 找 我 們, 顯 示 他 們 是 製 造 共 同 信 息 的 人 這 樣, 我 們 有 沒 有 需 要 或 者

More information

A VALIDATION STUDY OF THE ACHIEVEMENT TEST OF TEACHING CHINESE AS THE SECOND LANGUAGE by Chen Wei A Thesis Submitted to the Graduate School and Colleg

A VALIDATION STUDY OF THE ACHIEVEMENT TEST OF TEACHING CHINESE AS THE SECOND LANGUAGE by Chen Wei A Thesis Submitted to the Graduate School and Colleg 上 海 外 国 语 大 学 SHANGHAI INTERNATIONAL STUDIES UNIVERSITY 硕 士 学 位 论 文 MASTER DISSERTATION 学 院 国 际 文 化 交 流 学 院 专 业 汉 语 国 际 教 育 硕 士 题 目 届 别 2010 届 学 生 陈 炜 导 师 张 艳 莉 副 教 授 日 期 2010 年 4 月 A VALIDATION STUDY

More information

K301Q-D VRT中英文说明书141009

K301Q-D VRT中英文说明书141009 THE INSTALLING INSTRUCTION FOR CONCEALED TANK Important instuction:.. Please confirm the structure and shape before installing the toilet bowl. Meanwhile measure the exact size H between outfall and infall

More information

可 愛 的 動 物 小 五 雷 雅 理 第 一 次 小 六 甲 黃 駿 朗 今 年 暑 假 發 生 了 一 件 令 人 非 常 難 忘 的 事 情, 我 第 一 次 參 加 宿 營, 離 開 父 母, 自 己 照 顧 自 己, 出 發 前, 我 的 心 情 十 分 緊 張 當 到 達 目 的 地 後

可 愛 的 動 物 小 五 雷 雅 理 第 一 次 小 六 甲 黃 駿 朗 今 年 暑 假 發 生 了 一 件 令 人 非 常 難 忘 的 事 情, 我 第 一 次 參 加 宿 營, 離 開 父 母, 自 己 照 顧 自 己, 出 發 前, 我 的 心 情 十 分 緊 張 當 到 達 目 的 地 後 郭家朗 許鈞嵐 劉振迪 樊偉賢 林洛鋒 第 36 期 出版日期 28-3-2014 出版日期 28-3-2014 可 愛 的 動 物 小 五 雷 雅 理 第 一 次 小 六 甲 黃 駿 朗 今 年 暑 假 發 生 了 一 件 令 人 非 常 難 忘 的 事 情, 我 第 一 次 參 加 宿 營, 離 開 父 母, 自 己 照 顧 自 己, 出 發 前, 我 的 心 情 十 分 緊 張 當 到 達 目

More information

LEETCODE leetcode.com 一 个 在 线 编 程 网 站, 收 集 了 IT 公 司 的 面 试 题, 包 括 算 法, 数 据 库 和 shell 算 法 题 支 持 多 种 语 言, 包 括 C, C++, Java, Python 等 2015 年 3 月 份 加 入 了 R

LEETCODE leetcode.com 一 个 在 线 编 程 网 站, 收 集 了 IT 公 司 的 面 试 题, 包 括 算 法, 数 据 库 和 shell 算 法 题 支 持 多 种 语 言, 包 括 C, C++, Java, Python 等 2015 年 3 月 份 加 入 了 R 用 RUBY 解 LEETCODE 算 法 题 RUBY CONF CHINA 2015 By @quakewang LEETCODE leetcode.com 一 个 在 线 编 程 网 站, 收 集 了 IT 公 司 的 面 试 题, 包 括 算 法, 数 据 库 和 shell 算 法 题 支 持 多 种 语 言, 包 括 C, C++, Java, Python 等 2015 年 3 月 份

More information

Microsoft PowerPoint - NCBA_Cattlemens_College_Darrh_B

Microsoft PowerPoint - NCBA_Cattlemens_College_Darrh_B Introduction to Genetics Darrh Bullock University of Kentucky The Model Trait = Genetics + Environment Genetics Additive Predictable effects that get passed from generation to generation Non-Additive Primarily

More information

Microsoft Word - A200811-773.doc

Microsoft Word - A200811-773.doc 语 言 模 型 在 高 校 保 研 工 作 中 的 应 用 王 洋 辽 宁 工 程 技 术 大 学 理 学 院 信 息 与 计 算 科 学, 辽 宁 阜 新 (3000) E-mail: ben.dan000 @63.com 摘 要 : 问 题 重 述 : 模 糊 性 数 学 发 展 的 主 流 是 在 它 的 应 用 方 面, 其 中 模 糊 语 言 模 型 实 现 了 人 类 语 言 的 数 学

More information

(baking powder) 1 ( ) ( ) 1 10g g (two level design, D-optimal) 32 1/2 fraction Two Level Fractional Factorial Design D-Optimal D

(baking powder) 1 ( ) ( ) 1 10g g (two level design, D-optimal) 32 1/2 fraction Two Level Fractional Factorial Design D-Optimal D ( ) 4 1 1 1 145 1 110 1 (baking powder) 1 ( ) ( ) 1 10g 1 1 2.5g 1 1 1 1 60 10 (two level design, D-optimal) 32 1/2 fraction Two Level Fractional Factorial Design D-Optimal Design 1. 60 120 2. 3. 40 10

More information

The Development of Color Constancy and Calibration System

The Development of Color Constancy and Calibration System The Development of Color Constancy and Calibration System The Development of Color Constancy and Calibration System LabVIEW CCD BMP ii Abstract The modern technologies develop more and more faster, and

More information

Open topic Bellman-Ford算法与负环

Open topic   Bellman-Ford算法与负环 Open topic Bellman-Ford 2018 11 5 171860508@smail.nju.edu.cn 1/15 Contents 1. G s BF 2. BF 3. BF 2/15 BF G Bellman-Ford false 3/15 BF G Bellman-Ford false G c = v 0, v 1,..., v k (v 0 = v k ) k w(v i 1,

More information

<4D6963726F736F667420576F7264202D203033BDD7A16DA576B04FA145A4ADABD2A5BBACF6A16EADBAB6C0ABD2A4A7B74EB8712E646F63>

<4D6963726F736F667420576F7264202D203033BDD7A16DA576B04FA145A4ADABD2A5BBACF6A16EADBAB6C0ABD2A4A7B74EB8712E646F63> 論 史 記 五 帝 本 紀 首 黃 帝 之 意 義 林 立 仁 明 志 科 技 大 學 通 識 教 育 中 心 副 教 授 摘 要 太 史 公 司 馬 遷 承 父 著 史 遺 志, 並 以 身 膺 五 百 年 大 運, 上 繼 孔 子 春 秋 之 史 學 文 化 道 統 為 其 職 志, 著 史 記 欲 達 究 天 人 之 際, 通 古 今 之 變, 成 一 家 之 言 之 境 界 然 史 記 百

More information

spss.doc

spss.doc SPSS 8 8.1 K-Means Cluster [ 8-1] 1962 1988 8-1 2 5 31 3 7 20 F2-F3 2 3 F3-F4 3 4 109 8 8-1 2 3 2 3 F2-F3 F3-F4 1962 344 3333 29 9 9.69 1.91 1963 121 1497 27 19 12.37 1.34 1964 187 1813 32 18 9.70 1.06

More information

Microsoft Word - Final Exam Review Packet.docx

Microsoft Word - Final Exam Review Packet.docx Do you know these words?... 3.1 3.5 Can you do the following?... Ask for and say the date. Use the adverbial of time correctly. Use Use to ask a tag question. Form a yes/no question with the verb / not

More information

國 史 館 館 刊 第 23 期 Chiang Ching-kuo s Educational Innovation in Southern Jiangxi and Its Effects (1941-1943) Abstract Wen-yuan Chu * Chiang Ching-kuo wa

國 史 館 館 刊 第 23 期 Chiang Ching-kuo s Educational Innovation in Southern Jiangxi and Its Effects (1941-1943) Abstract Wen-yuan Chu * Chiang Ching-kuo wa 國 史 館 館 刊 第 二 十 三 期 (2010 年 3 月 ) 119-164 國 史 館 1941-1943 朱 文 原 摘 要 1 關 鍵 詞 : 蔣 經 國 贛 南 學 校 教 育 社 會 教 育 掃 盲 運 動 -119- 國 史 館 館 刊 第 23 期 Chiang Ching-kuo s Educational Innovation in Southern Jiangxi and

More information

Microsoft Word - 01李惠玲ok.doc

Microsoft Word - 01李惠玲ok.doc 康 寧 學 報 11:1-20(2009) 1 數 位 學 習 於 護 理 技 術 課 程 之 運 用 與 評 值 * 李 惠 玲 ** 高 清 華 *** 呂 莉 婷 摘 要 背 景 : 網 路 科 技 在 教 育 的 使 用 已 成 為 一 種 有 利 的 教 學 輔 助 工 具 網 路 教 學 的 特 性, 在 使 學 習 可 不 分 時 間 與 空 間 不 同 進 度 把 握 即 時 性 資

More information

Logitech Wireless Combo MK45 English

Logitech Wireless Combo MK45 English Logitech Wireless Combo MK45 Setup Guide Logitech Wireless Combo MK45 English................................................................................... 7..........................................

More information

星河33期.FIT)

星河33期.FIT) 大 事 记 渊 2011.11 要 要 2011.12 冤 1 尧 11 月 25 日 下 午 袁 白 银 区 首 届 中 小 学 校 长 论 坛 在 我 校 举 行 遥 2 尧 在 甘 肃 省 2011 年 野 十 一 五 冶 规 划 课 题 集 中 鉴 定 中 袁 我 校 教 师 郝 香 梅 负 责 的 课 题 叶 英 语 课 堂 的 艺 术 性 研 究 曳 袁 张 宏 林 负 责 的 叶 白

More information

Your Field Guide to More Effective Global Video Conferencing As a global expert in video conferencing, and a geographically dispersed company that uses video conferencing in virtually every aspect of its

More information

前 言 一 場 交 換 學 生 的 夢, 夢 想 不 只 是 敢 夢, 而 是 也 要 敢 去 實 踐 為 期 一 年 的 交 換 學 生 生 涯, 說 長 不 長, 說 短 不 短 再 長 的 路, 一 步 步 也 能 走 完 ; 再 短 的 路, 不 踏 出 起 步 就 無 法 到 達 這 次

前 言 一 場 交 換 學 生 的 夢, 夢 想 不 只 是 敢 夢, 而 是 也 要 敢 去 實 踐 為 期 一 年 的 交 換 學 生 生 涯, 說 長 不 長, 說 短 不 短 再 長 的 路, 一 步 步 也 能 走 完 ; 再 短 的 路, 不 踏 出 起 步 就 無 法 到 達 這 次 壹 教 育 部 獎 助 國 內 大 學 校 院 選 送 優 秀 學 生 出 國 研 修 之 留 學 生 成 果 報 告 書 奧 地 利 約 翰 克 卜 勒 大 學 (JKU) 留 學 心 得 原 就 讀 學 校 / 科 系 / 年 級 : 長 榮 大 學 / 財 務 金 融 學 系 / 四 年 級 獲 獎 生 姓 名 : 賴 欣 怡 研 修 國 家 : 奧 地 利 研 修 學 校 : 約 翰 克 普

More information

IP TCP/IP PC OS µclinux MPEG4 Blackfin DSP MPEG4 IP UDP Winsock I/O DirectShow Filter DirectShow MPEG4 µclinux TCP/IP IP COM, DirectShow I

IP TCP/IP PC OS µclinux MPEG4 Blackfin DSP MPEG4 IP UDP Winsock I/O DirectShow Filter DirectShow MPEG4 µclinux TCP/IP IP COM, DirectShow I 2004 5 IP TCP/IP PC OS µclinux MPEG4 Blackfin DSP MPEG4 IP UDP Winsock I/O DirectShow Filter DirectShow MPEG4 µclinux TCP/IP IP COM, DirectShow I Abstract The techniques of digital video processing, transferring

More information

问 她! 我 们 把 这 只 手 机 举 起 来 借 着 它 的 光 看 到 了 我 老 婆 正 睁 着 双 眼 你 在 干 什 么 我 问, 我 开 始 想 她 至 少 是 闭 着 眼 睛 在 yun 酿 睡 意 的 我 睡 不 着 她 很 无 辜 地 看 着 我 我 问 她 yun 酿 的 yu

问 她! 我 们 把 这 只 手 机 举 起 来 借 着 它 的 光 看 到 了 我 老 婆 正 睁 着 双 眼 你 在 干 什 么 我 问, 我 开 始 想 她 至 少 是 闭 着 眼 睛 在 yun 酿 睡 意 的 我 睡 不 着 她 很 无 辜 地 看 着 我 我 问 她 yun 酿 的 yu 果 皮 云 写 作 NO.6: 响 水 不 滚 滚 水 不 响 时 间 :2011 年 12 月 25 日 主 编 : 乌 青 作 者 : 秦 留, 新 a, 伊 文 达, 乌 青, 张 墩 墩, 娜 娜, 女 斑 马 王, 马 其 顿 荒 原, 尼 码, 萨 尔 卡, 傀 儡 尫 仔, 东 成, 二 天, 老 马 迷 途, 曾 骞, 郑 在, 柚 子, 以 下 简 称 刘 某, 大 棋, 张 维,

More information

TX-NR3030_BAS_Cs_ indd

TX-NR3030_BAS_Cs_ indd TX-NR3030 http://www.onkyo.com/manual/txnr3030/adv/cs.html Cs 1 2 3 Speaker Cable 2 HDMI OUT HDMI IN HDMI OUT HDMI OUT HDMI OUT HDMI OUT 1 DIGITAL OPTICAL OUT AUDIO OUT TV 3 1 5 4 6 1 2 3 3 2 2 4 3 2 5

More information

國立中山大學學位論文典藏.PDF

國立中山大學學位論文典藏.PDF 中 國 文 學 系 國 立 中 山 大 學, 碩 士 論 文 國 立 中 山 大 學 中 國 文 學 系 碩 士 論 文 Department of Chinese Literature 肉 蒲 團 研 究 National Sun Yat-sen University Master Thesis 肉 蒲 團 研 究 The Research of Rou Pu Tuan 研 究 生 : 林 欣 穎

More information

LH_Series_Rev2014.pdf

LH_Series_Rev2014.pdf REMINDERS Product information in this catalog is as of October 2013. All of the contents specified herein are subject to change without notice due to technical improvements, etc. Therefore, please check

More information

hks298cover&back

hks298cover&back 2957 6364 2377 3300 2302 1087 www.scout.org.hk scoutcraft@scout.org.hk 2675 0011 5,500 Service and Scouting Recently, I had an opportunity to learn more about current state of service in Hong Kong

More information

Chn 116 Neh.d.01.nis

Chn 116 Neh.d.01.nis 31 尼 希 米 书 尼 希 米 的 祷 告 以 下 是 哈 迦 利 亚 的 儿 子 尼 希 米 所 1 说 的 话 亚 达 薛 西 王 朝 二 十 年 基 斯 流 月 *, 我 住 在 京 城 书 珊 城 里 2 我 的 兄 弟 哈 拿 尼 和 其 他 一 些 人 从 犹 大 来 到 书 珊 城 我 向 他 们 打 听 那 些 劫 后 幸 存 的 犹 太 人 家 族 和 耶 路 撒 冷 的 情 形

More information

99 學年度班群總介紹 第 370 期 班群總導 陳怡靜 G45 班群總導 陳怡靜(河馬) A 家 惠如 家浩 T 格 宜蓁 小 霖 怡 家 M 璇 均 蓁 雴 家 數學領域 珈玲 國燈 370-2 英領域 Kent

99 學年度班群總介紹 第 370 期 班群總導 陳怡靜 G45 班群總導 陳怡靜(河馬) A 家 惠如 家浩 T 格 宜蓁 小 霖 怡 家 M 璇 均 蓁 雴 家 數學領域 珈玲 國燈 370-2 英領域 Kent 2010 年 8 月 27 日 出 刊 精 緻 教 育 宜 蘭 縣 公 辦 民 營 人 國 民 中 小 學 財 團 法 人 人 適 性 教 育 基 金 會 承 辦 地 址 : 宜 蘭 縣 26141 頭 城 鎮 雅 路 150 號 (03)977-3396 http://www.jwps.ilc.edu.tw 健 康 VS. 學 習 各 位 合 夥 人 其 實 都 知 道, 我 是 個 胖 子, 而

More information

國立中山大學學位論文典藏

國立中山大學學位論文典藏 I II III IV The theories of leadership seldom explain the difference of male leaders and female leaders. Instead of the assumption that the leaders leading traits and leading styles of two sexes are the

More information

第六章

第六章 Reflection and Serving Learning 長 庚 科 技 大 學 護 理 系 劉 杏 元 一 服 務 學 習 為 何 要 反 思 All those things that we had to do for the service-learning, each one, successively helped me pull together what I d learned.

More information

Prasenjit Duara 3 nation state Northwestern Journal of Ethnology 4 1. A C M J M M

Prasenjit Duara 3 nation state Northwestern Journal of Ethnology 4 1. A C M J M M N.W.J.E 1001-5558 2012 02-0115-14 C95 A 1945 N. W. Journal of Ethnology 2012 2 73 2012.No.2 Total No.73 1 2 56 Prasenjit Duara 3 nation state Northwestern Journal of Ethnology 4 1. A C 1945. 2 1905. M.

More information

C o n t e n t s...7... 15 1. Acceptance... 17 2. Allow Love... 19 3. Apologize... 21 4. Archangel Metatron... 23 5. Archangel Michael... 25 6. Ask for

C o n t e n t s...7... 15 1. Acceptance... 17 2. Allow Love... 19 3. Apologize... 21 4. Archangel Metatron... 23 5. Archangel Michael... 25 6. Ask for Doreen Virtue, Ph.D. Charles Virtue C o n t e n t s...7... 15 1. Acceptance... 17 2. Allow Love... 19 3. Apologize... 21 4. Archangel Metatron... 23 5. Archangel Michael... 25 6. Ask for a Sign... 27 7.

More information

VASP应用运行优化

VASP应用运行优化 1 VASP wszhang@ustc.edu.cn April 8, 2018 Contents 1 2 2 2 3 2 4 2 4.1........................................................ 2 4.2..................................................... 3 5 4 5.1..........................................................

More information

124 第十三期 Conflicts in the Takeover of the Land in Taiwan after the Sino-Japanese War A Case in the Change of the Japanese Names of the Taiwanese Peopl

124 第十三期 Conflicts in the Takeover of the Land in Taiwan after the Sino-Japanese War A Case in the Change of the Japanese Names of the Taiwanese Peopl 123 戰後初期臺灣土地接收的糾紛 以更改日式姓名的臺人遭遇為例 124 第十三期 Conflicts in the Takeover of the Land in Taiwan after the Sino-Japanese War A Case in the Change of the Japanese Names of the Taiwanese People Abstract By Ho Fung-jiao

More information

Microsoft PowerPoint - ATF2015.ppt [相容模式]

Microsoft PowerPoint - ATF2015.ppt [相容模式] Improving the Video Totalized Method of Stopwatch Calibration Samuel C.K. Ko, Aaron Y.K. Yan and Henry C.K. Ma The Government of Hong Kong Special Administrative Region (SCL) 31 Oct 2015 1 Contents Introduction

More information

摘 要 互 联 网 的 勃 兴 为 草 根 阶 层 书 写 自 我 和 他 人 提 供 了 契 机, 通 过 网 络 自 由 开 放 的 平 台, 网 络 红 人 风 靡 于 虚 拟 世 界 近 年 来, 或 无 心 插 柳, 或 有 意 噱 头, 或 自 我 表 达, 或 幕 后 操 纵, 网 络

摘 要 互 联 网 的 勃 兴 为 草 根 阶 层 书 写 自 我 和 他 人 提 供 了 契 机, 通 过 网 络 自 由 开 放 的 平 台, 网 络 红 人 风 靡 于 虚 拟 世 界 近 年 来, 或 无 心 插 柳, 或 有 意 噱 头, 或 自 我 表 达, 或 幕 后 操 纵, 网 络 上 海 外 国 语 大 学 硕 士 学 位 论 文 论 文 题 目 从 偶 像 符 号 的 消 解 到 消 费 符 号 的 建 构 网 络 红 人 的 形 象 变 迁 研 究 学 科 专 业 传 播 学 届 别 2013 届 姓 名 孙 清 导 师 王 玲 宁 I 摘 要 互 联 网 的 勃 兴 为 草 根 阶 层 书 写 自 我 和 他 人 提 供 了 契 机, 通 过 网 络 自 由 开 放 的

More information

Edge-Triggered Rising Edge-Triggered ( Falling Edge-Triggered ( Unit 11 Latches and Flip-Flops 3 Timing for D Flip-Flop (Falling-Edge Trigger) Unit 11

Edge-Triggered Rising Edge-Triggered ( Falling Edge-Triggered ( Unit 11 Latches and Flip-Flops 3 Timing for D Flip-Flop (Falling-Edge Trigger) Unit 11 Latches and Flip-Flops 11.1 Introduction 11.2 Set-Reset Latch 11.3 Gated D Latch 11.4 Edge-Triggered D Flip-Flop 11.5 S-R Flip-Flop 11.6 J-K Flip-Flop 11.7 T Flip-Flop 11.8 Flip-Flops with additional Inputs

More information

00. - 0-000 0 10 0 00-0 0 11 12 13 14 15 b 16 17 18 19 0 - 20 0 0-0 0 21 22 H.Mead 0-0 - ( ) 23 ( ) 24 ( ) 25 ( ) 26 27 00 0 00 0 28 29 30 31 ( ) 0 0 32 ( ) 33 ( ) 34 ( ) 35 ( ) 36 ( ) ( ) Northrop F.S.C.

More information

Lorem ipsum dolor sit amet, consectetuer adipiscing elit

Lorem ipsum dolor sit amet, consectetuer adipiscing elit English for Study in Australia 留 学 澳 洲 英 语 讲 座 Lesson 3: Make yourself at home 第 三 课 : 宾 至 如 归 L1 Male: 各 位 朋 友 好, 欢 迎 您 收 听 留 学 澳 洲 英 语 讲 座 节 目, 我 是 澳 大 利 亚 澳 洲 广 播 电 台 的 节 目 主 持 人 陈 昊 L1 Female: 各 位

More information

中国人民大学商学院本科学年论文

中国人民大学商学院本科学年论文 RUC-BK-113-110204-11271374 2001 11271374 1 Nowadays, an enterprise could survive even without gaining any profit. However, once its operating cash flow stands, it is a threat to the enterprise. So, operating

More information

2. 佔 中 對 香 港 帶 來 以 下 影 響 : 正 面 影 響 - 喚 起 市 民 對 人 權 及 ( 專 制 ) 管 治 的 關 注 和 討 論 o 香 港 市 民 總 不 能 一 味 認 命, 接 受 以 後 受 制 於 中 央, 沒 有 機 會 選 出 心 中 的 理 想 特 首 o 一

2. 佔 中 對 香 港 帶 來 以 下 影 響 : 正 面 影 響 - 喚 起 市 民 對 人 權 及 ( 專 制 ) 管 治 的 關 注 和 討 論 o 香 港 市 民 總 不 能 一 味 認 命, 接 受 以 後 受 制 於 中 央, 沒 有 機 會 選 出 心 中 的 理 想 特 首 o 一 220 參 考 答 案 專 題 1. 公 民 抗 命 與 革 命 的 異 同 如 下 : 公 民 抗 命 革 命 相 同 之 處 目 的 兩 種 行 動 都 是 為 了 抗 拒 當 權 政 府 不 受 歡 迎 的 決 定 及 政 策 方 法 兩 者 都 是 在 嘗 試 其 他 合 法 的 抗 爭 行 動 後, 無 可 奈 何 的 最 後 手 段 不 同 之 處 目 的 只 是 令 政 府 的 某 些

More information

untitled

untitled 數 Quadratic Equations 數 Contents 錄 : Quadratic Equations Distinction between identities and equations. Linear equation in one unknown 3 ways to solve quadratic equations 3 Equations transformed to quadratic

More information

(2008) 主 张 教 师 在 课 文 教 学 中 应 让 学 生 有 意 识 地 注 意 语 块, 并 指 出 语 块 教 学 对 大 学 生 的 英 语 写 作 能 力 有 着 重 要 的 意 义 于 秀 莲 (2008) 以 大 学 生 为 受 试 对 象, 在 对 不 同 学 生 分 别

(2008) 主 张 教 师 在 课 文 教 学 中 应 让 学 生 有 意 识 地 注 意 语 块, 并 指 出 语 块 教 学 对 大 学 生 的 英 语 写 作 能 力 有 着 重 要 的 意 义 于 秀 莲 (2008) 以 大 学 生 为 受 试 对 象, 在 对 不 同 学 生 分 别 第 17 卷 第 1 期 2015 年 2 月 基 础 英 语 教 育 Journal of Basic English Education Vol. 17, No. 1 Feb., 2015 结 合 语 块 教 学 提 高 中 下 水 平 学 生 写 作 能 力 的 研 究 曾 燕 文 摘 要 : 随 着 广 东 高 考 英 语 写 作 比 重 的 增 加, 如 何 提 高 中 下 水 平 学 生

More information

Microsoft PowerPoint - Model Checking a Lazy Concurrent List-Based Set Algorithm.ppt [Compatibility Mode]

Microsoft PowerPoint - Model Checking a Lazy Concurrent List-Based Set Algorithm.ppt [Compatibility Mode] Model Checking a Lazy Concurrent List-Based Set Algorithm ZHANG Shaojie, LIU Yang National University of Singapore Agenda Introduction Background Ourapproach Overview Linearizabilitydefinition Modelinglanguage

More information

ABSTRACT ABSTRACT Based on analyzing public corporation in foreign countries, this paper studies basic theories of public legal establishment, with our country s reality in the social transferring period

More information

2015 1 330 GLOBAL EDUCATION Vol. 44 No1 2015 / 300387 / 300387 20 20 1926 20 1912 1912 1918 1919 34 1919 1921 1 1922 1923 1925 7 100 2 1922 3 1923 5 1923 1924 4 1927 1949 20 1. 20 5 35 2. 20 20 1927 1949

More information

1對外華語文詞彙教學的策略研究_第三次印).doc

1對外華語文詞彙教學的策略研究_第三次印).doc 37 92 1 16 1 2 3 4 5 6 7 8????? 9????????? 10???????????????????? 11? 12 13 14 15 16 The Strategy Research of Teaching Chinese as a Second Language Li-Na Fang Department of Chinese, National Kaohsiung

More information

OA-253_H1~H4_OL.ai

OA-253_H1~H4_OL.ai WARNINGS Note: Read ALL the following BEFORE using this product. Follow all Guidelines at all times while using this product. CAUTION This warning indicates possibility of personal injury and material

More information

國家圖書館典藏電子全文

國家圖書館典藏電子全文 i ii Abstract The most important task in human resource management is to encourage and help employees to develop their potential so that they can fully contribute to the organization s goals. The main

More information

168 健 等 木醋对几种小浆果扦插繁殖的影响 第1期 the view of the comprehensive rooting quality, spraying wood vinegar can change rooting situation, and the optimal concent

168 健 等 木醋对几种小浆果扦插繁殖的影响 第1期 the view of the comprehensive rooting quality, spraying wood vinegar can change rooting situation, and the optimal concent 第 31 卷 第 1 期 2013 年 3 月 经 济 林 研 究 Nonwood Forest Research Vol. 31 No.1 Mar. 2013 木醋对几种小浆果扦插繁殖的影响 健 1,2 杨国亭 1 刘德江 2 (1. 东北林业大学 生态研究中心 黑龙江 哈尔滨 150040 2. 佳木斯大学 生命科学学院 黑龙江 佳木斯 154007) 摘 要 为了解决小浆果扦插繁殖中生根率及成活率低等问题

More information

Microsoft Word - CX VMCO 3 easy step v1.doc

Microsoft Word - CX VMCO 3 easy step v1.doc Abacus Fully Automated Process of VMCO on CX, KA, CPH & KAH 16 Nov 2009 To streamline the VMCO handling on CX, KA, CPH & KAH, Abacus is pleased to inform you that manual submission of VMCO to CX/KA/CPH/KAH

More information

<4D6963726F736F667420576F7264202D20D0ECB7C9D4C6A3A8C5C5B0E6A3A92E646F63>

<4D6963726F736F667420576F7264202D20D0ECB7C9D4C6A3A8C5C5B0E6A3A92E646F63> 硕 士 专 业 学 位 论 文 论 文 题 目 性 灵 文 学 思 想 与 高 中 作 文 教 学 研 究 生 姓 名 指 导 教 师 姓 名 专 业 名 称 徐 飞 云 卞 兆 明 教 育 硕 士 研 究 方 向 学 科 教 学 ( 语 文 ) 论 文 提 交 日 期 2012 年 9 月 性 灵 文 学 思 想 与 高 中 作 文 教 学 中 文 摘 要 性 灵 文 学 思 想 与 高 中 作

More information

A dissertation for Master s degree Metro Indoor Coverage Systems Analysis And Design Author s Name: Sheng Hailiang speciality: Supervisor:Prof.Li Hui,

A dissertation for Master s degree Metro Indoor Coverage Systems Analysis And Design Author s Name: Sheng Hailiang speciality: Supervisor:Prof.Li Hui, 中 国 科 学 技 术 大 学 工 程 硕 士 学 位 论 文 地 铁 内 移 动 通 信 室 内 覆 盖 分 析 及 应 用 作 者 姓 名 : 学 科 专 业 : 盛 海 亮 电 子 与 通 信 导 师 姓 名 : 李 辉 副 教 授 赵 红 媛 高 工 完 成 时 间 : 二 八 年 三 月 十 日 University of Science and Technology of Ch A dissertation

More information

投影片 1

投影片 1 () () I am delighted to hear that Methodist College is organising a Mentoring Programme to help the Form 4 to Form 6 students to have a more enriched experience in addition to their academic study. I

More information

* CO3 A 1674-2486 2011 04-0005 - 18 P. 253 * 5 1. 1949 1991 1949 1991 6 2. 7 1 2001 2 2008 8 1 2 2008 11 http / /www. rnd. ncnu. edu. tw /hdcheng /method /ways. doc 2008 / 9 disciplinary matrix 1 1. 2001

More information

2009.05

2009.05 2009 05 2009.05 2009.05 璆 2009.05 1 亿 平 方 米 6 万 套 10 名 20 亿 元 5 个 月 30 万 亿 60 万 平 方 米 Data 围 观 CCDI 公 司 内 刊 企 业 版 P08 围 观 CCDI 管 理 学 上 有 句 名 言 : 做 正 确 的 事, 比 正 确 地 做 事 更 重 要 方 向 的 对 错 于 大 局 的 意 义 而 言,

More information

曹美秀.pdf

曹美秀.pdf 2006 3 219 256 (1858-1927) (1846-1894) 1 2 3 1 1988 70 2 1998 51 3 5 1991 12 37-219- 4 5 6 7 8 9 10 11 12 13 14 15 4 1998 5 1998 6 1988 7 1994 8 1995 725-732 9 1987 170 10 52 11 1994 121 12 2000 51 13

More information

AL-M200 Series

AL-M200 Series NPD4754-00 TC ( ) Windows 7 1. [Start ( )] [Control Panel ()] [Network and Internet ( )] 2. [Network and Sharing Center ( )] 3. [Change adapter settings ( )] 4. 3 Windows XP 1. [Start ( )] [Control Panel

More information

A Community Guide to Environmental Health

A Community Guide to Environmental Health 102 7 建 造 厕 所 本 章 内 容 宣 传 推 广 卫 生 设 施 104 人 们 需 要 什 么 样 的 厕 所 105 规 划 厕 所 106 男 女 对 厕 所 的 不 同 需 求 108 活 动 : 给 妇 女 带 来 方 便 110 让 厕 所 更 便 于 使 用 111 儿 童 厕 所 112 应 急 厕 所 113 城 镇 公 共 卫 生 设 施 114 故 事 : 城 市 社

More information

南華大學數位論文

南華大學數位論文 The Digital Divide on the Remote Area: Regarding the community of Ta-Pang in Mt. A-li Abstract Base on the coming of information society, the digital science and technology usage suppose to be the basic

More information

致 谢 开 始 这 篇 致 谢 的 时 候, 以 为 这 是 最 轻 松 最 愉 快 的 部 分, 而 此 时 心 头 却 充 满 了 沉 甸 甸 的 回 忆 和 感 恩, 一 时 间 竟 无 从 下 笔 虽 然 这 远 不 是 一 篇 完 美 的 论 文, 但 完 成 这 篇 论 文 要 感 谢

致 谢 开 始 这 篇 致 谢 的 时 候, 以 为 这 是 最 轻 松 最 愉 快 的 部 分, 而 此 时 心 头 却 充 满 了 沉 甸 甸 的 回 忆 和 感 恩, 一 时 间 竟 无 从 下 笔 虽 然 这 远 不 是 一 篇 完 美 的 论 文, 但 完 成 这 篇 论 文 要 感 谢 中 国 科 学 技 术 大 学 博 士 学 位 论 文 论 文 课 题 : 一 个 新 型 简 易 电 子 直 线 加 速 器 的 关 键 技 术 研 究 学 生 姓 名 : 导 师 姓 名 : 单 位 名 称 : 专 业 名 称 : 研 究 方 向 : 完 成 时 间 : 谢 家 麟 院 士 王 相 綦 教 授 国 家 同 步 辐 射 实 验 室 核 技 术 及 应 用 加 速 器 物 理 2006

More information

\\Lhh\07-02\黑白\内页黑白1-16.p

\\Lhh\07-02\黑白\内页黑白1-16.p Abstract: Urban Grid Management Mode (UGMM) is born against the background of the fast development of digital city. It is a set of urban management ideas, tools, organizations and flow, which is on the

More information