Let Gn(C) be the sandwich semigroup of generalized circulant Boolean matrices with the sandwich matrix C and Gc(Jr~) the set of all primitive matrices in Gn(C). In this paper, some necessary and sufficient condi...Let Gn(C) be the sandwich semigroup of generalized circulant Boolean matrices with the sandwich matrix C and Gc(Jr~) the set of all primitive matrices in Gn(C). In this paper, some necessary and sufficient conditions for A in the semigroup Gn(C) to be primitive are given. We also show that Gc(Jn) is a subsemigroup of Gn(C).展开更多
Boolean control network consists of a set of Boolean variables whose state is determined by other variables in the network. Boolean network is used for modeling complex system. In this paper, we have presented a model...Boolean control network consists of a set of Boolean variables whose state is determined by other variables in the network. Boolean network is used for modeling complex system. In this paper, we have presented a model of a context-aware system used in smart home based on Boolean control networks. This modeling describes the relationship between the context elements (person, time, location, and activity) and services (Morning Call, Sleeping, Guarding, Entertainment, and normal), which is effective to logical inference. We apply semi tensor matrix product to describe the dynamic of the system. This matrix form of expression is a convenient and reasonable way to design logic control system.展开更多
基金Supported by the National Natural Science Foundation of China(11071272,11101087)the Postdoctoral Science Foundation of China(2013M531785)+1 种基金the Natural Science Foundation of Fujian Province(2013J05006)the Foundation of Fuzhou University(2012-XQ-30)
文摘Let Gn(C) be the sandwich semigroup of generalized circulant Boolean matrices with the sandwich matrix C and Gc(Jr~) the set of all primitive matrices in Gn(C). In this paper, some necessary and sufficient conditions for A in the semigroup Gn(C) to be primitive are given. We also show that Gc(Jn) is a subsemigroup of Gn(C).
文摘Boolean control network consists of a set of Boolean variables whose state is determined by other variables in the network. Boolean network is used for modeling complex system. In this paper, we have presented a model of a context-aware system used in smart home based on Boolean control networks. This modeling describes the relationship between the context elements (person, time, location, and activity) and services (Morning Call, Sleeping, Guarding, Entertainment, and normal), which is effective to logical inference. We apply semi tensor matrix product to describe the dynamic of the system. This matrix form of expression is a convenient and reasonable way to design logic control system.