[其它] 网络物理系统的面向方面的形式化技术

说明：网络物理系统的面向方面的形式化技术
<weixin_38653664> 上传 | 大小：1mb

[其它] 基于时钟理论的网络物理系统规范

说明：基于时钟理论的网络物理系统规范
<weixin_38696339> 上传 | 大小：283kb

[其它] manim-cairo-slides-源码

说明：马尼姆（Manim）开罗幻灯片 顾名思义，您需要使用Manim的版本（当前的cairo-backend分支）。 对于键盘动画，请使用素材资源中的声音。 from slides import * # ____ _ ___ ____ _____ _ # / ___|| | |_ _| _ \| ____| / | # \___ \| | | || | | | _| | | # ___) | |___ | || |_| | |___ | | # |____
<weixin_42131705> 上传 | 大小：17mb

[其它] si475-lab-4:相机实验室-源码

说明：si475-lab-4:相机实验室
<weixin_42164931> 上传 | 大小：95kb

[其它] 具有实时约束的非抢先系统中的节能调度

说明：在过去的十年中，移动和嵌入式系统的发展要求提高能效以提高嵌入式设备的使用寿命。 为了避免抢占开销或简化时序验证，非抢占式调度对于满足嵌入式设备上某些应用程序的系统时序要求已被认为是有用或必要的。 在本文中，我们的目的是设计非抢占式调度算法，以确保时序正确性并优化速度可变的处理器上的能耗。 我们提出了一种有代表性的算法ISA，与其他同类方法相比，它可以为各种非抢先任务集产生较低的速度，从而节省大量能源。 当与选择性的频率继承策略结合使用时，我们可以有效地确定是否可以在不影响任何任务期限的情况下禁用
<weixin_38504417> 上传 | 大小：604kb

[其它] IkomiaStudio:Ikomia Studio软件-源码

说明：Ikomia Studio 介绍 Ikomia Studio是一个开源桌面应用程序，旨在简化Computer Vision中的使用，可再现性和最新算法的共享。 它带有，用户可以一键找到即插即用算法或发布研究成果。 随着这个市场的增长，Ikomia Studio应该成为促进计算机视觉和深度学习研究的好工具。 它也非常适合简化和加速公司的研发和原型制作。 该软件是用C ++编写的，并基于Qt框架。 主要特点： 无代码图像处理工作流程 来自的最新即插即用算法 几乎完全集成了 全面的可插入您的算法
<weixin_42131013> 上传 | 大小：4mb

[其它] DBSCAN-distributed:DBSCAN集群的Scala + Spark实现-源码

说明：DBSCAN分布式 DBSCAN集群算法的Scala + Spark实现 编译软件 下载和环境设置 首先在本地克隆存储库 git clone https://github.com/AlecioP/DBSCAN-distributed 然后移至本地存储库 cd DBSCAN-distributed 为了构建可以在EMR集群上远程执行的jar文件，我们使用包管理器（类似于MAVEN的JAVA和SCALA的包管理器） 要安装sbt，您必须已安装 ，请运行： MACOS brew install
<weixin_42133969> 上传 | 大小：2mb

[其它] 具有不匹配运算符的高阶π演算

说明：主要研究带失配的高阶进程演算的公理化问题。首先，建立存在失配时高阶进程的开弱高阶互模拟理论，证明了等价关系，同余性等重要性质；其次，沿用线性的方法，制造得到带不匹配的有限进程上的公理系统；最后，基于对开弱高阶互模拟的刻画，证明了该公理系统的完备性定理。的有效算法的设计与实现，且为相关的应用建模工作提供了理论上的依据。
<weixin_38747087> 上传 | 大小：532kb

[其它] Creative_pictures01:创作所用图床-源码

说明：Creative_pictures01:创作所用图床
<weixin_42131316> 上传 | 大小：4mb

[其它] Flight-FE-源码

说明：Create React App入门 该项目是通过引导的。 可用脚本 在项目目录中，可以运行： yarn start 在开发模式下运行应用程序。 打开在浏览器中查看它。 如果您进行编辑，则页面将重新加载。 您还将在控制台中看到任何棉绒错误。 yarn test 在交互式监视模式下启动测试运行器。 有关更多信息，请参见关于的部分。 yarn build 构建生产到应用程序build文件夹。 它在生产模式下正确捆绑了React，并优化了构建以获得最佳性能。 生成被最小化，并且文件名包括哈希
<weixin_42101641> 上传 | 大小：288kb

[其它] msc-thesis-call-detection:使用机器学习检测夜间迁徙期间的鸟叫-源码

说明：msc_thesis_call_detection 使用机器学习在夜间迁移过程中检测鸟叫： 一种基于森林的随机方法，用于自动检测音频记录中的夜间航班呼叫（NFC）。 NFC的检测被认为是二进制分类任务，因此，连续的音频记录被分成短的声音片段。 训练随机森林分类器的目的是区分声音片段中是否存在NFC。 为此，从声音片段中提取声学特征。 这些用作随机森林的输入。 通过将录音分组并应用“一出一出”交叉验证程序来评估其性能。 进一步将随机森林分类器的性能与通过将即用型BirdVoxDetect应用于
<weixin_42153691> 上传 | 大小：555kb

[其它] 指定和建模汽车网络物理系统

说明：指定和建模汽车网络物理系统
<weixin_38622125> 上传 | 大小：696kb