一种实现时序快速有效收敛的时钟树综合方案

针对低频下数字集成电路实现时序收敛需要插入大量缓冲器而导致芯片布线困难、运行时间较长等问题,提出了一种降低时钟树级数与增加保持时间余量相结合的时钟树综合方案。基于CSMC 0.35 μm CMOS工艺,采用提出的方案,使用IC Compiler和Prime Time工具,分别完成了应用于高精度隔离型Σ-Δ ADC芯片的低速数字滤波器的物理设计以及静态时序分析。结果表明,与传统方案相比,保持时间负松弛总值降低了95.62%,时序收敛所需缓冲器个数减少了约98.13%,运行时间缩短了97.25%,有效地降低了布线拥塞程度,快速有效地实现了时序收敛。     

Binary collision simulations of ion transmission through silicon single crystal films

Abstract

Computer simulation studies of the energy distribution of transmitted ions such as alpha-particles, He-, and B-ions through crystalline silicon, using the enhanced binary-collision cascade simulator MARLOWE, will be reviewed. The enhancement includes an additional electronic-energy loss (EEL) model which takes into account explicitly both the target electron density variation via the structure factors and the electron density of the projectile. Investigations of the stopping power for He ions and protons in silicon, at intermediate- and high-energies, based on the adapted EEL model and a velocity-dependent effective charge will be presented. The overall agreement between the calculated and experimentally determined stopping power data and the simulated and measured transmission spectra will be demonstrated. Effects of energy-loss straggling, core-electron contribution to the energy loss at high-energies and charge-state effects at low energies on the transmission spectra will also be discussed.     

不同磁路下微型ECR中和器电子引出的模拟研究

电子回旋共振(ECR)中和器是微型ECR离子推力器的重要组成部分,其引出的电子用于中和ECR离子源的离子束流,避免了航天器表面电荷堆积,并且电子引出性能对推力器的整体性能起着重要作用.为了分析影响微型ECR中和器电子引出的因素,本文建立了二维轴对称PIC/MCC计算模型,通过数值模拟研究不同磁路结构对中和器的电子引出,及不同腔体长度对壁面电流损失的影响.计算结果表明, ECR区位置和引出孔附近磁场构型对中和器的电子引出性能至关重要.当ECR区位于天线上游,电子在迁移扩散中易损失,并且电子跨过引出孔前电势阱所需的能量更高.如果更多磁力线平行通过引出孔,中和器引出相同电子电流所需电压较小.当ECR区被天线切割或位于下游时,电子更易沿磁力线迁移到引出孔附近,从而降低了收集板电压.研究了同一磁路结构下不同腔体长度对电子引出的影响,发现增加腔体长度,使得更多平行轴线的磁力线通过引出孔从而避免电子损失在引出板表面,增加了引出电子电流.研究结果有助于设计合理的中和器磁路和腔体尺寸.     

Método de elementos de borde jerárquico basado en el árbol de Barnes-Hut aplicado a flujo reptante exterior

In this work, a hierarchical variant of a boundary element method and its use in Stokes flow around three-dimensional rigid bodies in steady regime is presented. The proposal is based on the descending hierarchical low-order and self-adaptive algorithm of Barnes-Hut, and it is used in conjunction with an indirect boundary integral formulation of second class, whose source term is a function of the undisturbed velocity. The solution field is the double layer surface density, which is modified in order to complete the eigenvalue spectrum of the integral operator. In this way, the rigid modes are eliminated and both a non-zero force and a non-null torque on the body could be calculated. The elements are low order flat triangles, and an iterative solution by generalized minimal residual (GMRES) is used. Numerical examples include cases with analytical solutions, bodies with edges and vertices, or with intricate shapes. The main advantage of the presented technique is the possibility of considering a greater number of degrees of freedom regarding traditional collocation methods, due to the decreased demand of main memory and the reduction in the computation times.     

实船撞击实验防撞装置的撞击力分析

实验研究了基于以钢丝绳为基本元件的新型柔性防撞装置的防护性能.利用DEWETRON数据采集仪及多通道同步采集传感器的信号,分析得到防撞装置在碰撞中受到的撞击力曲线.实验结果显示:靠近船舶撞击侧最近的非撞击侧位置受到的撞击力最大,属防护重点部位;在承受多次撞击后,防撞装置基本完好,且船舶在碰撞中的损伤也有所减低.     

The q-Calkin-Wilf tree

We define a q-analogue of the Calkin-Wilf tree and the Calkin-Wilf sequence. We show that the nth term f(n;q) of the q-analogue of the Calkin-Wilf sequence is the generating function for the number of hyperbinary expansions of n according to the number of powers that are used exactly twice. We also present formulae for branches within the q-analogue of the Calkin-Wilf tree and predecessors and successors of terms in the q-analogue of the Calkin-Wilf sequence.     

Medium modified fragmentation function: equivalence of the ACSX and QW formalisms in the high-Q2 region

We study the medium modified fragmentation function in high-energy heavy-ion collisions. We show that the ACSX and QW formalisms are equivalent to each other in the high-Q² limit in both theoretical and numerical aspects.     

字符串匹配算法在DNA序列比对中的应用

高通量测序技术的飞速发展让生物信息领域迎来了大数据时代。新技术在提供海量生物遗传信息的同时,也给分析这些数据带来了新的挑战。DNA序列比对是信息分析流程中的关键步骤,为后续的变异检测提供序列比对信息。2015“深圳杯”数学建模夏令营B题以DNA序列比对为研究课题,希望参赛学生给出序列快速比对的最佳方案。本文简要点评了各参赛队伍的解答情况,然后介绍了现有DNA序列比对软件中用到的算法和数据结构。     

An improved ensemble learning machine for biological activity prediction of tyrosine kinase inhibitors

Boosting is one of the most important strategies in ensemble learning because of its ability to improve the stability and performance of weak learners. It is nonparametric, multivariate, fast and interpretable but is not robust against outliers. To enhance its prediction accuracy as well as immunize it against outliers, a modified version of a boosting algorithm (AdaBoost R2) was developed and called AdaBoost R3. In the sampling step, extremum samples were added to the boosting set. In the robustness step, a modified Huber loss function was applied to overcome the outlier problem. In the output step, a deterministic threshold was used to guarantee that bad predictions do not participate in the final output. The performance of the modified algorithm was investigated with two anticancer data sets of tyrosine kinase inhibitors, and the mechanism of inhibition was studied using the relative weighted variable importance procedure. Investigating the effect of base learner's strength reveals that boosting is only successful using the classification and regression tree method (a weak to moderate learner) and does not have a significant effect using the radial basis functions partial least square method (a strong base learners). Copyright © 2015 John Wiley & Sons, Ltd.     

基于新型故障搜寻策略的检测系统设计

为了达到复杂系统快速故障搜寻的目的,设计了一种基于二元决策图优化的新型故障搜寻策略的检测系统设计。通过对基于二元决策图优化的故障搜寻方法研究和实际的硬件电路设计,最终实现了检测系统的软硬件设计。使用这种方法能够很好的实现故障诊断系统在嵌入式平台的开发,并能够取得较好的诊断效果。