To characterize the algebraic structure of wireless network coding, a hypergragh is utilized to model wireless packet networks from network layer. The algebraic description of random convolutional network coding is de...To characterize the algebraic structure of wireless network coding, a hypergragh is utilized to model wireless packet networks from network layer. The algebraic description of random convolutional network coding is deduced, and the coding condition is also presented. Analyses and simulations show that random convolutional coding is capacity-achieving with probability approaching 1.展开更多
The authors give a discription of the stable categories of selfinjective algebras of finite representation type over an algebraically closed field,which admits indecomposable Calabi-Yau obdjects.For selfinjective alge...The authors give a discription of the stable categories of selfinjective algebras of finite representation type over an algebraically closed field,which admits indecomposable Calabi-Yau obdjects.For selfinjective algebras with such properties,the ones whose stable categories are not Calabi-Yau are determined.For the remaining ones,i.e.,those selfinjective algebras whose stable categories are actually Calabi-Yau,the difference between the Calabi-Yau dimensions of the indecomposable Calabi-Yau objects and the Calabi-Yau dimensions of the stable categories is described.展开更多
This is an attempt to use continuous algebras to describe the semantics of CSP-continuity being used to solve recursive definitions of processes as infinite objects.By so doing,we combine the algebraic specifications ...This is an attempt to use continuous algebras to describe the semantics of CSP-continuity being used to solve recursive definitions of processes as infinite objects.By so doing,we combine the algebraic specifications of abstract data types with CSP 50 make ups 2 new language,which is recommended as a promising candidate of specification language for designing and developing communicating systems.展开更多
基金Supported by National Natural Science Foundation of China (No.61271174)Young Teachers' Innovation Foundation of Xidian University(K5051303137)
文摘To characterize the algebraic structure of wireless network coding, a hypergragh is utilized to model wireless packet networks from network layer. The algebraic description of random convolutional network coding is deduced, and the coding condition is also presented. Analyses and simulations show that random convolutional coding is capacity-achieving with probability approaching 1.
基金supported by the National Natural Science Foundation of China (No. 10801099)the Zhejiang Provincial Natural Science Foundation of China (No. J20080154)the grant from Science Technology Department of Zhejiang Province (No. 2011R10051)
文摘The authors give a discription of the stable categories of selfinjective algebras of finite representation type over an algebraically closed field,which admits indecomposable Calabi-Yau obdjects.For selfinjective algebras with such properties,the ones whose stable categories are not Calabi-Yau are determined.For the remaining ones,i.e.,those selfinjective algebras whose stable categories are actually Calabi-Yau,the difference between the Calabi-Yau dimensions of the indecomposable Calabi-Yau objects and the Calabi-Yau dimensions of the stable categories is described.
文摘This is an attempt to use continuous algebras to describe the semantics of CSP-continuity being used to solve recursive definitions of processes as infinite objects.By so doing,we combine the algebraic specifications of abstract data types with CSP 50 make ups 2 new language,which is recommended as a promising candidate of specification language for designing and developing communicating systems.