面向处理器功能验证的硬件化System Verilog断言设计

功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有明显不足.基于FPGA的硬件原型验证方法能极大地加速验证性能,但其调试能力较弱,虽能快速发现漏洞,但难以定位漏洞出现的具体位置和根本原因,存在有效性不足难题.为同时解决上述功能验证有效性与高效性的问题,提出一种将不可综合的断言语言SVA(SystemVerilog Assertion)自动转换成逻辑等效但可综合的RTL电路的方法,聚焦于断言这一类对设计进行非全局建模、纵向贯穿各抽象层级的验证方式,对基于全局指令集架构(instruction set architecture,ISA)模型的验证能力进行补足.同时,结合FPGA细粒度并行化、高度可扩展的优势,对处理器的验证过程进行硬件加速,提升了处理器的开发效率.实现了一个端到端的硬件断言平台,集成对SVA进行硬件化的完整工具链,并统计运行在FPGA上的硬件化断言的触发和覆盖率情况.实验表明,和软件仿真相比,所提方法能取得超过2万倍的验证效率提升.

不同果胶酶处理对户太八号葡萄酒品质的影响

为探究不同果胶酶种类和添加量对户太八号葡萄酒整体品质的影响,以户太八号为原料酿造干红葡萄酒,研究3种商业果胶酶(HC、EX-V、RF)在不同添加量(20 mg/L、40 mg/L、60 mg/L和80 mg/L)下对户太八号葡萄出汁率、葡萄酒澄清度、理化指标、甲醇含量、颜色和挥发性香气化合物的影响。结果表明,当果胶酶EX-V添加量为20 mg/L时,葡萄酒整体品质较好,葡萄酒的pH值、酒精度、挥发酸等指标无显著性影响(P>0.05),且甲醇含量满足GB/T 15037—2006《葡萄酒》标准要求,同时显著提高了葡萄的出汁率、葡萄酒的澄清度(P<0.05);由于总花色苷含量的提高,显著改善了葡萄酒颜色,具体表现在显著提高了色彩饱和度(C^(*)_(ab)值)、红色调(a^(*)值)(P<0.05),显著降低了黄色调(b^(*)值)(P<0.05);挥发性香气化合物含量显著高于其他处理组(P<0.05)。基于重要挥发性香气物质(OAV>0.1)可以区分不同果胶酶处理葡萄酒样。研究表明,添加20 mg/L果胶酶EX-V能显著提高户太八号葡萄酒的品质。

多变流器互联交直流微网集群一致性功率协同控制

为增强多变流器互联交直流微网集群系统运行稳定性、可靠性及控制灵活性,本文提出一种一致性功率协同控制策略。控制系统包含互联变流器(DC-DC、DC-AC)柔性控制和交、直流微电网下垂控制等。互联DC-AC和DC-DC均采用双环控制,外环将一致性耦合控制和功率分配环节相结合,内环分别采用虚拟同步控制和移相控制。本文所提控制方法,系统仅基于就地量测频率或直流电压等信息,可同时实现子系统间功率协同互济、多互联变流器功率分配及多运行模式自适应平滑切换等目标。最后通过PSCAD/EMTDC仿真模型对所提方法的有效性进行了验证。

红曲色素发酵生产过程桔霉素控制技术研究进展

红曲色素作为天然色素已广泛应用于食品行业,而桔霉素污染会对其食品安全性造成严重影响,也对其出口造成很大障碍。该文总结了红曲色素发酵生产过程中桔霉素控制相关研究进展,包括无桔霉素或低桔霉素的菌种选育,培养基优化,发酵过程参数控制等手段来控制或消除桔霉素,以期为有效减少桔霉素生成,提高红曲色素产品的安全性提供参考和借鉴。

船舶特种细水雾灭火系统中的微差全引射技术研究

为实现新型的船舶特种细水雾灭火技术,特提出并深入研究了微差全引射技术。另外,还建立了一套专用的引射器多级试验装置,进行了大量的试验和理论分析,得出了微差全引射技术中引射器串联级数的确定方法、系统全压缩比在各级间的分配方法、各级喷射器类型的选择原则、设计点的确定原则以及主要关键尺寸的计算方法。

提高泡沫云对红外/毫米波复合制导干扰效果的实用途径研究

