开关电源高频变压器超声波测量装置设计

高频变压器是开关电源的核心元器件,在开关电源高频的趋势中,如何测量高频变压器的高频噪音成为业界所面临的棘手问题。提出一种开关电源高频变压器超声波测量装置,可以精确、便捷地测量超出人耳听觉范围的超声波,并通过微处理器处理分析测量信息后,在显示屏中得到所选定高频噪音频率段的平均功率等级。     

金安金沙江悬索桥隧道式锚碇变形破坏机制研究

隧道式锚碇的变形破坏机制涉及到结构与围岩的协同作用问题。以华丽高速公路金安金沙江悬索桥两岸隧道锚变形破坏机制为研究对象,利用工程类比法评价了其稳定性控制要素,设计了超载数值试验。根据塑性区的扩展过程确定了施工安全监测和需要采取预加固的重点部位,确定了隧道锚围岩的破坏模式。根据锚面监测点位移由mm到cm量级突变确定的两岸锚岩系统极限荷载均为6~8倍设计缆力,则锚岩系统的设计承载力取3倍设计缆力下变形安全是有保障的。丽江岸塑性区在10 P下贯通;华坪岸塑性区在14 P下贯通。设计缆力作用下,丽江岸锚碇最大位移1.5 mm、围岩1.2 mm、地表0.5 mm;华坪岸锚碇最大位移1.7 mm、围岩1.5 mm、地表0.7 mm,其响应顺序为后锚面监测点前锚面监测点锚碇中间岩体地表点,可作为后期结构及围岩安全监测布点和预警的参考,也证明当前设计缆力下变形和强度均是安全的。     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

快速鲁棒特征算法的CUDA加速优化

提出一种基于统一计算设备架构(Compute Unified Device Architecture,CUDA)的快速鲁棒特征(Speed-up Robust Feature,SURF)图像匹配算法。分析了SURF算法的并行性,在图像处理单元(Graphics Processing Unit,GPU)的线程映射和内存模型方面对算法的构建尺度空间、特征点提取、特征点主方向的确定、特征描述子的生成及特征匹配5个步骤进行CUDA加速优化。实验表明,相比适用于CPU的SURF算法,文中提出的适用于GPU的SURF算法在处理30MB的图片时性能提高了33倍。适用于GPU的SURF算法拓展了SURF算法在遥感等领域的快速应用,尤其是大影像的快速配准。     

时序最短路径算法

最短路径是指网络中两结点间阻碍强度最小的一条路径。传统的最短路径是在静态网络上进行研究的,然而现实生活中很多网络是动态的、有时序性的,因此传统的最短路径算法并不能用于解决所有最短路径问题。为了寻找时序网络上的最短路径,在Dijkstra算法思想基础上,提出一种时序最短路径的精确算法。文中利用严格的数学推导证明了本算法的可行性,并通过对构建的网络做实证分析验证了算法的正确性。     

我国节能减排的现状、问题与解决路径-一个文献综述

我国的节能减排问题日趋突出。本文从文献梳理角度对我国节能减排的现状、存在的问题以及解决路径进行了述评。研究显示,我国节能减排潜力巨大,节能减排效率低下。直接原因是由于我国产业结构、外贸结构、FDI 结构以及技术结构不合理造成的,但其背后更深层次的原因主要体现在：（1）GDP锦标赛下政治晋升制度的不合理导致了环境的负外部性;（2）激励与约束机制不完善导致政府缺乏节能减排的动力;（3）分税制的不完善导致了我国产业结构的不合理。为此,我们需要从优化产业结构、调整外贸结构、弱化 FDI的“污染避难所”效应以及增强技术进步效应入手,通过改革 GDP 锦标赛下政治晋升制度、完善激励与约束机制、调整财税体制等途径解决我国节能减排问题。     

浅谈水景元素在景观设计中的运用

水在自然界中,是重要的存在物质之一,也是人与自然之间互相联系的纽带。而水景元素,是现代景观设计中非常重要的组成,也是最富有表现魅力的艺术形式。水景元素在景观设计中的运用是十分广泛的,而且水具有很强的灵活性,变化形式丰富多样,在现代景观设计中是不可缺少的一部分。加强对于水景元素在现代景观设计中的研究与探讨,能够更好的促进现代景观设计的水平,催生出更多优秀的景观设计作品。文章介绍了景观设计中水景元素的一般类型以及特征,并阐述了水景元素在景观设计中的具体运用,以便在以后的景观设计中,更好的优化水景元素的设计。     

“里特罗”风格与平面设计

“里特罗”风格的设计流派的特点是强调历史风格的复古和重构,是对欧洲20世纪上半叶的平面设计风格的复兴。“里特罗”风格既是对这个时期的风格特点的偏爱和认可,又是对当时的现代主义和国际主义中的沉闷、刻板、乏味以及过分理性的反对。由于这个风格是对20世纪20年代至30年代流行的某些平面风格的复兴及演绎,对于今天的平面设计依然有着重要的影响。     

CAN时分信息和优先级晋升实时调度策略

基于事件触发和静态优先级的CAN网络在网络负载较大时,通信的实时性难以保证.为此研究了时分信息和优先级晋升信息实时调度策略,并给出了相关策略在应用中的改进和算法实现.     

随机网络编码数据传输的仿真实现

基于随机网络编码方法,构造了在实验室内实现单源组播网络数据传输的仿真模型:用局域网内的网络终端代表单源组播网络的节点,以IP地址和端口号代表有向信道,采用UDP网络通信实现数据传输,从而对单源组播网络进行了仿真。运用Java编程实现了有限域的算术运算,根据随机网络编码的编码规则,分别编写了单源组播网络的源节点、中间节点和宿点的工作程序,形成了一个完整的软件系统,该仿真模型可以适合于任意单源组播网络。