期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
39
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于功能点的软件度量在项目管理中的应用
被引量:
5
1
作者
王颖
柳小军
郭继光
《中国电子科学研究院学报》
2013年第1期81-85,共5页
软件规模度量是项目管理者在整个项目周期进行项目跟踪和评估的基础。介绍了一种通用的FSM抽象数据模型,并通过对各种度量方法的分析及对典型工程的应用分析,认为借助功能点分析方法建立一个有效的度量体系,将有效改善项目管理的各个环...
软件规模度量是项目管理者在整个项目周期进行项目跟踪和评估的基础。介绍了一种通用的FSM抽象数据模型,并通过对各种度量方法的分析及对典型工程的应用分析,认为借助功能点分析方法建立一个有效的度量体系,将有效改善项目管理的各个环节。功能点是被证实的可信的软件规模度量方法,它在软件定价、变更管理、项目估算等方面可以起到积极的作用。
展开更多
关键词
软件度量
抽象数据模型
功能点分析
项目管理
下载PDF
职称材料
面向大数据流式计算的任务管理技术综述
被引量:
10
2
作者
梁毅
侯颖
+1 位作者
陈诚
金翊
《计算机工程与科学》
CSCD
北大核心
2017年第2期215-226,共12页
流式计算是大数据的一种重要计算模式,大数据流式计算已成为研究热点。任务管理是大数据流式计算的核心功能之一,负责对流式计算的任务进行资源调度及全生命周期管理。目前对于大数据流式计算的技术调研工作主要集中于流式计算应用需求...
流式计算是大数据的一种重要计算模式,大数据流式计算已成为研究热点。任务管理是大数据流式计算的核心功能之一,负责对流式计算的任务进行资源调度及全生命周期管理。目前对于大数据流式计算的技术调研工作主要集中于流式计算应用需求、体系结构及整体技术,缺乏对大数据流式计算任务管理技术的精细化调研分析。首先给出流式计算任务管理的抽象功能模型,其次基于该模型对任务管理的关键技术进行了分类和综述,最后对既有主流的大数据流式计算系统对上述关键技术的应用、集成和优化进行了调研分析。
展开更多
关键词
大数据流式计算
任务管理
抽象功能模型
资源分配
数据分发
容错
下载PDF
职称材料
基于对象关系数据库的时空数据模型研究
被引量:
4
3
作者
高勇
林星
+3 位作者
刘瑜
邬伦
陈斌
马修军
《地理与地理信息科学》
CSCD
北大核心
2006年第3期26-30,共5页
一体化时空数据建模是新一代GIS理论与技术研究的重要基础。基于对象关系数据库探讨时空数据库的数据建模方法,提出综合考虑矢量和栅格数据一体化的时空数据模型。首先基于基本类型派生定义矢量和栅格抽象数据类型,在此基础上定义时空...
一体化时空数据建模是新一代GIS理论与技术研究的重要基础。基于对象关系数据库探讨时空数据库的数据建模方法,提出综合考虑矢量和栅格数据一体化的时空数据模型。首先基于基本类型派生定义矢量和栅格抽象数据类型,在此基础上定义时空数据类型为一系列空间类型的时间片序列。该抽象数据类型的定义包括其数据对象和相关操作,将其嵌入对象关系数据库中,扩展其时空数据的存储和查询能力。利用该数据模型,可以统一考虑矢量和栅格数据,建立基于对象关系的时空数据库,并支持矢量—栅格一体化时空数据访问和操作,进而对新一代GIS技术的研究与实现起到重要支撑作用。
展开更多
关键词
时空数据模型
对象关系数据库
空间数据库
抽象数据类型
下载PDF
职称材料
时空对象关系模型研究
被引量:
3
4
作者
金培权
岳丽华
赵振西
《小型微型计算机系统》
CSCD
北大核心
2004年第7期1188-1192,共5页
时空数据模型是时空数据库的研究重点之一 .以往提出的时空数据模型存在着不同的缺点 .本文以抽象数据类型为基础 ,提出了一个基于对象关系模型的时空对象关系模型 STORM,给出了 STORM的形式化定义 。
关键词
时空数据库
对象关系模型
数据模型
抽象数据类型
下载PDF
职称材料
继电保护及故障信息系统通信模型研究
被引量:
7
5
作者
古锋
《电网技术》
EI
CSCD
北大核心
2007年第7期73-77,共5页
对于继电保护及故障信息系统的通信结构至今还没有系统化的解决方法,此外目前的继电保护及故障信息系统存在接入装置或采用的通信协议互不兼容、系统升级和维护成本高、开放性较差等问题。为此,文章提出了继电保护及故障信息系统的通信...
对于继电保护及故障信息系统的通信结构至今还没有系统化的解决方法,此外目前的继电保护及故障信息系统存在接入装置或采用的通信协议互不兼容、系统升级和维护成本高、开放性较差等问题。为此,文章提出了继电保护及故障信息系统的通信模型,提出了继电保护及故障信息系统的分层通信结构,规定了每层接口完成的功能。为支持主站的应用,提出了公共数据模型的概念,并将其分为一次系统公共信息模型和二次系统公共信息模型。对于站内数据通信,以IEC61850为基础,提出了信息服务模型的概念并定义了其基本功能。
展开更多
关键词
IEC
61850
通信服务模型
抽象通信服务接口
公共数据模型
下载PDF
职称材料
航天器数据管理系统软件的自动化测试系统设计
被引量:
9
6
作者
窦钠
张红军
+1 位作者
范延芳
王向晖
《航天器工程》
CSCD
北大核心
2018年第1期143-148,共6页
针对目前航天器数据管理系统软件人工测试存在的测试效率低、测试有效性差的问题,提出一种数据管理系统软件的自动化测试系统设计,在虚拟的数据管理系统设备上运行数据管理系统软件,应用自动化测试系统完成对数据管理系统软件的测试。...
针对目前航天器数据管理系统软件人工测试存在的测试效率低、测试有效性差的问题,提出一种数据管理系统软件的自动化测试系统设计,在虚拟的数据管理系统设备上运行数据管理系统软件,应用自动化测试系统完成对数据管理系统软件的测试。引进虚拟测试(VTEST)平台软件、电子信息设计系统(EDS)及测试接入控制(TAC)系统3种工具,创建一种分层架构的测试系统,各层之间通过标准接口进行数据交互,以利于系统维护和被测对象的接入。由于自动化测试系统的测试实施过程不需要人工干预,避免了人工操作过慢、误操作、重复操作等问题,因此测试时间相比人工测试可缩短40%,而且能避免人工误判导致的测试不充分问题,能提高测试的有效性,从而提高数据管理系统乃至整器的可靠性。
展开更多
关键词
航天器数据管理系统
自动化测试
抽象模型
分层架构
下载PDF
职称材料
基于抽象解释的服务间消息的数据约减
被引量:
1
7
作者
蒋曹清
肖芳雄
+2 位作者
高荣
应时
文静
《计算机科学》
CSCD
北大核心
2015年第12期175-180,共6页
面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经...
面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经典区间抽象域方法,并在统一的区间抽象域方法上借助异常控制流图对变量进行区间分析,在此基础上逆向分析得到服务间消息的变量区间集。变量区间上任意值相对于终止性验证是等价性,因此从每一个变量区间集中选取一个代表值,可组成服务间消息变量的约减值,从而为异常处理的终止性验证提供了约减的初始配置,有效避免了状态空间爆炸。
展开更多
关键词
抽象解释
终止性验证
模型检测
数据约减
下载PDF
职称材料
通用MIS软件系统结构模型的探索
被引量:
1
8
作者
韩庆兰
《中国有色金属学报》
EI
CAS
CSCD
1996年第4期176-180,共5页
利用程序抽象技术,以信息隐藏为基本手段,通过建立抽象数据层,探索出一条提高MIS软件质量的技术方法。实现了动态数据库结构、动态数据输入、动态查询及动态报表结构,从根本上解决了MIS软件不能通用的弊端。
关键词
MIS
系统结构模型
抽象数据层
软件
下载PDF
职称材料
海洋时空过程数据模型及其原型系统构建研究
被引量:
10
9
作者
薛存金
董庆
《海洋通报》
CAS
CSCD
北大核心
2012年第6期667-674,共8页
从地球信息科学角度,分析了海洋现象的过程特性,并给出过程对象的BNF范式组织结构。把具有过程特性的海洋现象分级抽象为海洋过程对象、阶段对象、序列对象和状态对象,讨论了海洋过程对象的语义分级抽象与顺序、包含关系及过程对象内的...
从地球信息科学角度,分析了海洋现象的过程特性,并给出过程对象的BNF范式组织结构。把具有过程特性的海洋现象分级抽象为海洋过程对象、阶段对象、序列对象和状态对象,讨论了海洋过程对象的语义分级抽象与顺序、包含关系及过程对象内的演变机制,分析了通过过程对象隐式记录演变机制、过程对象存储表提供其程序接口,实现连续渐变表达机制在模型中的实现策略,发展了基于过程对象、过程对象关系表的模型的过程化组织结构。在Geodatabase9.2基础上,扩展过程对象的存储机制,构建海洋时空过程数据模型的原型系统(海洋时空过程数据库系统MarineSTPDMGDB和海洋系统功能平台MDMProtoTypeSystem),并给出其框架结构及关键技术实现流程。原型系统的构建及功能分析结果证明了模型的科学性与适用性,为"数字海洋"战略的实施提供了理论基础。
展开更多
关键词
海洋时空过程数据模型
分级抽象
连续渐变表达
原型系统
下载PDF
职称材料
基于面向对象方法的通用报表系统生成工具的开发模式
被引量:
2
10
作者
韩坚华
李藜
杨安宸
《华南师范大学学报(自然科学版)》
CAS
1998年第4期117-122,共6页
本文提出了一种实用的通用报表系统开发摸式,讨论了开发摸式中的面向对象方法的*本思想及其应用。基于这种摸式,研制了通用报表系统生成工具,并应用生成工具生成了开发现模小、可维护性好的统计分析报表处理系统。
关键词
报表处理系统
通用报表系统
MIS
面向对象
下载PDF
职称材料
支持抽象数据类型属性的索引机制
被引量:
2
11
作者
秦小麟
林钧海
林钧海
《计算机工程》
CAS
CSCD
北大核心
1992年第2期5-9,28,共6页
本文讨论了关系数据库中的抽象数据类型属性值对传统DBMS索引机制的影响,并提出了一种基于用户定义新操作的扩充传统索引机制的原理、方法和处理策略。扩充的索引机制可以有效地支持对ADT属性的快速存取。
关键词
数据类型
属性
索引
关系数据库
下载PDF
职称材料
计算机软件技术基础多媒体辅助教学软件研究与开发
被引量:
4
12
作者
夏昌浩
贺鹏
《航空计算技术》
2001年第1期29-33,共5页
通过对计算机软件技术基础多媒体辅助教学软件结构进行分析 ,提出了抽象模型 ,给出了基于推理的学习过程控制算法 ,讨论并实现了数据库管理及数据库表结构多媒体字段 ,最后分析了软件运行现状。
关键词
计算机软件技术基础
多媒体计算机辅助教学
学习过程
数据库表结构
下载PDF
职称材料
图书馆图片检索系统的几点关键技术研究
被引量:
1
13
作者
王蕙
沈玉利
《现代图书情报技术》
CSSCI
北大核心
2005年第6期39-44,共6页
基于内容的图像检索方法是目前图书馆查询大量图片资料的关键技术。本文对低层视觉特征提取、高维索引、相似性度量准则与相关反馈技术进行较深入的研究,提出了一种颜色特征提取和特征向量的索引方法,讨论了系统架构以及系统的编程实现...
基于内容的图像检索方法是目前图书馆查询大量图片资料的关键技术。本文对低层视觉特征提取、高维索引、相似性度量准则与相关反馈技术进行较深入的研究,提出了一种颜色特征提取和特征向量的索引方法,讨论了系统架构以及系统的编程实现,数据模型的操作和系统的性能测试。实验证明,本方法在一定程度上提高了检索的准确率和效率。
展开更多
关键词
数据模型
低层特征提取
相关反馈
下载PDF
职称材料
面向对象数据库(OODB)的对象定义及对象操作的实现
14
作者
杨球
王一凡
《武汉交通科技大学学报》
1999年第2期188-190,共3页
论述了面向对象数据库(OODB)产生的背景、有关概念和原理。
关键词
数据库
面向对象
OODB
数据建模
下载PDF
职称材料
网管融合建模的思考
15
作者
渠凯
李洪
+1 位作者
彭志婷
申文俊
《电信科学》
北大核心
2013年第12期117-124,共8页
随着网管集约化诉求的日益强烈,电信运营商建立综合化网管系统的思路也日渐明确。基于网管系统的特点,结合笔者长期在综合资源建设方面的经验,阐述了在全专业统一管理的情况下,综合化网管进行数据融合的建模思路,通过抽象大类建模+元数...
随着网管集约化诉求的日益强烈,电信运营商建立综合化网管系统的思路也日渐明确。基于网管系统的特点,结合笔者长期在综合资源建设方面的经验,阐述了在全专业统一管理的情况下,综合化网管进行数据融合的建模思路,通过抽象大类建模+元数据的方式,实现全网模型统一,解决核心模型的稳定性差和不易于扩展的难题。
展开更多
关键词
集约化
综合网管系统
综合资源管理系统
数据模型
抽象对象模型
局数据
元数据
主数据
下载PDF
职称材料
基于符号约束集的条件表达式数据流分析
被引量:
1
16
作者
董玉坤
《科学技术与工程》
北大核心
2018年第7期172-178,共7页
C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式...
C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。
展开更多
关键词
条件表达式
数据流分析
抽象内存模型
区间运算
符号约束集
下载PDF
职称材料
数据并行高层描述语言中的数据抽象
17
作者
郑全录
陆林生
《小型微型计算机系统》
CSCD
北大核心
2001年第8期1000-1003,共4页
数据并行高层描述语言 DPHL 是我们开发的面向科学计算的一个描述语言 ,变量定义和基于域上的计算是该语言的重要组成部分 .本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析 ,论述了变量定义中数据抽象的两个主要方...
数据并行高层描述语言 DPHL 是我们开发的面向科学计算的一个描述语言 ,变量定义和基于域上的计算是该语言的重要组成部分 .本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析 ,论述了变量定义中数据抽象的两个主要方面 :一是引入了变量的定义域、子域和依赖域概念 ,给出了它们的形式化描述 ,二是引入了变量的数学属性 ,并和域分离 ,便于数据并行自动识别 ,重构高效的并行程序 ,使
展开更多
关键词
DPHL语言
程序设计语言
数据抽象
数据并行高层描述语言
下载PDF
职称材料
语义数据模型及其建模的探讨
18
作者
钦明皖
《安徽大学学报(自然科学版)》
CAS
1997年第2期54-58,共5页
本文首先介绍TAXIS语言的主要特性,然后阐述TAXIS建模的方法及TAXIS系统的特点。
关键词
语义数据模型
建模
数据库
数据模型
TAXIS语言
下载PDF
职称材料
面向对象工程数据库中对象方法管理的研究
被引量:
3
19
作者
王飏
李也白
《计算机工程》
CAS
CSCD
北大核心
2002年第5期94-96,共3页
主要讨论如何利用工程数库技术实现对象方法复杂数据结构的存储与管理。着重讨论了方法数据的抽象描述以及方法数据模型的建立并就数据库索引文件结构以及方法在应用程序中的引用技术提出了切实可行的方法。,
关键词
面向对象
工程数据库
对象方法管理
数据抽象
数据模型
下载PDF
职称材料
数据结构体系分析
20
作者
何月顺
李德平
《华东地质学院学报》
1998年第3期288-292,共5页
本文对数据结构的概念和范畴进行了讨论,对数据结构的体系作了全面的分析,最后从求解的角度探讨了数据结构与抽象数据类型的关系。
关键词
数据结构
抽象数据类型
数学模型
计算机
下载PDF
职称材料
题名
基于功能点的软件度量在项目管理中的应用
被引量:
5
1
作者
王颖
柳小军
郭继光
机构
中国电子科学研究院
出处
《中国电子科学研究院学报》
2013年第1期81-85,共5页
文摘
软件规模度量是项目管理者在整个项目周期进行项目跟踪和评估的基础。介绍了一种通用的FSM抽象数据模型,并通过对各种度量方法的分析及对典型工程的应用分析,认为借助功能点分析方法建立一个有效的度量体系,将有效改善项目管理的各个环节。功能点是被证实的可信的软件规模度量方法,它在软件定价、变更管理、项目估算等方面可以起到积极的作用。
关键词
软件度量
抽象数据模型
功能点分析
项目管理
Keywords
software measurement
abstract data model
function points analysis
project management
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向大数据流式计算的任务管理技术综述
被引量:
10
2
作者
梁毅
侯颖
陈诚
金翊
机构
北京工业大学计算机学院
北京市计算中心
出处
《计算机工程与科学》
CSCD
北大核心
2017年第2期215-226,共12页
基金
国家自然科学基金(61202075
91546111)
北京市自然科学基金(4133081)
文摘
流式计算是大数据的一种重要计算模式,大数据流式计算已成为研究热点。任务管理是大数据流式计算的核心功能之一,负责对流式计算的任务进行资源调度及全生命周期管理。目前对于大数据流式计算的技术调研工作主要集中于流式计算应用需求、体系结构及整体技术,缺乏对大数据流式计算任务管理技术的精细化调研分析。首先给出流式计算任务管理的抽象功能模型,其次基于该模型对任务管理的关键技术进行了分类和综述,最后对既有主流的大数据流式计算系统对上述关键技术的应用、集成和优化进行了调研分析。
关键词
大数据流式计算
任务管理
抽象功能模型
资源分配
数据分发
容错
Keywords
big
data
stream computing
task management
abstract
function
model
resource allocation
data
distribution
fault tolerance
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于对象关系数据库的时空数据模型研究
被引量:
4
3
作者
高勇
林星
刘瑜
邬伦
陈斌
马修军
机构
北京大学遥感与地理信息系统研究所
北京大学视觉与听觉信息处理国家重点实验室智能科学系
出处
《地理与地理信息科学》
CSCD
北大核心
2006年第3期26-30,共5页
基金
国家自然科学基金资助项目(40501052)
地理空间信息工程国家测绘局重点实验室资助项目
文摘
一体化时空数据建模是新一代GIS理论与技术研究的重要基础。基于对象关系数据库探讨时空数据库的数据建模方法,提出综合考虑矢量和栅格数据一体化的时空数据模型。首先基于基本类型派生定义矢量和栅格抽象数据类型,在此基础上定义时空数据类型为一系列空间类型的时间片序列。该抽象数据类型的定义包括其数据对象和相关操作,将其嵌入对象关系数据库中,扩展其时空数据的存储和查询能力。利用该数据模型,可以统一考虑矢量和栅格数据,建立基于对象关系的时空数据库,并支持矢量—栅格一体化时空数据访问和操作,进而对新一代GIS技术的研究与实现起到重要支撑作用。
关键词
时空数据模型
对象关系数据库
空间数据库
抽象数据类型
Keywords
spatial-temporal
data
model
ORDBMS
spatial
data
base
abstract
data
type
分类号
P208 [天文地球—地图制图学与地理信息工程]
下载PDF
职称材料
题名
时空对象关系模型研究
被引量:
3
4
作者
金培权
岳丽华
赵振西
机构
中国科学技术大学计算机科学技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第7期1188-1192,共5页
基金
中国科学院知识创新工程项目 (K2 CX0 10 1)资助
文摘
时空数据模型是时空数据库的研究重点之一 .以往提出的时空数据模型存在着不同的缺点 .本文以抽象数据类型为基础 ,提出了一个基于对象关系模型的时空对象关系模型 STORM,给出了 STORM的形式化定义 。
关键词
时空数据库
对象关系模型
数据模型
抽象数据类型
Keywords
spatiotemporal
data
base
object-relational
model
data
model
abstract
data
types
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
继电保护及故障信息系统通信模型研究
被引量:
7
5
作者
古锋
机构
中国矿业大学信息与电气工程学院
出处
《电网技术》
EI
CSCD
北大核心
2007年第7期73-77,共5页
文摘
对于继电保护及故障信息系统的通信结构至今还没有系统化的解决方法,此外目前的继电保护及故障信息系统存在接入装置或采用的通信协议互不兼容、系统升级和维护成本高、开放性较差等问题。为此,文章提出了继电保护及故障信息系统的通信模型,提出了继电保护及故障信息系统的分层通信结构,规定了每层接口完成的功能。为支持主站的应用,提出了公共数据模型的概念,并将其分为一次系统公共信息模型和二次系统公共信息模型。对于站内数据通信,以IEC61850为基础,提出了信息服务模型的概念并定义了其基本功能。
关键词
IEC
61850
通信服务模型
抽象通信服务接口
公共数据模型
Keywords
IEC 61850
communication service
model
abstract
communication service interface
common
data
model
分类号
TM734 [电气工程—电力系统及自动化]
下载PDF
职称材料
题名
航天器数据管理系统软件的自动化测试系统设计
被引量:
9
6
作者
窦钠
张红军
范延芳
王向晖
机构
北京空间飞行器总体设计部
出处
《航天器工程》
CSCD
北大核心
2018年第1期143-148,共6页
基金
国家重大航天工程
文摘
针对目前航天器数据管理系统软件人工测试存在的测试效率低、测试有效性差的问题,提出一种数据管理系统软件的自动化测试系统设计,在虚拟的数据管理系统设备上运行数据管理系统软件,应用自动化测试系统完成对数据管理系统软件的测试。引进虚拟测试(VTEST)平台软件、电子信息设计系统(EDS)及测试接入控制(TAC)系统3种工具,创建一种分层架构的测试系统,各层之间通过标准接口进行数据交互,以利于系统维护和被测对象的接入。由于自动化测试系统的测试实施过程不需要人工干预,避免了人工操作过慢、误操作、重复操作等问题,因此测试时间相比人工测试可缩短40%,而且能避免人工误判导致的测试不充分问题,能提高测试的有效性,从而提高数据管理系统乃至整器的可靠性。
关键词
航天器数据管理系统
自动化测试
抽象模型
分层架构
Keywords
spacecraft on board
data
handling system
automatic test
abstract
model
layered architecture
分类号
V554.3 [航空宇航科学与技术—人机与环境工程]
下载PDF
职称材料
题名
基于抽象解释的服务间消息的数据约减
被引量:
1
7
作者
蒋曹清
肖芳雄
高荣
应时
文静
机构
广西财经学院计算机与信息管理系
武汉大学软件工程国家重点实验室
出处
《计算机科学》
CSCD
北大核心
2015年第12期175-180,共6页
基金
国家自然科学基础重点项目(91118003
61272113
+4 种基金
61272108)
国家自然科学基金项目(61070012
61170022
6126200)
广西高校科学技术研究项目(YB2014349)资助
文摘
面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经典区间抽象域方法,并在统一的区间抽象域方法上借助异常控制流图对变量进行区间分析,在此基础上逆向分析得到服务间消息的变量区间集。变量区间上任意值相对于终止性验证是等价性,因此从每一个变量区间集中选取一个代表值,可组成服务间消息变量的约减值,从而为异常处理的终止性验证提供了约减的初始配置,有效避免了状态空间爆炸。
关键词
抽象解释
终止性验证
模型检测
数据约减
Keywords
abstract
interpretation, Termination verification,
model
check,
data
reduction
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
通用MIS软件系统结构模型的探索
被引量:
1
8
作者
韩庆兰
机构
中南工业大学工商管理学院
出处
《中国有色金属学报》
EI
CAS
CSCD
1996年第4期176-180,共5页
文摘
利用程序抽象技术,以信息隐藏为基本手段,通过建立抽象数据层,探索出一条提高MIS软件质量的技术方法。实现了动态数据库结构、动态数据输入、动态查询及动态报表结构,从根本上解决了MIS软件不能通用的弊端。
关键词
MIS
系统结构模型
抽象数据层
软件
Keywords
MIS technique of program
abstract
ing system structure
model
abstract
data
layer
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
海洋时空过程数据模型及其原型系统构建研究
被引量:
10
9
作者
薛存金
董庆
机构
中国科学院数字地球重点实验室中国科学院对地观测与数字地球科学中心
出处
《海洋通报》
CAS
CSCD
北大核心
2012年第6期667-674,共8页
基金
"973"计划项目(2009CB723903)
国家自然科学基金(40901194)
+1 种基金
中国科学院对地观测与数字地球科学中心主任基金(y2zz06101b)
主任创新基金(y2zz18101b)
文摘
从地球信息科学角度,分析了海洋现象的过程特性,并给出过程对象的BNF范式组织结构。把具有过程特性的海洋现象分级抽象为海洋过程对象、阶段对象、序列对象和状态对象,讨论了海洋过程对象的语义分级抽象与顺序、包含关系及过程对象内的演变机制,分析了通过过程对象隐式记录演变机制、过程对象存储表提供其程序接口,实现连续渐变表达机制在模型中的实现策略,发展了基于过程对象、过程对象关系表的模型的过程化组织结构。在Geodatabase9.2基础上,扩展过程对象的存储机制,构建海洋时空过程数据模型的原型系统(海洋时空过程数据库系统MarineSTPDMGDB和海洋系统功能平台MDMProtoTypeSystem),并给出其框架结构及关键技术实现流程。原型系统的构建及功能分析结果证明了模型的科学性与适用性,为"数字海洋"战略的实施提供了理论基础。
关键词
海洋时空过程数据模型
分级抽象
连续渐变表达
原型系统
Keywords
marine spatio-temporal process
data
model
(MSTPDM)
hierarchical
abstract
ing
continuity and gradualrepresentation
prototype system
分类号
TP711 [自动化与计算机技术—检测技术与自动化装置]
P737 [天文地球—海洋地质]
下载PDF
职称材料
题名
基于面向对象方法的通用报表系统生成工具的开发模式
被引量:
2
10
作者
韩坚华
李藜
杨安宸
机构
广东工业大学实验研究中心
出处
《华南师范大学学报(自然科学版)》
CAS
1998年第4期117-122,共6页
文摘
本文提出了一种实用的通用报表系统开发摸式,讨论了开发摸式中的面向对象方法的*本思想及其应用。基于这种摸式,研制了通用报表系统生成工具,并应用生成工具生成了开发现模小、可维护性好的统计分析报表处理系统。
关键词
报表处理系统
通用报表系统
MIS
面向对象
Keywords
Object
model
report type
data
abstract
ion
module
分类号
TP399 [自动化与计算机技术—计算机应用技术]
C931.6 [经济管理—管理学]
下载PDF
职称材料
题名
支持抽象数据类型属性的索引机制
被引量:
2
11
作者
秦小麟
林钧海
林钧海
机构
南京航空学院
出处
《计算机工程》
CAS
CSCD
北大核心
1992年第2期5-9,28,共6页
文摘
本文讨论了关系数据库中的抽象数据类型属性值对传统DBMS索引机制的影响,并提出了一种基于用户定义新操作的扩充传统索引机制的原理、方法和处理策略。扩充的索引机制可以有效地支持对ADT属性的快速存取。
关键词
数据类型
属性
索引
关系数据库
Keywords
B+ tree
abstract
data
type Relational DBMS Extending relational
model
Exten- sible DBMS
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
计算机软件技术基础多媒体辅助教学软件研究与开发
被引量:
4
12
作者
夏昌浩
贺鹏
机构
三峡大学电气信息学院
出处
《航空计算技术》
2001年第1期29-33,共5页
文摘
通过对计算机软件技术基础多媒体辅助教学软件结构进行分析 ,提出了抽象模型 ,给出了基于推理的学习过程控制算法 ,讨论并实现了数据库管理及数据库表结构多媒体字段 ,最后分析了软件运行现状。
关键词
计算机软件技术基础
多媒体计算机辅助教学
学习过程
数据库表结构
Keywords
computer software technique foundation
multi-medai CAI
abstract
model
learning process
data
base list structure
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
图书馆图片检索系统的几点关键技术研究
被引量:
1
13
作者
王蕙
沈玉利
机构
湛江海洋大学图书馆
出处
《现代图书情报技术》
CSSCI
北大核心
2005年第6期39-44,共6页
文摘
基于内容的图像检索方法是目前图书馆查询大量图片资料的关键技术。本文对低层视觉特征提取、高维索引、相似性度量准则与相关反馈技术进行较深入的研究,提出了一种颜色特征提取和特征向量的索引方法,讨论了系统架构以及系统的编程实现,数据模型的操作和系统的性能测试。实验证明,本方法在一定程度上提高了检索的准确率和效率。
关键词
数据模型
低层特征提取
相关反馈
Keywords
data
model
Low-level feature
abstract
Relevant feedback
分类号
G250.71 [文化科学—图书馆学]
下载PDF
职称材料
题名
面向对象数据库(OODB)的对象定义及对象操作的实现
14
作者
杨球
王一凡
机构
中国地质大学
华中理工大学汉口分校
出处
《武汉交通科技大学学报》
1999年第2期188-190,共3页
文摘
论述了面向对象数据库(OODB)产生的背景、有关概念和原理。
关键词
数据库
面向对象
OODB
数据建模
Keywords
DB
object oriented
class
derived class
data
abstract
ion
data
model
ling
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
网管融合建模的思考
15
作者
渠凯
李洪
彭志婷
申文俊
机构
中国电信股份有限公司网络运行维护事业部
中通服软件科技有限公司
出处
《电信科学》
北大核心
2013年第12期117-124,共8页
文摘
随着网管集约化诉求的日益强烈,电信运营商建立综合化网管系统的思路也日渐明确。基于网管系统的特点,结合笔者长期在综合资源建设方面的经验,阐述了在全专业统一管理的情况下,综合化网管进行数据融合的建模思路,通过抽象大类建模+元数据的方式,实现全网模型统一,解决核心模型的稳定性差和不易于扩展的难题。
关键词
集约化
综合网管系统
综合资源管理系统
数据模型
抽象对象模型
局数据
元数据
主数据
Keywords
intensive, integrated network management system, integrated resource management system,
data
model
,
abstract
object
model
, office
data
, meta
data
, master
data
分类号
TN915 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
基于符号约束集的条件表达式数据流分析
被引量:
1
16
作者
董玉坤
机构
中国石油大学(华东)计算机与通信工程学院
出处
《科学技术与工程》
北大核心
2018年第7期172-178,共7页
基金
山东省自然科学基金(No.BS2015DX017)资助
文摘
C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。
关键词
条件表达式
数据流分析
抽象内存模型
区间运算
符号约束集
Keywords
conditional expression
data
flow analysis
abstract
memory
model
interval computation symbolic constraints
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
数据并行高层描述语言中的数据抽象
17
作者
郑全录
陆林生
机构
江南计算技术研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第8期1000-1003,共4页
文摘
数据并行高层描述语言 DPHL 是我们开发的面向科学计算的一个描述语言 ,变量定义和基于域上的计算是该语言的重要组成部分 .本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析 ,论述了变量定义中数据抽象的两个主要方面 :一是引入了变量的定义域、子域和依赖域概念 ,给出了它们的形式化描述 ,二是引入了变量的数学属性 ,并和域分离 ,便于数据并行自动识别 ,重构高效的并行程序 ,使
关键词
DPHL语言
程序设计语言
数据抽象
数据并行高层描述语言
Keywords
data
arallel
Parallel languages
model
ing language
data
abstract
ion
Programming environment
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
语义数据模型及其建模的探讨
18
作者
钦明皖
机构
安徽大学计算机科学与工程系
出处
《安徽大学学报(自然科学版)》
CAS
1997年第2期54-58,共5页
文摘
本文首先介绍TAXIS语言的主要特性,然后阐述TAXIS建模的方法及TAXIS系统的特点。
关键词
语义数据模型
建模
数据库
数据模型
TAXIS语言
Keywords
Semantic
data
model
s,
abstract
ion mechanism, inheritance, Long term process
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向对象工程数据库中对象方法管理的研究
被引量:
3
19
作者
王飏
李也白
机构
北方工业大学
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第5期94-96,共3页
文摘
主要讨论如何利用工程数库技术实现对象方法复杂数据结构的存储与管理。着重讨论了方法数据的抽象描述以及方法数据模型的建立并就数据库索引文件结构以及方法在应用程序中的引用技术提出了切实可行的方法。,
关键词
面向对象
工程数据库
对象方法管理
数据抽象
数据模型
Keywords
Object oriented
Method
data
base
data
abstract
data
model
分类号
TP392 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
数据结构体系分析
20
作者
何月顺
李德平
机构
华东地质学院信息工程系
出处
《华东地质学院学报》
1998年第3期288-292,共5页
文摘
本文对数据结构的概念和范畴进行了讨论,对数据结构的体系作了全面的分析,最后从求解的角度探讨了数据结构与抽象数据类型的关系。
关键词
数据结构
抽象数据类型
数学模型
计算机
Keywords
data
structure
abstract
data
type
mathematical
model
分类号
TP311.12 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于功能点的软件度量在项目管理中的应用
王颖
柳小军
郭继光
《中国电子科学研究院学报》
2013
5
下载PDF
职称材料
2
面向大数据流式计算的任务管理技术综述
梁毅
侯颖
陈诚
金翊
《计算机工程与科学》
CSCD
北大核心
2017
10
下载PDF
职称材料
3
基于对象关系数据库的时空数据模型研究
高勇
林星
刘瑜
邬伦
陈斌
马修军
《地理与地理信息科学》
CSCD
北大核心
2006
4
下载PDF
职称材料
4
时空对象关系模型研究
金培权
岳丽华
赵振西
《小型微型计算机系统》
CSCD
北大核心
2004
3
下载PDF
职称材料
5
继电保护及故障信息系统通信模型研究
古锋
《电网技术》
EI
CSCD
北大核心
2007
7
下载PDF
职称材料
6
航天器数据管理系统软件的自动化测试系统设计
窦钠
张红军
范延芳
王向晖
《航天器工程》
CSCD
北大核心
2018
9
下载PDF
职称材料
7
基于抽象解释的服务间消息的数据约减
蒋曹清
肖芳雄
高荣
应时
文静
《计算机科学》
CSCD
北大核心
2015
1
下载PDF
职称材料
8
通用MIS软件系统结构模型的探索
韩庆兰
《中国有色金属学报》
EI
CAS
CSCD
1996
1
下载PDF
职称材料
9
海洋时空过程数据模型及其原型系统构建研究
薛存金
董庆
《海洋通报》
CAS
CSCD
北大核心
2012
10
下载PDF
职称材料
10
基于面向对象方法的通用报表系统生成工具的开发模式
韩坚华
李藜
杨安宸
《华南师范大学学报(自然科学版)》
CAS
1998
2
下载PDF
职称材料
11
支持抽象数据类型属性的索引机制
秦小麟
林钧海
林钧海
《计算机工程》
CAS
CSCD
北大核心
1992
2
下载PDF
职称材料
12
计算机软件技术基础多媒体辅助教学软件研究与开发
夏昌浩
贺鹏
《航空计算技术》
2001
4
下载PDF
职称材料
13
图书馆图片检索系统的几点关键技术研究
王蕙
沈玉利
《现代图书情报技术》
CSSCI
北大核心
2005
1
下载PDF
职称材料
14
面向对象数据库(OODB)的对象定义及对象操作的实现
杨球
王一凡
《武汉交通科技大学学报》
1999
0
下载PDF
职称材料
15
网管融合建模的思考
渠凯
李洪
彭志婷
申文俊
《电信科学》
北大核心
2013
0
下载PDF
职称材料
16
基于符号约束集的条件表达式数据流分析
董玉坤
《科学技术与工程》
北大核心
2018
1
下载PDF
职称材料
17
数据并行高层描述语言中的数据抽象
郑全录
陆林生
《小型微型计算机系统》
CSCD
北大核心
2001
0
下载PDF
职称材料
18
语义数据模型及其建模的探讨
钦明皖
《安徽大学学报(自然科学版)》
CAS
1997
0
下载PDF
职称材料
19
面向对象工程数据库中对象方法管理的研究
王飏
李也白
《计算机工程》
CAS
CSCD
北大核心
2002
3
下载PDF
职称材料
20
数据结构体系分析
何月顺
李德平
《华东地质学院学报》
1998
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部