P、V操作的新探讨

P、V操作的概念以及使用在操作系统中非常重要、这里从一些新颖的角度来分析P、V操作，用P、V操作来实现进程的同步与互斥以及一种简单易行的逻辑关系则可以解决P操作嵌套时的执行次序。     

高可信度最小约简属性启发策略

为提高启发式算法计算最小约简的可信度,基于可辨识矩阵,研究了属性之间存在的吸收、排斥以及互斥等特征,分析其与最小约简的关联,提出了对应的最小约简属性启发策略, 建立了各个特征下属性启发策略的可信度计算模型. 在此基础上,按照可信度排序,形成了一种综合的高可信度最小约简属性启发策略,并给出了具体的约简算法. 理论和实验分析表明,本文策略具有可信度高且可信度可以估计等优点,能有效提升最小约简算法的性能.     

生产者/消费者问题的分析和实现

本文作者介绍了计算机系统中常见的通信问题（生产者／？肖费者问题）的一般船决方法，提出了在WINDOW平台下通过动态链接库（DLL）。实现多个生产者进程（或线程）与多个消费者进程（或线程）共享缓冲区的解决办法，使生产者进程（或线程）和消费者进程（或线程）可以同时共享该缓冲区进行数据存取。采用该方法，可以提高参与通信进程的数据交换速度，从而达到提高系统效率目的。     

基于角色的动态转授权模型的研究与实现

为在转授权过程中实现双边协议和动态角色互斥约束,解决由权限共享引起的角色互斥问题,提出了基于角色的动态转授权模型.首先,对模型的核心思想进行了阐述;然后,结合离散数学的相关知识对模型中的组成元素、元素间的相互关系和转授权的约束进行了形式化描述;最后,对如何借助Agent,在兼顾动态职责分离约束的同时实施带时间限制的部分角色转授权,以及对权限共享问题的处理细节进行了阐述.     

嵌入式图形系统Nano-X多线程改造

分析嵌入式图形系Nano-X客户端和服务器的通讯机制；针对通讯机制中同步和异步的请求应答过程，分别采用有效的方式保证不同线程对临界资源进行正确的互斥访问，使Nano-X支持多线程的应用程序，同时又不影响程序的运行效率。     

新型图像检查调度技术在航空托盘货物检查辐射成像系统的应用

航空托盘货物检查系统是继大型集装箱检查系统之后研制的应用于航空集装箱货物检查的又一综合辐射成像系统，该系统采用了基于队列查询的互锁式双级流水结构，队列请求互斥原理等新型的图像检查调度技术，为系统具有小型化，灵活的特点提供了良好的保障。     

Delphi多线程的安全问题分析及解决

分析了多线程安全问题产生的原因，并具体介绍了通过Windows API直接使用Windows提供的临界区、互斥量技术和Delphi内部提供了方法来解决线程同步的问题，以及捕捉Thread的异常，最终达到多线程程序安全运行的目的。     

基于多核多线程的并行计算组件设计

随着四核微机走向市场和八十核处理器在实验室研制成功,多核正引领软件研发发生基础性变化。开发人员需要在代码中添加线程来利用系统所提供的多个内核,从而提升PC应用软件的功能和性能。文中探讨在多核微机上进行并行计算的实现技术。介绍了基于基本线程类的多线程类的设计,包括属性、方法和事件的设计,着重探讨了多个线程的同步和互斥问题。在基于多线程类的基础上,简要探讨了VCL控件和ActiveX控件的实现方法。文中最后展望了高性能并行计算软构件库的开发前景。     

基于FPGA的电化学法化学需氧量测量仪的设计

为了达到简单、快速、无二次污染并且较准确地测量污水COD的目的,选用适合三电极传感器的羟基自由基氧化法测量COD,并利用SOPC技术在FPGA上建立集数据采集和数据计算与显示于一体的Nios Ⅱ双处理器系统,利用最小二乘法建立标准曲线,从而根据测得的电流值计算COD.利用NiosⅡ开发套件中的硬件互斥核来协调两个处理器对共享存储器的访问,实现两个处理器间数据的传输.最后,使用DE2-115开发板进行实验验证,基本达到设计要求.     

并发非阻塞自组织链表算法

利用自组织链表处理局部性较强的请求可提高性能,而非阻塞算法则能保证健壮性和可靠性。基于此,提出一种并发非阻塞自组织链表算法。使用MTF并发规则进行自组织操作,采用同步原语CAS实现并发程序,以保证查找、插入和删除操作的可线性化。实验结果表明,与Heller、Harris算法相比,随着读操作比例增大、链表变长,该算法的性能得到迅速改善。当读操作比例为90%、键值范围为4096时,其消耗时间最少。