7.1 恢复引论 7.2 运行记录的结构 7.3 更新事务的执行与恢复 7.7.4 并发控制的正确性准则 7.5 消息的处理 7.6 失效的类型及恢复的对策 7.7 并发控制 7.8 加锁协议—Lock Protocol 7.9 死锁的检测处理和防止 7.10 多粒度封锁 Lock Granularities

运用运筹学中图论及多目标优化的理论和方法建立应急救援物资车辆最佳运输路线的选择模型，并基于启发式算法求解该模型.从静态网络应急物资车辆运输路线的双目标优化问题入手，设计适合本文模型的算法，并将之推广至含有三个及三个以上优化目标的路线选择问题.引入时间扩展图的概念，将动态网络中的最佳运输路线问题转化为静态网络中的路径选择问题.算法实质是通过构造辅助决策函数实现Dijstra算法的调用，并在辅助函数构成的搜索空间上寻找最优解，是一种快速的、近似的算法.利用随机路网和真实路网测试本文算法，测试结果与本文的理论分析一致，证明本文算法在应急救援物资车辆运输路线的多目标优化问题中可行且有较好的应用效果

为实现矿山突水孕育过程中岩石破裂事件的有效分析,利用河北矾山磷矿所监测的异常微震事件,引入基于数字地震学的矩张量反演方法.矿井尺度的震动位移场可表示为矩张量与格林函数的时间褶积.通过提取微震事件位移场资料,并计算格林函数(震源至传感器之间传播介质的脉冲响应),线性反演了微震事件的矩张量,并利用微震事件的破裂方位判别了其破裂类型.随后建立微震监测三维效果图,拟合出岩石破裂面发展趋势,并初步确定了突水危险区域范围.研究表明,矩张量反演方法能够计算出微震事件震源机制解,可有效反映矿山突水孕育过程中岩石破裂的形成过程及发展趋势

针对某陆上风电场1.5 MW风电塔结构,建立了\塔筒-基础-地基\整体三维精细有限元模型,研究土-结构相互作用对风机运转状态下风电塔结构地震动力响应的影响规律.在风机运转状态下,使用FAST程序把风速时程转化为风荷载时程输入模型,并使用EERA程序进行土层地震反应分析得到模型土层底部的地震波,作为地震激励进行输入,对风电塔进行模态分析并计算风电塔地震动力响应.研究表明,考虑土-结构相互作用效应会引起风电塔体系自振频率降低,并显著增加风电塔的结构动力响应

以最小Gibbs自由能法计算固体氧化物燃料电池在不同组成碳基燃料气体组成下的理论积碳量,在此基础上讨论电池的理论开路电压(OCV),并测试在CO2重整甲烷下Ni-YSZ‖YSZ‖LSM阳极支撑固体氧化物燃料电池的OCV.计算表明,理论积碳量从C-H-O相图的C角往积碳界线处以均匀速率减小.当积碳全部发生电化学氧化时,建议提高燃料气的碳氢比以获得较高OCV;反之则建议减小碳氢比.当燃气组分接近位于C-H-O相图中OCV界线(OCV=0 V)时,OCV会发生急剧下降.同样地,实验表明,当燃气中CO2体积分数高于80%,会使得OCV大幅下降.综上可知,燃料气组分控制在积碳界线附近将有利于减少积碳并保证一定的电池发电性能.600℃时,在积碳界线的非积碳区侧,提高燃气中氢含量可提高OCV.而采用相同含量的CO2稀释时,CH4、H2和CO燃气下电池的OCV则依次降低.另外,实验表明升高外重整比例和降低温度,并不能显著提高OCV

《并行与分布式程序设计》课程教学参考书：并行与并发编程《Java Concurrency In Practice》

《并行与分布式程序设计》课程教学参考书：并行与并发编程《Introduction to Parallel Computing》Ananth Grama, Anshul Gupta, George Karypis, Vipin Kumar（Second Edition）

《并行与分布式程序设计》课程教学参考书：并行与并发编程《C++ Concurrency in Action - Practical Multithreading》（Manning, 2012）

《并行与分布式程序设计》课程教学参考书：并行与并发编程《An Introduction to Parallel Programming》

重点：并网条件，并网方法，功角特性，稳定性 难点：功角特性，稳定性