一种适用于IPv6网络的可用带宽测量方法

可用带宽测量是网络测量的重要内容,它为网络性能优化、网络资源分配与管理提供依据.本文分析了当前可用带宽测量的研究现状,并提出了适用于IPv6网络的可用带宽测量算法SR-SLoPS.该算法在使测试报文对网络正常业务流的影响减至最低,并保证测试路径唯一的基础上,利用发送端与接收端的速率差值实现对网络单向可用带宽进行测量.实验证明,该算法结果准确,网络开销小,收敛时间较短.     

量子点能带宽调控研究新进展

能带宽决定着量子点的光电性能,由于量子限域效应,量子点的能带宽可以随粒子大小的改变而改变.然而,通过改变粒子大小来调控量子点的能带宽仍然存在一系列问题,如极小尺寸量子点的不稳定性、大尺寸结构对量子点-生物分子结合体功能的影响等.因此,近年来开发新技术用于量子点的能带宽调控具有重要的实际意义.本文综述了量子点能带宽调控相关领域的最新研究进展,包括合金量子点、核壳量子点以及掺杂量子点等,并对其研究趋向及应用进行了展望.     

六阶极窄带宽高温超导滤波器的研制

文中研制了一款极窄带宽的六阶高温超导滤波器,成功实现了相对带宽小于1‰的多阶高温超导滤波器的设计与制作.文中给出了极窄带宽高温超导滤波器的等效电路、理论曲线、耦合矩阵、设计过程、模拟仿真结果以及滤波器的物理电路结构,有效解决了极窄带滤波器的设计、材料与加工精度的技术难题,研制的高温超导滤波器使用蒸镀于0.5mm厚度的氧化镁(MgO)基片上的DyBa2Cu3O7双面高温超导薄膜加工制作,滤波器工作频率约为900MHz,相对带宽为0.58‰,滤波器的实际损耗小于0.6dB,带外抑制达到70dB以上,其测试曲线与模拟仿真结果很好的吻合,文中的试验结果标志着多阶高温超导滤波器可以实现的最窄带宽达到了一个新的高度.     

超塑性自由胀形精确加载实验测量装置

超塑性合金的结构敏感性很强,板材超塑性充模胀形的变形规律,不仅与应力状态有关,而且与加载路径有密切关系．超塑性自由胀形边界固定不受摩擦影响,因此,研究超塑性自由胀形的变形规律及其实验装置,是超塑性充模胀形成形的重要基础．采用纯净高压氩气源并用炉外加热系统加热后作为高温高压胀形加载介质,提高了热效率和试件加热的均匀性;采用光电转换非接触测量装置,避免了接触式顶杆对自由胀形件极点处附加应力和温度不均匀的影响;以筒形压边绝热炉内试件的温度和压力为依据,反馈调控温度和压力,提高了试件温度和压力的测控精度;在加载气路中通过准确测控步进电机转角实现调压,并控制电磁阀加载,显著增加了调控气压的响应特性．同时介绍了恒压加载、压力跃变加载以及附加背压的对向差压加载等几种自由胀形典型加载路径的实现步骤和方法,提供了测量超塑性自由胀形应变速率敏感性指数m值和探索提高超塑性自由胀形变形速度的新途径．     

一种基于微带天线的应变测量技术

结构在长期使用中常常会产生裂纹,裂纹萌生时的尺寸一般很小,不容易被发现;当裂纹被发现时,往往已经扩展,甚至接近临界尺寸,危及结构安全．由于裂纹主要产生在结构的应变集中处,所以对“关键区域”的应变进行监测可以作为裂纹萌生的表征．传统的应变测量技术很难满足长时间、低成本、快速检测等要求．为克服传统应变传感器的缺点,本文对基于微带天线的应变测量技术进行了可行性探究．微带天线的中心频率与自身尺寸有关：当其变形时,中心频率也会发生相应的偏移．因此,可利用微带天线中心频率的变化来表征应变．本文设计和制作了四种不同尺寸的微带天线,以探兖基于微带天线的应变测量技术,同时研究其影响因素．将天线黏附在悬臂梁上,并在悬臂梁自由端处施加载荷,进行应变测量实验．通过矢量网络分析仪得到回波损耗S-一曲线,并获得应变与微带天线频率偏移的关系．分析结果显示,应变与中心频率偏移之间存在近似线性关系,可利用微带天线测量应变．     

混沌激光相关法光时域反射测量技术

提出一种新型的光时域反射测量技术,即混沌激光相关法,可突破脉冲飞行法和伪随机信号相关法的瓶颈,获得与测量距离无关的高精度测量.利用长外腔光纤环反馈半导体激光器产生宽带混沌激光作为探测信号,进行光纤反射点探测及分辨率的实验验证,并分析了探测光的衰减对测量结果的影响.结果表明,该技术测量光纤反射事件可获得优于6 cm、与事件位置无关的空间分辨率和至少25km的测量范围.     

