并发系统互斥约束的形式化验证

并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一,建立了具有互斥约束系统的一般数学模型———互斥模型。将模型互斥性分解为安全性、活性和无阻性约束,形式化规约成LTL公式;给出了基于不动点的互斥模型的模型检测算法。并结合实例进行了互斥模型的形式化验证,给出了模型精化改进的详细过程。随着并发系统进程增加,不动点模型检测算法会面临状态爆炸问题,给出了另一种基于布尔公式的BDD(二叉决策树)运算下的符号化模型检测方法,有效地缓解了状态爆炸问题。     

进程互斥bakery算法改进的思想

本文简要地介绍了bakery算法进程互斥思想,指出它存在的三个缺点。然后在满足进程互斥设计三要点的前提下,提出快速互斥算法,并且对它的性能和优点给出证明,指出快速算法能够很好地解决bakery算法的缺点。     

一种改进的进程同步与互斥机制

给出了利用一般信号量机制实现一类常见的进程互斥问题的方法,在分析该方法不足的基础上.提出了一种改进的进程同步与互斥机制--标签信号量.论述了标签信号量的设计、定义及其在实现进程同步与互斥中的应用.实例表明,在实现进程同步与互斥时,标签信号量比普通信号量更简单高效.     

基于PV操作的非死锁同步算法

通常采用PV操作是实现进程互斥与同步的有效办法,然而,在构架进程的过程中,若P操作推进的顺序不当,则会产生死锁现象.从对同步与死锁综合分析的角度出发,提出了一种能正确推进P操作以致不会产生死锁的算法,并运用此算法对PV操作的同步机制作出了结构化的描述.     

一种改进的分布式互斥请求集生成算法

分布式互斥请求集的性能,对基于竞争的分布式互斥算法的消息复杂度、对称性、同步时间及容错能力等均具有直接影响.而分布式互斥请求集生成算法性能,如时间复杂度、空间复杂度,则对算法的运行速度、计算能力具有直接影响.通过对基于循环编码的分布式互斥请求集生成算法运行过程的研究,特别是对该算法的时间复杂度的研究,提出一种改进的基于循环编码的分布式互斥请求集生成算法.此算法在不明显增加算法空间复杂度和请求集长度的基础上,能够显著提高请求集生成算法的时间复杂度,从而使得算法的运行速度和计算能力都得到显著增加.     

过河问题的改进算法

过河问题是操作系统中进程同步和互斥的一个重要问题,传统的解决方法虽然解决了进程死锁问题,但当一面的过河者源源不断的到来时,另一面要求过河者会发生“饿死”现象,本文对原有算法进行改进,给出了一种新的算法,避免了“饿死”现象．     

进程同步问题中双重作用信号量的选择

进程的同步和互斥历来是操作系统课程的一个难点和重点，本文主要讨论操作系统中进程的同步与互斥实现中信号量的选择问题，特别是在特殊情况下具有双重作用信号量的选择．     

进程的同步与互斥一进程的同步与互斥学习

进程的同步与互斥是操作系统这门课的重点之一。也是一个难点．本文借教学中发现的问题。介绍了学习进程的同步与互斥时的几点体会．建议大家在掌握进程特点的基础之上来学习与掌握进程的同步与互斥关系．如：了解进程的并发性而了解同步与互斥关系的存在；掌握进程的动态性而掌握同步与互斥关系的不确定性等．     

实时互斥协议的形式化建模与自动验证

实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。同时,分析了该协议所应具有的性质并转化为形式化公式。最后,使用模型检测工具UPPAAL对协议性质进行了自动验证。验证结果表明,该协议虽然满足互斥与无死锁两个基本性质,但无法保证进程活性。该方法具有自动化程度高、验证速度快的特点,易于运用与推广。     

并发与死锁问题研究

并发与死锁是操作系统的重要问题,对进程并发、死锁及饥饿现象进行研究,深入探讨了利用信号量解决进程并发应注意的问题,并结合实例给出了解决某类进程死锁及饥饿现象的方法.     

