The authors discuss the concept of meta information which is the description of information system or its subsystems, and proposes algorithms for meta information generation. Meta information can be generated in paral...The authors discuss the concept of meta information which is the description of information system or its subsystems, and proposes algorithms for meta information generation. Meta information can be generated in parallel mode and network computation can be used to accelerate meta information generation. Most existing rough set methods assume information system to be centralized and cannot be applied directly in distributed information system. Data integration, which is costly, is necessary for such existing methods. However, meta information integration will eliminate the need of data integration in many cases, since many rough set operations can be done straightforward based on meta information, and many existing methods can be modified based on meta information.展开更多
On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based ...On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.展开更多
This paper presents an efficient way to preserve the volume of implicit surfaces generated by skeletons. Recursive subdivision is used to efficiently calculate the volume. The criterion for subdivision is obtained by ...This paper presents an efficient way to preserve the volume of implicit surfaces generated by skeletons. Recursive subdivision is used to efficiently calculate the volume. The criterion for subdivision is obtained by using the property of density functions and treating different types of skeletons respectively to get accurate minimum and maximum distances from a cube to a skeleton. Compared with the criterion generated by other ways such as using traditional Interval Analysis, Affine Arithmetic, or Lipschitz condition, our approach is much better both in speed and accuracy.展开更多
An epidemic model gives an efficient approach for transaction processing ofreplication systems in weakly connected environments. The approach has the advantages ofhigh adaptation, support for low-bandwidth network, an...An epidemic model gives an efficient approach for transaction processing ofreplication systems in weakly connected environments. The approach has the advantages ofhigh adaptation, support for low-bandwidth network, and committing updates in an entirelydecentralized control fashion. But the previous implementing protocols, like ROWA protocol,quorum protocol, and voting protocol, have a common shortcoming that they are pessimisticin conflict reconciliation, therefore bring high transaction abort rate and reduce system perfor-mance dramatically when the workload scales up. In this paper, an optimistic voting protocol,which introduces condition vote and order vote in the voting process of transactions, is pro-posed. The condition vote and order vote postpone the final decision on conflicting transactionsand avoid transaction aborts that are incurred by read-write and write-write conflicts. Exper-imental results indicate that the optimistic voting protocol decreases abort rate and improvesaverage response time of transactions markedly when compared to other protocols.展开更多
摘要The authors discuss the concept of meta information which is the description of information system or its subsystems, and proposes algorithms for meta information generation. Meta information can be generated in parallel mode and network computation can be used to accelerate meta information generation. Most existing rough set methods assume information system to be centralized and cannot be applied directly in distributed information system. Data integration, which is costly, is necessary for such existing methods. However, meta information integration will eliminate the need of data integration in many cases, since many rough set operations can be done straightforward based on meta information, and many existing methods can be modified based on meta information.
摘要On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.
摘要This paper presents an efficient way to preserve the volume of implicit surfaces generated by skeletons. Recursive subdivision is used to efficiently calculate the volume. The criterion for subdivision is obtained by using the property of density functions and treating different types of skeletons respectively to get accurate minimum and maximum distances from a cube to a skeleton. Compared with the criterion generated by other ways such as using traditional Interval Analysis, Affine Arithmetic, or Lipschitz condition, our approach is much better both in speed and accuracy.
摘要An epidemic model gives an efficient approach for transaction processing ofreplication systems in weakly connected environments. The approach has the advantages ofhigh adaptation, support for low-bandwidth network, and committing updates in an entirelydecentralized control fashion. But the previous implementing protocols, like ROWA protocol,quorum protocol, and voting protocol, have a common shortcoming that they are pessimisticin conflict reconciliation, therefore bring high transaction abort rate and reduce system perfor-mance dramatically when the workload scales up. In this paper, an optimistic voting protocol,which introduces condition vote and order vote in the voting process of transactions, is pro-posed. The condition vote and order vote postpone the final decision on conflicting transactionsand avoid transaction aborts that are incurred by read-write and write-write conflicts. Exper-imental results indicate that the optimistic voting protocol decreases abort rate and improvesaverage response time of transactions markedly when compared to other protocols.