【摘 要】
：
当前金融机构正在寻求使用区块链技术重构关键性应用软件。通常,设计者引用通信顺序进程(CSP)库去构建这些软件,便可方便套用CSP模型去验证软件在并发通信过程中的安全性。然
【机 构】
：
中国证券登记结算有限责任公司上海分公司
论文部分内容阅读
当前金融机构正在寻求使用区块链技术重构关键性应用软件。通常,设计者引用通信顺序进程(CSP)库去构建这些软件,便可方便套用CSP模型去验证软件在并发通信过程中的安全性。然而,在现有的CSP库中,通道以面向对象方式被抽象、设计和实现,在名称解析、序列化和反序列化方面存在单点故障和额外开销,设计者难以使用他们来构建大规模网络分布式应用。利用Kademlia网络实现的路由算法,对CSP模型中提出的通道进行重新抽象,并把它设计为由一组远程调用过程构成的网络服务,使其具有改良的可靠性和扩展性,为设计者在区块链网络中
其他文献
安西地处甘肃河西走廊的西部。这里气候干旱少雨,年雨量31.5—100毫米,形成了荒漠植被,是中亚荒漠的一部分。荒漠草原环境中分布着较丰富的动物资源,甘肃省已建立安西戈壁荒漠草原自然保护区,面积约8000平方公里,保护区内已知兽类25种,其中资源兽类14种,分布在不同的自然地理区:(1)走廊绿洲荒漠(戈壁)区;(2)祁连山前山地区;(3)北山—低山、中山区。
直线电机运载系统在首都机场线已经成功运营,通过对直线电机运载系统的总体运营、全自动驾驶、车辆维护、轨道维护、牵引能耗及车辆国产化等情况进行调研与后评估,发现直线电
本文着重观察硬膜外麻醉、腰麻行腰椎间盘后路髓核摘除术的麻醉效果及血氧饱和度、血流动力学变化.
民族院校是我国高等教育不可缺少的一个重要组成部分，党中央、国务院召开的中央民族工作会议要求进一步加快民族院校的发展。这是一个重要机遇，我们要抓住机遇，充分利用一切有利
帕金森病(震颤麻痹),是老年人常见的神经系统变性疾病之一,主要表现为缓慢进展的静止性震颤、肌强直、运动障碍和姿势反射异常.
“城”与“市”的起源与发展。“城”与“市”是两个不同的概念:“城”是指城市内外部形态,“市”既市场。市场是城市的基础,是城市的内容,也是城市的本质特征。“城”与“市
蛛网膜下腔出血系指由不同原因所引起的蛛网膜下腔积血和由此而产生的临床症状.脑血管痉挛是其最主要的并发症,发生率约12%～85%,平均为42%,多在病后1～14 d发生并达到高峰[1].尼
本文通过牧场防护林试验研究,从1971——1984年共造林16.165亩,保护草场48,000亩,初步形成了带、网、伞、疏、片相结合的牧场防护林体系。其经济效益与生态效益均非常显著,为发展畜牧业奠定了坚实的基础。
<正>自1963年Lewis和Szur首次报告急性骨髓纤维化(AMF)以来,国外陆续有文献报告。国内关于此病报告尚少。现将我们最近见到的一例报告如下。 张××,男,24岁。患者
水文根据陕西省榆林地区红石峡沙地的调查资料,分析了沙地地表结皮的形成过程及其组成,并着重讨论了地表结皮对降雨补给土壤水分所产生的影响,以及对进一步研究地表结皮提出了几点建议。