点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 类型:使用类型系统进行实验-源码
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
uboott移植实验手册及技术文档
实验三 移植U-Boot-1.3.1 实验 【实验目的】 了解 U-Boot-1.3.1 的代码结构,掌握其移植方法。 【实验环境】 1、Ubuntu 7.0.4发行版 2、u-boot-1.3.1 3、FS2410平台 4、交叉编译器 arm-softfloat-linux-gnu-gcc-3.4.5 【实验步骤】 一、建立自己的平台类型 (1)解压文件 #tar jxvf u-boot-1.3.1.tar.bz2 (2)进入 U-Boot源码目录 #cd u-boot-1.3.1 (3)创
所属分类:
Flash
发布日期:2010-01-28
文件大小:2mb
提供者:
yequnanren
COMbo Box 的使用
[ 原创文档 本文适合初级读者 已阅读64032次 ] 文档 代码 工具 透明位图的显示 作者:王骏 下载本文示例代码 包含透明色的位图的绘制方法有多种,最简单的方法是调用现成的函数:TransparentBlt,也可以通过自己的代码实现类似TransparentBlt的功能,实现过程也有两种形式,一种是事先做一张掩码位图,另一种是动态生成掩码位图。本文将介绍动态生成掩码位图绘制具有透明区域位图的方法。 一、TransparentBlt 函数的使用 TransparentBlt 函数在Wind
所属分类:
C++
发布日期:2011-07-06
文件大小:27kb
提供者:
tjiang163
小日本视频转换器
TMPGEnc 是日本人堀浩行开发的一套老牌的高画质视频编码转换工具软件,在 Canopus ProCoder v2.0 Final 推出以前,一直是视频转换领域的画质冠军,支持 VCD、SVCD、DVD 以及所有主流媒体格式 (Windows Media、Real Video、Apple QuickTime、Microsoft DirectShow、Microsoft Video for Windows、Microsoft DV、Canopus DV、Canopus MPEG-1 和 MPE
所属分类:
电子商务
发布日期:2011-11-07
文件大小:2mb
提供者:
nhbxsun
【matlab】基于BP算法和遗传算法的自适应噪声抵消器
一、引言自适应噪声抵消技术是一种能够很好的消除背景噪声影响的信号处理技术,应用自适应噪声抵消技术,可在未知外界干扰源特征,传递途径不断变化,背景噪声和被测对象声波相似的情况下,能够有效地消除外界声源的干扰获得高信噪比的对象信号。 从理论上讲,自适应干扰抵消器是基于自适应滤波原理的一种扩展,简单的说,把自适应滤波器的期望信号输入端改为信号加噪声干扰的原始输入端,而它的输入端改为噪声干扰端,由横向滤波器的参数调节输出以将原始输入中的噪声干扰抵消掉,这时误差输出就是有用信号了。在数字信号采集、处理中
所属分类:
硬件开发
发布日期:2012-12-30
文件大小:2kb
提供者:
mmfile
HTML5(时代来临,同事们还等什么?上啊不然就out了!)
html5 求助编辑百科名片 HTML5是用于取代1999年所制定的 HTML 4.01 和 XHTML 1.0 标准的 HTML 标准版本,现在仍处于发展阶段,但大部分浏览器已经支持某些 HTML5 技术。HTML 5有两大特点:首先,强化了 Web 网页的表现性能。其次,追加了本地数据库等 Web 应用的功能。广义论及HTML5时,实际指的是包括HTML、CSS和Javascr ipt在内的一套技术组合。它希望能够减少浏览器对于需要插件的丰富性网络应用服务(plug-in-based ri
所属分类:
网管软件
发布日期:2013-03-23
文件大小:195kb
提供者:
yuanleibin
WAN综合实验-7.pka
致用户: 或许您无需借助打印说明也可以完成本练习,不过我们仍在启动此练习的页面上为您提供了 PDF 版说明(位于页面的左侧)。 HQ 地址表 分支路由器的地址表 以分支路由器 B1、B2 或 B3 的编号代替 ”X”。 HQ 的点对点 PVC 使用子网中的第二个地址。HQ 使用第一个地址。 WRT300N 路由器通过 DHCP 从分支路由器获得 Internet 地址。 VLAN 配置和端口映射 学习目标 在集中星型拓扑中配置帧中继 将 PPP 的身份验证方式配置为 CHAP 和 P
所属分类:
其它
发布日期:2019-07-04
文件大小:1mb
提供者:
qq_39223227
eBPF:eBPF实验-源码
eBPF eBPF实验 什么是eBPF? eBPF(扩展的Berkley数据包过滤器)是一种旨在在Linux内核中安全执行。 它是: 具有大量代码路径分析的验证程序 内核解释器 即时编译器 潜在的处理器卸载机制 它在多个地方使用以向内核提供运行时可配置的代码注入。 如何创建eBPF? 可以直接创建eBPF机器代码(64位指令),然后通过bpf系统调用将其注入内核。 甚至在用户区C程序中甚至都有用于合成指令的宏。 但是,通常更容易用高级语言指定eBPF程序。 最常见的是“ C”,将LL
所属分类:
其它
发布日期:2021-03-18
文件大小:2mb
提供者:
weixin_42159267
recitations:cs3157的复习笔记,带有叙述的C系统编程课程-源码
该存储库包含Jae Woo Lee教授的哥伦比亚高级编程课程COMSW3157的复习笔记。 有关该更多信息,请访问。 这些TA每周由各个TA举行,通常以这些笔记为基础。 欢迎发布,补丁和评论,特别是当前和以前的学生。 内容: :UNIX简介,请编译您的第一个C程序。 :Makefiles。 您可能会发现是有用的参考。 :配置和使用Git进行版本控制和文件跟踪。 :C基础知识:数据类型,按位,复杂的表达式和语句。 :部分内存,指针和数组。 (即malloc)。 另请参阅非常
所属分类:
其它
发布日期:2021-03-11
文件大小:1mb
提供者:
weixin_42152298
torus:Torus-分布式存储系统-源码
圆环面 环面概述 Torus是一个开源项目,用于通过以下方式协调分布式存储 Torus通过在多个节点上运行的一组守护程序提供资源池和基本文件原语。 通过仅附加和由[etcd]协调,使这些原语保持一致。 通过这些原语,Torus服务器可以支持多种类型的卷,这些卷的语义可以分为子项目。 它附带一个简单的块设备卷插件,但可以扩展到更多。 分片通过一致的哈希函数完成,在简单情况下,通过哈希环算法进行控制,但可以完全扩展到任意映射,机架感知和其他出色功能。 项目名称由此而来:散列“环”加“体积”是一个圆
所属分类:
其它
发布日期:2021-03-11
文件大小:318kb
提供者:
weixin_42161497
DL-Hard-源码
DL-硬 带注释的深度学习数据集,用于通过和文档检索 目录 论文概述: 概述 深度学习深度学习(DL-HARD)是基于标准深度学习基准评估数据集的新的带注释数据集。 它建立在TREC深度学习( )问题的基础上,广泛地用来自领先的Web搜索引擎的查询意图类别,答案类型,错误的实体,主题类别和结果类型元数据进行注释。 基于这些数据,我们介绍了一个用于识别具有挑战性的问题的框架。 DL-HARD包含来自2019/2020年官方评估基准的四十九个查询,其中一半是新近独立评估的。 我们使用DL-HARD
所属分类:
其它
发布日期:2021-03-08
文件大小:625kb
提供者:
weixin_42134240
hed-javascript:包含我们初始JavaScript对HEDBIDS友好的验证器项目的存储库-源码
Hed验证器 该软件包包含一个针对HED(分层事件描述符)字符串Javascr ipt验证器。 是用于使用逗号分隔的路径字符串注释事件的系统。 可以使用HED类型的语法注释任何类型的事件。 当前版本的hed-validator执行语法和语义验证。 语法验证仅检查语法问题,例如括号不匹配,并且不需要架构。 HED注释策略非常笼统,可以使用HED方案表示特定领域的标准化词汇表。 HED提供了一种用于注释神经成像实验中事件的。 针对特定的HED架构对HED字符串进行的验证称为语义验证。 当前支持语
所属分类:
其它
发布日期:2021-02-27
文件大小:168kb
提供者:
weixin_42124497
CompilePrinciple2017:2017年秋季的“编译原理”课程实验-源码
编译原理2017 2017年秋季在“编译原理”课程中进行的实验。 什么是C1语言? 本课程中的C1语言是C编程语言的子集。 它不包括整体类型系统。 仅支持array of integers和integer array of integers ,并且可以用const描述。 C1中的函数没有任何参数或返回值。 可以使用EBNF(扩展Backus-Naur形式)描述语法,如下所示: CompUnit → [ CompUnit ] ( Decl | FuncDef ) Decl
所属分类:
其它
发布日期:2021-02-21
文件大小:112kb
提供者:
weixin_42143092
FloPyArcade:模拟地下水流动环境以测试强化学习算法-源码
FloPyArcade提供了由驱动的简单的地下水街机类型的模拟环境。 它基于的功能,MODFLOW及其相关软件的预处理和后处理。 该想法是为地下水社区提供基准测试环境和示例,以允许对算法进行实验以寻求最佳控制。 概括地说,这很重要的原因:可以将这里的游戏中所包含的内容设想为给定模型(集成)的任意地下水系统的真实操作。 您可以类似地优化和测试策略模型,例如用于站点的实时操作。 为时已晚,几十年前的街机游戏达到顶峰,您会认为吗? 明显地。 但是随着的出现使他们重新获得了兴趣,它可以通过强化学习为
所属分类:
其它
发布日期:2021-02-14
文件大小:50mb
提供者:
weixin_42166626
类型:使用类型系统进行实验-源码
种类 类型系统中的一些实验,旨在作为参考实施或学习帮助那些希望获得一些“文学代码”式写作的可理解的完整源代码的人。 此处发现的大多数(或全部)工作都是基于其他人的工作,这些工作来自参考实现或直接来自研究论文,或两者的某种结合。
所属分类:
其它
发布日期:2021-02-13
文件大小:35kb
提供者:
weixin_42133680
水族馆:水族馆实验室操作系统-源码
水族馆:实验室操作系统 水族馆允许研究人员精确地指定如何执行实验方案,以便实验室人员每次都以相同的方式运行该方案。 用称为Krill的Ruby DSL编写的协议对如何操作水族馆的库存系统(LIMS),计算体积,摩尔浓度,温度和时间等公式进行编码,并向实验室技术人员提供图像和详细说明。 协议使用类型化的输入和输出定义正式的单位操作类型-研究人员可以使用Aquarium图形工作流程设计器将一个协议的输出样本链接到另一个协议的输入,从而构建复杂的工作流程。 安排了协议和过程,并在整个实验室中放置的
所属分类:
其它
发布日期:2021-02-12
文件大小:6mb
提供者:
weixin_42181545
关系:实验张量型深度学习-源码
关系 :construction: 正在进行的项目 :construction: 状态:原型 :construction: Nexus是Scala中的原型安全类型深度学习系统。 Nexus不同于常见的深度学习库,例如 , , 等。 曾经为张量轴感到困惑吗? 我应该最大化哪个轴? 在Python中有TypeError吗? 是否花了数小时或数天使张量轴和尺寸正确? Nexus对这些问题的回答是静态类型。 通过在利用Scala表现型的类型中指定张量轴的语义,编译器可以在编译时验证程序,
所属分类:
其它
发布日期:2021-02-05
文件大小:557kb
提供者:
weixin_42110038
absolute:Absolute是一个基于Web的O2O(在线到离线)平台,例如星巴克的Siren-Order。 我们专注于创建可移植,更便宜,更容易,去中心化和无应用的平台-源码
绝对v2 Absolute是一个基于Web的订购平台,例如星巴克的Siren-Order。 我们致力于创建一个可移植,更便宜,更容易,无中心化和无应用程序的平台。 什么是v1? 这个项目以前有一个化身。 我们以非常快速和肮脏的方式编写了它,这很方便,因为我们需要将它作为实验的依赖项。 但是最终,这使维护变得困难。 因此,我们决定从头开始重新启动该项目,并在经过长时间的讨论后在坚实的基础上进行构建。 以下是v1和v2之间的重要区别。 使用Typescr ipt代替Java语言与Babel。
所属分类:
其它
发布日期:2021-02-05
文件大小:7mb
提供者:
weixin_42097508
编码:Go软件包,其中包含有效的编码,解码和验证API的实现-源码
编码方式 Go软件包,其中包含各种数据格式的编码器和解码器的实现。 动机 在Segment中,我们在发送,排队或存储消息时会进行大量数据的封送处理。 我们需要在基础架构上提供的资源与我们正在处理的数据的类型和数量直接相关。 在我们的经营规模上,我们选择用来构建程序的工具可能会对我们系统的效率产生重大影响。 当我们达到所使用代码的极限时,探索替代方法很重要。 该存储库包含用于打包和解编各种格式数据的Go软件包的实验。 尽管重点是提供高性能的库,但我们还旨在通过实现可用作默认解决方案的替代产品的
所属分类:
其它
发布日期:2021-02-03
文件大小:13mb
提供者:
weixin_42134878
netcap:用于安全和可扩展的网络流量分析的框架-https:netcap.io-源码
Netcap (NETwork CAPture)框架将网络数据包流有效地转换为代表特定协议或自定义抽象的平台中立的类型安全的结构化审核记录。 这些审核记录可以存储在磁盘上,也可以通过网络交换,非常适合作为机器学习算法的数据源。 由于不可信输入的解析可能很危险,而网络数据也可能是恶意的,因此以提供垃圾回收内存安全运行时的编程语言执行了实现。 它是为我的本科论文中的一系列实验开发的:基于安全和可扩展的基于异常的网络入侵检测的实现和评估。 我在巴伐利亚科学与人文学院莱布尼兹超级计算中心的演讲幻灯片可
所属分类:
其它
发布日期:2021-02-02
文件大小:188mb
提供者:
weixin_42118161
omniscidb:OmniSciDB(以前为MapD Core)-源码
OmniSciDB(以前为MapD Core) OmniSciDB是基于SQL的关系型列式数据库开源数据库引擎,该引擎利用了现代硬件(CPU和GPU)的全部性能和并行性,可以在毫秒内查询数十亿行数据集,而无需进行索引,聚合或下采样。 OmniSciDB可以在混合CPU / GPU系统(当前支持Nvidia GPU)上运行,也可以在具有X86,Power和ARM(实验支持)架构的纯CPU系统上运行。 为了获得最佳性能,OmniSciDB在存储,CPU内存和GPU内存之间提供了多层数据缓存,并采用
所属分类:
其它
发布日期:2021-01-30
文件大小:13mb
提供者:
weixin_42166626
«
1
2
»