Tailoring of an operating system and an in embedded real-time operating system in particular is es-sential for both, kernel and operation. But many of current embedded real-time operating systems provide somebasic tai...Tailoring of an operating system and an in embedded real-time operating system in particular is es-sential for both, kernel and operation. But many of current embedded real-time operating systems provide somebasic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and de-grades their tailors. A layered modular tailoring model has been proposed together with some tailoring operationsto improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring opera-tions with the current operating system.展开更多
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.展开更多
Embedded operating system EOS （Embedded Operating System） is widely used system software which in the past is mainly used in fields of industrial control and defense system. EOS is responsible for the entire softwar...Embedded operating system EOS （Embedded Operating System） is widely used system software which in the past is mainly used in fields of industrial control and defense system. EOS is responsible for the entire software and hardware resource allocation, scheduling work and coordinating concurrent control activities; some more successful applied EOS products have been presently launched. With the development of lnternet technology, information appliances and the universal application of miniaturization and specialization of EOS, EOS started from a single weak situation to a higher professional direction with strong functions.展开更多
An embedded protective device for 35kV power line is worked out based on Philips’ LPC2292 ARM MCU. Several aspects such as embedded design technique adopted in the system framework, application of adaptive theory in ...An embedded protective device for 35kV power line is worked out based on Philips’ LPC2292 ARM MCU. Several aspects such as embedded design technique adopted in the system framework, application of adaptive theory in data acquisition, Board Support Packet (BSP) developing and task dispatching related to operating system are discussed. Both hardware and software framework of the system are given. Advanced hardware platform and software development environment is applied in design of the system, with the advanced co-design technology.展开更多
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.展开更多
基金Sponsored by the Research Projection of the Tenth Five-year of National Defence Department( Grant No. 417010402)
文摘Tailoring of an operating system and an in embedded real-time operating system in particular is es-sential for both, kernel and operation. But many of current embedded real-time operating systems provide somebasic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and de-grades their tailors. A layered modular tailoring model has been proposed together with some tailoring operationsto improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring opera-tions with the current operating system.
文摘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.
文摘Embedded operating system EOS （Embedded Operating System） is widely used system software which in the past is mainly used in fields of industrial control and defense system. EOS is responsible for the entire software and hardware resource allocation, scheduling work and coordinating concurrent control activities; some more successful applied EOS products have been presently launched. With the development of lnternet technology, information appliances and the universal application of miniaturization and specialization of EOS, EOS started from a single weak situation to a higher professional direction with strong functions.
文摘An embedded protective device for 35kV power line is worked out based on Philips’ LPC2292 ARM MCU. Several aspects such as embedded design technique adopted in the system framework, application of adaptive theory in data acquisition, Board Support Packet (BSP) developing and task dispatching related to operating system are discussed. Both hardware and software framework of the system are given. Advanced hardware platform and software development environment is applied in design of the system, with the advanced co-design technology.
基金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.
