以负载均衡和数据缓存为例谈操作系统启发式教学

针对在传统操作系统教学中存在灌输知识的状况和计算机多处理器并发带来的影响,从多核环境下的简单问题出发,在分析操作系统多核环境下进程调度的基础上,提出如何完美实现负载均衡机制。通过增加Cache数量和容量增加数据命中率,提升系统性能,结合学生学习新课程知识的实际,以启发式案例教学的方式系统分析操作系统在多核环境下的进程调度问题,使学生从一个简单问题入手逐渐掌握较深入的知识。     

现代高校图书馆建筑设计与探索

在介绍兰州理工大学图书馆设计理念的基础上,探讨了如何将校园文化理念、建筑语言符号、功能合理布局和建筑技术有机地结合,以期使图书馆成为校园富有标志性和时代性的建筑。     

基于信号量机制的理发师模型在复杂语义下的研究

理发师问题是计算机科学中多系统进程间通信和同步的经典问题之一,研究者们多在原始版本基础上进行 扩展,形成较多版本,没有考虑问题语义变化产生的新问题。从生活原型和问题语义的角度出发,对理发师问题进行 新的语义分析,提出面向资源的模式分析方法,给出了利用Try-p信号量机制和PV原语解决具有复杂语义进程间同 步问题的算法和方案。     

冷冻—升温法在张弦桁架拉索滑移中的应用分析

拉索滑移问题是拉索结构分析的一个难点。在一般的有限元模型中,拉索端部只能作为模型中的一个节点,当节点两端索力不同时,无法实现拉索的自由滑动,冷冻—升温法就是为了分析这种现象而提出的。本文针对张弦桁架这种拉索结构的特点,利用冷冻—升温法的思路并加以改进,通过迭代计算的方法分析了张弦桁架中拉索自由滑移后对结构的内力、变形带来的影响,同时也讨论了影响迭代计算收敛性的因素。     

乐观并发协议在移动计算环境中的应用

在移动计算环境中,基本乐观并发协议的事务处理存在并发度低和重启率高等问题。为此,提出一种适用于移动计算环境的乐观事务并发协议――基于数据读写时间戳的乐观并发控制协议。仿真实验表明,该协议可以提高事务处理的并发度,降低事务重启概率,与基本乐观事务并发控制协议和基于时间戳的乐观事务并发控制协议相比,该协议更适用于移动计算环境。