具有多重焦点的波带透镜的设计

本文提出了一种新型的具有多重焦点的波带透镜的概念及其设计方法。可提供某些特定的光场分布,而且具有性能稳定、微型化和可实际制作等特点。     

基于嵌入式移动浏览器的QtWebkit 2.1内核研究与开发

通过对多种支持HTML5技术内核的分析,选取了Webkit内核Qtwebkit2.1。在对其进行深入分析的基础上,着重研究了它对HTML5的支持。最后选取并裁剪了基于Qtwebkit2.1内核的浏览器QtWeb,实现对MeeGo平台的移植。经实验表明,该嵌入式移动浏览器能部分支持HTML5技术规范,为以后的进一步研究奠定了良好的基础。     

高可用性舰船网络系统研究

随着舰船信息系统网络化应用的不断增加,信息系统对舰船网络的依赖性也在不断增强,这对网络持续提供服务的高可用能力提出了更高的要求。鉴于目前舰船网络系统的可用性不能满足舰船信息业务对数据中断恢复时间所提出的要求,将最新的商用高可用性IRF2技术引入舰船网络系统,提出了一种新的舰船网络系统方案。该方案采用双交换机堆叠及跨交换机链路聚合的方式实现网络的网关冗余和路径冗余,简化了网络的逻辑结构,提高了整网的故障恢复时间。通过搭建的原型系统对方案的重要参数进行了测试,结果表明：相比于目前的舰船网络,该方案提升了网络效率,并将故障倒换时间从秒级缩短到了50ms级。     

大型立式玻璃磨边机整机动态特性分析

大型立式玻璃磨边机的动态特性影响玻璃磨边质量和磨边效率。利用Solidworks软件建立某大型立式玻璃磨边机三维实体模型,导入ANSYS软件中,对整机结构有限元动力学分析,得到该磨边机前六阶模态参数,分析了各阶振型对磨边机动态特性的影响,为磨边机结构的改进设计提供了理论依据。     

多输入的二阶广义分布参数系统的控制综合问题

广义分布参数系统具有广泛的实际背景.如复合材料中的温度分布,电缆中的信号传播,电磁耦合超导线路中的电压分布,飞行器姿态控制等问题研究中都会出现这样的系统.极点配置与反馈稳定性是这类系统研究的重要方面.本文应用泛函分析及算子理论讨论了Hilbert空间中多输入的二阶广义分布参数系统的极点配置与反馈稳定性问题,获得了这类系统极点可配置与可镇定的一些充分条件,并利用复分析、复级数、有界线性算子的广义逆等方法建立了反馈控制律的构造性表达式.本文结论不仅具有重要的实际意义,而且对广义分布参数系统的控制综合问题研究具有重要的理论价值.     

母线保护选型配置原则及整定计算

以220kV变电站母线保护为例,介绍母线保护选型配置及整定计算原则。     

Maximal contractions in Boolean algebras

In the present paper,the concepts of deductive element and maximal contraction are introduced in Boolean algebras,and corresponding theories of consistency and maximal contractions are studied.An algorithm principle is proposed to compute all maximal contractions for a consistent set with respect to its refutation in Boolean algebras.It is pointed out that the quotient algebra of the first-order language with respect to its provable equivalence relation constitutes a Boolean algebra,and hence the computation of R-contractions for closed formulas in first-order languages can be converted into the one in Boolean algebras proposed in this paper.Furthermore,the concept of basic element is introduced in Boolean algebras,which contributes to the definitions of clause and Horn clause transplanted from logic to a special type of Boolean algebras generated by basic elements.It is also pointed out that the computation of R-contractions for clauses in the classical propositional logic can be converted into the one in Boolean algebras generated by basic elements proposed in this paper.     

6LoWPAN在物联网中的应用仿真

提出了一种基于6LoWPAN的物联网总体方案,同时对协议中的Mesh字段进行了改进,然后在网络模拟环境下对本协议平均传输成功率、平均延迟时间的性能进行了比较分析,并在仿真环境中进行了实验验证工作。实验数据表明,改进后的协议具有更好的性能。