摘要：采用软硬件协同技术,通过必要的硬件语义实现资源隔离,基于高效的任务调度保障不同关键级别任务满足时间约束,是当前混合关键系统设计的有效方法之一。本研究基于时序可预测的细粒度多线程处理器FlexPRET,扩展设计实现时序指令,并分别在硬件和编译器中添加对扩展指令的支持,使得程序在代码中对最大执行时间进行时序约束语义描述。实验评测表明,所实现的扩展指令可为用户提供更精细的时序控制。

摘要：2015年，湖北省宜昌市公共预算收入339亿元，公共预算支出540亿元，政府统筹资金规模接近1000亿元，改革步入系统化，财政创新精彩纷呈。从顶层设计入手，先后推进39项改革措施，制度建设基本成型，

摘要：针对股票软件中历史数据的特点,深入分析了B+树存储和线性表存储两种数据存储方案。这两种方案均能达到股票软件的应用要求,最后进一步从性能和资源耗费上对这两种方案进行了对比分析,指出了它们各自的优点与不足,对其他类似的设计具有很好的借鉴意义。

摘要：准确的间接跳转预测对现代处理器的性能和能耗有效性都具有重要意义.本文提出了一种混合型值关联间接跳转预测机制,通过混合使用多种关联信息以降低间接跳转误预测率.该机制一方面依赖于编译器根据高层次数据流信息识别间接跳转指令所对应的初始关联数据值.另一方面,该机制针对间接跳转预测的不同场景分别设计了两类关联信息:单一数据值和值历史,并实现了一种低开销的硬件结构,该硬件结构在运行时刻根据不同应用场景动态选择最佳关联信息引导间接跳转预测.实验结果表明,相对于传统的BTB预测器和最新的VBBI预测器,本文机制能够有效降低误预测率,提高程序性能并降低系统能耗.

摘要：2002年8月12日出版的《中国经营报》,刊出了吴盛刚、韩彦撰写的《给中国移动运营商的逆向突围计划》一文。文中的“中国移动运营商”仅指“中国移动”,而不包括“中国联通”。为了使中国移动“摆脱与竞争对手争夺新客户的正面战”,文中提出了两大“逆向突围计划”;一是“死守中高端老用户”:二是“企业市场先下手为强”的“超越竞争”的战略:本文作者对此方案提出另一高见,我们非常希望感兴趣的读者参与这个讨论,与本文作者一起进行设计。

摘要：平扎营老滑坡位于三峡库区重庆市云阳县境内,为一近故陵向斜轴部的大型顺层堆积体滑坡。老滑坡边界特征清晰,三峡库区蓄水后,堆积体变形迹象明显,滑坡复活后威胁人口众多,经济及社会影响大。故对此滑坡采取现场航空三维影像拍摄、探槽、钻孔等多种勘查手段,获取详实的工程勘察资料。通过采用变形分区、多剖面控制的方法,对该滑坡特征及成因机制进行了分析,同时总结了岸坡滑动变形演化的模式,评价了坡体稳定性并对水位变化对稳定性的影响进行了分析,以期为库区内滑坡的防治提供参考与借鉴。

摘要：为温泉项目的设计施工提供地质依据,分析项目边坡地质条件,对其稳定性进行定性和定量分析。采用弹塑性Mohr-Coulomb理论和刚体极限平衡法,计算边坡在向家坝水库蓄水前后不同工况下的稳定系数。研究发现,在各极端工况下边坡稳定性系数都远大于1.15,边坡整体稳定性好。

摘要：本文介绍一种全新的转换梁支撑系统的施工方法,避免了支撑系统采用垂直支撑系统设计,利用转换层以下楼地面结构承受施工荷载,而采用扣件式钢管将支撑系统设计成平行弦桁架支撑系统施工作业,施工荷载由转换层以下的柱等竖向构件承担,不利用转换层以下楼地面结构承受施工荷载,经济合理地完成了转换梁的施工作业。

摘要：在万州区武警船艇大队危岩勘察中使用的"多波束水下扫描"方法,准确的探查出水下地形,在陡崖的稳定性评价中起着非常重要的作用。多波速水下扫描系统是一种具有高效率、高精度和高分辨率的水下地形测量新技术。目前实现了测深数据自动化和在外业准实时自动绘制出测区水下彩色等深图,利用多波束声信号进行侧扫成像,提供直观的水下地貌特征。

摘要：目的优选苓桂术甘颗粒的水提工艺。方法采用正交试验对水提工艺进行优化,以桂皮醛转移率、甘草酸转移率和干膏得率为评价指标,考察加水量、煎煮时间、煎煮次数对提取工艺的影响。结果最佳提取工艺为加8倍量水,提取3次,每次煎煮1h。结论多指标加权考察水提工艺,既符合中药复方的复杂性,又能合理反映水提效果。该水提工艺设计合理,可为苓桂术甘颗粒的研制提供理论和试验基础。