检索结果-内蒙古大学图书馆

测绘学报 2007年第4期36卷 457-462页

作者：王 武汉大学资源与环境科学学院

以汉字注记配置规则为研究对象,借助Gestalt原则,从读图者心理认知的角度对以往的经验型注记配置规则从接近性、连续性、相似性以及共同性四个方面进行分析和解释,在此基础上,使用形式化表达方法对这四个方面进行了定量描述。采用这种方... 详细信息

以汉字注记配置规则为研究对象,借助Gestalt原则,从读图者心理认知的角度对以往的经验型注记配置规则从接近性、连续性、相似性以及共同性四个方面进行分析和解释,在此基础上,使用形式化表达方法对这四个方面进行了定量描述。采用这种方式,不仅能够尽量减少各种因素对地图图解质量的不利影响,而且能为今后汉字注记自动配置知识的形式化、科学化、系统化表达提供基础。

关键词：地图汉字注记 Gestalt原则配置规则形式化表达

来源：评论

学校读者我要写书评

暂无评论

道路网stroke生成问题的形式化表达与新算法

引用

武汉大学学报（信息科学版） 2014年第5期39卷 556-560页

作者：田晶何青松颜芬武汉大学资源与环境科学学院湖北武汉430079 武汉大学地理信息系统教育部重点实验室湖北武汉430079

首先,将道路网stroke生成问题形式化表达为聚类问题;然后,在该表达下提出了基于层次聚类思想的stroke生成算法,并进行了算法的时间复杂度分析和算法特性分析。最后,用深圳市1∶5万道路网对该算法进行了验证。

关键词：道路网 stroke 层次聚类形式化表达

来源：评论

学校读者我要写书评

暂无评论

面向自动推荐的表示方法规则的形式化表达研究

引用

测绘通报 2015年第9期 36-38,43页

作者：江南马健武丽丽孙启松信息工程大学地理空间信息学院河南郑州450052

在利用专题制图软件制作统计专题地图时,普通用户由于没有表示方法知识,无法选择合适的表示方法表达专题要素。为了解决这一问题,本文将表示方法规则嵌入到制图软件中,深入研究了面向自动推荐的表示方法规则的形式化表达策略。先后介绍... 详细信息

在利用专题制图软件制作统计专题地图时,普通用户由于没有表示方法知识,无法选择合适的表示方法表达专题要素。为了解决这一问题,本文将表示方法规则嵌入到制图软件中,深入研究了面向自动推荐的表示方法规则的形式化表达策略。先后介绍了表示方法规则的特征、表示方法简单规则和组合规则的形式化表达策略、表示方法规则的运行机制,最后进行了可用性试验,说明该形式化表达策略具有一定的理论和应用价值。

关键词：自动推荐表示方法规则形式化表达运行机制可用性试验

来源：评论

学校读者我要写书评

暂无评论

机械运动方案设计及其模型形式化表达方法的研究

引用

计算机工程与应用 2003年第20期39卷 213-215页

作者：任工昌王西明张优云刘永红西安交通大学润滑理论与轴承研究所西安710049 咸阳师范学院物理系咸阳712000

文章提出了一种矩阵表达方法,它是运动方案自动化综合的基础。借助这种方法,机构域的连续设计空间被离散化为功能子空间,并且每一子空间用唯一的机构模块表示。矩阵形式化表达的意义在于:机构模块可在不同抽象化层次上表达;可产生概念... 详细信息

文章提出了一种矩阵表达方法,它是运动方案自动化综合的基础。借助这种方法,机构域的连续设计空间被离散化为功能子空间,并且每一子空间用唯一的机构模块表示。矩阵形式化表达的意义在于:机构模块可在不同抽象化层次上表达;可产生概念设计的可行解;通过编程可实现运动方案的自动化综合。

关键词：功能机构模块形式化表达矩阵

来源：评论

学校读者我要写书评

暂无评论

基于对象知识网的企业信息系统形式化表达研究

引用

计算机应用研究 2009年第10期26卷 3794-3797页

作者：薛朝改曹海旺郑州大学管理工程系郑州450001 郑州航空工业管理学院电子通信工程系郑州450015

