计算机科学的逻辑基础

对数理逻辑在计算机科学发展过程中的作用进行了评述，指出可计算性理论、图灵机数学模型为电子数字计算机的发明奠定了基础；开关电路、时序电路、自动机是网络理论的应用与发展；计算复杂性是递归论的具体应用；形式语言是一阶逻辑的深化；程序正确性证明了应用了模态逻辑；Ｈｅｒｂｒａｎｄ定理和范式定进是机器证明的理论基础。     

浅谈大比例尺地形图测绘方法的应用及误差分析

全数字地形测图属于一种高新测图技术,主要凭借现代机助制图技术发展而来。在GPS、GIS高技术的带动下,全数字地形测图得到了广泛的传播和应用。该文对大比例尺地形图测绘方法及施工中的误差进行了分析和总结,并提出了解决方案及管理方面的控制措施。     

浅谈在数字测图中的几点工作体会

本文通过对数字测图的作业方法、软件选择及数字测图外业工作的实施进行比较分析,得出数字测图的基本流程及方法,并结合自身的工作经历对数字测图中数据采集、处理及绘图等作出了具体分析。     

大比例尺数字测图技术的应用与展望

随着计算机技术在测绘领域应用的不断深入,大比例尺数字测图已成为测绘技术变革的一个重要内容.多种数据集和处理方法的实现为大比例尺数字测图提供了条件,特别是电子手簿的出现,无疑是测绘技术的一项革新,它不仅能够实现快速、简便的野外数据采集,而且还能及时对采集的数据进行处理.由全站仪和电子纪录手薄组成的野外数据采集系统,记录的数据可直接传输给计算机,在相应的程序系统下进行人机交互处理,形成大比例尺地图图形数据.     

大比例尺数字测图内外业有关问题分析

作为测图技术现代化水平的标志之一,数字测图技术以其高精度、高效益逐渐代替传统测量模式。现在,随着实时动态定位(RTK)技术的推广和应用,数字化技术已进入全新境界。本文就数字化测图的几种方法进行了简单介绍。对于普遍应用的内外业一体化数字测图,根据笔者的实践情况和大比例尺测图内外业易忽略的一些问题阐述了自己的一些见解。     

矿产资源管理信息系统研究与实现

在数字城市建设中,根据当地的发展和需要,选择矿产资源管理信息系统作为示范应用系统之一。系统采用B/S(浏览器/服务器)结构、ArcGIS Server发布地图服务,用ArcGIS Server发布符合OGC标准的开放接口,然后通过编程实现对矿产资源各类信息的相关分析管理。该系统实现了矿产信息查询、有效期检查、矿产资源统计、专题图制作等功能。     

MapGIS数字化成图的经验和技巧分析

本文主要分析MapGIS数字化成图中的经验与技巧,特别对数字"0"以及"白颜色"的应用经验和技巧展开了探讨,希望能够引起业内人士的广泛关注与重视。     

基于基于ArcGIS和天地图的黄河流域“一张图”研究

流域"一张图"的制作是目前数字流域建设的热门话题,也是数字黄河建设中亟待研究的问题。以国家地理信息公共服务平台"天地图"为地理底图,叠加数字黄河信息资源,实现天地图和ARCGIS的地图服务聚合,解决黄河流域业务系统中的地图问题。黄河流域"一张图"的数据制作,为业务系统提供了一套便于统一使用、维护的多尺度地理空间数据集,为流域"一张图"的研究奠定了重要的基础。     

现代测绘技术在工程测量中的应用分析

本文简要分析GPS技术、RS技术、GIS技术、信息化测绘新技术等等将广泛应用于我国工程测绘工作中的应用与发展。测绘技术中的数字化技术,主要有地图数字化技术、数字化成图手段、全球卫星定位技术、地理信息技术、数字摄影测量技术、图感技术等,并对其作了简要的分析。     

关于地理微格教学科学属性的探索

