形式化表达相关论文
城市在经过快速发展之后会面临一系列城市问题,如热岛和城市蔓延等,只有更全面的认识和理解城市空间才能从根本上预防和解决这些问......
篇章理解涉及到篇章结构及其认知模型，文章结构是文章的内部形式，本文系统地介绍文章体系各种结构模式；篇章意义机内表示是自然语言篇......
数的运算历来是小学数学教学的重要内容。在践行新课改的前期,学生计算的速度及正确率普遍有所下降,笔算的基本技能偏低,不善于用......
一、引言 在中国语言学会第六届年会(厦门)的讨论会上,许多专家都认为,现代汉语语法研究中,80年代的重大成就和90年代的发展趋势......
XBRL财务报告的语义表达局限导致其数据质量难以控制，如何建立会计概念的语义形式化面临挑战。本文探索建立XBRL会计概念的语义......
信息化系统能给应用的业务领域带来巨大的变革，但是随着业务领域行业的功能细化与服务全面化，伴之而来的是给相关业务领域的信息化系......
拓扑关系是GIS表达和计算的重要基石,也是拓扑数据模型、空间索引、空间分析以及数据表达与可视化的核心组件。当前对拓扑关系的形......
目的:中医药术语标准是中医药信息学的重要组成部分,是支撑中医药信息学快速发展的基石。近年来中药术语标准化研究有了很大的发展......
数学是研究数量、结构、变化以及空间模型等概念的一门逻辑性很强的学科,在人类发展过程中一直起着举足轻重的作用。当今,为了适应......
在高中数学课程中,数学归纳法并不是一个“教师容易教,学生容易学”的单元.在教学实践中,教师们往往迫于教学进度的压力,在学生尚......
P．Thagard的计算理论是北美科学哲学认知研究中的一个重要流派。Thagard利用G．Miller关于词汇记忆的WordNet模型来讨论理论体系内概......
快速扩散制造是为了满足武器装备快速变批量生产需求而产生的一种先进生产模式,通过快速联合多企业制造资源以扩展现有企业制造能......
从人与产品的关系来看，设计过程起着中介的作用，它主要包括三方面的内容，即：设计工具、设计方法论和信息。设计工具是指人们在产品的设......
俞士文汶主编。商务印书馆2003年9月版,20.00元。该书从“基础”“算法”和“应用”三个方面,较为系统地介绍计算语言学的基础理论......
利用规则统一三维实体间的语义形式化表达,为建模提供统一的方法。利用三维矢量数据模型的框架,对直钻孔、斜孔、剖面、等值线、断......
针对虚拟地理环境下研究分布式协同地理建模的需要,基于多Agent系统的启发式算法,设计了地理建模任务分解方法。地理建模任务分解......
在介绍智能技术的研究途径的基础上，阐述各种智能技术在ＣＡＰＰ中的应用，对它们各自的优势和缺陷进行分析对比，并对ＣＡＰＰ的进一步智能化提出了新的......
基于对ＣＩＭ－ＯＳＡ中功能视图的形式化表达ＦＢＳ的分析及修改和完善，采用面向对象（Ｏ－Ｏ）的框架语言进行表达，产生面向对象的功能视图，进而实现建模设计阶段的......
一、高中函数教学现状1.高中函数教学存在的问题其一,是数学教材的问题.较之于传统的教材,高中函数新教材体现了人本主义思想.高中......
为了能为用户快速开发出使用不同指令格式的数控系统译码模块,提出了一种新型的译码模块结构.将译码模块划分为输入数据子模块、内......
随着数字地形分析(digital terrain analysis，DTA)应用建模在地学相关领域中的广泛应用，越来越多对DTA应用建模知识掌握不足的用户开......
地形数据的现势性问题日益突出，引起了广大用户和政府部门的高度关注。因此，地形数据增量信息的发布已经逐渐成为地形数据生产部门的......
我国危化品生产与运输企业产经营规模不断扩大,各类事故隐患和安全风险交织叠加,运输事故易发多发直接危及人民生命与财产安全。但......
针对当前营区规划过程中过于依赖主观经验、缺乏逻辑推理等问题和不足,为提高营区规划中的科学性与逻辑性,将可拓学中的可拓模型引......
叙述了基于多色集合的产品装配序列仿真的基本概念.给出了在产品装配多色集合PS(Polychromatic Sets)中表示元素存在条件的公式,并......
图书封面是书籍内容的形式化表达,在图书装帧设计中有着重要的地位和作用。封面设计在构图、图案和文字等表现形式方面,具有一定的......
提出了多色集合、合取多色集合和析取多色集合的基本概念及其数学表达式 .合取多色集合和析取多色集合是 2种常见的多色集合的压缩......
以汉字注记配置规则为研究对象,借助Gestalt原则,从读图者心理认知的角度对以往的经验型注记配置规则从接近性、连续性、相似性以......
事格语法 (Event-CaseGrammar,简称ECG文法 )以俄语为语料 ,以实现自然语言处理 (naturallan guageprocessing ,NLP)为目的 ,从认......
为了形式化地研究企业信息系统,提出了基于对象知识网的企业信息系统形式化方法。首先,研究了对象知识网及信息传递关系网的数学描......
计算思维是一种问题求解思维,其一般经历抽象—形式化表达-构造-自动化的方法路径,这也是具有计算思维特征的思维轨迹。同时,计算......
摘要 以前述类方概念研究为基础，结合目前方剂相似度研究的不足，分析了类方衍化关系自动发现的难点。然后，对类方衍化关系的内涵进行......
旁路攻击方法从密码算法在密码设备上实现时所泄漏出来的旁路物理信号入手进行分析,从中萃取出密码系统的秘密信息甚至密钥,开辟了......
以汉字注记配置规则为研究对象，借助Gestalt原则，从读图者心理认知的角度对以往的经验型注记配置规则从接近性、连续性、相似性以及......
文章提出了二种矩阵表达方法,它是运动方案自动化综合的基础.借助这种方法,机构域的连续设计空间被离散化为功能子空间,并且每一子......
项目简介：群智能优化算法具有收敛快、实现简单等优点，项目旨在为部分地图图形综合运算设计合理的群智能优化模型．本项目研究了地图目......
数学教学应多从现实出发， 从生活中寻求教学灵感，把数学知识与学生的生活实践联系， 实现适度的非形式化，使学生学习数学的兴趣更高、自......
在总结制造过程数据内容和分析现有制造过程数据表达方法的基础上,提出一种基于多色集合理论的制造过程数据形式化表达方法,将制造......
【正】引入"全信息"的理念,正是将复杂的信息作为主体对象来全面审视,也正是基于对信息的全面理解,我们才能寻找复杂的、非结构化......
叙述了基于多色集合的产品装配序列仿真的基本概念，给出了在产品装配多色集合PS（Polychromatic Sets）中表示元素存在条件的公式，并对该......
提出了多色集合、合取多色集合和析取多色集合的基本概念及其数学表达式．合取多色集合和析取多色集合是2种常见的多色集合的压缩形......
GIS中地理对象间的空间关系分析在空间数据建模、空间查询与分析,形式化表达与推理等过程中起着重要作用。目前空间关系研究,有偏......
利用功能-行为-状态建模思想,提出了基于IDEF的复杂机电系统状态解析方法。首先利用IDEF0建立复杂机电系统功能结构的形式化表达,......
