This article presents an embedded Smart Phone Operating System (SPOS) independently designed by ZTE Corporation. The SPOS is based on single kernel architecture with its multi-task real-time kernel supporting hardware...This article presents an embedded Smart Phone Operating System (SPOS) independently designed by ZTE Corporation. The SPOS is based on single kernel architecture with its multi-task real-time kernel supporting hardware platforms and resources of mainstream mobile phones. It has remarkable advantages such as highly efficient and dynamic power management, priority - based preemptive scheduling, fast startup, a variety of drivers, and excellent system stability and operability. For the development of upper layer communication protocols and application software, the SPOS provides wireless communication interfaces and the application program framework.展开更多
This study focuses on vector-valued anisotropic Sobolev-Lions spaces associated with Banach spaces E0, E. Several conditions are found that ensure the continuity and compactness of embedding operators that are optimal...This study focuses on vector-valued anisotropic Sobolev-Lions spaces associated with Banach spaces E0, E. Several conditions are found that ensure the continuity and compactness of embedding operators that are optimal regular in these spaces in terms of interpolations of spaces E0 and E. In particular, the most regular class of interpolation spaces Eα between E0, E depending on α and the order of space are found and the boundedness of differential operators D^α from this space to Eα-valued Lp,γ spaces is proved. These results are applied to partial differential-operator equations with parameters to obtain conditions that guarantee the maximal Lp,γ regularity and R-positivity uniformly with respect to these parameters.展开更多
The author considers the embedding problem of weighted Sobolev spaces H<sup>n</sup><sub>p</sub> in weighted L<sub>s</sub> spaces L<sub>s,r</sub>,and some sufficient cond...The author considers the embedding problem of weighted Sobolev spaces H<sup>n</sup><sub>p</sub> in weighted L<sub>s</sub> spaces L<sub>s,r</sub>,and some sufficient conditions and necessary conditions are given, when weight functions satisfy certain conditions.The author uses the results obtained to the qualitative analysis of the spectrum of 2n-order weighted differential operator,and gives some sufficient conditions and necessary conditions to ensure that the spectrum is discrete.展开更多
In the design of dependable software for embed- ded and real-time operating systems, time analysis is a cru- cial but extremely difficult issue, the challenge of which is exacerbated due to the randomness and nondeter...In the design of dependable software for embed- ded and real-time operating systems, time analysis is a cru- cial but extremely difficult issue, the challenge of which is exacerbated due to the randomness and nondeterminism of interrupt handling behaviors. Thus research into a theory that integrates interrupt behaviors and time analysis seems to be important and challenging. In this paper, we present a pro- gramming language to describe programs with interrupts that is comprised of two essential parts： main program and inter- rupt handling programs. We also explore a timed operational semantics and a denotational semantics to specify the mean- ings of our language. Furthermore, a strategy of deriving de- notational semantics from the timed operational semantics is provided to demonstrate the soundness of our operational se- mantics by showing the consistency between the derived de- notational semantics and the original denotational semantics.展开更多
文摘This article presents an embedded Smart Phone Operating System (SPOS) independently designed by ZTE Corporation. The SPOS is based on single kernel architecture with its multi-task real-time kernel supporting hardware platforms and resources of mainstream mobile phones. It has remarkable advantages such as highly efficient and dynamic power management, priority - based preemptive scheduling, fast startup, a variety of drivers, and excellent system stability and operability. For the development of upper layer communication protocols and application software, the SPOS provides wireless communication interfaces and the application program framework.
基金This work is supported by the grant of Istanbul University (Project UDP-227/18022004)
文摘This study focuses on vector-valued anisotropic Sobolev-Lions spaces associated with Banach spaces E0, E. Several conditions are found that ensure the continuity and compactness of embedding operators that are optimal regular in these spaces in terms of interpolations of spaces E0 and E. In particular, the most regular class of interpolation spaces Eα between E0, E depending on α and the order of space are found and the boundedness of differential operators D^α from this space to Eα-valued Lp,γ spaces is proved. These results are applied to partial differential-operator equations with parameters to obtain conditions that guarantee the maximal Lp,γ regularity and R-positivity uniformly with respect to these parameters.
基金Supported by the National Natural Science Fundation of Chinathe Natural Science Foundation of Inner Mongolia.
文摘The author considers the embedding problem of weighted Sobolev spaces H<sup>n</sup><sub>p</sub> in weighted L<sub>s</sub> spaces L<sub>s,r</sub>,and some sufficient conditions and necessary conditions are given, when weight functions satisfy certain conditions.The author uses the results obtained to the qualitative analysis of the spectrum of 2n-order weighted differential operator,and gives some sufficient conditions and necessary conditions to ensure that the spectrum is discrete.
文摘In the design of dependable software for embed- ded and real-time operating systems, time analysis is a cru- cial but extremely difficult issue, the challenge of which is exacerbated due to the randomness and nondeterminism of interrupt handling behaviors. Thus research into a theory that integrates interrupt behaviors and time analysis seems to be important and challenging. In this paper, we present a pro- gramming language to describe programs with interrupts that is comprised of two essential parts： main program and inter- rupt handling programs. We also explore a timed operational semantics and a denotational semantics to specify the mean- ings of our language. Furthermore, a strategy of deriving de- notational semantics from the timed operational semantics is provided to demonstrate the soundness of our operational se- mantics by showing the consistency between the derived de- notational semantics and the original denotational semantics.
