一种基于区域分解的实时测试用例生成技术研究

一种基于区域分解的实时测试用例生成技术研究[测试测量][工业自动化]

实时系统是指与运行环境的交互行为存在时间约束的系统。由于时间约束的无穷状态空间问题，增加了实时系统测试难度。本文基于时间自动机，利用时间区域分解的方法，将无穷状态空间的时钟区域在时钟数量对应的坐标图中等价划分为各个类，在生成的测试路径中取到相应的点坐标，简化取点的个数，有效减少测试用例的生成数量，进而相对减少状态空间爆炸的可能性，为实时系统功能、安全性验证提供理论基础。

发表于：2016/2/24 下午5:14:00

阵列数据库系统的存储块分割策略研究

阵列数据库系统的存储块分割策略研究[嵌入式技术][数据中心]

阵列数据库系统是存储和分析大规模科学数据的常用技术方案。目前主流的阵列数据库中存储块分割策略采用固定边长作为块的边界，若边长过大会增加查询分析时定位Cell的时间，反之则产生过多的小块增加内存开销。本文提出一种改进的Chunk边长分割算法CLD，其通过减少读取数据时的磁道数以及预取技术提高阵列数据库系统的性能。在阵列数据库系统SciDB集群上的实验表明，在最优情况下系统性能提升了10.9%。

发表于：2016/2/24 下午5:06:00

基于ZigBee的工业现场远程监测系统设计

基于ZigBee的工业现场远程监测系统设计[测试测量][工业自动化]

现代工业现场领域的某些设备能否正常运转受温湿度的影响很大，为此提出了本设计方案。此套监测系统是基于ZigBee无线传感技术和无线WiFi设计的。系统的硬件结构包括ZigBee模块、WiFi模块和温湿度传感器模块。上位机软件程序是在vs2010平台下由C#语言编写，其中包括C/S模式的后台应用程序和B/S模式的前台应用程序，整套系统实现了对整个工业现场领域的实时温湿度监测，为设备的正常运转提供了强有力的保障。

发表于：2016/2/24 下午4:30:00

采用三维运动分析的步态康复训练实验装置

采用三维运动分析的步态康复训练实验装置[嵌入式技术][医疗电子]

量化分析和评定肢体伤残患者康复训练后的康复程度，研究开发出一种基于三维MEMS加速度传感器的步态康复训练分析系统。通过单片机控制并由三维MEMS传感器采集患者行走时的加速度信号，将信号通过RF无线传输至计算机内，由计算机程序处理分析患者的步态信号，从而量化分析患者的康复程度，并储存患者的步态运动信息以供医生定期分析，作为今后康复治疗的依据。通过实验证明了使用加速度传感器代替传统影像学检测步态状况的可行性，相比于传统的基于影像学的步态分析系统，采用MEMS加速度传感器的步态分析系统大大减小了系统的体积和复杂性，使患者使用更加方便，便于推广应用。

发表于：2016/2/24 下午4:08:00

基于ARM的嵌入式智能入侵检测系统设计

基于ARM的嵌入式智能入侵检测系统设计[嵌入式技术][工业自动化]

为实现区域管理的智能化和科学化，结合实际项目，设计了一套基于ARM的嵌入式智能入侵检测系统。系统采用低成本、低功耗的ARM11芯片作为处理核心，利用嵌入式Linux实现远程实时的视频监控以及入侵检测功能，具有部署方便、稳定性高、抗干扰强、价格低廉以及智能管理的特点。

发表于：2016/2/24 下午4:01:00

平凉电厂#3机励磁系统切换异常分析研究

平凉电厂#3机励磁系统切换异常分析研究[电源技术][智能电网]

华能平凉电厂#3发电机励磁系统由A、B两套组成且调节器可以运行在恒电压、恒电流、恒功率因数3个通道，还配有备励通道。在机组投运初期进行过电压与电流通道切换，且两个通道切换时各个监控量数据正常平稳。2014年#3机组大修后在做励磁调节器双套电压通道切换备励时，发生发电机转子电压、转子电流、定子电流、无功功率剧烈摆动。经过调取事故发生时的录波图形，通过详细的理论分析，对励磁调节器的参数进行修正，成功解决了电压通道与备励通道不能切换问题。经实践证明，系统改造后电压通道与备励通道可以可靠切换，目前应用于#2、#3、#4机组。

发表于：2016/2/24 下午3:56:00

基于Vert.x的实时Web监控系统

基于Vert.x的实时Web监控系统[通信与网络][数据中心]

创新性地使用最新的Vert.x框架，利用其异步、非阻塞、实时性、高并发的工作模式，对现有的工业过程监控系统进行全面改造，极大提升了系统的响应速度，实时性得到显著提高，完全满足大量客户端并发的实时请求。

发表于：2016/2/24 下午3:51:00

基于STM32的四旋翼飞行器控制系统设计

基于STM32的四旋翼飞行器控制系统设计[模拟设计][航空航天]

四旋翼飞行器控制系统的性能决定了飞行效果的优劣，如何改善飞行控制系统使其拥有更良好的表现成为近几年的研究热点。根据四旋翼飞行器的飞行原理，设计了一种新型四旋翼飞行器控制系统。该系统以STM32作为主控制器，配合各姿态传感器实现飞行器姿态及位置的控制，并结合以姿态角为主要误差源的双环结构PID控制器，提高了飞行器的平稳性。经实际飞行验证，该飞行控制系统方案能够取得较稳定的飞行效果。

发表于：2016/2/24 下午3:37:00

基于STM32的数控机床主轴位置自动测量仪设计

基于STM32的数控机床主轴位置自动测量仪设计[嵌入式技术][工业自动化]

数控机床主轴与尾台顶尖是否处于同一水平线决定了机床的加工精度，因此对机床主轴位置的偏移角度进行精密测量是极其必要的。介绍了由STM32F103RBT6主控电路、刀型探头式光栅传感器以及模拟机床主轴的标准测试棒组成的测量系统，详细叙述了系统的电路工作机理和相关机械结构设计。研究分析了传感器输出信号的处理过程，提出了基于光栅位移传感器的绝对零位修正和刀形探头的弹性机械结构快速接触到水平、垂直方向测量点的方法，提高了系统定位精度。测量结果表明，该仪器可应用于数控机床生产企业的实际测量，有效地提高了机床生产效率和生产质量。

发表于：2016/2/24 下午3:25:00

基于ZigBee和Wi-Fi的智能家居系统

基于ZigBee和Wi-Fi的智能家居系统[通信与网络][物联网]

根据ZigBee技术及家庭控制网络通信的特点，设计出由ZigBee无线节点和嵌入式网关组成的智能家居系统。系统中引入多种传感器采集环境信息，能够远程控制家电设备，用户能通过手机APP和短信息方式查看系统信息并接收报警。

发表于：2016/2/24 下午2:29:00