约束逻辑编程中宽数据算术运算算法

提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法，运算分解扩展了现有CLP的功能，使其能适应实际的数据通路设计。实验结果表明方法是有效的。     

一种基于改进渗流模型的混凝土表面裂缝快速检测算法

由于混凝土表面不平整、光照不均、裂缝背景较为复杂等因素的干扰,传统的基于图像处理的裂缝检测方法对裂缝检测的效果不佳,尤其是不清晰和比较细小的裂缝。基于渗流模型的裂缝检测方法充分考虑了裂缝亮度低、形状较为细长的特点,对裂缝的检测效果很好,尤其是图像中的细小裂缝,但是该方法需要大量的处理时间。为了解决上述问题,提出了一种加速渗流处理的算法,该算法通过暗点预提取来减少渗流时需要处理的像素点个数,以此来减少渗流处理时间。实验结果表明,所提算法能明显加快渗流处理的速度,并且精确率基本保持不变。     

基于Winograd稀疏算法的卷积神经网络加速器设计与研究

随着卷积神经网络得到愈加广泛的应用,针对其复杂运算的定制硬件加速器得到越来越多的重视与研究。但是,目前定制硬件加速器多采用传统的卷积算法,并且缺乏对神经网络稀疏性的支持,从而丧失了进一步改进硬件,提升硬件性能的空间。重新设计一款卷积神经网络加速器,该加速器基于Winograd稀疏算法,该算法被证明有效降低了卷积神经网络的计算复杂性,并可以很好地适应稀疏神经网络。通过硬件实现该算法,本文的设计可以在减少硬件资源的同时,获得相当大的计算效率。实验表明,相比于传统算法,该加速器设计方案将运算速度提升了近4.15倍;从乘法器利用率的角度出发,相比现有的其他方案,该方案将利用率最多提高了近9倍。     

微处理器体系结构级测试程序自动生成技术

提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统--MA2TG(microprocessor architectural automatic test program generator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性.     

虚拟原型自由交互和多重纹理绘制在医学仿真中的应用

介绍了一种基于光线跟踪法的多虚拟原型自由交互方法,并通过多重纹理绘制解决交互过程的逼真绘制问题.多重纹理绘制通过存储原型材质标识号,采用切割不同纹理图源文件分别渲染小三角形面片的手段,将不同纹理同时渲染到虚拟原型相应位置,以实现高度真实感的虚拟原型交互过程的实时逼真显示,给出了该方法在虚拟医学手术训练中的应用.     

面向微处理器验证的约束描述语言及其编译器

该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。     

某公共建筑三星级绿色改造关键结构加固技术

既有建筑绿色改造是城镇化与城市发展领域的重要发展方向,本文对四川省首个既有公共建筑绿色改造三星级标识示范项目的主要结构加固技术措施进行了介绍和分析,并提出了只有对主体结构具有充分的认知和制定合理的技术路线方能达到提升结构安全性能和节能的双重目标.本项目改造的前期准备工作及创新技术措施可为同类项目提供借鉴参考.     

基于网络药理学和试验验证探讨镰形棘豆黄酮类化合物对于炎症的作用机制

目的：利用网络药理学和分子对接方法研究镰形棘豆黄酮类化合物（Flavonoids of Oxytropis falcata Bunge,FOFB）抗炎的分子机制。方法：通过SEAdatabase、SwissTarget Prediction和TargetNet数据库预测TFOFB相关靶点。从DisGeNET、GeneCards和Geneclip3数据库收集与炎症相关的靶点，通过靶点映射确定活性化合物作用于炎症的靶点。利用Cytoscape 3.7.2软件构建药物-化合物-疾病-靶点蛋白互作网络图。借助Omicshare和Metascape数据库分别对化合物与炎症的交集靶点进行GO及KEGG富集分析。用Griess法检测活性化合物对脂多糖（LPS）诱导的RAW264.7巨噬细胞iNOS的影响，以验证其抗炎活性。通过Autodock vina软件对核心化合物和核心靶点进行分子对接验证。结果：镰形棘豆黄酮类化合物与炎症共同靶点432个，关键靶点5个，包括AKT1、HSP90AA1、EP300等。KEGG富集结果显示FOFB抗炎主要调控cAMP信号通路、NF-κB信号通路、cGMP-PKG信号...     

氧化时间对FeSiAl合金粉末组织与电磁性能的影响

以FeSiA合金粉末为原料，研究空气中500℃下不同氧化时间对FeSiAl合金粉末微观组织和电磁性能的影响。结果表明：随着氧化时间的延长，FeSiAl合金粉末颜色由深灰色向土黄色转变，表面微观形貌无明显改变。氧化5 h后，粉末表面出现Fe₃O₄，随着氧化时间进一步增加至10 h,Fe₃O₄逐渐转变为Fe₂O₃。FeSiAl合金粉末表面氧化层主要包含Fe₂O₃、SiO₂和Al₂O₃。粉末介电常数和磁导率的实部随着氧化时间的增加呈上升趋势，介电常数的虚部和磁导率虚部无明显变化。     

CTU机器人装载轨迹自适应模糊滑模控制方法

CTU料箱机器人在多层拣货期间会出现装载不稳定现象，为解决这一问题，该文提出CTU机器人装载轨迹自适应模糊滑模控制方法。对CTU料箱机器人实施动力学分析，依据分析结果规划CTU机器人装载轨迹路径，使机器人根据规划的最优路径实现自动化取货；为保持机器人在拣货期间的稳定性，利用构建的自适应模糊滑模控制模型消除CTU机器人在外界干扰下所产生的输入抖振现象，并结合设计的自适应控制律，完成CTU机器人装载轨迹平衡控制，从而实现CTU机器人装载轨迹自适应模糊滑模控制。实验结果表明，通过对该方法开展平衡能力及抗扰动性测试，验证了该方法的可行性。