面向STM的松弛存储一致性算法

软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行。如果两个事务访问了同一个共享数据且至少一个事务进行了修改操作,则称发生了冲突。检测冲突后,一般选择一个事务终止。当前的STM实现都基于严格的线性一致性(Linearizability)语义模型,实现简单。但是,基于该语义会导致很多本来可以完成提交的事务失败,降低了系统效率。把因果一致性模型应用于STM,可以在保证程序准确性条件下取得较好的实际性能。实验数据表明,该算法简单高效,明显减少了冲突数目。     

一种基于目录的软件事务性内存实现算法

软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行.STM算法中一般包含记录所访问的共享数据、缓冲投机修改的数据以及处理事务冲突.STM中的主要开销在于维护共享数据访问记录和一致性验证.维护共享数据访问记录主要目的是便于进行验证.冲突检测(conflict detection)判断两个事务能否同时提交,而验证(validation)确保每个线程看到的数据状态是一致的.给出了关于STM一个简单模型,证明在STM中对共享数据的修改是线性的.提出的LDSTM算法通过在目录中维护版本信息,可以在读取各个共享对象时快速确定事务的内存视图是否处于一致状态,可以极大减少冲突检测和验证的开销.该算法可以实现早期发现写一写冲突,减少无效计算.在单线程情况下该算法开销很小.实验数据表明,LDSTM简单高效,冲突检测和验证开销减少明显.     

YAG-ZrB2复相陶瓷在700～1300℃的氧化行为研究

通过分析YAG-ZrB2基复相陶瓷氧化前后的增重率、物相和显微结构,研究了YAG-ZrB2基复相陶瓷在700～1300℃的氧化行为,为提高高温陶瓷的高温性能奠定了基础.研究表明,在700～900℃氧化温度范围内,YAG-ZrB2复相陶瓷基本上不发生氧化反应;在900～1200℃氧化温度范围内,随着氧化温度的升高,增重率缓慢升高;在1200～1300℃氧化温度范围内,随着氧化温度的升高,增重率急剧增大.当氧化时间短于lh时,YAG-ZrB2复相陶瓷的增重率变化很快,而当氧化时间超过1h时,增重率变化较缓慢.     

明胶抗氧化肽的分离、纯化及其清除羟自由基活性的研究

为制备具有抗氧化活性的明胶肽,本实验采用不同的酶水解明胶,并对酶解产物采用超滤技术分离,利用分光光度法检测超滤后所得多肽组分对羟基自由基(·OH)的清除能力;进一步对抗氧化活性较强的组分利用葡聚糖Sephadex C-25阳离子交换色谱、Sephadex G-50凝胶过滤色谱和C18反向高效液相色谱进行分离、纯化,并对其各组分清除·OH活性进行了研究,最后对所得洗脱组分中具有最强清除自由基活性的多肽组分的分析氨基酸组成,结果显示:组分中甘氨酸、蛋氨酸、苯丙氨酸、赖氨酸含量较高的肽具有较好的抗氧化活性,·OH清除率达到55.37%。     

猪皮明胶酶解工艺优化及其清除羟自由基能力评价

利用6种不同的蛋白酶水解猪皮明胶并检测所用酶的酶活,根据水解产物对·OH自由基的清除率,筛选最佳的水解蛋白酶为胰蛋白酶.通过单因素试验和L9(34)正交试验对胰蛋白酶解猪皮明胶的条件进行优化,单因素考察了酶料比、水解时间、水解温度、pH值对羟自由基清除率的影响.得到最佳酶解工艺条件为水解温度34℃,酶解时间3.0h,pH值7.0,酶料比6.0％.在此条件下,木瓜蛋白酶水解产物对·OH自由基的清除率为98.80％.     

矿井提升机恒减速紧急制动系统的研究

通过采用控制电液比例阀油压改变盘式制动器的制动力矩,实现了矿用提升机紧急状态下恒减速制动,提出了采用光电传感器和油压传感器检测提升机制动过程的速度和电液比例方向阀的油压,分析了影响恒减速制动系统制动性能的因素,并给出了相应的解决措施.     

大倾角特厚煤层综放开采工艺参数研究

针对孟家窑5号煤大倾角特厚煤层,运用实验室物理试验及PFC2D离散元软件模拟方法,对比不同采高和不同步距下的放煤效果,以及不同放煤方式下的顶煤采出率,从而确定合理的综放开采工艺参数。结果表明:顶煤回收率最高的是采高4.5 m两采一放,含矸率最低的是采高3.5 m两采一放。在煤岩层倾角25°和30°的时候,单轮顺序的放煤方式优于其余两种放煤方式;而在煤岩层倾角35°和40°的时候,双轮顺序的放煤方式优于另外两种放煤方式。通过本次研究,确定了孟家窑5号煤大倾角特厚煤层综放工作面合理的采放比、放煤步距以及放煤方式等,为该矿的安全、高效开采提供了参考。     

深井沿空巷道合理位置确定及围岩控制技术

针对深井高地应力矿井煤柱应力大、巷道围岩变形严重及煤柱宽度大造成资源浪费等特点,以麦地掌煤业21214工作面为研究背景,通过地应力测试、钻孔应力测试了解工作面侧向应力峰值位置及大小。根据现场实测及分析得到侧向应力峰值约为43MPa,且位于距巷帮约17m处。运用理论计算、数值模拟,研究沿空掘巷围岩在掘采期间的变形破坏特征、合理窄煤柱尺寸的确定及沿空巷道的围岩控制。结果表明:煤柱宽度为6.5m时巷道围岩稳定性较好,掘进初期,围岩变形量及变形速率较大,后逐渐减小,掘进影响期为15d,回采期间由于小煤柱侧的支护强度大于工作面侧,小煤柱侧的变形量小于工作面侧的变形量,最大变形量分别为110mm和248mm,均在可控的范围内。     

三轴试验中橡胶-砂混合物泊松比计算方法研究

在分析常用确定泊松比方法的基础上,基于广义虎克定律,推导出三轴应力状态下泊松比的计算公式。根据已有的比值法、切线法和推导出的公式法,对三轴试验得到的橡胶砂混合物的泊松比变化规律进行对比分析。研究结果表明:相比于切线法、比值法,本文推导的公式法得到的橡胶砂泊松比的变化规律更合理,橡胶砂混合物的泊松比随橡胶颗粒含量的增加而呈减小的趋势,在小围压条件下,泊松比受围压影响较小。     

猪皮明胶肽抗小鼠外周肌肉疲劳作用的研究

本试验在研究酶解猪皮明胶制备抗疲劳肽较适条件和较佳工艺的基础上,通过负重游泳运动建立动物肌肉外周疲劳模型,经过对小白鼠灌胃饲养明胶肽实施营养干预,在检测血乳酸、血尿素氮、肝（肌）糖原含量和运动时间的基础上分析、评价明胶肽抗外周疲劳功效。实验结果证实：和蒸馏水饲养组对比,明胶肽能延长动物运动时间（P〈0.01）,降低疲劳后的血乳酸（P〈0.01）和尿素氮含量（P〈0.01）,提高肝肌糖原（P〈0.01）含量,具有显著的抗疲劳功效,可作为抗疲劳功能食品的添加剂.