搜索页_Model+Based+Systems+Engineering

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

GSW全文库(12)	馆藏书目(22)	CNKI会议论文(480)	知网期刊论文(689480)
中国地质文献-英文(20)	Springer电子图书(42)	CNKI学位论文(203315)	万方学位论文(1)
馆藏电子书[解放前](1)	万方学术会议(9)	CNKI期刊论文0611(833)	标准(4)

在“SpringerLink电子期刊”中，命中：3,145条，耗时：小于0.01 秒

在所有数据库中总计命中：894,219条

1. Risk Assessment and Estimation of TBM Penetration Rate Using RES-Based Model

作者： Hadi Fattahi ; Ali Moradi

关键词：TBM ; Rock properties ; Penetration rate ; Rock engineering systems ; Multiple regression models

刊名：Geotechnical and Geological Engineering

出版年：2017

2. Specification and automated validation of staged reconfiguration processes for dynamic software product lines

作者： Malte Lochau ; Johannes Bürdek ; Stefan Hölzle ; Andy Schürr

关键词：Dynamic software product lines ; Staged configuration ; Model ; based domain engineering and validation ; Model checking

刊名：Software & Systems Modeling

出版年：2017

3. Towards designing of SPF based secure web application using UML 2.0

作者： Nitish Pathak ; Girish Sharma ; B. M. Singh

关键词：UML ; Fast prototyping ; Object oriented (OO) ; Model driven software development ; TOS ; Trusted operating system ; Class identification and modeling

刊名：International Journal of System Assurance Engineering and Management

出版年：2017

4. Data-Based Models for the Prediction of Dam Behaviour: A Review and Some Methodological Considerations

作者： Fernando Salazar ; Rafael Morán…

刊名：Archives of Computational Methods in Engineering

出版年：2017

5. A QFD-based approach to support sustainable product-service systems conceptual design

作者： Thayla T. Sousa-Zomer…

关键词：Product ; service systems ; Quality function deployment ; QFD ; Sustainability ; Design process ; Conceptual design

刊名：The International Journal of Advanced Manufacturing Technology

出版年：2017

6. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

7. Iterative algorithms for least-squares solutions of a quaternion matrix equation

作者： Salman Ahmadi-Asl ; Fatemeh Panjeh Ali Beik

关键词：Quaternion matrix equations ; \(\eta \) ; (anti) ; Hermitian matrix ; Iterative algorithm ; Preconditioner ; Convergence

刊名：Journal of Applied Mathematics and Computing

出版年：2017

8. Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

刊名：Lecture Notes in Computer Science

出版年：2017

9. Enabling the IoT paradigm through multi-tenancy supported by scalable data acquisition layer

作者： Nikola Dalčeković ; Srđan Vukmirović ; Sebastijan Stoja…

关键词：IoT ; Cloud ; Multi ; tenancy ; Actor model ; Scalable database ; Multi ; tenant patterns ; Multi ; tenant design ; Multi ; tenant SOA

刊名：Annals of Telecommunications

出版年：2017

10. Contractual Specifications of Business Services: Modeling, Formalization and Proximity

关键词：Service Engineering ; Goal modeling ; Service contract ; Quality of service ; Service composition ; Serviceability

刊名：Lecture Notes in Computer Science

出版年：2017

1

2

3

4

5

6

7

8

9

查看站内搜索结果(2)

按检索点细分(3145)

题名(18)

关键词(38)

文摘(1297)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700