PERTS——一个实时系统的原型建造环境的设计与实现

本文结合我国军用软件的开发特点,针对实时系统的特征,提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件—动作模型及实时逻辑的基础上,设计了一种实时系统原型描述语言RTSPDL,该语言形式化地表示了事件——动作模型,突出了对 时需求的优先级及异常和违章机制的描述。实现了一个实时系统的原型建造环境PERTS。该系统包括一组原型建造的工具集和原型的运行环境,支持软件重用的开发方法。语法制导的图示原型编辑器能形象、直观地对原型进行描述,原型生成器快速地生成原型的Ada可执行代码;原型的运行环境保证了原型的有效运行,并支持对实时环境的仿真。     

基于UWB定位的邮轮乘员伴随关系发现算法

准确发现邮轮内部空间乘客之间的伴随关系, 在室内环境安装UWB定位设备开展室内人员定位实验。根据UWB定位的位置数据特点, 提出结合室内位置语义的Hausdorff-DBSCAN算法以聚类邮轮乘员轨迹, 并利用LSTM神经网络对疑似伴随关系对象进行相似度变化趋势的预测。传统的Hausdorff算法在计算轨迹相似度时未考虑轨迹时序一致的问题, 引入位置语义序列能够较好地解决这个问题。改进后的Hausdorff-DBSCAN算法的输入为乘员轨迹数据集, 根据轨迹整体相似度阈值选定聚类半径, 输出具有伴随关系的乘员轨迹聚类结果; LSTM神经网络以定长时间窗口的点邻近度序列为输入, 预测后1个时刻点邻近度值, 结合轨迹相似度阈值和预测结果分析乘员伴随关系的时序变化。利用Anylogic建模单层邮轮室内环境进行乘员仿真得到的轨迹数据验证算法的有效性。改进的Hausdorff-DBSCAN算法的准确率为0.920, 召回率为0.950, F₁值为0.934, 准确率高出对比算法至少5.7%, 召回率高出对比算法至少8.0%, F1值高出对比算法至少6.7%。同时LSTM在预测邮轮乘员之间相似度变化时, 收敛后的误差值能保持在3%~4%左右, 预测结果具有较高的准确性。      

昔格达地层泥质粉砂岩灌注桩承载性状试验研究

西攀路昔格达地层分布广泛,桥位桩桩基大多数置于昔格达地层中,该桩基承载性状研究资料缺乏,根据对西攀路安宁河蒲坝工点试验段4根灌注桩的现场静载试验结果分析,揭示了昔格达地层灌注桩承载特性和荷载传递机理,得出了昔格达地层泥质粉砂岩的侧摩阻力、桩端阻力及桩尖容许承载力。     

鱼粉运输中转迟延致损,承运人能否免责？

海上货物运输中发生货损,在判定责任归属时,关键在于对因果关系的认定。如果货损原因包含两种甚至更多因素,而且相互之间又有所牵连,则如何认定因果关系更是值得仔细推敲。[案情]原告：A财产保险股份有限公司B市分公司被告：M航运公司2010年4月,原告接受B市某进出口公司投保,     

绿色驱动,环保先行,扬子江打造武汉美丽新干线

2016年12月28日．扬子江汽车集团有限公司自主研发生产的12米纯电动快充式城市客车超轻一号G9、18米纯电动快充式铰接公交车威龙G5B分别作为武汉中山大道新街观光线408路、武汉首条快速公交线BRT1路正式投入使用。     

����������ݵ������Ǽʳ��з�ʽѡ����Ϊ�о�

随着中国城市群的快速发展,城际交通出行环境发生了巨大的变化,因此城际出行者也会不断地重建自己的出行习惯,这就要求建立动态模型研究城际出行者出行行为和预测城际交通需求。本文调查出行者在宁杭城际高铁开通前后两个时期的出行信息,并且引入状态依赖变量表征出行者之前选择结果对之后出行选择的影响,建立了基于面板数据的城际出行方式选择动态模型。模型结果表明,基于面板数据的动态模型比传统的基于出行者单次出行数据的模型拥有更高精度。同时本文根据宁杭城际出行背景设置三组政策变化方案预测出行分担率,结果表明,当选择环境发生变化时,传统模型会高估出行方式分担率的变化程度。以上结论能更好地服务于中国城际交通的规划。     

论加强用电营销全过程管控以有效防治窃电

一直以来,电力企业面临着窃电问题。不法分子通过一定的方式减少电量的计量,导致国家电量流失,既损害了供电企业的经济利益,也为人民群众的安全用电带来了隐患。本文首先介绍了对用电营销过程进行全面管控的措施,然后分析了当前窃电工作的特点,并提出防治窃电的对策。     

发展野外作业专用车大有可为

目前我国专用车产业发展水平与发达国家相比,无论是在品种上还是在技术水平上,都还存在着较大差距,有些专用车品种长期依赖进口,中轻型野外作业专用车就是其中一种。尽快发展自主品牌的专用车是我国汽车行业面临的一项重要任务。     

昔格达地层路堑边坡稳定性物元分析

结合西(西昌)攀(攀枝花)高速公路建设需要,通过对西攀高速公路沿线昔格达地层既有铁路、公路路堑边坡稳定性的调查研究,采用物元数理统计方法进行归纳分析,系统全面地总结出昔格达地层路堑边坡稳定性的影响因素,即坡高、坡度、坡体结构、含水率、植被覆盖率、岩石性质以及坡体内结构面产状与岩层产状,然后建立物元方程,得出各因素对边坡稳定性的影响程度,同时对昔格达地层路堑边坡按稳定性进行归类,共分稳定型、次稳定型、次不稳定型和不稳定型4种类型。通过系统论述昔格达地层边坡稳定性与边坡地形、地质条件的关系,得到了昔格达地层路堑边坡稳定性的理论判别依据和判别标志。