论文部分内容阅读
PaxosStore中共识协议TPaxos的规约、精化与定理证明
【出 处】
：
南京大学
【发表日期】
：
2021年01期
其他文献
目前,高校的数据库课程以及研究生入学考试希望考核学生实际编写SQL语句的能力,评测其实机操作的能力。与笔试的考核方式不同,实机操作需要实际运行学生所编写的SQL语句,为此,需要一个可以供学生在线编写SQL来答题的考试系统,同时在学生提交自己编写的SQL后运行并给出结果,并以通过的题目数量来作为学生考试的成绩。基于以上背景,本文提出并设计和实现了一个在线SQL考试系统,并介绍了在线SQL考试系统的题
随着深度学习领域的不断成熟,互联网公司开始在各个业务领域使用深度学习建模方法来分析用户数据并为用户提供服务。但是,训练好的深度学习模型需要经过一系列复杂的工程化处理流程才能应用到生产环境中。由于互联网产品的业务需要,其使用的深度学习模型需要不断变更,而每次变更都需要重新将模型进行工程化处理。因此,模型工程化需求越来越多,仅凭人力已经难以应对如此庞大的工作量。本文以国内某大型互联网公司的模型工程化需
为研究不同避障模式下深海采矿整体系统动力学行为,基于虚拟样机技术建立2.5km硬管+软管水力输送系统虚拟样机模型,提出两种可能的避障模式（垂直、水平避障模式）,分析在这两种避障模式下、软管起拱数量、避障速度、避障大小以及中间仓质量对模型动力学行为的影响,并进行模拟实验研究。主要研究内容及成果如下:（1）两种避障模式下,软管呈双拱时系统各重要连接点的受力大小和走向大致一样,但双拱状态下系统在避障时的
建筑外墙作为建筑围护的一部分,不仅表现了材料的结构和形式,而且也是社会文化环境的体现。外墙为建筑物提供保温隔热、遮阳遮雨、通风隔声等基本功能,还提供了基本的美学舒适度。传统单层墙很难满足现代建筑日益增强的保温需求,逐渐发展的双层空腔墙解决保温问题之后,又带来了空腔排水通风等一系列问题,那么如何更好地解决墙体排水通风以及耐久性的问题?雨幕系统外墙以这些问题为基础进行思考设计,不断更新着更高效能的墙体
作为软件系统中的重要组成部分,注释对于程序理解和软件维护有着重大意义。软件开发过程中,项目代码与其注释往往存在不一致的问题,这在增加程序理解难度的同时,也大大降低了软件的可维护性。现有工作大多利用程序分析和文本分析技术来检测代码与注释参数约束的不一致性。然而,由于现有使用程序分析进行检测的方法大多仅基于AST,往往存在缺失控制流和数据流信息的问题,而文本分析技术则存在参数约束识别率低的问题;此外,
【目的】通过文献研究、现状调查、半结构化访谈、专家会议等研究方法,科学总结目前护士参与的胰腺MDT诊疗模式工作概况,分析评价目前所存在的问题,基于护士角色功能,探索构建信息化MDT改进方案,设计研发胰腺疾病MDT诊疗信息平台,为患者提供规范化、个性化、一站式医疗服务,渗透护士角色功能,深化护理服务内涵,完善高级执业护士理论。【方法】1.文献研究。首先通过文献研究,掌握了国内外胰腺疾病MDT诊疗模式