为了形式化地研究企业信息系统,提出了基于对象知识网的企业信息系统形式化方法。首先,研究了对象知识网及信息传递关系网的数学描述,分析了对象知识网表达信息系统的规则;然后给出了对象知识网构建的算法以及企业信息系统形式化表达的... 详细信息

为了形式化地研究企业信息系统,提出了基于对象知识网的企业信息系统形式化方法。首先,研究了对象知识网及信息传递关系网的数学描述,分析了对象知识网表达信息系统的规则;然后给出了对象知识网构建的算法以及企业信息系统形式化表达的方法;最后,通过对象知识网在某企业生产管理信息系统形式化中的应用,验证了基于对象知识网的形式化方法的可行性及有效性,为企业信息系统的定量研究提供了数学理论的支持,奠定了信息系统优化的理论基础。

关键词：对象知识网企业信息系统形式化表达

来源：评论

学校读者我要写书评

暂无评论

业务规则形式化表达及自动化测试策略研究与应用

业务规则形式化表达及自动化测试策略研究与应用

引用

作者：张士恒成都理工大学

学位级别：硕士

信息化系统能给应用的业务领域带来巨大的变革，但是随着业务领域行业的功能细化与服务全面化，伴之而来的是给相关业务领域的信息化系统开发带来了巨大的挑战，即要求系统开发人员同时精通相关业务及软件开发两个领域的知识，这对开发... 详细信息

信息化系统能给应用的业务领域带来巨大的变革，但是随着业务领域行业的功能细化与服务全面化，伴之而来的是给相关业务领域的信息化系统开发带来了巨大的挑战，即要求系统开发人员同时精通相关业务及软件开发两个领域的知识，这对开发人员是不现实的。此外，成功开发信息系统的前提是满足客户的需求，如何对客户的业务需求全面、准确地理解是信息系统开发的关键和基础。\n 在现实的信息系统开发中对需求的理解不够全面、不准确的事常有发生。\n 影响业务需求建模的因素有很多，比如自然语言特有的歧义性，业务人员、开发人员、测试人员由于技术知识背景不同，造成对业务需求的理解不一致等。\n 可能造成交付的信息系统部不能按照客户的需求运转，给社会带来巨大损失。\n 针对上述问题，本文研究基于业务规则的形式化表达以及业务规则分析方法在自动化测试中的应用，业务规则分析方法能消除对业务需求理解不全面、不准确的问题。经过深入的理论研究发现，最终能作为标准的是业务本身，业务由一系列的规则组成，软件需求无外乎是对业务的某种表达，但是这种表达即不完全也未必全然正确，业务有其内在的“逻辑”，这种逻辑可以通过“业务分析”的过程予以揭示，这种逻辑是独立于IT技术的。不管有没有相应的计算机应用，任何业务都可以表达为流程（业务流）、规则和要素。\n 在得到一种业务意图的所有业务规则后，按业务流，以时间轴为中心线将业务规则形式化表达出来，形式化表达出来的每一条规则语句都是该业务意图的一条分支路径。本文采用将业务规则完全组合的方法，所以生成的业务规则语句涵盖了业务意图的所有分支路径。在本文中还建立了规则语句筛选模块，该模块对组合后的规则语句进行筛选，筛选掉在业务系统中无实际意义的规则语句，最终得到的业务规则语句能真实、全面代表真实的业务需求。\n 高度复杂的业务系统不仅给系统的开发带来了很大的难度，也给软件测试带来了极大的挑战。软件测试是软件质量保证的重要手段，在软件开发及验收的过程中得到了高度重视，因此对高效、准确、自动化的软件测试方法的需求也日趋迫切。一条规则语句代表一个业务意图的解决分支路径，由于规则语句由原子规则组成（在软件测试中一条规则语句代表一个测试用例，原子规则代表测试用例中的一个属性），因此业务规则语句能与测试数据进行自动化组合，这就能自动化生成测试用例，将在软件中的自动化应用在测试用例生成阶段。\n 本文基于所研究的业务规则分析方法设计了业务分析平台BAP(BusinessAnalysis Plat form)，该平台实现了业务规则组合、规则语句筛选、测试用例生成等功能，由该BAP 平台生成的测试用例可应用于基于WebService 服务接口的自动化测试。此外，本文所研究的业务规则分析方法在设计与实现报表系统自动化测试平台中也得到了有效地应用。

