Map data display is the basic information representation mode under embedded real-time navigation. After a navigation display data set （NDIS_SET） with several dimensions and corresponding mathematical description fo...Map data display is the basic information representation mode under embedded real-time navigation. After a navigation display data set （NDIS_SET） with several dimensions and corresponding mathematical description formula are designed, a series of rules and algorithms are advanced to optimize embedded navigation data and promote data index and input efficiency. A new parallel display algorithm with navigation data named N PDIS is then presented to adapt to limited embedded resources of computation and memory after a normal navigation data display algorithm named NDIS and related problems are analyzed, N_PDIS can synchronously create two preparative bitmapa by two parallel threads and switch one of them to screen automatically. Compared with NDIS, the results show that N_PDIS is more effective in improving display efficiency.展开更多
Some relationships between the representation of Hom-Jacobi-Jordan algebra and that of Jacobi-Jordan algebra are studied.Moreover,by using the notion ofαk-anti-derivation,a property theorem of multiplicative Hom-Jaco...Some relationships between the representation of Hom-Jacobi-Jordan algebra and that of Jacobi-Jordan algebra are studied.Moreover,by using the notion ofαk-anti-derivation,a property theorem of multiplicative Hom-Jacobi-Jordan algebras is also given.展开更多
A representation theorem for (x=±i0)λ lnk(x±i0) is proved and then the derivatives (lnk x±)', (xλ± lnk x±)', (x±(-n) x±1)', (d/dx){(x ± i0)λ lnk(x±i0)} and (...A representation theorem for (x=±i0)λ lnk(x±i0) is proved and then the derivatives (lnk x±)', (xλ± lnk x±)', (x±(-n) x±1)', (d/dx){(x ± i0)λ lnk(x±i0)} and (d/dx){(x±i0)-n lnk(x±i0)} are given.展开更多
We use induced orbit covers to define induced orbit data.By studying the space of regular functions on orbit cover,we know that the induced representation has close connection with the induced orbit datum under the me...We use induced orbit covers to define induced orbit data.By studying the space of regular functions on orbit cover,we know that the induced representation has close connection with the induced orbit datum under the meaning of Vogan’s conjecture.Therefore,when verifying Vogan’s conjecture,many cases can be reduced to the case of rigid orbit data.展开更多
文摘Map data display is the basic information representation mode under embedded real-time navigation. After a navigation display data set （NDIS_SET） with several dimensions and corresponding mathematical description formula are designed, a series of rules and algorithms are advanced to optimize embedded navigation data and promote data index and input efficiency. A new parallel display algorithm with navigation data named N PDIS is then presented to adapt to limited embedded resources of computation and memory after a normal navigation data display algorithm named NDIS and related problems are analyzed, N_PDIS can synchronously create two preparative bitmapa by two parallel threads and switch one of them to screen automatically. Compared with NDIS, the results show that N_PDIS is more effective in improving display efficiency.
基金National Natural Science Foundation of China(12071405,11571145)。
文摘Some relationships between the representation of Hom-Jacobi-Jordan algebra and that of Jacobi-Jordan algebra are studied.Moreover,by using the notion ofαk-anti-derivation,a property theorem of multiplicative Hom-Jacobi-Jordan algebras is also given.
文摘A representation theorem for (x=±i0)λ lnk(x±i0) is proved and then the derivatives (lnk x±)', (xλ± lnk x±)', (x±(-n) x±1)', (d/dx){(x ± i0)λ lnk(x±i0)} and (d/dx){(x±i0)-n lnk(x±i0)} are given.
基金supported by National Natural Science Foundation of China(Grant No.10971103)
文摘We use induced orbit covers to define induced orbit data.By studying the space of regular functions on orbit cover,we know that the induced representation has close connection with the induced orbit datum under the meaning of Vogan’s conjecture.Therefore,when verifying Vogan’s conjecture,many cases can be reduced to the case of rigid orbit data.
