面向晶体管级广义门电路的PTM可靠性计算

不精确的广义门电路可靠性映射到门级或高层应用时误差容易因规模效应等而被过度放大导致结果不可靠.本文选择了在门级电路可靠性精确评估中得到有效验证的PTM模型用以精确计算晶体管级广义门电路的结构可靠性;分析了晶体管级广义门电路结构的逻辑抽象并转换成了功能一致的门级电路结构的逻辑抽象形式;提取了电路各组成单元的故障点及主要故障模式,并构建了与之相对应的面向故障的概率转移矩阵;依据各组成单元间的串并联特点,在有考虑输入信号故障的情况下,通过门级PTM方法的运算法则计算得到了晶体管级广义门电路的结构可靠性.在典型的CMOS广义门电路上的实验结果验证了本文所提方法的有效性,还分析了广义门电路的可靠性与其各主要类型故障之间的关系,并获得了一些有意义的结果.     

一种对程序故障行为和失效行为的聚类有效性验证方法

分析软件自身故障在软件运行过程中的行为规律是分析＂故障—错误—失效＂链式效应的基础.但在研究软件故障行为特征时面临的关键问题是故障行为集合的庞大与复杂.因此,如何约简故障行为集合是研究故障行为规律的基本前提.＂当两个程序具有相似的基本属性时,其故障行为和失效行为也具有相似性＂这一推断为约简故障集提供了良好的依据,但尚未得到验证.本文核心工作即验证该推断的正确性.为此,首先提出一种针对程序基准行为、故障行为和失效行为的表征方法;其次提出一种考虑最佳聚类数的程序行为聚类方法;最后设计一组基于故障注入的程序行为聚类实验,用以验证前述推断的正确性.其中,实验分别以计算密集型程序（SPEC CPU2000和SPEC CPU2006基准程序）和I/O密集型程序（IOZONE、DEBENCH等）作为目标程序集.实验结果表明,（1）程序行为的表征方法和聚类方法具有合理性和有效性;（2）以程序基准行为聚类结果为依据的故障行为和失效行为的聚类质量良好,以此验证了推断的正确性.     

微米、亚微米与纳米超细晶粒钢的研究进展

晶粒尺寸＜10μm的超细晶粒钢具有高强度和优异的韧性从而成为先进结构材料的研发热点之一.本文介绍了国内外微米级、亚微米级和纳米级超细晶粒钢研究的最新进展,并从工业应用角度简要分析了制约超细晶粒钢应用的组织稳定性和塑性稳定性等问题.指出,对现有制备方法的改进和完善以及更先进工艺的创新,是未来超细晶粒钢研究的关键内容.     

青藏铁路块石夹层路基结构的冷却作用机理

为研究块石夹层路基结构的冷却作用机理, 建立了开放和封闭状态下块石夹层路基结构试验段, 获得了一个冻融循环的监测资料. 研究结果表明, 开放状态下冬半年块石层内温度场主要表现为强迫对流效应; 当风速减小时, 靠近坡脚处块石层内能产生微弱的空气对流效应; 夏半年块石层以热传导过程为主. 封闭状态下, 由于阻断了风的影响, 块石层内强迫对流效应减弱, 全年基本以热传导过程为主. 块石夹层路基结构对路基下部土体产生的冷却作用机理主要为强迫对流效应加微弱的空气自由对流效应, 其过程和冷却作用强度主要与风速和风向有关. 由于冷却作用机理的差异, 开放和封闭状态块石层对路基下部土体的冷却作用要相差2~4℃.     

有限状态机的行为阶段聚类及其对测试的应用

提出了有限状态机的行为阶段和行为阶段聚类的新概念, 它是介于有限状态机的行为级描述和低层描述(状态表或状态图)之间的一种新的抽象级别. 给定一个有限状态机的低层描述, 可以对它的状态按某种规则进行聚类来简化对有限状态机的分析. 给定一个有限状态机的行为描述, 可以直接从中提取行为阶段, 并通过对行为阶段进行聚类来分析它的功能. 详细阐述了对状态或者行为阶段进行聚类的理论和方法. 行为阶段聚类描述可以应用于对有限状态机的功能分析、验证和测试中. 作为行为阶段聚类描述的一种应用, 建立了一种用于测试产生的新的故障模型——行为阶段转换故障模型, 并利用对行为阶段的聚类来加速基于此故障模型的测试产生, 实现了一个寄存器传输级的自动测试产生系统ATCLUB. 实验结果表明, ATCLUB与其他测试产生系统相比有很高的效率, 并且能够产生相当短的测试序列, 以达到对电路门级固定型故障的较高的覆盖率.     

