覆盖状态内部分枝的测试向量生成

提出一种能兼顾状态内部分杜的状态覆盖方法．在状态内部分枝树的终端结点处添加状态转换语句，将原先的单个转换分成多个转换分枝；从而实现对原先的状态转换进行扩展，使得用传统的状态测试方法就能够覆盖到状态内部的分枝．为了准确描述该过程，文中给出了分枝扩展的形式化方法．在此基础上，给出一个测试向量生成算法：遍历状态转换有向图；依状态间转换条件生成测试向量；依遍历顺序收集测试向量．通过对ITC99-benchmark中时序电路的试验表明，本文方法是有效的．     

三点/四点接触球轴承沟道最小余量的确定

符号说明e———沟曲率中心的偏心量Ri———成品沟曲率半径α———偏心角Ric———车工沟曲率半径Δr———沟道余量Δa———沟道对端面的平行差ΔRi———车加工沟曲率误差b———套圈内外径素线至x轴间的距离由于三点/四点接触球轴承可以承受任一方向的轴向力,也能承受以轴向力为主的轴向、径向联合载荷,经预加载荷可以提高刚性,故广泛用于航空发动机中。在加工中沟道余量普遍采用的是月牙形余量分布(即车工沟曲率与磨工沟曲率相同),因此沟边的余量较小。磨加工过程中沟边因无磨量而产生黑皮,造成废品。为了减少废品损失,需要对沟道…     

唐山市体育场岩溶塌陷地质灾害勘察与治理

唐山市是华北地区典型的岩溶裂隙发育浅埋地区。笔者通过对唐山市体育场岩溶塌陷地质灾害勘察与治理工程的总结,介绍给读者一些值得推广和借鉴的经验,而且这些经验通过实践证明是行之有效的。     

黄土地基夯扩挤密桩单桩静载荷试验研究

分析了夯扩灰土挤密桩单桩承载力机理及不同条件下的单桩静载荷试验Q-S曲线特征规律,进行了三种不同夯击能的单桩静载荷试验,提出了夯击能对单桩承载力特征值的影响。     

面向高可靠汽车电子系统的低延时异构多核并行差错检测方法

与业界常用的双核锁步方法相比,异构并行差错检测技术以较小的面积开销实现接近的差错覆盖率,但是会增加差错检测延时并影响主核的性能.针对差错检测不及时带来的潜在安全风险,提出一种低延时的异构并行差错检测方法.首先通过复制寄存器时暂停物理寄存器释放的策略降低复制寄存器对主核性能的影响;然后利用主核控制流指导检查核取指,并基于预测检查核运行时间来划分程序段,以提升差错检测的性能,使得最大差错检测延时可控.使用1个开源香山处理器核作为主核,16个开源Rocket处理器作为检查核进行了方法实现,采用基准程序评估的实验结果表明,所提方法能够以50%的逻辑开销和22%的存储开销实现差错检测,小于双核锁步接近100%的面积开销.同时,在主核上的平均性能开销小于1%,且能将差错检测延迟控制在2 000个时钟周期以内.此外,与原有分支预测策略相比,检查核的平均性能提升了14.9%.     

某化工企业废气综合整治

为了做好园区力争2018年底全面实现气不出厂、其不扰民的工作目标,打好蓝天保卫战,积极打造绿色、生态、可持续发展的生态化工园区。某化工企业对厂区现有废气系统进行排查,结合现有部分产品处于安装和新建设阶段,对全厂废气从污染因子分析到收集、工艺等方面展开综合整治,满足企业可持续生态发展的需要。     

增稠剂与减水剂对泡沫混凝土孔结构稳定性的影响

研究了增稠剂与减水剂共同作用下对不同密度泡沫混凝土工作性能和孔结构的影响,探究了流动度、孔结构稳定性以及泡沫混凝土密度三者的关系.结果表明:泡沫混凝土孔的生长情况与其流动度有着极大的关系,流动性过好,泡沫出现强烈的聚集和破裂,引发泡沫混凝土成型塌陷,而流动性过差导致混合浆体过硬,在搅拌过程中大量气泡破损.这种影响随着泡...     

低温回火用自身预热式烧嘴常规/大空燃比燃烧试验研究

针对回火炉用的自身预热式烧嘴进行了常规/大空燃比组合燃烧的试验研究,试验结果表明采用常规/大空燃比组合燃烧烧嘴工作稳定可靠、火焰速度高、火焰温度低,可在工程中使用。     

安徽省SMV株系的鉴定及其抗源筛选

为明确安徽省大豆花叶病毒（soybean mosaic virus,SMV）株系的最新组成、分布及消长动态,以及筛选对流行株系的抗性种质,2009-2010年广泛采集安徽省各大豆主产区疑似SMV病样461份,采用生物学及血清学方法鉴定得到83个SMV分离物。用全国统一的10个鉴别寄主对这些分离物进行鉴定,共鉴定出14个SMV株系,如SC3~SC9、SC11、SC13~SC15、SC17、SC19和SC22,其中SC5、SC11、SC14、SC15、SC17、SC19和SC22是本研究在大豆主产区新发现的。进一步比较分析发现,SMV株系SC3和SC7仍为目前安徽省大豆产区的流行株系,分别占分离物总数的16.9%和25.3%;其次为新发现的强毒株系SC15,在安徽省也有较为广泛的分布,比率为12.1%。针对流行株系SC3和SC7的抗源筛选结果表明,来自参加安徽省区试的149份资源中有中作J8023、中黄45、L85-2308、中涡47号和濉科13等5份材料对SC3表现高抗,中黄45、宿03-4-1-4和鲁06-7等9份材料对SC7表现高抗;参加我国南方区试的95份种质资源中有13份对强毒株系SC15表现抗病,占鉴定品种的13.7%。本研究明确了安徽省大豆产区的流行株系及变化趋势,筛选出针对SMV流行株系的抗源,为培育抗病品种和抗病品种布局提供了依据。