搜索资源列表
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
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
extension-learn-knowledge
- 详细分析了可拓方法在人工智能技术中 的应用，特别是它与知识表示和推理技术的密切联系。由此，提出了可拓知 识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细 的比较。 -Detailed analysis of the extension method in artificial intelligence technology, especially with the knowledge representation and reasoning techniques
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
花书
- 深度学习是机器学习的一个分支，它能够使计算机通过层次概念来学习经验和理解世界。因为计算机能够从经验中获取知识，所以不需要人类来形式化地定义计算机需要的所有知识。层次概念允许计算机通过构造简单的概念来学习复杂的概念，而这些分层的图结构将具有很深的层次。本书会介绍深度学习领域的许多主题。(Deep learning is a branch of machine learning. It enables computers to learn experience and understand the