哲学家就餐问题的实验课程思路拓展

该文分析了操作系统实验课程项目现状,通过对哲学家就餐问题进行详细分解,引出了对K.Mani Chandy和J.Misra提出的一种解决大规模并发问题的算法的分析及研究。给出该算法使用互斥量的哲学家问题实现方案,展示了以3位哲学家交互的例子以演示算法规则。讨论了算法死锁产生的原因,对一种大幅度降低死锁概率的解决思路进行了分析及实现。实践表明,该实验课程的思路拓展帮助学生从多种角度理解操作系统的同步及死锁问题,锻炼了学生拓展实验思维及解决项目的能力。     

整体式半导体自动物料搬运系统解死锁算法

为了有效地解决300mm晶圆制造中整体式自动物料搬运系统的设备缓冲约束引起死锁的问题,构建了基于图论的两阶段解死锁算法.首先对问题域进行了形式化描述,在此基础上,证明了死锁产生和解除的充分条件,以关键设备死锁解除时间最小化为目标,建立了数学规划模型,并构造了解死锁算法.该启发式算法使用存储柜转存晶圆批来释放死锁的小车资源,并应用图论理论构造了多个并行路径来解除死锁.最后,对算法进行了仿真实验,结果表明该算法能有效求解设备缓冲约束引起的死锁问题.与其他解死锁方法相比,上述算法能有效减少解死锁时间,提高了关键设备的可用率.     

边界扫描测试实验系统的设计与开发

根据数据域测试及仪器课程教学的特点和需要,设计了一个典型的边界扫描测试系统作为课程实验。实验系统主要由计算机、USB-1149控制器和四通道被测电路板等3个部分组成。首先介绍了系统的层次架构,然后针对自主研制的USB-1149控制器的软、硬件设计实现过程,进行了详细的描述。学生通过该实验的学习可以加深对可测性设计和边界扫描等概念的理解,领会数字系统测试和故障诊断的复杂性和重要性。     

对比和归纳是提高材料力学课程教与学行之有效的方法

材料力学课程是机械工程、土木工程等专业为设计工程构件提供必要理论依据计算方法和实验手段的重要的专业基础课程,基于该课程概念和公式多,且内容系统性和逻辑性较强,使得理解和记忆存在一定的难度。本文就此问题提出自己的一些观点,意在使读者更好的理解和掌握材料力学的知识内容的学习。     

分布式事务管理系统DTM

本文描述一个分布式事务管理系统的模块结构。消息管理是该系统的核心,它提供简单但强有力的功能来控制事务的分布式管理。本文还给出了一种并发控制策略:带分布式死锁检查的超时法。该法按本文给出的一个公式对不同的事务计算不同的时间间隔,超时后进行分布式死锁检查。该法克服了传统的超时法和分布式死锁检查的不足。     

关于计算机操作系统中死锁问题的讨论

本文就死锁的概念、必要条件和若干可能发生死锁的问题作了深入浅出的分析、讨论，希望本文的讨论有利于读者对死锁问题的深刻理解，并深入研究解决死锁问题的方法。     

《操作系统原理与应用》教学中学生知识构建思考

操作系统课程是计算机专业的主干课程之一,具有非常重要的教学意义。该文针对操作系统中概念抽象实验算法复杂的教学难点,提出概念构建和算法操练互补的教学效果提升方案。该方案能够便于学生对复杂概念的理解与提升学生编程能力。     

信号与系统课程实验系统设计

信号与系统课程理论教学中,由于课程内容繁多、概念抽象,学生常常会感到枯燥,难以理解和掌握。实验教学为提高学生学习兴趣提供了一种必要的手段。针对当前实验教学实际情况和虚拟实验平台存在的不足,结合实物实验实际内容,开发了信号与系统虚拟实验系统。该实验系统拉近了理论教学和实践教学的距离,将理论教学、虚拟实验教学和实物实验教学紧密联系起来,加深了学生对信号与系统课程的理解和掌握,并在教学中得到应用,且取得良好的效果。     

银行家算法在排课系统的教室安排中的应用

银行家算法是一个动态策略排除死锁的算法它能有效、合理地安排系统中已有的资源.主要论述了该算法在排课系统中针对选修课程教室安排的应用,使每个教室都能得到充分和合理的应用.     

