形式化表示相关论文
用户界面作为向用户传递信息的直接桥梁,需要将界面中的信息合理地展现给用户。线框图是基于信息架构设计的,既能反映出信息架构的......
认知过程分析是当前信息科学研究的前沿与热点。而目前对在认知过程中所涉及问题如何表示及相互关系莫衷一是.本文基于商空间理论,......
模式的概念是建立在试图捕捉反复出现问题的解决方案的研究工作基础之上.软件模式为软件界提供了一种复用解决方案的新视点,并带来......
传统叙词表的本体化构建是目前叙词表发展的重要方向。当前叙词表转换为本体的描述语言有XML(S)、RDF(S)、SKOS、OWL等,文章通过对......
本文在综述受限语言研究成果的基础上，提出受限语言子集的一种形式化描述模型，并给出其相应的语言特性和数学特性，就受限汉语子集的确......
工作流技术是一个被业界广泛应用并迅速发展的技术,而工作流建模技术一直是工作流技术研究的重要课题之一,它的研究范围包括:工作......
当前，空间信息已经开始走向产业化，属于市场竞争和科技创新的热门话题。社会经济的持续发展，需要与自然资源的合理利用及生态环境的保......
函数是高中阶段重要的知识点,函数的思想贯穿于整个高中数学。函数又因其抽象性与形式化表示,使学生有所畏惧,又因考虑不周全、理......
提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别......
风险 从应用角度分析，局域网内部的风险点如下： （1）用户身份认证系统过于脆弱。过分依赖软件自带的口令机制，往往这种口令系统带......
本文介绍了一种实现图号自适应功能的方法，该方法采用图号树、图号网结构，避免图号处理受到多种表示形式的影响。同时在建立图号库之......
本文提出了一种描述机器装配的计算机表示方法(即机器装配的形式化方法).并给出了实例.主要就以下问题进行了讨论:(1)机器装配的符......
随着城市规模的不断扩大,道路标牌的有效管理是智能交通中的一个关键问题.本文在基于本体有机整合海量、多源、异构语义数据的基础......
一、引言 KDD是指从数据库中发现有价值信息的整个过程,而数据开采(DM)则是指在这个过程中的一个步骤,是针对某一具体问题的算......
本文讨论时间词语的形式化表示,提出表示所需的数学模型 Ptij,及四个主要的时间范畴:时段、时序、时态、时体及若干次范畴。各范畴......
由于自由曲面特征形状复杂多样，难以有效地进行表示。提出了一种以特征线为中心的曲面特征层次参数化的表示方法。该方法将特征......
句子褒贬相似度计算涵括了句子语形、语义及语用相似度计算，需要设计算法兼顾这三个平面。不同于以往的句子相似度计算方法，本文对特......
在VLSI电路的EDA和CAD工程中，需要有效的电路形式化表征及高效的数据结构在计算机内描述电路的拓扑结构。本文研究了VLSI电路在......
句群是比语句更高一级的语言单位，句群的理解结果直接影响篇章的理解结果。本文结合HNC句群处理的新研究成果，对句群的处理框架进行......
类似于P2P的动态服务系统的资源发现策略、评介指标及资源发现成本之间的关系对于资源发现系统的优化非常重要。本文以资源发现为......
在普适计算环境下，服务是动态变化的，而服务发现技术能够在动态变化的普适计算环境中动态查找、定位所需的服务，是解决普适计算环境异......
建立现代企业管理数据共享平台，首先要解决企业管理数据的表示问题。本文以基于本体的知识管理理论为指导，提出了企业管理领域数据知......
用户概貌是个性化服务的基础和核心。语义用户概貌是目前研究的发展方向。目前语义用户概貌缺乏自动化构建方法,大大影响了个性化......
本文主要介绍了觉察上下文计算中的重要部分─上下文模型,并对已有的模型进行了分析和比较。从中可以看出,基于本体的上下文模型以......
实施信息技术(IT)一定可以为企业带来回报吗?如何解释"IT悖论"?作者运用复杂适应系统理论(CAS)说明了企业的信息化过程是一个复杂......
计算机对自然语言中的查询语言理解的正确程度是自然语言接口质量好坏的关键.通过对汉语查询句的研究,建立并研究了复合概念、逻辑......
本文把个人助手Agent引人到个性化决策支持研究领域，在深入分析用户制定决策的过程和个性化决策支特助手所应具备的功能基础上，给出......
云是用语言值表示的某定性概念与其定量表示间的不确定性转换模型.本文在一维云基础上提出二维云的概念,实现二维云发生器及其相关......
本文给出了背景关联建构世界(BCW)和认知对象S的形式化表示(集合与矩阵表示);定义了认知问题(B,S)的全息集、共息集和认知关联度;......
在基于知识的系统中,如何建立知识库是建立知识系统的核心问题。本文讨论了深层知识系统以及目前专家系统开发过程中的若干问题。......
本文分析了目前在故障诊断专家系统知识库构造方面存在的问题，研究了大型旋转机械故障诊断领域知识的构成特点和表达形式．为了保证故......
要建立一个计算机辅助住宅设计（简称CAHD）系统最关键而且是必须解决的问题就是在系统内部建立一个住宅建筑表达模型。该文根据建筑的......
产品设计方法的成功应用取决于其形式化设计理论的建立.本文从形式化定义和设计过程描述这两个方面研究了产品设计的形式化描述方......
在创造性思维过程中的可能性构造空间理论框架（PCST）选择模型的基础上，利用该选择模型中TAKE，TEST和JUDGE三种算子，对人类科学发现中创......
研究了规则调度系统的性能分析问题。与传统的仿真研究方法比较，文中采用了基于Ｐｅｔｒｉ网的研究思路。首先运用Ｐｅｔｒｉ网给规则调度系统建模，得到调......
欧洲人工智能会议—ECAI 是两年一度的世界性人工智能学术研究会议,其规模与世界人工智能会议相当。第六届 ECAI 于1984年9月6日......
该文提出了一种应用域本体形式化建模方法,定义对应的形式化建模语言DORL,建立了DORL语言的集成开发框架,实现本体的语法和一致性......
针对中文叙词表等高受控词表的描述需求以及向细粒度本体的演化趋势,在已有中文叙词表本体研究成果的基础上,基于OWL DL和OWL2研究......
在对汉语复句分类的基础上,提出了基于模板的选择复句的改写方法。通过对选择复句进行分类及语法结构的形式化、数学描述,从而抽取......
功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析（FPA）现有的半形式化模型进行了扩充,然后形式化描述了......
从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。文中给出了特征分类、特征操作......
当我们用计算机进行问题的求解时,首先需要用适当的数据进行问题表示,然后再设计相应的算法对这些数据进行变换处理来获得问题的求......
