自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(9)
  • 收藏
  • 关注

原创 论文阅读笔记(二)

参考文献:(基于案例的推理和系统设计:一种基于本体和偏好建模的集成方法)[1]Bejarano, Cr J , Coudert, et al. Case-based reasoning and system design: An integrated approach based on ontology and preference modeling[J]. ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURI.

2021-04-25 22:23:12 140

原创 AC自动机算法简述以及基于神经网络的知识推理总结

1、文本分词有中文分词和英文分词,对于后者,目前多采用nltk进行分词处理;而在这篇文章中,将主要介绍中文分词,其主要有两种思路:查词典和字标注;查词典的方法有:机械的最大匹配法、最少词数法,以及基于有向无环图的最大概率组合(eg: jieba分词),还有基于语言模型的最大概率组合,等等。字标注法就是通过几个标记把句子的正确分词法表示出来。我计划使用前者,而一个好的查词典方法,需要具备两个条件:① 做好特殊排序的词典;② 有效的查找条件。对于①来说,可以构建前缀树(tire);对于②,目前也有对应的经典算法

2021-04-11 20:48:50 678

转载 Python学习(二)——在python列表中删除所有空元素

今天在测试数据的时候偶然发现一个问题,如下:test = ['a','','b','','c','','']for i in test: if i == '': test.remove(i)print(test)Out[3]: ['a', 'b', 'c', '']for循环居然不能删除列表中所有空值!for的计数器是依次递增的,但列表的内容已通过remove更改,i迭代的值为a ‘’ ‘’ ‘’然后越界,所以,只能删除前三个空元素。这个问题算是大家非常容易忽略的细

2020-11-17 16:05:07 810

原创 Python学习(一)——如何把字符串类型str转换成list

本文介绍如何在python中将一个看上去是list(例如’[‘a’,‘b’,‘c’]’,或者说是你爬取下来的文本显示是个[‘a’,‘b’,‘c’],但是,当你print(type())时,却输出了<class 'str'>),这样的话,我们可以用下面两种方法将它转成一个真正的list类型:由于我们初始的内容是一个str类型,因此在这里,我就以’[‘a’,‘b’,‘c’]'来描述了:方式一:import jsonimport jsonstr = '['a','b','c']'list =

2020-11-17 15:50:31 12157 2

原创 pip卸载旧版本后安装新版本(我是Python3)

以下三步都要在Python3/Scripts目录下进行:pip卸载旧版本:python -m pip uninstall pippip安装新版本:curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py下载好后,再:python get-pip.py安装好后可以查看pip版本:pip show pip...

2020-10-09 16:23:46 2164

原创 用于实时系统建模的工具UPPAAL(一)

UUPPAAL是一个用于实时系统建模,仿真和验证的集成工具环境,

2020-05-26 17:29:34 4454

原创 C++多态学习记录

纯虚函数和抽象类class Base{public: //纯虚函数 //只要有一个纯虚函数,这个类就称为抽象类 //抽象类的特点: //1、无法实例化对象(即在测试函数test01()中事无法创建对象的,无论是用 Base b;(栈) 或是用 new Base;(堆)都会报错) //2、抽象类的子类 必须要重写父类中的纯虚函数,否则也属于抽象类(在Son类中解释) virt...

2020-02-16 12:58:26 179

原创 z3学习篇(二)——— example.cpp的运行及环境配置

1、启动VS2017,创建新项目:2、找到你z3-master下的example.cpp所在位置,把它复制粘贴到创建好的项目源文件下:3、此时会有提示,说存在很多错误,其实是因为还没有为其配环境,那么接下来我们就来配置环境啦:4、点击"配置管理器"(我自己做的时候是让它们都处于64位环境):5、VC++目录---->包含目录(把z3-master/src/api 和 z3-...

2020-01-28 17:27:34 1072 2

原创 z3学习篇(一)——— 如何在win10上安装配置z3求解器

z3学习篇(一)——— 如何在win10上安装配置z3求解器在写这篇文章之前,我已经看过很多优秀博主发的关于z3的文章了,那么今天我就在自己电脑上安装一次,配合着各个过程的截图以及命令来讲一下如何在(win10)上装这款方便的求解器—z3。下面来详细介绍一下怎么安装和配置(我这里用的是VS2017专业版):1、在 https://github.com/Z3Prover/z3上下载z3-mast...

2020-01-28 15:36:29 2129 12

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除