一种基于参考模型的GPDSP指令流控自动验证方法

随着科学计算和人工智能算法复杂度的增加,作为硬件设计中的控制中心,指令流控部件的设计面临复杂性和精确性急剧提升的挑战.FT-xDSP是国防科技大学自主研发的一款64位GPDSP处理器,其指令流控部件的设计规模和复杂性大幅增加,使得指令流控部件的验证成为一个突出难题.提出一种基于指令重排参考模型的指令流控自动化验证方法:首先,以指令输入输出关系为主要特征建立流控部件的抽象模型,屏蔽了内部复杂逻辑,在保证分析结果准确性的基础上降低了分析复杂度;其次,通过自动生成带约束的随机测试激励,对参考模型和待测设计结果进行自动化比较分析,在验证代价相当的情况下提升了代码覆盖率和功能覆盖率.实验和实际应用结果表明,该方法能针对指令流控验证中的薄弱点进行定向随机验证,大幅度提升了指令流控部件的验证效率和验证完整性.     

一种高效的协调式检查点算法

为降低设置检查点的开销,提出一种高效的异步存储非阻塞协调式检查点算法。该算法允许多个进程并发地在进程状态信息量较小时设置检查点,只在稳固存储器空闲时进行异步存储,并可同时进行检查点设置及进程执行。实验结果表明,该算法能降低设置检查点的开销,提高系统性能。     

《汽车电工电子基础》实训教学改革及应用

汽车电工电子基础实训教学是采用理论教学和实践训练相结合的方式,培养学生从"应知"到"应会",再到"应能"的实践过程。通过实训使学生达到巩固理论知识、学习操作技能、使学生能更好地适应社会、企业对岗位的要求。同时,对培养专业性技术人才也具有重要意义。     

局部低温诱发过冷三水醋酸钠释能特性实验研究

利用半导体制冷局部低温诱发稳定过冷的三水醋酸钠溶液凝固,实验研究不同含水量、样品质量、输入功率等条件下过冷溶液结晶诱导期及释热特性。结果表明:随样品含水量增加,整体呈现结晶诱导期增加,释热温度下降的趋势,含水量44%作为较理想的体系配比,结晶诱导期为2 min,稳定放热温度达52.8℃;诱发过程中制冷装置输入功率越大,容器壁面降温越快,较容易触发,功率为280 W的结晶诱导期是功率为70 W的1/3;样品质量越大,结晶诱导期越短,稳定放热温度相对较高,放热时间趋长。实验结果为稳定过冷水合盐局部低温诱发凝固释能系统设计提供依据。     

纳米Ag~+-TiO_2/聚氯乙烯抗菌塑料制备及其性能

将纳米Ag+-TiO2用8%硅烷偶联剂(KH-560)进行表面改性,再与聚氯乙烯(PVC)树脂、增塑剂、润滑剂、稳定剂等混合,经熔融塑化,制得软质PVC抗菌塑料。考察了改性纳米Ag+-TiO2加入量对PVC抗菌塑料力学性能、加工流变性能和抗菌率的影响规律。研究表明:纳米Ag+-TiO2的加入可有效提高PVC塑料的力学性能和抗菌率,改善加工流变性能;当加入量为0.63%时,对大肠杆菌和金黄色葡萄球菌的抗菌率已超过90%;当Ag+-TiO2添加量为2.5%时,抗菌率超过99%,具有很好的抗菌效果。     

魔芋葡甘露聚糖对淀粉性能的影响及其在功能性食品中的应用进展

魔芋葡甘露聚糖是一种性能优良的食品添加剂,也可用于生物大分子的改性。淀粉是为人体供能的重要天然大分子,但具有易回生、抗剪切性弱、热不稳定等缺点。物理法具有便捷、环保、低成本的特点,常用来改良淀粉性能,广泛应用于食品行业中。本文介绍了近年来魔芋葡甘露聚糖对天然淀粉物理改性的研究进展,总结了KGM对淀粉流变特性、回生特性、消化特性等方面的改良,此外,本文还对KGM在在活性物质运送、减肥塑身、预防疾病等功能性食品中的应用研究进行综述。本论文为KGM改性淀粉提供可参考的科学依据,为功能性食品的开发提供新的思路。     

海水及模拟尾流气泡的激光背向散射特性实验研究

尾流光的背向散射特性是水下航行体跟踪、识别和定位目标的重要参数。开展海水及模拟尾流气泡的激光背向散射特性实验研究，对确定感知舰船尾流的光学参量，从散射信息中分离出光尾流特征信息，验证尾流光散射特性模型有重要意义。讨论了海水及气泡群的激光背向散射特性实验研究，给出了实验结论。     

基于碱脲溶剂体系胶化作用的湿强纸的制备

在低温及中高浓度条件下,利用氢氧化钠 硫脲水溶液浸渍处理由漂白硫酸盐慈竹浆抄造的纸张,经冷冻及洗涤后制备湿强纸,通过单因素实验探究碱浓、浸渍时间、冷冻温度、冷冻时间和洗涤时间等因素对纸张强度性能的影响,并利用傅里叶变换红外光谱仪、X射线衍射仪、热重分析仪、核磁共振波谱仪和扫描电子显微镜表征处理前后纸张性能的变化情况。结果表明,在碱浓7%、浸渍时间3 s、冷冻温度-7℃、冷冻时间15 min、洗涤时间15 min的处理条件下,制得的湿强纸强度性能最好。与处理前原纸相比,在该条件下处理后纸张的干抗张指数提高了66%,干耐破指数提高了183%,湿抗张指数提高了321%,湿耐破指数提高了980%;同时处理后纸张中单根纤维的含量显著降低,且处理前后纸张纤维的官能团结构、无定形区和结晶区结构、热力学性能以及碳骨架结构均没有明显变化。     

蜂鸣器故障的分析及应用

自从中国加入世贸组织以来,汽车行业发展迅猛。所以,人们对汽车使用的安全性、可靠性、舒适性、经济性等方面都提出了较高的要求。本文就以汽车蜂鸣器故障分析和音频警告种类为例进行讲解,更好地诠释汽车安全可靠方面的问题。     

生活陶瓷高温艺术化趋向

从仰韶文化和马家窑文化出土的彩陶来看,陶瓷创烧起最先的用途就是生活实用性,新旧石器时期的生活彩陶:人面鱼纹彩陶盆、舞蹈纹彩陶盆、鹳鸟石斧彩陶缸等都具有那个时期的美,可见人类自始皆有爱美的天性,每个时期生活陶瓷艺术化都没用停止.生活陶瓷高温化也是人们不断探索的目标,因为经过高温烧制的生活陶瓷更加健康.本文就从生活陶瓷高温...