时序电路状态覆盖向量的遗传方法筛选

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动态状态转换与静态状态转换概念·同时,基于该方法给出一个测试生成工具GRTT·最后,将文中方法实验于ITC99-benchmark电路,并将实验结果与测试生成系统X-Pulling的结果进行比较·

NaCl溶液静态闪蒸瞬态传热特性的实验研究

对NaCl溶液静态闪蒸过程的瞬态传热特性进行实验研究。实验中NaCl溶液质量分数为0~0.26,初始液膜高度为0.1~0.4 m,初始过热度为1.5~40℃。结果表明:在不同的闪蒸时期,过热度大小对瞬态传热系数的影响不同。闪蒸的前期瞬态传热系数随着过热度的增加而减小;在闪蒸后期开始阶段,瞬态传热系数随着过热度的增加而增大;在闪蒸后期末尾阶段,过热度对瞬态传热系数影响不明显。瞬态传热系数的峰值随着初始液膜高度和浓度的增大而减小。在实验范围内给出瞬态传热系数的实验关联式,与实验值吻合良好。在闪蒸过程中,瞬态传热系数的大小显著影响沸腾形态的变化规律。

多跨连续超静定结构分析的状态变量传递法

本文取杆端位移和对应的杆端力作为状态变量，利用传递矩阵和逐段分析的方法来分析多跨连续超静定结构。文中建立了连续结构的传递矩阵。分析过程中，跨数增加只增加计算过程的矩阵相乘次数，而待求的基本未知量的数目始终保持不变，从而提高计算机分析问题的能力。

汉译英中动态向静态转换的方法探究——以老舍《骆驼祥子》的翻译为例

汉语是一种极为灵活的语言,其灵活性主要体现在动词多用以及动词和动词词组能够以多种形式融入句子中,这种灵活性赋予了汉语动态的特性。而英语是有着静态特点的语言,英语的静态特点主要体现为通过活用形容词和介词等短语来表现动作。本文从汉语语言的动态特点和英语语言的静态特点入手,以老舍《骆驼祥子》的翻译为例,从英汉修辞差异入手,研究汉译英中针对动词的处理方法。

变截面超静定梁的传递矩阵解法

本文采用传递矩阵法分析了变截面超静定梁的弯曲问题，利用截面状态矢量的传递规律，求解任一截面的内力和变形，与其它方法比较，提供的数学模型便于计算机分析。

跟踪望远镜机架的热结构分析

为了研究极端温度环境对跟踪望远镜指向精度的影响,利用ANSYS Workbench有限元分析软件,建立跟踪望远镜机架的有限元模型,通过稳态热分析,得到高、低温环境中机架在太阳辐射、空气对流、电器件产热及热传导作用下的温度场分布;通过结构静力学分析,得到机架在以上温度场作用下的热变形。分析结果表明在高、低温工况下,机架轴系的偏斜角均小于30″,在误差允许范围内。极端温度环境中跟踪望远镜机架的方位转轴、俯仰转轴及光路视准轴基本没有发生偏斜,跟踪望远镜的指向精度几乎没有受到影响。

用于RTL设计验证的静态错误检测方法

为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误。

国有股转让的现状研究及对策分析

经过对近年来国有股转让状况的研究,提出国有股转让有其功效性,但也存在较多问题,主要包括转让价格的制定问题与转让过程中及转让后对企业、投资者有不利影响问题.在此基础上,以定性定量相结合的方式提出解决问题的方案.

变截面超静定梁的传递矩阵解法

采用矩阵传递法分析了变截面超静定梁的弯曲问题。利用截面状态矢量的传递规律，求解任一截面的内力和变形。与其它方法比较，该方法提供的是程式化的数学模型，便于计算机分析。