搜索资源列表
FLoyrC
- 在图论中经常会遇到这样的问题，在一个有向图里，求出任意两个节点之间的最短距离。我们在离散数学、数据结构课上都遇到过这个问题，在计算机网络里介绍网络层的时候好像也遇到过这个问题，记不请了... 但是书本上一律采取的是Dijkstra算法，通过Dijkstra算法可以求出单源最短路径，然后逐个节点利用Dijkstra算法就可以了。不过在这里想换换口味，采取Robert Floyd提出的算法来解决这个问题。下面让我们先把问题稍微的形式化一下
The_B_Language_and_Method
- < B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
SDLDesignSIP
- 会话初始协议SIP 作为推荐的Internet 会议和VoIP 应用层信令控制协议,在RFC 中没有严格地给出其行为的 形式化模型。介绍了SIP 协议,简要阐述了SDL(specification and descr iption language) 的基本概念及使用它描述网络协议的优 点,并利用SDL 给出了SIP 协议的形式化描述,为进一步的协议实现和验证奠定了基础。-SIP Session Initiation Protocol, as recommended by Intern
philosopher
- 哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。-Dining philosophers problem is that the Dutch scholars Dijkstra classic one of the issues raised, it
spin517.tar
- 最流行的并发模型检测器SPIN，是并发系统的形式化设计中的重要工具-Concurrent model of the most popular detector SPIN, is a formal design of concurrent systems in an important tool
xiaobo
- 小波分析是当前应用数学和工程学科中一个迅速发展的新领域，经过近10年的探索研究，重要的数学形式化体系已经建立，理论基础更加扎实。与Fourier变换相比，小波变换是空间(时间)和频率的局部变换，因而能有效地从信号中提取信息。-Wavelet analysis is currently applied mathematics and engineering disciplines in a rapidly developing new fields, after almost 10 years o
system_monitor
- 用于系统行为验证。给出系统运行的观测数据，给定一个用MTL形式化语言描述的表达式，运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.
LTLrobust
- 用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试，本程序采用离线测试。输入为系统运行数据和LTL表达式，输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system control and verification. it i
forecastanalysis
- 实验内容：根据课堂讲授的形式化算法，编制程序实现一个预测分析器，能对常见的算术表达式语句进行分析 实验要求： a)组织算术表达式的输入； b)若输入的符号串是一个算术表达式语句，则输出分析过程，否则输出一个错误-Experiment: algorithm according to the formal classroom teaching, the preparation process to achieve a prediction analyzer, capable of com
3G_WLAN
- 关于3G与WLAN网络融合的安全性分析及形式化方法的应用-3G and WLAN networks on the integration of security analysis and the application of formal methods
zhuangxiang
- 经典的Binpacking问题就是要求把一定数量的物品放入容量相同的箱子中，使得每个箱子中的物品大小之和不超过箱子容量并使所用的箱子数目最少。更形式化的描述为：给定n个物品的集合S，要将这些物品装入若干个箱子中，其中第i个物品体积为si，0<si=<1，且每个箱子的体积恒定设为1，Binpacking问题是如何装入物品才能使所用的箱子数最少。-zhuangxiang
MDA
- 根据MDA的思想，给出了用于统一描述数据模型的数据词典的逻辑结构，以数据词典的方式在元模型层上对数据模型进行统一描述，在数据词典的基础上分析了异构数据模型之间的数据映射关系。采用EBNF范式对描述映射关系的语法进行形式化定义和描述，同时给出映射关系的相关语义说明。在研究的基础上实现了数据映射功能，并投入实际应用，文中给出数据映射的应用实例。-This article present a kind of Data Mapping techenology based MDA,descr ipt th
Reign
- Rebeca模型硬件设计形式化验证Rebeca model for formal verification of hardware design-Rebeca model for formal verification of hardware design
extension-learn-knowledge
- 详细分析了可拓方法在人工智能技术中 的应用，特别是它与知识表示和推理技术的密切联系。由此，提出了可拓知 识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细 的比较。 -Detailed analysis of the extension method in artificial intelligence technology, especially with the knowledge representation and reasoning techniques
Dphilosopheri
- 哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。 -The dining philosophers problem is one of the Dutch scholar Dijkstra' s classic, it is the ap
tidy_Source
- 采用C++编写的tidy，用于非格式化的HTML文档的规范化，将非形式化的HTML转换为XML，或称为XHTML。-Tidy, using C++ written for the standardization of the non-formatted HTML document, convert non-formal HTML to XML, called XHTML.
use-3.0.4
- 形式化语言开发，与uml结合,基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证-Formal language development
lab01
- 本实验用例为验证抽象数据类型复数的实现，主要实现c下实现抽象数据类型的加法、减法、乘法运算及复数的形式化输出。-The cases used in this experiment to verify the implementation of abstract data types plural, the main achievement of abstract data types of addition, subtraction, multiplication and plural form
ye_ren_chuan_jiao_si_guo_he
- 对N＝5、k≤3时，求解传教士和野人问题的产生式系统各组成部分进行描述（给出综合数据库、规则集合的形式化描述，给出初始状态和目标条件的描述），并画出状态空间图。 答： 用M表示传教士，C表示野人，B表示船，L表示左岸，R表示右岸。-For N = 5, k ≤ 3, the missionaries and Savage problem solving production system components are described (given comprehensive database
randomsignalwaveletanalysis
- 小波分析是当前应用数学和工程学科中一个迅速发展的新领域，经过近10年的探索研究，重要的数学形式化体系已经建立，理论基础更加扎实。-Wavelet analysis is a new field currently applied mathematics and engineering disciplines in a rapidly evolving, after nearly 10 years of exploration and research, important mathematica