中国科学院计算技术研究所机构知识库

浏览/检索结果: 共3条，第1-3条

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools 期刊论文 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 卷号: 15, 期号: 6, 页码: 3155-3162 作者:  Wang, Wentao;  Niu, Nan;  Alenazi, Mounifah;  Xu, Li Da 收藏  |  浏览/下载：167/0  |  提交时间：2019/08/16 Automated production systems  development environments  industry 4.0  programming logic controllers (PLC)  systems modeling language (SysML)  traceability
	The Extension of Semantic Formalization of Service Workflow Specification Language 期刊论文 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 卷号: 15, 期号: 2, 页码: 741-754 作者:  Viriyasitavat, Wattana;  Xu, Li Da;  Bi, Zhuming 收藏  |  浏览/下载：160/0  |  提交时间：2019/04/03 Distributed intelligence  proof  quality of service  semantic formulization  service composition  service-oriented computing  service selection  service workflow  specification languages  system complexity
	An industrial information integration approach to in-orbit spacecraft 期刊论文 ENTERPRISE INFORMATION SYSTEMS, 2017, 卷号: 11, 期号: 1, 页码: 86-104 作者:  Du, Xiaoning;  Wang, Hong;  Du, Yuhao;  Xu, Li Da;  Chaudhry, Sohail;  Bi, Zhuming;  Guo, Rong;  Huang, Yongxuan;  Li, Jisheng 收藏  |  浏览/下载：148/0  |  提交时间：2019/12/13 Space industry  deep space exploration  industrial information integration engineering  IIIE  SASO model