载人登月近月段中止轨道特性分析与设计

近月段距离地球遥远,若飞船发生故障,将严重威胁航天员的生命安全.针对近月段制动引起的飞船主发动机失效从而导致的任务中止问题,首先分析由于主发动机失效可能引起的轨道类型以及与之对应的中止方式;然后在双二体假设下,提出普适的非共面近月段中止轨道计算方法.在此基础上,对中止轨道的特性进行分析,并给出中止轨道在能量消耗,飞行时间等方面的特性.最后,给出主发动机多种失效情况下的仿真算例.仿真结果验证了本文提出方法的有效性.     

顺兴露天矿顺倾软弱基底内排土场稳定性研究

以顺兴露天矿内排土场边坡为研究对象,以Mohr-Coulomb准则作为边坡失稳判据,基于强度折减理论,应用有限差分软件FLAC3D对顺倾软弱基底内排土场稳定性进行了数值模拟研究,通过分析边坡的应力分布特征、位移分布特征,确定了边坡的破坏模式,揭示了滑坡机理。研究结果表明,顺兴露天煤矿内排土场边坡处于稳定状态;滑坡是在拉-剪复合作用下形成的,潜在滑坡模式为以基底弱层为底界面的切层-顺层滑动;该弱层附近产生的应力集中是边坡发生剪切破坏的外在因素,基底岩土体在载荷作用下发生破坏是边坡整体失稳的直接原因。     

机械系统状态监测与故障诊断领域的重要课题

非线性是机械系统动力学的固有属性。当非线性因素较为突出时，基于线性振动理论的机械故障诊断与预测方法不仅导致定是的误差，更重要的是，将与故障紧密相关的丰富的系统非线性动力学行为。本文指出了基于线怀振动的机械故障诊断与预测方法的局限性；分析了机械系统非线性振动的特征及几种典型的非线性故障现象；讨论了机械设备非线性故障的机理、监测、诊断与预测的有关问题。本文旨在引起对机械系统非线性振动特征及由此而产生的     

异重流在层结与非层结水体中沿斜坡运动的实验研究

异重流在层结环境下的运动特性是海洋、大气等学科领域重要的研究主题之一.本研究在不同层结盐水中开展一系列实验,对突然释放型异重流在斜坡上的发展和演变特性进行了研究.非层结水体中异重流头部速度先迅速增大,而后基本不变减速幅度较小;而在层结水体中异重流头部速度先增大,之后明显减小,其发展主要分为加速阶段、减速阶段和分离阶段三个过程.异重流的运动特性可以用相对层结度S、雷诺数Re和理查德森数Ri0等无量纲参数描述.采用高速相机对异重流头部位置、头部速度和剖面速度等进行了分析.用激光粒子图像测速技术(PIV)得到异重流的速度场和涡度场,结果表明在异重流不同位置的涡度方向存在差异,上边界的正向开尔文-亥姆霍兹涡是产生卷吸的主要原因,下边界的负向涡度则由边界层引起.本文揭示了层结与非层结水体下异重流运动特性的不同影响机理和特性,结果可在河口盐水入侵、海底浊流发展等实际领域中得到应用.     

材料动态性能对高速切削切屑形成的影响规律

高速切削作为一门先进制造技术已经在工业生产中得到日益广泛的应用,对高速切削过程切屑形成机理的研究有助于进一步发挥高速切削技术的优势和促进高速加工装备的发展,同时可指导优化切削参数、控制切屑形态以改善加工表面质量.高速切削切屑形态变化是工件材料在不同切削载荷下表现出的动态力学性能差异所致.弄清楚高应变率下材料动态力学性能有利于揭示高速切削切屑变形与失效机理,同时高速切削实验的合理设计与应用可以成为材料在高应变率下动态力学性能的新型测试手段.本文以高速切削过程工件材料动态性能变化对切屑形成的影响为主线,结合我们在高速切削切屑形成机理方面多年的研究成果,对高速切削过程中工件材料的强度、塑脆性和微观组织变化等方面进行了综述分析.阐明了高速切削条件下碎断切屑形成的力学条件,指出了传统切削理论在应力状态对切屑变形和失效的影响机理、切屑微观组织演化等方面研究存在的不足,最后对未来的超高速切削切屑形成机理研究进行了展望.     

基于栅极信号的功率器件老化特征分析

本文研究栅极动态信号在功率器件故障预测上的应用.首先介绍了功率器件栅极动态信号反映的相关失效机制,并分析了栅极动态信号的老化特征及影响因素.提出了老化特征提取方法,选定动态过程时间,动态过程面积比率作为老化特征.使用降频错位采样的方法还原高频采样下计算的老化特征,降低利用动态信号进行故障预测的采样频率,以提高方法可行性.通过NASA公布的数据集进行实验验证,提取的老化特征明显,降频采样达到了预期效果.     

