基于SBDD图的布尔匹配

在逻辑验证和综合中,布尔匹配利用有序二叉判定图OBDD来检验两个给定的逻辑函数是否相等。为了提高匹配算法的效率,文中用最小项数作为标签标定变量（变量组）。对比两函数中变量（变量组）的“标签”,可以删除不可能的排序,从而加快匹配过程。在提取变量标签时,提出简约二分决策图－SBDD,并利用其节点少的特性进一步提高“标签”提取算法的效率。实验结果表明本算法执行速度快,变量区分能力强。     

注入氦不锈钢中氦泡热形核及长大研究

本文利用透射电镜观察了HR-2及SS321不锈钢注入He~+并在T<1023K不同温度退火后的He泡结构,发现T=0.45T_m是一个转变点,当0.3T_m0.45T_m时,He泡主要通过迁移和合并而长大,长大激活能的实验值分别为0.41eV和0.31eV,实验结果表明,HR-2钢中He泡数密度在整个测量温区内均大于SS321钢,并且材料迅速肿胀的开始温度也高于SS321钢,说明HR-2钢比SS321钢具有较好的抗氦性能     

基于ADVISOR的无级变速汽车速比的综合控制

为开发无级变速器实时控制系统,建立了无级变速传动速比控制模型,研究出无级变速汽车速比综合控制策略,由发动机试验数据建立了发动机燃油经济性模型,将所建立的速比控制模型及其综合控制策略融入ADVISOR软件无级变速器模型的前向通道中,与后向通道控制策略进行仿真对比.结果表明,前向通道得出的车速、速比及发动机工作点与后向通道相比有较高的吻合精度,验证了所研究的速比控制模型及其综合控制策略的合理性和实用性.     

数字集成电路的时序分析

文章对数字集成电路设计中的时序分析作了一个概要的介绍。对于些时序分析算法进行了讨论,同时,指出伪路径是时序分析中的一个重要问题。因此,为了进行有效的时序分析,必须同时考虑电路的逻辑行为和时序行为。     

宝钛股份:未来业绩将提升

宝钛股份近日公告了2011年1季度业绩报告,公司1季度实现营业收入7.67亿元,同比增长32.13%;实现利润总额6599万元,同比增长46.25%;实现基本EPS0.008元,公司1季度业绩符合我们的预期,同时还显示了公司经营状况明显好转,综合毛利率也明显提升。我们判断,随着公司钛材尤其是高端钛材逐步交货、产品价格继续上涨,公司未来季度经营状况与业绩将出现明显增长。海绵钛价格上涨趋势确立,目前价格仍在底部。近期海绵钛价格在下游需求明显复苏、上游原材料供应紧张的状况下持续大幅上涨,直接表现为遵义钛业年初以来的5次提价,提价的速度     

同一煤层煤和煤矸石氧化过程中自由基及CO的变化规律研究

为探究同一煤层的煤和煤矸石的自然氧化规律,基于电子自旋共振波谱仪和气象色谱仪,测定了煤和煤矸石在氧化过程中的自由基浓度、g因子、谱图线宽和氧化产物CO的变化规律,并对煤和煤矸石的差异进行了比较。结果表明:随着氧化温度的升高,煤和煤矸石中的自由基浓度均不断增大,煤中的自由基浓度快速增加的临界温度为75 ℃,而煤矸石的临界温度为125 ℃;在氧化初期,煤和煤矸石的g因子变化较小且处于较低水平,煤矸石的g因子开始明显增加的温度为125 ℃,而煤的g因子为150 ℃,在125~190 ℃时,煤矸石的g因子大于煤,当温度超过190 ℃后,煤的g因子开始大于煤矸石;煤和煤矸石的ESR谱图线宽随温度的升高不断减小最后趋于稳定,最小值分别为0.592 5和0.609 2,煤的谱图线宽始终低于煤矸石的线宽;在氧化过程中,同一温度下煤氧化生成CO量高于煤矸石,且煤中CO生成量快速增加的临界温度为100 ℃,而煤矸石中CO快速增加的临界温度在150 ℃。     

严酷环境中的航拍考验——广告片《长城尊龙润滑油》航拍手记

随着影视工业的发展,无人航拍如今已不是新鲜事,它作为一种突破常规的艺术创作手法,彻底解放了视角,突破高度、角度和速度的局限,全方位、多视角展示事物的全貌,为影视剧、广告、     

一种分段函数光滑强度包络线模型及应用

三角级数法是人工地震动合成常用的计算方法之一,但是利用这种方法计算速度时程时,发现存在一定的零线漂移现象。在前人研究的基础上,利用光滑分段函数方法,建立了一种更完善的光滑强度包络线计算模型,更好的解决了这一问题。通过计算证明,该计算模型是正确可行的。     

基于AutoCAD2004二次开发环境下的数控钻孔程序

针对管板的孔加工，提出以人机界面的软件方式生成数控加工程序。介绍了AutoLISP语言和VisualLISP集成开发环境，对AutoCAD2004进行二次开发，使之可以根据用户输入的要求，简单有效地生成数控程序。此种方法经实践证明是可行的。     

P~+-Ge_xSi_(1-x)/P-Si异质结内光发射(HIP)长波长红外探测器结构的改进及其在77K下的特性

本文对P+GexSi1-x／P－Si异质结内光发射长波长红外探测器的电极结构进行了改进，并在国内首次报道了这种器件在77K下的电学特性和光学响应特性。