Output controllability and optimal output control of state-dependent switched Boolean control networks

In the present paper, we investigate the output-controllability and optimal output control problems of a state-dependent switched Boolean control network. By using the semi-tensor product, the algebraic form of the system is obtained. Then, output-controllability problems of the system are discussed and some necessary and sufficient conditions are given. Next, the Mayer-type optimal output control issue is considered and an algorithm is provided to find out the control sequence. At last, an example is given to show the effectiveness of the main results.     

基于Flash的关键变量容错存储技术研究

嵌入式系统中往往需要保存少量复位或掉电后依赖的关键变量,利用处理器片内Flash存储参数已经成为常规选择,但与常规Flash存储器件相比,片内Flash擦除次数更为有限,难以满足系统生命周期要求。研究了如何延长微处理器片内Flash使用寿命以及关键系统变量容错存储技术,针对典型嵌入式系统应用,分析Flash擦写管理机制,基于写磨损均衡算法进行改良,进一步提升系统容错能力。该技术在基于STM32单片机硬件平台进行了测试验证。     

软件定义网络中交换机处理时延的仿真

针对目前的网络仿真工具在对软件定义网络(SDN)的仿真过程中,未考虑交换机的处理时延的问题,提出一种处理时延的仿真方法,目的是为了使仿真结果更加真实和准确。该方法首先将交换机的转发处理过程分解为对流表的查询操作和执行不同的动作;然后,利用交换机的处理器频率和访存周期,将查询流表和执行动作转换为处理时间。实验中测量了真实环境中不同配置的交换机处理时延,并与利用该方法仿真出的处理时延进行对比。实验结果表明,利用该方法仿真出的处理时延和真实交换机的处理时延基本一致,该方法能够较准确地仿真交换机处理时延。     

基于Zig Bee技术的智能调光开关设计

根据智能家居的发展方向和用户需求,设计了一种基于Zig Bee技术的智能调光开关系统。设计方案采用新一代SOC芯片CC2530作为系统的无线收发模块,使得模块具备成本低、功耗小、高可靠、自组网、超视距通信等能力。采用ARM7嵌入式处理器LPC2132作为系统的微控制器模块,简化设计提高可靠性,使得系统具备分布处理能力。通过检测市电的过零点,开启延时定时器,定时器超时后触发双向可控硅导通的时间点来达到调光的目的。结果表明:本设计能够使家居照明系统更具可控性,更节能,使得家居环境更加舒适。     

基于电子印刷工艺的薄膜热电偶研制

薄膜热电偶由于具有体积小、热容量小及响应速度快等优点成为近年来学者们研究的重点。薄膜制备常用的方法有射频溅射法、离子镀膜法以及直流脉冲磁控溅射法等,但这些方法操作设备复杂,制作时间长,效率低,成功率低且复现性差。用电子印刷工艺制备薄膜热电偶,将Au,Pt的溶液化微纳米材料印制在基板上,印刷成为Au-Pt薄膜热电偶,该方法操作方便快捷,对电极材料污染小。通过试验证明:采用电子印刷工艺制备的Au-Pt薄膜热电偶符合Au-Pt热电偶检定规程的要求,热电偶精度高,重复性和一致性好。     

基于带缓冲的双通道开关技术的网络隔离器设计

在对网络隔离技术进行分析的基础上,研究利用网络隔离技术来解决网络安全问题。目前的网络隔离产品大多是采用基于硬件的开关控制,受限于现有硬件技术条件,并且厂家要根据不同用户要求而开发生产针对特定应用的网闸,不能方便地同时支持多种应用。提出了一种改进的安全隔离网闸实现方案。重点是模块化和软件方式实现开关技术,采用独立的软件开关控制和模块化设计,解决了现有物理隔离网闸产品在硬件开关控制和所支持应用上的限制,这种采用软件实现开关功能的方式避免基于现有硬件技术的可用性和寿命时间的限制。     

基于集成温度传感器的硅微陀螺仪数字化温度补偿研究

提出了一种基于集成温度传感器的硅微陀螺仪数字化温度补偿方法。首先,介绍了集成温度传感器的硅微陀螺仪基本结构原理,分析了硅微陀螺仪动力学方程以及温度变化对硅微陀螺仪谐振频率、品质因数、标度因数和零偏的影响。然后,设计了基于FPGA的硅微陀螺仪数字化补偿电路。最后,经过温度特性实验得到标度因数和零偏随温度变化曲线,建立了温度补偿模型,提出分段温度补偿方法。经过温度补偿后,标度因数和零偏的温度系数分别由316.66×10-6/℃和366.22°/(h·℃)减小为69.67×10-6/℃和115.25°/(h·℃),证明了补偿方法的正确性和可行性。     

Unikernel的研究及其进展

Unikernel是一种专门定制、优化的轻量级虚拟机,在云环境中,它能够解决由传统虚拟机带来的资源消耗大、低效率、低安全性的问题,有望成为超越Docker的下一代轻量级微服务系统架构。目前,Unikernel开源项目较多,技术呈现复杂性和多样性,使得研究人员和开发人员难以准确理解和把握。为此,首先介绍了Unikernel的基本概念和基本特点;然后总结出了Unikernel的系统架构,并详细阐述了Unikernel关键技术的研究工作进展,包括应用层、库操作系统层和平台适配层;最后结合已有的研究成果,探讨了Unikernel的研究方向及其面临的机遇和挑战。     

反相微乳液法制备陶瓷彩喷墨水(Ⅰ)

系统地研究了Span80-Tween60/助乳化剂/油/FeCl3反相微乳液体系。通过正交实验,进行方差分析,得出最佳反相微乳液体系。通过均匀实验和全面实验,绘制出体系的拟三元相图,并由相图得出体系的最佳比例。绘制出最大溶水量与温度的曲线,从而确定最佳乳化温度。在最佳温度、最佳比例下,配制出两种墨水,并测定了墨水的表面张力、粘度、电导率和稳定性等性能。     

反相微乳液法制备陶瓷彩喷墨水(Ⅱ)

通过红外光谱仪测定两种墨水的微乳液结构。结果表明,醚氧键中的羟基与H2O分子作用后因形成氢键,而且有强烈的相互作用;正己醇分子在该反相微乳液中水分子作用很弱,而且推断它位于反相微乳液的栅状层;随着微乳液中含水量的增大,水分子O-H伸缩振动峰的强度和频率均发生变化,其吸收强度变大,峰面积增加,频率也向低频方向位移;体系中存在三种水:结合水、捕获水和自由水。并探讨了其反应机理。