This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Kripke structures were used for partial state spaces model checking, which is a new technique to solve problems of s...This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Kripke structures were used for partial state spaces model checking, which is a new technique to solve problems of state explosion. This paper extended the partial Kripke structure with fairness conditions by defining a partial fair Kripke structure, and a 3 valued fair CTL(Computation Tree Logic) semantics correspondingly. It defines a fair preorder between partial Kripke structures that preserves fairness and is akin to fair bisimulation. In addition, a pertinent theorem is also given, which indicates the relationship between the partial state spaces and the more complete one by illustrating the characterizations of states in the partial fair structure in terms of CTL formulae.展开更多
Traditional information retrieval systems respond to user queries with ranked lists of relevant documents. Since, XML （Extensible Markup Language） documents separate content and structure; XML-IR （information retri...Traditional information retrieval systems respond to user queries with ranked lists of relevant documents. Since, XML （Extensible Markup Language） documents separate content and structure; XML-IR （information retrieval） systems are able to retrieve only the relevant portions of documents. Therefore, users who utilize an XML-IR system could potentially receive highly relevant and precise material. We have developed the XML information retrieval system by using MySQL and Sphinx, which we call MEXIR. In our system, XML documents are stored into one table that has fixed relational schema. The schema is independent of the logical structure of XML documents. Each node in XML documents is represented by labels that express the positions in XML tree, namely ADXPI scheme. Our system has performance experiments on INEX collections and shown an average up to four seconds better than GPX. In addition, it has been reduced the size of the data down by 82.29 % compare to GPX system.展开更多
In the future, the power quality will decrease by the introduction of a lot of renewable energy sources. The topic of this research is a new method of operation of PCS （power conditioning systems） in the future dist...In the future, the power quality will decrease by the introduction of a lot of renewable energy sources. The topic of this research is a new method of operation of PCS （power conditioning systems） in the future distribution system. The purpose of this research is development of PCS with a function of improvement of the distribution system. Therefore, the authors propose a method of the power quality improvement of the distribution system by PCS. In addition, the authors construct the control logic to use in PCS The control logic suggests adding harmonic restraint function to conventional control. These were verified by simulation and an experiment. As the results, we confirmed that basic operation of PCS being carried out, harmonics were restrained, and power quality had improved.展开更多
In social network analysis, logistic regression models have been widely used to establish the relationship between the response variable and covariates. However, such models often require the network relationships to ...In social network analysis, logistic regression models have been widely used to establish the relationship between the response variable and covariates. However, such models often require the network relationships to be mutually independent, after controlling for a set of covariates. To assess the validity of this assumption,we propose test statistics, under the logistic regression setting, for three important social network drivers. They are, respectively, reciprocity, centrality, and transitivity. The asymptotic distributions of those test statistics are obtained. Extensive simulation studies are also presented to demonstrate their finite sample performance and usefulness.展开更多
基金National Natural Science Foundation of China( No.60 173 10 3 )
文摘This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Kripke structures were used for partial state spaces model checking, which is a new technique to solve problems of state explosion. This paper extended the partial Kripke structure with fairness conditions by defining a partial fair Kripke structure, and a 3 valued fair CTL(Computation Tree Logic) semantics correspondingly. It defines a fair preorder between partial Kripke structures that preserves fairness and is akin to fair bisimulation. In addition, a pertinent theorem is also given, which indicates the relationship between the partial state spaces and the more complete one by illustrating the characterizations of states in the partial fair structure in terms of CTL formulae.
文摘Traditional information retrieval systems respond to user queries with ranked lists of relevant documents. Since, XML （Extensible Markup Language） documents separate content and structure; XML-IR （information retrieval） systems are able to retrieve only the relevant portions of documents. Therefore, users who utilize an XML-IR system could potentially receive highly relevant and precise material. We have developed the XML information retrieval system by using MySQL and Sphinx, which we call MEXIR. In our system, XML documents are stored into one table that has fixed relational schema. The schema is independent of the logical structure of XML documents. Each node in XML documents is represented by labels that express the positions in XML tree, namely ADXPI scheme. Our system has performance experiments on INEX collections and shown an average up to four seconds better than GPX. In addition, it has been reduced the size of the data down by 82.29 % compare to GPX system.
文摘In the future, the power quality will decrease by the introduction of a lot of renewable energy sources. The topic of this research is a new method of operation of PCS （power conditioning systems） in the future distribution system. The purpose of this research is development of PCS with a function of improvement of the distribution system. Therefore, the authors propose a method of the power quality improvement of the distribution system by PCS. In addition, the authors construct the control logic to use in PCS The control logic suggests adding harmonic restraint function to conventional control. These were verified by simulation and an experiment. As the results, we confirmed that basic operation of PCS being carried out, harmonics were restrained, and power quality had improved.
文摘In social network analysis, logistic regression models have been widely used to establish the relationship between the response variable and covariates. However, such models often require the network relationships to be mutually independent, after controlling for a set of covariates. To assess the validity of this assumption,we propose test statistics, under the logistic regression setting, for three important social network drivers. They are, respectively, reciprocity, centrality, and transitivity. The asymptotic distributions of those test statistics are obtained. Extensive simulation studies are also presented to demonstrate their finite sample performance and usefulness.
