[其它] 弱可逆线性有限自动机的一种分解

说明：弱可逆线性有限自动机的一种分解
<weixin_38687343> 上传 | 大小：702kb

[其它] 带传递关系和存在量词的描述逻辑MSC推理

说明：带传递关系和存在量词的描述逻辑MSC推理
<weixin_38733414> 上传 | 大小：679kb

[其它] 接口测试工具-postman使用笔记

说明：postman是一款强大的接口测试工具，操作非常简单、方便！有Chrome插件、客户端两种形式，推荐使用客户端。在界面最左边的面板可以创建测试用例，并添加到测试用例集中，方便管理测试用例。在界面右边可以设置请求接口的请求方法、地址、参数，设置好后点击「send」按钮，发送请求，在右下方可以看到接口返回的信息。2.2.1设置环境变量点击右侧的设置按钮--->在manageenvironments窗口添加环境变量--->在使用处用"{{变量名}}"来表示。2.2.2批量执行选择要批量执行
<weixin_38530995> 上传 | 大小：1mb

[其它] 质量保障新手段，携程回归测试平台实践

说明：本文系统的介绍了CtripPaymentRepeater的目标以及实现原理以及流量复制、流量回放的技术方案，希望给因频繁进行回归测试而困扰的朋友一些帮助和借鉴。回归测试是软件生命周期一个十分重要的环节，但项目在随着版本的逐步迭代，功能日益增多，系统愈加复杂，在测试过程中测试人员常常需要回归稳定版本的功能以保证不被待发布版本需求所影响。若要对系统进行全方位回归，这个测试的工作量将会非常庞大，而且可能几百上千用例中才会发现一个甚至是0个问题，测试投入产出不成比例。而CPR则为上述问题提供了较好的解决
<weixin_38750007> 上传 | 大小：592kb

[其它] 描述逻辑εLN循环术语集的不动点语义及推理

说明：描述逻辑εLN循环术语集的不动点语义及推理
<weixin_38501916> 上传 | 大小：863kb

[其它] 全面的质量保障体系之回归测试策略

说明：本文主要介绍了测试用例分级、功能影响分析、历史测试情况和线上问题反馈、用例评审和功能覆盖表确认及测试过程动态监控。本文来自于软件测试网，由火龙果软件Linda编辑、推荐。在《全面的质量保障体系之测试用例分级》中提到用例分级的最主要应用于回归测试；用例分级应用的主要问题，很多公司都建立了用例分级管理体系，但是真正使用时因为不同的人对于业务的理解不同，所选取的用例策略就不同。比如同样是登录对于IM的聊天业务影响，有些人认为这个影响非常大，需要对聊天业务的所有用例进行回归测试；有些人则觉得这个影响不是
<weixin_38640674> 上传 | 大小：363kb

[其它] SAR场景目标原始回波数据仿真

说明：SAR场景目标原始回波数据仿真
<weixin_38611508> 上传 | 大小：377kb

[其它] 接口测试工具Postman

说明：软件不同部分之间的交互接口。通常就是所谓的API――应用程序编程接口，其表现的形式是源代码。——[百度百科]我们常说的接口一般指两种：（1）API：应用程序编程接口。程序间的接口（2）GUI：图形用户界面。人与程序的接口这里我们所说的接口特指API接口。API接口定义：对协议进行定义的引用类型。（1）HTTP接口（2）Webservice接口（3）RESTful接口WebService接口是走soap协议，请求报文和返回报文都是xml格式，通过SoapUI工具进行测试；HTTPAPI接口走HTT
<weixin_38629391> 上传 | 大小：625kb

[其它] 有限环上循环码的量子码

说明：提出了一种在有限域F2上获得自正交码的新方法。 基于在这种方法上，我们提供了一种构造量子纠错码的方法从有限环上的循环码R = F2 + uF2。 例如，我们呈现无限量子纠错码族，它们是从环R = F2 + uF2。
<weixin_38526421> 上传 | 大小：156kb

[其它] 文献检索与基于影响的摘要系统设计与实现

说明： </FO
<weixin_38717156> 上传 | 大小：194kb

[其它] 在Docker中运行Dubbo应用

说明：本文来自于阿里云，由火龙果软件Anna编辑、推荐。Dubbo是阿里开源的一个分布式服务框架，在国内粉丝很多。官网上的介绍是：DUBBO是一个分布式服务框架，致力于提供高性能和透明化的RPC远程服务调用方案，是*SOA服务化治理方案的核心框架，每天为2,000+个服务提供3,000,000,000+次访问量支持，并被广泛应用于*集团的各成员站点。Dubbo的文档很完整，网络上资源也很多，这里就不再重复了。本文做这样一个尝试，将一个Dubbo应用容器化，部署到阿里云的容器服务上。在Dub
<weixin_38522214> 上传 | 大小：372kb

[其它] 类似于GFS的文件系统中可变块大小的性能提升

说明：提出了基于约束树的XML文档中功能依赖的概念。 本文提出的定义捕获了XML文档在结构上的树状结构特征，并考虑了基于XML文档中具有某些约束条件的子树的XML功能依赖关系的更一般情况，从而克服了XML功能相关定义的缺点依赖性。 还讨论了XML功能依赖项和XML密钥之间的关系。 我们已经设计并实现了天网文件系统（TFS），它是一种分布式文件系统，非常类似于Google文件系统（GFS）。 该系统起源于我们的天网搜索引擎和网络挖掘研究工作。 我们的系统具有与GFS相同的假设和相同的体系结构。 但是块大
<weixin_38735544> 上传 | 大小：133kb