[其它] 基于逆向重力模型的枢纽机场旅客吞吐量估计方法

说明：为了利用航空OD客流数据精确估计机场旅客吞吐量,描述了全连通线性航线网络和枢纽辐射航线网络,根据枢纽机场之间的OD客流矩阵,建立了逆向重力模型标准代数算法和基于哈密顿图原理的简化代数算法,分析了在不同距离修正指数下,算法的拟合与估计精度。分析结果表明:简化代数算法与模型标准代数算法最优吞吐量回归直线的可决系数都为0.84,斜率分别为0.91和0.87,比较接近。可见算法的拟合效果优良,估计精度高,且简化代数算法需要的数据少,尤其适合大规模OD矩阵分析。
<weixin_38598703> 上传 | 大小：167kb

[其它] 整数残基环上的典型原始多项式

说明：令 在本文中，Z /（ - 除以某个正整数 最近，在Z /（ 在本文中，对于任何整数³1，对于环Z的m阶典型本原多项式的存在的充分必要条件
<weixin_38729108> 上传 | 大小：173kb

[其它] DUBBO原理、应用与面经总结

说明：dubbo官网的架构设计提供了一张整体的框架图，10个层级看起来挺吓人的。但是其核心总结起来就是：Microkernel+Plugin（微内核+插件）。微内核+插件机制官网介绍的架构设计思想是两点：采用URL作为配置信息的统一格式，所有扩展点都通过传递URL携带配置信息；采用Microkernel+Plugin模式，Microkernel只负责组装Plugin，Dubbo自身的功能也是通过扩展点实现的，也就是Dubbo的所有功能点都可被用户自定义扩展所替换。对于第一点比较容易理解，因为是分布式环
<weixin_38708841> 上传 | 大小：2mb

[其它] 关于环多项式Φpq（x）的注记和一些相关结果

说明：循环多项式F （ 的表达长期以来一直受到关注。 已经显示了Z [ 中F （ 的简单而明确的表示。 提供了F 2上的F （ 因子的形式及其汉明权重的上下边界。
<weixin_38648968> 上传 | 大小：155kb

[其它] 线性复杂度为2 n-1的2 n个周期二进制序列的2误差线性复杂度

说明：流密码的线性复杂度和 对于线性复杂度为2 = 2、3的2 ，提供了具有给定 此外，分析了
<weixin_38749895> 上传 | 大小：471kb

[其它] 携程的Dubbo之路

说明：携程当初为什么要引入Dubbo呢？实际上从2013年底起，携程内主要使用的就是基于HTTP协议的SOA微服务框架。这个框架是携程内部自行研发的，整体架构在这近6年中没有进行大的重构。受到当初设计的限制，框架本身的扩展性不是很好，使得用户要想自己扩展一些功能就会比较困难。另外，由于HTTP协议一个连接同时只能处理一个请求。在高并发的情况下，服务端的连接数和线程池等资源都会比较紧张，影响到请求处理的性能。而Dubbo作为一个高性能的RPC框架，不仅是一款业界知名的开源产品，它整体优秀的架构设计和数据
<weixin_38752897> 上传 | 大小：770kb

[其它] 次概率程序的语义

说明：本文目的是扩充概率程序中的概率选择至亚概率选择，研究亚概率而语言的公理语义及指称语义并证明二者等价。
<weixin_38550459> 上传 | 大小：185kb

[其它] 以体系结构为中心的模型转换的语义描述框架(英文)

说明：在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述.该描述框架可用于模型转换中特性保持问题的描述、分析和判定,从而为模型驱动的软件开发提供有力的支持.
<weixin_38621272> 上传 | 大小：507kb

[其它] 理解TIDB架构设计

说明：随着互联网的飞速发展，业务量可能在短短的时间内爆发式地增长，对应的数据量可能快速地从几百GB涨到几百个TB，传统的单机数据库提供的服务，在系统的可扩展性、性价比方面已经不再适用。比如MySQL数据库，缺点是没法做到水平扩展。MySQL要想能做到水平扩展，唯一的方法就业务层的分库分表或者使用中间件等方案。但是，这些中间层方案也有很大局限性，执行计划不是最优，分布式事务，跨节点join，扩容复杂等。TiDB是一个开源分布式NewSQL数据库。实现了自动的水平伸缩，强一致性的分布式事务，基于Raft算
<weixin_38608726> 上传 | 大小：294kb

[其它] Web仓储中视图变化频率的自适应估测

说明：物化视图的刷新是Web仓储进行系统维护的一项主要任务,而基础数据变化频率则是刷新方案中的重要因素.在已有文献中,研究者已经给出一些关于基础数据变化规律的算法和估测器.虽然这些估测器取得了不错的效果,然而他们却忽略了这些估测器都有一定的适用范围,超出这个范围则效果急剧下降.在此,基于泊松过程进行分析,对估测器的适用范围进行了讨论,根据估测结果的偏离值和有效性对估测公式进行参数调整,同时根据估测值的大小不断调整数据源的访问频率和次数,从而使数据源访问模式和估测器互相适应,使估测器在最佳估测范围内获得
<weixin_38590520> 上传 | 大小：276kb

[其它] 渐进式标记-清扫垃圾收集机制验证

说明：垃圾收集已经成为可靠、高效程序运行平台的一个重要组成部分.渐进式垃圾收集由于在用户程序运行时并行的执行垃圾收集操作,其算法及实现则更为复杂,其可靠性也更难以得到保证.本文论述使用Hoare风格的程序验证框架形式验证渐进式标记-清扫垃圾收集机制及其写拦截器在汇编语言层次上的实现的研究工作.被验证的属性涵括了简单的类型安全到整个内存堆上的数据保持.本文所有的验证工作都实现在Coq辅助定理证明工具中,从而可以迅速的用于构造携带证明的代码包.
<weixin_38712908> 上传 | 大小：501kb

[其它] ApacheIoTDB：支持云边端一体化的轻量级高性能时序数据库

说明：“乾道变化，各正性命”，很多情况下，事物的价值和内涵往往存在于变化中，人们对于事物的变化规律的探究也一直没有停歇。从远古时期人们记录天象变化、总结四季更替、到现代人们记录设备运行状态、个人活动记录、股票变化情况等等，记录这些观测对象的变化情况，并加以分析的需求，自古至今一直存在。这种需求伴随着物联网、工业互联网、智能运维等应用的蓬勃发展变得愈发重要。物联网诞生于1999年，在其理念和技术的不断革新下，无处不在的设备和设施正在被越来越多的通过网络连接起来，并不断向云端发送实况数据。近些年，工业4.
<weixin_38622962> 上传 | 大小：395kb