符号计算

随着三维GIS技术的发展，人们在其可视化能力方面要求不断提高，在部分应用中，人们不仅要求将场景中物体位置准确描述表达出来，同时还需要保证其逼真性和美观性在 智慧城市 阶段，三维GIS的构建需要提高效率和速度、降低成本。三维GIS符号化表达系统的设计能够满足人们在这些方面的要求。当前人们对三维GIS符号化表达系统的设计非常重视。以ZTMap为基础研究三维GIS符号化引擎，展开三维GIS符号化表达系统的设计，应用三维符号，具备有场景操作、空间分析、场景快速搭建以及二三维一体化等方面功能，提高三维GIS应用有效性，本文就此展开了研究分析。 1三维GIS系统应用现状 在智慧城市阶段，人们在三维GIS技术的效率、速度以及成本方面有着越来越高的要求，三维GIS借助虚拟现实技术以及计算机技术等技术手段，就三维空间数据进行相关的处理和管理等方面操作，提高三维GIS数据可视化水平，更好地完成三维空间分析，为地学规划以及决策等方面问题的解决打下良好的基础。 当前，三维GIS系统存在有制作周期长、数据多、渲染效率差等不足，这些方面问题主要是因为场景模型借助建模软件进行制作，模型在数据方面有着非常大的需求量，导致系统效率受到严重影响。三维GIS符号化能够实现对这一问题的有效解决，符号化之后，三维数据不再需要占据过大的空间，能够提高数据管理以及空间分析方面的规范化和标准化。要提高三维符号化数据表达有效性

一、介绍 汇编语言是一种面向机器的低级程序设计语言 汇编语言以助记符形式表示每一条计算机指令 助记符是便于人们记忆、并能描述指令功能和指令操作数的符号 助记符一般就是表明指令功能的英语单词或其缩写 MOV AX , 30H ADD AX , 50H MOV [2100H] , BX HLT 汇编语言的主要特点： 汇编语言程序与处理器指令系统密切相关 程序员可直接、有效的控制硬件系统 形成的可执行文件运行速度快、占用主存容量少 汇编语言程序中可以出现不同进制的数，但一定要有标识字母加以区别 数据的组织形式：位(bit)、字节(Byte)、字(Word)、双字(Dword) 无论是数据还是指令在计算机中都是以二进制形式存放的 无符号整数——所有有效位都当作数值处理，当然这样的数全部都是正数，故不保留符号位，常用于表示地址，或运算中表示计数值等 ASCII编码——在内存中使用一个字节(8位二进制数)存放一个字符(它的ASCII码)，最高位没用(写0).在通信过程中最高位有时用于奇偶校验 数码0~9：30H~39H 大写字母A~Z：41H~5AH 小写字母a~z：61H~7AH 空格：20H 带符号数的表示方法——采用补码表示法(补码存储、补码运算) 与、或、异或、非运算 二、计算机硬件相关知识 1、硬件 中央处理单元CPU 控制器、运算器、寄存器 存储器 主存储器：RAM和ROM

这里通过分析一个练习题来总结： 考虑下列代码，这段代码试图计算数组a中所有元素的和，其中元素的数量由参数length给出。 /* WARNING: This is buggy code */ float sum_elements(float a[], unsigned length) { int i; float result = 0; for (i = 0; i <= length - 1; i++) result += a[j]; return result; } 当参数length等于0时，运行这段代码应该返回0.0。但实际上，运行时会遇到一个内存错误。请解释为什么会发生这样的情况，并且说明如何修改代码。 解： 首先我们发现参数length的形式参数的类型为unsigned，是一个无符号数，而无符号数是非负的，比如一个字节可以表示的无符号数范围是0~255，在代码中如果参数length等于0，则在循环中会首先对length减1来判断，而这个结果并不是一个负数，而是一个很大的正数。举个例子，对于一个字节，我们这里用十六进制来表示方便一点，0的十六进制为0x00，而0 - 1会得到0xFF，这个数表示为无符号数的大小为255，也就是一个字节所能表示的最大无符号数，这就产生了错误，但是如果我们用有符号数来解读0xFF，此时这个数的大小为-1，就正确了

