1. 过程语句

1.1. 硬件过程块

在SV中首先需要清楚哪些语句应该被放置于硬件世界，哪些程序应该被放置于软件世界；
为了区分硬件世界和软件世界，先引申出一个概念域（scope）。为了区分硬件设计、软件设计，我们将定义的软件变量或者例化的硬件其所在的空间称之为域；
module / endmodule，interface / endinterface可以被视为硬件世界，program / endprogram和class / endclass可以被视为软件世界。

always是为了描述硬件的行为，而在使用时需要注意哪些使用方式是时序电路描述，哪种使用方式事组合电路描述；
always中的 @(event …) 敏感列表是为了模拟硬件信号的触发行为，同学们需要正确对标硬件行为和always过程块描述。需要理解硬件行为的核心要素有哪些？
所以说，always过程块是用来描述硬件时序电路和组合电路的正确打开方式，因此只可以在module或者interface中使用；

always具备描述硬件电路行为的核心要素，你认为下列哪些事正确使用always的方式？

• 由时钟驱动
• 由其他非时钟信号驱动
• 不同always语句块之间是并行执行的
• 可以在always中初始化变量

always中，可以对对应的信号做复位，初始化变量是一个软件的概念，通常在定义变量的时候或者在initial中进行初始化。

initial从名字也看得出来，与always在执行路径上有明显区别，即initial非常符合软件的执行方式，即只执行一次；
initial和always一样，无法被延迟执行，即在仿真一开始它们都会同时执行，而不同initial和always之间的执行顺序上是没有顺序可言的，因此不应该将它们在代码中的前后顺序与它们的执行顺序画上等号；
initial从其执行路径的属性来看，它不应该存在于硬件设计代码中，它本身不可综合，对于描述电路没有任何帮助；
initial就是为了测试而生的，由于测试需要按照时间顺序的习惯，即软件方式来完成，所以initial便可以实现这一要求；

在Verilog时代，所有的测试语句都可以被放置在initial中，为了便于统一管理测试顺序，建议将有关测试语句都放置在同一个initial过程块中；
initial过程块可以在module、interface和program中使用；
对于过程块的书写方式，请记住用begin…end将其作用域“包”住，这一建议同样适用于稍后提到的控制语句、循环语句等；

1.2. 赋值语句

SV比verilog多了自加和自减操作符，允许变量自身可以将当前值做递增或递减。

assign优先级高于普通过程赋值语句，所以处于连续赋值状态的寄存器变量将忽略普通过程赋值语句对它的过程赋值操作，其逻辑状态仍然由过程连续赋值语句表达式做决定。使用assign对寄存器型变量赋值之后，这个值将一直保持在这个寄存器上，直至遇上deassign。

// assign_example

module test_assign ( );
	wire	[ 9: 0]	net_data [10: 0];
	
	initial	begin
		logic	[ 9: 0]	data	[10: 0]	;
		logic	[ 9: 0]	var_data		;
		
		data[0]	<=	'x;		// 非阻塞赋值
		data[1]	=	'z;		// 阻塞赋值
		
		#5 data[2]	=	7;
		#5 data[2]++;			// 变量自加
		#5 data[2]--;			// 变量自减
		
		#5 assign var_data	=	data[2];	// 连续赋值语句将7赋值给var_data
		#5 var_data	=	4;				// 不会改变var_data地数值
		#5 deassign	var_data;			// 去除连续连续赋值地作用
		#5 var_data	=	5;				// var_data的值改变了
		
		#5 force 	var_data	=	data[1];
		#5	var_data	=	8;
		#5 release	var_data;
		#5 var_data	=	9;	
		
		#5 force 	net_data[1]	=	10'h00;
		#5 release	net_data[1];
	end

endmodule 

1.3. 控制语句

1.3.1. for循环

SV允许在循环内产生一个本地变量，其他并行循环不会偶然地影响这个循环控制变量

	for (int i = 0, j = 0; i < 256; i++, j++)
		...

1.3.2. while循循环

