基于物联网技术的乳业食品质量安全跟踪追溯系统研究

传统乳业食品跟踪追溯系统不能有效地应对三聚氰胺等乳业食品质量安全问题,因而需要研究基于物联网技术的乳业食品安全跟踪追溯系统。在探讨了物联网技术与乳业食品安全跟踪追溯系统的概念和关系后,着重分析了当前一些较为重要的跟踪追溯系统,并指出了这些策略的优缺点。最后分析了当前亟待解决的问题,展望了其未来的发展趋势。     

属性序列图:形式语法和语义

在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于B(u)chi自动机的形式语义,并进行了实例研究,讨论了其应用前景.     

普适计算中基于移动代理的应用follow—me迁移技术

为了更好地利用普适计算环境中的计算资源、减少人为干预、提高工作效率,提出了应用的follow-me迁移需求,即计算可以随着用户的移动在异构设备和计算环境中移动,让移动中的用户能够体验到不间断的计算。提出了基于移动代理的普适计算中间件FollowMeAgent。结合情境感知技术,利用软件代理所具备的移动性实现应用的自主迁移,并根据应用特点对迁移策略进行了细分。在此平台上开发了若干应用,通过性能测试证明其可行性和有效性。     

基于过渡电阻评估的灵活接地系统暂态故障选线方法

灵活接地系统发生单相高阻接地故障后,并联小电阻的投入将导致故障稳态分量变小,同时各馈线零序电流稳态幅值变化量差异较小,存在选线难题。分析并联小电阻投入后灵活接地系统暂态故障特征,得到馈线暂态零序电流与母线暂态零序电压及其导数的固有关系,分析小电阻投入时刻与暂态故障特征幅值的关系,从而提出一种基于过渡电阻评估的灵活接地系统暂态故障选线方法。该方法通过小电阻投入产生的低频暂态电压电流评估过渡电阻,进而实现故障选线,不受故障初相角影响,耐过渡电阻能力强,对互感器精度要求低;同时,通过小电阻投入时刻的选择可实现暂态故障特征的最大化调控,可为灵活接地系统选线与保护方法提供新思路。最后,通过仿真和实时数字仿真（RTDS）实验验证了所提方法的正确性。     

基于傅里叶级数解析热扩散角的功率模块热阻抗物理模型

绝缘栅双极型晶体管功率模块失效主要由温度因素诱发。为提高功率模块可靠性,RC热阻抗模型被提出用于实时预测芯片结温。随着功率密度的提高,模块横向扩散愈发明显,多芯片热耦合效应愈加突出,导致传统RC模型会引入较大误差。文中针对RC模型精准度不足进行改进,揭示热扩散角取决于热流密度的物理内涵,结合多层封装结构下的傅里叶级数解析热流模型,建立一维RC热网络与三维热流物理场的本质联系,构造计及多芯片热路耦合的扩散角热网络,较为准确地描述多芯片结温动态特性,揭示热扩散与热耦合效应对芯片温度场形成的规律。与其他传统热扩散角模型相比,所提出方法的结温计算结果准确度最高。最后以型号SEMi X603GB12E4p模块为例,针对提出的物理模型进行验证,仿真与实验结果均表明,该模型能够表征不同工况条件下功率模块的热过程,验证了所提建模方法的有效性与准确性,误差小于4%,且验证了所提模型较不计及热耦合模型精度提高了16.72%。     

双向特征融合的快速精确任意形状文本检测

现有的基于分割的场景文本检测方法仍较难区分相邻文本区域,同时网络得到分割图后后处理阶段步骤复杂导致模型检测效率较低.为了解决此问题,该文提出一种新颖的基于全卷积网络的场景文本检测模型.首先,该文构造特征提取器对输入图像提取多尺度特征图.其次,使用双向特征融合模块融合两个平行分支特征的语义信息并促进两个分支共同优化.之后,该文通过并行地预测缩小的文本区域图和完整的文本区域图来有效地区分相邻文本.其中前者可以保证不同的文本实例之间具有区分性,而后者能有效地指导网络优化.最后,为了提升文本检测的速度,该文提出一个快速且有效的后处理算法来生成文本边界框.实验结果表明:在相关数据集上,该文所提出的方法均实现了最好的效果,且比目前最好的方法在F-measure指标上最多提升了1.0％,并且可以实现将近实时的速度,充分证明了该方法的有效性和高效性.     

混合工质R513A替代R134a应用于离心式冷水机组的理论分析及试验研究

为验证R513A替代R134a应用于离心式冷水机组的可行性,在相同工况下对比分析R513A和R134a的热力循环性能,并将R513A直接充注于现有采用R134a制冷剂的离心式冷水机组中进行变工况试验研究。试验结果表明,在相同工况下,采用R513A时的制冷量为R134a的97.56%,性能系数为R134a的95.25%,排气温度相比R134a低2.2℃。虽然R513A的制冷性能略低于R134a,但鉴于其具有低GWP值、不可燃、低毒性等优点,R513A可以作为R134a的替代制冷剂直接应用于离心式冷水机组。     

相位一致性和KDDA结合的人耳识别方法

随着人耳识别技术的发展,如何寻找不受光照和对比度影响的特征并用于识别成为研究热点之一。本文提出一种利用相位一致性对人耳进行特征提取的方法,该方法首先从8个方向计算人耳图像中每点的相位一致性,然后对经过相位一致性变换的输出图像分块求和,形成特征矢量,最后通过KDDA将特征向量投影到低维高可分空间,并用欧式距离对人耳图像分类。对77个人,共308幅人耳图像进行实验,在等误率为1.7%的情况下,识别率可以达到98.2%左右,验证了该方法所提取的人耳特征不受光照影响。     

基于调用栈完整性的缓冲区溢出检测方法

缓冲区溢出漏洞是影响系统安全性的严重问题,而对于该问题的检测也已展开了大量而深入的研究。基于调用栈完整性（CSI）的检测方法不同于目前已有的各种检测技术。CSI利用通用的完整性规则,在保持对于应用程序完全透明的情况下,基于调用栈完成缓冲区溢出的检测。通过对于Linux内核中所实现的CSI原型系统的测试表明,该方法可以在较低的性能损失下有效地识别包括基于shellcode的传统攻击,以及petupn into libc在内的高级攻击技术,其检测强度高于现有的各种检测方法。     

IP网络质量的主客观评价融合模型

针对IP网络质量评价问题,利用BP神经网络构建一种主客观特征融合的评价模型。主客观2个评价网络分别进行自适应学习,在学习输出稳定后,2个BP神经网络通过相互共振学习使主客观评价数据融合,由此获得一致的评价结果。结合用户感知的主观评价和多种客观性能评价指标对该模型进行仿真,实验结果表明,模型具有较强的抗噪性能,可以较好地满足IP网络质量的综合评价要求。