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路正式投入使用。     

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

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

双惯导改善导航性能的组合数据研究

在传统的水平阻尼网络的基础上,针对双惯导系统的特性设计了新的阻尼方法并分析了各种误差与这种阻尼网络的关系。通过仿真分析,比较2套阻尼系统的误差结果,可以看出双惯导外水平阻尼能够显著降低外速度误差的影响,减少阻尼时间,抑制经度误差。     

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

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

怠于返还增值税专用缴款书的赔偿责任

进口货运代理业务中,货运代理人代为报关后取得的海关进口增值税专用缴款书,对作为委托人的货主而言是一份办理增值税抵扣的关键文件。货运代理人应当及时并且主动将其取得的单证交付委托人,其怠于返还专用缴款书的行为构成违约,应当承担违约责任,赔偿委托人抵扣税款不能的损失。