基于异或门自选通的低功耗时钟树综合方案

本文介绍一种降低时钟网络功耗的方法。该方法基于电路中寄存器本身的状态值,在采用异或门进行自选通后构建时钟树结构,从而减少时钟信号额外翻转,降低芯片功耗。将该方法应用于一款基于SMIC0.18μmEflash 2p4m工艺下的非接触式智能卡芯片的物理设计。仿真结果表明,与传统时钟树综合方法相比,芯片功耗降低了10.7%。     

Operator geometric stable laws

Operator geometric stable laws are the weak limits of operator normed and centered geometric random sums of independent, identically distributed random vectors. They generalize operator stable laws and geometric stable laws. In this work we characterize operator geometric stable distributions, their divisibility and domains of attraction, and present their application to finance. Operator geometric stable laws are useful for modeling financial portfolios where the cumulative price change vectors are sums of a random number of small random shocks with heavy tails, and each component has a different tail index.     

GPS/GLONASS同步的可编程逻辑实现

给出了一种用于第三代移动通信系统(3G)CDMA2000基站的时钟同步方案。由一个双星接收卡接收GPS/GLONASS标准秒信号作为整个时钟同步系统的参考,分两级锁相环实现:第一级锁相环采用软件锁相,输出10MHz信号作为第二级锁相环的参考源,第二级锁相环为2个模拟锁相环,分别输出16fc和48fc(fc=1.2288MHz)。2S信号由16fc分频得到。这种设计保证了输出时钟的长期稳定性和短期稳定性,满足协议所规定的同步精度。详细介绍了数字鉴相器、2S产生电路、相差检测及控制电路的电路设计和有关仿真结果。     

9MeV行波直线加速器用四极透镜系统状态分析

 分析了大型海关集装箱检测系统用的9 MeV电子直线加速器的四极透镜系统变为斜四极透镜系统对束流聚焦特性的影响。对三单元四极透镜系统聚焦参数、制造和安装误差进行了分析，给出了参数选择方法和合理的误差要求。以上计算利用束流动力学程序TRANSPORT完成。     

一种频率可调时钟产生电路的研究

研究了一种用于微机械加速度计的CMOS时钟产生电路.该电路可以方便地实现片内时钟的精确产生,集成了具有高电源抑制比的基准电压源,振荡频率可根据需要调节.实际电路采用1.2 μm双层多晶硅、双层金属N阱CMOS工艺实现.在5 V电源电压、800 kHz振荡频率下,该电路功耗约为1.5 mW.     

一种减少基于SOA的全光时钟提取码型效应的新方法

全光位时钟提取是3R全光再生的关键技术,本文针对利用基于半导体光放大器注入锁模激光器进行位时钟提取时的码型效应,提出一种利用非线性偏振旋转自稳幅效应减少码型效应的新方法,对40Gb/s的半导体光放大器注入锁模激光器位时钟提取,通过数值模拟计算证明,利用非线性偏振旋转可以有效地减少码型效应的影响.     

时序冲突及时序检查

本文介绍一个多相同步时序数字电路的时序模型及时序冲突的检验算法。该方法能检查出时序冲突类型，冲突的具体位置及时钟系统设置的合理性。该算法已在Ｓｕｍ－４／ＳＰＡＲＣ上实现，能快速准确检查出非覆盖多相时钟同时时序电路存在的时序冲突，冲突覆盖率高。     

Semi-implicit Skew Upwind Method for problems in environmental hydraulics

A new computational method is presented for reducing numerical diffusion in environmental fluid problems. This method, which is referred to as the Semi-Implicit Skew Upwind Method (SISUM), is a robust solution procedure for the conditional convergence of the discretized transport equations. The method retains the advantage of the low numerical diffusion of the conventional skew upwind schemes but does not suffer from over- or under-shooting often found in these methods due to the improved interpolation schemes. The effectiveness of SISUM is demonstrated in several examples. The comparison of the results of a hybrid scheme and SISUM with field observations of convection-dominated pollutant transport in strongly curvilinear river flow shows that SISUM successfully eliminates the high numerical diffusion produced by the hybrid scheme. The robustness of the method was tested by solving the hydrodynamics of a circular clarifier model with a large density gravity source term in the vertical-momentum equation.     

Properties of four partial orders on standard Young tableaux

Let SYTn be the set of all standard Young tableaux with n cells. After recalling the definitions of four partial orders, the weak, KL, geometric and chain orders on SYTn and some of their crucial properties, we prove three main results:

•

Intervals in any of these four orders essentially describe the product in a Hopf algebra of tableaux defined by Poirier and Reutenauer.

•

The map sending a tableau to its descent set induces a homotopy equivalence of the proper parts of all of these orders on tableaux with that of the Boolean algebra ²[n−1]. In particular, the Möbius function of these orders on tableaux is (−1)ⁿ⁻³.

•

For two of the four orders, one can define a more general order on skew tableaux having fixed inner boundary, and similarly analyze their homotopy type and Möbius function.

     

Des extensions plus petites que leurs groupes de Galois

In this article we construct some Galois extensions L∕K with finite Galois groups and such that |Gal(L∕K)|>[L:K]. Using an analog of the Noether method, we explain how to obtain, with a fixed center, such a Galois curiosity with a Galois group as large as we want.

Résumé : Dans cet article, nous construisons une extension galoisienne L∕K à groupe de Galois fini et telle que |Gal(L∕K)|>[L:K]. En utilisant un analogue non commutatif de la méthode de Noether, nous expliquons ensuite comment, à centre fixé, l’on peut construire une telle curiosité galoisienne avec un groupe aussi gros que l’on veut.

Mots clés : Corps gauches; théorie de Galois.