基于语义规则的污点传播分析优化方法

离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义。针对上述问题,提出了一种基于语义规则的污点传播分析优化方法。该方法定义了一种指令的语义描述规则,用于描述指令的污点传播语义,利用中间语言自动生成汇编指令的语义规则,再根据语义规则进行污点传播分析,避免了现有污点分析方法中指令重复执行导致的重复语义解析,提高了污点分析的效率。实验结果表明,所提方法能够有效降低污点传播分析的时间开销,仅占传统基于中间语言污点分析的14%左右,提高了分析效率。     

基于DSP的恒温控制系统设计与实现

介绍了应用于DNA提取自动化工作站的一种基于DSP(数字信号处理器)的恒温控制系统。针对自动化工作站中敞开式恒温模块的高精度温控要求和纯滞后、易受环境干扰的温控特点,分别对温控系统软硬件进行设计,应用改进的位置式PID控制算法并结合高质量的PID参数整定,实现了对恒温模块的高精度温度控制。实际测试结果表明,在开放式温控环境下,恒温模块的温控精度达到了±0.15℃,具有调温速度快、温控精度高和抗干扰能力强的特点,完全满足DNA提取自动化工作站的设计要求。     

基于敲击声振法的风机叶片脱层检测系统设计

脱层是风机叶片的主要损伤形式,根据风电叶片的材料特性及外形特点,分析和研究了敲击声振检测原理和现场检测的可行性。叶片出现脱层时,缺陷处刚度下降,敲击应力持续时间增大。依据此检测原理,计算出合理的等效锤头质量,利用压电薄膜作为动态冲击力传感器进行了力锤的结构设计;利用FPGA设计了便携式检测仪,对敲击信号进行信息提取和处理,计算敲击力脉冲信号的宽度,具有结果图形显示和串行通信的功能。经过实验,验证了脉冲宽度与损伤深度的关系。     

用于光刻系统仿真的多边形处理算法

为提高光刻仿真效率,通过对光刻原理进行研究,提出了2种多边形处理算法,将掩模上的多边形图案进行切分优化,将其划分成若干矩形或三角形。在Linux环境下应用C语言设计出一个完整的光刻仿真系统,设计的具体光学参数为:光源波长为193nm,数值孔径为0.3~0.8,部分相干系数可调范围为0.2~0.8,可一次性仿真1μm×1μm到10μm×10μm范围内的45 nm~0.18μm工艺的复杂版图,并通过多次实验进行验证。实验结果表明:原版图图像的边缘细节得到保留,且该算法有效地减少了光刻模拟的计算复杂度与计算时间,整体效率提升20%以上,为当前智能传感器系统芯片的制造节省了宝贵时间。     

多孔介质模型在核电蒸汽发生器设计中的应用

对基于多孔介质模型开发的核电蒸汽发生器三维热工水力分析程序ATHOS进行介绍．并应用ATHOS对核电蒸汽发生器二次侧的复杂传热传质现象进行数值模拟。获得蒸汽发生器二次侧的流动换热状态,以及二次侧三维两相流场分布,分析结果可作为传热管流致振动、磨损分析及结构设计的输入数据。研究工作表明,多孔介质模型在核电蒸汽发生器设计中具有重要的应用价值。     

新一代水管式沉降仪控制模块的研制

新一代低功耗水管式沉降仪控制模块是基于16单片机MSP430F5436为处理器的低功耗装置.该文详细介绍了其硬件结构和工作原理,分别从电源系统、电磁阀控制电路、控制流程、数据采集等部分阐述了其特点,诠释了水管式沉降仪控制模块在人机交互、工作稳定性等多方面所具备的优势.新一代水管式沉降仪控制模块已在实际工程中得到了成功应用,其稳定性和精确性为大坝监控系统提供了准确的实时数据.     

氟硅唑微乳剂的研制

对国内外文献未见报道的8％氟硅唑微乳剂制剂进行了研制，测定了其冷贮和热贮稳定性等理化性状及生物活性。对黄瓜自粉病室内毒力测定和田间药效试验结果表明，药效与40％乳油相当，对黄瓜安全。     

环氧树脂/蒙脱土纳米复合材料性能的研究

用一种新型的热稳定性较好的改性剂2，2’-二[4-(4-氨基苯氧基)苯基]-丙烷(BAPP)改性钠基蒙脱土，再与环氧树脂进行纳米复合制备了环氧树脂／蒙脱土纳米复合材料。讨论了蒙脱土用量对环氧树脂／蒙脱土纳米复合材料性能的影响，并对其结构和性能进行了表征和测试。结果表明：改性使蒙脱土层间距变大，制备出的环氧树脂／蒙脱土纳米复合材料剥离结构较好，环氧树脂／蒙脱土纳米复合材料的玻璃化转变温度和动态储能模量随改性蒙脱土用量的增加呈现较好的递增趋势。     

探讨概率应用的几个典型问题

概率应用遍及自然科学和社会生活之中,科学的概率不仅应当服务于科学,更重要的是能够服务于概率应用。这里通过解决典型问题,剖析概率研究方法的特殊性,探讨概率应用的一般方法。     

基于平衡采样的轻量级广告点击率预估方法

类似Google AdSense这样的定向广告投放系统在过去十年得到了长足的发展和进步, 在定向广告投放系统中, 机器学习方法在广告点击率预估扮演着重要角色。目前, 广告点击率预估模型中的训练数据逐渐呈指数级增长, 越来越大的训练数据给模型的扩展性带来了极大的不便。很多有用的特征以及复杂的模型受限制于训练集规模而无法加入到模型之中。借鉴类别不平衡问题中的平衡采样策略, 通过多次采样的负样本数据和集成学习, 缩短训练时间, 改善学习准确率。实验证明在采用了平衡采样之后, 点击率预估效果和线上资源消耗都得到了优化。