搜索资源列表
Learning_MISRAC_Criterion
- 嵌入式系统应用工程师借用计算机专家创建的C语言,使嵌入式系统应用得以飞速发展,而MISRAC是嵌入式系统应用工程师对C语言嵌入式应用做 出的贡献。如今MISRA C已经被越来越多的企业接受,成为用于嵌入式系统的C语言标准,特别是对安全性要求极高的嵌入式系统,软件应符合MISRA标准。 本文由清华嵌入式系统研究专家,邵贝贝教授领衔执笔,分六讲,跟读者一起学习MISRAC。 第一讲:“‘安全第一’的C语言编程规范”,简述MISRAC的概况。 第二讲:“跨越数据类型的重重陷阱”,介绍
implicitsurfacedrawing
- 隐式曲面容易生成几何形状, 但是难于绘制。为了解决此缺点, 提出了一种使用 迭代函数系统的点式隐式曲面绘制算法, 它的实现非常简单, 易于编程。
wave
- 将有限单元半解析法用于求解三维填充式波形空间结构。构造了结构受弯窄条的反力矩 阵。根据有限单元半解析法将位移场表示成两个方向位移的组合:一个方向以函数形式给定位移 形状;另一方向为求解有限单元法的代数方程组。最后通过算例验证表明:有限单元半解析法对于 求解空间填充式结构非线性问题具有精度高,收敛快,易于计算机编程的优点。 关键词:有限单元半解析法;三维填充式波形结构;薄壁空间体系;几何非线性-The finite element semi-analytical method fo
Why_Functional_Programming_Matters
- 介绍函数式编程的重要论文,分析了函数式编程的基本概念,多次被引用。-introduction to functional programming
Land.of.Lisp
- Land 0f Lisp,Lisp经典教程,英文原版,函数式编程-Land Of Lisp
CSharpTCP
- C#局域网内的tcp传输• 以目前流行的TCP/IP协议构成的互联网软件设计方法,实现网络传输实验设计。 • 掌握网络scoket套接字完成计算机通信过程,深入理解和掌握基于TCP/IP协议的网络通信以及网络客户机/服务器模型的结构概念,熟悉常用的Windows API函数的用法,利用C++或VB语言实现流式套接字的网络应用通信编程。 -C# tcp transmission • LAN to the Internet posed by the pop
mapreduce-osdi04
- MapReduce是一种编程模型,用于大规模数据集(大于1TB)的并行运算。概念 Map(映射) 和 Reduce(归约) ,和它们的主要思想,都是从函数式编程语言里借来的,还有从矢量编程语言里借来的特性。它极大地方便了编程人员在不会分布式并行编程的情况下,将自己的程序运行在分布式系统上。-MapReduce is a programming model and an associ- ated implementation for processing and generating larg
python---fn
- 尽管Python事实上并不是一门纯函数式编程语言,但它本身是一门多范型语言,并给了你足够的自由利用函数式编程的便利。函数式风格有着各种理论与实际上的好处-Despite the fact that Python is not a purely functional programming language, but it itself is more than one-paradigm language, and gives you enough freedom to facilitate th
Design-of-square-wave-signal-
- 实现方波发生器的方法很多,但主要有三个方案:采用单片函数发生器 8038,采用锁相式频率合成器,采用单片机编程。-There are many methods to realize the square wave generator, but there are three main schemes: using single chip function generator 8038, adopting the phase locked frequency synthesizer.
als
- spark 分布式计算框架,利用面向对象的函数式编程语言Scala(Spark distributed computing framework, using object oriented functional programming language Scala)
Types_and_Programming_Languages.pdf.tar
- A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute.
《Haskell 函数式编程入门》
- 《Haskell 函数式编程入门》