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%左右, 预测结果具有较高的准确性。      

巴拿马运河调整收费带来的影响分析

回顾巴拿马运河通行费的调整历程,分析巴拿马运河管理局最新收费调整提案以及提案对运河自身、全球承运人和托运人以至全球贸易带来的影响,并指出当前利益相关者需要关注的问题。     

落石撞击桥墩计算模型研究现状与展望

为了对桥墩进行科学的落石撞击验算及防落石撞击设计,分类整理了国内外相关研究成果,从落石撞击力的静力计算方法、简化动力计算方法、桥墩损伤特征及影响因素等方面进行了分析论述,为桥墩落石撞击验算及防落石撞击设计提供参考。对落石撞击力及结构撞击响应计算提出了建议和展望。     

CTCS2+ATO列控车载设备测试平台设计

列车运行控制系统测试平台是列车运行控制系统研发、生产及调试的重要支撑。通过分析车载设备的测试需求,提出测试平台解决方案,并进行了设计实现。研究成果可为城际铁路列控系统的测试提供一定的参考。     

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

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

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

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

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

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

代付承诺书应否视为担保书

案情回放 2008年1月9日,原告与被告LYW签订了"大连600吨起重机上下小车等运输合同",约定由原告将600吨起重机上下小车共18大件及辅助设施从上海运至大连,运费为人民币95万元;被告LYW应于装运开始时支付运费总额的30%,并应于运输结束且原告开具全额专用发票后支付剩余运费.