高温超导带材临界电流和n值指数非接触测量技术

近十几年来,随着高温超导材料制备技术日益成熟,实用长度Bi系和Y系高温超导线材已经实现了商业化生产,在高温超导电力技术领域研发取得了重要进展,相应的各种超导电力装置实现了示范运行,为实现其商业化运行奠定了技术基础.但是,由于高温超导材料本身具有弱连接、晶粒特性、次相、缺陷等内禀特性,实用长度高温超导带材的临界电流和n值指数不可能做到完全相同.高温超导线材的临界电流和n值指数对超导电力装置的安全运行、稳定性、运行效率等具有重要影响,因此临界电流和n值是描述高温超导带材均匀性的2个重要参量,也是衡量实用高温超导带材质量的重要参数指标.重点介绍实用高温超导线材临界电流和n值指数非接触测量技术的技术进展,提出评价实用高温超导带材临界电流和n值指数均匀性的统计分析方法,为高温超导电力装置的设计、运行提供重要参考依据.     

GNSS星间链路测量与通信新方法研究

本文研究了GNSS星间链路测量与通信系统的关键技术.通过对标准型Walker24/3/2星座卫星的星间几何特性和空间参数的分析,设计了一种具有低跳数全网覆盖通信能力的星间固定链路拓扑结构,有效的减少了星间链路的数量,增强了系统的可实施性和可靠性.提出了一种新的时分双工方式和测量与通信一体化的信号体制,详细推导了新体制下采用双向扩频非相干信息帧测距与时间同步算法的计算公式、误差的模型和修正方法.理论分析与仿真结果表明本文所设计的GNSS星间链路测量与通信系统较现有的GPS系统具有更高的测距/时间同步精度、更高的测距效率、更有效的信道利用率和更大的数据传输率,而且不受星座构型的限制,既适用于MEO星座,也适用于未来MEO和GEO等混合星座,为新一代GNSS星间链路的建设提供了有力的技术支持.     

喷油量自动测量装置的研究

基于ATmega128单片机和差动变压器式（LVDT）位移传感器,运用位移法的工作原理,设计了高精度柱塞油缸量油系统。在设计之前,对柱塞油缸进行了精度分析。并在喷油泵试验台上进行了对比试验,结果表明该测量系统精确、可靠。     

火星壳磁场对电离层影响的综述

火星壳磁场对电离层的影响是火星电离层研究的热点之一.本文总结了国际上针对火星壳磁场对电离层影响的研究.早期的火星电离层数据主要来自无线电掩星观测.根据无线电掩星观测结果,火星壳磁场主要影响电离层的电子密度标高和峰值电子密度.强水平磁场可以有效阻止等离子体的垂直扩散,导致顶部电离层电子密度的标高与光化平衡区域相近;而在类似极尖区的强垂直磁场区域,由于等离子体的垂直扩散增强,会导致扩散平衡区域电子密度标高的增加.MGS的无线电掩星观测发现在火星壳磁场比较强的南半球区域电离层主峰值电子密度平均略高于在北半球弱磁场区域的观测结果.MEX首次利用顶部探测雷达对火星电离层进行观测,其观测结果证实电离层主峰值电子密度的异常增加只发生在火星壳磁场中类似极尖区的开放磁场区域,而且峰值电子密度增加的幅度远大于无线电掩星观测的结果.造成在火星壳磁场类似极尖区的开放磁场区域出现电离层主峰值电子密度异常增加的可能机制有两种：一种与能量粒子的注入有关;而另一种与等离子体不稳定性的激发和波动加热有关.目前还无法确定是哪种机制起主要作用.在此基础上,本文提出了火星电离层和等离子体环境需要深入研究的几个问题.     

无线传感器网络路由协议研究综述

近年来，无线传感器网络作为国内外一个新兴的研究方向，吸引了许多研究者和机构的注意力。无线传感器网络的特性决定了其最主要的一个设计目标是有效使用片上受限资源（能量、内存和处理能力）以保持最长的生命周期。为此，许多研究工作通过研究不同应用下的网络层特性，提出了一系列路由协议。本文总结了相关方面的工作，对主要的协议进行分类比较和研究，并提出了一些值得继续工作的方面。     

基于单片机的工件零位偏差角度测量系统的设计

目前三棱形轴孔工件的零位偏差角度测量多采用手动找正,但手动找正存在劳动量大、精度低等诸多缺陷.针对该问题的不足提出了基于AT89C52单片机为核心的零位偏差角度自动测量系统的设计方案.将测得的角度值以无线传输的形式传送给数控端,并给出了系统的找正原理,以及软硬件的设计.测试结果表明,整个系统结构设计合理,各部分工作正常...     

