BUAA OO Unit3 Summary——万物即可形式化 一. JML 语言的 理论基础 JML是对Java程序进行规格化设计的一种表示语言。通过规格化描述，精确地描述了代码的功能，并且为测试设计提供了严密的依据。尤其在多人协同开发的时候，相比可能带有内在模糊性的自然语言描述，JML能过更清晰地 ...
分类：
其他好文 时间：
2020-05-22 12:43:52
阅读次数：
55
0. 前言 上一篇《C 数据操作系列 11 NHibernate 配置和结构介绍》 介绍了Nhibernate里的配置内容。这一篇将带领大家了解一下如何使用NHIbernate。之前提到NHibernate继承了Hibernate的一些传统：使用XML文件进行配置，这一点也是备受争议。不过，有社区爱 ...
1、列表是什么？ 列表是由一系列按特定顺序排列的元素组成，元素间没有任何关系，一般给列表指定一个复数名称。 在python中用( [ ] )表示列表，并用逗号来分隔其中的元素 例如： person = ['马云', '马化腾', '马克思'] 1.1、访问列表元素 wanted_place = [' ...
分类：
其他好文 时间：
2020-05-21 21:08:07
阅读次数：
62
方法入门概述前讲解的循环操作，可以解决的是代码重复的问题，但是此时的重复的代码必须是有规律的。那循环操作，能解决所有的代码重复吗?答案肯定是不行的，比如针对于某一种功能的重复操作，循环就无法实现,我们可以使用方法.编写一个飞机大战游戏，程序在运行过程中，需要不断地发射子弹。假设发射子弹功能需要编写200行代码，那么，每次发射子弹都需要重复地编写这200行代码，这样的程序太low了。在开发中我们要遵
分类：
其他好文 时间：
2020-05-21 19:04:44
阅读次数：
52
var Person=function(){}; 定义一个function实际上是定义了一个类(class)。 静态方法 Person.say=function(){ console.log('I am a Person,I can say.') }; Person.say(); //正常运行 va ...
分类：
编程语言 时间：
2020-05-21 16:31:38
阅读次数：
63
COCAS: A Large-Scale Clothes Changing Person Dataset for Re-identification 2020-05-19 19:29:36 Paper: https://arxiv.org/pdf/2005.07862.pdf Code: 1. Ba ...
分类：
其他好文 时间：
2020-05-19 18:32:28
阅读次数：
130
修改属性的数据类型： match (a:Person) where a.age = toString(a.age) set a.age = toInt(a.age) return count(a) ...
分类：
数据库 时间：
2020-05-19 16:44:21
阅读次数：
67
1 class Person(object): 2 def __init__(self,name,gender): 3 self.name = name 4 self.gender = gender 5 6 def __str__(self): 7 return '(Person: %s, %s)' ...
分类：
编程语言 时间：
2020-05-19 11:03:41
阅读次数：
199
这是一篇乱七八糟的随笔。class是ES6新增的特性，用于解决JavaScript没有类的困惑。 --杂谈 ES5及之前，类都是用函数来替代，包括实例。 如： 1 function Person(name) { 2 // this指向实例 3 this.name = name 4 this,,log ...
分类：
其他好文 时间：
2020-05-18 22:45:05
阅读次数：
61
一、举例讲解 class Person: country = 'China' #创造了一个只要是这个类就一定有的属性 #类属性 静态属性 def __init__(person,*args):#初始化方法，self是对象，是一个必须传的参数 #self就是一个可以储存很多属性的大字典 person. ...
分类：
编程语言 时间：
2020-05-18 22:39:17
阅读次数：
66
