摘要：实时系统已经广泛应用于人们工作生活中的各个领域,通常要求具有很高的可靠性,采用形式化方法对实时系统建模并验证是构建可信实时系统的重要手段.现有的实时系统大多是由组件构成的,为缓解组合形式验证中常见的状态爆炸问题,可以对实时系统组合模型运用时钟区域等价方法进行状态划分及合并,用构件抽象的组合建立构件组合的抽象并确保一致性,在验证过程中基于改进的反例引导的抽象精化框架对抽象模型进行精化以消除模型抽象可能引入的附加行为(伪反例).最后,以铁轨交通灯控制系统为例,通过相关实验进行数据分析与比较来说明方法的有效性.

摘要：分析了车用自组织网络(vehicular Ad-hoc NETwork,VANET)中基于位置信息的路由判据、基于车辆运动信息的路由判据和基于链路质量的路由判据的优缺点,提出了结合跳数指标和车辆速度以及重传数的路由判据,以限制路径长度;采用多径路由思想以减少路由发现频率;为解决车辆运动信息采集方面的通用性和车辆改装问题,提出了利用OBD(on-board diagnostic)技术的车辆信息获取方法。仿真结果表明,基于上述两种改进判据的协议S-AOMDV和R-AOMDV获得比最小跳数AOMDV(Ad hoc on-demand multipath distance vector)协议更高的性能,特别是在节点负载较重的情况下,S-AOMDV和R-AOMDV的PDF(packet delivery fraction)提高了3.54%和5.53%,E-EDelay(average end-to-end delay)降低了11.92%和53.95%。

摘要：针对Ф-OTDR振动检测系统数据庞大、处理缓慢的问题,通过对硬件采集电路的设计和上位机控制软件的编写,运用FPGA高速采集技术对搭建的Ф-OTDR分布式光纤传感系统进行了优化,显著提升了系统的响应速度,从而可实现10 km光纤上振动信号的有效检测与定位,且定位误差为20 m。因此,基于FPGA技术的信号高速采集系统有助于Ф-OTDR在振动测量领域的推广和应用。

摘要：为实现服务器端数据最大限度整合,提升数据利用率,保障数据安全性,设计基于虚拟化技术的服务器端数据整合系统。系统总体框架以虚拟机和物理节点作为系统管理对象,通过服务器端进行数据整合,执行客户端命令并监测物理节点状态,采用网络监控软件采集,整合服务器端数据。依据该结果明确选择单独服务器还是虚拟服务器,并制定服务器端数据整合方案。实验结果表明,该系统功能实用性较强,稳定性高,并且系统在进行数据整合时所需时间少,可以实现高效率运行。

摘要：本文从数据与设计思维的融合关系研究入手,对大数据分析下用户研究的原理与创新方法进行阐述,强调采用定量与定性相结合的用户研究方法,并构建'从创建用户画像到分析用户体验旅程再结合情景分析'的互联网设计领域大数据分析导出用户需求洞察的创新路径。最终,将创新洞察路径应用于流失用户研究案例中,案例研究结论进一步验证其有效性,促进了数据驱动设计模式的创新发展,展现了数据与设计融合的具体路径。

摘要：人工湿地规划与设计是城市人居环境改善和提升的主要途径之一。近年来,人工湿地景观设计的重点已经由视觉审美向听觉审美延伸,声景质量研究备受关注。2019年7~9月,在英国伦敦湿地中心开展了实地调研,录制了短视频和音频,拍摄了照片;采用理性技术分析和主观语义分析方法,利用采集到的视听资料,参考声学行业对噪声界定的标准,研究了伦敦湿地中心的声景质量状况。研究结果表明,民航客机和直升机产生的噪声是伦敦湿地中心最主要的噪声源;鸟鸣声和飞机的飞行噪声是声景的主体,访客对飞机飞行声、鸟鸣声、风声、风吹植物声、雨声、水声、蛙鸣声、混合声、昆虫鸣声、儿童嬉戏声、谈话声、雷电声、水獭(Lutra lutra)声的关注程度依次变低;英国伦敦湿地中心西线的声景质量明显高于南线;伦敦湿地中心的声景质量有待进一步改善,中国城市湿地公园的建设也可以从中得到借鉴。

