Growth mechanism and gas-sensing characteristics of organic-additive-free zinc oxide of various shapes

Zinc oxide is widely used in gas sensors, solar cells, and photocatalysts because of its wide bandgap and exciton binding energy of 60 meV in various metal oxides. To use ZnO as a gas sensor, it is necessary to synthesize it with surface defects and a large specific surface area. In this study, hydrothermal synthesis without surfactants was employed to obtain organic-additive-free ZnO. For morphology control, we varied the ratio of the hydroxide ion concentration to the zinc ion concentration. To confirm the growth mechanism of ZnO, we performed X-ray diffraction, scanning electron microscopy, and transmission electron microscopy analyses. Raman spectroscopy and photoluminescence measurements were performed to analyze the surface properties. The Brunauer–Emmett–Teller method and probe stations were used to measure the specific surface area and sensitivity of the gas sensor, respectively. The results confirmed that flower-shaped ZnO is the most suitable gas-sensing material.     

基于英飞凌TC275的整车控制器CCP协议底层驱动开发

针对以英飞凌TC275单片机为平台的整车控制器,进行控制器局域网络标定协议(controller area network calibration protocol,CCP)底层驱动程序的开发。依据CCP的需求开发了英飞凌TC275的控制器局域网络(controller area network,CAN)模块、系统定时器(system timer,STM)模块和FLASH模块的底层驱动程序,实现CCP标定系统的通信连接、数据上传、数据下载、数据存储等功能。为验证系统的性能,进行整车控制器的实际测试,测试结果表明:所开发的基于TC275单片机的CCP底层驱动程序能够实现CCP的功能要求。     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

气压仪器检定装置的升级改造

文章针对气压检定装置在使用中存在的一些问题,会同厂家对其进行了升级改造。介绍了改造后的气压检定装置的设计原理、软件和硬件设计以及技术指标等,新装置集成了目前先进的计量设备及技术,编写相应的程序软件升级改造而成。可广泛适用于气象部门空盒气压表、自动站气压传感器以及部分数字压力计的计量检定工作,实现气压检定工作的自动化,提高检定数据的准确性和可靠性,并有效提高检定的工作效率。     

Optimal supplementary frequency controller design using the wind farm frequency model and controller parameters stability region

In most of the existing studies, the frequency response in the variable speed wind turbines (VSWTs) is simply realized by changing the torque set-point via appropriate inputs such as frequency deviations signal. However, effective dynamics and systematic process design have not been comprehensively discussed yet. Accordingly, this paper proposes a proportional-derivative frequency controller and investigates its performance in a wind farm consisting of several VSWTs. A band-pass filter is deployed before the proposed controller to avoid responding to either steady state frequency deviations or high rate of change of frequency. To design the controller, the frequency model of the wind farm is first characterized. The proposed controller is then designed based on the obtained open loop system. The stability region associated with the controller parameters is analytically determined by decomposing the closed-loop system's characteristic polynomial into the odd and even parts. The performance of the proposed controller is evaluated through extensive simulations in MATLAB/Simulink environment in a power system comprising a high penetration of VSWTs equipped with the proposed controller. Finally, based on the obtained feasible area and appropriate objective function, the optimal values associated with the controller parameters are determined using the genetic algorithm (GA).     

Structural load alleviation using distributed delay shaper: Application to flexible aircraft

Lightweight flexible aircraft suffers from unwanted oscillatory vibrations during aircraft manoeuvres. A recently developed distributed-delay signal (DZV) shaper is therefore proposed to be applied as a feedforward controller to alleviate the manoeuvre loads, as an alternative to traditional structural filters used routinely in this context. Structural filters are essentially linear low-pass filters with bandwidth below the significant flexible modes, applied to control signals generated either by the pilot’s direct input or by the flight control system. It has been showed that if instead a properly tuned signal shaper is used, better performance can be achieved: first, the target modes are significantly attenuated while the responsiveness of the aircraft is less compromised and secondly, the oscillatory nature of the vibrations are reduced. The high fidelity simulation results on a full scaled dynamic model of a highly flexible blended wing–body (BWB) aircraft show that in comparison to traditional structural filters, signal shapers significantly reduce the wing root loading (forces and moments) which provides potential structural benefits.     

高速率通信网络下时变系统的有限时域H∞控制

针对高速率通信网络和Round-Robin（RR）协议影响下网络化时变系统的有限时域[H∞]控制问题，考虑到系统中存在乘性噪声、随机时滞和量化效应，提出了一种基于观测器的有限时域[H∞]控制器的设计方法。利用李雅普诺夫稳定性理论和线性矩阵不等式（Linear Matrix Inequality，LMI）技术得到有限时域[H∞]控制器存在的充分条件。基于锥补线性化（Cone Complementarity Linearization，CCL）方法通过求解一组递归矩阵不等式得到观测器和控制器参数。所设计的控制器保证闭环网络化时变系统在给定的时域内稳定，且满足预定的[H∞]性能指标。数值仿真验证了所提方法的有效性。     

基于STM32单片机的大学生体能监测仪设计与实现

体能监控仪作为生命体征监测设备,对于辅助大学生完成体能训练有很大帮助;基于STM32单片机技术,设计开发集成了多种传感器的一种大学生体能监测装备,它能够有效的检测包括心率检测、人体的步数、运动圈速、消耗卡路里等信息;该设计采用了STM32作为主控芯片,采用模块化的设计思路;在系统硬件设计方面,设计了包括STM32控制系统、心率获取电路、三轴传感器电路、显示电路以及按键电路等;同时将软件模块拆分成了初始化子程序、心率获取子程序,步数获取子程序,显示子程序等;Proteus仿真结果显示,使用STM32单片机技术设计的体能监测系统,能够运行稳定,测量心率范围60次/min~180次/min,可在心率异常时报警,同时检测步数的准确率达98%,满足体能监测任务需要,实验结果符合预期;为STM32单片机在体育运动研究信息化中应用提供参考。     

On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets

It is theoretically and practically significant to synthesize a maximally permissive (optimal) controller to prevent deadlocks in an automated manufacturing system (AMS). With an AMS being modeled with Petri nets, by the existing methods, integer linear programming (ILP) problems are usually formulated and solved to obtain optimal policies by forbidding illegal markings at the same time no legal marking is excluded. Without an efficient technique for solving an ILP, such a method is usually computationally prohibitive. A resource-oriented Petri net (ROPN) is employed to model a class of AMS for resolving the deadlock control problem with maximal permissiveness in this paper. Efficient methods are developed to figure out the key structures in an ROPN model for deadlock prevention. Based on the structural properties of ROPN models, this work explores several types of illegal markings that can be prohibited optimally by structural analysis. For these markings, a deadlock prevention policy can be derived in an algebraic way without solving a notorious ILP problem. For the other markings, linear programming (LP), instead of ILP, approaches are developed to forbid them optimally. Thus, a maximally permissive controller can be developed while the computational cost is reduced greatly. The proposed methods are verified by typical examples in the literature.