前言   此文是在本人学习完离散数学中的数理逻辑部分后，对标题中各部分之间的联系存在很大的疑惑。特此进行总结，水平有限，如有错误，欢迎指正。 从逻辑代数开始   逻辑代数是一种用于描述客观事物逻辑关系的数学方法，由英国科学家乔治·布尔 (George·Boole) 于19世纪中叶提出，因而又称 布尔代数 。   所谓逻辑代数，就是把逻辑推理过程代数化，即把逻辑推理过程符号化。 从逻辑代数到命题逻辑   同样的，命题逻辑是将那些具有真假意义的陈述句接着进行符号化，产生原子命题。与此同时，当我们把逻辑代数中的运算符：与( · )、或( + )、非( - )，替换成命题逻辑中的联结词集：合取( ∧ )、析取( ∨ )、非( ¬ )、蕴涵( → ) 和等价( ↔ ) 之后，我们就进入了命题逻辑的研究领域。   需要指出的是，通常也将命题逻辑称作命题演算，后者的出现就是用来讨论前者的，这里不再区分。它与下面出现的一阶逻辑（谓词逻辑）都是数理逻辑的子集（或称之为分支），是数理逻辑的两个最基本的也是最重要的组成部分。   有人可能会问，为什么不从数理逻辑开始，其实意义不大。要谈数理逻辑，不可避免的下一个主题就是逻辑代数。为什么这样说呢？因为数理逻辑一开始的诞生是没有意义的，它的创始人正是我们熟知的莱布尼茨（没错，就是高数中的那个牛顿-莱布尼茨公式）。莱布尼茨一开始是想要建立一套普遍的符号语言

随着三维GIS技术的发展，人们在其可视化能力方面要求不断提高，在部分应用中，人们不仅要求将场景中物体位置准确描述表达出来，同时还需要保证其逼真性和美观性在 智慧城市 阶段，三维GIS的构建需要提高效率和速度、降低成本。三维GIS符号化表达系统的设计能够满足人们在这些方面的要求。当前人们对三维GIS符号化表达系统的设计非常重视。以ZTMap为基础研究三维GIS符号化引擎，展开三维GIS符号化表达系统的设计，应用三维符号，具备有场景操作、空间分析、场景快速搭建以及二三维一体化等方面功能，提高三维GIS应用有效性，本文就此展开了研究分析。 1三维GIS系统应用现状 在智慧城市阶段，人们在三维GIS技术的效率、速度以及成本方面有着越来越高的要求，三维GIS借助虚拟现实技术以及计算机技术等技术手段，就三维空间数据进行相关的处理和管理等方面操作，提高三维GIS数据可视化水平，更好地完成三维空间分析，为地学规划以及决策等方面问题的解决打下良好的基础。 当前，三维GIS系统存在有制作周期长、数据多、渲染效率差等不足，这些方面问题主要是因为场景模型借助建模软件进行制作，模型在数据方面有着非常大的需求量，导致系统效率受到严重影响。三维GIS符号化能够实现对这一问题的有效解决，符号化之后，三维数据不再需要占据过大的空间，能够提高数据管理以及空间分析方面的规范化和标准化。要提高三维符号化数据表达有效性

这里通过分析一个练习题来总结： 考虑下列代码，这段代码试图计算数组a中所有元素的和，其中元素的数量由参数length给出。 /* WARNING: This is buggy code */ float sum_elements(float a[], unsigned length) { int i; float result = 0; for (i = 0; i <= length - 1; i++) result += a[j]; return result; } 当参数length等于0时，运行这段代码应该返回0.0。但实际上，运行时会遇到一个内存错误。请解释为什么会发生这样的情况，并且说明如何修改代码。 解： 首先我们发现参数length的形式参数的类型为unsigned，是一个无符号数，而无符号数是非负的，比如一个字节可以表示的无符号数范围是0~255，在代码中如果参数length等于0，则在循环中会首先对length减1来判断，而这个结果并不是一个负数，而是一个很大的正数。举个例子，对于一个字节，我们这里用十六进制来表示方便一点，0的十六进制为0x00，而0 - 1会得到0xFF，这个数表示为无符号数的大小为255，也就是一个字节所能表示的最大无符号数，这就产生了错误，但是如果我们用有符号数来解读0xFF，此时这个数的大小为-1，就正确了

数据类型是定义列中可以存储什么数据以及该数据实际怎么存储的基本规则。Mysql的常用数据类型主要有： 串数据类型 ：最常用的数据类型，有两种基本的串类型：分别为定长串和不定长串。定长串结束长度固定的字符，其长度是创建表是指定的，不允许多于指定的字符数据，它们分配的存储空间与指定的一样多，CHAR属于定长串类型。变长串存储长度可变的文本，有些变长数据类型具有最大的定长，而有些则是完全变长的，不管哪种只有指定的数据得到保存（不会添加额外的空格保存），TEXT属于变长串类型。变长数据类型灵活，定长数据类型高效，Mysql处理定长数据类型比变长列快很多，Mysql不允许对变长列（或一个列的可变部分）进行索引，这会极大影响性能。具体类型描述如下表： 数据类型 说明 CHAR 1~255个字符的定长串，它的长度必须在创建时指定，否则MySQL假定为CHAR（1） VARCHAR 可变长度，最多不超过255字节，如在创建时指定VARCHAR（n），则可存储0~n个字符的变长串 TINYTEXT 同TEXT，最大长度为255字节 MEDUIMTEXT 同TEXT，最大长度为16K TEXT 最大长度为64K的变长文本 LONGTEXT 同Text，最大长度为4GB（纯文本，一般不会到4G） ENUM 接受最多64K个串组成的预定义集合的某个串 SET

