注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. javaparser：基于函数式组合子逻辑的JAVA语言分析框架

  2. java精神（基于函数式组合子逻辑的javaparser框架） 一。 释名。 为什么叫精神？ 如果你熟悉c++，那么你可能知道一个叫做”spirit”的parser库。它利用c++的模板元编程能力，使用c++语言本身提供了一个递归下降文法解析的框架。 我这里介绍的jparsec库，就是一个java里面的递归下降文法解析框架。 不过，它并非是spirit的java版本。 Jparsec的蓝本来自Haskell语言的parsec库。Parsec是一个基于monad的parser组合子库。 这个库的

  3. 所属分类：Java

    • 发布日期：2009-09-29
    • 文件大小：247808
    • 提供者：gakuseikai

  1. 经典的FPGA进阶，通向FPGA更高的层次

  2. FPGA高手必经的进阶设计，讲解了很多FPGA设计中的经典难题，如毛刺的产生消除，时序的约束，同步设计等。新一代 FPGA的速度变得越来越快，密度变得越来越高，逻辑资源也越来越多。那么如何才能确保功耗不随这些一起增加？？

  3. 所属分类：硬件开发

    • 发布日期：2010-04-22
    • 文件大小：1048576
    • 提供者：shuxin20

  1. C++高手进阶必备（不错噢）

  2. 目 录 译者序 前言 第1章 对象的演化 1 1.1 基本概念 1 1.1.1 对象：特性＋行为 1 1.1.2 继承：类型关系 1 1.1.3 多态性 2 1.1.4 操作概念：OOP程序像什么 3 1.2 为什么C++会成功 3 1.2.1 较好的C 3 1.2.2 采用渐进的学习方式 4 1.2.3 运行效率 4 1.2.4 系统更容易表达和理解 4 1.2.5 “库”使你事半功倍 4 1.2.6 错误处理 5 1.2.7 大程序设计 5 1.3 方法学介绍 5 1.3.1 复杂性 5

  3. 所属分类：C++

    • 发布日期：2011-05-23
    • 文件大小：4194304
    • 提供者：wuyanli0901

  1. 基于高阶模糊算法及模糊聚类的模糊预报

  2. 本文的亮点提出了一种新方法来处理预报问题，通过高阶模糊逻辑关系及聚类方法。利用自聚类算法把论域分解成不同长度区间，从事实现预报。这是一篇基于模糊算法的预报文章。

  3. 所属分类：其它

    • 发布日期：2012-03-17
    • 文件大小：234496
    • 提供者：liuxy204

  1. The Isabelle System Manual

  2. Isabelle自动证明系统安装使用手册，定理描述等。

  3. 所属分类：专业指导

    • 发布日期：2012-04-12
    • 文件大小：333824
    • 提供者：chm9824

  1. 数字逻辑课后答案

  2. 1. 什么是模拟信号？什么是数字信号？试举出实例。 解答 模拟信号-----指在时间上和数值上均作连续变化的信号。例如，温度、压 力、交流电压等信号。 数字信号-----指信号的变化在时间上和数值上都是断续的，阶跃式的，或 者说是离散的，这类信号有时又称为离散信号。例如，在数 字系统中的脉冲信号、开关状态等。 2. 数字逻辑电路具有哪些主要特点？ 解答 数字逻辑电路具有如下主要特点： ● 电路的基本工作信号是二值信号。 ● 电路中的半导体器件一般都工作在开、关状态。 ● 电路结构简单、功耗低、

  3. 所属分类：专业指导

    • 发布日期：2014-03-03
    • 文件大小：2097152
    • 提供者：u013896069

  1. 形式化方法与软件可靠性

  2. 形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的错误，将来的修改所要付出的代价就非常大了。如果导致的错误没有被发现，则影响程序的可靠和使用。形式化方法则要求描述的明确性，而描述的不一致性也就相对易于发现。其次是对软件设计的描述。软件设计的描述和软件要求的描述一样重要。形式化方法的优点对于软件要求的描述同样适用于软件设计的描述。另外由于有了软件要

  3. 所属分类：网络攻防

    • 发布日期：2008-10-12
    • 文件大小：4096
    • 提供者：yuxiaoyong

  1. 数字逻辑答案（够详细，每章都有）

  2. 第 一 章 1. 什么是模拟信号？什么是数字信号？试举出实例。 解答 模拟信号-----指在时间上和数值上均作连续变化的信号。例如，温度、压力、交流电压等信号。 数字信号-----指信号的变化在时间上和数值上都是断续的，阶跃式的，或者说是离散的，这类信号有时又称为离散信号。例如，在数字系统中的脉冲信号、开关状态等。 2. 数字逻辑电路具有哪些主要特点？ 解答 数字逻辑电路具有如下主要特点： ●　电路的基本工作信号是二值信号。 ●　电路中的半导体器件一般都工作在开、关状态。 ● 电路结构简单、

  3. 所属分类：制造

    • 发布日期：2009-04-26
    • 文件大小：1048576
    • 提供者：zx69998

  1. 高阶车道线检测代码（逻辑组合策略待检讨）

  2. 高阶车道线高阶车道线高阶车道线高阶车道线高阶车道线高阶车道线高阶车道线检测代码（逻辑组合策略待检讨）高阶车道线检测代码（逻辑组合策略待检讨）高阶车道线检测代码（逻辑组合策略待检讨）高阶车道线检测代码（逻辑组合策略待检讨）

  3. 所属分类：机器学习

    • 发布日期：2018-02-02
    • 文件大小：59768832
    • 提供者：chuhanjunhun

  1. ML语言的验证实施CakeML.zip

  2. CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑，并且已被证明是改造CakeML程序为语义等价的机器代码。我们使用HOL4的最新开发版本来搭建CakeML，我们在PolyML5.6上创建HOL (http://www.polyml.org)。示例构建指令可以在build-instructions.sh找到。 标签：CakeML

  3. 所属分类：其它

    • 发布日期：2019-07-17
    • 文件大小：3145728
    • 提供者：weixin_39841848

  1. react高阶组件经典应用之权限控制详解

  2. 在React中,高阶组件是重用组件逻辑的一项高级技术。下面这篇文章主要给大家介绍了关于react高阶组件经典应用之权限控制的相关资料，文中通过示例代码介绍的非常详细，对大家具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧。

  3. 所属分类：其它

    • 发布日期：2020-08-29
    • 文件大小：57344
    • 提供者：weixin_38652058

  1. 台达震撼推出PM系列高阶运动控制型PLC

  2. PLC是工厂自动化控制中最重要的装置之一，在工厂中拥有广泛的应用。而随着技术的进步，PLC已经脱离了"逻辑控制"的简单范围，更多的PLC拥有模数转换、数模转换、高速计数、速度控制、位置控制、轴定位控制、温度控制、PID控制、远程通讯和高级语言编程等功能。 　　台达电子集团作为全球优秀自动化产品供应商，一直致力于产品的创新和研发。近日，台达电子集团PLC家族又迎来了一个新成员--PM系列高阶运动控制型PLC，该款机型是目前台达首创的能实现复杂运动控制的PLC主机，具有微秒级高速运算处理能力及超

  3. 所属分类：其它

    • 发布日期：2020-11-24
    • 文件大小：58368
    • 提供者：weixin_38735101

  1. 深入理解React高阶组件

  2. 1.在React中higher-order component (HOC)是一种重用组件逻辑的高级技术。HOC不是React API中的一部分。HOC是一个函数，该函数接收一个组件并且返回一个新组件。在React中，组件是代码复用的基本单位。 2.为了解释HOCs，举下面两个例子 CommentList组件会渲染出一个comments列表，列表中的数据来自于外部。 class CommentList extends React.Component { constructor() {

  3. 所属分类：其它

    • 发布日期：2020-11-28
    • 文件大小：70656
    • 提供者：weixin_38607908

  1. 单片机与DSP中的利用可编程逻辑器件设计有限冲激响应滤波器

  2. 1 引 言 　　一个模拟集成运算放大器可实现一个二阶滤波器，高阶滤波器可由二阶滤波器串联而成。然而，无源元器件实现滤波器的误差值为1．5％或更高，这需要提高元器件的性能。滤波器的典型的调试方法是不断的更换元器件值。而且，运算放大器要获得高的增益带宽，需要相位漂移保持最小或要保持闭环系统的稳定，这必然增加工程中实现滤波器的难度。 　　随着数字信号处理的发展，数字滤波器比传统的模拟滤波器在设计的选择中更有吸引力。因为数字系统的信号是数字量，他相对于模拟滤波器更容易进行滤波代数运算。而且，数字滤

  3. 所属分类：其它

    • 发布日期：2020-12-13
    • 文件大小：135168
    • 提供者：weixin_38551059

  1. 逻辑函数高阶布尔e偏导数求解算法的实现

  2. 逻辑函数高阶布尔e偏导数求解算法的实现

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：485376
    • 提供者：weixin_38658564

  1. 逻辑函数高阶布尔c偏导数求解的算法实现

  2. 逻辑函数高阶布尔c偏导数求解的算法实现

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：668672
    • 提供者：weixin_38628429

  1. 基于分布反演的多个高阶非线性动力学自适应模糊控制

  2. 本文着重研究多个高阶非线性动力学的协同自适应模糊控制。 通信网络拓扑是无向的和固定的。 每个单独的动力学都由一个高阶积分器建模，该积分器具有未知的非线性动力学和未知的外部干扰。 具有模糊逻辑系统的逼近能力，未知的非线性动力学可以通过自适应模糊逻辑系统方案进行补偿。 近似误差和外部干扰的负面影响可通过采用鲁棒性项来抵消。 在backstepping框架下，为每个代理设计了两个协作自适应模糊控制器，以使所有代理最终达成共识。 而且，从设计代理程序只需要代理及其邻居之间的本地状态信息的意义上说，这些控

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：1018880
    • 提供者：weixin_38637998

  1. React 高阶组件（HOC）

  2. 高阶组件（HighOrderComponent）是 React 中用于复用组件逻辑的一种高级技巧。HOC 自身不是 React API 的一部分，它是一种基于 React 的组合特性而形成的设计模式。 具体来说，高阶组件是一个函数，能够接受一个组件并返回一个新的组件，通过高阶函数可以帮助我们实现某些逻辑的复用。通过一个例子学习一下HOC的使用，例如目前项目中有下面两个Counter： ClickCounter：通过点击按钮触发计数 HoverCounter：鼠标移过时触发计数 //Click

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：49152
    • 提供者：weixin_38546608

  1. python利用高阶函数实现剪枝函数

  2. 本文为大家分享了python利用高阶函数实现剪枝函数的具体代码，供大家参考，具体内容如下 案例：        某些时候，我们想要为多个函数，添加某种功能，比如计时统计，记录日志，缓存运算结果等等        需求：               在每个函数中不需要添加完全相同的代码 如何解决？        把相同的代码抽调出来，定义成装饰器               求斐波那契数列（黄金分割数列），从数列的第3项开始，每一项都等于前两项之和        　　求一个共有10个台阶的楼梯，从

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：53248
    • 提供者：weixin_38677234

  1. React学习笔记之高阶组件应用

  2. 是什么 高阶组件是一个函数，能够接受一个组件并返回一个新的组件。没有任何副作用。 为什么用 封装并抽离组件的通用逻辑，让此部分逻辑在组件间更好地被复用。 如何用 //hoc为我们的高阶组件，可以使用es7装饰器语法来使用高阶组件 //当然也可以不用es7，如：let hocHello = hoc(Hello)，只是es7的语法更优雅一些。 //高阶组件可以叠加使用，可以对一个组件使用多个高阶组件 hoc class Hello extends React.Component { //

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：41984
    • 提供者：weixin_38506852
« 12 3 4 5 6 7 8 9 10 »