中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [74]
沈阳自动化研究所 [39]
计算技术研究所 [17]
遥感与数字地球研究... [16]
地理科学与资源研究... [10]
过程工程研究所 [8]
更多
采集方式
OAI收割 [209]
iSwitch采集 [1]
内容类型
期刊论文 [125]
学位论文 [48]
会议论文 [30]
中文期刊论文 [5]
CNKI期刊论文 [2]
发表日期
2019 [1]
2018 [2]
2017 [4]
2015 [1]
2014 [4]
2013 [3]
更多
学科主题
Computer S... [4]
计算机科学技术基础学... [2]
Computer S... [1]
Computer S... [1]
G350 [1]
Informatio... [1]
更多
筛选
浏览/检索结果:
共210条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
我国百强中文科技期刊XML/HTML出版现状调研与分析
期刊论文
OAI收割
中国科技期刊研究, 2019, 卷号: 30, 期号: 1, 页码: 40-45
作者:
周小玲
;
侯春梅
;
黄爱华
;
迟秀丽
;
李慧
  |  
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2019/04/29
Xml/html出版, 内容结构化, 知识关联, 出版技术, 网络出版平台, 中文期刊
利用XML技术完善编排校一体化出版模式
CNKI期刊论文
OAI收割
2018
作者:
谭雪静
  |  
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2024/12/18
编排校一体化
XML结构化排版
出版流程再造
全流程数字化出版
全媒体阅读
正则表达式子类的推断算法研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2018
作者:
崔蕃琳
  |  
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2018/06/26
XML模式
确定性正则表达式
推断算法
k-Dechare
描述性泛化
利用XML技术提高期刊影响力的探索
期刊论文
OAI收割
中国科技期刊研究, 2017, 页码: 565-569
作者:
张光
;
白雨虹
;
刘文武
  |  
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2018/04/09
Xml
社交媒体
学术期刊
影响力提升
一种基于组件的信息物理系统描述语言
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2017
作者:
时雨霖
收藏
  |  
浏览/下载:40/0
  |  
提交时间:2017/07/08
信息物理系统
基于组件
系统描述
XML
基于BS架构的业务化空间环境模式集成平台
学位论文
OAI收割
硕士: 中国科学院国家空间科学中心, 2017
作者:
朱坤帅
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2017/08/29
空间环境模式
模式集成
XML模板
Petr网
业务化
Real-Time Data Acquisition Support for IEC 61499 based Industrial Cyber-Physical Systems
会议论文
OAI收割
Beijing, China, October 29 - November 1, 2017
作者:
Dai WB(戴文斌)
;
Wang P(王鹏)
;
Huang, Wanqi
;
Vyatkin, Valeriy
  |  
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2018/06/19
Industrial Cyber-Physical Systems
IEC 61499 Function Blocks
Real-Time Data Acquisition
Management Commands
XML
Publish-Subscribe
Client-Server
ROS中XML-RPC协议实现的形式化验证
期刊论文
OAI收割
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟
;
施智平
;
关永
;
李勇坚
;
魏洪兴
  |  
收藏
  |  
浏览/下载:55/0
  |  
提交时间:2016/12/09
ROS系统
XML-RPC协议
有界模型检测
定理证明
一类受限正则表达式的推断算法
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2014
冯晓强
  |  
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2014/05/30
XML模式
模式推断
正则表达式推断
Echare
描述性泛化
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation
会议论文
OAI收割
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1)
;
Nguyen, Kim (2)
;
Xu, Zhiwu (1)
;
Im, Hyeonseung (2)
;
Lenglet, Sergueï
;
(4)
;
Padovani, Luca (5)
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2014/12/16
Types
polymorphism
XML
intersection types