【摘 要】
：
分布式实时系统应用越来越广。为解决时间触发分布式实时系统的时钟同步问题,首先提出一种基于LL模型的确定性容错算法——容错最值算法,该同步算法不局限于某一种具体的总线通信结构,理论上可适用于所有满足LL模型假设的系统;然后对提出的算法容错性和有效性进行理论证明,求出其同步精密度的理论值;最后通过CANoe工具搭建符合LL模型的仿真系统,对容错最值算法和基于该模型的FTM算法进行对比仿真实验。实验结果表明,容错最值时钟同步算法可以克服时钟拜占庭故障,具有容错性,保证了系统在拜占庭故障情况下仍能维持理论精密度下
【机 构】
：
上海理工大学光电信息与计算机工程学院
【基金项目】
：
上海市自然科学基金项目(15ZR1429300)。
论文部分内容阅读
分布式实时系统应用越来越广。为解决时间触发分布式实时系统的时钟同步问题,首先提出一种基于LL模型的确定性容错算法——容错最值算法,该同步算法不局限于某一种具体的总线通信结构,理论上可适用于所有满足LL模型假设的系统;然后对提出的算法容错性和有效性进行理论证明,求出其同步精密度的理论值;最后通过CANoe工具搭建符合LL模型的仿真系统,对容错最值算法和基于该模型的FTM算法进行对比仿真实验。实验结果表明,容错最值时钟同步算法可以克服时钟拜占庭故障,具有容错性,保证了系统在拜占庭故障情况下仍能维持理论精密度下
其他文献
为提升机器学习场景下分类与预测任务模型的准确性和普适性,基于分层级联结构与改进的遗传算法构建自动化机器学习模型,将其应用于分类场景,并采用OpenML公共数据集进行实验。结果表明,这种创新的方法不仅能并行、自动地构建自动化机器学习模型,而且能快速、有效地进行分类与预测。构建的自动化机器学习算法准确率较高,经过多轮验证,准确率可达到94.4%,相比使用单个分类器提高了5%~10%。
情感分析作为大数据时代处理非结构化数据的分支,一直是研究者关注的重点课题。情感分析是从文本中挖掘所表达的情感,将其作为产品或社交的决策依据。鉴于此,提出一种基于句型分类的句子级情感分析手段。首先训练一个基于长短期记忆学习(LSTM)的句型分类器,从大量的推特句子中提取否定句和比较句作为特殊句型,利用分而治之的思想将这类特殊句子与正常的无否定和比较的句子分开;然后采取N值不同的特征提取手段(N-gram);最后分别运用词包(BoW)和词频—逆向文件频率(TF-IDF)两种方法表示句子的词向量,对模型进行情感
两栖装甲装备驾驶模拟器是提高装甲车辆驾驶员训练效率及减少装备损耗的重要设备。视景系统是模拟器的重要组成部分,为驾驶员提供训练所需的视觉信息,直接决定训练的真实感和沉浸感。为提升两栖装甲车辆驾驶模拟仿真的逼真度,基于Vega Prime设计与实现两栖装甲车驾驶模拟器视景系统,并针对两栖装甲装备的特点,研究水动力学仿真和高效碰撞检测等关键技术,有效提升了视景仿真的逼真度。该系统已应用于实际的驾驶模拟设备,达到了预期的视觉效果。实际应用结果表明,该模拟器视景仿真系统为部队提供了良好的模拟仿真解决方案,具有典型的
目前我国许多制造企业只是运用事后检验方法对其产品进行质量控制,没有做到对生产过程进行动态连续监控。统计过程控制(SPC)应用统计技术对过程中的各个阶段进行评估与监控。实施SPC可以帮助企业在质量上做到“事前”预防和控制。以YT整车制造企业为例,针对发动机连杆产品质量存在的问题,阐述了SPC实施过程。首先通过绘制控制图对过程状态进行监控,并对工序能力进行分析以判断工序质量特性的波动大小;其次,通过绘制鱼骨图,分析影响产品质量特性的原因并提出相应的解决方案;最后,将控制图和工序能力分析图实施前后进行对比,对企
脉搏诊断过程中手臂的轻微晃动会造成脉搏位置点发生变化,影响脉搏信息获取的准确性。控制机器人带动脉搏传感器跟随脉搏点运动,并保持传感器中心与脉搏点接触,这对获取准确的脉搏信息至关重要。因此,提出一种基于压力反馈的跟随控制策略,采用安全性较高的协作式臂型机器人对人体脉搏进行诊断,并在V-REP仿真软件中进行实验。实验结果表明,基于该控制策略的机器人可在2s内调整传感器中心接触到脉搏点,控制策略可行,为下一步搭建实物建立了理论基础。
随着社会经济的快速发展,车在人们的生活中越来越普及。为解决许多车祸由于发生在偏僻道路处或晚上人流稀少时,往往会很晚才被发现导致救治不及时的问题,设计一个智慧路灯场景下的车祸检测预警系统。该系统主体算法采用模式匹配算法,先采用YOLOv3算法对获取的图像信息进行筛选,并结合背景差分法和卡尔曼滤波法对视频图像进行处理,再根据车辆速度信息进行辅助判断。实验结果表明,该方法的识别精度达到90%左右,相比传统方法提高了约20%,识别时间减少了约0.3s,有效减少了环境因素的影响。
在介绍先进树脂基复合材料成型工艺仿真软件技术特点及常用算法的基础上,重点论述RTM成型工艺及热压罐成型工艺研究发展现状,给出先进树脂基复合材料成型工艺仿真软件产品发展现状。同时,分析国内外相关软件研发差距,并结合工业软件自主研发需求,提出先进树脂基复合材料成型工艺仿真软件研发的针对性建议。
为了更有效率地对商品评论聚类出相应的评价标签,运用SOM-K-means算法,对商品评论中的情感词进行聚类分析。该算法综合了SOM算法和K-means算法的优点,在聚类过程中减少了人工干预,具有较强的自适应性。实验结果显示,在数据量小于10000条时,SOM-K-means算法的平均运行时间为0.3s,而市场上主流的LDA算法平均运行时间为3.5s,SOM-K-means算法的平均运行效率是其12倍左右,这为追求效率和性能最佳的电商平台提供了一种新的聚类思路。
为给变水头装置精准流量控制提供理论参考与有效方案,运用ANASIS系列软件中的CFD动网格技术使该装置普遍采用的蝶型流量调节阀恒速转动,对蝶阀流量调节过程中阀体内的流场进行三维动态数值模拟,得到了恒定水头条件下,蝶阀在10°、30°、60°和90°4个开度时,阀体内部和下游侧管路中的流场变化云图。模拟结果显示,在10°和30°开度下,阀体下游流场存在两个旋向相反的漩涡并相互影响;在60°和90°开度下,阀后流场漩涡消失,仅随阀板角度变化而发生速度方向改变,阀门开度与流量之间呈非线性函数关系。同时,运用可自
我国中低压配电网中广泛使用供电可靠性较高的小电流接地系统,但该运行方式下发生单相接地故障的概率较高,可占总故障的80%,且故障暂态特征量周期较短、不易提取,造成选线困难。在分析小电流接地故障暂态过程的基础上,利用MATLAB软件对系统进行建模仿真,采用Simulink中的FFT变换分析不同故障情况下的暂态零序电流及其幅频特征。实验结果为暂态选线方法的研究与发展提供了参考依据。