形式化表达相关论文
城市在经过快速发展之后会面临一系列城市问题,如热岛和城市蔓延等,只有更全面的认识和理解城市空间才能从根本上预防和解决这些问......
随着知识经济的兴起,越来越多的军工企业开始构建自身的知识管理系统。调研发现,目前大部分知识管理系统在底层知识资源的表达和组......
信息化系统能给应用的业务领域带来巨大的变革，但是随着业务领域行业的功能细化与服务全面化，伴之而来的是给相关业务领域的信息化系......
拓扑关系是GIS表达和计算的重要基石,也是拓扑数据模型、空间索引、空间分析以及数据表达与可视化的核心组件。当前对拓扑关系的形......
地理本体是目前地理信息科学中研究热点之一,学术界希望通过地理本体的理论和技术研究来解决地理信息的语义表达、共享和互操作等......
地形数据的现势性问题日益突出，引起了广大用户和政府部门的高度关注。因此，地形数据增量信息的发布已经逐渐成为地形数据生产部门的......
我国危化品生产与运输企业产经营规模不断扩大,各类事故隐患和安全风险交织叠加,运输事故易发多发直接危及人民生命与财产安全。但......
叙述了基于多色集合的产品装配序列仿真的基本概念.给出了在产品装配多色集合PS(Polychromatic Sets)中表示元素存在条件的公式,并......
提出了多色集合、合取多色集合和析取多色集合的基本概念及其数学表达式 .合取多色集合和析取多色集合是 2种常见的多色集合的压缩......
以汉字注记配置规则为研究对象,借助Gestalt原则,从读图者心理认知的角度对以往的经验型注记配置规则从接近性、连续性、相似性以......
事格语法 (Event-CaseGrammar,简称ECG文法 )以俄语为语料 ,以实现自然语言处理 (naturallan guageprocessing ,NLP)为目的 ,从认......
为了形式化地研究企业信息系统,提出了基于对象知识网的企业信息系统形式化方法。首先,研究了对象知识网及信息传递关系网的数学描......
计算思维是一种问题求解思维,其一般经历抽象—形式化表达-构造-自动化的方法路径,这也是具有计算思维特征的思维轨迹。同时,计算......
摘要 以前述类方概念研究为基础，结合目前方剂相似度研究的不足，分析了类方衍化关系自动发现的难点。然后，对类方衍化关系的内涵进行......
旁路攻击方法从密码算法在密码设备上实现时所泄漏出来的旁路物理信号入手进行分析,从中萃取出密码系统的秘密信息甚至密钥,开辟了......
文章提出了二种矩阵表达方法,它是运动方案自动化综合的基础.借助这种方法,机构域的连续设计空间被离散化为功能子空间,并且每一子......
数学教学应多从现实出发， 从生活中寻求教学灵感，把数学知识与学生的生活实践联系， 实现适度的非形式化，使学生学习数学的兴趣更高、自......
在总结制造过程数据内容和分析现有制造过程数据表达方法的基础上,提出一种基于多色集合理论的制造过程数据形式化表达方法,将制造......
GIS中地理对象间的空间关系分析在空间数据建模、空间查询与分析,形式化表达与推理等过程中起着重要作用。目前空间关系研究,有偏......
利用功能-行为-状态建模思想,提出了基于IDEF的复杂机电系统状态解析方法。首先利用IDEF0建立复杂机电系统功能结构的形式化表达,......
目前,专题制图规则库的研究还较少,主要是规则总结及形式化表达难度较大。针对这一情况,本文从技术实现的可能性和面向应用的角度......
概念设计是机械产品生命周期中决定产品质量、成本和创新性的重要阶段。本文在系统综述计算机辅助概念设计、产品基因以及生长型设......
针对产品设计初期各种因素的不确定性,论文提出需求设计和方案求解协同演化创新设计方法。首先,研究需求是如何进行定义与描述的,......
为了有效地实现分布式协同地理建模中的合作规划和资源共享,通过分析分布式协同地理建模中任务分解过程,探讨地理建模任务的功能结......
针对加工制造资源本身的特点，从其固有属性出发，把加工制造资源中的关键资源一人力资源、设备资源、知识资源，动态关联起来，集成一体，形......
本文在总结地名本体基本概念的基础上,介绍了国内外地名词典以及地名本体研究现状、本体基本理论与技术方法以及本体表示语言的演......
以汉字注记配置规则为研究对象,借助Gestalt原则,从读图者心理认知的角度对以往的经验型注记配置规则从接近性、连续性、相似性以......