本文通过一定的理论系统,对地理微格教学的科学属性问题进行了有益的探索．主要从教育科学性、应用教育科学性和边缘科学性三个方面对它们与地理微格教学这间关系进行了分析论述,归纳总结出地理微格教学属性分析构架图     

改进电路模拟法的应用——同构混合开关拓扑辨识

提出了一种基于已有图同构判定算法--电路模拟法的改进方法,并将其应用到同构混合开关拓扑的辨识中. 首先介绍混合开关拓扑的数学描述方法,给出混合开关拓扑的邻接矩阵表示及其相应的含权无向图表示,由此将同构混合开关拓扑的辨识问题转换为与其对应的含权无向图的同构判定问题,继而采用所提出的改进电路模拟法加以判定. 在同样环境下对改进的电路模拟法及另一种混合开关拓扑同构判定方法--特征值判定法进行测试比对,测试结果表明该方法在处理同构混合开关拓扑辨识问题上是有效的,并且在判定速度和节点匹配能力上有较大的优势.     

给定水平约束图的一类集成电路布线算法

针对水平约束图为星图的具有曼哈顿模型的通道布线,提出了一个依据图论模型的最优轨道高度布线算法.该算法根据通道上结点的水平约束图和垂直约束图特点,依次安排好每一个结点的布线轨道,进而通过通孔可以把所有的结点在2层轨道上布线完成.通过计算分析,该算法能够达到最优的布线高度.     

HOPF分叉定理在非线性振荡电路中的应用

利用李雅普诺夫函数推导的HOPF分叉定理时域型式中的综合参数－曲率系数a0和其二维系统中的局部型式来分析二阶自治非线性电路中的振荡问题。通过列出电路的状态方程计算其雅可比矩阵共轭复数特征值和求出曲率系数，并判别系统是否具有稳定的极限环来判断电路是否会出现自激振荡，从而为电子线路的振荡分析提供一种新的分析方法。     

计算机可视化技术在水质量评价中的应用

本文是将计算机图形可视化技术应用于水环境质量评价中,使人们通过计算机显示的水系动态图形画面和颜色,形象直观地观察到控制各断面在不同时间和空间中的水质状况．使决策者能够及时掌握和了解实际水系的各种变化情况而进行决策     

基于DHT11温湿度测控系统的设计

依据DHT11温湿度传感器的工作原理,设计了以单片机STC89C52RC为主控核心的实验室温湿度测控系统.在硬件方面,主要设计了单片机最小系统电路、DHT11与单片机的连接电路、12864液晶显示电路、蜂鸣器报警电路及抽湿机驱动电路.在软件方面,主要编写了DHT11检测温湿度程序、12864显示程序、报警程序及驱动抽湿机动作的程序.实验表明,所设计的系统可以正常工作,系统运行状态良好.     

蕴含K6-K2-N2可图序列

对于给定的图H,如果π有一个实现包含日作为子图,则称π万是蕴含日可图的．本文刻划了当n≥6时,蕴含K6-K2他的可图序列,其中K2。N2是一个冠图。     

自补图度序列的结构

自补图是图论中对称性很强的一类图,因而它有不少醒目的特点。本文讨论了自补图度序列的结构特性;除了点数是p=1(mod4)的自补图的度序列的中项外,其余的项皆成对出现。当点数是p=0(mod4)时,其所有的项都成对出现。最后给出的自补图度序列前K对和的上界。     

自补图半度序列和的界

自补图是图论中对称性极好的一类图,并在网络理论和设计中有一定的应用。本文论述了自补图前,后半度序列和的上、下确界。     

关于最小可行图的判别条件

本文给出了一组判别最小可行图的充分必要条件，并给出了严格的证明。     

C_mP_n和GP_n的全色数

图染色的基本问题是确定各种染色法的色数.图G和H的直积图GH是一类很重要的图积,给出了直积图CmPn的全染色的方法,得到其全色数χ′′(CmPn)={4n2 5n=≥3,并进一步推广到图GPn的正常全染色,得到其全色数χ′′(GPn)={△(G)+2n=2 2△(G)+1n≥3.