期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Tabular表达式的指称语义研究
被引量：
2
1
作者
张鹏
刘磊
+1 位作者
刘华虓
金英
《软件学报》
EI
CSCD
北大核心
2014年第6期1212-1224,共13页
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义...
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
展开更多
关键词
Tabular表达式
指称语义
软件
说明文档
在线阅读
下载PDF
职称材料
基于Java的微服务技术在构建企业智能大数据平台下的应用与开发研究
被引量：
9
2
作者
李晓明
应毅
曾岳
《现代电子技术》
北大核心
2019年第15期165-169,共5页
为解决企业大数据平台适配灵活性较差、功能化参数分配不协调等问题,设计基于Java微服务技术的新型企业智能大数据平台。从服务接口凭证调取、账号管理、说明文档推送三个角度完成基于Java微服务技术的大数据平台需求分析调研。在此基础...
为解决企业大数据平台适配灵活性较差、功能化参数分配不协调等问题,设计基于Java微服务技术的新型企业智能大数据平台。从服务接口凭证调取、账号管理、说明文档推送三个角度完成基于Java微服务技术的大数据平台需求分析调研。在此基础上,利用完整的大数据框架协调智能平台接口与服务模块间的制约关系,完成新型企业智能大数据平台的搭建,实现基于Java的微服务技术在构建企业智能大数据平台下的应用与开发研究。对比实验结果表明,与传统企业大数据平台相比,应用基于Java微服务技术的新型企业智能大数据平台后,功能化参数分配协调性得到大幅提升,适配灵活性最大值可达到90%。
展开更多
关键词
Java微服务
企业大数据平台
智能平台搭建
接口凭证
说明文档
平台接口
在线阅读
下载PDF
职称材料
基于XML的移动数字图书服务体系结构研究
被引量：
5
3
作者
邓凯
吴家春
王洪伟
《情报学报》
CSSCI
北大核心
2002年第5期559-562,共4页
移动通信技术的发展 ,催生了丰富的移动网络服务。现有的数字图书服务体系 ,由于技术的局限性 ,很难满足这种需求 ,因此 ,本文提出了一个基于XML的移动数字图书服务体系结构 ,探讨了它的主要特点及一些关键技术。本文的结尾展望了移动...
移动通信技术的发展 ,催生了丰富的移动网络服务。现有的数字图书服务体系 ,由于技术的局限性 ,很难满足这种需求 ,因此 ,本文提出了一个基于XML的移动数字图书服务体系结构 ,探讨了它的主要特点及一些关键技术。本文的结尾展望了移动数字图书服务体系发展的方向和前景。
展开更多
关键词
XML
移动数字图书服务
可扩展标记语言
开放
文档
说明
关键技术
搜索代理
在线阅读
下载PDF
职称材料
题名
Tabular表达式的指称语义研究
被引量：
2
1
作者
张鹏
刘磊
刘华虓
金英
机构
吉林大学计算机科学与技术学院
出处
《软件学报》
EI
CSCD
北大核心
2014年第6期1212-1224,共13页
基金
国家自然科学基金(61300049)
教育部新世纪优秀人才支持计划(NCET-10-0436)
+4 种基金
教育部高等学校博士学科点专项科研基金(20120061120059)
中国博士后科学基金(2011M500612)
吉林省重点科技攻关项目(20130206052GX)
吉林省自然科学基金(20101509)
吉林省青年科研基金(20140520069JH)
文摘
Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
关键词
Tabular表达式
指称语义
软件
说明文档
Keywords
Tabular expression
denotational semantic
software documentation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于Java的微服务技术在构建企业智能大数据平台下的应用与开发研究
被引量：
9
2
作者
李晓明
应毅
曾岳
机构
三江学院计算机科学与工程学院
金陵科技学院软件学院
出处
《现代电子技术》
北大核心
2019年第15期165-169,共5页
基金
2017年教育部产学合作协同育人项目:基于Java技术的企业级大数据应用开发课程体系建设与改革(201702147038)
江苏省高等学校自然科学研究项目:大数据技术在智能物流中的应用研究(17KJB520033)
+1 种基金
国家自然科学基金项目(61262002):internet环境下组合式软件的时空进程代数刻画及模型检测
江苏高校“青蓝工程”资助项目(苏教师[2018]12号)~~
文摘
为解决企业大数据平台适配灵活性较差、功能化参数分配不协调等问题,设计基于Java微服务技术的新型企业智能大数据平台。从服务接口凭证调取、账号管理、说明文档推送三个角度完成基于Java微服务技术的大数据平台需求分析调研。在此基础上,利用完整的大数据框架协调智能平台接口与服务模块间的制约关系,完成新型企业智能大数据平台的搭建,实现基于Java的微服务技术在构建企业智能大数据平台下的应用与开发研究。对比实验结果表明,与传统企业大数据平台相比,应用基于Java微服务技术的新型企业智能大数据平台后,功能化参数分配协调性得到大幅提升,适配灵活性最大值可达到90%。
关键词
Java微服务
企业大数据平台
智能平台搭建
接口凭证
说明文档
平台接口
Keywords
Java micro-service
enterprise big data platform
intelligent platform set-up
interface credentials
description documents
platform interface
分类号
TN915-34 [电子电信—通信与信息系统]
TP399 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于XML的移动数字图书服务体系结构研究
被引量：
5
3
作者
邓凯
吴家春
王洪伟
机构
上海交通大学管理学院
出处
《情报学报》
CSSCI
北大核心
2002年第5期559-562,共4页
文摘
移动通信技术的发展 ,催生了丰富的移动网络服务。现有的数字图书服务体系 ,由于技术的局限性 ,很难满足这种需求 ,因此 ,本文提出了一个基于XML的移动数字图书服务体系结构 ,探讨了它的主要特点及一些关键技术。本文的结尾展望了移动数字图书服务体系发展的方向和前景。
关键词
XML
移动数字图书服务
可扩展标记语言
开放
文档
说明
关键技术
搜索代理
Keywords
mobile e-book service,XML,OEB.
分类号
G250.7 [文化科学—图书馆学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Tabular表达式的指称语义研究
张鹏
刘磊
刘华虓
金英
《软件学报》
EI
CSCD
北大核心
2014
2
在线阅读
下载PDF
职称材料
2
基于Java的微服务技术在构建企业智能大数据平台下的应用与开发研究
李晓明
应毅
曾岳
《现代电子技术》
北大核心
2019
9
在线阅读
下载PDF
职称材料
3
基于XML的移动数字图书服务体系结构研究
邓凯
吴家春
王洪伟
《情报学报》
CSSCI
北大核心
2002
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