基于多特征的域间路由节点安全状态评估方法

域间路由节点安全状态评估能够实现对BGP节点安全状态的直观、实时描述,可为制定合理的安全策略,及时定位、抑制异常路由事件提供数据参考.然而由于完整的异常域间路由集难以获取,使得传统基于数据融合的状态评估方法不再适用.分析BGP节点间交互路由过程中存在的统计特征以及这些特征与域间路由节点安全状态的关系,进而提出一种基于多特征的安全状态评估方法.以平均路径长度和路由事件发生频率等属性为安全特征,并借鉴云模型理论转换定量特征为定性概念的思想,构建域间路由安全特征云,将正常态下的多属性综合安全特征转换为安全正常态,然后通过度量安全特征偏离正常态的程度来计算节点偏离正常态的程度,由此得到域间路由节点面临安全威胁的概率.实验结果表明,该方法能够实现对域间路由节点安全状态的评估,准确性高、实时性强,可为域间路由系统的安全稳定运行提供有力支撑.     

基于节点状态的多接口多信道WMN信道分配算法

多接口多信道无线Mesh两络信道分配的目的在于提升网络容量以及保持网络连通的同时,降低干扰,增强信道负载平衡.由此,提出一种基于节点状态的信道分配方案.该方案是一种基于优先级的多项式时间贪婪混合式算法.NS2仿真结果表明,该算法不仅可以较好地解决信道负载平衡,提升网络容量,而且即使在节点接口的数量少于有效信道数量时,也能使信道得到有效的分配,保证网络的连接通畅.     

A remark on Fuchs’ Bayesian interpretation of quantum mechanics

Quantum mechanics is a theory whose foundations spark controversy to this day. Although many attempts to explain the underpinnings of the theory have been made, none has been unanimously accepted as satisfactory. Fuchs has recently claimed that the foundational issues can be resolved by interpreting quantum mechanics in the light of quantum information. The view proposed is that quantum mechanics should be interpreted along the lines of the subjective Bayesian approach to probability theory. The quantum state is not the physical state of a microscopic object. It is an epistemic state of an observer; it represents subjective degrees of belief about outcomes of measurements. The interpretation gives an elegant solution to the infamous measurement problem: measurement is nothing but Bayesian belief updating in a analogy to belief updating in a classical setting. In this paper, we analyze an argument that Fuchs gives in support of this latter claim. We suggest that the argument is not convincing since it rests on an ad hoc construction. We close with some remarks on the options left for Fuchs’ quantum Bayesian project.     

一种基于一阶逻辑的软件代码安全性缺陷静态检测技术

软件代码安全性缺陷是可能引发软件系统高危后果的一类重要缺陷,针对该类缺陷的自动化检测和定位技术在软件维护和演化研究领域具有重要意义.本文提出并实现了一种形式化检测方法——基于一阶逻辑的软件代码安全性缺陷静态检测方法,利用命题逻辑和谓词逻辑定义模式路径公式,引入多个与依赖关系相关的谓词构造逻辑函数表达式,作为模式路径节点产生的制导条件,实现了对多类软件代码安全性缺陷的形式化描述,把安全性缺陷检测问题转化成在中间代码对应的有限状态空间中是否存在相应模式路径公式的判定问题.实验结果表明,该方法能适用于大多数类型的软件代码安全性缺陷检测,在对openssl,wu-ftpd等13个开源程序的测试中,准确重现了10个已公开安全漏洞,发现2个未公开安全漏洞.并且,与现有的模型检验等形式化静态分析方法相比,该方法的测试时间和代码规模成渐近线性关系.     

一种基于扩展有限状态机的自动化测试用例生成方法

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.     

The Light Green Cells ofLymnaea: A neuroendocrine model system for stimulus-induced expression of multiple peptide genes in a single cell type

We review recent experiments showing that the cerebral neuroendocrine Light Green Cells (LGCs) of the freshwater snail,Lymnaea stagnalis, express a family of distinct though related molluscan insulin-related peptide (MIP) genes. The LGCs are involved in the regulation of a wide range of interrelated life processes associated with growth, (energy) metabolism and reproduction. We consider the mechanism of generation of diversity among MIPs, and present evidence that conditions with distinct effects on growth, metabolism and reproduction also can induce distinct patterns of expression of the MIP and schistosomin genes. The stimulus-dependent expression of multiple neuropeptide genes enormously increases the adaptive potential of a peptidergic neuron. We suggest that this contributes significantly to the information-handling capacity of the brain.