A Fault-Tolerant and Region-Based Scheme for Mobility Management
全文
(2) Int. Computer Symposium, Dec. 15-17, 2004, Taipei, Taiwan.. register (VLR) is maintained at each LA, which stores the temporary records of the current location information of the MH while it is not at “home”. Several LAs are grouped into a fault-tolerant region (FTR). All the VLRs in one FTR are formed as a local fault-tolerant system, which can tolerate the failures of one or more VLRs. The mechanism of the fault-tolerance will be described in section 4. All MSCs are finally connected to a Public Switched Telephone Network (PSTN) that is a wired backbone network. The system is a two-tier database architecture consisting of a home location register (HLR) and visitor location registers (VLRs). The HLR cooperates with VLRs to track and find the locations of MHs. The information, recorded in the HLR database, can assist the system in finding the FTR where the MH is currently located. Then, the LA where the MH resides is tracked. In the next section, we will describe the cellular quorum approach that will be used in our system design.. Legion structure, which is our previous work [9]. A Legion is constructed from set systems. Definition 2. A Legion structure {Ci, Cj} is a collection of two set systems that has the following properties: [I] Ci = {Q1, Q2,..., Qn} and Cj = {Q1, Q2,..., Qm} are set systems. (1≤ n, m) [II] For any pair of quorums Qs ∈ Ci and Qt ∈ Cj , there is Qs∩Qt ≠ ∅. That is, Qs and Qt have at least one common element. (1≤ s ≤ n, 1≤ t ≤ m) Claim 1. The Legion structure {Ci, Cj} defined in Definition 2 can be used as a mathematic model for quorum-based location management in PCS networks. According to the Definition 2, any two quorums of a pair (Qs, Qt) have at least one common element, where Qs is a quorum in Ci and Qt is a quorum in Cj. This structure can be applied to develop a location management scheme for PCS systems. In PCS systems, if one of the servers requires information from the other, it suffices to query one server from an appropriate quorum. While using this quorum-based location scheme, we can assign quorums in Ci as update-quorums, and quorums in Cj as query-quorums. According to the definition of Legion, the set of queried servers is bound to contain at least one server that belonged to the quorum that received the latest update.. (Public Switching Telephone Network) HLR (Home Location Register) HLR. MSC (Mobile Switching Center). VLR (Visitor Location Register). VLR. FTR (Fault-Tolerant Region). LA (Location Area). VLR. VLR (Visitor Location Register). MSC (Mobile Switching Center) (Cell) MSS (Mobile Support Station). LA (Location Area). Figure 2. A fault-tolerant region (FTR) and its position coordinate.. Figure 1. System architecture.. In the following, we introduce a cellular quorum approach which is based on the hexagonal location areas (LAs). Consider a fault-tolerant region (FTR) with continuous location areas (LAs) shown in Figure 2. Each LA can be identified with position coordinates (x,y). We denote the LA(x,y) as the position of LA that is located at the position coordinates (x,y), where x denotes the column number of the FTR and y denotes the sequential order where it appears in its column. Some sequences of patterns in the FTR are employed as Update-quorum (U-quorum) and Query-quorum (Q-quorum).. 3. Cellular Quorum Constructions In the FTR, all the VLRs play the role of a local fault-tolerant system. Based on a quorum-based scheme, the fault-tolerant system can tolerate the failures of VLRs. In this section, in order to prove the correctness of cellular quorum system, we introduce some definitions and theories, such as quorum, set system [10], and Legion structure [9]. Definition 1. A set system [10] C = {Q1, Q2,..., Qn}, 1≤ n, is a collection of nonempty subsets Qi ⊆U of a finite universe U. Each element Qi of C in Definition 1 is called a quorum.. Definition 3. Let N be the total number of columns in a FTR region and Mi be the total number of rows in the column i of the FTR region. In the cellular. In the following, we introduce a definition of. 81.
(3) Int. Computer Symposium, Dec. 15-17, 2004, Taipei, Taiwan.. Consider the previously described example. The U-quorum, for example, U2={(2,1),(2,2),(2,3),(2,4)}, is composed from all the LAs of column 2 of FTR (Figure 3(a)). The Q-quorum, for example, Q1={(1,1),(2,4),(3,1),(4,2)}, is composed from the LAs that are picked from each column (Figure 3(b)). Thus, there is one intersectional element (2,4) of the U-quorum and Q-quorum (Figure 3(c)).. quorum construction of one FTR region, the Update-set (U-set) and Query-set (Q-set) are defined as follow: U-set = {Ui | 1 ≤ i≤ N, Ui ={(i,j) | 1 ≤ j≤ Mi }; s. Q-set = {Qs | 1 ≤ s, Qs ={(i, ri ) | 1 ≤ i≤ N }, where. ri s (1 ≤ ri s ≤. Mi) is the row number. randomly selected with variable s in column i; i, j, s, N, Mi and. ri s are. 4. The System Design. all natural numbers. Each. element of U-set and Q-set is called an U-quorum and a Q-quorum, respectively.. In this section, we use the cellular quorum approach described in section 3 to devise a fault-tolerant location tracking system. Based on the intersectional property of the U-quorum and Q-quorum, the location information is disseminated to VLRs of the U-quorum and can be extracted from one of them by using the Q-quorum even though one or more location servers fail. In cellular PCS systems, location management is achieved by querying and updating. A query occurs when a host needs to communicate with another mobile host whose location is unexpected, and an update occurs when a mobile host changes its location. A detailed description of update and query procedures will be discussed in the sections 4.1 to 4.4. In a traditional location management scheme, an update procedure that would need to coordinate between HLR and VLRs will occur whenever an MH moves to a new LA. In our approach, when an MH moves to a new LA in the same FTR, instead of updating information to the HLR, it merely reports its location to the VLRs of U-quorum in the local FTR. We divide the update procedure into two types: region update and home update. When an MH roams to another FTR, a home update procedure will be triggered. By the user mobility behavior model, we could suitably choose the coverage areas of one FTR. Then, with high probability, the users would move around in the same FTR. Hence, in most conditions, the update procedures will be handled locally.. Update quorum (Ui) (2,1) (4,1). (2,2) (1,1). (3,1) (4,2). (2,3) (3,2) (2,4). (4,3). (a) (b) (c) Figure 3. The construction and intersectional property of U-quorum and Q-quorum. For example, consider a fault-tolerant region (FTR) with continuous location areas (LAs), which are identified with position coordinates (x,y) shown in Figure 3. Then, we have U-set = {U1,U2,U3,U4}= {{(1,1)},{(2,1),(2,2),(2,3),(2,4)},{(3,1),(3,2)},{(4,1), (4,2),(4,3)}}, where Ui, for example, {(2,1),(2,2), (2,3),(2,4)}, is an update quorum (U-quorum) shown in Figure 3(a); moreover, according to the random selection (i.e., randomly pick one LA from each column), we may have the Q-set = {Q1,Q2,...,Qn,...} ={{(1,1),(2,4),(3,1),(4,2)},{(1,1),(2,1),(3,2),(4,2)},..., {(1,1),(2,4),(3,3),(4,1)},...}, where Qi, for example, {(1,1),(2,4),(3,1),(4,2)}, is an query quorum (Q-quorum) shown in Figure 3(b). Theorem 1. The U-set and Q-set defined in Definition 3 satisfy the properties of Legion structure {Ci, Cj }. Proof: According to Definition 2, the properties of Legion structure {U-set, Q-set} are: (I) U-set and Q-set are set systems. (II) Any pair of U-quorum in U-set and Q-quorum in Q-set have joint elements. We need to prove these properties. First, according to Definition 3 and Definition 1, it is easy to see that U-set and Q-set are set systems. Second, according to Definition 3, the U-quorum’s elements are picked from the same column’s LAs of FTR and one LA from each column of FTR is randomly picked as the Q-quorum’s element. Hence, the U-quorum’s elements are all in the same column and one of them must be chosen as one member in the Q-quorum. Thus, there is one intersectional element of each pair of U-quorum and Q-quorum. This satisfies property (II). Hence, the U-set and Q-set of cellular quorum system satisfy the properties of Legion structure.. 4.1. Region Update In the following, we use the cellular quorum approach, defined in Definition 3, to implement the region update algorithms. When a mobile host moves from one LA to others in the same FTR, its location information has to be updated locally (Figure 4). Therefore, the following steps are performed as the region update procedure: 1. The UPDATE message is sent to the current MSC which forwards this message to all the VLRs in the Ui quorum of the FTR, where i is the column that the MH resides currently. 2. Upon receiving the UPDATE message, the VLRs add the new location information received to their databases and send back the ACK message. 3. If the procedure does not receive all the ACK messages from all VLRs in the quorum during a. □. 82.
(4) Int. Computer Symposium, Dec. 15-17, 2004, Taipei, Taiwan.. given period of time, then it randomly selects another Uj, where 1 ≤ j≤ N, sends the UPDATE message to all VLRs in the new quorum again, and goes to step 2; otherwise, it goes to next step. 4. The DELETE message is sent to the current MSC which forwards this message to all the VLRs in the Uk quorum of the FTR, where k is the column in which the MH resided previously. 5. Upon receiving the DELETE message, the VLRs delete the old location information in their databases and send back the ACK message. 6. If the procedure does not receive all the ACK messages from all VLRs in the quorum during a given period of time, then it resends the DELETE message to VLRs that did not send back ACK messages, and goes to step 5; otherwise, it stops.. Figure 5. Home update. (When a MH moves form one LA to another LA in different FTR.). 1. The procedure sends the UPDATE message to the current MSC which forwards this message to all the VLRs in the Ui quorum of the FTR, where i is the column in which the MH resides currently, and concurrently sends the REDIRECT pointer (i.e., a forwarding route information including the FTR identifier) to the HLR. 2. Upon receiving the UPDATE message or REDIRECT pointer, the VLRs or HLR add the new information received to their databases and send back the ACK message. 3. If the procedure does not receive all the ACK messages from all VLRs in the quorum or the ACK message form the HLR during a given period of time, then it randomly selects other quorum Uj, where 1 ≤ j≤ N, sends the UPDATE message to all VLRs in the new quorum again or resends the REDIRECT pointer to the HLR, and goes to step 2; otherwise, it goes to the next step. 4. The DELETE message is sent to the current MSC which forwards this message to all the VLRs in the Uk quorum of the FTR, where k is the column in which the MH resided previously. 5. Upon receiving the DELETE message, the VLRs delete the old location information in their databases and send back the ACK message. 6. If the procedure does not receive all the ACK messages from all VLRs in the quorum during a given period of time, then it resends the DELETE message to VLRs that did not send back ACK messages, and goes to step 5; otherwise, it stops.. (a) (b) Figure 4. Region Update. (When a MH moves form one LA to another LA in the same FTR.) Consider a fault-tolerant region (FTR) with continuous location areas (LAs), which can be identified with position coordinates (x,y) shown in Figure 4. According to the Definition 3, the U-set is {U1,U2,U3,U4}={{(1,1)},{(2,1),(2,2),(2,3),(2,4)},{(3, 1),(3,2)},{(4,1),(4,2),(4,3)}}. If a mobile host h moves from LA(3,1) to LA(2,2), new location information is sent to the all the VLRs of LA(2,1), LA(2,2), LA(2,3), and LA(2,4) in the U2 quorum of the FTR and the ACK messages are sent back. Then, the DELETE message is sent to all the VLRs of LA(3,1) and LA(3,2) in the U3 quorum of the FTR, where the column three is the column in which the MH resided previously, and the ACK messages are sent back. In the IS-41 location management scheme, if the distance between the visited area and the HLR is large, the signaling delay for the location update is long. Our approach, a region update, is a way to reduce the signaling delay for performing updates. This is especially useful when the MH always moves within a particular FTR.. Consider n fault-tolerant regions (FTRs) each with continuous location areas (LAs), which can be identified with position coordinates (x,y) shown in Figure 5. According to the Definition 3, the U-set of FTR1 is { U 11 , U 21 , U 31 , U 41 }={{(1,1)},{(2,1),(2,2),. 4.2. Home Update. (2,3),(2,4)},{(3,1),(3,2)},{4,1},(4,2),(4,3)}} and the U-set of FTR2 is { U 12 , U 22 , U 32 , U 42 } ={{(1,1),(1,2)},. When roaming around the whole network, an MH may go through different FTRs. If an MH enters another FTR, a home update procedure will be triggered (Figure 5). The procedure is described as follows:. {(2,1)},{(3,1),(3,2),(3,3)},{4,1}, (4,2)}}. If a mobile host h moves from LA(1,1) of FTR2 to LA(4,2) of FTR1, new location information is sent to the all the. 83.
(5) Int. Computer Symposium, Dec. 15-17, 2004, Taipei, Taiwan.. VLRs of LA(4,1), LA(4,2), and LA(4,3) in the U 41 quorum of the FTR1 and the ACK messages are. procedure is stopped. Otherwise, it goes to next step. 4. If the call is not established after a given period of time, then the procedure resends the QUERY message to the randomly selected VLRs, which located at the same column with the VLRs that did not send back the ACK messages and goes to step 3 (Figure 6(d)). Otherwise, it stops.. sent back by VLRs. Meanwhile, the REDIRECT pointer (i.e., a forwarding route information including the FTR identifier that indicates the FTR in which the MH currently resides.) is sent to the HLR and the ACK message is sent back by the HLR. Then, the DELETE message is sent to all the VLRs of LA(1,1) and LA(1,2) in the U 12 quorum of the FTR2 and the ACK messages are sent back by VLRs. As described in the above procedure, the VLRs in the selected quorum of the current FTR maintain the id of the current MSC serving the MH. For the HLR, it maintains the id of the FTR where the MH currently resides. When a mobile host wishes to communicate with another host whose location is unknown, the query procedure is invoked. Again, the fault-tolerant cellular quorum approach is used in the location query process. We have designed the query procedure as two types: region query and home query, and describe them in Section 4.3 and 4.4, respectively.. (a). (b). (c) (d) Figure 6. Region query.. 4.3. Region Query A region query occurs when the calling and called MH are in the same FTR. Figure 6 shows the region query processes. The procedure is described in the following steps: 1. The calling MH queries the location information of the called MH form its local VLR (Figure 6(a)). If the information is found in the local VLR, then the local VLR forwards the routing request (ROUTREQ) message to the called MH’s current MSC/VLR (Note that the called MH and the calling MH may be located in the same LA.) and sends the ACK message back to the procedure. Finally, the current MSC/VLR launches a paging process to find the called MH’s current MSS. At this point the call is established and then the query procedure is stopped. Otherwise, it goes to next step. 2. The procedure randomly selects a quorum Qs and sends a QUERY message to all the VLRs (except the VLR which locates at the same column with the calling MH’s local VLR) in the quorum (Figure 6(b)). 3. Upon receiving the QUERY message, the VLR, which does not have a copy of queried information, sends the null ACK message back to the procedure. On the other hand, if the information is found in the VLR, then it forwards the routing request (ROUTREQ) message to the called MH’s current MSC/VLR and sends the ACK message back to the procedure. Then, the current MSC/VLR launches a paging process to find the called MH’s current MSS. At this point the call is established and then the query. Consider a fault-tolerant region (FTR) with position coordinates (x,y) shown in Figure 6. According to the Definition 3, we may have the Q-set={Q1,Q2,...,Qn,...}={{(1,1),(2,4),(3,1),(4,2)}, {(1,1),(2,1),(3,2),(4,2)},...,{(1,1),(2,4),(3,3),(4,1)},..}. Assume a called host h stored its information at the VLRs of LA(2,1), LA(2,2), LA(2,3), and LA(2,4) in the U2 quorum of the FTR. When a calling host h’ at LA(4,2) of the same FTR wants to communicate with host h, it first acquires the information from the local VLR of LA(4,2). Since the information is not found in the local VLR, then the procedure randomly select a quorum, for example, Q1, and sends a QUERY message to all the VLRs of LA(1,1), LA(2,4), and LA(3,1) in the quorum Q1 (except the local VLR of LA(4,2)). But, the only VLR that keeps the information of h in quorum Q1 has failed. So, the procedure resends the QUERY message to the randomly selected VLR of LA(2,1), which located at the same column with the VLR of LA(2,4). The VLR of LA(2,1), which has the location information of called MH, forwards the routing request (ROUTREQ) message to the called MH’s current MSC/VLR. Then the query procedure is completed. The completion of the region FTR query procedure is quick, since it is done locally. Compared to the query in the IS-41 scheme, which accesses the HLR that may be far away from the calling MH, our region FTR query is more time effective since the access to HLR could involve two long-distance legs. 4.4. Home Query. 84.
(6) Int. Computer Symposium, Dec. 15-17, 2004, Taipei, Taiwan.. and the Q-set of FTRn may be { Q1n , Q 2n , Q 3n , ... }. (Public Switching Telephone Network). HLR. 4. (2,1) (2,2) (1,1). (3,1). (4,1) 5. 3. (2,3). (1,3) 2. (1,2). FTR1 (Fault-Tolerant Region). (2,1). (3,1) 1. calling host h’ at LA(2,2) of FTRn wants to communicate with host h, it first acquires the information from the local VLR of LA(2,2). Since the information is not found in the local VLR, then the procedure randomly select a quorum, for example, Q 1n , and sends a QUERY message to all. (3,2). (2,3). (3,3). (3,2). (4,3). VLR. (2,2). Calling 2. (3,1). (1,1) (3,2). (2,4). (2,1) (1,1) (1,2). Called. (4,2). ={{(1,3),(2,2)},{(3,2)},{(1,1),(2,1),(3,2)},{(1,3),(2,3) ,(3,3)},...}. Assume a called host h stored its information at the VLRs of LA(4,1), LA(4,2), and LA(4,3) in the quorum U 41 of the FTR1. When a. MSC VLR. (4,1). FTRn (Fault-Tolerant Region). (3,3) (4,2). FTR2 (Fault-Tolerant Region). VLRs of LA(1,3), and LA(3,2) in the quorum Q 1n Figure 7. Home query.. (except the local VLR of LA(2,2)). Since the called MH is not located at FTRn, all VLRs in Q 1n have. If the calling and called host are in different FTRs, the communication invokes the home query procedure. Figure 7 shows the home query processes. The procedure is described as follows: 1. First, the region query procedure (as described in the Section 4.3) is processed in the local FTR in which the calling MH resides. Since the calling and called MH are in different FTRs, the null ACK messages, which issued by all VLRs in the quorum, would be received by the procedure. 2. Then, the HLR is inquired for the location information of the called MH. 3. According to the REDIRECT pointer in the database, the HLR forwards the QUERY message to the VLRs in the randomly selected quorum, Qj, of the FTR in which the called MH resides. 4. Upon receiving the QUERY message, the VLR, which has not a copy of queried information, sends the null ACK message back to the procedure. On the other hand, if the information is found in the VLR, then it forwards the routing request (ROUTREQ) message to the called MH’s current MSC/VLR and sends the ACK message back to the procedure. Then, the current MSC/VLR launches a paging process to find the called MH’s current MSS. At this point the call is established and then the query procedure is stopped. Otherwise, it goes to next step. 5. If the call is not established after a given period of time, then the procedure resends the QUERY message to the VLRs, which are located at the same column with the VLRs that did not send back the ACK messages and goes to step 4. Otherwise, it stops.. not the location information of called MH and send null ACKs back. Then, the HLR is inquired for the location information of the called MH. According to the REDIRECT pointer in the database, the HLR forwards the QUERY message to the VLRs of LA(1,1), LA(2,2), LA(3,2), and LA(4,1) in the randomly selected query quorum Q 31 of the FTR1 in which the called MH resides. Since (4,1) is the intersectional element of U 41 and Q 31 , the VLR of LA(4,1) has the location information of called MH and forwards the routing request (ROUTREQ) message to the called MH’s current MSC/VLR. Then the home query procedure is completed.. 5. Connection Establishment Delay The evaluations and comparisons of the query delay for the proposed scheme and the conventional IS-41 scheme are presented in this section. We normalize the value of Ll to one for evaluating the latency. The values of the latency ratios of Ll : Lr = 1:5 and Ll : Lpaging = 1:0.2 are used. Further, we assume the latency ratio of LVLR : LHLR = 1:5. 1.2 Latency l : Latency VLR = 1 : 5. Query Latency ( Proposed / IS-41 ). 1.1. Latency l : Latency VLR = 1 : 10 Latency l : Latency VLR = 1 : 15. 1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 -1 10. 0. 1. 10. 10. 2. 10. CMR. Figure 8. Comparisons of query latency under various CMR.. Consider n fault-tolerant regions (FTRs) system with position coordinates (x,y) shown in Figure 7. According to the Definition 3, the Q-set of FTR1 may be { Q 11 , Q 21 , Q 31 , ... }={{(1,1),(2,4),(3,1),(4,2)},. Figure 8 shows the relation between call to mobility ratio (CMR) and the query latency for proposed and IS-41 schemes. Three data sets are considered when Ll : LVLR = 1:5, 1:10, and 1:15. This. {(1,1),(2,1),(3,2),(4,2)},{(1,1),(2,2),(3,2),(4,1)},...}. 85.
(7) Int. Computer Symposium, Dec. 15-17, 2004, Taipei, Taiwan.. figure indicates that by using our proposed scheme the query latency is reduced, if the CMR ratio is more than 0.125. Since the region (hit case) queries are quickly processed locally without inquiring the database of the HLR, the average query latency can be decreased. This figure illustrates the more CMR ratio we have, the less query latency we get. For example, when CMR = 1, the query latency of the proposed scheme is about 30% less than that of the IS-41 scheme.. 2. M. Mouly and M.B. Pautet, The GSM System for Mobile Communications. France: Palaiseau, 1992. 3. G. H. Li, K. Y. Lam, T. W. Kuo, and S. W. Lo, “Location Management in Cellular Mobile Computing Systems with Dynamic Hierarchical Location Databases,” Journal of Systems and Software, vol. 69, pp. 159-171, 2004. 4. I. R. Chen, and B. Gu, “Quantitative Analysis of a Hybrid Replication with Forwarding Strategy for Efficient and Uniform Location management in Mobile Wireless Networks,” IEEE Transaction on Mobile Computing, vol. 2, pp. 3-15, 2003. 5. Z. Mao and C. Douligeris, “Location Tracking in Mobile Networks: a Scheme and an Analysis framework,” IEEE Electronics Letters, vol. 39, pp. 1406-1408, 2003. 6. Y. Xiao, “Backoff strategies for demand re-registration in PCS database failure recovery,” Computer Communications, vol. 27, pp. 400-411, 2004. 7. C. Liu, D. Yu, H. Qiu, and J. Wu, “Research of VLR mobility database failure recovery and performance analysis for CDMA2000 system,” in IEEE Proceedings on Personal, Indoor and Mobile Radio Communications, pp. 1501-1505, 2003. 8. K. Ratnam, S. Rangarajan, and A. T. Dahbura, “An Efficient Fault-Tolerant Location Management Protocol for Personal Communication Networks,” IEEE Transactions on Vehicular Technology, vol. 49, pp. 2359-2369, 2000. 9. M. J. Yang, Y. M. Yeh, and Y. M. Chang, “Legion Structure for Quorum-Based Location Management in Mobile Computing,” Journal of Information Science and Engineering, Vol. 20, pp. 191-202, 2004. 10. M. Naor and A. Wool, “Access control and signatures via quorum secret sharing,” IEEE Transactions on Parallel and Distributed Systems, vol. 9, pp. 909-922, 1998.. 1.2 Latency l:Latency VLR=1:5. Query Latency ( Proposed / IS-41 ). 1.1. Latency l:Latency VLR=1:10 Latency l:Latency VLR=1:15. 1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1. 0.2. 0.3. 0.4. 0.5 0.6 Hit ratio (h). 0.7. 0.8. 0.9. 1. Figure 9. Comparisons of query latency under various hit ratio. Figure 9 represents the query latency for the varying hit ratio (h) between the proposed and the IS-41 scheme. The figure shows the linear relation between the query latency ratio and the hit ratio. If the hit ratio is more than 0.2, then the proposed scheme outperforms the IS-41 scheme in query latency.. 6. Conclusions This paper proposed a new scheme with cellular quorum construction to tolerate the failures of the VLRs in two-tier networks. Based on the intersectional property of the U-quorum and Q-quorum, the location information is disseminated to VLRs of the U-quorum’s set and can be extracted from one of them by using the Q-quorum even though one or more location servers fail. Thus, without adding or changing the hardware of the systems in the two-tier networks, our scheme provides fault tolerance for the system. Meanwhile, with region-based approach, our scheme stores/retrieves the MH location information in the location servers of a quorum set of the local region as much as possible to avoid long delays caused by the possible long-distance of VLR and HLR. Hence, our scheme is not only fault-tolerant but also connection establishment effective.. References 1. EIA/TIA, “Cellular radio telecommunications intersystem operation,” PN-2991, Nov. 1995.. 86.
(8)
數據
相關文件
• The ArrayList class is an example of a collection class. • Starting with version 5.0, Java has added a new kind of for loop called a for each
了⼀一個方案,用以尋找滿足 Calabi 方程的空 間,這些空間現在通稱為 Calabi-Yau 空間。.
Understanding and inferring information, ideas, feelings and opinions in a range of texts with some degree of complexity, using and integrating a small range of reading
Promote project learning, mathematical modeling, and problem-based learning to strengthen the ability to integrate and apply knowledge and skills, and make. calculated
Students are asked to collect information (including materials from books, pamphlet from Environmental Protection Department...etc.) of the possible effects of pollution on our
Miroslav Fiedler, Praha, Algebraic connectivity of graphs, Czechoslovak Mathematical Journal 23 (98) 1973,
[This function is named after the electrical engineer Oliver Heaviside (1850–1925) and can be used to describe an electric current that is switched on at time t = 0.] Its graph
• We shall prove exponential lower bounds for NP-complete problems using monotone circuits. – Monotone circuits are circuits without