为寻求提高特种泡沫云对IR/MMW复合制导干扰效果的实用途径,进行了专门的理论研究和实验分析.结果表明:在通常的毫米量级下,泡沫云中的气泡直径越小,对提高干扰效果越有利,因此设法使得所生成的气泡直径尽可能地小,即可有效提高其干扰效果,而这可以轻易地通过调节泡沫云专用施放装置的工作压力或者适当改变所用化学原料的配比来实现.这一研究结果,对泡沫云干扰技术的发展及其战术运用设计具有重要的价值.

基于人工涡旋流的船舶堵漏新方法

分析了船舶传统堵漏方法存在的问题,突破单纯"堵"的思想框架。提出基于人工涡旋流的船舶堵漏新方法,并设计制作了验证性实验装置,进而分别研究了用于产生人工涡旋流的柔性、刚性桨叶对破口进水量的影响规律。实验结果表明:该方法通过在破口外侧合适位置人工形成局部高速涡旋流场,能够大幅减小海水对破口处的压力,也就可大幅减小破口处单位时间的进水量,从而为破口的舱内封堵创造有利条件。研究结论可为船舶堵漏理论的进一步丰富完善以及相应堵漏器材的研制提供必要的基础和依据。

特种泡沫云干扰效果退化现象的原因分析

特种泡沫云(SFS)是一种新型多波段无源干扰技术.在通过增加其气泡液层厚度(d)以提高对IR/MMW复合制导干扰效果的实验研究过程中,发现了干扰效果急剧下降的退化现象.本文对这一现象进行了理论研究,结果表明:SFS优良干扰效果的前提是保证其气泡干扰的多界面效应,而d超过一定限度(dmax)后必将使SFS的这一效应急剧退化,从而成为“退化泡沫”.文中还分析得出了dmax约为气泡半径的0.8882倍,实际应用中可以方便地通过控制施放条件来保证d不超过d.这些结论有利于防止SFS干扰效果的退化,对其作战使用直接具有重要的价值.

胶质气体泡沫对IR/MMW的干扰特性研究

为进一步发展特种干扰泡沫这一新型多波段无源干扰技术,研究了稳定性强、流动性好的胶质气体泡沫(CGA)对IR/MMW的干扰特性.实验表明,CGA对IR/MMW的干扰能力可达普通干扰泡沫的十几倍.初步分析认为,由CGA气泡的半径小、液膜厚等结构特征产生的界面数优势和全反射优势,是保障CGA优良干扰特性的重要基础.研究结果可为干扰泡沫这一新技术的"涂覆型"使用提供一种更可行、高效的途径.

黄腐酸提取及其分子结构的研究

简述了黄腐酸的基本性质,分析了近年来关于黄腐酸提取方法的研究,并对各种提取方法的优缺点进行了比较,以期寻求一种更具前途的黄腐酸提取方法,同时针对黄腐酸分子结构的表征进行分析,并对其研究前景进行了展望。

舰船火灾的特种细水雾施救技术研究

为满足舰船当前对火灾新的施救技术的紧迫需求,研究开发一种基于特种细水雾的灭火新技术;研究自动把细水雾与传统高效灭火剂、相应添加剂有机混合使用的技术原理;研究专用装置的设计要领等关键技术问题,并进行现场灭火试验。结果显示:用特种细水雾灭火,同时具有多种高效灭火作用,可以明显提高对火灾的施救效率,还可有效降低灭火造成的毒性和污染,船舶特种细水雾灭火技术综合优势明显,具有广阔的应用前景。

船舶气幕减阻技术现状及研究展望

船舶减阻技术一直备受关注,气幕减阻技术是其一个重要发展方向。在综述了国内外气幕减阻技术现有研究的主要实验和理论成果的基础上,分析了存在的主要问题,特别是对军用舰船存在的次生暴露、尾流加重等严重问题。为此,有针对性地提出了研制特种自消隐气幕的新思想,并提供了可行的研究思路和实现方案。

船舶特种气幕减阻技术原理研究

为克服现有备受重视的气幕减阻技术应用于军用舰船所存在的次生暴露、尾流加重等严重问题,开展了新型的船舶特种自消隐气幕减阻技术研究。分别介绍了特种自消隐气幕的设计思想和化学反应原理,并以实验验证了特种气幕自消隐的可实现性。研究成果有利于改善气幕减阻技术在现代军用舰船上的推广应用。

