掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IFAC symposium on control in transportation systems
IFAC symposium on control in transportation systems
召开年:
2000
召开地:
Braunschweig(DE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
An estimation method of the volume of passengers on board applicable for evaluation of traffic rescheduling plans
机译:
可用于评估交通调度计划的机上乘客数量的估算方法
作者:
Chikara Hirai
;
Norio Tomii
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
estimation;
evaluation;
simulation;
train control;
transport.;
2.
An integrated object-oriented network-and modal split-model
机译:
集成的面向对象的网络和模式拆分模型
作者:
Thorsten Schuler
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
algorithms;
computer progams;
data models;
modes;
object-oriented programming;
planning;
multimode traffic assignment;
modal split;
3.
An internet based on-line architecture for real-time traffic systems control
机译:
基于Internet的实时交通系统控制的在线体系结构
作者:
Srinivas Peeta
;
Raghubhushan Pasupathy
;
Shyam Gedela
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
on-line control;
distributed computer control systems;
fault tolerance;
4.
Basic study on a simulation model for the traffic stream on urban experessway merging area
机译:
城市高速公路合并区交通流模拟模型的基础研究
作者:
Yasuji Makigami
;
Takahiro Sakai
;
Tsuyoshi Ishizuka
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
expressway;
merging traffic;
simulation model traffic survey;
design improvement.;
5.
Combining traffic assignment and adaptive control in a dynamic traffic management system
机译:
在动态交通管理系统中将交通分配与自适应控制相结合
作者:
Nathan H. Gartner
;
Chronis Stamatiadis
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
traffic control;
traffic assignment;
traffic signals;
adaptive control;
equilibrium;
intelligent transportation systems.;
6.
Consistent integration of heterogeneous data bases
机译:
异构数据库的一致集成
作者:
Jan-Philip Porschke
;
Salomon Klaczko
;
Joerg Fiebelkorn
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
logical consistency;
constraint propagation;
satisfaction;
transportation routing;
transportation data bases;
traffic data bases;
object-oriented programmign;
aspectoriented programming;
7.
Decentralized railway control based on autonomous agents
机译:
基于自治代理的分散铁路控制
作者:
Alexander Fay
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
rail traffic;
plannign;
dispatching;
agent technology;
8.
Distributed traffic data acquisition for short-term presentation in digital media
机译:
分布式交通数据采集,用于数字媒体的短期展示
作者:
Robert Hoyer
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
distributyed detection;
telematics;
multimedia;
traffic control;
9.
Dynamic simulation of traffic and its environmental impacts
机译:
动态模拟交通及其对环境的影响
作者:
N. Eissfeldt
;
M. Metzler
;
P. Wagner
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
traffic simulation;
dynamic traffic assignment;
car-following model;
computation of emissions;
10.
Experience on the use of a formal method in a railway company
机译:
在铁路公司中使用正式方法的经验
作者:
Lilian Burdy
;
Jean-Marc Meynadier
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
11.
Formal software techniques for railway systems
机译:
铁路系统的正式软件技术
作者:
Dines Bjorner
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
12.
How to change urban traffic with city logistics
机译:
如何通过城市物流改变城市交通
作者:
Uwe Kohler
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
city logistics in kassel;
vehicle routing;
scheduling.;
13.
Macroscopic traffic simulation for on-line forecasting
机译:
宏观交通模拟,用于在线预测
作者:
W. J. J. Knibbe
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
macroscopic traffic simulation - decision support systems - traffic control;
14.
Microsystems-the key for modern transportation
机译:
微系统-现代交通的关键
作者:
W. Ehrfeld
;
S. Kiesewalter
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
microsystems;
sensors;
actuators;
mobility;
15.
Modelling the generalized railway crossing with hybrid abstract state machines
机译:
用混合抽象状态机建模广义铁路道口
作者:
Heinrich Rust
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
real-time systems;
hybrid systems;
hybrid abstract state machines;
non-standard time domains;
generalized railway crossing case study;
16.
Movement is life: different aspects of road traffic signs performance
机译:
运动就是生命:道路交通标志的不同方面表现
作者:
Etienne De Winne
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
road traffic;
safety;
sign detection;
driver behaviour;
signals;
17.
New concepts for high-level petri nets in the application domain of train control systems
机译:
列车控制系统应用领域中高级Petri网的新概念
作者:
J. Padberg
;
P. Schiller
;
H. Fhrig
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
colored petri nets;
modeling techniques;
methodology;
modularization;
open systems;
open petri nets;
abstraction techniques;
18.
A closer examination of overtaking prohibitions for trucks
机译:
仔细检查卡车超车禁令
作者:
Serge P. Hoogendoorn
;
Piet H. L. Bovy
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
capacity;
chaotic behavior;
driver behavior;
estimation algorithms;
nonlinear models;
open loop control systems;
self-organizing systems;
traffic control.;
19.
Adaptive information filter for the fusion of data from the object-detecting sensors of an autonomous vehicle
机译:
自适应信息过滤器,用于融合来自自动驾驶车辆目标检测传感器的数据
作者:
Jan C. Becker
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
sensor fausion;
kalman filter;
filter design;
autonomous vehicles;
object recognition;
20.
Notation, method, tool: a conceptual framework for the application of formal methods
机译:
符号,方法,工具:应用形式方法的概念框架
作者:
Michael Meyer zu Horste
;
Srinivasan Parthasarthy
;
Eckehard Schnieder
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
automation;
formal methods;
railways;
explication;
domain engineering;
safety;
verification;
validation;
proof;
abstraction.;
21.
Novel optical backplane for automotive applictions
机译:
适用于汽车应用的新型光学背板
作者:
S. Kufner
;
M. Kufner
;
I. Frese
;
T. Paatzsch
;
H.-D. Bauer
;
W. Ehrfeld
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
LIGA;
optical backplane;
guided wave optics;
free space optics;
22.
On data acquistition, modeling and simulation of highway traffic
机译:
公路交通数据采集,建模与仿真
作者:
Tom Bellemans
;
Bart De Schutter
;
Bart De Moor
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
data processing;
data acquisition;
preprocessing;
computer simualtion;
filtering;
interpolation;
road traffic;
23.
Probabilistic vehicle routing and scheduling with variable travel times
机译:
行驶时间可变的概率车辆路线和调度
作者:
Eiichi Taniguchi
;
Tadashi Yamada
;
Yasushi Kakimoto
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
probabilistic models;
simulation;
dynamic models;
uncertainty;
transport delay;
24.
Safety analysis of a radio-based crossing control system using formal methods
机译:
基于形式方法的无线电交叉控制系统的安全性分析
作者:
Wolfgang Reif
;
Gerhard Schellhorn
;
Andreas Thums
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
fault tree analysis;
formal models;
safety critical systems;
25.
Simulation of subway operation using neural networks
机译:
使用神经网络模拟地铁运营
作者:
Kai Frederik Zastrow
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
simulation;
neural networks;
scheduling algorithms;
delay estimation;
26.
Specification of train control systems with step
机译:
分步列车控制系统规范
作者:
Gert Bikker
;
Lorenz Daubler
;
Michael Meyer zu Horste
;
Eckehard Schnieder
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
train control system;
requirements specification;
product data technology;
STEP;
ETCS;
27.
Teletravel system (tts) telematic system for the automatic survey of travel behaviour
机译:
远程旅行系统(tts)远程信息处理系统,用于自动调查旅行行为
作者:
Manfred Wermuth
;
Carsten Sommer
;
Sven Wulff
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
behaviour;
acquisition of data;
positioning systems;
telecommunication;
telematics;
transportation.;
28.
Theee categories of traffic data: historical; current; and predictive
机译:
交通数据分为三类:历史数据;当前;和预测性的
作者:
Roland Chrobok
;
Oliver Kaumann
;
Joachim Wahle
;
Michael Schreckenberg
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
statistical analysis;
heuristics;
cellular automata;
traffic control;
simulator;
forecasts;
information analysis;
real-time systems;
29.
Towards domain-specific formal specification languages for railway control systems
机译:
面向铁路控制系统的领域特定形式规范语言
作者:
Jan Peleska
;
Alexander Baer
;
Anne E. Haxthausen
会议名称:
《IFAC symposium on control in transportation systems》
|
2000年
关键词:
railway control systems;
domain-specific formalisms;
design patterns;
frameworks;
30.
Concept of navigation and automatic steering of the measuring dolphin
机译:
导航和自动测量海豚的概念
作者:
Jurgen Majohr
;
Thomas Buch
;
Cathleen Korte
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
automated guided vehicles;
autonomous vehicles;
navigation systems;
control system design;
computer controlled systems;
31.
Contactless utilisation of an electronic purse for automatic fare management in public transport
机译:
非接触式电子钱包在公共交通工具中的自动票价管理
作者:
Torsten Grundel
;
Helge Lorenz
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
public transport;
automatic fare management;
smartcard;
electronic ticketing;
electronic purse;
contactless transmission;
man/machine interface. mobility management;
32.
Micromechanical sensors for the inertial measurement unit of a satellite navigtion system
机译:
卫星导航系统惯性测量单元的微机械传感器
作者:
S. Butefisch
;
S. Buttgenbach
;
G. Schanzer
;
U. Schneider
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
navigation;
inertial measurement unit;
GPS;
microtechnolgy;
silicon;
accelerometer;
gyroscope;
33.
Microsystems for transportation: an overview of the different applications
机译:
运输微系统:不同应用的概述
作者:
Eric Mounier
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
microsystems;
transportation;
34.
Modeling and analysis of a freight terminal with stochastic petri nets
机译:
具有随机Petri网的货运码头建模与分析
作者:
Peter Kemper
;
Markus Fischer
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
petri nets;
markov-chain analysis;
logistic network;
35.
Modelling railway interlocking systems
机译:
铁路联锁系统建模
作者:
Morten P. Lindegaard
;
Peter Viuf
;
Anne E. Haxthausen
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
formal methods;
RAISE;
verification;
safety;
railways;
interlocking systems.;
36.
Modern revenue management strategies for railway slots
机译:
铁路插槽的现代收入管理策略
作者:
M. Schroeder
;
I. Braun
;
E. Schnieder
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
slot assignmnet;
slot management;
yield managemnet;
revenue management;
economics;
railways;
37.
A detection method for traffic incident using wavelet analysis
机译:
小波分析的交通事故检测方法
作者:
Shoufeng Ma
;
Guoguang He
;
Guizhu Wang
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
wavelet analysis;
traffic incident;
traffic volume;
singularity;
signal detection;
38.
A wavelet packet algorithm for online detection of pantograph vibrations
机译:
在线检测受电弓振动的小波包算法
作者:
P. Mercorelli
;
M. Rode
;
P. Terwiesch
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
harmonic analysis;
transient signals;
distance transformations;
transportation control;
train control;
39.
Optimal digital control of transients in transportation systems
机译:
运输系统中瞬变的最佳数字控制
作者:
B. P. Lampe
;
K. Y. Polyakov
;
E. N. Rosenwasser
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
sampled-data systems;
continuous-time transient;
optimal control;
laplace transforms;
polynomial equations;
40.
Optimization criteria for public transportation services
机译:
公共交通服务的优化标准
作者:
Stefan Lewandowski
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
algorithms;
data models;
formal methods;
optimization problems;
time schedule control;
41.
Optimization of prices for air traffic control
机译:
优化空中交通管制价格
作者:
Karine Deschinkel
;
Jean-Loup Farges
;
Daniel Delahaye
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
air traffic control;
gradient methods;
global optimization;
models;
control actions;
economic systems;
42.
Optimization of traffic flow through the use of running lights
机译:
通过使用行车灯优化交通流量
作者:
Dirk Ehmanns
;
Jens Ludmann
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
driver behaviour;
driver models;
simulation;
guidance systems;
human perception;
traffic control;
tunnel light vehicle;
43.
Rail traffic control under disrupted conditions
机译:
干扰条件下的铁路交通控制
作者:
K. Komaya
;
M. Asuka
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
rail traffic;
traffic control;
computer control;
simulation;
knowledge-based systems;
expert systems.;
44.
Special session on formal methods in transport - notes of the editor
机译:
运输形式方法特别会议-编者按
作者:
Markus Montigel
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
45.
The new paradigm: the extended system theory. the enterprise as a meta-intelligent organism
机译:
新范式:扩展系统理论。企业是一种元智能生物
作者:
Jens Kruger
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
organisation;
information;
intelligent business process management;
system theory;
46.
The results of a dutch experiment with floating car data
机译:
荷兰人使用浮动汽车数据进行实验的结果
作者:
Henk Taale
;
Aad de Hoog
;
Stef Smulders
;
Onno Tool
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
probes;
position estimation;
global positioning systems;
travel times;
traffic information;
traffic management;
47.
Three categories of traffic data: historical; current; and predictive
机译:
交通数据分为三类:历史数据;当前;和预测性的
作者:
Roland Chrobok
;
Oliver Kaumann
;
Joachim Wahle
;
Michael Schreckenberg
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
statistical analysis;
heuristics;
cellular automata;
traffic control;
simulator;
forecasts;
information analysis;
real-time systems;
48.
Track control of a towed underwater sensor carrier
机译:
拖曳式水下传感器支架的跟踪控制
作者:
Holger Korte
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
marine systems;
towfish control;
ship control;
underwater vehicle;
track control;
towing system;
multi-body dynamics.;
49.
VDM specification of an interlocking system and a simulator for its validation
机译:
联锁系统的VDM规范以及用于验证的仿真器
作者:
Mitsuyoshi Fukuda
;
Yuji Hirao
;
Takahiko Ogino
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
formal methods;
safety;
validation;
interlocking;
simulation;
50.
XML-EDIfact translation in EDIPA system
机译:
EDIPA系统中的XML-EDIfact转换
作者:
T. Stoilov
;
K. Stoilova
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
communication systems;
telematics;
operating systems;
electronic data interchange (EDI);
extensible markup language (XML);
51.
Basic study on a simulation model for the traffic stream on urban experessway merging area.
机译:
城市高速公路汇合区交通流模拟模型的基础研究。
作者:
Yasuji Makigami
;
Takahiro Sakai
;
Tsuyoshi Ishizuka
会议名称:
《IFAC symposium on control in transportation systems》
|
2001年
关键词:
expressway;
merging traffic;
simulation model traffic survey;
design improvement.;
意见反馈
回到顶部
回到首页