新一代验证加速技术

为什么需要验证加速技术验证是SoC设计不可缺少的环节。对SoC设计工程师的调查显示,验证已经占到IC设计总时间的70%以上。快速有效的验证不仅可以缩短设计周期,更重要的是可以减少芯片重新设计(re-spin)或修正(ECO)的时间,从而加速上市时间(time-to-market)。然而,随着SoC设计规模的扩大,设计复杂程度的提高,验证鸿沟(verification gap)正在加大。虽然计算机运行速度大幅度提升,然而传统的软件模拟仍然越来越不能满足速度的要求。并且由于重新设计和芯片修正成本随着工艺水平提高大幅度增加,一次流片成功对验证向量覆盖率(verification…     

凝固型香蕉酸奶的制备研究

以香蕉、脱脂奶粉为主原料,采用驯化的德氏乳杆菌乳酸亚种和嗜热链球菌进行发酵制备凝固型酸奶,分别研究香蕉护色、灭酶的工艺处理,以及奶粉添加量、香蕉浆添加量、发酵pH和接种量等因素对香蕉酸奶产品品质的影响.研究表明,先经非硫化学护色再微波处理的香蕉浆护色效果最好;优化所得的香蕉酸奶发酵工艺参数组合为:奶粉添加量为7.54%、香蕉浆添加量为17.47%、发酵初始pH为5.90,接种量为4%,所得的香蕉酸奶品质最好,营养丰富,气味纯正,酸甜可口,具有香蕉特有的清香芬芳和肉软润滑感.     

基于Transformer-GANs生成有风格调节的音乐（英文）

近年来,研究人员开发了各种算法来生成动听的音乐。然而,在生成过程中有时忽略了风格控制。音乐风格是指音乐作品呈现的具有代表性的特征,是音乐最突出的特质之一。本文提出一种创新的音乐生成算法,该算法能够根据指定的风格从零开始创作完整的音乐作品。算法引入了风格约束的线性生成器和风格鉴别器。风格约束生成器模拟MIDI事件序列,强调风格信息的作用。风格鉴别器应用对抗学习机制并引入两种创新的损失函数,以加强对音乐序列的建模。此外,本文首次建立了一个判别指标,以评估生成音乐与训练数据在音乐风格上的一致性。在现有公共数据集上,实验结果的客观和主观评价都表明我们的算法在音乐制作方面优于现有先进方法。     

带电更换直过式电能表计量接线盒的研发

针对三相四线直过式电能表故障更换或到期轮换时需要用户停电处理的问题,研发出一种计量接线盒,达到不需要用户停电而进行带电更换三相四线直过式电能表的目的。     

浅谈情感功能在聋校体育教学中的运用

学校教育是一种情感教育,教师在教学中,只有爱之深,望之切,学生才能亲其师,信其道。这一点在聋校教育教学中,显得更为重要,这是由聋生的生理特点所决定。聋哑学生听力的损失,致使生理、个性及思维都照正常学生有所差异。如：兴趣单一,情感体验肤浅（人情味淡）等。她们犹如被害虫侵害的花朵,更需要老师施以精心的呵护和培养。这样就需要教师在日常的教学中注重发挥情感功能的作用。     

镜面人生

正设计师解析本案灵感来自珍藏的时尚,我们将其阐释为装在糖果盒里的枫叶糖,当开启时,将散发出与众不同的素雅。藏与展是贯穿本案的设计主导,我们希望在展示样板房空间的同时,更着重对空间功能属性的定义,巧妙利用镜面的延伸与扩展性,避免小面积空间产生逼仄感。     

汽轮机轴封加热器爆管原因分析与治理

加热器是发电厂的主要辅助设备,一旦轴封加热器管系泄漏或爆管(轴封加热器水侧压力大于汽侧压力),凝结水就会冲入壳体,引起汽侧满水,并有可能沿着抽汽管道倒灌入汽轮机,严重的会造成机组振动、动静碰摩、大轴弯曲、甚至叶片断裂等事故,直接影响机组的经济性和安全性。针对丰镇电厂某台机组轴封加热器出现爆管问题进行分析,对加热器不同泄漏原因,如疏水系统缺陷、加热器水位控制、管板变形、堵管工艺不当、汽水冲刷、管壁腐蚀等,分别找出了相应对策,经过改造问题得到彻底解决,对减少加热器爆管事故具有十分重要的意义。     

第Ⅲ族元素磷化物热力学性质理论研究

第Ⅲ族元素磷化物是重要的半导体材料,其在有限温度下热力学性质是该类材料设计和应用的基础。在密度泛函理论以及声子模型的基础上,系统研究了第Ⅲ族元素磷化物BP、AlP、GaP和InP的结构性质及其在0~1000 K温度范围内的热膨胀系数和热力学函数。计算结果表明,四种磷化物的晶胞参数计算值与已有的实验值符合得很好。通过非简谐近似计算,发现这四种磷化物的焓、熵、热膨胀系数这些热力学性质会随着温度的升高基本呈现单调递增变化,其热容则在增加到一定程度后趋于Dulong-Petit极限。此外,还将热力学函数计算值与可提供的实验值进行了比较,发现两者一致性较好。     

细微特征增强的多级联合聚类跨模态行人重识别算法

目前跨模态行人重识别研究注重于通过身份标签在全局特征或局部特征上提取模态共享特征来减少模态差异,但却忽视了具有辨别力的细微特征。为此提出了一种基于特征增强的聚类学习网络,该网络通过全局和局部特征来挖掘并增强不同模态的细微特征,并结合多级联合聚类学习策略,最小化模态差异和类内变化。针对训练数据设计了随机颜色转换模块,在图像输入端增加模态之间的交互,以克服颜色偏差的影响。通过在公共数据集上进行实验,验证了所提方法的有效性,其中在SYSU-MM01数据集的全搜索模式下Rank-1和mAP分别达到了70.52%和64.02%;在RegDB数据集的V2I检索模式下Rank-1和mAP分别达到了88.88%和80.93%。     

氧化锌烟尘中铟锗的分离回收工艺

采用火法烟化挥发法处理湿法炼锌、火法炼铅渣后产生的氧化锌烟尘主要含锌、铁,还含有铟、锗等一种或多种稀有金属,具有较高的回收价值。常规处理氧化锌烟尘采用两段酸浸工艺处理,通常只能针对其中一种稀有金属进行单一回收,不能满足目前企业的原料变化和冶炼要求。以含铟、锗的氧化锌烟尘为原料,利用铟、锗浸出特性的不同,通过调控反应过程的酸度,分步浸出铟、锗,并通过铟、锗萃取特性的不同,进一步分离回收铟、锗,从而实现氧化锌烟尘中铟、锗的分离提取。结果表明,经三段中浸—低酸浸—高酸浸强化浸出,中浸液中铟含量在2 mg/L左右,锗含量在60 mg/L左右,可用于后续的沉淀回收锗;低酸浸出液的铟含量在280 mg/L左右,锗含量在70 mg/L左右,经过后续的中和沉淀,铟富集到10 075 g/t左右,中和渣进行浸出—萃取—电积得到精铟产品和含锗萃余液,萃余液返回中浸,达到了铟锗分离提取的目的,实现了对资源的综合利用。