weixin_42442802的博客

参考文献：（基于案例的推理和系统设计：一种基于本体和偏好建模的集成方法）[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.

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

今天在测试数据的时候偶然发现一个问题，如下：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 ‘’ ‘’ ‘’然后越界，所以，只能删除前三个空元素。这个问题算是大家非常容易忽略的细

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

以下三步都要在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...

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

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

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

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