检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

RCC的可数核心模型

计算机科学 2016年第4期43卷 241-246,273页

作者：赵晓蓉余泉王驹黔南民族师范学院计算机科学系都匀558000 黔南民族师范学院数学系都匀558000 桂林电子科技大学广西可信软件重点实验室桂林541004

空间逻辑是人工智能领域中的研究热点,RCC系统(GRCC系统)是其中最受关注的一个形式化系统。从连接关系的冗余和非冗余性质出发,给出了核心模型的定义,并且证明了核心模型的存在性定理。讨论了RCC模型的个体(相当于空间中的物体)内部连通... 详细信息

空间逻辑是人工智能领域中的研究热点,RCC系统(GRCC系统)是其中最受关注的一个形式化系统。从连接关系的冗余和非冗余性质出发,给出了核心模型的定义,并且证明了核心模型的存在性定理。讨论了RCC模型的个体(相当于空间中的物体)内部连通性,证明了该内部连通性是一阶语义可定义的。基于内部连通性,证明了核心模型的外延定理。

关键词：空间逻辑 RCC 最小连通核心模型

在线全文

学校读者我要写书评

暂无评论

美国健康信息管理核心模型分析及启示

中国医院管理 2015年第1期35卷 78-80页

作者：刘海通张士靖华中科技大学同济医学院医药卫生管理学院湖北武汉430030

通过对美国健康信息管理领域从业者核心模型的分析,了解其对美国未来健康信息管理从业者工作职能、工作环境和工作职位变化的预测。健康信息管理职能包含6个核心领域和4个扩展领域,新的健康信息管理从业者工作环境和工作职位将不断诞生... 详细信息

通过对美国健康信息管理领域从业者核心模型的分析,了解其对美国未来健康信息管理从业者工作职能、工作环境和工作职位变化的预测。健康信息管理职能包含6个核心领域和4个扩展领域,新的健康信息管理从业者工作环境和工作职位将不断诞生。未来健康信息管理教育也会根据健康信息管理行业的发展与时俱进,培养适应未来健康信息管理发展的高端人才,健康信息管理教育层次也将进一步提升。提示我国的健康信息管理专业协会和教育机构应该借鉴国际经验,发挥更大的作用。

关键词：健康信息管理美国健康信息管理协会核心模型

公立医院经济管理大数据平台的核心模型及模拟运行

在线全文

学校读者我要写书评

暂无评论

卫生经济研究 2017年第8期34卷 12-16页

作者：王成施薇薇孙磊罗香葆黄龙梅北京市卫生会计核算服务中心北京100055 首都儿科研究所北京100020 北京市卫生和计划生育委员会北京100053 北京清华长庚医院北京100044

提出公立医院经济管理大数据平台构建的原则和"三维靶向"数据核心模型——从业务流程(X轴)、管理主体(Y轴)以及数据流程架构中,实现对医院经济管理大数据平台的"三维"实时动态分析与应用。

关键词：医院经济管理大数据平台公立医院核心模型模拟运行

在线全文

学校读者我要写书评

暂无评论

RCC的可数核心模型

RCC的可数核心模型

作者：耿继兵广西师范大学

学位级别：硕士

空间逻辑是当前计算机理论、人工智能理论领域中正在兴起,而又具强大生命力的学科。在很短的时间内,国内外形成很多科研团体,各个国家投入大量的科研经费。新的文献如此之多,其规模和发展的速度,当前很少有其它的学科可以与之相比。经... 详细信息

空间逻辑是当前计算机理论、人工智能理论领域中正在兴起,而又具强大生命力的学科。在很短的时间内,国内外形成很多科研团体,各个国家投入大量的科研经费。新的文献如此之多,其规模和发展的速度,当前很少有其它的学科可以与之相比。经典的文献巨著Handbook of Spatial Logic [1]在2007年出版,有1000多页,由此可见一斑。 RCC(Region Connection Calculus)系统是其中最有影响力的一个形式化空间推理系统。国内外专家对其可数模型做了广泛、深入的研究。(Li∕Ying[李三江及应明生]、Düntsch、Wang and Mccloskey、Stell等)。但当前讨论的RCC (及GRCC)的模型理论仍有一定的缺陷,如缺乏数学的和逻辑的统一的框架设置等。我们从连接关系C(x, y)的非冗余性的角度考察已知的可数模型,提出了核心模型的概念并对其作了较深入的研究。由此,本文对该前沿领域的独创性贡献是在RCC系统的模型研究方面。主要工作有如下几点: (ⅰ)在严格的代数理论基础上建立了RCC的核心模型Bc(Core model of RCC)。我们证明:当前国际前沿中主要的三种模型,即Li及Ying的最小模型Bω;Düntsch的边缘模型Bx;Stell的图模型B?,都是在Bc的基础上对关系C(x, y)用不同的方式扩充的结果。核心模型的建立,使得我们可以在统一的框架中处理三种不同的模型,澄清了当前领域文献中的理论疑点,为发现和建立更自然、适用的空间推理的模型打开了一个新的窗口。 (ⅱ)提出和讨论了核心模型的一阶可定义的连通性公理,由此证明核心模型Bc与国际领域中熟知的三个模型Bω、Bx和B?都不同构。 (ⅲ)探讨了一般RCC模型的紧致性,构建了一类线序式核心模型Bl。线序模型在实用的技术研究方面有独特的价值。总的来说,一个好的形式化逻辑体系一定是由一个好的语义模型产生的。而我们的结果是为更好的语义研究建立了一个较好的基础,开辟了更多的工作空间。

