逻辑定时分析器的设计

本文阐述了一种低成本的逻辑定时分析装置的电路原理及设计方法,并对其性能进行了讨论。通过实例证明了仪器的实用性。     

科技论文的逻辑

科技论文要研究逻辑，本文概述了论题选定、论据选择、论证方式选用的规则，结合科技论文编辑过程中遇到的实际问题，指出了如何做到概念明确、判断准确，推理正确等形式逻辑的有关方法。     

地图符号分类的逻辑体系

根据从地理空间至二维平面存在三重拓扑映射原理,给出了地图符号的一般定义,导出了多种地图符号的分类方法,形成了一个具有严密逻辑的地图符号分类体系.     

基于逻辑斯蒂模型的遥感图像分类

逻辑斯蒂法是一种非线性的回归分析方法,因采用逻辑斯蒂模型而得名^[1],可用来进行未知单元类别属性的预测和判定。不同于一般的分类方法,它可分别给出某一单元属于各已知类别的概率,进而对研究的未知区中所有单元进行分类和预测。本文首先阐述了该方法的基本原理,而后利用它对内蒙古自治区两个研究区的两种图像数据进行了分类,最后探讨了影响该方法用于遥感图像分类的几个因素.     

基于ArcGIS Engine的数字地图逻辑拼接

针对目前GIS系统海量数据分幅存储与管理造成的地理要素在图幅边缘产生的缝隙问题,结合拼接相关理论,提出了一种兼顾空间位置关系和属性特征的拼接方法,并基于ArcGIS Engine 10以及Microsoft Visual Studio 2010的开发环境实现了该方法。实践证明,该方法很好地实现了数字地图的逻辑拼接。     

定量制图符号的逻辑体系

本文从分析定量制图符号的基本问题出发，归纳和总结了各种符号的特点，建立了定量制图符号的逻辑体系，从而为定量图形模拟系统的建立提供了一个初步模型。     

组合逻辑自动综合的超前试探法

自动逻辑综合是复杂组合电路设计中必须面对的问题之一。本文采用超前试探策略,在改进的Q-M法基础上,提出了一个新的组合自动综合的新算法,该算法提高了运算速度,有较强的实用价值。     

地图概念及其基本特性的逻辑思考

地图与非地图都符合图的定义，由于地图表示的地物处于地球椭球面上而具有若干基本特性，因此地图获得了非地图所没有的丰富内涵和重要的文化价值。     

一种安全协议的规范化设计方法

提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。至此,根据具体的应用背景选择合适的单步协议,按照组合规则组合后,便可得到满足需求的安全协议。该方法可将一个复杂协议分解为若干基于组件的简单单步协议,使得协议的设计与分析都易于实现。     

组合逻辑自动综合的超前试探法

自动逻辑综合是复杂组合电路设计中必须面对的问题之一。本采用超前试探策略，在改进的Ｑ－Ｍ法基础上，提出了一个新的组合自动综合的新算法，该算法提高了运算速度，有较强的实用价值。     

基于描述逻辑本体的GIS多重表达

多重表达是地理信息弹性表达和弹性存取的一个内在要求,它实质上提供了一个多尺度、多应用主题的数据集成机制。多重表达的建模不能仅限于数据库中多重几何特征的一致性表达,还必须支持不同语义粒度、不同应用主题下语义特征的弹性描述。基于形式化本体的地理信息建模更贴近于认知模型,还有助于语义表达以及基于语义的信息集成和共享。通过经典描述逻辑中具体域以及context的扩展,满足区域拓扑和上下文语义形式化描述的需要;给出一个基于描述逻辑的多表达地理本体方案,该方案能够为数据库中几何信息和语义信息的弹性表达提供一个统一的基于逻辑的模型理论基础。     

利用逻辑回归的南极常年考察站选址定量研究

