基于FPGA的信号量管理模块的设计

针对软件实时操作系统的开销给嵌入式系统带来性能退化的问题,提出了基于FPGA的硬件实时操作系统的方案,设计了一个硬件信号量管理模块并用Verilog HDL硬件描述语言进行描述。仿真结果验证了这一设计的正确性,且其创建、请求和发送信号量操作的执行速度比μC/OS-Ⅱ中信号量管理部分明显提高。     

信号码的一个充要条件

给出关于一个信号码的充要条件的结论:设X是字母表A上的一个前缀码,那么X是信号码当且仅当A*=T∪X∪P,这里P=XA-,T={u∈A*|A*uA*∩X= }.满足条件T∩P= =T∩X,T XA+.同时讨论了一个码满足A*X XA*的一些充要条件,对极大前缀码的性质也做了一些研究.     

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

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

操作系统中信号量集的P、V操作

在一般的摊作系统教材中。对信号量集的操作讲得比较少，本文详细讨论了AND型信号量集和一般的信号量集的算法。希望对摊作系统的进一步深化教学有帮助。     

进程同步中信号量机制的应用

讨论如何有效应用信号量机制去实现进程的同步问题。     

VxWorks嵌入式系统下视频监控系统通信的研究

通过嵌入式实时操作系统(VxWorks),实现了视频监控系统的解决方案.研究了在VxWorks系统下实现设备和数据通信的关键技术和相应机制,并采用有限状态机(FSM)解决了串行数据通信的帧同步.文中重点分析了采用计数器信号量解决多进程同步通信,即生产者-消费者问题.本文的方案可以推广到串行设备以外的其它通信机制.     

基于同步共享内存的海—气模式耦合的实现

为解决海—气模式耦合过程中不同模式分量间数据的高效传递问题,选取Linux系统下通信效率最高的共享内存通信机制,为交换数据开辟共享内存区,并通过信号量协调数据交换时的同步,编写了基于同步共享内存的耦合模块。将该模块应用于中尺度大气模式MM5和第3代海浪模式WAVEWATCHIII的耦合中,对多个热带气旋的数值模拟试验表明:采用同步共享内存耦合模块建立的大气—海浪耦合模式运行稳定、高效,计算机时较传统耦合方法减少6%以上;耦合模块独立于数值模式,可直接移植到其他模式分量的耦合中,且适用于SMS和VSMS并行系统的计算。     

基于Agent的集卡调度建模与仿真研究

日益大型化的集装箱船舶对集装箱码头的生产调度提出了较以往更加严格的要求.集装箱码头中的集卡调度是否合理对于提高整个码头的装卸效率具有重要意义.利用agent和哈佛体系结构对集卡动态调度进行建模,以AnyLogic仿真平台为实现工具,基于数据库中实际的生产数据,融合黑板系统和消息通讯形成多agent之间的协同机制,引入操作系统中的资源分配算法调度集卡.最后仿真了具体的港口生产实例,其结果优于以往文献的仿真结果,充分验证了上述建模仿真思想的可行性和可信性.     

一种经典进程同步问题的控制机制研究

以信号量机制、管程机制、会合技术、Petri网这四种控制机制为基础,对经典的进程同步问题:生产者-消费者模型进行了分析,并给出了该问题基于不同机制的解决方案,对四种控制机制进行了比较研究.     

信号码的一个性质

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了信号码的一个性质,从而推广了文献[1]中的一个结果。