摘要：时段演算是用于嵌入式实时软件系统设计的演算系统．本文概述了该演算系统，其中包括时段演算、扩充时段演算、平均值演算和概率时段演算．它们都是区间时态逻辑的扩展，可用于处理数学分析中函数在连续时间上的一些概念，如：积分，平均值，分段连续性和可微性．该演算能够应用于对混合系统的实时需求进行刻划和精化，同时也能定义计算系统的实时行为和语义，以及用来计算关于系统需求的满足概率．

摘要：从设计实践走向设计文化李晓山“设计”作为一个文化概念，在当代社会越来越受到人们普遍关注，这是由“设计”本身深刻的文化内涵决定的。那么，什么是“设计”呢？西方著名美术史家乔治亚·瓦萨里说：“设计是三项艺术（建筑、绘画、雕塑）的鼻祖……设计不但存在于人和...

摘要：本文主要介绍 NbTi—Nb_3Sn 高场超导磁体的设计、研制与实验,这个磁体由一个 NbTi 线圈和两个 Nb_3Sn 线圈组成,在4.2K 下,磁体最高中心场达14.42T,贮能为260KJ,是目前我国自行研制的最高场强的实用磁体。为了进一步提高这个 NbTi—Nb_3Sn 磁体的磁场。我们在磁体孔径中插入一对低纯度的钬芯,钬芯直径为25mm,间距为6.5mm。在4.2K 下,磁体的中心磁场提高达17T。

摘要：新物象：蒲国昌艺术随想李晓山《当代艺术》系列丛书第９辑《蒲国昌：贵州人文景观的当代样板》，多方面地展示了蒲国昌艺术探索过程中的心象。画家通过综合材料、线描、蜡染、纸刻、彩墨、水墨等多种艺术手法的运用和在贵州多年生活的经验，构成了多种丰富多变的艺术物象...

摘要：储层岩石力学和地应力特征是井眼稳定性分析与压裂设计等的基础,为油气钻采工程提供依据。致密砾岩储层岩石非均质性较强、岩石物理响应较复杂,尚无成熟、有效的测井评价方法实现储层岩石力学和地应力的精准评价。通过岩石力学测试,揭示了致密砾岩储层岩石的动态弹性模量、静态弹性模量及岩石力学强度之间的关系。在此基础上将实验所得关系与测井数据相结合,建立砾岩储层岩石动静态弹性参数转换关系,将测试数据与压裂施工数据结合建立了水平地应力测井计算方法。最终形成了一套适用于致密砾岩储层的岩石力学和地应力测井评价方法,并通过实际应用验证了方法的有效性。