资源列表
[数学计算/工程计算] QtCalculator
说明:手机平台上使用的计算器源码,QT编码,简易计算器-Calculator for moilephone,base in QT<Neo King> 在 2024-10-19 上传 | 大小:16384 | 下载:0
[数据结构常用算法] SortAlgorithm
说明:Delphi实现的排序算法及效率比较,含:冒泡排序,插入排序和Shell排序。-Delphi to achieve the efficiency of sorting algorithms and more, including: bubble sort, insertion sort and Shell sort.<wu> 在 2024-10-19 上传 | 大小:374784 | 下载:0
[数学计算/工程计算] 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.<刘新玲> 在 2024-10-19 上传 | 大小:1022976 | 下载:0
[matlab例程] MATLAB-tuxiangquzao
说明:简单的MATLAB图像去噪程序 采用数学形态法进行区域选择-Simple MATLAB program using mathematical morphology image denoising method for area selection<tc9989> 在 2024-10-19 上传 | 大小:275456 | 下载:0
[数学计算/工程计算] HandoutForLogic_fromArizonaStateUniversity
说明:这是亚利桑那州立大学计算机课程Logic for Computer Scientists 的原版教程。教程中重点讲述了propositional logic和逻辑编程语言(ASP)Answer set programming. 这是一种非常快速在国外刚兴起的逻辑编程语言。-This is the Arizona State University computer courses Logic for Computer Scientists<刘新玲> 在 2024-10-19 上传 | 大小:894976 | 下载:0
[人工智能/神经网络/遗传算法] fuzzy
说明:Matalb 实现了模糊控制,包括模糊控制器的设计-Matalb implementation of fuzzy control including fuzzy controller design<王亮> 在 2024-10-19 上传 | 大小:8192 | 下载:0
[数学计算/工程计算] theory_of_computation
说明:国外计算机专业重要研究生课程 theory of computation 的中文第一版和英文原版第二版。以及课后习题答案。-Computer important overseas post-graduate courses in Chinese theory of computation of the first edition and second edition of the English original. And Homewo<刘新玲> 在 2024-10-19 上传 | 大小:15947776 | 下载:0