南极常年考察站是人类在南极地区科考、探索以及观光等活动的据点,其选址对南极自然环境产生一定影响并制约考察站本身功能。本文突破传统考察站选址方法,基于地理信息系统,采用逻辑回归模型模拟已建站情况,使用定量化方法建立指标体系,评价常年站建站适宜性程度。实验过程摒除了人工指标适宜性分类以及专家打分等过程,降低了人为因素带来的不确定性。实验证明,其对已建站情况的拟合精度大于全指标模型,可以更好地模拟常年站的选址情况。     

一种描述逻辑的地理本体融合方法

提出一种基于描述逻辑的地理本体融合方法。首先约定两个本体当中的等价概念作为基于规则的逻辑推理起点,再分别从直接推理与传递推理角度讨论了本体概念、角色及其相互间的等价、蕴涵、重叠与相离等匹配关系,依次将一个本体中的概念与角色逐渐并入另一个本体中,并以基础地理信息数据和土地利用数据进行融合实验,验证了该方法的有效性。     

采用逻辑回归的汾河流域遗址分布研究

为了更好地指导考古挖掘和理解古人类活动,该文从汾河流域DEM数据中提取高程、坡度、坡向、地形起伏度、地表曲率、距河流距离及距大遗址距离等作为自变量,利用二元逻辑回归建立流域内仰韶时期至夏商时期各时期遗址分布模型,对模型结果进行了定量分析并生成了汾河流域各时期遗址分布概率图,在此基础上对汾河流域人类文化遗址的分布特征进行研究。遗址分布模型总体分类精度较好。遗址分布模型对考古工作及古环境研究具有重要价值,可以为考古工作提供决策支持。     

基于模糊逻辑和AHP的教育培训机构选址研究

当前教育培训行业存在成本高、授课范围小等问题,因此在教育机构选址时需注意节约成本,优先选择服务范围较广、交通便利的位置。将模糊逻辑与层次分析法(AHP)相结合,选取5个标准进行标准识别、标准加权、图层标准化和图层叠加处理,最终得到教育培训机构的最优选址范围,证明了考虑竞争标准、学校位置、交通、人口密度、经济标准的选址方法的可行性,可作为枣庄市教育培训机构选址的参考,也可推广到其他地区。     

基于描述逻辑的地图语义模型初步研究

为了研究地图的形式化语义表达问题,将语言学的理论和方法应用到地图领域,把地图符号系统作为一种二维图形语言,在分析地图语言的基本语言单位、语法规则和语义规则的基础上,采用扩展的描述逻辑AL-CRP(D),建立了地图语义模型。模型能完备地表达地图语言的语义,为用逻辑方法研究地图信息提供了借鉴意义。     

一种基于描述逻辑的空间语义相似性计算方法

语义相似性计算广泛应用在认知心理学和计算机领域。针对地理信息智能发现服务中语义标注的应用需求,面向本体概念描述,提出了一种描述逻辑的空间语义相似性计算方法。该方法首先获取搜索和目标概念及上下文定义;然后进行标准正规化形式转换,创建映射矩阵并建立局部相似性方程;最后构建全局归一化相似性方程。通过领域专家参与实验,验证了该算法符合人类认知并且是可信的。     

弹性业务逻辑组合的在线遥感应用框架

针对当前的一般在线遥感处理平台中存在的数据共享形式单一,难以实现应用场景的共享;细粒度处理服务的共享与描述不足以满足复杂遥感业务的整合需求;缺乏有效的交互模式及良好的用户认知体验等问题,该文提出了一种SOA环境下的基于弹性业务的在线遥感应用框架。该框架实现了数据/服务的搜索及应用环境模拟的功能实现了数据、服务、应用的多层次的共享。该框架也使用的弹性的业务逻辑组合方法和"热插拔"的模式较好地满足了复杂的业务需求,同时框架采用了富客户端技术,给用户提供了较好的使用体验。最后,通过一个遥感分类处理实例说明了该处理框架的有效性和可行性。