气泡艉流场特征及其研究综述

船舶气泡艉流场特征研究蕴含着重要的军事和民用价值。从气泡艉流场的几何特征、声光物理特征以及尾流中气泡的数密度、尺度分布特征等方面,总结了当前国内外关于船舶气泡艉流场特征研究的主要成果,进而通过分析它们在遥感探测、制导等领域的应用情况,进一步阐明了船舶气泡艉流场特征研究的重要性,并提出了应加强对气泡艉流场的探测技术和抑制消除技术研究的发展建议。

火焰周边扰流脱火效能的图像分析技术

脱火现象的分析研究是喷射火灾脱火法施救等诸多技术的重要基础。论文提出并较为深入地研究了火焰周边扰动气流脱火效能的图像分析技术。详细阐述了技术思想,分析了图像的获取及其信息的处理过程,建立了求解表征扰流脱火效能的火焰脱开距离数学模型,并通过专门设计的实验,初步验证了这一分析技术的可行性,为脱火现象的分析研究提供了重要的技术基础。

电力系统继电保护新技术的发展与分析研究

目前,作为主要能源之一的电力,对促进国民经济的发展起着极其重要的作用,而继电保护作为保障电力系统可靠运行的重要组成部分,它的发展和应用需要我们更加重视。文章对继电保护的发展历程进行了回顾,介绍了继电保护的现状,分析和探讨了自适应控制技术、人工神经网络、变电所综合自动化技术等,最后对继电保护设计的新思想进行了总结。

舰船涡旋流堵漏方法实验

舰船涡旋流堵漏是为克服现有堵漏手段存在的不足而提出的一种新技术思想。为此专门设计制作了相应的实验装置,分别研究了3 cm,5 cm和7 cm刚性桨叶生成的涡旋流对破口进水量的影响规律。实验结果表明,在转速相同条件下,破口距离越小,桨叶尺寸越大,生成的涡旋流对破口进水量的降低效果越明显,相比自然状态,可降至50%以上。研究结论可为舰船涡旋流堵漏方法的实际应用和装备设计提供必要的实验依据。

挑战与对策:网络社会化与青少年道德教育

因特网凭借方便快捷的信息传播方式和无以伦比的信息量宣告了网络时代的来临。伴随着新时代的来临,青少年社会化也呈现了新的范式——网络社会化,这无疑对青少年的传统道德教育提出了严峻的挑战。

不同初始酵母可同化氮浓度对苹果酒发酵过程中硫化氢生成量的影响

初始酵母可同化氮浓度和组成可影响对酿酒酵母发酵动力学和硫化氢生产。该研究旨在探讨苹果酒发酵过程中,初始酵母可同化氮浓度、发酵中氮源组成对抑制硫化氢及发酵动力学的影响。通过添加磷酸氢二铵调整初始酵母可同化氮浓度,酵母在低浓度、中浓度和高浓度下发酵苹果酒,测定发酵特性、硫化氢释放量及四种氮源组分。初始酵母可同化氮浓度与H_(2)S释放(释放变化及总量)之间存在复杂关系,其中,H_(2)S释放量最高的是中浓度处理,为288.25μg/100 mL,而最低为高处理,为44.13μg/100 mL。仅低浓度处理条件下,发酵速率[3.84 g/(d·L)]对H_(2)S的生成速率[31.68μg/(d·100 mL)]有极其显著影响(R2=0.95,P<0.0001)。四种不同类型的YAN组分在发酵过程中的吸收和释放规律不同。该研究证实,YAN初始浓度对H_(2)S的产生、动力学和每种类型YAN的摄取曲线都有决定性的影响,这表明在苹果酒发酵中,磷酸氢二铵是避免H_(2)S释放的有效氮源。该试验为苹果酒工业发酵提供了理论基础。

实现泡沫幕高效干扰的气泡结构参数要求

特种泡沫幕干扰实验研究中发现,构成泡沫幕的气泡半径越小,泡沫幕的干扰效果越好。本文通过探讨气泡半径、气泡液层厚度等结构参数对气泡中电磁波全反射发生概率的影响,从理论上解释了上述现象的成因,并建立了气泡结构性能参数指标η;据此提出了优化泡沫幕干扰性能的实用方法,并预测到该方法潜在的干扰性能退化风险,为彻底消除这一风险分析得出了关于η的可行值域。