[其它] 莫达-源码

说明：莫达
<weixin_42146086> 上传 | 大小：58mb

[其它] 测试地点-源码

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

[其它] 并发程序切片方法综述

说明：随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用。
<weixin_38642864> 上传 | 大小：797kb

[其它] smb4k：高级网络邻居浏览器和Samba共享安装实用程序-源码

说明：smb4k：高级网络邻居浏览器和Samba共享安装实用程序
<weixin_42134054> 上传 | 大小：3mb

[其它] sys4c：用于AliceSoft的System 4编程语言的WIP编译器-源码

说明：sys4c 这是用OCaml编写的AliceSoft System 4编程语言的实验性编译器。 该项目的目标是最终替代alice-tools（用C编写）中稍微成熟一些的编译器。 建筑 首先安装依赖项： OCaml 沙丘 门希尔 制作 介子 libpng libturbojpeg libwebp zlib 然后获取git子模块， git submodule init git submodule update （或者，克隆此存储库时传递--recurse-submodules 。）
<weixin_42168341> 上传 | 大小：21kb

[其它] noufer：洪流-源码

说明：Noufer 激流磁铁：？xt = urn：btih：90241b83959d7362a3d65b0c819562530220c0dd＆dn =
<weixin_42140710> 上传 | 大小：2mb

[其它] 调制度测量轮廓术中高度映射与相机同时标定的方法

说明：传统的调制度测量轮廓术在进行系统的标定时，需要将标准平面多次精密移动，以建立调制度与实际物理高度的映射关系，同时还要对摄像机进行单独的标定。提出一种新的用于调制度测量轮廓术系统的高度映射与相机同时标定的方法。该方法用一个含有多个台阶的标定模块代替传统的调制度测量轮廓术标定方法中使用的标准平面及复杂的平移定位系统，多个高度相同但空间离散分布的台阶构成多个虚拟校准平面，虚拟平面上的调制度分布是通过一个拟合过程实现的，同时多个台阶的中心点还可以作为立体靶标用于相机标定。这种标定方法的特点是：只需要一次
<weixin_38696836> 上传 | 大小：13mb

[其它] UnicomAutoSignMachine：自用不要fock-源码

说明：UnicomAutoSignMachine：自用不要fock
<weixin_42103128> 上传 | 大小：153kb

[其它] test-util：提供测试实用程序-源码

说明：测试工具 提供帮助特征和通用数据提供者进行测试。 安装 跑 $ composer require --dev ergebnis/test-util 用法 Helper 将Ergebnis\Test\Util\Helper特性导入到您的测试类中： <?php declare (strict_types= 1 ); namespace Foo \ Bar \ Test \ Unit ; use Ergebnis \ Test \ Util \ Helper ; use PHPUnit \
<weixin_42108054> 上传 | 大小：39kb

[其它] 含指针程序的单子切片方法

说明：传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.
<weixin_38733885> 上传 | 大小：408kb

[其它] DarynYeraliyev-个人资料网站-源码

说明：“在此个人资料网页中，我有3个页面：主页，关于页面和联系页面”“主页看起来像这样：” “关于页面看起来像这样：” “联系页面如下所示：”
<weixin_42150360> 上传 | 大小：3mb

[其它] 基于瀑布模型的可信取证方法

说明：给出“人+工具+证明”的取证模式，提出可信取证理念。从电子数据的静态属性可信性和取证方法动态行为的可信性两个方面对可信取证体系进行研究，以便最终形成可信的电子证据结果。建立基于瀑布模型的电子取证模型，从可信表达、可信分析、可信提取、可信固定以及可信发现等方面加以分析。
<weixin_38697444> 上传 | 大小：714kb