护士驱动下MDT管理模式在降低肠内营养患者喂养中断发生率中的应用

目的探讨在肠内营养过程中由护士驱动,运用多学科团队协作模式(MDT管理模式)在降低肠内营养患者喂养中断发生率中的应用。方法采用实验性研究方法,将2021年2-7月神经外科71例首次使用肠内营养患者作为对照组;将2021年8-12月神经外科71例首次使用肠内营养患者作为试验组,对照组接受早期肠内营养支持常规护理,试验组接受以护士为主导,联合营养师、临床医师、信息科等MDT团队管理模式,运用信息化肠内营养管理路径为患者提供个性化的肠内营养,比较2组肠内营养患者输注环节质量、肠内营养并发症发生情况、喂养中断发生情况及输注热卡达标情况,以降低首次使用肠内营养患者在喂养过程中出现的肠内营养并发症,减少与喂养流程有关的喂养中断发生率。结果2组患者肠内喂养开启及时率、喂养速度调节正确率比较,差异有统计学意义(P<0.05)。2组患者肠内营养并发症发生率、喂养中断的发生率及肠内营养开启3 d内的目标量达标率比较,差异均有统计学意义(P<0.05)。结论由护士驱动下MDT管理模式能提高肠内营养开启后3 d内目标达标率,降低肠内营养并发症及喂养中断的发生。

基于变量访问序模式的中断数据竞争检测方法

在航天嵌入式软件等中断驱动型软件中,中断数据竞争问题十分突出.然而,中断在并发语义、同步机制、调度机制等方面与线程(任务)有诸多不同,具有Ad-hoc特征,难以统一刻画,因此,主流的数据竞争检测方法并不适用.以航天嵌入式软件数据竞争案例库为基础进行了系统分析,提出刻画有害中断数据竞争的7种缺陷模式.针对其中最常见且最难解决的单变量访问序模式,基于抽象解释,提出一种支持过程间分析、中断并发分析的高效检测方法.设计并实现了相应的检测工具Space DRC.实验结果表明,Space DRC能够在145ms内检测出约21 400行程序中的真实数据竞争.Space DRC已经在多个航天重点型号中进行了应用,使得中断数据竞争专项分析的效率提高了至少5倍,并且降低了问题遗漏率.

静态检测中断驱动程序的数据竞争

直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.

分布式测试系统的一种网络通信设计

本文设计了一种基于数据通信的测试系统网络式控制方法，利用普通微机串口实现了对测试系统的分布式控制，设计了通用的串行接口适配器，制定了系统通信协议，完成了全部基于中断驱动的通信软件。实际应用表明，本方法具有良好的适应性。

采用轮询机制提高Linux系统的网络性能

目前,Linux操作系统被广泛应用在网络数据包收发系统中。这是因为,Linux采用中断机制来响应外部事件,保证了系统能够合理高效地利用CPU资源。但是,在高负荷网络环境下,大量的CPU资源将会被频繁到达的网卡中断占用,导致系统遭遇性能瓶颈,出现接收活锁1。为了避免在高负荷网络环境下系统性能下降,该文采用轮询机制处理网络数据的收发,而在低负荷网络环境中,仍然采用原有的中断机制。

中断驱动型嵌入式软件自动测试方案的实现

自动化测试作为一种重要的软件测试技术,如果将其引入嵌入式软件的测试流程,将会对软件的质量、成本和周期带来显著的效果。首先分析了基于模块化设计的嵌入式软件的特点和测试需求,随后提出了一套面向中断驱动型高可靠嵌入式应用的自动化测试解决方案,最后总结了自动化测试的优点及其适用范围。

航天嵌入式软件整数溢出的形式化验证方法

整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而少有工程应用.结合真实案例,对航天嵌入式软件整数溢出问题的分布和特征进行了系统性的分析.在有界模型检测技术的基础上,结合整数溢出特征,提出了基于整数溢出变量依赖的程序模型约简技术;同时,针对中断驱动型程序,结合中断函数特征抽象,提出了基于干扰变量的中断驱动程序顺序化方法.经过基准测试程序和真实航天嵌入式软件实验,结果表明:该方法在保证整数溢出问题检出率的前提下,不仅能够提高分析效率,还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测.

中英文奈伏泰斯接收机软件设计和实现

奈伏泰斯(NAVTEX)是以窄带直接印字电报方式发送和自动接收海上安全信息的系统。本系统采用软件无线电技术,用数字解调替代传统模拟解调,增加了系统的灵活性和可升级性;用液晶显示文本信息的方式代替传统的打印显示文本的方式更好地实现了人机交互;采用中断驱动模式并设计专门文件管理系统来保证和提高系统的实时性和稳定性。实际运行表明:该软件运行在自行设计的硬件平台上,已成功接收、解调、显示518 kHz通道的信息,验证了软件的可行性。

低压塑壳式断路器灭弧室压力与电弧运动的测量与分析

