融资企业存货担保物变现风险研究

存货质押融资是一种新兴的金融创新产品,在我国发展迅速。风险控制是存货质押融资发展的重要前提,其中,担保存货变现风险是存货质押融资中最重要的风险。选择改进灰色关联度分析对融资企业的存货担保货物变现风险进行了分析,首先介绍了存货质押融资风险,其次介绍了改进灰色关联度模型,最后对融资企业的存货担保变现风险进行应用,以期得出最佳融资企业。

一种基于RAQ的具有拓扑意识的覆盖网络

本文提出一种基于RAQ(Range Queriable)的P2P多维覆盖网络T-RAQ,RAQ是一种结构化P2P覆盖网,在RAQ中,节点可在多维空间上进行精确匹配查询和范围查询;同时,其路由开销并不依赖于查询空间的维数,但是RAQ并不具备拓扑意识。针对此问题,本文改进了最初的路由算法并使得路由具有拓扑意识,节点加入,节点离开以及节点路由表的构造都考虑到了底层物理网络,从而使得覆盖网与物理网的尽量匹配。

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。