Intertidal habitat: does the shore level affect the nutritional condition of the shanny (Lipophrys pholis,Teleostei, Blenniidae)?

The nutritional condition of the shanny (Lipophrys pholis, Teleostei, Blenniidae), an intertidal fish, is affected by the shore level on whihc it dwells. Depending on the altitude within the intertidal, zone access to food is restricted for a certain time. A progressive decrease in the feeding time for an individual remaining on an increasingly higher shore level leads to a poorer nutritional condition compared to an individual staying at a lower shore level. Trade-off mechanisms between the feeding time and competition for space and/or predation pressure seem to be responsible for the still high abundance ofL. pholis on the upper shore. Possible consequences for growth and reproduction as well as distribution patterns are discussed.     

物流业服务水平与制造业外包绩效关系的实证研究

经验表明，物流业的服务水平和制造企业对物流的观念与认知直接影响到制造企业物流外包水平．而它们又直接或间接影响到企业绩效。根据以上这些变量建立相应的关系假设模型，通过设计调查问卷收集一手数据，并利用结构方程模型方法进行数据的拟舍分析与实证研究。研究结果显示：物流业的服务水平与制造企业物流外包水平正相关；制造企业物流外包水平与制造企业绩效正相关；制造企业现代物流观念和认知与制造企业物流外包水平呈现弱相关性，并且不显著。最后，在此基础之上还进一步提出有关制造业和物流业联动发展的若干建议。     

可重构复杂制造系统的设施布置优化方法研究

针对可重构复杂制造系统可模块化和可集成化等特点,结合层次分析的思想和QAP数学模型,通过布置分类把信息集成的设施模块分为独立型模块和依赖型模块,提出了先后对独立型模块和依赖型模块进行布置的二次设施布置方法。阐述了二次设施布置方法的思想,构建了其模型,并用蚁群算法和重心法求解了这个模型。运用此布置方法建立了某车间的设施布局模型,简化了设施布置过程,实现了对可重构复杂制造系统设施布置的优化。     

Dogma and dreams: experimental lessons for epilepsy mechanism chasers

Epilepsy mechanism chasers face one major difficulty. Since we don’t know how the normal brain works, we can’t start to understand how the diseased brain fails. Most of today’s hypotheses are based on what we think about ‘normal’ brain function, which may lead to misconceptions, as will be developed here. Furthermore, since there are many different types of epilepsies, some mechanisms may only be relevant to some epilepsies. Here, I shall focus on temporal lobe epilepsy (TLE) the most common form of partial epilepsy in adults. TLE is often drug resistant, as are 30–40% of all forms of epilepsies. The failure of drug-treatments most likely reflects our lack of knowledge of the underlying mechanisms.Received 10 January 2005; received after revision 3 March 2005; accepted 23 March 2005     

Detection of outliers and level shifts in time series: an evaluation of two alternative procedures

A unified method to detect and handle innovational and additive outliers, and permanent and transient level changes has been presented by R. S. Tsay. N. S. Balke has found that the presence of level changes may lead to misidentification and loss of test‐power, and suggests augmenting Tsay's procedure by conducting an additional disturbance search based on a white‐noise model. While Tsay allows level changes to be either permanent or transient, Balke considers only the former type. Based on simulated series with transient level changes this paper investigates how Balke's white‐noise model performs both when transient change is omitted from the model specification and when it is included. Our findings indicate that the alleged misidentification of permanent level changes may be influenced by the restrictions imposed by Balke. But when these restrictions are removed, Balke's procedure outperforms Tsay's in detecting changes in the data‐generating process. Copyright © 2000 John Wiley & Sons, Ltd.     

The Janus kinase family of protein tyrosine kinases and their role in signaling

In the early 1990s, the search for protein kinases led to the discovery of a novel family of non-receptor tyrosine kinases, the Janus kinases or JAKs. These proteins were unusual because they contained two kinase homology domains and no other known signaling modules. It soon became clear that these were not ‘just another’ type of kinase. Their ability to complement mutant cells insensitive to interferons and to be activated by a variety of cytokines demonstrated their central signaling function. Now, as we approach the end of the decade, it is evident from biochemical studies to knockout mice that JAKs play non-redundant functions in development, differentiation, and host defense mechanisms. Here, recent progress is reviewed, with particular emphasis on structure-function studies aimed at revealing how this family of tyrosine kinases is regulated.