- 博客(42)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 SAT and SMT
约束求解器程序输入生成问题可被转换为约束可满足性问题的求解过程。约束可满足性问题可以定义为一个三元组<V,D,C><V,D,C><V,D,C>，其中：VVV表示变量；DDD表示变量可取值的域；CCC表示变量之间的关系，即约束条件。约束可满足性问题就是：判断在域DDD中，是否存在一组变量VVV能够满足约束条件CCC。SAT布尔可满足问题（SAT）是约束可满足性问题的一种较为简单的情况。SAT中:域DDD为布尔值0,1{0,1}0,1约束CCC为命
2022-04-09 10:47:50
1046
原创 Prolog语言及程序设计汇总
人工智能语言简介人工智能(AI)语言是一类适应于人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。能够用它来编写程序求解非数值计算、知识处理、推理、规划、决策等具有智能的各种复杂问题。典型的人工智能语言主要有LISP、Prolog、Smalltalk、C++等一般来说，人工智能语言应具备如下特点：具有符号处理能力（即非数值处理能力）；适合于结构化程序设计，编程容易；具有递归功能和回溯功能；具有人机交互能力；适合于推理；既有把过程与说明式数据结构混合起来的能力，又有
2022-04-08 22:38:31
2839
原创 编译原理——词法分析（有穷自动机）
有穷自动机（FA）分类回顾：上下文无关文法GGG是一个四元式——G=(VT,VN,S,P)G=(V_T,V_N,S,P)G=(VT,VN,S,P)确定的FA（DFADFADFA）非确定的FA（NFANFANFA）DFA与NFA相互转换正规文法和有限自动机...
2022-02-24 23:04:25
331
原创 并行计算与并行编程 —— Part 1： Parallel Programming（I）
并行计算与并行编程 —— Part 1： Parallel Programming（I）IntroductionWhat is Parallel Computing?Difference between parallel computing & distributed computing(并行和分布式的区别)ClassificationFlynn’s classic taxonomy / 费林分类法Memory architecture classification / 内存
2022-01-18 00:21:09
416
原创 Credit card dataset: SVM Classification --- PCA效果/不平衡数据
@ From:https://www.kaggle.com/pierra/credit-card-dataset-svm-classification@ Authors:LE BORGNE Pierre-Alexis :https://www.kaggle.com/pierraGUILLAUME Florian : https://www.kaggle.com/florianguillaume写在前面Bgein数据描述creditcard.csv行：284807列：31列：Tim.
2021-12-15 20:13:59
1496
原创 提升方法(AdaBoost)及Python实现
综述提升（boosting）方法是一种常用的统计学习方法，应用广泛且有效。在分类问题中，它通过改变训练样本的权重，学习多个分类器，并将这些分类器进行线性组合，提高分类的性能。“装袋”（bagging）和“提升”（boost）是构建组合模型的两种最主要的方法，所谓的组合模型是由多个基本模型构成的模型，组合模型的预测效果往往比任意一个基本模型的效果都要好。装袋：每个基本模型由从总体样本中随机抽样得到的不同数据集进行训练得到，通过重抽样得到不同 训练数据集的过程称为装袋。提升：每个基本模型训练时的数
2021-12-04 19:17:51
1941
原创 安装tensorflow1.x版本
在学神经网络的时候，发现现有的大多数的资料都是tensorflow1.xtensorflow1.xtensorflow1.x版本的，所以就像安装，但发现好多博客介绍的方法都不太行，自己搞了一下：安装anaconda、创建虚拟环境啥的都不介绍了，毕竟网上资源多的很python版本最好是3.6的吧，以上不知道行不行，大家有兴趣的可以试一下pip install --upgrade tensorflow==1.15 # 仅支持 CPU 的版本pip install --upgrade tensorflo
2021-11-24 17:07:42
14408
9
原创 TensorFlow报错：module ‘tensorflow‘ has no attribute ‘placeholder‘等两个错误
module ‘tensorflow’ has no attribute ‘placeholder’究其原因是因为tf.placeholder是这个是tensorflow1.x版本的东西，tensorflow2.0就不能用了改变方法1：tf.compat.v1.placeholder(tf.float32,[None,784])改变方法2：不使用import tensorflow as tf而使用import tensorflow.compat.v1 as tf tf.disable_v
2021-11-21 10:38:44
6759
原创 opencv：常用函数详解（一）
简介本文详解5个函数，分别是：findContoursfindContoursfindContoursdrawContoursdrawContoursdrawContours边缘检测approxPolyDPapproxPolyDPapproxPolyDPthresholdthresholdthresholdcv2.findContours()cv2.findContours()cv2.findContours()cv2.findContours(image, mode, method
2021-11-15 22:11:32
2888
原创 支持向量机SVM及python实现
支持向量机SVM是一种二分类模型。它的基本模型是定义在特征空间上的间隔最大的线性分类器，间隔最大使它有别于感知机；核技巧使他成为实质上的非线性分类器。SVM是求解凸二次规划的问题最优化问题。SVM可分为：线性可分支持向量机：数据线性可分，通过硬间隔最大化，学习一个线性分类器。线性支持向量机：数据近似线性可分，通过软间隔最大化，学习一个分类器。非线性支持向量机：数据线性不可分，通过使用核技巧及软间隔最大化。技术：SMO核函数序列最小最优化输入空间为欧氏空间或这是离散集合、.
2021-11-09 20:16:44
4921
2
原创 朴素贝叶斯及python实现
朴素贝叶斯是基于贝叶斯定理与特征条件独立假设的分类方法。对于给定数据集，首先基于特征条件独立假设学习输入输出的联合概率分布；然后基于此模型，对于给定的输入x，利用贝叶斯定理求出后验概率最大的输出y。式（2）为极大似然估计。 # 先验概率 def pAbusice(self, labels): N = len(labels) label = dict(Counter(labels)) pa = {} for key, val in
2021-11-01 15:11:45
967
1
原创 Java小练习2-----客户信息管理软件
目标需求说明实现Customer.javaCustomer.javaCustomer.javapackage Two;public class Customer { private String name; private String gender; private int age; private String phone; private String email; public Customer(String name,
2021-10-11 08:11:50
123
原创 初识Java小项目-----家庭记账
项目需求该软件能够记录家庭的收入、支出，并能够打印收支明细表项目采用分级菜单方式涉及知识点：变量的定义基本数据类型的使用循环语句分支语句方法声明、调用和返回值的接收简单的屏幕输出格式控制需求说明假设家庭起始的生活基本金为10000元。每次登记收入（菜单2）后，收入的金额应累加到基本金上，并记录本次收入明细，以便后续的查询。每次登记支出（菜单3）后，支出的金额应从基本金中扣除，并记录本次支出明细，以便后续的查询。查询收支明细（ 菜单1）时，将显示所有的收入、支出名细列表
2021-10-09 22:07:19
86
原创 近邻法及python实现
????近邻法及python实现综述????近邻算法????近邻模型距离度量????值的选择分类决策的规则代码Main.pymyKNN.py输出????近邻法的实现：kd树构造kd树搜索kd树代码实现main.pyKD.pysearch.py输出综述????近邻法是一种基本分类与回归的方法。不具有显式的学习过程。????值的选择，距离度量以及分类决策的规则是????近邻法的三个基本要素。一般来说，只选择样本数据集中前N个最相似的数据。????一般不大于20，最后，选择k个中出现次数最多的分类，作为新数据
2021-10-08 13:11:57
1241
原创 BP神经网络python实现
BP神经网络python实现总体布局函数构建网络前馈的一个过程更新w,bw,bw,b进行测试数据读取mainmainmain函数数据集总体布局函数SigmoidSigmoidSigmoid函数：f(x)=11+exp(−x)f(x)=\frac{1}{1+exp(-x)}f(x)=1+exp(−x)1# Sigmoid 前向反向def sigmoid(z): h = 1. / (1 + np.exp(-z)) return hdef de_sigmoid(z,h):
2021-09-29 19:18:48
997
3
原创 【统计学习方法】感知机Python实现
1 前言感知机是二分类的线性分类模型。输入为：实例的特征向量；输出：实例的类别【一般取-1和+1二值】。感知机对应于输入空间（特征空间）中将实例划分为正负两类的分离超平面，属于判别模型。感知机学习旨在求出将训练数据进行线性划分的超平面，为此，导入基于误分类的损失函数，利用梯度下降法对损失函数进行极小化，求出感知机模型。感知机分为原始模式和对偶形式。2 感知机模型定义2.1（感知机） 假设输入空间（特征空间）是 χ⊆Rn\chi \subseteq R^nχ⊆Rn ，输入空间是Y⊆{−1,+1}\
2021-09-21 15:15:17
197
原创 MOOC——Python网络爬虫与信息提取[第一周] 笔记
Python网络爬虫与信息提取[第一周] 网络爬虫的盗亦有道网络爬虫的尺寸网络爬虫的限制Robots协议Requests 库的7各主要方法requests.requestrequests.getrequests.headrequests. postrequests. putrequests. patchrequests.deleteRequests库的异常爬虫网页的通用代码框架查询某网站100次的时间网络爬虫的盗亦有道网络爬虫的尺寸网络爬虫的限制Robots协议Requests 库的7各主要
2021-07-22 15:42:58
415
原创 python模块：二分查找bisect及有序容器sortedcontainers
1. python 二分查找模块 bisect2. python 有序容器 sortedcontainers
2021-07-06 10:48:42
306
原创 Python中collections模块
综述collestions模块实现了特定目标的容器，以提供Python标准内建容器 dict、list、set、tuple 的替代选择。Counter：字典的子类，提供了可哈希对象的计数功能defaultdict：字典的子类，提供了一个工厂函数，为字典查询提供了默认值OrderedDict：字典的子类，保留了他们被添加的顺序namedtuple：创建命名元组子类的工厂函数deque：类似列表容器，实现了在两端快速添加(append)和弹出(pop)ChainMap：类似字典的容器类，将多个映
2021-06-28 11:50:09
178
原创 C——PAT (Basic Level) Practice （中文）——1003 我要通过！【+测试点】
1003 我要通过！ (20分)“答案错误”是自动判题系统给出的最令人欢喜的回复。本题属于 PAT 的“答案正确”大派送 —— 只要读入的字符串满足下列条件，系统就输出“答案正确”，否则输出“答案错误”。得到“答案正确”的条件是：字符串中必须仅有 P、 A、 T 这三种字符，不可以包含其它字符；任意形如 xPATx 的字符串都可以获得**“答案正确”，其中 x 或者是*空字符串***，或者是仅由字母 A 组成的字符串；如果 aPbTc 是正确的，那么 aPbATca 也是正确的，其中 a、 b、
2021-01-22 20:47:45
537
原创 智能算法之粒子群算法及改进
智能算法之粒子群算法及改进提前说说一、引言二、算法策略三、算法特点四、基础粒子群算法五、改进方向六、实例结语参考文献附录提前说说本文是基于包子阳、余继周，杨彬三位老师编著的《智能优化算法及其MATALB实例（第二版）》一书做成。一、引言粒子群算法(Particle Swarm Optimization,简称PSO )是1995年Eberhart博士和Kennedy博士一起提出的[1]。粒子群算法是通过模拟鸟群捕食行为设计的一种群智能算法。它模拟鸟类的觅食行为，将求解问题的搜索空间比作鸟类的飞行空间，
2020-06-25 23:39:01
14624
29
原创 搜索求解（一）——启发式算法
搜索求解（一）基于本问题解释几个定义：算法一：贪婪优先算法（ Greedy best-first search ）算法二：A* 算法基于 慕课->浙江大学 -> 人工智能：模型与算法 -> 第二章 搜索求解**搜索指的是：**从海量信息源中，利用约束条件及额外信息来求出问题所对应的答案一、启发式算法（个人感觉，学过数据结构来看这个会更简单）以搜寻最短路径问题为例问题...
2020-03-11 13:15:29
1287
原创 PTA-数据结构 编程题03-树2 List Leaves (25 分)
Given a tree, you are supposed to list all the leaves in the order of top down, and left to right.Input Specification:Each input file contains one test case. For each case, the first line gives a po...
2019-11-08 23:47:09
328
原创 PTA-数据结构 编程题03-树1 树的同构 (25 分)
PTA-数据结构 编程题03-树1 树的同构 (25 分)给定两棵树T1和T2。如果T1可以通过若干次左右孩子互换就变成T2，则我们称两棵树是“同构”的。例如图1给出的两棵树就是同构的，因为我们把其中一棵树的结点A、B、G的左右孩子互换后，就得到另外一棵树。而图2就不是同构的。图1：图2现给定两棵树，请你判断它们是否是同构的。输入格式:输入给出2棵二叉树树的信息。对于每棵树...
2019-11-08 23:42:54
477
原创 PTA-数据结构 编程题02-线性结构4 Pop Sequence (25 分)
PTA-数据结构 编程题02-线性结构4 Pop Sequence (25 分)Given a stack which can keep M numbers at most. Push N numbers in the order of 1, 2, 3, …, N and pop randomly. You are supposed to tell if a given sequence of ...
2019-11-08 23:37:31
314
1
原创 PTA-数据结构 编程题02-线性结构3 Reversing Linked List (25 分)
PTA-数据结构 编程题02-线性结构3 Reversing Linked List (25 分)Given a constant K and a singly linked list L, you are supposed to reverse the links of every K elements on L. For example, given L being 1→2→3→4→5→6,...
2019-11-08 23:34:50
475
原创 PTA——中国大学MOOC-陈越、何钦铭-数据结构-2019秋期中考试（答案）
PTA——中国大学MOOC-陈越、何钦铭-数据结构-2019秋期中考试——答案选择题 1--10填空题 1--12程序填空题 1--2选择题 1–101-1 算法分析的两个主要方面是时间复杂度和空间复杂度的分析。 (2分) T F答案：T作者: DS课程组 单位: 浙江大学1-2 所谓“循环队列”是指用单向循环链表或者循环数组表示的队列。 (2分) T F...
2019-11-08 23:27:11
14472
1
原创 PTA——中国大学MOOC-陈越、何钦铭-数据结构-2019秋期中考试（试题）
PTA——中国大学MOOC-陈越、何钦铭-数据结构-2019秋期中考试——试题选择题 1--10填空题 1--12程序填空题 1--2答案选择题 1–101-1 算法分析的两个主要方面是时间复杂度和空间复杂度的分析。 (2分) T F作者: DS课程组 单位: 浙江大学1-2 所谓“循环队列”是指用单向循环链表或者循环数组表示的队列。 (2分) T F...
2019-11-08 23:12:36
4758
原创 PTA-数据结构 编程题01-复杂度2 Maximum Subsequence Sum
PTA-数据结构 编程题01-复杂度2 Maximum Subsequence SumNow you are supposed to find the largest sum, together with the first and the last numbers of the maximum subsequence.Input Specification:Each input file...
2019-11-03 23:34:32
219
原创 PTA-数据结构 函数题04-树7 二叉搜索树的操作集
本题要求实现给定二叉搜索树的5种常用操作。函数接口定义：BinTree Insert( BinTree BST, ElementType X );BinTree Delete( BinTree BST, ElementType X );Position Find( BinTree BST, ElementType X );Position FindMin( BinTree BST );...
2019-11-03 23:29:35
429
原创 PTA-数据结构 编程题02- 一元多项式的乘法与加法运算
PTA-数据结构 编程题02- 一元多项式的乘法与加法运算设计函数分别求两个一元多项式的乘积与和。输入格式:输入分2行，每行分别先给出多项式非零项的个数，再以指数递降方式输入一个多项式非零项系数和指数（绝对值均为不超过1000的整数）。数字间以空格分隔。输出格式:输出分2行，分别以指数递降方式输出乘积多项式以及和多项式非零项的系数和指数。数字间以空格分隔，但结尾不能有多余空格。零多项式应...
2019-10-16 18:42:04
392
原创 PTA-数据结构 编程题01-最大子列和问题
PTA-数据结构 编程题01-最大子列和问题本题旨在测试各种不同的算法在各种数据情况下的表现。各组测试数据特点如下：数据1：与样例等价，测试基本正确性；数据2：102个随机整数；数据3：103个随机整数；数据4：104个随机整数；数据5：105个随机整数；输入格式:输入第1行给出正整数K (≤100000)；第2行给出K个整数，其间以空格分隔。输出格式:在一行中输出...
2019-10-13 23:23:32
249
原创 PTA-数据结构 函数题02- 两个有序链表序列的合并
PTA-数据结构 02- 两个有序链表序列的合并本题要求实现一个函数，将两个链表表示的递增整数序列合并为一个非递减的整数序列。函数接口定义：List Merge( List L1, List L2 );其中List结构定义如下：typedef struct Node *PtrToNode;struct Node { ElementType Data; /* 存储结点数据 */...
2019-10-13 23:13:19
1437
原创 PTA-数据结构-2019秋 函数题01 二分查找
PTA-数据结构-2019秋 函数题01 二分查找函数接口定义：Position BinarySearch( List L, ElementType X );其中List结构定义如下：typedef int Position;typedef struct LNode *List;struct LNode { ElementType Data[MAXSIZE]; Pos...
2019-10-13 23:10:12
433
原创 数据结构学习录（二）——用栈做出一个简单计算器2 C程序
数据结构学习录（二）——用栈做出一个简单计算器2 C程序之前一个整数的，现在把 浮点数 的计算放上。同样是建立两个栈，一个存放数字 类型是浮点的，一个存放符号 类型是整数，字符型的也可以。下面的这个程序存放符号的是 整数型 的：#include<stdio.h>#include<stdlib.h>#define MAXSIZE 1000typedef fl...
2019-10-13 22:58:42
284
原创 数据结构学习录（二）——用栈做出一个简单计算器1 C程序
数据结构学习录（二）——用栈做出一个简单计算器 C程序本程序只适用于整数，稍后会继续增加浮点数建立两个栈，一个存放数字，一个存放符号借鉴大佬的，然后自己稍稍做了一些修改。#include <stdio.h>#include <stdlib.h> typedef struct node{ int date; struct node *next;}Node...
2019-10-13 22:44:57
265
原创 数据结构学习录（一）——用链表将学生的成绩进行排队2 C程序
数据结构学习录（一）——用链表将学生的成绩进行排队2 C程序输入：N个学生的两个成绩输出：按两个成绩的平均成绩排序后输出/*学生成绩从小到大排序 链表*/ #include<stdio.h>#include<stdlib.h>#define LEN sizeof(struct stu)typedef struct{ int num; char na...
2019-10-12 22:51:13
2586
粒子群算法_我才是睿睿同学.zip
2020-06-29
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人