嵌入式软件中断系统资源冲突检测技术研究

由于中断触发的随机性和不确定性,导致中断缺陷引发的问题时有发生,而且通常是不易追踪的严重软件故障,因此对中断系统软件的测试就提出了很高的要求,但是目前可用于中断系统资源冲突检测的工具缺乏。为有效检测由中断的资源冲突引发的软件问题,在分析了与中断相关的典型故障模式的基础上,提出了一种针对嵌入式软件中断系统的资源冲突进行检测的技术和方法。实验结果表明,该方法可有效检测出软件中与中断相关的资源冲突问题。

基于表格的中断数据冲突静态分析方法

中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.

司法调解话语中的冲突性打断

司法调解是民事审判的重要结案方式,调解语言作为法庭话语的一个重要组成部分却很少有人研究。本文以真实的调解话语为语料,以会话结构理论为分析框架,对司法调解中出现频率很高的冲突性打断进行研究,从打断的类型和语用功能、打断的互动特点与打断人的权力关系以及打断对调解结果的影响等方面进行了分析,认为打断是调解中重要的话语策略,调解参与人如能顺应语境因素,适时进行打断,将有助于调解朝自己所倾向的结果发展。

航天器C51语言软件中断资源冲突分析方法

对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.

英语电视新闻访谈中的冲突话语分析

本文主要基于Sacks的相关会话理论,分析英国BBC电视新闻访谈节目Hardtalk主持人与语言学家乔姆斯基关于美国反恐战争的对话中的冲突话语。基本结论是:这种话语中存在着话轮抢断、相邻对变异和回避现象等破坏性话语结构。在此基础上,探讨话语冲突的机制。

城镇女性的生育型职业中断问题探析

女性的职业路径经常会因为生育、抚育子女而被中断,传统性别观念、托幼公共服务短缺导致了照料责任的女性化,生育二孩、有3岁以下婴幼儿的女性职业中断期较长。职业中断对女性职业发展产生了一定的负面影响。育儿不仅是个人和家庭的责任,更是国家和社会的责任。实现育儿与工作的平衡,需要在全社会营造和谐平等的性别文化环境,更需要政府、市场、社会、家庭等多方力量共同参与、协商与合作,建立起完善的生育与就业支持体系。

一种高可靠的星载软件时间管理方法

时间管理是星载软件中一项基本且重要的功能,准确的获取星上时间是星载软件部分重要功能正确执行的必要前提条件;星载软件在处理获取星上时间码函数中曾发生多次质量问题,文中对软件设计过程中遇到的时间获取与时间维护冲突的问题进行了机理分析,并提出了3种有效的解决办法,保证了在各种复杂情况下星上时间获取的正确性;最后,给出了一种高可靠的星载软件时间管理方法,从设计要求、设计方法和设计实现3个方面对其进行了描述;此方法已成功应用于多个航天器中。

访谈节目主持人的话语打断现象探讨——以央视“艺术人生”节目为例

以央视"艺术人生"节目为例,讨论访谈节目主持人的话语打断现象。在明确打断内涵的基础上着重分析了打断的功能类型和语用技巧,最后简要论及打断的反应。

基于TRIZ理论的扫地机器人打扫中止问题求解

针对某型号扫地机器人在运行过程中出现的"中止"问题,运用TRIZ理论中的分析问题和求解问题工具进行求解。通过对其进行根原因分析,发现导致该款扫地机器人打扫出现中止问题的根原因主要为V形长刷直径小、车身较厚较宽、集尘盒体积小、静电吸附等原因。分别以这4个根原因为关键问题入手点,运用TRIZ理论中的40条发明原理、物质-场模型、76个标准解、裁剪,以及进化路线等解题工具进行问题求解,最终得出11种解决方案。通过对11种解决方案进行可行性分析及评价,最终确定解决导致扫地机器人打扫中止问题根原因的方案,保证扫地机器人在无人状态时的打扫效率。

双向实时通信冲突解决方案研究

在工业生产中,产品了获得工业设备信息,需要实时与计算机进行通信。工业设备获取传感器的信息,需要RS 485,SPI,CAN等接口实时与传感器设备通信。当二者同时时,微控制器产生中断冲突,造成设备数据丢失或控制计算机的通信死机。为了保证产品的稳定性,提出了一种基于双微控制器,并同时利用异步FIFO实现双向通信的速度匹配和数据交换。实验证明该方法有效地解决双向实时通信产生的通信的中断冲突,保证工业设备的稳定性和数据通信的准确。

基于DSP的中断冲突避免机制的研究与实现

针对基于DSP芯片TMS320C6701的嵌入式软件系统设计过程中常见的中断冲突问题,提出相应的解决方法和简单有效的避免机制。通过将周期性中断改为主循环查询模式、将DSP系统计时由定时器中断改为FPGA同步计时等方式,使系统中多个中断设计简化为一个中断,避免中断间的冲突。针对中断和主程序间的访问冲突,通过在主程序中关中断等方式,避免共享资源访问冲突。针对DSP系统和外部总线的访问冲突,通过约定接口的通信协议,避免时序冲突。通过静态分析和动态长周期测试验证,方法有效避免了中断冲突,实现简单;针对不同冲突机制,措施灵活。设计已应用于星载相关设备,也可推广至其他嵌入式软件系统使用。