关键词：业务规则形式化表达自动化测试策略信息化系统

来源：评论

学校读者我要写书评

暂无评论

基于共形几何代数的空间关系形式化表达与并行计算方法研究

基于共形几何代数的空间关系形式化表达与并行计算方法研究

引用

作者：李爽南京师范大学

学位级别：硕士

在地理信息系统中,地理对象之间空间关系的表达和计算是学者们研究的重点之一。空间关系的分析表达和计算是研究空间数据建模的重要基础。本文基于共形几何代数,利用片积的概念,实现基本地理对象以多重向量为基础的形式化表达,再根据共... 详细信息

在地理信息系统中,地理对象之间空间关系的表达和计算是学者们研究的重点之一。空间关系的分析表达和计算是研究空间数据建模的重要基础。本文基于共形几何代数,利用片积的概念,实现基本地理对象以多重向量为基础的形式化表达,再根据共形几何代数自带算子库以及自定义的算子计算空间关系。对于多维空间对象,借助多重向量的编码结构将地理实体对象的特征和属性嵌入到形式化表达式中,利用向量的编码方式,利用预乘表提高计算效率,并且对多重向量的各个组成部分进行并行操作。在目前的空间关系研究中,结合数学工具,实现空间对象与空间关系计算一体化表达。对于多维对象,根据基本元素的构建拓展到简单空间对象的拓扑关系、度量关系、方位关系等描述和表达,再将该表达拓展到复杂空间对象和空间关系中。在拓扑关系中,采用定义求交算子和决策树的形式化表达方式,对多维对象间的拓扑关系进行判断和描述,此处的重点是自定义的判断算子,通过自定义的判断算子来决定决策树的节点元素。在方位关系中,直接采用定量的描述方式,用角度的衡量值来说明,首先从点与线,线与线,点和区域之间的方位关系来推理,最后得到复杂对象间的方位关系的推导情况。在度量关系之中,采用定量的方式来描述,直接利用简单对象之间的最小距离和最大距离来衡量,是一个范围值,最后通过演算推导的方式得到复杂对象的度量关系。本文对基本空间对象的空间关系增加约束规则,设计了复杂对象间空间关系计算模型,构建了面向不同类型,不同维度的对象空间关系分析求解框架。在此模型中,通过对共形几何代数中的基本向量在计算机中采用二进制位来描述,依据共形几何代数中多重向量的层次关系,采用并行计算的方法来提高效率。以三角网求交算法为例,根据求交结果与传统的矢量方法,标量方法进行对比,发现本模型的并行求交算法的时间效率最高。利用共形几何代数对空间对象的表达和并行算法的研究,为其他复杂空间对象的表达和计算一体化提供了借鉴。

关键词：共形几何代数空间关系形式化表达并行方法

来源：评论

学校读者我要写书评

暂无评论

面向自然语言的空间位置信息形式化表达方法

面向自然语言的空间位置信息形式化表达方法

引用

作者：陈晓丹南京师范大学

学位级别：硕士

如何以计算机可以直接理解的形式对空间位置信息进行系统、规范的抽象与表达,是地理信息科学的重要基础理论问题。解决问题的关键在于如何将计算机求解问题的途径和地学问题求解的信息需求进行有机结合。空间位置信息作为地理信息最为... 详细信息

