ZCS-QRC同步Buck变换器的特性与效率

分析了ZCS-QRC同步Buck变换器的基本特性,对开关管的导通时间、断开时间和延时进行了计算,提出了变换器的周期平均模型。仿真和实验电路测试结果表明,在负载电流全程变化时,变换器开关频率基本保持不变(变化约1%),占空比的变化也很小(约8%)。变换器有较低的电磁辐射干扰和很好的模型精度,在输出电流不是很小时有很高的转换效率。变换器高精度的对象模型,有利于数字控制方案的设计与实现。     

双连续α次积分C余弦函数的生成定理

基于双连续半群和α次积分C余弦函数的理论,提出了双连续α次积分C余弦函数概念.借助Laplace变换,考察双连续α次积分C余弦函数生成元和预解式之间的关系,以及Hille-Yosida算子和双连续α次积分C余弦函数之间的生成关系,并由此生成关系得出双连续α次积分C余弦函数的生成定理,从而对Banach空间中强连续算子半群的生成定理进行了推广.     

可信性空间上基于复模糊变量的学习理论的关键定理

给出了可信性测度空间上复模糊变量定义及一些性质;给出了复模糊变量的经验风险泛函、期望风险泛函以及经验风险最小化原则严格一致收敛的定义。在此基础上给出并证明了基于复模糊变量的学习理论的关键定理,为系统建立可信性空间上的复统计学习理论奠定了理论基础。     

A 6-bit 2 GS/s ADC in 65 nm CMOS

A 6-bit 2 GS/s ADC was implemented using a 65 nm digital CMOS technology.The design is based on a single-channel flash ADC architecture,and utilizes interpolating and averaging techniques.A two-stage CML-CMOS high-speed hybrid comparator is designed for optimal speed and power performance.The total power consumption of the converter is 52 mW and the area is 0.24 mm2.The ADC achieves 42.5 dB SFDR and5.2 bit ENOB at input frequency of 123 MHz,and at Nyquist frequency 37.67 dB SFDR and 4.9 bit ENOB.     

基于多素数和参数替换的改进RSA算法研究

为了提高RSA公钥算法在消息加密过程中的安全性,在深入分析传统RSA算法的基础上,对其进行一些改进性研究,提出了一种比传统RSA算法更加有效的方法优化其安全性。在将传统RSA改进为四素数RSA的基础上,再运用数学变换进行参数替换,消除了在公钥中对传输两个随机素数的乘积n的需要,引入了一个新的参数x代替原参数n。针对改进后的算法在运算效率方面的不足,采用中国剩余定理( Chinese remainder theorem,CRT)优化大数模幂运算。实验结果证实了改进算法的可行性,为通过公钥加密消息发送和接收提供了更安全的路径;同时,对改进算法与传统RSA 和四素数RSA算法的解密(签名)时间进行比较分析。实验结果表明改进后的算法对消息发送方和接收方之间签名效率也有一定程度的优化。     

一种水下群机器人路径规划算法的形式化研究

为了增强基于遗传算法的水下群机器人路径规划算法正确性的说服力,使用定理证明对其进行形式化研究,给出算法在定理证明器HOL4中的形式化模型。基于算法形式化的一般步骤,首先对算法的设计进行了详细的分析,指出算法设计的核心步骤与建模难点。在此基础上建立了总体形式化建模框架,然后对其进行化简,得到种群初始化、选择、交叉三个核心模块。接着给出模型中要用到的基本数据类型的形式化描述,并分别对三个模块进行形式化描述,最终得到算法的形式化模型。通过证明与模型相关的97条性质,说明了模型的合理性及有效性,在此模型的基础上,可以完成对算法的形式化验证,同时还能拓展HOL4的应用范围。     

地球同步轨道SAR曲线轨迹二维空间分辨率分析

针对地球同步轨道合成孔径雷达(GEO SAR)中,卫星轨道是曲线轨迹,且由于地球自转等因素的影响,卫星相对于点目标的运动轨迹没有显式表达式,且航迹速度在不同的卫星轨道位置差异很大的问题,提出了一种基于相位梯度分析的高轨SAR二维空间分辨率计算方法.文中提出了一种猜想,并采用介值定理证明:在合成孔径时间内,存在1个等效航迹速度,使得理论方位向分辨率位于1个范围之内,并计算得到了该方位向分辨率范围.最后,后向投影算法仿真实验验证了该方法的有效性.     

Stress and Deformation Analysis of Cylinder-Crown IntegratedHydraulic Press with Large Capacity

Cylinder-crown integrated hydraulic press (CCIHP) is a new press structure. The hemispherical hydraulic cylinder also functions as a main portion of crown, which has lower weight and higher section modulus compared with the conventional hydraulic cylinder and press crown. In order to design cylinder-crown integrated hydraulic press with large capacity, the theoretical design of hemispherical hydraulic cylinder was first proposed, and the structural parameters of 150 MN CCIHP were listed. Then the simulation was carried out to analyze the stress and deformation of CCIHP, and weight comparison was conducted between CCIHP and conventional press. It is shown that the weight reduction for hydraulic cylinder and press crown is about 20% compared with that for conventional press, and the stress and deformation are both within the range of constraints including strength and stiffness conditions. It is possible to manufacture cylinder-crown integrated hydraulic press with large capacity.     

Stability analysis for natural slope by kinematical approach

The stability of natural slope was analyzed on the basis of limit analysis. The sliding model of a kind of natural slope was presented. A new kinematically admissible velocity field for the new sliding model was constructed. The stability factor formulation by the upper bound theorem leads to a classical nonlinear programming problem, when the external work rate and internal energy dissipation were solved, and the constraint condition of the programming problem was given. The upper bound optimization problem can be solved efficiently by applying a nonlinear SQP algorithm, and stability factor was obtained, which agrees well with previous achievements.