In this paper, we consider the problem verifying hybrid systems modelled by linear hybrid automata. We extend the traditional regular expressions with time constraints and use them as a language to describe the behavi...
详细信息
The problem of uniqueness of reconstruction in open logic is dealt with by introducing the concept of total ordered partitions, an ordering structure for modeling belief degrees of knowledge, and redefining the recons...
详细信息
The problem of uniqueness of reconstruction in open logic is dealt with by introducing the concept of total ordered partitions, an ordering structure for modeling belief degrees of knowledge, and redefining the reconstruction operation. Based on the resulting definition, a nontrivial condition for the convergency of cognitive processes is given. It is shown that if new knowledge is not always accepted with an extremely skeptical attitude and the changes of belief degrees follow the criterion of minimal changes, the cognitive process will converge. The results provide an approach to unifying two kinds of theories for knowledge base maintenance: belief revision and open logic.
Fuzzy entropy is the measure of fuzziness in a fuzzy *** paper proposes a kind of generalized fuzzy entropy which,may describe various kinds of fuzzy entropy,and discusses its guidance functions in the design of fuzzy...
详细信息
Fuzzy entropy is the measure of fuzziness in a fuzzy *** paper proposes a kind of generalized fuzzy entropy which,may describe various kinds of fuzzy entropy,and discusses its guidance functions in the design of fuzzy neural network classifiers.
Fuzzy entropy is the measure of fuzziness in a fuzzy set. This paper proposes a kind of generalized fuzzy entropy which may describe various kinds of fuzzy entropy, and discusses its guidance functions in the design o...
详细信息
Fuzzy entropy is the measure of fuzziness in a fuzzy set. This paper proposes a kind of generalized fuzzy entropy which may describe various kinds of fuzzy entropy, and discusses its guidance functions in the design of fuzzy neural network classifiers.
This paper presents a new kind of knowledge processing model-generalized computing *** primitive element of generalized computing model is generalized computing *** generalized computing units consist of a generalized...
详细信息
This paper presents a new kind of knowledge processing model-generalized computing *** primitive element of generalized computing model is generalized computing *** generalized computing units consist of a generalized computing network, and several generalized computing networks consist of a generalized computing system to solve some practical problems.
The expansion postponement problem in Pure Type Systems is an open problem raised by R. Pollack in 1992. In this paper, the author presents a set of necessary and sufficient conditions for this problem and a set of su...
详细信息
The expansion postponement problem in Pure Type Systems is an open problem raised by R. Pollack in 1992. In this paper, the author presents a set of necessary and sufficient conditions for this problem and a set of sufficient conditions for it. The author also gives some properties for pure type systems without the expansion rule.
This paper first proposes HOOD+, an extension of HOOD, which has more 00 features and supports a seamless development from the requirements analysis to the systems design. Then, a CASE tool supporting HOOD+ is also de...
This paper first proposes HOOD/sup +/, an extension of HOOD, which has more object-oriented features and supports a seamless development from the requirements analysis to the systems design. Then, HPSS (HOOD/sup +/ Pr...
详细信息
This paper first proposes HOOD/sup +/, an extension of HOOD, which has more object-oriented features and supports a seamless development from the requirements analysis to the systems design. Then, HPSS (HOOD/sup +/ Project Support System), a CASE tool supporting HOOD/sup +/, is also detailed.
NDRDL is a software requirements definition language (SRDL), designed as the source language of the software requirements analysis support system NDRASS. It considers both functional and nonfunctional requirements. To...
详细信息
NDRDL is a software requirements definition language (SRDL), designed as the source language of the software requirements analysis support system NDRASS. It considers both functional and nonfunctional requirements. To avoid the impreciseness and inconsistency of its informal semantics, this paper presents formal semantics of some functional constructs of NDRDL. Different ways and means are adopted according to the inherent characteristics of different constructs.
The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set ...
详细信息
The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set is proved.
暂无评论