操作系统中多进程并行时的死锁问题

分析在单处理器操作系统中发生死锁的原因和解决方法.采用银行家算法和死锁检测算法来实现多个进程之间的并发执行.在对经典的银行家算法进行模拟的过程中,认识到它在现实应用中还存在的问题,提出可以改进的方法,并对改进前和改进后的时间效率进行了比较.     

基于列车自主运行系统的线路资源管理方案研究

对计算机操作系统资源管理的特点与城市轨道交通线路资源管理的特点进行了差异性对比。在此基础上根据城市轨道交通的运营特点,研究与之相适应的线路资源管理方法。对线路资源进行静态和动态分析,总结了引发线路资源死锁的条件,提出规避线路资源死锁的技术措施。提出了基于列车自主运行控制系统的线路资源管理方案。该方案通过合理划分资源及动态调整资源分配,提高了线路资源的利用率,规避了线路资源死锁问题,解决了列车实际运行任务与运行计划不匹配问题。     

数据库管理系统中的锁技术研究

通过对Microsoft SQL Server的锁管理机制的分析，讨论了引起死锁的各种可能性，锁的多粒度性和锁的多模式性以及由此引出的锁升级和锁的兼容性，提出了避免死锁产生、提升系统性能的最新方法——动态锁，以保证应用程序的正确运行及保持数据的一致性和正确性。     

一种基于自主控制的列车运行控制系统资源管理策略研究

通过剖析轨道交通线路资源的特点，把线路资源进行了分类处理，提出了一种基于自主控制的列车运行控制系统资源管理策略。并且通过建立动态规划模型，给出了优化的资源分配策略，避免了资源死锁和浪费。     

基于高效线程池的技术研究与设计

在对象池扩展设计模式的基础上，设计了高效线程池．研究了线程池中的死锁问题、线程分配问题、线程泄漏问题，提出了相应的解决方案，实现了线程池的策略管理与线程的高效复用，提高了系统效率．     

基于高效线程池的技术研究与设计

在对象池扩展设计模式的基础上,设计了高效线程池.研究了线程池中的死锁问题、线程分配问题、线程泄漏问题,提出了相应的解决方案, 实现了线程池的策略管理与线程的高效复用,提高了系统效率.     

基于时间自动机的监测系统通信流程建模分析

介绍了轨道电路微机监测系统的通信流程。使用实时系统验证及分析软件UPPAAL对建立的通信模型进行分析、仿真,并对一些特性进行验证。所建立的通信模型能够在轨道电路微机监测系统软件中仿真运行,并能够为软件的开发提供功能及时序规范,确保软件开发的正确性及软件运行时无死锁等故障发生。     

SelTrac~ CBTC信号系统中自动列车调整功能设计

CBTC(基于通信的列车控制)系统中,ATS(列车自动监控)子系统提供的自动控制功能包括列车自动调整和列车进路自动排列。介绍了SelTrac~CBTC系统中,ATS自动列车调整列车运行计划编制的内容,着重阐述了列车死锁预防的几种类型,分别描述了列车时刻表调整的工作原理及调整方法。     

基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

面向RITS的多Agent列车群运行模型

基于RITS的分布式系统结构和智能属性特征,针对列车群运行系统中子系统之间的关系描述以及通信协作行为的建模问题,采用面向Agent的G-Net方法构建了一种多Agent的列车群运行模型(AGNTOM)。该模型体现了多Agent技术、G-Net(Petri网)形式化描述、便于分析等特点,不仅能够描述列车Agent与车站Agent在列车运行过程中的通信能力,而且能使用形式化方法确保模型的各种属性。对模型所描述的列车与车站之间的通信协商过程采用基本Petri网模型描述,并使用已有的Petri网分析方法进行相关属性的分析。研究结果表明:模型具有L3-活性;模型所描述的列车和车站之间的通信协商行为不会导致通信的死锁与阻塞等。     

常见问题解答

3如何查看当前数据库中的进程信息?可以使用存储过程sp_who查看Adaptive Server中的所有进程的信息。Sp_who返回结果的解释如下:fid进程所属于的组,在配置了并行处理的环境中有意义,否则为0。spid进程号。系统管理员可以在T-SQL命令kill中用该号来停止进程。Status进程状态,正在运行或者休眠。Loginname启动进程的用户登录名或者别名,对于系统进程该项是NULL。Origname如果loginname是别名,则origname显示真实登录名,否则与loginname显示同一信息。Hostname数据库驻留的服务器名称。Blk_spid阻塞进程的ID(如果有的话)。阻塞进程(可…     

中国现代化进程的中流砥柱

中国现代化的过程是化蛹成蝶的过程,是不断完善不断进步的过程。在这个进程中,作为中国工人阶级先锋队的中国共产党发挥了其中流砥柱的作用。中国共产党是中国现代化必不可少的角色。     

高速铁路枢纽站技术作业计划与动车所调车作业计划协同编制研究

分析高速铁路枢纽站技术作业计划与动车所调车作业计划的协同编制过程,提出了将两个计划一体化编制的思想。以需安排作业效益最大化为优化目标,构建基于动车组车底的高速铁路枢纽站与动车所作业计划协同编制模型。针对模型特点,提出瓶颈工序、启发式分配规则及粗粒度主从进程模式的并行禁忌搜索策略(PTS)相结合的混合优化算法,首先确定作业安排瓶颈工序,然后启动主进程和若干从进程,主进程运用启发式分配规则快速生成初始解分配给从进程,从进程运用与瓶颈工序相关的禁忌算法搜索优化解,并反馈给主进程,主进程记录全局最优解并根据交叉策略生成新的初始解,重新分配给从进程进行TS搜索。最后,用实例验证了模型和算法的有效性。     

服务器倒切机制缺陷导致ATS系统功能异常的故障研究

在地铁运营过程中,如果ATS主机服务器网络不稳定,离线、上线过程中冗余的服务器进程出现主备表决异常、进程频繁倒切,甚至出现"双主用"的情况,就会造成全线进路无法自动触发等严重故障,威胁行车安全,影响地铁运营效率。本文针对ATS主机服务器工作方式、全线进路无法自动触发的故障过程和原因进行了详细的分析,提出了系统优化建议和解决措施。     

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。     

利用Wireshark查找进程间网络通信问题

本文描述一个在实际应用中遇到的进程间网络通信问题,介绍利用Wireshark对网络通信数据进行捕获、分析,并定位出问题产生原因的过程。     

高寒地区桩基施工回冻研究

结合青藏铁路DK1080 030小桥施工,说明了高原冻土施工中桩基回冻过程,根据桩基回冻的测温数据得出回冻时间,分析了桩基回冻的影响因素,以及回冻过程对施工进程的影响,为类似工程提供参考。     

学习者日志在英语教师培训中的作用

一、问题提出 我们都有更多了解自己和外部世界的强烈愿望。就英语教师培训过程而言，学习者日志（1earning log）不仅给学习者提供了一个纪录并反思自己英语学习进程的方法，而且为教师提供了一个了解学生学习过程及影响学生学习过程的多因素的途径。     

浅议在企业管理中知识管理的作用

简要叙述了企业管理中知识管理的概念、管理过程及管理目标,详细论述了企业知识管理的需求及应用,提出了企业知识化进程中面临的4大难题。     

企业信息化战略

从企业发展战略的高度介绍信息化的重要性和必要性，从不同企业信息化过程中的得失论述如何精心策划企业的信息化进程，以及企业信息中心在信息化中如何改革以适应信息时代要求。