- 博客(12)
- 收藏
- 关注
RSS订阅原创 蚁群算法求解TSP
蚁群算法蚁群算法是一种经典的传统人工智能算法，早在上个世纪90年代就提出了。网络中已经有很多教材与教程，这里不再复述。推荐《人工智能导论》（第四版），王万良编著，其6.7章节将蚁群算法讲的非常简单清楚。网上也有很多matlab版本，java版本的蚁群算法模板。笔者周日为了练习编码能力，完成了python版本的蚁群算法。文末附上github开源代码网址，项目中有测试样例与实验数据。参数 ...
2019-04-15 17:12:04
869
原创 用Maude对人鬼过河游戏建模
人鬼过河游戏有三个人，三只鬼，在河流的同一 侧。河中有一只两个座位的小船，小船 需要人或者鬼的操作才能从河的一侧 运动到河的另一侧。当河的一岸鬼的 数目大于人的数目，鬼会吃同岸的人。 系统不允许这种状态发生。系统如何 操作才能将人鬼全部安全的移动到河 的另一侧。网页版游戏人鬼过河在 Maude 中建模POSITION模块位置模块，该模块完成对位置的 建模，河只有“Left”、“Righ...
2019-01-18 16:22:18
1281
1
原创 用Maude对MIU系统建模
MIU 系统简介MIU 系统是一个无限的字符串转 移系统(Transaction System)。MIU 系 统仅包括三种字母，即 Alphabet = {M,I,U};以及四种转移规则，T1、T2、 T3、T4。一条由“MIU”组成的字符串 即为系统的一种状态。MIU 系统需要 指定初始状态 S0 与目标的终点状态 Sfinal。四条转移规则具体如下:T1“appendU”规则，若当前的 ...
2019-01-18 16:12:32
810
3
原创 mac mysql 安装及 my.cnf文件设置 解决 MySQL server PID file could not be found!
mac mysql 安装及 my.cnf文件设置 中有一个 设置 “secure_file_priv”的值。设定这个目录之后可以用类似SELECT * FROM movie_to_genre into outfile '/var/lib/mysql-files/hudong_movie_to_genre.csv' fields terminated by ',' optionally encl...
2018-12-04 11:13:04
2154
原创 Learn Maude by Example
Talk is cheap, show me the code.——Linus Torvalds我将贴出一些来自《形式化验证》课程中的一些作业，并且在代码之后会附着一些关键的讲解。在我看来，看manual来学语言和思想，太慢了，看code学习才是最具效率的。Natural Numberfmod PNAT is sort Nat . op 0 : ->...
2018-10-15 12:13:59
783
原创 Hands on and Overview of Maude
获取MaudeMaude运行Maude将下载Maude中的bin目录添加到系统目录中，输入maude即可运行。退出： q or quitmodule：大写文件：以.maude结尾pnat.maudefmod PNAT is sorts Nat . op 0 : -> Nat . op s_ : Nat -> Nat . ...
2018-09-30 22:49:41
361
翻译 Model Checking for DTMCs（一）
3 Discrete-time Markov chains离散马尔可夫链3.1Definition of a DTMC3.2 Transient Evolution 3.2.1过渡演化定义Ps是过了n步之后，状态是s的可能性。p(n)是n步之后所有状态可能性组成的向量，绝对值之和为1。例如：p0 (4)是在4不之后状态是0的可能性。举个例子：求p（1...
2018-09-06 10:36:44
225
翻译 Model Checking for CTL（二）
2.4 Model checking algorithms for CTL2.4.1 Existential Normal Form所有CLT公式都可以用“存在”形式来表达。∀XΦ = ¬∃X¬Φ∀(Φ U Ψ) = ¬∃(¬Ψ U (¬Φ ∧ ¬Ψ)) ∧ ¬∃
2018-09-05 10:54:47
640
翻译 Model Checking for CTL（一）
1.1Reliability Computations1.1.1Reliability of serial systems有n个串行组件，R1...Rn表示其可靠性，则系统可靠性Rs=R1*R2*...Rn。1.1.2Reliability of parallel systems有n个并行组件，R1...Rn表示其可靠性，则系统可靠性如下：因为其假设为n个组件中，有一个能工...
2018-09-05 10:45:20
1692
原创 Classification
MNIST这是一个包含了70000个手写阿拉伯数字的图片样例，GetTheDataML教材上的代码样例会报错，可能是某个模块版本升级后的问题，查询github得到以下替代代码。from shutil import copyfileobjfrom six.moves import urllibfrom sklearn.datasets.base import get_data_...
2018-08-20 11:36:13
3353
原创 First ML Project Procedure
大框架对课题有个整体的了解，明确背景，情况，矛盾，目标。明确问题了解解决这个问题的作用，也许是为了其他工作做准备，故抓重点，明流程。评判标准Root Mean Square Error (RMSE)：均方根误差Mean Absolute Error（MAE）：绝对平均误差检查假设记录所有的假设，标准，定义等。例如0-100 -> cheap， 100-2000...
2018-08-20 09:08:53
351
原创 The Fundamentals of Machine Learning
What is Machine Learning？Machine Learning is the science（and art） of programming computers so they can learn from data. ML is the field of study that gives computers the ability to learn without be...
2018-08-20 09:08:33
373
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人