本科毕业论文设计开题的实践及效果

提出在毕业论文设计前期教学环节中要求每一个学生作开题报告,以强化热动专业学生“基本创新能力 特殊创新能力”培养。论述开题的必要性、组织和效果。实践表明:开题强化了毕业论文设计前期教学管理,进一步审核了学生选题;加速了学生角色的转变;有利于组织“因材施教”。     

《新疆历史与民族宗教理论政策教程》增强教学实效性的途径与方法

《新疆历史与民族宗教理论政策教程》的教学是在对新疆各民族大学生进行五观教育、增强＂四个认同＂中发挥主渠道作用,具有新疆地域特色的一门重要的思想政治理论课。在教学过程中,教师应注重运用多种教学手段,增强教学的实效性。     

基于VB的遗传算法在多峰函数全局优化中的应用

以多峰二元函数为例,合理选择编码方式,采用排序选择结合精英保留策略的遗传算法,解决多峰二元函数全局优化的问题。并采用VB语言编程实现该遗传算法,生成可视化界面,便于观察每一代的进化过程,为遗传算法解决多峰二元函数全局优化问题提供了一种有效的方法。     

浅谈大学生诚信教育

介绍了古今中外关于“诚信”的内涵 ,指出当前大学生中不诚信的各种表现 ,提出了加强大学生诚信教育的措施。     

研究生学位论文过程管理体系构建与质量控制研究

学位论文的质量是衡量研究生培养质量和学术水平的重要依据。因此,提高研究生学位论文质量对于提高高校研究生培养质量具有重要意义。文章系统归纳了近年来研究生论文盲审评阅意见中低分数论文普遍存在的问题,并分析了导致这些问题出现的原因,并从研究生培养过程中的论文选题与开题、导师指导与审核、论文写作规范、形式审查、预答辩五个方面,构建出完整的研究生学位论文过程管理体系,提出了保障研究生学位论文质量的对策。     

The Semantic Analysis of the Negative Marker Meiyou

"Meiyou"is an important negative marker in Chinese. This thesis explores the semantic features of"meiyou"in two basic negative structures, such as"meiyou + NP"and"meiyou + VP"and the concurrence of"meiyou"with aspect markers,such as" zhe","le","guo". This thesis insists that"meiyou + NP"and"meiyou + VP"have the same semantic structure,namely, the negative marker"meiyou"negates discrete events in both structures.     

高校英语专业毕业论文写作因素分析

本文从本科毕业论文写作的角度出发,结合实际情况详细地介绍并探讨了本科毕业论文写作中的各个步骤以及需要注意的问题和相关应对策略。从整体上总结了与写作相关的要点,介绍了写作内容,探讨了写作的方法及注意事项。通过论述,作者旨在诠释本科毕业论文的写作,说明写作过程,为本科毕业论文的写作奠定基础。     

高校贫困大学生救助体系研究

随着贫困大学生数量逐渐增多,高校贫困生的救助问题逐渐引起了人们的关注。本文从贫困生存在的庞大数量和诸多问题,说明了贫困生救助问题的紧迫性和必要性。并通过对当前政策的研究,分析了漏洞和不足,进而提出建立健全高校贫困大学生救助体系的政策建议。     

教育与管理互融 加强教风学风建设

高校中学生管理和教育脱节现象普遍存在,全员育人功能发挥不够,本文根据我校目前学生和教师实际,从教育与管理如何融合方面,紧紧围绕教风和学风建设进行探讨,并提出了一些改进措施和途径,促进学生健康成长成才。     

中外世界遗产保护的法律法规比较研究

世界遗产是人类共同的宝贵财富,是人类文明的象征,但我国的世界遗产保护的法律制度建设相对滞后,操作性不强。对我国的世界遗产法律保护现状与先进的世界遗产法律保护经验进行对比分析,深入探究我国世界遗产法律保护制度,为其进一步的完善提供一些可行性建议,具有重要意义。