如何以计算机可以直接理解的形式对空间位置信息进行系统、规范的抽象与表达,是地理信息科学的重要基础理论问题。解决问题的关键在于如何将计算机求解问题的途径和地学问题求解的信息需求进行有机结合。空间位置信息作为地理信息最为基础的组成要素,对其描述模式进行抽象和形式化表示,是计算机求解问题的高效途径,而形式语言提供了一种对事物及其联系进行抽象表达的形式化工具。本文以自然语言为切入点,围绕空间位置信息“特征化-模式化-形式化”的技术路线,对空间位置信息形式化表达理论与方法进行了探索性研究。主要研究内容和结论包括以下几个方面：(1)自然语言中空间位置信息描述模式构建通过丰富与完善空间位置信息的定义与内涵,剖析了空间位置信息的基本组成要素,建立了空间位置信息的要素分类体系;分析了自然语言中空间位置信息的尺度、时空、模糊性和多样性等描述特点;以大规模空间位置信息标注语料为基础,针对空间位置信息的描述特点,系统归纳并采用图文结合的方式阐述了自然语言中28种空间位置信息描述模式,实现了空间位置信息从文本到规范化、结构化的表达形式的转换。(2)基于形式语言的空间位置信息形式化表达构建了空间位置信息从要素到模式、从定量到定性、从静态到动态的多层次形式化表达机制。在空间位置信息概念形式化定义的基础上,采用描述逻辑语言重点对空间位置信息组成要素中“空间对象、空间关系、属性信息、时间信息”要素进行形式化表达;以一阶谓词逻辑为基础,对由不同类型要素组合而成的空间位置信息描述模式进行形式化表达;以庐山为例,通过对实例文本中空间位置信息描述内容的模式类型划分,将不同描述模式转换为相对应的形式化描述,实现空间位置信息描述从“文本—形式化—图形化”的一体化表达。研究表明,自然语言和G1S中空间位置信息表达在空间参照、几何形态、定位、模糊性等方面存在较为显著的差异。通过自然语言中空间位置信息的形式化表达,有助于系统、深入揭示人类有关空间位置的认知和语言表达规律。特别是,大规模语料为空间位置信息描述模式的研究提供了较为完备的数据支撑;形式语言为自然语言中空间位置信息的多层次形式化提供了统一的数学符号系统和严密的逻辑表达系统,能够较为完善地表达空间位置信息描述的多样性和要素关系的复杂性,为进一步开展地理信息的形式化表达与计算奠定了基础。

关键词：空间位置信息描述模式形式化表达自然语言

来源：评论

学校读者我要写书评

暂无评论

类方衍化关系内涵分析及形式化表达

引用

世界中医药 2017年第11期12卷 2809-2813页

作者：朱彦高博崔蒙中国中医科学院中医药信息研究所北京100700

以前述类方概念研究为基础,结合目前方剂相似度研究的不足,分析了类方衍化关系自动发现的难点。然后,对类方衍化关系的内涵进行了剖析,提出其应包含变化、制方时间、药物组成和相似度等多方面的特征和因素。最后,对中药、方剂等概念和... 详细信息

以前述类方概念研究为基础,结合目前方剂相似度研究的不足,分析了类方衍化关系自动发现的难点。然后,对类方衍化关系的内涵进行了剖析,提出其应包含变化、制方时间、药物组成和相似度等多方面的特征和因素。最后,对中药、方剂等概念和关系进行形式化定义的基础上,完成了类方衍化关系的形式化表达,为后续类方衍化关系的判别模型的构建奠定了基础。

关键词：类方类方衍化关系形式化表达

来源：评论

学校读者我要写书评

暂无评论

一种基于地图图式的制图知识构建及形式化表达的方法

一种基于地图图式的制图知识构建及形式化表达的方法

引用

作者：李霖于忠海朱海红王红应申 430072 湖北省武汉市武昌区珞珈山武汉大学

本发明公开了一种基于地图图式的制图知识构建及形式化表达的方法，主要步骤包括：对基本比例尺地图图式中有关地图制图知识(文字形式)进行类别划分；对划分后的制图知识进行关键词抽象；设计不同类别制图知识的形式化表达方式；建立制... 详细信息

标准号: CN103870608A

本发明公开了一种基于地图图式的制图知识构建及形式化表达的方法，主要步骤包括：对基本比例尺地图图式中有关地图制图知识(文字形式)进行类别划分；对划分后的制图知识进行关键词抽象；设计不同类别制图知识的形式化表达方式；建立制图知识的数据库。研究制图知识形式化表达的目的是为地图制图的自动化服务，地图制图过程在利用制图知识时，首先需要对制图知识进行检索查询；然后再对检索出的制图知识进行解析；最终用于指导和规范地图制图过程。本发明提出一种基于地图图式的制图知识构建及形式化方法，方法易行，制图知识库易于扩展，能够满足国家基本比例尺地形图的制作成图。

关键词：地图制图图式形式化表达知识构建知识库地图比例尺地形图比例尺地图形式化方法知识形式化自动化服务检索查询类别划分文字形式成图解析检索数据库扩展研究

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：