关键词：空间逻辑 RCC 最小连通核心模型

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

产品开发过程中数字化核心模型的研究与应用

制造业自动化 2003年第Z1期25卷 105-109页

作者：薄晓军姚珺刘芳北京理工大学机械工程与自动化学院北京100081

针对当前的产品开发过程,提出了建立面向生命周期不同阶段的数字化核心模型.该模型具有顺序的信息层次结构,其建立过程在产品开发的阶段中,通过建立起产品的相关设计模型:结构模型、制造模型、装配模型、工程分析模型等模型族,经过信息... 详细信息

针对当前的产品开发过程,提出了建立面向生命周期不同阶段的数字化核心模型.该模型具有顺序的信息层次结构,其建立过程在产品开发的阶段中,通过建立起产品的相关设计模型:结构模型、制造模型、装配模型、工程分析模型等模型族,经过信息转换、过滤机制,将设计模型转换为领域设计模型,组成数字化的核心模型,为其他领域提供数据信息.

关键词：核心模型领域设计模型信息转换信息过滤

从“套餐”说开去——试论广电BOSS系统的核心模型

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中国数字电视 2008年第4期 68-69页

作者：邓涛杭州华视数字技术有限公司

随着有线数字电视化的不断深入,发展综合业务已成为有线运营的必然方向,为此,广电BOSS应运而生。广电综合业务运营支撑系统首先应全面支持数字电视、宽带上网、互动电视三大主营业务,以一个统一的运营平台面对客户,同时,在架构上要充分... 详细信息

随着有线数字电视化的不断深入,发展综合业务已成为有线运营的必然方向,为此,广电BOSS应运而生。广电综合业务运营支撑系统首先应全面支持数字电视、宽带上网、互动电视三大主营业务,以一个统一的运营平台面对客户,同时,在架构上要充分考虑到未来增值业务的接入问题。为了实现以客户为中心的运营目标,系统的客户数据及账务数据应集中统一管理,同时可与多种业务设备相联。

关键词：增值业务核心模型套餐业务运营支撑系统广电以客户为中心政策模型统一管理多种业务账务管理

基于AI应用的核心模型提取研究——以股票软件编程为例

在线全文

学校读者我要写书评

暂无评论

移动信息 2024年第10期46卷 323-326页

作者：史鑫达张佳佳镇江市民防(人防)指挥信息保障中心江苏镇江212000 镇江高等职业技术学校江苏镇江212000

为研究使用AI应用进行对话获得核心模型的过程,文中采用股票软件编程这一典型应用方向,进行了设计编程验证,最终得到了具有一定价值的程序代码。同时,通过这一过程,明晰了如何利用AI应用得到所需模型的具体流程。另外,针对这一过程的重... 详细信息

为研究使用AI应用进行对话获得核心模型的过程,文中采用股票软件编程这一典型应用方向,进行了设计编程验证,最终得到了具有一定价值的程序代码。同时,通过这一过程,明晰了如何利用AI应用得到所需模型的具体流程。另外,针对这一过程的重要关键节点,即模型训练和调优,文中给出了具体的设计方法建议,并对未来AI应用的发展方向提出了改进意见。

关键词： AI应用核心模型股票软件编程模型训练和调优

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

产品开发过程中数字化核心模型的研究与应用

产品开发过程中数字化核心模型的研究与应用

先进制造技术论坛暨第二届制造业自动化与信息化技术交流会

作者：薄晓军姚珺刘芳北京理工大学机械工程与自动化学院

针对当前的产品开发过程,提出了建立面向生命周期不同阶段的数字化核心模型。该模型具有顺序的信息层次结构,其建立过程在产品开发的阶段中,通过建立起产品的相关设计模型:结构模型、制造模型、装配模型、工程分析模型等模型族,经过信... 详细信息

针对当前的产品开发过程,提出了建立面向生命周期不同阶段的数字化核心模型。该模型具有顺序的信息层次结构,其建立过程在产品开发的阶段中,通过建立起产品的相关设计模型:结构模型、制造模型、装配模型、工程分析模型等模型族,经过信息转换、过滤机制,将设计模型转换为领域设计模型,组成数字化的核心模型,为其他领域提供数据信息。

关键词：核心模型领域设计模型信息转换信息过滤

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

OGC成员批准符号概念核心模型新标准

测绘标准化 2021年第1期37卷 37-37页

2020年10月,开放地理空间信息联盟(OGC)全体成员一致同意将《符号概念模型:核心部分》(Symbology Conceptual Model:Core Part)作为OGC的一项新标准。OGC现行的样式表达与符号标准只能与少数OGC标准(如OGC网络地图服务等)一起使用,为了... 详细信息

2020年10月,开放地理空间信息联盟(OGC)全体成员一致同意将《符号概念模型:核心部分》(Symbology Conceptual Model:Core Part)作为OGC的一项新标准。OGC现行的样式表达与符号标准只能与少数OGC标准(如OGC网络地图服务等)一起使用,为了跨OGC标准使用,还需要开发更通用的、可移植的符号模型,而《符号概念模型:核心部分》则满足了这一要求。

关键词：网络地图服务地理空间信息 OGC 概念模型符号模型核心模型可移植