原文:Swift游戏实战-跑酷熊猫 01 创建工程导入素材 在这节里，我们将建立一个游戏工程，并导入一些必要的素材，例如序列帧动画文件，声音素材文件。动画文件我们使用atlas形式。在打包发布或者模拟器测试的时候，它会将整个.atlas文件夹下的图片打包成一张png图片。 要点： texture a...
分类：
编程语言 时间：
2015-02-05 14:55:47
阅读次数：
150
Android学习路线参考：
第三阶段：Android核心基础
什么是3G/4G、3G/4G网络的特点，掌握Android编程的基本概念与要点，Android SDK及其开发环境搭建、Android项目结构分析、Android应用设计模式、文件系统、文件形式的数据存储与访问、SDCard卡读写、使用SAX/DOM/PULL解析XML、SharedPreferences、Intent、Inten...
分类：
移动开发 时间：
2015-02-05 13:42:49
阅读次数：
246
序在构建自动化套件的过程中，日期操作是一件很重要也很频繁的事情。有的日期控件的div层级结构复杂，同一个类型的日期控件在多个子系统中的表现形式也大相径庭。多数工程师为了避免重复的工作，会封装抽象一个方法或公共的库，还有部分会封装成单独的日期类库。控件下面是去啊的日期控件下面是相关的HTML当然，有的...
分类：
Web程序 时间：
2015-02-05 13:27:41
阅读次数：
228
练习1.1这道题主要是关于简单的数字运算，我们看完之后可以在MIT-Scheme中进行验算。如果环境不熟悉，可以参见【Scheme归纳】的第一篇博文。如果发现在MIT-Scheme等环境上的运算结果和自己算的不一样，也应该再仔细看看在书写代码的时候有没有手误。练习1.2这是一道将表达式转换成前缀形式...
分类：
其他好文 时间：
2015-02-05 13:26:36
阅读次数：
122
第五章软件工程中的形式化方法形式化方法基本概念形式规约当规格说明用非形式化方法描述时，可称之为“规格说明”，当规格说明用形式化方法描述时，可称之为“形式规约”。形式证明与验证形式证明与验证技术主要包括模型检测和定理证明。模型检测是一种基于有限状态模型并检验该模型的性质的技术。定理证明采用逻辑公式来表...
分类：
其他好文 时间：
2015-02-05 13:25:31
阅读次数：
114
练习1.6这道题通过由一个新版本的if来引出，主要讨论的还是应用序和正则序的问题。我看到“将if提供为一种特殊形式”时还满头雾水，并不太清楚什么特殊形式。当再返回看if的语法时才发现，这在第12页if的一般表达式下面一段。如果得到真值，解释器就去求值并返回其值。注意，在此处已经返回其值了，并没有进行...
分类：
其他好文 时间：
2015-02-05 13:22:04
阅读次数：
116
今天一个网介绍三种多文件上传的方法，前两种都是直接遍历三维超全局数组$_FILES，最后一种是先定义一个单文件上传函数，再循环调用该函数，完成多文件的上传。方法一：当多文件上传表单中多个上传文件的name属性为“pic[]”形式时,也即表单为这种形式。HTML代码： PHP代码：0){ ...
分类：
Web程序 时间：
2015-02-05 13:21:17
阅读次数：
210
API测试的最佳实践 - 介绍在上一篇“是什么让API测试很叼”一文中，我们讨论API与其他形式的软件测试的差异。部分是因为API之间的通信压根就没考虑让你能读懂，纯粹是为了方便计算机之间的交互而设计的。另一部分是由于业务层面上有很多因素影响了API的性能和功能。当然，值得庆幸的是，你可以参考一些已...
对象由花括号分隔。在括号内部，对象的属性以名称和值对的形式 (name : value) 来定义。属性由逗号分隔：var person={firstname:"Bill", lastname:"Gates", id:5566};上面例子中的对象 (person) 有三个属性：firstname、la...
分类：
编程语言 时间：
2015-02-05 13:01:20
阅读次数：
141
赋值因为Scheme是函数式语言，通常来说，你可以编写不使用赋值的语句。然后如果使用赋值的话，有些算法就可以轻易实现了。尤其是内部状态和继续（continuations）需要赋值。R5RS中规定的用于赋值的特殊形式是set!,set-car!,set-cdr!,string-set!,vector-...
分类：
其他好文 时间：
2015-02-05 12:53:35
阅读次数：
263
