A higher-order duration calculus and its completeness

来源 :中国科学:技术科学英文版 | 被引量 : 0次 | 上传用户:ganyi123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper studies how to describe the real-time behaviour of programs using duration calculus. Since program variables are interpreted as functions over time in real-time programming, and it is inevitable to introduce quantifications over program variabl
其他文献
The sampling theorem is one of the most powerful results in signal analysis. In this paper, we study the average sampling on shift invariant subspaces, e.g. wav
Based on the comparison with the Earth, using the LB magneticfield model, the distribution of O+ ion originating from the ionosphere in the Martian magnetospher
With a complex wavelet function, a new real-time recursive algorithm of wavelet transform (WT) is analyzed in detail. Compared with the existing recursive algor
Cu2ZnSnS4 (CZTS) thin films were successfully fabricated on glass substrates by sulfurizing Cu-Sn-Zn multilayer precursors, which were deposited by ion beam spu
The grain-boundary resistance of ZrO2 mainly consists of the contribution from the space-charge layers Rsc and that from the grain-boundary phase Rgbp The reduc
Artificial intelligence has been used to obtain background factors (basic environmental factors) from landslide specialists. A 3D visible evaluation map may be
The basic problem of a radar group monitoring an object group that has all along been a problem of concern in the international circles of military science has
In 1991, J. Labed, et al. offered a formula of passive measurement of directional emissiv-ity of object in laboratory. It is based on two preconditions, blackbody background radiation and the temperat
在 ZL114A ( Al-7Si )演员组合金的最容易溶解的 Si 的现在的工作,微观结构上的踪迹元素 Sr 的效果,张力的性质,金属断面的显微镜观察和形态学, investigated.The 被扔 ZL114A 铝
Based on three-dimensional elastic equations for piezoelectric materials, the state equations for piezoelectric circular plate under axisymmetric deformation ar