低压塑壳式断路器 (MCCB)灭弧室中的压力对其分断性能有重要意义。在高压振荡回路上 ,分别采用气压传感器和光纤测试系统对压力和电弧的运动形态进行了测量。通过分析比较采用气吹灭弧和仅依靠磁吹灭弧的两种MCCB的实验结果 ,可以看出 ,气压对于电弧运动有很大影响 ,同时采用气吹灭弧技术可以有效地提高MCCB的分断性能。

高负荷网络环境下改善网络服务器性能的方法

通过简单介绍网络服务器收发数据包的过程，分析造成高负荷网络环境下数据包转发性能下降的原因，同时引出接收活锁的概念，并介绍几种改善高负荷网络环境下网络性能的思路与方法。

画笔杆打磨设备自动控制器

为了解决画笔杆生产中存在的人工生产效率低、质量参差不齐以及生产安全等问题,设计一个基于STM32F103C8单片机的画笔杆打磨设备自动控制器。重点介绍了控制器的硬件设计和软件设计。在软件设计过程中提出了一种“中断驱动-状态转移”控制方法,简化了控制程序设计的复杂度。在所研制的控制器中,单片机接收固定在气缸壁上的磁性开关信号,经单片机分析处理后,控制电磁阀线圈的通电状态,驱动打磨设备的3个气缸伸缩,从而驱动画笔杆打磨设备的送料机构、分离机构、传输机构进行快速、有序地运动。现场实际运行表明,所研制的控制器使用方便、稳定性好,实现了画笔杆打磨设备的自动控制。

中断驱动的嵌入式系统数据竞争检测工具

中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域,但因系统设计复杂,运行环境多样等原因,中断不确定性导致的严重故障时有发生,数据竞争是较为棘手的问题之一。已有工作对中断导致的数据竞争检测做了许多尝试,但目前还没有比较易用的解决方案。为了解决这类问题,提出了一种基于控制流图的静态检测方法。该方法通过对源程序进行预处理分析,检测出程序中使用的共享资源和中断使能操作;根据预处理的结果,构建出源程序对应的简要控制流图;通过对简要控制流图的抢占关系分析,得到可能会导致竞争关系的执行序列。实验结果表明,该方法能有效检测出程序中潜在的竞争关系,并指明该潜在竞争的发生路径,帮助软件测试人员对故障进行确认和修复。

中断驱动系统模型检验?

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

基于WDF的PXI总线多功能数据采集卡驱动开发

在自动测试系统中,计算机与硬件板卡之间的高速数据传输是高性能测试系统研发的关键点。为满足海量数据的高速传输,PXI总线是很好的选择。随着对测试系统集成度要求的不断提高,更多的硬件设备需要参与到测试过程之中,这就使得设备的驱动开发与维护变得更加重要。在基于WDF驱动框架下,设计开发了PXI总线多功能数据采集卡的驱动程序。驱动程序的主要功能包括驱动对象与设备对象的创建、I/O请求处理、中断处理和DMA处理,很好的实现了计算机对板卡的功能控制。

一种新型任意波形发生器

本文介绍了一种新型的任意波形发生器。它将传统仪器中的部分功能转移到计算机上来完成 ,而在使用时又不需带着计算机 ,因此具有功能强大 ,体积小 ,使用灵活 ,成本低廉等特点。本文简述其特点 ,硬件构成、软件设计与工作过程。实际应用表明该仪器工作可靠、精度与稳定度较高 ,成本低廉 ,具有较好的灵活性和实用价值 ,可广泛地用于需要灵活输出任意波形的科学研究 ,生产实践和教学实践等领域。单片机软件采用了 Keil/Franklin公司的 C5 1语言 ,并借鉴了 Windows的消息驱动机制 ,采用了以中断产生的标志作为消息标志的消息驱动机制 ,较好地解决了快速响应和处理过程耗时之间的矛盾 ,还可以有效地防止代码重入的问题 。

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.

Windows9x/NT下CAN总线板卡中断驱动的快速开发

介绍了一种在Wind 9X/NT环境下快速开发设备驱动的方法 ,并给出了一个基于VC ++6的CAN总线通信卡中断驱动实例。

基于WDF的四通道图像采集卡驱动开发

基于某型号位标器性能评估系统提出的测试任务,需要开发能够满足性能评估测试任务中的高速、多通道独立采集等要求,通过以WDF驱动框架为基础,在PXI总线下开发出四通道LVDS图像采集卡的驱动程序。通过C++封装动态链接库以及用C#开发的测试界面进行四通道LVDS图像采集卡的数据采集测试,对其驱动程序的正确性、稳定性以及实用性进行了测试,得到基于WDF的四通道LVDS图像采集卡的驱动程序运行正常,且符合现场测试任务的要求的结果。

基于TMC-12卡构建消息驱动的控制系统

提出了一种基于消息驱动的构造闭环测控的一般方法,它采用TMC-12卡的中断捕获外部事件,并将它们所对应的消息送入到消息队列,一个循环-分支处理程序则实现对所有消息的处理。因此它能够将复杂的嵌套简化为独立事件,从而使系统的设计变得容易。

中断驱动控制系统的有界模型检验技术

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.