分布式系统中互斥算法的研究

公平、健壮和易于实现的分布式互斥算法对分布式系统保证数据一致性、逻辑一致性及时序一致性至关重要，互斥问题是分布式系统中一个非常重要的内容。互斥算法是用来解决共享资源访问冲突问题，阐述了分布式系统中进程的互斥问题。对几种算法进行了讨论，分析了其特点，最后给出了一个后一互斥问题的算法，并介绍了该算法应满足的条件和实现过程。     

基于记录型信号量机制的进程互斥实现问题研究

从利用加锁法实现进程互斥存在的缺陷出发,论述了解决问题的方案,最后阐述了基于记录型信号量的进程互斥实现与其优势.     

基于DLL的安全的多线程串行通信编程研究

操作系统分时多任务功能的实现,提高了系统资源的利用率,也带来了进程互斥与同步等方面的复杂性。基于实际生产系统,阐述了一种使用标志位区分地址和数据流,利用进程间互斥和进程内多线程同步技术,实现具有进程安全性的串行通信编程的方法。     

利用P、V操作实现进程的互斥与同步

本文首先阐述了进程同步与互斥和P、V操作的基本概念。然后深入探讨了利用P、V操作实现进程的互斥与同步的基本方法。     

并发进程中信号量使用的技巧

着重讲述了利用信号量实现的并发进程的互斥与同步控制，并列举了三个具有典型性的例题，由此总结出在并发进程编程中信号量使用的技巧。     

操作系统中进程同步的实现

进程同步包括进程的互斥和进程的同步两个方面，是操作系统管理共享资源的一种手段．用PV操作解决进程同步问题时首先应确定问题是属于进程互斥还是进程同步，或是互斥与同步的混合问题，然后根据共享资源的数量以及使用共享资源的规则正确的定义信号量及其初值．合理运用PV操作可以防止进程死锁，给出分析进程同步与互斥的方法及如何编制程序．     

关于进程互斥同步的讨论及PV操作编程的实践

本文从进程和并发进程的基本概念出发，较为详细地论述了进程之间的互斥和同步关系，此后，根据个人的编程经验，作者描述了三类同步互斥问题，分别给出了用ＰＶ操作解决这三类问题的编程方法，并对ＰＶ操作编程的特点进行了评价。     

信号量和进程互斥

本文给出了信号量的具体含义并提出用P,V原语实现进程互斥的一般模型。     

进程同步中的生产者-消费者模型分析

指出了复杂并发进程控制模型中同步和互斥关系处理的一般准则。以生产者一消费者模型为例，根据缓冲区数量、生产者进程数量和消费者进程数量的不同，将其细分为4种不同的子模型，并对其中的同步和互斥关系分别进行了分析，给出了各种情况下基于P、V原语和信号量机制的具体解决方案。     

计算机高级语言并发设施的比较

0 前言并发程序的开发是系统软件领域里的一个需要课题。并发程序可由同时执行的一组顺序进程通过共享变量来交换数据和信息,从而协同完成某些共同的任务。其功能就是实现进程的并发性和资源的共享性。这就需要解决同步与互斥问题。所谓同步指的是多个进程共享资源时有关配合时间的约定。所谓互斥,指的是在同一时刻,不允许多个进程调用同一资源对象。为了实现进程间的信息交换,为了确保进程间的同步与互斥,并发程序必须设立相应的通讯设施。     

包含互感元件的并联谐振电路的研究

互感电路的谐振是一个比较复杂的问题.场论说已经研究了包含互感元件的串联谐振电路,得到了实现串联谐振的条件.在此基础上,对包含互感元件的并联谐振电路进行研究,得到实现并联谐振的条件.     

网络环境下图书馆信息资源的共建共享

笔者结合太原地区图书馆信息资源的共建共享工作,分析了信息资源共建共享的意义,并针对太原地区的实际,讨论了图书馆实现文献资源共建共享的保障机制。     

线阵CCD数据采集与检测控制系统的设计

介绍了用CCD作为传感器，实现自动测控高速数据采集与处理的系统设计。该系统以80C552单片机为控制核心，采用总线隔离技术，实现高速数据采集与数据处理分时进行。     

多模态话语分析中国预防艾滋病公益广告——《温暖的家》

以Kress＆van Leeuwen的视觉语法框架为基础,借鉴Baldry＆Thibault建立的广告视频分析框架对中华人民共和国卫生部拍摄的预防艾滋病公益广告《温暖的家》进行多模态话语分析.通过对再现意义、互动意义、构图意义和声音符号体系的逐一解读,说明了公益广告是怎样通过图像、文字和声音实现表意功能,从而达到其宣传目的.     

“两个趋向”思想与全面建设小康社会关系窥探

实现科学发展，全面建设小康社会，重点在“三农”，如何促进“三农”发展已经成为现阶段迫切需要解决的问题。胡锦涛“两个趋向”的重要论断是对改革开放以来新时期工农关系、城乡关系及两者相互转化的高度概括和科学总结，为我们从根本上解决当前的“三农”问题提供了理论依据和指导方针，为全面建设小康社会打下坚实的基础。     

Internet网上藏文信息交换技术研究

依据藏文编码的国家标准和国际标准 ,详细讨论了在Internet网上建立藏文信息交换的技术、藏文信息处理系统及实施中要解决的关键技术 讨论了目前藏文信息处理的现状和Internet网上技术的发展及其关键技术 ,提出了实现Internet网上藏文信息交换的实施办法所要解决的关键技术及实现的方法     

新时期高校图书馆服务方式的转变

提出了新时期转变高校图书馆读者服务方式的新举措,包括树立良好的职业道德、提高流通工作效率、开展读者教育和培训、实行网络联采联编、实现馆际互借、加速信息资源电子化进程、提高馆员的综合素质。     

离散数学辅助教学网站设计

研究了基于WEB的离散数学辅助教学网站的设计目标、方法及设计过程，分析了各个模块的功能及实现方法。该网站实现了教学信息网上发布、人机交互学习、作业批改、在线讨论、网上答疑等功能。     

基于互为主体的电子系统架构与任务决策

针对传统电子系统架构和任务决策机制无法满足航空集群遂行复杂任务需求的现状,提出一种基于互为主体的电子系统架构与任务决策机制。首先,从航空集群电子系统的实际应用需求出发,分析了电子系统的物理组成基础和电子资源的柔性聚合;其次,建立基于互为主体的电子系统架构模型,实现电子系统在物理域、信息域和认知域等不同层次能力之间的有机结合;然后,提出基于互为主体的信息交互与决策方法,提高航空集群作战运用的灵活性和整体效能;最后,给出了互为主体在航空集群作战中的应用实例。