摘要：为了实现桥梁结构基于性能抗震设计多等级性能目标,需要给出桥梁关键构件达到各级性能水平的概率。将钢筋混凝土桥墩抗震性能水平划分为四个等级,并从桥墩物理损伤角度给出各性能水平的控制条件。基于183个矩形和77个圆形桥墩拟静力试验结果,采用统计分析的方法得到各性能水平下位移延性系数统计特征值。采用K-S方法,对位移延性系数概率分布模型进行检验。结果表明,在5%重要性水平下概率分布模型服从对数正态分布。研究结果可用于钢筋混凝土桥墩易损性计算。

摘要：基于生鲜电商运营决策中的复杂性和过度乐观倾向,文章将过度自信引入到电商、农户和产地经纪人的三边道德风险分析框架,分析了电商企业过度自信水平对各方收益的影响及对电商、产地经纪人和农户道德风险的影响机理,探讨了补偿性契约设计对三边道德风险的规制作用。研究发现,电商企业的过度自信对契约结构具有双重作用,一方面可以增加农户收益水平,降低农户的违规程度;另一方面也降低了产地经纪人的努力水平,增加了代理成本。补偿性契约设计可以有效规避三边道德风险,不仅可以减少电商企业的道德风险;同时,也有助于缓解产地经纪人的道德风险,降低农户的违规程度。

摘要：根据标准化降水指数,探究了1960—2018年粤港澳大湾区的干旱特征变化趋势;采用改进游程理论识别干旱事件,构建了干旱历时与烈度的Copula联合分布函数,计算不同干旱历时和烈度干旱事件的联合重现期与同现重现期。结果表明:①粤港澳大湾区年干旱月数和年平均干旱烈度分别以0.16个月/(10年)和0.03/(10年)的速度缓慢下降;②干旱事件以中、短期干旱和重度以下干旱为主,历时7.6个月,烈度为6.6,对应的边缘分布概率达0.9;③干旱联合重现期平均值为1.85~143.79年,各地市短历时干旱联合遭遇风险偏高,肇庆、江门西部、珠海东部及澳门地区中、长期且不同烈度干旱联合遭遇风险偏高;④干旱同现重现期均值为3.17~962.52年,中、短历时和轻、中度干旱同现重现遭遇风险相对较高,肇庆除西部地区以外,干旱同现遭遇风险整体偏低,惠州大部分地区中、短历时和重度以上干旱及长期干旱的同现遭遇风险相对较高。研究结果可为各地市相关部门制定干旱防灾减灾措施及应急方案提供重要理论依据。

摘要：作为数字乡村建设的关键行动者,农民主体的数字素养水平已然成为影响乡村数字治理的重要制约因素。以胜任素质理论为分析视角,依据冰山模型与洋葱模型,从“基础知识、专业技能、个体特质、意识态度”四大维度构建农民数字素养的框架体系。研究发现,数字时代的农民数字素养是一个“由浅及深”的层次结构,主要包括数字获取、数字社交、数字金融、数字农业、数字政务、数字文化、数字创意、数字安全与健康、数字伦理与道德等九大素养;并且,不同类型的农民数字素养能在乡村数字经济、数字生态、数字文化、数字民生和数字治理等五大领域有效发挥赋能作用,更能促进农民在各应用场景中的深度数字参与。因此,为进一步激活乡村内生发展活力,驱动乡村高质量发展与数字化转型,可通过扩充培育内容、识别培育对象、优化培育过程、拓宽培育体系等路径提升农民数字理论与实践素养。