基于元模型的Simulink静态分析技术

为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。     

基于LoRa的远程自动抄表系统研究与实现

针对目前人工抄表繁琐且费时费力的行业痛点,提出了一种基于LoRa的远程自动抄表系统的设计方案。方案以LoRa扩频通信为基础,采用LoRa与以太网通信相结合的方式,网络拓扑上采用扩展的星型组网,引入TDMA机制以保障数据传输的成功率。介绍了系统架构、网络拓扑、系统的软硬件平台、自定义LoRa的MAC子层以及各节点的工作流程,实现了对水、电、燃气及热力表的远程自动抄表管理。最后对系统进行测试,通过分析测试结果表明该系统方案具有覆盖范围广、数据传输成功率高、组网快速、维护简单等特点,具有广泛的应用前景。     

卫星数据深加工处理流程自动化分析、设计与实现

在分析现行高分辨率卫星数据深加工处理流程的基础上,指出了制约现行深加工系统自动化的主要因素。结合运行性深加工处理系统开发,以实现深加工处理的自动化为目标,通过多种空间数据库的建立与相互作用,对深加工处理流程和系统进行了全新的设计。进而依据该设计方案,初步实现了一个原型系统。实验表明,对于深加工流程的改进设计切实可行,提高了深加工处理的自动化程度。     

D-最优混料设计优化肉苁蓉速溶咖啡加工工艺

目的 结合工厂实际优化肉苁蓉速溶咖啡配方加工工艺。方法 运用模糊综合评价法结合D-最优混料设计对肉苁蓉速溶咖啡配方进行优化, 考察总粉量、加糖量、总浸粉的占比及肉苁蓉和咖啡浓缩液的质量比对感官评分的影响。建立组成成分与肉苁蓉速溶咖啡感官评价之间的回归模型, 通过JMP软件优化得到最佳的加工工艺条件。结果 肉苁蓉速溶咖啡的最佳工艺配方: 总粉量20%、加糖量25%、总浸粉55%、肉咖比1:2、2种混合浓缩液与麦芽糊精之比1:0.6; 最佳的冲调比例: 粉水比1:8。在此条件下的感官评分为96.80分, 与预测感官评分的偏差为0.23%, 不存在显著性差异(P>0.05)。结论 本研究建立的方法及模型真实有效, 可为实际生产提供参考依据。     

永磁同步直线电机提升系统总体方案研究与实现

传统有绳提升模式由于钢丝绳自重和强度的限制无法满足超高层建筑和超深矿井的提升,随着提升高度的增加,绳本身的弹性对系统驱动和运行控制性能的恶化增加,且无法实现单一井道运行多个轿厢以及轿厢在井道间循环运行。作为一种全新的提升方式,永磁同步直线电机驱动的无绳提升模式可从根本上克服传统有绳提升模式的缺陷,研究了单井道单轿厢永磁同步直线电机无绳提升的方案。     

直线电动机直驱多轿厢循环电梯研究及设计进展

传统电梯单纯依靠提升速度、采用双层轿厢以及单井道双轿厢技术不能从根本上提高其单位时间内的运输能力。直线电动机直驱多轿厢循环电梯轿厢可在单井道内或在井道间循环运行,轿厢运行速度远超现有电梯驱动技术的限制,且投入运行的轿厢数量可根据客流量及候梯时间柔性实时调整,为克服现有曳引、链条或液压传动技术的电梯在运输效率、候梯时间、运量、提升高度等方面的固有缺陷提供了实现的可能。合理的系统设计能实现类似地面交通运输系统的可立体变轨的多轿厢循环提升系统,使其成为全方位可实时调整的立体交通运输体系的有机组成部分。     

烷基化装置制冷优化改造研究

烷基化反应是在低温条件下发生的放热反应,控制好反应温度是提升加工量及转化率的关键。某公司烷基化装置因为反应器温度超温,限制了装置的加工能力。通过对工艺流程进行优化,并增加相关制冷设备,有效提高了加工量和产品质量。     

基于LoRaWAN的自适应多帧高效传输方法

针对LoRaWAN协议中LoRa网关与LoRa终端间数据多帧传输方式存在控制开销和传输时延较大的问题,提出一种基于LoRaWAN的自适应多帧高效传输方法（adaptive multi-frame efficient transmission,AMFET）,包含自适应多帧发送机制、自适应多帧接收确认机制和丢帧识别机制。自适应多帧发送机制对需确认数据消息设置优先等级,对高级需确认数据消息进行立即确认,对低级需确认数据消息在自适应发送模式结束后统一进行确认,同时将Fpending机制引入LoRaWAN上行多帧传输;自适应多帧接收确认机制通过位向量压缩技术记录已接收数据帧信息,从而单次对多个需确认数据消息进行合并确认;丢帧识别机制利用需确认帧编号（confirmed data identity,CDID）识别低级需确认消息是否丢失,避免终端异常进入休眠模式。通过数学分析和实验测试,分别对AMFET方法的性能进行了理论验证和实验验证,验证结果表明,相对于原LoRaWAN多帧传输方式,AMFET方法在保证数据传输可靠性的前提下,有效降低了数据传输时延和数据传输能耗。     

调制方式对紫花苜蓿干草品质的影响

为探索紫花苜蓿适宜的干草田间调制方式,以"金皇后"紫花苜蓿为试验材料,采用不同程度压扁、不同水分翻晒进行干草调制,测定分析苜蓿干草干燥特性及营养成分含量,确定最适压扁程度及翻晒水分。结果表明:苜蓿干燥过程中,水分呈先快后慢的下降趋势,压扁处理苜蓿干燥速度显著快于未压处理(P<0.05),叶片保存率随翻晒水分的降低而下降。中度压扁、翻晒水分为40%时的苜蓿干草叶片损失率较低(P<0.05),粗蛋白质17.35%,相对饲用价值141.40%,显著高于其他处理(P<0.05)。通过数据分析可知,中度压扁结合水分为40%翻晒处理进行苜蓿干草调制,为适宜的干草田间调制方式。