jacobke-CSDN博客

原创 pat 1068

不知道为什么不能全通过。网上说的注意点似乎都注意到了，绝对值函数（话说加了绝对值和不加，通过的测试点结果一样）abs也加了，测试点3总是答案错误，其他都ok。暂时想不通了，心塞。学习完map函数再回来看看好了 #include #include int if_in_ary(long n,long ary[],int len); int main(){ //count var int

2018-01-20 22:52:40 308 2

原创 pat_1001

/* 不知道为啥拿c写的一直有三个点不通过（超时）；而用别人的c++的就全通过了，但是看起来程序是一样的呀。 */ #include int main() { int n; scanf("%d\n",&n); int cnt =0; //if(n while(n != 1){ if(n%2 == 0){ n = n/2; cnt++; }els

2018-01-05 12:38:18 108

原创 sublime+MinGW编译之C

试了这么多，这个终于跑通了，艰辛呀。要把这个在sublime里的c编译的配置记下来。 { "cmd": ["gcc","-Wall", "${file}", "-o", "${file_path}/${file_base_name}"], "file_regex": "^(..[^:]*):([0-9]+):?([0-9]+)?:? (.*)$", "working_dir": "$

2018-01-02 22:23:37 240

勘误_统计机器学习

今年刚接触机器学习时拜读过李航老师的统计学习方法，很有收获。最近看到李航老师更新了新的勘误表，转载作为收藏原文链接 http://blog.sina.com.cn/s/blog_7ad48fee01017dpi.html#cmt_3285959

2017-11-09

生物信息与深度学习

不仅仅是人工智能与互联网的结合,而是人工智能、生物工程和互联网的结合。跟互联网结合以后,这些科技创新在工业制造、在军事、在宇宙探测上有作用。

2017-11-08

实证软件工程

《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过

2017-11-08

Systems and Software Verification

模型检测(model checking)是一种很重要的自动验证技术。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分别提出，主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。由于模型检测可以自动执行，并能在系统不满足性质时提供反例路径，因此在工业界比演绎证明更受推崇。尽管限制在有穷系统上是一个缺点，但模型检测可以应用于许多非常重要的系统，如硬件控制器和通信协议等有穷状态系统。

2017-10-11

机器学习实战书本

机器学习(Machine Learning, ML)是一门多领域交叉学科，涉及概率论、统计学、逼近论、凸分析、算法复杂度理论等多门学科。专门研究计算机怎样模拟或实现人类的学习行为。

2017-10-07

李航统计学习方法的勘误表

统计学习与机器学习有什么不同呢？其实统计学习也叫统计机器学习，从名字就可以看出，统计学习是从统计学科的角度、利用机器（编程算法）来对数据进行预测分析，机器学习差不多等于统计学习，机器学习可不可以不依赖统计方法？目前没找到资料证实。我个人的理解是，统计学习这种叫法更适用于学科理论，机器学习则偏于工程实践。

2017-09-28

空空如也

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

TA关注的人

jacobke的博客