设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(344)
Springer电子图书(9)
CNKI会议论文(94)
知网期刊论文(109927)
中国地质文献-英文(95)
院士团队服务(3)
CNKI学位论文(50737)
万方学位论文(1)
馆藏书目(24)
万方学术会议(8)
CNKI期刊论文0611(438)
标准(1)
在“
Elsevier电子期刊
”中,
命中:
68,519
条,耗时:0.0629685 秒
在所有数据库中总计命中:
161,681
条
1.
Automated analysis of integrity
constraint
s in multi-level models
作者:
Esther Guerra
;
Esther.Guerra@uam.es
Author Vitae
;
Juan de Lara
Juan.deLara@uam.es
Author Vitae
关键词:
Multi-level modelling
;
Deep meta-modelling
;
Conceptual modelling
;
Management of integrity
constraint
s
;
Meta-level flattening
;
Model finders
;
Constraint
solving
;
MetaDepth
刊名:Data & Knowledge Engineering
出版年:2017
2.
On the exact solution of the no-wait flow shop problem with due date
constraint
s
作者:
Hamed Samarghandi
a
;
samarghandi@edwards.usask.ca
;
hamed.samarghandi@gmail.com
;
Mehdi Behroozi
b
;
m.behroozi@neu.edu
关键词:
No-wait flow shop
;
Due date
constraint
s
;
Mixed integer programming
;
Constraint
programming
;
Enumeration algorithm
刊名:Computers & Operations Research
出版年:2017
3.
Reference and command governors for systems with
constraint
s: A survey on theory and applications
作者:
Emanuele Garone
a
;
egarone@ulb.ac.be
Author Vitae
;
Stefano Di Cairano
b
;
dicairano@ieee.org
Author Vitae
;
Ilya Kolmanovsky
c
;
ilya@umich.edu
Author Vitae
关键词:
Constraint
s
;
Constraint
satisfaction problems
;
Model based control
;
Predictive control
;
Control applications
;
Aerospace control
;
Automotive control
刊名:Automatica
出版年:2017
4.
Constraint
identification techniques for lean manufacturing systems
作者:
Trumone Sims
;
1
;
trumonesims@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Hung-da Wan
关键词:
Theory of
Constraint
s
;
Constant Work-In-Process (CONWIP)
;
Continuous moving conveyors
;
Assembly line
刊名:Robotics and Computer-Integrated Manufacturing
出版年:2017
5.
Intruder deducibility
constraint
s with negation. Decidability and application to secured service compositions
作者:
Tigran Avanesov
a
;
tigran.avanesov@uni.lu
;
Yannick Chevalier
b
;
ychevali@irit.fr
;
Michael Rusinowitch
c
;
rusi@loria.fr
;
Mathieu Turuani
c
;
mathieu.turuani@loria.fr
关键词:
Web services
;
Orchestration
;
Security policy
;
Separation of duty
;
Deducibility
constraint
s
;
Cryptographic protocols
;
Formal methods
;
Automated verification
;
Synthesis
刊名:Journal of Symbolic Computation
出版年:2017
6.
Skalpel: A
constraint
-based type error slicer for Standard ML
作者:
Vincent Rahli
a
;
vincent.rahli@gmail.com
;
Joe Wells
b
;
John Pirie
b
;
Fairouz Kamareddine
b
关键词:
Constraint
-based type inference
;
Automated type inference
;
Automated error diagnosis
;
Type error slicing
;
Improved error reports
刊名:Journal of Symbolic Computation
出版年:2017
7.
Satisfiability of general intruder
constraint
s with and without a set constructor
作者:
Tigran Avanesov
a
;
tigran.avanesov@uni.lu
;
Yannick Chevalier
b
;
yannick.chevalier@irit.fr
;
Michael Rusinowitch
c
;
michael.rusinowitch@inria.fr
;
Mathieu Turuani
c
;
mathieu.turuani@inria.fr
关键词:
ACI
;
Deducibility
constraint
s
;
Dolev&ndash
;
Yao deduction system
;
Multiple intruders
;
Security
刊名:Journal of Symbolic Computation
出版年:2017
8.
Differential
effect
of liquidity
constraint
s on firm growth
作者:
Syed Manzur Quader
manzur@ciu.edu.bd
关键词:
Law of proportionate
effect
s
;
Financial
constraint
s
;
Growth cash flow sensitivity
;
Leverage
effect
;
GMM
刊名:Review of Financial Economics
出版年:2017
9.
Non-linear modal analysis of structural components subjected to unilateral
constraint
s
作者:
M. Attar
a
;
mostafa@mech.uwa.edu.au
;
mostafa.attar@gmail.com
;
A. Karrech
b
;
ali.karrech@uwa.edu.au
;
K. Regenauer-Lieb
c
;
klaus@unsw.edu.au
关键词:
Unilateral
constraint
;
Non-linear modal analysis
;
Piecewise-smooth systems
;
Non-linear normal modes
刊名:Journal of Sound and Vibration
出版年:2017
10.
Modeling and vibration control of a flexible aerial refueling hose with variable lengths and input
constraint
作者:
Zhijie Liu
a
;
liuzhijie2012@gmail.com
Author Vitae
;
Jinkun Liu
a
;
ljk@buaa.edu.cn
Author Vitae
;
Wei He
b
;
hewei.ac@gmail.com
Author Vitae
关键词:
Boundary control
;
Distributed parameter system
;
Vibration control
;
Input
constraint
;
Flexible hose
刊名:Automatica
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(68519)
题名(12637)
作者(1)
关键词(7718)
文摘(60985)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.