In the coexisted world of 3G,4G,5G and many other specialized wireless communication systems,billions of connections could be existing for various information transmission types.Unluckily,data show that the increase o...In the coexisted world of 3G,4G,5G and many other specialized wireless communication systems,billions of connections could be existing for various information transmission types.Unluckily,data show that the increase of network capacity is heavily more than the increase of the network energy efficiency in recent years,which could lead to more energy consumption per transmitted bit in the future network.As basic units in mobile communication systems,microwave/RF components and modules play key roles展开更多
Interface automata are one of the prominent formalisms for specifying interface behaviors of componentbased systems. However, only one-to-one communication is allowed in the composition of interface automata. This pap...Interface automata are one of the prominent formalisms for specifying interface behaviors of componentbased systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.展开更多
文摘In the coexisted world of 3G,4G,5G and many other specialized wireless communication systems,billions of connections could be existing for various information transmission types.Unluckily,data show that the increase of network capacity is heavily more than the increase of the network energy efficiency in recent years,which could lead to more energy consumption per transmitted bit in the future network.As basic units in mobile communication systems,microwave/RF components and modules play key roles
基金This work was supported by the Chinese National 973 Plan （2010CB328003）, the National Natural Science Foundation of China （Grant Nos. 61272001, 60903030, 91218302）, the Chinese National Key Technology R＆D Program （SQ2012BAJY4052）, the Importation and Development of High-Caliber Talents Project of Beijing Municipal Institutions （YETP0167）, and the Tsinghua University Initiative Scientific Research Program.
文摘Interface automata are one of the prominent formalisms for specifying interface behaviors of componentbased systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.
