A software network model with multiple links is constructed on the basis of a dynamical model of a general complex network with mukiple links. The principle of network division of multiple links is introduced. Followi...A software network model with multiple links is constructed on the basis of a dynamical model of a general complex network with mukiple links. The principle of network division of multiple links is introduced. Following these principles, the software network model is decomposed into three types of subnets and different relationships between classes are revealed. Then, the dynamic analysis of software networks is presented. A sufficient condition for the stability of general complex networks is obtained followed by that of software networks. Finally, the dynamics of an open-source software system is analyzed, and their simulations are provided to demonstrate the effectiveness of the presented model.展开更多
Embedded systems have numerous applications in everyday life.Petri-net-based representation for embedded systems(PRES+)is an important methodology for the modeling and analysis of these embedded systems.For a large co...Embedded systems have numerous applications in everyday life.Petri-net-based representation for embedded systems(PRES+)is an important methodology for the modeling and analysis of these embedded systems.For a large complex embedded system,the state space explosion is a difficult problem for PRES+to model and analyze.The Petri net synthesis method allows one to bypass the state space explosion issue.To solve this problem,as well as model and analyze large complex systems,two synthesis methods for PRES+are presented in this paper.First,the property preservation of the synthesis shared transition set method is investigated.The property preservation of the synthesis shared transition subnet set method is then studied.An abstraction-synthesis-refinement representation method is proposed.Through this representation method,the synthesis shared transition set approach is used to investigate the property preservation of the synthesis shared transition subnet set operation.Under certain conditions,several important properties of these synthetic nets are preserved,namely reachability,timing,functionality,and liveness.An embedded control system model is used as an example to illustrate the effectiveness of these synthesis methods for PRES+.展开更多
In order to discover more detailed topol- ogy inforrmtion of a certain network, a fightweight approach is proposed, in which only one probe source is required. In this approach, a heuristic method in using the" trace...In order to discover more detailed topol- ogy inforrmtion of a certain network, a fightweight approach is proposed, in which only one probe source is required. In this approach, a heuristic method in using the" traceroute" tool is introduced to collect more topology pieces. Based on those traces, subnets (or point-to-point links) in the backbone can be identified. With those identified inforrmtion, a set of roles is developed to resolve router IP aliases. Experiments with both this ap- proach and existing topology discovery methods are carried out on two real networks, i.e., TUNET, the Tsinghua University campus network, and CERNET (AS4538), the third largest ISP network of China. According to the comparison, the approach in this paper can get nmch higher quality inforrm-tion about 1P addresses, links, and touters. In con-clusion, a more complete and accurate topology can be gained with this approach.展开更多
Hydrothermal assembly of Co2+ ion, a bis-imidazole ligand BIMB(BIMB = 1,4-bis(imidazol-1-yl)benzene) and a rigid bidentate linker 2,6-naphthalenedicarboxylic acid(H2ndc), yields a novel three-dimensional(3D) ...Hydrothermal assembly of Co2+ ion, a bis-imidazole ligand BIMB(BIMB = 1,4-bis(imidazol-1-yl)benzene) and a rigid bidentate linker 2,6-naphthalenedicarboxylic acid(H2ndc), yields a novel three-dimensional(3D) self-penetrating coordination polymer {[Co(BIMB)(ndc)]·H2O}n(1). Complex 1 exhibits {6~5.8} topology and contains a 2D → 3D parallel polycatenated substructure. In addition, solid-state UV-vis absorption spectra of 1 were also investigated.展开更多
A lot of technologies can be used in home control subnet, but the hardware and software resources available for the home control subnet are limited. There are security problems easily seen. The paper gives the system-...A lot of technologies can be used in home control subnet, but the hardware and software resources available for the home control subnet are limited. There are security problems easily seen. The paper gives the system-atic analysis of the structure and function of home control subnet based on the general model of home net-work. The paper has also analyzed two types of major equipment, namely sub-gateways and terminal equip-ment. The major networking technology used in home control subnet is summarized and concluded. In com-bination with relationship among home control subnet, home network, as well as the outside main network, the paper has systematically studied various safety problems related to home control gateways and the possi-ble solutions to those problems have been made.展开更多
基金supported by the Major Subject of National Science and Technology of China under Grant No.2012ZX03002002
文摘A software network model with multiple links is constructed on the basis of a dynamical model of a general complex network with mukiple links. The principle of network division of multiple links is introduced. Following these principles, the software network model is decomposed into three types of subnets and different relationships between classes are revealed. Then, the dynamic analysis of software networks is presented. A sufficient condition for the stability of general complex networks is obtained followed by that of software networks. Finally, the dynamics of an open-source software system is analyzed, and their simulations are provided to demonstrate the effectiveness of the presented model.
基金financially supported by the National Natural Science Foundation of China(61503220)the Natural Science Foundation of Shandong Province(ZR2016FM19)+2 种基金the Taishan Scholar Project of Shandong Province(TSQN201812092)the Key Research and Development Program of Shandong Province(2019GGX101072,2019JZZY010115,2018GGX106006)the Youth Innovation Technology Project of Higher School in Shandong Province(2019KJN005)。
文摘Embedded systems have numerous applications in everyday life.Petri-net-based representation for embedded systems(PRES+)is an important methodology for the modeling and analysis of these embedded systems.For a large complex embedded system,the state space explosion is a difficult problem for PRES+to model and analyze.The Petri net synthesis method allows one to bypass the state space explosion issue.To solve this problem,as well as model and analyze large complex systems,two synthesis methods for PRES+are presented in this paper.First,the property preservation of the synthesis shared transition set method is investigated.The property preservation of the synthesis shared transition subnet set method is then studied.An abstraction-synthesis-refinement representation method is proposed.Through this representation method,the synthesis shared transition set approach is used to investigate the property preservation of the synthesis shared transition subnet set operation.Under certain conditions,several important properties of these synthetic nets are preserved,namely reachability,timing,functionality,and liveness.An embedded control system model is used as an example to illustrate the effectiveness of these synthesis methods for PRES+.
基金This paper was supported by the National Natural Science Foundation of China under Grant No. 60973144 the National Basic Research Program of China under Grant No. 2009CB320505.
文摘In order to discover more detailed topol- ogy inforrmtion of a certain network, a fightweight approach is proposed, in which only one probe source is required. In this approach, a heuristic method in using the" traceroute" tool is introduced to collect more topology pieces. Based on those traces, subnets (or point-to-point links) in the backbone can be identified. With those identified inforrmtion, a set of roles is developed to resolve router IP aliases. Experiments with both this ap- proach and existing topology discovery methods are carried out on two real networks, i.e., TUNET, the Tsinghua University campus network, and CERNET (AS4538), the third largest ISP network of China. According to the comparison, the approach in this paper can get nmch higher quality inforrm-tion about 1P addresses, links, and touters. In con-clusion, a more complete and accurate topology can be gained with this approach.
基金Supported by the National Natural Science Foundation of China(Nos.21361023 and 21461023)
文摘Hydrothermal assembly of Co2+ ion, a bis-imidazole ligand BIMB(BIMB = 1,4-bis(imidazol-1-yl)benzene) and a rigid bidentate linker 2,6-naphthalenedicarboxylic acid(H2ndc), yields a novel three-dimensional(3D) self-penetrating coordination polymer {[Co(BIMB)(ndc)]·H2O}n(1). Complex 1 exhibits {6~5.8} topology and contains a 2D → 3D parallel polycatenated substructure. In addition, solid-state UV-vis absorption spectra of 1 were also investigated.
文摘A lot of technologies can be used in home control subnet, but the hardware and software resources available for the home control subnet are limited. There are security problems easily seen. The paper gives the system-atic analysis of the structure and function of home control subnet based on the general model of home net-work. The paper has also analyzed two types of major equipment, namely sub-gateways and terminal equip-ment. The major networking technology used in home control subnet is summarized and concluded. In com-bination with relationship among home control subnet, home network, as well as the outside main network, the paper has systematically studied various safety problems related to home control gateways and the possi-ble solutions to those problems have been made.