举例，计算向量中1的个数

	// while_example
	
	module test_while ( );
			logic	[ 3: 0]	count;
			logic	[ 7: 0]	temp;
			
		initial	begin
			count	= 0;
			temp	= 8'b0011_1100;
			#10
			while (temp)	begin
				if (temp[0] == 1'b1)
					count ++;
				// temp = temp >> 1;
				temp = {1'b0, temp[7:1]};
			end
			$display ("%d",count);
		end
	
	endmodule

1.3.3. do-while循环

逐位打印字符串

	// dowhile_example
	
	module test_dowhile ( );
	//	int	map	[string];	// 关联数组，索引为string型
		bit	[ 7: 0]	map [string];
	//	map["hello"] = 1;
	//	map["sad"]   = 2;
	//	map["world"] = 3;
	//	// 对关联数组的初始化放在initial外部会有报错
	//	// near "[": syntax error, unexpected '[', expecting IDENTIFIER or TYPE_IDENTIFIER
		
		string s;
		
		initial	begin
			map["hello"] = 1;
			map["sad"]   = 2;
			map["world"] = 3;
			s = "hello!";
			if (map.first(s))
				do
					$display ("%8s: %2d", s, map[s]);
				while (map.next(s));
		end
	
	endmodule

1.3.4. repeat循环

通过加法和移位实现乘法器

	// repeat_example
	
	module test_repeat ( );
		parameter	size		=	8;
		parameter	longsize	=	16;
		
		logic	[size: 1]	opa = 3, opb = 6;
		logic	[longsize: 1]	result	;
		
		initial	begin
			logic	[longsize: 1]	shift_opa, shift_opb;
			shift_opa = opa;
			shift_opb = opb;
			result = 0;
			repeat (size)	begin
				if (shift_opb[1])
					result = result + shift_opa;
				shift_opa = shift_opa << 1;
				shift_opb = shift_opb >> 1;
			end
			$display ("The result is %d", result);
		end
	
	endmodule

1.3.5. foreach循环

foreach循环语句中指定数组后，程序会逐个遍历数组成员。

foreach ( <array name> [< loop variable>] ) <statement>

它的自变量可以是一个指定的任意类型数组（固定尺寸的 / 动态的及联合数组），然后紧跟着一个包围在方括号内的循环变量的列表。每一个循环变量对应于数组的某一维度。 foreach结构类似于一个repeat循环，它使用数组返回替代一个表达式来指定重复次数。

// foreach_example

module test_foreach ( );
	string	words [2] = '{"hello", "world"};
	int		prod [ 1: 8][ 1: 3];
	
	initial	begin
		// int j;
		foreach (words[j])
			$display (j, words[j]);
		foreach (prod[k ,m])
			prod[k][m] = k * m;
	end

endmodule

循环变量的数目必须匹配数组变量的维数。空循环变量可以用来表示在对应的数组维数上没有迭代，并且处于尾部的连续空循环变量可以被忽略。循环变量是自动的、只读的，并且它们的作用范围对于循环来讲是本地的。每一个循环变量的类型被隐含的声明成与数组索引一致的类型。

2. 函数和任务

Verilog中要求函数必须有返回值，并且返回值必须被使用，例如用到赋值语句中；SV的限制稍微放宽了；

2.1. 函数function

• 可以在参数列表中指定输入参数（input）、输出参数（output）、输入输出参数（inout）或者引用参数（ref）；
• 可以返回数值或者不返回数值（void）；

function int double (input a);
	return 2*a;
endfunction

initial	begin
	$display ("double of %0d is %0d", 10, doublr(10));
end

function属性：

• 默认的数据类型是logic，例如 input [ 7: 0] addr;
• 数组可以作为形式参数传递；
• function可以返回或者不返回结果，如果返回即需要用关键词return，如果不返回则应该在声明function时采用void function ()；
• 只有数据变量可以在形式参数列表中被声明为ref类型，而线网类型则不能被声明为ref类型；
• 在使用ref时，有时候为了保护数据对象只被读取不被写入，可以通过const的方式来限定ref声明的参数；
• 在声明参数时，可以给入默认数值，例如 input [ 7: 0] addr = 0，同时在调用时如果省略该参数的传递，那么默认值即会被传递给function；

2.2. 任务 task

任务相比于函数要更加灵活，且以下不同点：

• task无法通过return返回结果，因此只能通过output、inout或者ref的参数来返回；
• task内可以置入耗时语句，而function则不能。常见的耗时语句包括@event、wait event、# delay等；
  function是立即返回

task my_task (output logic [31: 0] x, input logic y);
...
endtask

通过上面的比较，我们对function和task建议的使用方法是:

• 对于初学者傻瓜式用法即全部采用task来定义方法，因为它可以内置常用的耗时语句；
• 对于有经验的使用者，请今后对这两种方法类型加以区别，在非耗时方法定义时使用function，在内置耗时语句时使用task。这么做的好处是在遇到了这两种方法定义时，就可以知道function只能运用于纯粹的数字或者逻辑运算，而task则可能会被运用于需要耗时的信号采样或者驱动场景；
• 如果要调用function，则使用function和task均可对其调用；而如果要调用task，我们建议使用task来调用，这是一位内如果被调用的task内置有耗时语句，则外部调用它的方法类型必须为task；

出个题目:

typedef struct {
	bit	[ 1: 0]	cmd;
	bit	[ 1: 0]	addr;
	bit	[31: 0]	data;
} trans;

function automatic void op_copy (trans t, trans s);
	t = s;
endfunction

initial	begin
	trans	s;
	trans	t;
	s.cmd = 'h1;
	s.addr = 'h10;
	s.data = 'h100;
	op_copy (t, s);
	t.cmd = 'h2;
end

上述代码，变量t中的三个成员{cmd, addr, data}最后数值为多少？

• {'h1, 'h10, 'h100}
• {'h2, 'h0, 'h0}
• {'h2, 'h10, 'h100}
• {'h0, 'h0, 'h0}

B：函数端口中，没有声明端口方向，默认都是输入，s和t都是input

---

2.3. 子程序参数

Verilog中，要求定义某些参数两次，方向、类型，任务名后不能出现输入、输出端口列表，

task	my_task;
	output	[31: 0]	x;
	reg		[31: 0]	x;
	input			y;
	...
endtask

SV中，任务、函数声明的形式参数可以定义在圆括号中，参数缺省方向是input，缺省类型是logic

task	my_task (output int x, input logic y);
	...
endtask

每一个形式参数可以选择的方向属性：
input：在开始的时候复制值
output：在结束的时候复制值
inout：在开始的时候复制，在结束的时候输出
ref：传递引用（句柄或者指针）

Verilog对于参数只有传值的方式：在子程序调用的时候，类型为input或者inout的实际参数的数值被复制到本地变量，在子程序退出的时候，类型为output或者inout的实际参数的数值被更新；
SV提供两种方式来为函数和任务传递参数：值传递和引用传递。引用传递（reference）像是C++的句柄或者指针，也就是变量的入口地址。此时，参数的类型应定义为ref

通过引用将数组传递到子程序中，

function void ary_sum (const ref int ary []);
// 引用传递，相对于指针传递
// 加const防止改变传递进来的变量的值
// 也就是只能读取变量，而不能写变量
	int sum = 0;
	for (int i = 0; i < ary.size; i++)
		sum += ary[i];
	$display ("The sum of the arrays is %0d", sum);
endfunction

通过传值的方式来传递数组参数，这样数组将被整体复制，这样消耗一定的内存和操作时间。而使用ref传递，只是获取该数组的入口地址（句柄 / 指针），操作速度快，减少内存使用。

const关键字可以防止一个函数或者任务改变一个通过ref类型传递的变量。这对于大型的数据结构通过ref传递，避免了整个结构被复制，而且在函数内部也不会被改变。一旦使用了const ref编译器就会检查子程序是否修改了该数组，当试图改变数组值时，编译器报错

在子程序修改ref参数变量的时候，其变化对于外部是立即可见的，在几个程序并行执行而想通过简单方法传递信息的情况下很有用，在并发执行线程中很有用。

下面的例子，bus.enable有效，初始化块中的thread2块马上就可以获取来自存储器的数据，而不用等到bus_read任务完成总线上的数据处理后返回，这可能需要若干个时钟周期。由于参数data是以ref方式引用传递的，所以只要任务里的data一有变化，@data语句就会触发，

// ref_example

module test_ref ( );
	logic	[31: 0]	addr;
	logic	[31: 0]	data;
	
	initial	fork
		bus_read (addr, data);
		begin
			@ data;
			$diaplay ("data is %0d", data);
		end
	join


	task automatic bus_read (input logic [31: 0] addr, ref logic [31: 0] data);
		// request bus and drive address
		bus.request = 1'b1;
		@ (posedge bus.grant)	bus.addr=	addr;
		// wait for data from memory
		@(posedge bus.enable)	data	=	bus.data;
		// release bus and wait for grant
		bus.request = 1'b0;
		@(negedge bus.grant);
	endtask

endmodule

参数可以通过名字或者位置来传递。任务和函数的参数还可以指定缺省值，这就是使得调用任务或函数的时候可以不用传递参数。

function void print_sum (ref int a [ ]);
	...
endfunction

function void calculate ( );
	...
	print_sum (a);
endfunction

initial	begin
	calculate ( );
end

若在后来需要修改print_sum函数参加参数，指定数组的开始地址和结束地址，

function void print_sum (ref int a [ ], input int start, input int last);

修改过函数后，原程序中热任何一个调用print_sum( )的代码，就需要对应改成print_sum (a1, b1, c2); 否则缺少了参数，程序无法正常运行。如采用参数默认值的方法，就不需要做改动了，

function void print_sum (ref int a [ ], input int start = 0, input int last = a.size() - 1);

下例是采用名字进行参数传递，

task	many	(input	int	a = 1, b = 2, c = 3, d = 4);
	$display ("%0d, %0d, %0d, %0d", a, b, c, d);
endtask

initial	begin
	many(6, 7, 8, 9);	// 6 7 8 9 指定所有值
	many();				// 1 2 3 4 使用缺省值
	many(.c(5));		// 1 2 5 4 只指定c
	many( , 6, .d(8));	// 1 6 3 8 混合方式
end

建议用ref追踪外部变量的变化，如果添加const ref就表示这个数是只读的，不可以再修改还能追踪到实时的值

2.4. 子程序返回

在Verilog中，当任务、函数运行到endtask、endfunction的时候退出，由于任务中可以有延迟语句、敏感事件控制语句等事件控制语句，任务定义结构内可以出现disable终止语句，这条语句将中断正在执行的任务。在任务被中断后，程序流程将返回到调用任务的地方继续向下执行。而在SV中，可以使用return语句在任务体或函数体的任意一点退出子程序。

在Verilog中函数必须有返回值，返回值是用过对函数名赋值来完成的；而SV允许将函数声明成void类型，它没有返回值，其他函数就像Verilog一样，可以通过为函数名赋值来返回一个值，或者使用return语句实现，

// verilog
function [15: 0] my_func1 (input [ 7: 0] x, y);
	my_func1 = x * y - 1;	// 返回值赋值给函数名字
endfunction

// SV
function [15: 0] my_func2 (input [ 7: 0] x, y);
	return x * y - 1;		// 使用return语句指定返回值
endfunction

SV中，任务和函数都可以用return返回

2.5. 自动存储

Verilog-1995 中，所有对象都是静态分配的，如果在测试程序里的多个地方调用同一个任务，由于任务里的局部变量会使用静态存储区，所以不同的线程之间会窜用这些局部变量；

Verilog-2001 通过使用automatic关键字，将任务、函数和模块声明为自动存储模式，这样，仿真器就能够对其所有形式的参数和内部变量使用堆栈的形式来存储。

automatic使函数和任务的重入（reentry）成为可能，

function automatic [63: 0] factorial;
	input	[31: 0]	n;
	if (n == 1)
		factorial	=	1;
	else
		factorial	=	n * factorial(-1);
endfunction

在SV中，子程序仍然默认使用静态存储方式，对于所有的模块（module block）和程序快（program block）也一样；对于声明在class中的子程序和变量默认使动态存储的。SV还允许在一个静态任务中将特定的形式参数和本地变量声明成自动的（automatic），也允许在一个自动任务内将特定的形式参数和本地变量声明成静态的（static）。

3. 变量声明周期

• 在SV中，我们将数据的生命周期分为动态（automatic）和静态（static）；
• 局部变量的生命周期同其所在域共存亡，例如function/task中的临时变量，在其方法调用结束后，临时变量的声明也将终结，所以它们是动态生命周期；
• 全部变量即便随这程序执行开始到结束一直存在，例如module中的变量默认情况下全部为全局变量，用户也可以理解为module中的变量由于在模拟硬件信号，所以它们是静态生命周期；
• 如果数据变量被声明为automatic，那么在进入该进程/方法后，automatic变量会被创建，而在离开该进程/方法后，automatic变量会被销毁。而static变量在仿真开始时即会被创建，而在进程/方法执行过程中，自身不会被销毁，而且可以被多个进程和方法所共享；

// life_cycle_test

module life_cycle_test ;

	function automatic int auto_cnt (input a);
		int cnt = 0;
		cnt = cnt + a;
		return cnt;
	endfunction
	
	function static int static_cnt (input a);
		static int cnt = 0;
		cnt = cnt + a;
		return cnt;
	endfunction
	
	function int def_cnt (input a);
		static int cnt = 0;
		cnt = cnt + a;
		return cnt;
	endfunction
	
	initial	begin
		$display ("@1 auto_cnt = %0d", auto_cnt(1));
		$display ("@2 auto_cnt = %0d", auto_cnt(1));
		$display ("@1 static_cnt = %0d", static_cnt(1));
		$display ("@2 static_cnt = %0d", static_cnt(1));
		$display ("@1 def_cnt = %0d", def_cnt(1));
		$display ("@2 def_cnt = %0d", def_cnt(1));
	end

endmodule

automatic方法，内部的所有变量也是automatic，即伴随automatic方法的生命周期建立和销毁；

static方法，内部所有变量都是static类型，第一次调用的时候，声明static int cnt = 0; 计数器加1，返回1，第二次调用的时候，cnt是1，静态变量不会再次初始化，计数器加1，返回2；

对于automatic或者static方法，用户可以对其内部定义的变量做单个声明，使其类型被显式声明为automatic或者static；

对于static变量，用户在声明变量时应该同时对其做初始化，而初始化只会伴随它的生命周期发生一次，并不会随着方法被调用被多次初始化
def_cnt ( )，默认函数是static的，里面的变量也都是静态变量；

一般情况，我们调用函数都期待是auto_cnt ( )的样子，这时候就需要automatic关键字了

在module、program、interface、task和function之外声明的变量拥有静态的生命周期，即存在于整个仿真阶段，这同C定义的静态变量一致；

在module、interface和program内部声明，且在task、process或者function外部声明的变量也是static变量，且作用域在该块内；

在module、program和interface中定义的task、function默认都是static类型；

在过程块（task、function、process）定义的变量均跟随它的作用域，即过程块的类型。如果过程块为static，则它们也默认为static，反之亦然。这些变量也可以由用户显式声明为automatic或者static；

为了使得在过程块中声明的变量有统一默认的生命周期，可以在定义module、interface、package或者program时，通过限定词automatic或者static来区分。对于上述程序默认的生命周期类型为static；

下列域中的变量哪些默认是static即静态变量？

• module中声明的变量
• module中initial过程块中声明的变量
• 在module中定义的function声明的变量
• 在module中定义的task声明的变量

4. 补充

定义这个task，为什么不用声明端口和类型？
在定义任务的时候，默认是input logic的；
clk是直接在module里面的定义的变量，这是全局变量，作用域是整个模块，可以直接在task里使用

---

静态变量？生命周期？全局变量？作用域？

整理自： https://mp.weixin.qq.com/s/L4AwRKEItnpNok6dAUgLRA

时空数据和时空变量

时空数据

【概念】：时空数据是时空变量的一次或有限次观测值

【公式】：y(s,t)

• 具有地理空间分布 (s)的事物，并且随时间(t)变化

【记录方式】：

1、时空二联表

• 行表示空间维、列表示时间维，单元格记录属性值
• 例如：ArcGIS数据属性表
• 可以完整记录时空各节点的观测值，但是无法记录时空数据的空间拓扑关系

2、地图时间序列

• 在各时间节点分别制作某属性专题图，形成地图序列
• 能够完整记录时空演化信息，但是目前的GIS软件中尚缺少有效的时空数据结构来存储和操作这类数据（时空立方体）

3、状态转换矩阵

• 行列分别代表两个时间节点上相同的状态变量，单元格表示经过一个时间段，所在行状态转换为所在列状态的量
• 转换矩阵可以完整记录了各状态之间的流转，但在时间维度上，只能局限于两个节点之间
• 
  截屏自：https://blog.csdn.net/gdp12315_gu/article/details/49949669

时空变量

【内容】：借助统计学和数学，通过研究观测样本y，推断总体或超总体的参数和性质，即地理学研究事物的格局、过程、规律和机理

【方法】：

1、基于设计

• 先从总体中以某种方式(设计)抽取一定数量的样本，每个样本单元有一个观测数值；然后对样本进行统计，推断总体
• 样本抽取的方式(设计)主要包括随机、系统、分层等。
• 对于一个统计量，即估算公式，基于设计的统计估值及其误差随样本设计(布置方式和密度)变化而变化。
• 在一定样本量的前提下，随机或分层随机抽样能够保证样本统计推断总体是设计无偏的(注意，不能保证最优，也就是不保证误差最小)。
• 设计无偏在理论上与总体性质无关；然而，估值方差将随着空间相关性和分异性而发生变化。
• 特别地，当总体是分层异质的(stratifiedheterogeneity)，并且样本小到没有覆盖所有的层(strata)时，样本有偏于总体，传统的统计推断结果将有偏于总体参数。
• 此时，若有无偏样本或全覆盖的相关辅助数据，则可用专门算法纠偏，从而得到无偏估计。

2、基于模型

• 假设每个时空格点的值都是一个时空随机变量，观测值是其一次实现。
• 为进行推断，假设随机变量具有平稳性，即各时空点数学期望相等。
• 若不平稳，则先分层(stratification)，使层内平稳，然后对时空变量加权来估计总体参数，以估值误差最小为目标函数，以估值无偏为约束，求解样本权重。
• 基于模型的统计估值及其误差在理论上与样点绝对位置无关。
• 当研究对象性质与模型假设一致时，基于模型的统计推断可以得到无偏最优估计(BLUE)。当目标对象性质与模型假设不符时，模型结果有误。

变量类型

• 自然环境，如温度、降水、水土流失；
• 经济与社会，如人口、GDP、交通、疾病等；
• 人地关系，如土地利用、生态价值、自然灾害等。

1、空间变量

• 当属性存在空间分异并且随时间稳定或不分辨时间，即y(s,t)=y(s)。
• 如中国地形三级阶地、胡焕庸人口线、气候带、生物区系等。
• 空间分析

2、时间变量

• 当属性空间均质或不分辨空间差异，即y(s,t)=y(t)。
• 如区域CPI指数、北京逐年常住人口变化。
• 时间序列分析
• 当存在空间分异但在分析时不予考虑，将有可能导致生态谬误。

3、时空变量

• 当属性随空时皆变，即y(s+u,t+τ)≠y(s, t)。
• 例如中国近3000个区县2008.3-2009.4各周手足口病病例数。
• 时空分析

4、状态变量

• 属性值变化到一定程度，从量变产生质变，状态或类型发生了变化。
• 人们往往对质变，也就是状态变化更感兴趣，为此，可以定义状态变量。状态变量反映格局、规律和大势。
• 例如土地利用类型，由于城市化而发生变化。
• 一个城市的产业类型和发展阶段也会演化。

• 空间变量和时间变量是时空变量的特例;
• 这些变量的测量可以是比值量(Ratio)、间隔量(Interval)、顺序量(Ordinal)和名义量(Nominal)，在统计学中分析方法有区别。
• 比值量和间隔量常统称为数值量。
• 地理学中状态(包括名义量和顺序量)变化是值得特别关注的，特用状态变量。
• 例如，天气状态可以是下雨、多云、晴天；而天气测量是温度、湿度、气压等数值量。

时空过程和时空机理

• 时空数据有限次地记录了时空过程，时空过程是过程机理驱动的结果。
• 日地环绕、大陆漂移碰撞和万有引力等机理分别导致了地球气候的经纬度差异、海拔高程地带性和地壳物质分层和迁移等时空现象。
• 举例：
  1、可能是物理的，例如大气动力及对应的GCM 模型；
  2、可能是经济的，例如投入产出联系及对应的 CGE 模型；
  3、可能是传染的，例如接触传播及对应的SIR模型，；
  4、可能是演化遗传变异的，例如城市群演化树。

1、时空现象的表现

过程机理 → 时空过程(用时空变量关系表达) → 时空数据

• 时空数据分析的目的就是从时空数据出发，运用各种时空分析工具，溯源其时空过程乃至机理，由样本推断总体或超总体的参数。
• 如果时空数据来自于对时空过程有一定密集度的随机采样，样本将蕴含了过程的所有时空规律、时空异常等信息，我们称之为完备时空样本。
• 如果时空样本不完备，则首先需要基于抽样理论进行加密观测或纠偏。

2、时空样本

(完备) 时空样本→ 时空规律+ 时空异常+ 时空噪音

• 时空规律是时空过程中已经被人类认知和掌握的部分，建立机理或统计模型，可以预测预报；
• 时空异常是与人类已认识的规律有明显差异，不能依据现有规律准确预期的部分；
• 时空噪音没有规律并且没有明显异常值，目前尚不为人类所认知的部分。
• 恰当利用分析工具，对时空异常（如传染病）进行早期预警，具有重要意义；另一个努力的方向是从模型残差中提取更多的信息，增强我们对时空异常的物理机制的理解，转化为规律，从而对其有所预期和掌握。

3、时空过程和机理

• 时空过程和机理以因变量y和影响因子z之间的联系(y|z)来表达。

• 在地理学，直接影响因子z往往难以获得，常用的方法是寻找代理变量x，建立因变量与代理变量的统计关系y=f(x)。

• 代理变量x应当满足两个条件：
  一是与直接因子z尽量相关(z|x)，可基于物理机制定性判断，或基于相关分析定量选择；
  二是全覆盖研究区域和研究时段。

• 举例：新生儿出生缺陷发生风险(y)与环境污染暴露、遗传和营养等直接因子(z)有关，而遗传和营养测量和调查成本高，因此寻找其代理变量(x)，如，用以村庄为中心做不同距离缓冲区，分别计算局域空间聚集性指标（Gi）来反映人们社会交往和通婚圈作为遗传代理因子，用人均收入代理营养摄入水平。

时空分析工具

1、可视化探索分析

2、时空变化探测

3、时空格局识别

4、时空插值和补缺

5、通过影响因子 (x) 分析推测时空机理

• 时空机理的认知可以分为物理的 (过程建模)、统计的 (时空回归)和生物的 (演化树)
• 演化树还是一种可视化的手段，实现属性空间和地理空间之间的二元协同感知