[其它] 服务模型语义完备性判定方法与语义增强策略

说明：为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及一系列度量指标,验证并度量了服务语义在服务模型表示中的完备程度,并根据验证和度量的结果,给出不同的语义增强策略。最后,在特定的服务语义范围内,对统一建模语言、业务流程建模符号和服务模型驱动的体系结构等三种模型的语义完备性进行了判定和对比分析。
<weixin_38715721> 上传 | 大小：394kb

[其它] Flink完美搭档：数据存储层上的Pravega

说明：本文将从大数据架构变迁历史，Pravega简介，Pravega进阶特性以及车联网使用场景这四个方面介绍Pravega，重点介绍DellEMC为何要研发Pravega，Pravega解决了大数据处理平台的哪些痛点以及与Flink结合会碰撞出怎样的火花。对于实时处理来说，来自传感器，移动设备或者应用日志的数据通常写入消息队列系统（如Kafka),消息队列负责为流处理应用提供数据的临时缓冲。然后再使用SparkStreaming从Kafka中读取数据做实时的流计算。但由于Kafka不会一直保存历史数据
<weixin_38528086> 上传 | 大小：723kb

[其它] 实战SpringCloud微服务“秒杀”架构（含代码）

说明：分析，在做秒杀系统的设计之初，一直在思考如何去设计这个秒杀系统，使之在现有的技术基础和认知范围内，能够做到最好；同时也能充分的利用公司现有的中间件来完成系统的实现。我们都知道，正常去实现一个WEB端的秒杀系统，前端的处理和后端的处理一样重要；前端一般会做CDN，后端一般会做分布式部署，限流，性能优化等等一系列的操作，并完成一些网络的优化，比如IDC多线路（电信、联通、移动）的接入，带宽的升级等等。而由于目前系统前端是基于微信小程序，所以关于前端部分的优化就尽可能都是在代码中完成，CDN这一步就可
<weixin_38550722> 上传 | 大小：323kb

[其它] 露台供暖前端：React.js前端，可以监视和控制露台供暖系统-源码

说明：露台供暖前端 一个React.js前端，它可以监视和控制露台加热系统。 一个个人项目，旨在通过为现实世界构建有意义的应用程序来加深对Full Stack开发的了解。 简而言之，该项目可以监视和控制我父母家里封闭露台的供暖系统。 背景动机 在我父母的家里，有一个封闭的露台，由LämpöässäVmi 9地源热泵提供暖气（地面和空气）。 当我发现通过提供的云平台监视和控制热泵有点麻烦时，我想到了一个简单而响应Swift的Web应用程序，它将为我的家庭成员提供一种使用露台供暖系统的简便方法。
<weixin_42139252> 上传 | 大小：672kb

[其它] 高效安全的多方计算几何

说明：高效安全的多方计算几何
<weixin_38751016> 上传 | 大小：167kb

[其它] 广义环签名方案的密码分析

说明：Rivest等人首先介绍了环签名的概念。 在2001年。在一个环签名中，而不是透露邮件的实际身份签名者，它指定一组可能的签名者。 可以使验证者确信签名确实是由其中一个环成员生成的。 但是，那验证者无法确定哪个成员实际产生了签名。 可转换的环形签名方案允许真正的签名者转换环形签名通过揭示有关环签名的秘密信息，将其转变为普通签名。 因此，真正的签名者可以在必要时证明环签名的所有权，而环中的其他成员不能证明环签名的所有权。 在最初的ElGamal签名方案的基础上，2008年首次提出了一种通用的环形签名
<weixin_38741996> 上传 | 大小：80kb

[其它] 基于注意力的分层深度强化学习在自动驾驶变道行为中的应用

