摘要：采用基于HORB的网络通信平台设计并实现了基于异构平台的网络化温度控制系统.首先,建立了基于HORB的网络通信实验平台.接着,选用研华板卡PCL812PG采集温度和PCI1760U产生PWM波构建基于铂尔贴的微反应过程温度实验系统,并开发了相应的通用驱动程序.针对微反应过程温度的网络化控制设计了基于CGT(Command Generator Tracker)的模型输出跟随控制器.应用所建立的网络通信平台和设计的控制器,实现了对微反应过程温度的网络化控制,该系统具有故障局部化、功能分散化及控制协同化特点.仿真与实验均验证了网络控制系统设计及控制方法的有效性.

摘要：导航制导与传感技术学科是自动化学科的一个重要分支,该学科研究运动体的位置、速度、姿态等运动信息以及相关环境与目标特征信息的获取和感知方法,在此基础上研究运动体的导引规律、控制策略以及实现途径.导航制导与传感技术关系到国家安全和国民经济建设,属于基础性、战略性和前沿性的军民两用高新技术.本文在国家自然科学基金委员会信息科学部学科论证会的基础上,进一步总结梳理了导航制导与传感技术学科的发展动态与研究现状,重点强调了被控对象与任务目标、任务环境、感知手段、执行机构以及布局结构的一体化设计和多学科交叉的研究思想,从共性基础理论、关键工艺与核心技术等不同层面阐述近期本学科的重点研究领域和研究方向.

摘要：高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。

摘要：提出了一种双半孔梁光纤布拉格光栅(FBG)加速度传感器实现加速度信号测量的方法。首先,建立了两点封装FBG的加速度传感模型,理论分析了加速度与位移敏感点的线性响应。其次,从理论上分析了两点封装方案中FBG的自振特性,讨论了封装光纤的长度和预应力对光纤自振频率的影响。最后,依据FBG的自振特性设计了FBG加速度传感器,并通过实验研究了FBG加速度传感器的线性响应和幅频响应特性。实验结果表明:提出的传感器在10～250Hz具有较好的平坦区,加速度响应灵敏度为41.2pm/G;加速度与波长具有较好的线性关系,线性度为99.8%。同时,该加速度传感器具有较强的方向抗干扰性,轴向交叉灵敏度小于4.8%。

摘要：在Hordes匿名通信系统的基础上,提出了一种新型安全的G-Hordes匿名通信系统.该系统由Guard Mixes与Hordes级联组成,其中Guard Mixes由Mix Cascade构成,可由可信第三方部署.用户选择部分Hordes节点作为洋葱报文目的地址集合,并在该集合中任选一节点作为Hordes起始转发节点,其余节点因不能正确解密而将接收到的报文丢弃.数据传输过程为:先发送报文给Guard Mixes,经Mix Cascade层层解密与混淆后传至正确转发节点,最后经Hordes转发到达接收者.分析表明,G-Hordes不仅能够有效抵抗前驱攻击,而且在整体上比Hordes和MixCascade更安全.此外,还对G-Hordes的网络延时进行了分析说明,指出可根据实际情况对MixCascade配置适当长度以达到系统性能与安全性之间的平衡.这为抵御前驱攻击及设计更加安全的匿名通信系统奠定了基础.

摘要：提出了一种小型农业作业机(SAM)产品可重构模块开发的新方法,将公理化设计技术(AD)应用于产品模块设计过程中,针对模块功能分解进行了F-B-S模型的构建和分析,以SAM产品核心模块变速箱为实例,进行了公理化设计和可重构模块的F-B-S模型验证。结果证明上述设计方法在SAM可重构模块开发中能实现模块的快速设计和重组,为产品的快速设计和建立SAM产品可重构模块资源提供了一种开发方法。

摘要：为满足电网规定的并网风电场必须具有低电压穿越能力(LVRT)要求,提出一种在风电场并网点加入直接功率控制的钒液流电池(VRB)储能系统的拓扑结构来提高风电场LVRT。根据目前风电机组发展趋势风电场采用基于全功率双脉宽调制AC/DC/AC控制策略的逆变器的永磁直驱风电机组(PMSG),VRB储能系统逆变器采用DC/AC双向功率流动的控制策略。所提出的控制策略通过协调控制风电机组机侧整流器、网侧逆变器和VRB变换器,实现平抑风电场出力和电压跌落时PCC点电压稳定控制及向电网提供一定的无功补偿。仿真结果表明,风速波动和系统电压跌落时,提出的方案可以有效平抑风电场出力波动,提高风电场LVRT能力,减小对系统安全稳定运行的负面影响。

摘要：提出了一种基于单膜片全粘封装的光纤布拉格光栅(FBG)加速度传感模型。首先,理论分析了其传感原理,并优化了最佳加速度灵敏度,深入分析和讨论了该模型的加速度灵敏度的频率响应。然后,基于该模型设计了FBG加速度传感器,实验研究了加速度的幅频响应特性、谐振频率和加速度的线性响应。结果表明:在小于共振频率的低频段具有较好的平坦区,加速度与波长具有较好的线性关系,线性度为99.8%,加速度响应灵敏度为36.6pm/G,实验值与理论值得的相对误差为3.68%;实验研究了传感器的横向抗干扰能力,交叉灵敏度小于1.3%,表明基于该模型的FBG加速度传感器具有较好的响应特性。

摘要：现阶段随着物联网的发展，对短距离无线通信技术的研究越来越多，然而各种技术的互补性却极少被研究。本文通过ZigBee和蓝牙技术的对比分析，在ZigBee协议栈的基础上。设计了一个在ZigBee和蓝牙设备之间信息转换的数据帧格式，以蓝牙设备作为ZigBee传感器网络与移动网络／互联网的链接和接入媒介，设计了基于ZigBee和蓝牙技术的网关，并进行实验。从理论和试验中证明了ZigBee和蓝牙互联工作方案的设计是切实可行的。

摘要：介绍沸腾式送粉器的结构及工作原理,设计基于PIC单片机的激光再制造送粉器控制系统。该系统通过电气比例阀来控制送粉速率,达到精确控制;控制器由基于PIC单片机的电路组成,体积小,操作简单,采用PID控制策略。实验结果证明:该系统控制精度高,稳定性好,在激光再制造领域具有较好的推广应用价值。