导读:本文包含了形式化表达论文开题报告文献综述及选题提纲参考文献，主要关键词:中医,欧几里得空间,方剂,中药
形式化表达论文文献综述
王瑞祥[1]（2019）在《基于欧几里得空间的中医语义形式化表达初探》一文中研究指出中医表达是建立在自然语言基础之上的,建立在自然语言基础上的中医理论和实践在继承、交流和传播上具有巨大优势。自然语言的不足在于理解的多元化和无法建立公认的规则,因而无法形成严谨的形式逻辑体系和推导范式。本研究尝试在欧几里得空间基础上对中医方剂和中药理论进行形式化转换,借用量子力学"刃矢""刁矢"等表达方式,引入向量、矩阵、内积、夹角余弦、量子态等概念,用计算结果解释中医现象,形成一系列的定义、定理和推论,为最终建立完备的中医药形式逻辑体系奠定基础。(本文来源于《江西中医药大学学报》期刊2019年01期）
雷明剑,于淼,鲁赢[2]（2016）在《作战任务协同过程形式化表达方法》一文中研究指出为实现联合作战条件下诸军兵种和各作战层级对作战任务的一致理解,更好组织和实施作战协同,从本体属性、相互间关系和所属行动3个方面对作战任务进行了形式化表达。基于形式化表达,提出了一种作战协同过程描述方法,该方法能够促进各级指挥员形成一致理解,有利于作战行动的组织实施。最后以美军伊拉克战争中的"5个同时攻击"为例,对作战任务协同过程形式化表达方法进行说明,验证了该方法的可行性和合理性。(本文来源于《装备学院学报》期刊2016年04期）
朱彦,刘静,刘丽红,高博,崔蒙[3]（2016）在《类方概念探析及形式化表达》一文中研究指出类方有组成结构相近、功效治法相类的特点,类方研究对方剂理论的总结和临床实践的指导均有重要价值。本文通过文献研究和专家咨询相结合的方法,界定了广义类方、衍化(狭义)类方、事实类方、理论类方等相关概念,并与衍生方、广义方剂衍化、加减方等近似概念进行对比和辨析,对类方衍化关系的组成结构从最简单的叁元组到最高级的类方树进行形式化表达,为使用计算机技术完成类方衍化关系的自动发现奠定了基础。(本文来源于《中国中医药图书情报杂志》期刊2016年03期）
江南,马健,武丽丽,孙启松[4]（2015）在《面向自动推荐的表示方法规则的形式化表达研究》一文中研究指出在利用专题制图软件制作统计专题地图时,普通用户由于没有表示方法知识,无法选择合适的表示方法表达专题要素。为了解决这一问题,本文将表示方法规则嵌入到制图软件中,深入研究了面向自动推荐的表示方法规则的形式化表达策略。先后介绍了表示方法规则的特征、表示方法简单规则和组合规则的形式化表达策略、表示方法规则的运行机制,最后进行了可用性试验,说明该形式化表达策略具有一定的理论和应用价值。(本文来源于《测绘通报》期刊2015年09期）
陈晓丹[5]（2015）在《面向自然语言的空间位置信息形式化表达方法》一文中研究指出如何以计算机可以直接理解的形式对空间位置信息进行系统、规范的抽象与表达,是地理信息科学的重要基础理论问题。解决问题的关键在于如何将计算机求解问题的途径和地学问题求解的信息需求进行有机结合。空间位置信息作为地理信息最为基础的组成要素,对其描述模式进行抽象和形式化表示,是计算机求解问题的高效途径,而形式语言提供了一种对事物及其联系进行抽象表达的形式化工具。本文以自然语言为切入点,围绕空间位置信息“特征化-模式化-形式化”的技术路线,对空间位置信息形式化表达理论与方法进行了探索性研究。主要研究内容和结论包括以下几个方面：(1)自然语言中空间位置信息描述模式构建通过丰富与完善空间位置信息的定义与内涵,剖析了空间位置信息的基本组成要素,建立了空间位置信息的要素分类体系；分析了自然语言中空间位置信息的尺度、时空、模糊性和多样性等描述特点；以大规模空间位置信息标注语料为基础,针对空间位置信息的描述特点,系统归纳并采用图文结合的方式阐述了自然语言中28种空间位置信息描述模式,实现了空间位置信息从文本到规范化、结构化的表达形式的转换。(2)基于形式语言的空间位置信息形式化表达构建了空间位置信息从要素到模式、从定量到定性、从静态到动态的多层次形式化表达机制。在空间位置信息概念形式化定义的基础上,采用描述逻辑语言重点对空间位置信息组成要素中“空间对象、空间关系、属性信息、时间信息”要素进行形式化表达；以一阶谓词逻辑为基础,对由不同类型要素组合而成的空间位置信息描述模式进行形式化表达；以庐山为例,通过对实例文本中空间位置信息描述内容的模式类型划分,将不同描述模式转换为相对应的形式化描述,实现空间位置信息描述从“文本—形式化—图形化”的一体化表达。研究表明,自然语言和G1S中空间位置信息表达在空间参照、几何形态、定位、模糊性等方面存在较为显着的差异。通过自然语言中空间位置信息的形式化表达,有助于系统、深入揭示人类有关空间位置的认知和语言表达规律。特别是,大规模语料为空间位置信息描述模式的研究提供了较为完备的数据支撑；形式语言为自然语言中空间位置信息的多层次形式化提供了统一的数学符号系统和严密的逻辑表达系统,能够较为完善地表达空间位置信息描述的多样性和要素关系的复杂性,为进一步开展地理信息的形式化表达与计算奠定了基础。(本文来源于《南京师范大学》期刊2015-05-15）
方厚良,罗灿[6]（2015）在《学习形式化的表达是数学教学的一项基本要求》一文中研究指出在我国基础教育阶段,对数学的形式化及其教学一直是个争论的话题,至今似乎仍无定论.影响较大的开端,源于1991年5月张孝达先生在西南师大的一个报告中"惊世骇俗"地提出"淡化概念",诱发西南师大陈重穆、宋乃庆二位教授撰写《淡化形式,注重实质》(发表于1993年第2期《数学教育学报》),继而引发国内学者对"形式"与"实质(本质)"的热烈探讨甚至争议.进入21世纪,随着新一轮课程改革的展开、深入,关于数学及其教(本文来源于《中学数学》期刊2015年09期）
陈洁[7]（2014）在《主观操作题的XML形式化表达及自动评阅》一文中研究指出提出一种基于XML技术实现Access操作题自动评阅的策略及实现方法.从数据库中提取对象的操作信息后,首先参照操作点配置文件,对操作信息进行过滤,然后用XML形式化表示,并将XML标记与数据库对象属性自动关联,通过对XML文档的解析实现自动评阅.详细介绍了配置文件的设置、XML的形式化表达、适应操作题灵活性多样性的评阅策略和错误的定位反馈.评阅系统在实际教学中得到有效应用,不仅适合考试题,也适合平时实验作业的评阅.(本文来源于《计算机系统应用》期刊2014年07期）
张颖敏,潘定,王东[8]（2014）在《XBRL元数据形式化语义表达与交互操作》一文中研究指出本文针对XBRL元数据的分布式特点,提出XBRL的分布式交互模型。通过对时态描述逻辑TDLBR进行扩展,提出用一种分布式时态扩展的描述逻辑DTDLBR来形式化表示XBRL中的分布式时态数据。并给出相应的语法解释,根据XBRL的分布式时态知识冲突的特点,构建适合分布式特点的推理算法,证明推理的可判定性。最后通过Jena的推理检验验证了方法的正确性和有效性。(本文来源于《中国会计学会第十叁届会计信息化年会报告论文集》期刊2014-06-21）
湛兴梦[9]（2014）在《临床指南的可视化表达与形式化转换的研究》一文中研究指出临床决策支持系统作为现代医疗信息化交叉领域的首要代表，逐步成为研究的热点。在临床决策支持系统中，最重要的支持部分是由各类临床指南所构成的知识库模块。临床指南作为科学严谨的医学知识来源，无论是对传统的临床实践活动还是现代基于计算机的智能决策系统都是重要的研究对象。合理地利用临床指南能够有效地提高临床诊疗过程的安全性、控制临床服务质量及增强医护成本效益，它的重要性已得到医疗工作者普遍认可。但目前大多数的临床指南都是基于静态文本形式的，对于医生在日常工作中查阅参考极为不便，很难规范合理地在临床实践得以应用。为了解决临床指南发展过程中遇到的障碍，提高对临床指南的利用率，以便使其高效地且智能地为临床实践活动中的医生提供医疗决策建议，本文结合计算机学科的相关技术，将基于静态文本形式的临床指南转变为形式化的临床指南知识库，具有重要的研究意义。为了能解决好临床指南知识的形式化转换，本文以实验室国家自然科学基金项目为依托，参阅大量的相关科研及临床指南文献，提出了自己表达临床指南知识的语言，然后综合比较现有的临床指南可视化表达方式，提取出用于本文研究的可视化流程图绘制符号元素并设计出与符号元素相对应的临床知识模块，最后运用计算机科学的相关技术实现这一临床指南知识的采集工具——CGET工具。本文的主要工作包括：对现有各种比较典型的临床指南表达模型进行分析，提出中一种表达指南知识的模型元素，作为本文的基本建模元素；对可视化流程表现方式进行比较，选择医学流程图作为本文可视化知识采集工具实现的可视化目标，并结合临床指南特点设计了在绘制医学流程图过程中应遵循的绘制规范；提出用于临床知识建模的元素后设计出了对应于每一种模型元素的知识转化模块，并使用计算机科学的相关技术对模型进行转换编码，实现用于临床知识采集的编辑工具；对具体实现算法进行介绍并结合小儿尿道感染经典案例，描述临床指南知识采集工具的可视化表达与形式化转换的实现原理。(本文来源于《湖北工业大学》期刊2014-06-01）
田晶,何青松,颜芬[10]（2014）在《道路网stroke生成问题的形式化表达与新算法》一文中研究指出首先,将道路网stroke生成问题形式化表达为聚类问题;然后,在该表达下提出了基于层次聚类思想的stroke生成算法,并进行了算法的时间复杂度分析和算法特性分析。最后,用深圳市1∶5万道路网对该算法进行了验证。(本文来源于《武汉大学学报(信息科学版)》期刊2014年05期）
形式化表达论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为实现联合作战条件下诸军兵种和各作战层级对作战任务的一致理解,更好组织和实施作战协同,从本体属性、相互间关系和所属行动3个方面对作战任务进行了形式化表达。基于形式化表达,提出了一种作战协同过程描述方法,该方法能够促进各级指挥员形成一致理解,有利于作战行动的组织实施。最后以美军伊拉克战争中的"5个同时攻击"为例,对作战任务协同过程形式化表达方法进行说明,验证了该方法的可行性和合理性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
形式化表达论文参考文献
[1].王瑞祥.基于欧几里得空间的中医语义形式化表达初探[J].江西中医药大学学报.2019
[2].雷明剑,于淼,鲁赢.作战任务协同过程形式化表达方法[J].装备学院学报.2016
[3].朱彦,刘静,刘丽红,高博,崔蒙.类方概念探析及形式化表达[J].中国中医药图书情报杂志.2016
[4].江南,马健,武丽丽,孙启松.面向自动推荐的表示方法规则的形式化表达研究[J].测绘通报.2015
[5].陈晓丹.面向自然语言的空间位置信息形式化表达方法[D].南京师范大学.2015
[6].方厚良,罗灿.学习形式化的表达是数学教学的一项基本要求[J].中学数学.2015
[7].陈洁.主观操作题的XML形式化表达及自动评阅[J].计算机系统应用.2014
[8].张颖敏,潘定,王东.XBRL元数据形式化语义表达与交互操作[C].中国会计学会第十叁届会计信息化年会报告论文集.2014
[9].湛兴梦.临床指南的可视化表达与形式化转换的研究[D].湖北工业大学.2014
[10].田晶,何青松,颜芬.道路网stroke生成问题的形式化表达与新算法[J].武汉大学学报(信息科学版).2014