说明：执行安全高效的车道变更是创建全自动驾驶汽车的关键功能。最近的先进技术已经证明了使用深度强化学习的成功车道跟随行为，但很少考虑与其他车辆在道路上进行交互以改变车道的行为。本文设计了一种分层的深度强化学习（DRL）算法来学习密集交通中的车道变化行为。通过将整体行为分解为子策略，可以了解更快，更安全的车道变更动作。我们还将时空注意应用于DRL架构，这有助于车辆将更多的注意力集中在周围的车辆上，并导致更平滑的车道变换行为。我们在TORCS模拟器中进行实验，其结果在各种车道变更场景中均优于最新的深度强化学
<weixin_38639747> 上传 | 大小：660kb

[其它] 标准模型下可证安全的基于身份的高效签名方案

说明：基于身份的公钥密码体制克服了传统公钥密码体制所带来的公钥证书存储和管理开销问题；目前大多数基于身份的数字签名方案的安全性是基于随机预言模型进行证明，但随机预言机的实现方式可能会导致方案的不安全，如Ｈａｓｈ函数，往往返回的结果并不是随机的．文中提出一种安全、高效的基于身份的签名方案，并且在标准模型下证明该方案对自适应选择消息攻击是存在不可伪造的，方案的安全性可规约为ＣＤＨ困难假定．与现有的标准模型下安全的基于身份的签名方案相比，方案的通信代价更小，执行效率更高．
<weixin_38669091> 上传 | 大小：397kb

[其它] 自动驾驶中的3D目标检测

说明：2D目标检测在自动驾驶领域存在很多问题，因为自动驾驶的空间首先是在3D层面上的，而且需要使用RGB图像、RGB-D深度图像和激光点云，输出物体类别及在三维空间中的长宽高、旋转角等信息。这一类检测称为3D目标检测。随着Faster-RCNN的出现，2D目标检测达到了空前的繁荣，各种新的方法不断涌现，百家争鸣，但是在无人驾驶、机器人、增强现实的应用场景下，普通2D检测并不能提供感知环境所需要的全部信息，2D检测仅能提供目标物体在二维图片中的位置和对应类别的置信度，但是在真实的三维世界中，物体都是有三
<weixin_38723192> 上传 | 大小：618kb

[其它] 从CBE到IBE的安全代理重新加密

说明：在本文中，提出了一种有效的混合代理重加密方案，该方案允许将传统公钥密码系统中的密文转换为基于身份的系统中的密文。 该方案是非交互的，单向的，并且合谋“安全”。 此外，它与当前的IBE（基于身份的加密）部署兼容。 假设决策双线性Diffie-Hellman的难度很大，该方案在随机预言模型中选择了密文安全性问题。
<weixin_38557370> 上传 | 大小：473kb

[其它] 标准模型下基于证书的加密方案的通用构造

说明：主要研究标准模型下基于证书的加密方案(certificate2based encryption ,简称CBE) 的通用构造,并给出了两个实现方案。首先,以IND2CCA2 安全的公钥加密方案、IND2ID2CCA 安全的基于身份的加密方案以及强一次性签名方案这3 种密码学原型为组件提出了第一个CBE 方案的通用构造,并在标准模型下证明了其安全性;其次,针对强一次性签名方案存在的一些问题,以强一次性消息认证码代替一次性签名方案,提出了另一个通用构造。与前者相比, 第二个通用构造的性能得到了明显的优
<weixin_38724370> 上传 | 大小：225kb

[其它] 强化学习与自动驾驶——Carla环境配置与benchmark解读

说明：Carla目前的稳定版为即可下载，linux解压后命令行执行这将启动一个全屏的仿真窗口，你能使用WASD驾驶车辆实验中往往增加各种参数进行配置carla-server参数表示以服务端模式运行，等待客户端连接benchmarkfps=10表示仿真中每一个step的时间间隔相同windowedResX=300ResY=300表示窗口化以及大小配置环境变量：SDL_VIDEODRIVER=offscreen和SDL_HINT_CUDA_DEVICE=0程序中可以这么写这个目前的缺点是默认第0块GPU，
<weixin_38530995> 上传 | 大小：321kb