关键词： 多线程建模   死锁检测   语义转换   形式化验证   通信顺序进程   过程分析  

摘要： 并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSIX线程库开发的C语言程序研究并不多。为了检测POSIX线程库开发的C语言程序是否存在死锁问题,提出一种对多线程程序进行自动建模与死锁检测的形式化验证方法。首先,根据C++CSP框架和源程序之间的联系,实现源程序到C++CSP框架的语义转换;然后,对C++CSP框架建立通信顺序进程(CSP)模型,并通过过程分析工具(PAT)对建立的模型进行死锁检测;最后,通过实例验证了本文中自动建模与死锁检测方法的可行性与有效性。

关键词： 电缆接头   低功耗蓝牙   全尺度   立体测量  

摘要： 三芯配电电缆接头是配网供电系统中的薄弱一环,温度是反应电缆接头运行状态的重要指标。本文基于低功耗蓝牙技术,利用单片机集成度高、运行可靠的优势,设计了一种电缆接头全尺度温度测量装置。本文首先介绍了监测装置的硬件框架设计,其次分析了各硬件的特点及选型,最后将该装置进行了实验及现场验证分析。通过该装置对三芯配电电缆接头的温度进行立体测量,为实时掌握电缆接头的整体温度,电缆接头运行状况的准确分析提供了途径。

关键词： 龙芯3A3000   COMeTYPE6   国产化  

摘要： 本文介绍了基于龙芯3A3000处理器、COMeTYPE6定义标准,自主可控COMe核心模块的实现方案和设计原理,详细阐述了相关关键技术的设计方法,为终端操控和信息处理领域提供良好的解决方案。

关键词： 婴儿培养箱   中央监控   低功耗   不良事件  

摘要： 目的为减少婴儿培养箱不良事件的发生,设计一套婴儿培养箱多参数(温度、湿度、二氧化碳浓度)无线中央监测系统。方法以我院新生儿重症监护室的婴儿培养箱为研究对象,采用微控器MSP430F149对传感器采集的数据进行实时显示与报警,并利用无线射频技术nRF905将数据传输到中央站进行数据存储和分析,实现集中监测和管理。结果经过临床测试,该系统能够有效地监控婴儿培养箱内的环境,减少了不良事件的发生,提高了婴儿培养箱使用安全性,同时减轻了人员工作量。结论本系统的实现将对婴儿培养箱的临床应用和安全监测有着重要的意义,在医疗领域的应用具有很好的推广价值和应用意义。

关键词： 带通采样   低功耗接收机   下变频  

摘要： 针对因传统随钻电阻率仪器的接收机电路功耗较高造成的仪器使用成本高、作业效率低下的问题,提出了一种低功耗接收机的设计方案。给出了基于带通采样定理的新型接收机方案,并对新型接收机与传统接收机进行了测量精度与功耗的对比。结果表明带通采样接收机能够在有效降低电路功耗的同时满足测量精度的要求。

关键词： 带隙基准电压   PTAT电流   CTAT电流   温度系数  

摘要： 对带隙基准电压源的温度系数和功耗进行了分析研究,采用与绝对温度成正比(PTAT)的电流和与绝对温度互补(CTAT)的电流加权和技术,同时采用放大器工作在亚阈值区技术及运放失调补偿技术,基于0.4μm的CMOS工艺设计了一个低温度系数、低功耗的基准电压电路。通过电源电压、工作温度及工艺角对基准电压影响的仿真,结果表明该带隙基准源典型的温度系数为2×10^-6/℃,功耗为5.472μW,基准电压为1.32V,电源抑制比为83.5dB,实现了低温度系数、低功耗特性,且电路工作稳定。

关键词： 低功耗   LoRa通信   物联网   安全监测采集系统   频谱分析  

摘要： 为了解决安全监测工程中存在的现场测点位置分散、工况区域危险、设备有线通信和供电难以保证、振弦仪器数据不稳定等问题,采用LoRa通信、协处理器和谱分析技术,研发了无线低功耗安全监测采集系统。该系统由低功耗采集单元、数据集中器和设备连接平台组成,实现了自动化采集单元低功耗运行和数据实时无线传输的功能。通过丹江口大坝自动化监测与人工观测的数据对比可知,无线低功耗安全监测采集系统准确性、完整性都与人工采集方式无明显差异,且数据频次和及时性都高于人工采集方式。该采集系统解决了工程建设施工期边坡土石坝等工程安全监测自动化实施难题,并且已经在一大批大型水利水电工程中获得了成功应用,具有很好的应用价值和推广前景。

关键词： 超低功耗短距离无线通信   输血   应用  

摘要： 目的本文旨在探讨一种新的超低功耗短距离无线通信技术在输血领域的应用。方法把复杂的Mesh组网交给IP层完成,采用有源设计,标签可集成多种传感器并自行储存数据,进行全流程的血液制品冷链、信息、位置等监管。结果该技术结构上更简洁,集成温度传感器的标签完全满足血液制品采集到输注的全流程冷链、信息监管、位置记录及追踪等功能。结论超低功耗短距离无线通信实现了高效的血液制品全流程冷链、信息监管,位置记录及追踪能力。比被动RFID等传统设备更强大和灵活,同时该技术具备中国完全知识产权,开放、共享,使用该标准不需要付版权费,值得深入研究和推广。

关键词： 多线程   管道通信   数据驱动   协议数据  

摘要： 在基于装备的显控软件开发过程中,一般包含各种界面显示功能,通信数据收发功能,数据处理与转换功能,数据提交与分发功能。这些功能都是相互独立的部分,相互之间是异步工作的,这就需要他们之间能够相互勾连互通,相互之间能够通过内部协议数据进行驱动。功能技术实现需要借助于多线程和阻塞式读取管道协议数据的方式来实现数据驱动整个程序进行高效且实时地运转,这就大大提高了显控软件的实时性,有效地避免了界面反应迟钝和卡死的现象,也极大地提高了除界面以外其他功能独立于界面运转的实时性和对装备中显控软件以外其他与显控软件通信连接的部分应激反应的实时性。