基于改进粒子群算法的柔性制造系统无死锁优化调度

柔性制造系统的优化调度问题是一个复杂的组合优化和NP-hard问题。以赋时Petri网为模型、最小化最大完工时间为优化目标,利用改进粒子群算法对一类柔性制造类系统建立了一种新的无死锁优化调度方法。该方法首先采用2层编码方式对路径和工序进行编码,建立工序与粒子位置之间的一一映射关系;其次,基于实时在线的死锁避免策略对粒子进行死锁检测与修复,保证所搜索的粒子均能解码为无死锁的可行调度序列;然后,设计了2种改进策略：粒子工序定向调整策略和局部搜索策略,以提高算法的寻优效率和局部搜索能力,保证快速得到最优或次优的可行序列;最后,利用2个仿真实验验证所提算法的有效性。实验结果表明：与其他已有算法相比,改进粒子群算法在求解柔性制造系统无死锁优化调度问题上具有较好的寻优能力。     

一个相关连续型随机变量期望和方差的教学实例

本文给出一个《概率论》的教学实例,该实例有助于学生更好地理解连续型随机变量期望和方差的概念和理论,使学生意识到《概率论》是一门实用的课程,激发学生学习该课程的热情和兴趣。     

分布式程序中固有死锁的检测

本文定义了分布式程序中“固有死锁”的概念,并给出了一些检测固有死锁的算法。     

关于《结构力学》实验课程建设的探讨

《结构力学》课程是土木工程专业的一门重要的专业基础课,在整个土木工程课程体系中处于承上启下的核心地位,担负着传授学生结构概念、培养学生专业分析计算能力和创新意识的责任。但是,传统《结构力学》课程是没有实验内容的,这严重影响了学生对理论内容的理解和掌握。目前关于结构力学的实验课程建设的研究较少,只有少数高校在尝试结构力学实验课程的开设,应相应开展实验课程教学,加强学生对理论内容的理解和掌握。该文就《结构力学》实验课程建设的问题进行了初步探讨,为相关实验课程研究提供参考。     

基于Matlab GUI的《半导体器件物理》教学仿真平台开发

针对《半导体器件物理》课程物理概念多且难以理解、实验设备昂贵等问题,利用Matlab GUI开发了教学仿真系统软件。该系统包含了半导体物理和半导体器件中基本概念的典型物理模型,具有交互性强、界面友好、操作简单、图像动态性强等特点。该系统用于《半导体器件物理》的辅助教学,有助于加深学生对该课程内容的理解和掌握,激发学生的学习兴趣和提高课堂教学效果。     

死锁检测与恢复的实现

7610机操作系统是一个多道程序管理系统,在它的工作过程中,可能由于对资源无限制的竞争,从而导致死锁现象,我们应用了图论的知识在该系统中实现了死锁的检测和系统的恢复,从而提高了系统的可靠性和使用效率。 本文介绍了7610机系统的死锁检测和恢复的理论根据、算法及其程序框图。     

郎中治病在软件测试技术课程教学中的应用研究

该文分析了软件测试技术课程的特点及列举了一些该课程的基本概念,得出软件测试技术是一门基础概念较难理解的课程。为了让学生更形象地理解软件测试基本概念,该文提出引入郎中治病案例可将课程变得生动易理解。     

浅谈MATLAB在数字信号处理课程中的应用

数字信号处理课程目前已成为大多数高校相关专业的必修课,但该课程中的理论和概念等都比较抽象。为了使学生更好的理解,因此我们引入MATLAB仿真,使其课程中的理论概念直观化。     

在概率统计教学中应用Matlab

在数理统计课程中,应用MATLAB进行计算,可使一学生摆脱繁琐重复的计算,有更多的时间和精力去理解概念和掌握方法,更有效地学习该课程。是该课程教学改革之一。     

二元会话类型系统中演进特性研究

提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统中进程通信一旦发生,合式进程在通道上不会发生死锁的情形.此外,还定义了递归会话类型的子类型和松弛对偶关系,提高了类型系统的灵活性.     

网络综合布线实验课程设计研究

网络综合布线实验课程可以引导学生自主学习,以任务驱动来加强学生对教材知识的理解。通过对该《网络综合布线》实验课程的分析和实践,加深了对学生网络综合布线工程的理解,有利于在教学活动中改善教学质量和效果。