咨询与建议

限定检索结果

文献类型

  • 83 篇 期刊文献
  • 13 篇 学位论文
  • 1 篇 会议

馆藏范围

  • 97 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 58 篇 工学
    • 31 篇 计算机科学与技术...
    • 27 篇 软件工程
    • 6 篇 机械工程
    • 6 篇 控制科学与工程
    • 5 篇 仪器科学与技术
    • 5 篇 电气工程
    • 4 篇 电子科学与技术(可...
    • 4 篇 网络空间安全
    • 2 篇 建筑学
    • 2 篇 航空宇航科学与技...
    • 2 篇 公安技术
    • 1 篇 力学(可授工学、理...
    • 1 篇 光学工程
    • 1 篇 动力工程及工程热...
    • 1 篇 信息与通信工程
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
  • 22 篇 教育学
    • 22 篇 教育学
  • 19 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 2 篇 公共管理
  • 7 篇 理学
    • 3 篇 数学
    • 2 篇 系统科学
    • 1 篇 物理学
    • 1 篇 地理学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 97 篇 抽象模型
  • 3 篇 建模
  • 3 篇 计算机
  • 3 篇 计算机网络
  • 3 篇 数学模型
  • 2 篇 电流密度
  • 2 篇 结构化
  • 2 篇 关系数据库
  • 2 篇 xml
  • 2 篇 具象模型
  • 2 篇 广义kra抽象模型
  • 2 篇 运输层协议
  • 2 篇 电磁定理
  • 2 篇 教学设计
  • 2 篇 本体
  • 2 篇 应用
  • 2 篇 信息结构
  • 2 篇 合理度分析
  • 2 篇 运算
  • 2 篇 应用模型

机构

  • 3 篇 华中科技大学
  • 3 篇 上海交通大学
  • 3 篇 吉林大学
  • 2 篇 东南大学
  • 2 篇 宁德市民族中学
  • 2 篇 中南民族大学
  • 2 篇 西北工业大学
  • 2 篇 华东师范大学
  • 2 篇 湖北大学
  • 2 篇 南京航空航天大学
  • 2 篇 华南理工大学
  • 2 篇 浙江大学
  • 2 篇 东北大学
  • 1 篇 长安大学
  • 1 篇 中国教育科学研究...
  • 1 篇 南京林业大学
  • 1 篇 苏州科技大学
  • 1 篇 昆明市第三中学呈...
  • 1 篇 随州市气象局
  • 1 篇 电子科学技术大学

作者

  • 3 篇 李农
  • 2 篇 顾冠群
  • 2 篇 欧阳丹彤
  • 2 篇 施建梁
  • 2 篇 李梅
  • 2 篇 孙善武
  • 2 篇 王楠
  • 2 篇 潘建平
  • 2 篇 翟保荣
  • 1 篇 秦波
  • 1 篇 徐丙凤
  • 1 篇 贾红雨
  • 1 篇 张社民
  • 1 篇 师小丽
  • 1 篇 姚小乐
  • 1 篇 朱小红
  • 1 篇 透明
  • 1 篇 刘挺
  • 1 篇 陈玮
  • 1 篇 谷勇浩

语言

  • 97 篇 中文
检索条件"主题词=抽象模型"
97 条 记 录,以下是1-10 订阅
排序:
软件模型检测中的抽象模型研究综述
收藏 引用
计算机研究与发展 2015年 第7期52卷 1580-1603页
作者: 魏欧 石玉峰 徐丙凤 黄志球 陈哲 南京航空航天大学计算机科学与技术学院 南京210016 南京林业大学信息科学技术学院 南京210037
抽象是解决模型检测中状态爆炸问题的一个基本方法.对近年来软件模型检测研究中所提出的一系列抽象模型进行综述.首先以抽象解释为理论框架阐述了抽象软件模型检测的各组成部分.然后根据模型的结构和功能特征,将抽象模型分为3类:1)传统... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
信息系统的LOODS抽象模型
收藏 引用
计算机研究与发展 1996年 第11期33卷 849-853页
作者: 齐德昱 华南理工大学计算机工程与科学系
LOODS抽象模型是我们提出的一种直接建立在需求分析之上的面向分布式并发/并行信息系统的、支持网络计算、面向对象方法与可视化方式的开发方法与工具。它的主导思想是分析、设计的模型化,支撑环境与工具的可视化、面向对象化。... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种新的状态参数及过程的抽象模型
收藏 引用
大庆石油学院学报 1997年 第3期21卷 69-72页
作者: 姜慧娟 张辉 大庆石油学院建筑工程系
发展了一种面向对象的状态参数及热力过程的抽象模型,这种模型可以利用对象的多态性和虚拟方法在没有源代码的条件下被继承、修改和扩充。这种模型的应用可以使得热能动力工程和制冷工程设计中的状态参数和热力过程计算软件的重复使用... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
面向机体的人工智能语言——Ein的抽象模型
收藏 引用
小型微型计算机系统 1989年 第2期10卷 12-17,32页
作者: 江明德 宜识 电子科学技术大学
为了使人工智能语言具有下述各项特征: ·出现于面向对象(object-oriented)程序设计及诸如此类语言中的各种各样概念和设施予以统一化。 ·使语言具有“计算反思(computational reflection)”的能力,从而达到语言与其支撑环境的一体化,... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
广义KRA抽象模型
收藏 引用
吉林大学学报(理学版) 2009年 第3期47卷 537-542页
作者: 孙善武 王楠 欧阳丹彤 长春税务学院网络实验中心 长春130117 吉林大学符号计算与知识工程教育部重点实验室 长春130012 长春税务学院信息系 长春130117
针对KRA抽象模型的表示框架进行扩展,将感知过程分解为初步感知过程和抽象感知过程两部分:初步感知过程将该模型提供的一个框架R表示世界W在初步感知系统P的作用下映射为P(W),该过程不改变W中具体对象的实体属性;抽象感知过程将P(W)在... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
软件体系结构抽象模型
收藏 引用
计算机学报 2002年 第7期25卷 730-736页
作者: 赵会群 王国仁 高远 北方工业大学计算机科学系 北京100041 东北大学计算机科学与工程系 沈阳110004
针对软件体系结构描述语言 (Architecture Description L anguages,ADL s)在动态、可进化和可扩充特征描述能力的不足 ,用抽象代数理论对组件、连接器和软件体系结构的属性和行为特征进行抽象 ,提出了组件连接“运算”这一新的观点 ,给... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
有限元分析抽象模型的建立及网格化
收藏 引用
哈尔滨工业大学学报 1997年 第1期29卷 50-52页
作者: 满波 林国成 程世才 机器人研究所
提出了有限元分析抽象模型的概念,并给出了建立抽象模型的自动分割算法,“特殊内环”的引入使网络单元边与属性边的“交叉”现象得以避免,完全实现了基于抽象模型的二维有限元网络全自动生成,从而使有限元的全自动建模成为现实。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
新版DC元数据抽象模型研究
收藏 引用
图书情报工作 2008年 第12期52卷 129-132页
作者: 赵以安 中国科学技术信息研究所 北京100038 中国社会科学院图书馆 北京100732
概要介绍新版DC元数据抽象模型,详细分析新版抽象模型的三个主要组成部分:资源模型、描述集模型和词表模型。在此基础上,分析新版抽象模型对旧版的改进以及对DC元数据编码规范、术语词表、应用纲要的影响。最后指出,抽象模型的完善必将... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
面向对象的变电站网络通信抽象模型
收藏 引用
计算机工程与应用 2002年 第12期38卷 210-212页
作者: 孙军平 盛万兴 王孙安 西安交通大学 西安710049 中国电力科学研究院 北京100085
变电站自动化系统随着计算机网络技术的发展和相关国际标准的颁布,必将走向以工业以太网为平台的开放式、全分布式、全数字式、可互操作的网络通信系统。该文在深入研究的基础上,提出了基于统一建模语言UML的变电站自动化系统的功能、... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
扩展的G-KRA抽象模型
收藏 引用
吉林大学学报(理学版) 2010年 第6期48卷 970-974页
作者: 王楠 欧阳丹彤 孙善武 沐光雨 吉林大学计算机科学与技术学院 长春130012 吉林财经大学信息学院 长春130117 吉林财经大学网络实验中心 长春130117
将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程,根据物理世界W中对象所属域的不同生成多重域抽象模型,并讨论了两种情况下域抽象模型Wi和Wj间的域关系:W的多重域模型Wi和Wj中的构成对象交集为空(即Wi和Wj中不存在有... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论