原文参见: http://www.cnblogs.com/doit8791/archive/2012/05/11/2495319.html 备忘. 数据类型是定义列中可以存储什么数据以及该数据实际怎么存储的基本规则。Mysql的常用数据类型主要有： 串数据类型 ：最常用的数据类型，有两种基本的串类型：分别为定长串和不定长串。定长串结束长度固定的字符，其长度是创建表是指定的，不允许多于指定的字符数据，它们分配的存储空间与指定的一样多，CHAR属于定长串类型。变长串存储长度可变的文本，有些变长数据类型具有最大的定长，而有些则是完全变长的，不管哪种只有指定的数据得到保存（不会添加额外的空格保存），TEXT属于变长串类型。变长数据类型灵活，定长数据类型高效，Mysql处理定长数据类型比变长列快很多，Mysql不允许对变长列（或一个列的可变部分）进行索引，这会极大影响性能。具体类型描述如下表： 数据类型 说明 CHAR 1~255个字符的定长串，它的长度必须在创建时指定，否则MySQL假定为CHAR（1） VARCHAR 可变长度，最多不超过255字节，如在创建时指定VARCHAR（n），则可存储0~n个字符的变长串 TINYTEXT 同TEXT，最大长度为255字节 MEDUIMTEXT 同TEXT，最大长度为16K TEXT 最大长度为64K的变长文本 LONGTEXT 同Text

数据类型是定义列中可以存储什么数据以及该数据实际怎么存储的基本规则。Mysql的常用数据类型主要有： 串数据类型 ：最常用的数据类型，有两种基本的串类型：分别为定长串和不定长串。定长串结束长度固定的字符，其长度是创建表是指定的，不允许多于指定的字符数据，它们分配的存储空间与指定的一样多，CHAR属于定长串类型。变长串存储长度可变的文本，有些变长数据类型具有最大的定长，而有些则是完全变长的，不管哪种只有指定的数据得到保存（不会添加额外的空格保存），TEXT属于变长串类型。变长数据类型灵活，定长数据类型高效，Mysql处理定长数据类型比变长列快很多，Mysql不允许对变长列（或一个列的可变部分）进行索引，这会极大影响性能。具体类型描述如下表： 数据类型 说明 CHAR 1~255个字符的定长串，它的长度必须在创建时指定，否则MySQL假定为CHAR（1） VARCHAR 可变长度，最多不超过255字节，如在创建时指定VARCHAR（n），则可存储0~n个字符的变长串 TINYTEXT 同TEXT，最大长度为255字节 MEDUIMTEXT 同TEXT，最大长度为16K TEXT 最大长度为64K的变长文本 LONGTEXT 同Text，最大长度为4GB（纯文本，一般不会到4G） ENUM 接受最多64K个串组成的预定义集合的某个串 SET

本文参考了如下两篇文章: https://my.oschina.net/joymufeng/blog/139952 http://www.cnblogs.com/lwbqqyumidi/p/3700164.html Java中，经常可以遇到类型转换的场景，从变量的定义到复制、数值变量的计算到方法的参数传递、基类与派生类间的造型等，随处可见类型转换的身影。Java中的类型转换在Java编码中具有重要的作用。 首先，来了解下数据类型的基本理解：数据是用来描述数据的种类，包括其值和基于其值基础上的可进行的操作集合。 Java中数据类型主要分为两大类：基本数据类型和引用数据类型。 基本数据类型共有8种，分别是：布尔型boolean, 字符型char和数值型byte/short/int/long/float/double。由于字符型char所表示的单个字符与Ascii码中相应整形对应，因此，有时也将其划分到数值型中。引用类型具体可分为：数组、类和接口。因此java中类型的转化分为基本数据类型的转换和引用数据类型的转换,本文将针对 基本数据类型的转换 进行总结. 1.基本数据类型的类型转换 数据类型 所占字节 boolean 未定 byte 1字节 char 2字节 short 2字节 int 4字节 long 8字节 float 4字节 double 8字节