搜索资源列表
matlab
- 这是初学者学习Matlab的经典课件，第一到五章，包含微积分问题、线性代数问题以及数据拟合方法等-This is the classic beginner learning courseware Matlab, first to the five chapters, including the issue of calculus, linear algebra problems, and data fitting methods
systemdesign
- 应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽 象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了 建模与分析。-Application of π calculus, combined with Petri nets in object-oriented Petri nets and time Petri nets, embedded system software ar
Isabelle98.tar
- 用做定理证明、推理。可以扩展，比如与Z specification结合使用，做后期的verification。这个软件是软件工程学中formal method的一个很好的代表。-Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a lo
Common-programming-calculus-notes
- 常見程式演算筆記 -Common programming calculus notes
[Solutions-Manual]-Anton-Bivens-Davis-CALCULUS-ea
- [Solutions Manual] Anton Bivens Davis CALCULUS early transcendentals 8th edition-[Solutions Manual] Anton Bivens Davis CALCULUS early transcendentals 8th edition
Vector-Calculus
- Vector Calculus, Linear Algebra and Differential Forms A Unified Approach
Integral-Calculus
- mathematica里面关于积分部分的讲解. 简单实用啦.-This is about the integral calculus in the Mathematica. Simple and useful.
levelset_lecture
- 这几张PPT内容主要是李春明针对水平集的一些基本知识、应用展开的。-Lichunming-- Curve evolution and level set methods: Curve Evolution: from snake to general curve evolution Level Set Methods: basic concepts and methods Numerical issues: Difference scheme:
SE1-Abstraction-and-Modelling
- 第1卷，涵盖了基本的原则和技术，形式化方法和抽象造型。首先，这本书提供了一个良好的，但简单的基础上洞察离散数学：号码，电视机， cartesians ，类型，功能，的lambda演算，代数，数理逻辑。那么列车，其读者的基本财产和示范导向的规范原则和技巧。示范导向的观念，是共同的，如语言规范包括b ， vdm的-晚上八时，和z是解释，在这里用提高规范语言（出rsl ） 。这本书则涵盖的基本原则的应用（功能） ，势在必行，并发（并行）的规格规划。最后，卷载有一个全面的词汇，软件工程等，以及大量的索引
SE2-Spec-of-Systems-and-Languages
- 第二卷涵盖的基本原则和技术的具体制度和语言。它涉及的建模符号（语用，语义和语法的系统和语言） ，空间造型和简单的时间现象，而且这种专门题目为模块化（包括uml类图)， petri网，活出序列图，状态图，和颞逻辑学，其中包括持续计算。最后，本书介绍的技术翻译和编译器开发的功能性，势在必行，模块化和并行编程语言。 -The second volume covers the basic principles and techniques of specifying systems and langua
BeamEngine
- FPSO calculus into short crested waves.
20-analog-circuit
- 工程师应该掌握的20个模拟电路详细分析及参考答案.整流电路，滤波器，微积分电路，放大电路等基本电路详细解析。-Engineers should master the 20 analog circuit detailed analysis and reference answers. Rectifier circuits, filters, calculus circuit, amplifier and other basic circuit detailed analysis.
archivos
- simulator fly iua calculus argentina-simulator fly iua calculus argentina
First-order-Predicate-Ambient-Logic
- 基于μ-演算的一阶谓词界程逻辑，用谓词变量构造不动点公式，方便描述闭环系统的性质，公式语义简洁．-Based on μ-calculus, the predicate variable is used to construct the fixed point formula, which is convenient to describe the properties of the closed-loop system and the semantics of the formula is co