weisuowuyu-优快云博客

原创 cocos creator 学习笔记（六）—— 动作篇

动作系统和动画系统适用于两个不同的场景。动作系统通常只能实现简单的形变和位移动作（基本上就是我这个水平）。动画系统目前就我个人来说做不了——不过肯定强大太多了。不过，动画好像是以类似资源的方式加载在游戏场景中的。动作系统API 动作系统是建立在节点树以及其组件上的var action = cc.moveTo(2, 100, 100);//创建一个移动moveTo实体node....

2018-09-16 21:38:42 1776

翻译 A Unifying View on SMT-Based Software Verification（论文简翻）

Abstract 大意：论文目标是提供对四种（基于SMT的验证方法的）简洁而易理解的表示，来帮助进行理论和实践上的学习。包括1、有限模型检测；2、k归纳；3、谓词抽象；4、基于插值的懒惰抽象。他们在CPAchecker中重新统一表示了这四种方法。在此基础上，我们就可以从配置参数的角度对不同的方法进行彻底比较。最后总结了效能上的区别并进行了讨论。Introduction大意：操作系统代码验证有关...

2018-08-24 22:10:39 496

原创 cocos creator 学习笔记（五）——事件篇

事件可以说是简单游戏中最为重要的东西。我得好好学学这个东西，希望一切顺利。1、事件的监听与关闭事件必须和节点（cc.Node）相关联。监听事件可以通过对节点开启监听函数来注册。onLoad : function(){ //事件放在onLoad函数中，在初始化时执行一次。 this.node.on('mousedown',functio...

2018-06-04 23:15:51 4164

翻译 CPAchecker GIThub 简单翻译（一）

一、开始CPAchecker 安装说明书：INSTALL.md。发展与贡献Developing.md。doc文件夹里面有更多的说明文档。二、先看看安装说明书INSTALL.md①安装CPAchecker——Binary()安装Java运行环境，至少需要兼容Java8。（例如Oracle JRE , OpenJDK）。如果你安装了多种JVMs，请设置好默认的JVM，否则在运行CPAchecke...

2018-05-24 22:19:12 1505

原创 cocos creator 学习笔记（四）——节点与资源篇

回顾一下，我们在前面学习了脚本文件中不同的回调函数对应的功能。如何访问自身和其它节点与组件，以及常用的节点组件的接口功能。接下来开始第四篇的学习。1、创建新节点start : function ( ) { var node = new cc.Node('Sprite'); //new cc.Node() 方法创建了定义为node的新节点 var sp = node.addCo...

2018-05-14 22:55:10 3810

原创 Z3 SMTsolver 学习笔记（二）——examples运行篇（未完成）

经历千辛万苦，翻过种种错误。我总算是成功的完成了Z3的安装和配置工作。下一步是逐渐掌握使用方法。1、网上找到的一个小说明书：https://rise4fun.com/z3/tutorial Z3完整的API文档在这：http://z3prover.github.io/api/html/index.html 这里更新一篇C++的较完整教程：http://www.cs.utah.edu/~vinu/...

2018-05-14 21:36:23 5202 2

原创 cocos creator 学习笔记（三）——节点属性操作篇

我们在上面学了如何访问内部节点属性和外部节点属性——我们将在这里学习可以对这些节点和属性做哪些常用操作1、激活，关闭节点——activethis.node.active = true; //false。激活——在父节点同样激活的情况下，所有激活的组件开始执行update方法和onEnable方法。关闭——隐藏该节点和所有子节点，组件停止执行，除了onDisable...

2018-05-12 21:24:21 12397

原创 cocos creator 学习笔记（二）——对象访问篇

接着上篇继续学习1、获得其它节点及其组件。①种办法——在properties中声明一个 type：cc.Node , 且 default : null ,的属性，这样就可以从图形界面上拖节点（Player）上去。之后var playerComp = this.player.getComponent(Player);用访问自己节点组件的办法，来访问其它节点组件。②种方法——上面的...

2018-05-12 17:59:04 2539

原创 Z3 SMTsolver 学习笔记（一） ——安装，环境配置篇

https://github.com/Z3Prover/z3源文件从这里可以下载。然后看看readMe文件。Windows7下使用Visual Studio 命令符建立Z3（请注意前8步————全部是错误的）发现需要用到Python指令，那就先去安Python本来想安装最新的3.6.5————结果电脑win7有点傻屌，安装出现问题。1、先是需要Pack 1——网上有教程，开了自动更新——更新浪费了...

2018-05-10 22:39:13 11014 3

原创 cocos creator 学习笔记（一）——开始，属性篇

快速的浏览了说明文档的Javascript最最基础用法。边学边看，上手实践。1、cc.Class类型声明用cc.Class创建新的类 var 一个Sprite，直接调用cc.Class({参数}) new关键字实例化新对象 instanceof判断类型 ctor声明构造函数(类似C++的构造函数？) 在新建的Sprite类里面加函数方法 print：func...

2018-05-10 21:35:07 4994

weixin_41529962的博客