基于临界互斥规则的跑道容量问题研究

分析终端区空中交通管制规则及影响机场跑道容量的因素,将发布着陆许可最晚时机从时空上与临界资源互斥特性结合起来,引入"跑道组件"概念。在FAA经典时空模型基础上考虑更多因素和参数,主要对跑道组件互斥占用时间和空中间隔进行探讨,构建更适用于中小机场在程序管制下仅到达、仅起飞及混合运行情形的跑道容量分析模型。最后,通过实例分析及随机模拟,验证了模型的可用性和可操作性。

体表电位标测系统中关键技术——心电信号数据高速采集

心电信号的数据采集是体表标测系统中关键技术之一。文中提出了 12 8通道高性能体表标测系统中心电信号数据采集的VxD算法 ,在Win9x系统下利用VxD技术、锁定内存技术和临界资源互斥访问算法相结合 ,实现了心电数据高速实时采集。该软件充分利用了硬件的等待时间 ,具有实时性高 ,运行速度快占内存少的特点。该软件在VtoolsD开发平台上用VisualC 开发。

基于Petri网的选课系统建模优化

针对在访问选课系统中的临界资源时出现的不稳定性问题,建立了一种基于Petri网的选课系统流程模型.首先使用"生产者-消费者"原理对模型进行优化,实现"发布课程"和"选课"的严格序关系;然后引入信号量机制进一步优化,实现互斥访问更新后的临界资源.最后用PIPE软件模拟运行优化后的模型并进行分析,结果表明模型具有安全性和有界性.