In order to solve the problem that the existing data scheduling algorithm cannot make full use of neighbors' bandwidth resources when allocating data request among several senders in the multisender based P2P stre...In order to solve the problem that the existing data scheduling algorithm cannot make full use of neighbors' bandwidth resources when allocating data request among several senders in the multisender based P2P streaming system,a peer priority based scheduling algorithm is proposed.The algorithm calculates neighbors' priority based on peers' historical service evaluation as well as how many wanted data that the neighbor has.The data request allocated to each neighbor is adjusted dynamically according to the priority when scheduling.Peers with high priority are preferred to allocate more data request.Experiment shows the algorithm can make full use of neighbors' bandwidth resources to transmit data to reduce server pressure effectively and improve system scalability.展开更多
Classification systems such as Slope Mass Rating(SMR) are currently being used to undertake slope stability analysis. In SMR classification system, data is allocated to certain classes based on linguistic and experien...Classification systems such as Slope Mass Rating(SMR) are currently being used to undertake slope stability analysis. In SMR classification system, data is allocated to certain classes based on linguistic and experience-based criteria. In order to eliminate linguistic criteria resulted from experience-based judgments and account for uncertainties in determining class boundaries developed by SMR system,the system classification results were corrected using two clustering algorithms, namely K-means and fuzzy c-means(FCM), for the ratings obtained via continuous and discrete functions. By applying clustering algorithms in SMR classification system, no in-advance experience-based judgment was made on the number of extracted classes in this system, and it was only after all steps of the clustering algorithms were accomplished that new classification scheme was proposed for SMR system under different failure modes based on the ratings obtained via continuous and discrete functions. The results of this study showed that, engineers can achieve more reliable and objective evaluations over slope stability by using SMR system based on the ratings calculated via continuous and discrete functions.展开更多
This paper is a complement and extension of the theory of generalized tautology which was first proposed by Wang Guojun in revised Kleene system, Some interesting results are obtained: (i) accessibleα +-tautology and...This paper is a complement and extension of the theory of generalized tautology which was first proposed by Wang Guojun in revised Kleene system, Some interesting results are obtained: (i) accessibleα +-tautology and generalized contradiction which are dual theory to generalized tautology have been introduced; (ii) congruence partition about—has been given in logic system $\bar W$ ,W k ; (iii) in logic systemW k , tautologies can be obtained by employing the upgrade algorithm at most $\left[ {\frac{{k + 1}}{2}} \right]$ times to an arbitrary formula; (iv) in logic system $\bar W(W)$ , tautologies cannot be obtained by employing upgrade algorithm to non-tautologies within finitely many times; (v) the deduction rule $\left( {\left[ {\left( {\frac{1}{2}} \right)^ + } \right] - MP} \right)$ holds in logic system $\bar W(W)$ .展开更多
As technology scales down, the reliability issues are becoming more crucial, especially for networks-on-chip (NoCs) that provide the communication requirements of multi-processor systems-on-chip. Reliability evaluatio...As technology scales down, the reliability issues are becoming more crucial, especially for networks-on-chip (NoCs) that provide the communication requirements of multi-processor systems-on-chip. Reliability evaluation based on analytical models is a precise method for dependability analysis before and after designing the fault-tolerant systems. In this paper, we accurately formulate the inherent reliability and vulnerability of some popular NoC architectures against permanent faults, also depending on the employed routing algorithm and traffic model. Based on this analysis, effects of failures in the links, switches and network interfaces on the packet delivery of NoCs are determined. Besides, some extensions to evaluate a fault-tolerant method and some routing algorithms are described. The analyses are validated through appropriate simulations. The results thus obtained are exactly the same as or very close to the analytical ones.展开更多
The multi-stage supply chain optimization problem is an important subject for research. Syaxif et al. have studied the problem formulated by a 0-1 mixed integer linear programming model, and presented a st-GA （spanni...The multi-stage supply chain optimization problem is an important subject for research. Syaxif et al. have studied the problem formulated by a 0-1 mixed integer linear programming model, and presented a st-GA （spanning tree-based genetic algorithm） by using Priifer number representation as the solution method of the model. On the basis of the work done by Syarif et al., a rst-GA （revised st-GA ） to solve the multi-stage supply chain optimization problem, is presented in this paper by means of introducing new sym- metric encoding ＆ decoding procedures of Priifer number, and adopting new chromosome＇s decoding strategy, etc. To facilitate building related decision-making support system, a C language implementation method of the rst-GA is also presented in this paper. Numerical experiments have validated that the rst-GA has better performance than the st-GA.展开更多
基金Supported by the National High Technology Research and Development Program of China(No.2009AA01A339,2008AA01A317)the National Natural Science Foundation of China for Distinguished Young Scholars(No.60903218F0208)the Science and Technology Support Plan of China(No.2008BAH28B04)
文摘In order to solve the problem that the existing data scheduling algorithm cannot make full use of neighbors' bandwidth resources when allocating data request among several senders in the multisender based P2P streaming system,a peer priority based scheduling algorithm is proposed.The algorithm calculates neighbors' priority based on peers' historical service evaluation as well as how many wanted data that the neighbor has.The data request allocated to each neighbor is adjusted dynamically according to the priority when scheduling.Peers with high priority are preferred to allocate more data request.Experiment shows the algorithm can make full use of neighbors' bandwidth resources to transmit data to reduce server pressure effectively and improve system scalability.
文摘Classification systems such as Slope Mass Rating(SMR) are currently being used to undertake slope stability analysis. In SMR classification system, data is allocated to certain classes based on linguistic and experience-based criteria. In order to eliminate linguistic criteria resulted from experience-based judgments and account for uncertainties in determining class boundaries developed by SMR system,the system classification results were corrected using two clustering algorithms, namely K-means and fuzzy c-means(FCM), for the ratings obtained via continuous and discrete functions. By applying clustering algorithms in SMR classification system, no in-advance experience-based judgment was made on the number of extracted classes in this system, and it was only after all steps of the clustering algorithms were accomplished that new classification scheme was proposed for SMR system under different failure modes based on the ratings obtained via continuous and discrete functions. The results of this study showed that, engineers can achieve more reliable and objective evaluations over slope stability by using SMR system based on the ratings calculated via continuous and discrete functions.
文摘This paper is a complement and extension of the theory of generalized tautology which was first proposed by Wang Guojun in revised Kleene system, Some interesting results are obtained: (i) accessibleα +-tautology and generalized contradiction which are dual theory to generalized tautology have been introduced; (ii) congruence partition about—has been given in logic system $\bar W$ ,W k ; (iii) in logic systemW k , tautologies can be obtained by employing the upgrade algorithm at most $\left[ {\frac{{k + 1}}{2}} \right]$ times to an arbitrary formula; (iv) in logic system $\bar W(W)$ , tautologies cannot be obtained by employing upgrade algorithm to non-tautologies within finitely many times; (v) the deduction rule $\left( {\left[ {\left( {\frac{1}{2}} \right)^ + } \right] - MP} \right)$ holds in logic system $\bar W(W)$ .
文摘As technology scales down, the reliability issues are becoming more crucial, especially for networks-on-chip (NoCs) that provide the communication requirements of multi-processor systems-on-chip. Reliability evaluation based on analytical models is a precise method for dependability analysis before and after designing the fault-tolerant systems. In this paper, we accurately formulate the inherent reliability and vulnerability of some popular NoC architectures against permanent faults, also depending on the employed routing algorithm and traffic model. Based on this analysis, effects of failures in the links, switches and network interfaces on the packet delivery of NoCs are determined. Besides, some extensions to evaluate a fault-tolerant method and some routing algorithms are described. The analyses are validated through appropriate simulations. The results thus obtained are exactly the same as or very close to the analytical ones.
基金This work is supported by National Natural Science Foundation of China（70361002）, the Jiangxi Provincial Advanced Education Reform Project （GanJiaoGaoZi[2004] 100Hao）, the Project of Jiangxi Provincial Department of Education （GanJiaoJiZi[2007]10Hao）, and the Science Foundation of Nanchang University （04Z02914）.
文摘The multi-stage supply chain optimization problem is an important subject for research. Syaxif et al. have studied the problem formulated by a 0-1 mixed integer linear programming model, and presented a st-GA （spanning tree-based genetic algorithm） by using Priifer number representation as the solution method of the model. On the basis of the work done by Syarif et al., a rst-GA （revised st-GA ） to solve the multi-stage supply chain optimization problem, is presented in this paper by means of introducing new sym- metric encoding ＆ decoding procedures of Priifer number, and adopting new chromosome＇s decoding strategy, etc. To facilitate building related decision-making support system, a C language implementation method of the rst-GA is also presented in this paper. Numerical experiments have validated that the rst-GA has better performance than the st-GA.
