本标准定义了e功能验证语言。本标准的目的是作为一个权威的 (a)电子语言结构的语法和语义 (b)电子语言与标准仿真语言的相互作用 (b) e语言与标准仿真语言的互动 (c) e语言库。本标准服务于使用e语言进行电子设计功能验证的社区。它提供了一个独立于实施的电子语言的定义，并促进了基于电子语言的设计自动化工具的发展。
2021-06-28 09:05:16
5.9MB
Android 函数式 Java 示例
这是一个示例项目，尝试在支持 Java 8 lambda 的 Android 应用程序中包含库。
它是使用 Mac OS X 系统创建的，因此对它进行了硬编码，即它使用/usr/libexec/java_home查找 Java home。
配置
如果您不是在 Mac OS X 上，则必须设置某些环境变量才能使其工作：
JAVA8_HOME作为 Java 8 的路径
JAVA7_HOME作为 Java 7 的路径
或者您可以使用local.properties文件设置这些：
retrolambda.jdk=
retrolambda.oldJdk=
Mac OS X 上的 IntelliJ 配置
IntelliJ 的 Gradle 导入不会因为这个而失败的唯一方法是运行并重新启动它。
2021-06-21 14:05:55
113KB
1
对大脑研究的介绍，研究fMRI数据的可以看看。
2021-06-12 21:24:18
3.61MB
1
网上查找到的R语言电子资料，介绍了RAD，OMI，RLQ，CCA方法的使用，希望给读研或者做生态的带来简便的过程，但是最好还是能自己去学习一些多元统计知识
2021-06-10 14:02:47
585KB
1
函数式编程游乐场
在 ES6 中玩弄函数式编程
撰写
组合 0->Infinity 函数
import compose from '../src/compose';
var square = x => x * x,
half = x => x / 2,
x2 = x => 2 * x,
squareThenHalf = compose(square, half),
doubleThenSquareThenHalf = compose(x2, square, half);
squareThenHalf(10); // 50
doubleThenSquareThenHalf(3); // 18
2021-06-08 13:04:19
7KB
1
这个 repo 展示了一个简单的功能测试示例。
安装：
npm install
在tests/intern.js “隧道选项”中输入您的酱汁实验室凭据
然后...运行功能测试：
./node_modules/.bin/intern-runner config=tests/intern
2021-06-08 13:04:13
4KB
1
Yoga Anatomy’s Keys - The Functional Guide for Beginners
2021-06-03 18:03:29
724KB
1
主要内容有：
1，引言
2，什么是功能安全？
3，技术/设备与应用
4，确保功能安全的挑战
5，IEC 61508简介
6，实现功能安全的策略
7，实现功能安全的设计策略
8，IEC 61508的修订
9，结论
2021-05-30 22:00:15
2.22MB