钛酸锶钡陶瓷的铁电极化疲劳效应

 用微分电滞回线谱分析方法研究了钛酸锶钡Ba_0.95Sr_0.05TiO₃ （BST）陶瓷圆片的铁电极化疲劳效应,发现其疲劳过程可以分成三个阶段,当反转次数在10⁵-10⁶次时出现老化效应,反转10⁶-10⁸时出现疲劳效应,反转10⁸次以上则样品完全疲劳,铁电性几乎消失。     

作流率基本入树嵌运算建立主导结构反馈模型

阐述用ＳＤ流率基本入树建模法对王禾丘能源系统生态工程主导结构的五棵流率基本入树作嵌运算,建立反馈模型,用其可增广流率派生入树、反馈环计算方法给出全部反馈环的过程与结果．     

双环网G(N;s_1,s_2)的直径

首先指出了已有文献［１］所给出的关于Ｇ（Ｎ;ｓ１,ｓ２）的直径的计算公式是错误的,进而由此公式所给出的最优双环网算法［２］是不可靠的．本文引入了同余方程ｘｓ１＋ｙｓ２≡０（ｍｏｄＮ）的最小正解概念,并利用最小正解给出了计算Ｇ（Ｎ;ｓ１,ｓ２）的直径的正确方法．     

自交换串联环流反应器系统及其在H2S脱除中的应用

为提高气液吸收-解吸或气液催化反应-催化剂再生过程的效率,减小此类过程的能耗,开发了自交换反应器系统。该系统由两个内环流反应器串联构成,流体从一个反应器上部的气液分离区流入交换管道,在管道中的液柱与反应器内气液混相的密度差作用下,流入另一反应器底部,在不使用泵的情况下,实现反应器间的物料交换,交换速度随反应器中气含率的提高而提高。将该系统应用于铁基液相氧化-还原脱除硫化氢的过程,在实验室规模下,实现了硫化氢吸收和络合铁吸收剂再生的联合运转。     

Model for Predicting Roadside Concentrations of Traffic Pollutants

An analytical model is presented to estimate traffic pollutant concentrations based on an artificial neural network (ANN) approach. The model can analyze the highly nonlinear relationship between the traffic flow attributes, meteorological conditions, road spatial characteristics, and the traffic pollutant concentrations. This study analyzes the multiple factors that affect the pollutant concentration and establishes the model structure using the ANN technique. Collected data for the pollutant concentrations as functions of variant factors was used to train the ANN model. A method was developed to automatically measure the traffic flow attributes, such as traffic flow, vehicle speed, and flow composition from video data. The results indicate that the model can reliably forecast CO2 concentrations along the roads.     

基于FPGA的GPS接收机跟踪环路设计与实现

为提高GPS基带芯片跟踪环路的性能,提出一种基于FPGA跟踪环路的具体设计与实现方案.研究了GPS接收机跟踪环路的基本原理,在分析现有算法的基础上,采用锁频环辅助锁相环、动态码环和载波环辅助码环策略,利用Xilinx公司FPGA软硬交互工作方式的优点,在一片FPGA芯片上实现整体方案.该设计方案可提高系统的运行效率,节省系统资源,降低硬件成本.试验结果验证了其可行性与有效性.     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法;然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式;最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

宽带∑-△锁相环路的相位噪声抵消技术

根据传统的小数分频锁相环中的采样保持方案,提出了宽带∑-△锁相环中采样保持技术的实现方案．方案的采样时刻由首先出现的参考时钟信号或分频器信号的上升沿决定,可以在采样前为补偿电流和电荷泵电流提供足够的时间以保证它们在积分器上的完全积分,从而解决了使用相位内插的∑-△锁相环中电荷泵电流脉冲与补偿电流脉冲间的匹配问题．仿真结果表明,使用采样保持单元后可以显著降低环路中的相位噪声和杂散噪声．     

激光通信数字环时隙同步器环路滤波器设计

以５１系列单片机为硬件平台，设计了均值法、三点法和筛选法三种数字环路滤波器算法，分析了采用这三种环路滤波器算法的数字锁相环时隙同步器的性能指标并进行了计算机仿真．仿真和实验结果表明，采用筛选法的时隙同步器具有较快的捕获速度和最好的抗噪性能，可用于强噪声环境下的激光水下通信系统     

离散多频音调制中比特分配准则的改进

介绍了离散多频音调制自适应比特分配概念，讨论和改进了比特分配方法，给出了子信道误比特率相等的比特分配准则，以及计算结果和相应的结论