摘要：讨论了不确定奇异时滞系统的时滞相关型鲁棒弹性控制器设计问题.在一个关于标称奇异时滞系统的新的时滞相关型稳定性判据的基础上给出了一种新的有界实引理(BRL:bounded real lemma);基于此给出了时滞相关型鲁棒弹性控制器存在的充分性条件,最后通过数值算例说明本文结果的有效性.

摘要：研究了使用量化技术解决控制器局域网络(CAN)总线网络控制系统的带宽受限问题.首先,建立了多控制回路的网络控制系统模型,该模型综合考虑了采用对数量化器对采样信号进行量化和Bernoulli随机网络丢包过程.并针对量化误差和数据丢包,设计了控制器和观测器使得闭环系统指数均方稳定.然后根据控制性能最优化要求,设计了在带宽受限情况下的反馈网络调度器,提出了量化反馈调度策略.最后通过对3个独立控制回路组成的CAN总线系统进行仿真实验,验证了此调度策略的有效性和可行性.

摘要：给出了系统的研究模型,指出系统控制和设计必须考虑的3个关键问题:稳定性、透明性和时延处理.阐述了4个主要的稳定性分析方法:Lyapunov稳定性、输入输出稳定性、无源稳定性和基于事件的稳定性,总结了这些方法的优势和局限性.接着,给出了几种主要的控制策略,指出了现有控制方法的优缺点.最后,提出了进一步的主要研究方向.

摘要：为了有效和快速地实现直线型超声电机的设计,提出了一种基于响应面法的直线超声电机优化设计方法并应用于蝶形直线型超声电机。响应面法是一种试验设计与数理统计相结合的优化方法。首先,利用有限元法建立定子的参数化模型并选定设计变量;其次,利用试验设计方法在变量空间里选取样本点,对各个样本点所对应的结构利用APDL建立有限元模型并进行模态分析和谐响应分析,得到对应各样本点的响应值,利用这些样本点和响应值建立定子响应面近似模型;最后,利用单纯形法找到最佳的设计方案。优化结果显示,蝶形直线超声电机的多方面设计要求都得以实现。

摘要：利用非统一截面梁在正交方向上的2个同形弯曲振动模态作为工作模态,设计了一种新型直线超声电机。基于有限元理论叙述了该定子的动态设计过程,对定子驱动足位置、压电陶瓷安装位置和定子的不同夹持方式进行了仿真计算,分析了不同阶次弯曲振动模态作为定子工作模态的优缺点以及不同支撑方式对定子振动模态的影响。制造了一台原理性样机,样机定子直径为10 mm,长为55 mm,重为30 g。在驱动电压峰峰值为200 V,驱动频率为49.52 kHz,摩擦副为陶瓷摩擦材料对不锈钢的情况下,电机空载速度为374 mm/s,最大推力为13 N,推重比达到了43∶1。

摘要：针对恶意拒绝服务(DoS)干扰攻击对信息物理系统(CPS)正常运行的影响,研究DoS干扰攻击下某类CPS的H∞控制问题.能量受限的DoS干扰者采用周期型攻击策略攻击CPS中的无线信道,迫使无线信道的通信质量下降;CPS的无线信道存在由固有因素引起的随机数据包丢失,且由于恶意网络攻击具有突发性和隐蔽性的特点,DoS干扰者的攻击策略是未知的.将恶意DoS干扰攻击和无线信道固有因素对信道通信质量的影响表示为统一形式,并通过建立攻击容忍机制和基于观测器的控制策略,得到保证受攻击CPS在未知攻击者具体攻击策略的情况下能够实现指数均方稳定且满足预期H∞性能指标的充分条件,将H∞控制器的设计问题转化为凸优化问题的求解.利用数值仿真验证所提出控制策略的正确性和有效性.

摘要：提出一种基于代理的移动互联网隐私保护机制,该机制无需信任中心参与,为智能终端用户提供高效的隐私保护服务。首先,基于当前移动互联网服务固有的体系结构,利用代理的预处理优势,通过添加不同层次的代理网关,缓存相关服务信息,并对不同类型的信息采用不同的保护方法,实现具有针对性的隐私保护服务;在此基础上,以位置隐私为例,设计并实现一种基于背景信息的轻量级隐私保护方案;最终,通过理论分析与仿真实现,证明所提方案及机制的安全性和有效性。

摘要：针对直线超声电机的小型化问题,提出一种新型U形直线超声电机,该电机由U形定子和导轨组成,压电陶瓷片采用粘贴的方式固定在定子上.研究了电机的激振方式与位置,设计并加工了直线超声电机样机和测试装置.将柔性铰链结构应用到直线超声电机夹持中.通过实验确定了电机的最佳工作频率、预压力.研究了输出力和空载速度随工作频率、预压力和电压的变化规律.实验表明,电机在电压值400 Vpp,预压力25 N条件下,最大空载速度470 mm/s,最大输出力9 N,定子质量25 g,推重比达36;柔性夹持能提高电机的模态一致性和效率,同时简化了电机结构.该研究为电机小型化发展奠定基础.

摘要：超声切割刀在材料加工领域中有广泛的应用前景,可用于切割各种复合材料等硬脆材料。该文利用ANSYS有限元分析软件建立超声切割刀的有限元模型,对其进行模态分析和谐响应分析。仿真结果显示,超声切割刀在40kHz频率附近存在轴向纵振模态,其振动节点位于安装环和压电陶瓷中心线上,符合设计要求。基于有限元模型研制超声波切割刀,通过阻抗分析仪与激光多谱勒测振仪对换能器的固有频率与响应进行测试,获得的超声切割刀阻抗曲线平滑,谐振频率为40.261kHz,设计误差为0.83%,最大振幅达到14.52μm,结果与有限元计算相互吻合。

摘要：针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.