基于RISF融合的车辆横摆角速度估计

使用车载角速度传感器测量获得的横摆角速度,存在噪声干扰大、量测值滞后等问题.为了提高车辆横摆角速度估计的精确性,本文中设计了一种基于可靠指标传感器融合(reliability indexed sensor fusion,RISF)多源传感信息融合的估计算法.首先,使用自适应容积卡尔曼滤波算法对横摆角速度传感器量测值进行...     

车站联锁系统行为验证与数据确认的形式化方法

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性. 为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML （unified modeling language）图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性. 结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.      

���ڸ��Ϸֲ��Ļ�Ͻ�ͨʱ����ģ��

非复合分布模型可用于分析交通流量达1 800 vph的车辆时间间隔,但并不适用于更高交通流量的情况.为解决此类问题,提出了一些基于复合分布的模型.但这类模型的参数标定过程复杂,在一定程度上限制了其应用.针对流量介于1 900 vph到4 100 vph的车辆时间间隔,本文分别采用5种复合分布模型进行分析,即指数-极值分布(EEV)、对数正态-极值分布(LEV)、威布尔-极值分布(WEV)、威布尔-对数正态分布(WLN)和指数-对数正态分布(ELN).然后采用两种方法进行拟合优度检验——基于累计函数分布检验(CDF)和双样本(Cramer-von Mises)&K样本(Anderson-Darling)检验.结果表明,在分析车辆时间间隔方面,威布尔-极值分布(WEV)是最佳的复合分布模型,在Cramer-von Mises检验和K样本Anderson-Darling检验中均具有良好的一致性.     

一个数值求积公式的渐进性质

从一个插值公式的构造出发,得到相应的积分中值定理,构造了具有5次代数精度的数值积分公式,通过对积分中值定理中间点的渐近性质的分析,得到具有7次代数精度的数值积分公式,应用复化求积,进一步改进了这个公式,使它具有高精度且不用计算导数.     

关于机械定理与惯性参照系的选取

本推导出机械定理在不同惯性参照系应用的情况，说明机械能定理在不同的惯性参照系都成立。     

混合单调算子对的公共不动点定理

利用一种非对称迭代格式进一步研究了一类混合单调算子对的公共不动点的存在性、唯一性，并得出此迭代的最差估计。     

S—变换和Hida 分布

构造了一类新的Ｈｉｄａ分布空间，该空间比通常的Ｈｉｄａ分布空间更大，在此新的框架下，将ｖ－泛函的定义域限制在适当的范围内，并研讨了其特征定理。     

政府职能与市场机制:一个公共部门视角

政府与市场的关系是经济学家极为关注的命题。理论上，自从以凯恩斯主义为代表的现代经济学发展的几十年以来，现代经济学的各个流派均围绕着政府与市场的角色和定位这一核心命题展开了热烈讨论。实践上，只要哪个国家把政府与市场的关系定位正确，该国经济发展就比较稳定；否则，就会出现这样那样的问题。中国在经济转轨时期应该积极借鉴国外成功经验，用于指导本国的经济建设实践，少走不必要的弯路。     

扩张原理的网络结构分析

在分解定理建模的基础上，对扩张原理建模进行研究，最后得出扩张原理的网络表示，为神经网络和模糊系统的结合奠定了基础。