掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IFAC symposium on information control in manufacturing;INCOM
IFAC symposium on information control in manufacturing;INCOM
召开年:
1998
召开地:
Nancy-Metz(FR);Nancy-Metz(FR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
AIT - advanced information technology for design and manufacture an industrial insight into technology development
机译:
AIT-用于设计和制造对技术开发的工业洞察力的先进信息技术
作者:
A. L. Shaw
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
2.
An Algebraic Approach to Model Complex Sequencing Problems
机译:
建模复杂排序问题的代数方法
作者:
Frederic Guegnard
;
Mihaela Mares
;
Marc Bourcerie
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Petri Nets;
Sequencing;
Finite Fields Algebra;
Timing;
Perturbation;
3.
An integrated environment for the design of procedural controllers
机译:
用于过程控制器设计的集成环境
作者:
M.T. Marikar
;
G.E. Rotstein
;
S. Macchietto
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
hybrid modes;
robust control;
verification;
model approximation;
software specification;
4.
An integrated it solution for the maintenance activity in manufacturing facilities: the esprit iv-20874 rtd remafex project
机译:
用于制造工厂维护活动的集成IT解决方案:Esprit IV-20874 rtd remafex项目
作者:
J. Pinoteau
;
B. Iung
;
A. Ferro de Beca
;
F. Arregui
;
B. Stene
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Integration;
Distributed Architecture;
Predictive Maintenance;
Diagnosis;
Maintenance Platform;
5.
An object-oriented model for rapid prototyping of data path/control systems - a case study
机译:
数据路径/控制系统快速原型设计的面向对象模型-案例研究
作者:
Ricardo J. Machado
;
Joao M. Fernandes
;
Alberto J. Proenca
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Object modelling techniques;
Petri-nets;
Computer control system design;
Rapid programming;
6.
Artificial neural networks in manufacturing processes: monitoring and control
机译:
制造过程中的人工神经网络:监视和控制
作者:
H. S. Cho
;
M. C. Leu
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Artificial intelligence;
Manufacturing processes;
Neural networks;
Process models;
Process control;
Quality control;
7.
Assembly line sequencing based on petri-net t-invariants
机译:
基于Petri网t不变量的装配线排序
作者:
Georg Frey
;
Kai Mo#beta#ig
;
Mark Schnabel
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Petri-nets;
Discrete-event systems;
Flexible manufacturing systems;
Invariants;
Scheduling algorithms;
8.
Assembly production planning by network flow approach
机译:
通过网络流程方法进行装配生产计划
作者:
M. F. H. Carvalho C. A. O. Fernandes P. A. V. Ferreira M. T. Takahashi
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Production Planning;
Network Flow;
Mathematical Programming;
Linear Optimisation.;
9.
Automation in engineering design
机译:
工程设计自动化
作者:
Andrew Kusiak
;
Mehmet Aktan
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Engineering design;
constraints negotiation;
Decision making;
Concurrent engineering;
10.
Basic concepts of the general theory of design - a survey
机译:
一般设计理论的基本概念-一项调查
作者:
David chen
;
Guy Doumeingts
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Design;
Theory of Design;
Production systems design;
Product design;
11.
Chaos in simple logistic systems
机译:
简单物流系统中的混乱
作者:
Ingo Hoffmann
;
Sebastian Engell
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Hybrid and deterministic chaotic dynamics;
attractor;
entropies;
12.
Chattering reduction in design of variable structure systems
机译:
减少可变结构系统设计中的抖动
作者:
Feng Yong
;
Li Tao
;
An Chengquan
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Nonlinear systems;
Robust control;
Sliding mode;
Sliding surfaces;
Variable structure system;
13.
CIMOSA and GERAM Standardisation in Enterprise Engineering
机译:
企业工程中的CIMOSA和GERAM标准化
作者:
K. Kosanke
;
F. Vernadat
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
CIMOSA;
Enterprise Modelling;
Enterprise Reference Architecture;
GERAM;
Standardisation;
14.
Closed-loop planning of multistage production under resource constraints
机译:
资源约束下的多阶段生产闭环规划
作者:
Jean-Clande Hennet
;
Isabelle Barthes
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Manufacturing System;
Production Planning;
MRP;
Positive Invariance;
Linear Programming;
15.
communication in a concurrent engineering context: analysis of an experimentation
机译:
并行工程环境中的通信:实验分析
作者:
E. Rondeau
;
D. Crestani
;
A.Crosnier
;
J.F. Petiot
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Concurrent engineering;
Project management;
Communication environments.;
16.
Database design for a product specification language
机译:
产品规范语言的数据库设计
作者:
Sven-Arne Andreasson
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Computer Integrated Manufacturing;
Flexible Manufacturing System;
Product Specification;
Databases;
Design;
17.
Deadlock-free scheduling of manufacturing systems with multiple resources
机译:
具有多种资源的制造系统的无死锁调度
作者:
Berenice C. Damasceno
;
Xiaolan Xie
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Scheduling;
Manufacturing Systems;
Deadlock;
Petri Nets;
18.
Design of reliable real-time applications distributed over can (controller area network)
机译:
分布在罐(控制器局域网)上的可靠实时应用程序的设计
作者:
N. Navet Y.-Q. Song
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Local area network;
Error probability;
Fault tolerance;
Embedded Systems;
Safety-critical;
19.
Earliest analysis of the manufacturability of a product: adequation between production means and product
机译:
最早对产品可制造性的分析:生产方式和产品之间的适当性
作者:
F. Villeneuve
;
S. Tassel
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Design For Manufacturing (DFM);
Machine-tool kinematic;
Machining feature;
adequation;
extrem situation;
20.
Experiences of using formal methods for chemical process control specification
机译:
使用正式方法进行化学过程控制规范的经验
作者:
K. Lano
;
J. Bicarregui
;
P. Kan
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Control engineering;
Control system design;
Formal specification;
Formal verification;
Realtime;
21.
Extension of the scaled weighted variance method to the ewma-X-bar control chart
机译:
将比例加权方差方法扩展到ewma-X-bar控制图
作者:
Philippe Castagliola
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Unimodal skewed distribution;
Scaled weighted Variance method;
EWMA control chart;
Gamma distribution;
Lognormal distribution;
22.
Federated management of distributed data and services
机译:
分布式数据和服务的联合管理
作者:
Dirk Solte
;
Robert stegmann
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Architectures;
Communication environments;
Data Handling Systems;
Enterprise Integration;
Information Technlogy;
23.
Formal engineering methods for modelling and verification of control systems
机译:
用于控制系统建模和验证的正式工程方法
作者:
Dominique Mery
;
Jean-Francois Petin
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Formal method;
control engineering;
verification;
24.
Formalization of hybrid structures in robot controllers: the orccad approach
机译:
机器人控制器中混合结构的形式化:Orccad方法
作者:
D. Simon
;
K. kapellos
;
B. Espiau
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Robot programming;
formal verification;
real-time;
hybrid systems;
25.
From a communication standard specification to its implementations : some mms evolution and extensions
机译:
从通信标准规范到其实现:一些彩信的发展和扩展
作者:
Thierry Divoux
;
Eric Rondeau
;
Francis Lepage
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
MMS;
Communication systems;
Multimedia;
Information systems;
26.
From grafcet to hybrid automata
机译:
从grafcet到混合自动机
作者:
G. Frensel
;
P.M. Bruijn
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
grafcet;
hybrid automata;
modelling control systems;
sequential function charts;
specification;
verification;
27.
Generalized quaternionic recursions for positions, velocities and accelerations fo robot links
机译:
机器人链接的位置,速度和加速度的通用四元数递归
作者:
O. Hachicho
;
H. Pu
;
F. Pautzke
;
H. Nour Eldin
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Robot kinematics;
Quaternions;
Recursive algorithms;
28.
Globeman21: enterprise integration for global manufacturing for the 21st century
机译:
Globeman21:面向21世纪全球制造业的企业整合
作者:
Yoichi Kamio
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
IMS;
Intelligent Manufacturing System;
Globeman;
Product Life Cycle;
Enterprise Integration;
Global Manufacturing;
Extended Enterprise;
29.
Grafcet: a north american perspective
机译:
Grafcet:北美视角
作者:
Paul Baracos
;
Ph.D.
;
P.Eng.
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Grafect;
Sequential Function Charts;
SFC;
History of Grafcet-base4d control;
30.
Grafchart and its relations to grafcet and petri nets
机译:
Grafchart及其与grafcet和Petri网的关系
作者:
Charlotta Johnsson
;
Karl-Erik Arzen
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Sequential control;
Discrete Event Systems;
Petri Nets;
31.
Handling discrete demand in continuous-time production planning
机译:
在连续时间的生产计划中处理离散需求
作者:
Stephane Dauzere-Peres Marc Sevaux
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Production systems;
Continuous time sytems;
Discrets systems, Linear programming.;
32.
Hierarchical derivation of schedules for manufacturing cells
机译:
分层生产单元计划表
作者:
W.M. Zuberek
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
manufacturing systems;
modeling;
hierarchical structures;
Petri nets;
33.
Holonic manufacturing control at k.u.leuven
机译:
leuven的Holonic生产控制
作者:
Paul Valckenaers
;
Hendrik Van Brussel
;
Luc Bongaerts
;
Jo Wyns
;
Patrick Peeters
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Intelligent manufacturing systems;
Architectures;
Computer-integrated manufacturing;
Agents;
Shop-floor oriented systems;
Decentralized systems.;
34.
Iceimt results: enterprise integration and control issues
机译:
Iceimt结果:企业集成和控制问题
作者:
H T Goranson
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Agile Manufacturing;
Computer Architectures;
Computer-integrated Manufacturing;
Conceptual Representations;
Enterprise Engineering;
Enterprise Modeling;
Models.;
35.
Implementation of hierarchical sequential functional charts for programmable logic controllers
机译:
可编程逻辑控制器的分层顺序功能图的实现
作者:
Pasquale Chiacchio
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Automation;
Programmable logic controllers;
Hierarchical control;
Programming languages;
Graphs;
36.
Information processing in a flexible robot-based microassembly station
机译:
基于柔性机器人的微型装配站中的信息处理
作者:
Heinz Woern
;
Joerg Seyfried
;
Sergej Fatikow
;
Karoly Santa
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Robots;
microsystems;
assembly;
systems design;
37.
Integrated design method of the process and the production goods
机译:
工艺与生产品的集成设计方法
作者:
C. Decreuse
;
P. Jacobe
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Computer Aided Process Planning;
concurrent engineering;
specialist machine;
machining center;
phases number;
Part Tool Direction;
Initial Table;
38.
Integrated information and process management in manufacturing engineering
机译:
制造工程中的集成信息和流程管理
作者:
Rikardo Bueno
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Information integration;
Processes;
39.
Integrating robot task planning into off-line programming systems
机译:
将机器人任务计划集成到离线编程系统中
作者:
Hongyan Sun
;
Uri I. Kroszynski
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Robotics;
Off-line programming;
Robot programming;
Simulation;
Path planning;
Architectures;
Models;
40.
Integration of view points by using an object oriented approach
机译:
通过使用面向对象的方法来整合视点
作者:
M. Bigand
;
D. Corbeel
;
J.P. Bourey
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Object oriented programming. Modelling;
Supervision;
Performance evaluation;
Integration;
41.
It innovations for future car manufacturing system
机译:
它为未来的汽车制造系统进行了创新
作者:
Gerard Segarra
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
42.
Languages and applications in hybrid modelling: positioning of chi
机译:
混合建模中的语言和应用:chi的定位
作者:
D.A. van Beek
;
J.E. Rooda
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
modelling;
simulation languages;
continuous time systems;
discrete-event systems;
discrete-event dynamic systems;
43.
Linear quadratic control for multimode systems
机译:
多模系统的线性二次控制
作者:
Patrick Sarri
;
Eric Niel
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Multimode systems;
Optimal control;
Discrete-time LQR;
44.
Logistics models in flexible manufacturing
机译:
柔性制造中的物流模型
作者:
Z.A. Banaszak
;
X.Q. Tang
;
S.C Wang
;
M.B. Zaremba
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Flexible Manufacturing Systems;
distributed control;
process scheduling;
protocol design;
logistics;
AGV routing;
45.
Machining feature generation based on product description and manufacturing knowledge
机译:
基于产品描述和制造知识的加工特征生成
作者:
Michiko Matsuda
;
Fumihiko Kimura
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
product modeling;
machining feature description;
machining knowledge;
virtual machining;
machining preparation;
46.
Matching Object Structure using Petri Nets
机译:
使用Petri网匹配对象结构
作者:
Chuan Zhou
;
Gurdeep S.Hura
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Petri nets;
Object Recognition;
Structure matching;
Structure description;
47.
Mechatronics: reality and perspectives
机译:
机电一体化:现实与观点
作者:
Alain Bourjault
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
mechatronics;
miniaturisation;
48.
Microprocessor-controlled embedded systems
机译:
微处理器控制的嵌入式系统
作者:
Tanya Vladimirova
;
Andrew Barth
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Microcomputer-Based Control;
Microprocessors;
Embedded Systems;
49.
Microvibromotor for precision microrobot
机译:
精密微型机器人的微型振动电机
作者:
Philippe Helin
;
Veronique Sadaune
;
Christian Druon
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Motor;
Actuator;
Positioning systems;
Ultrasonic transducers;
Friction;
50.
Modular verification of programmable logic controllers with tla
机译:
使用TLA对可编程逻辑控制器进行模块化验证
作者:
Andreas Wolpers
;
Werner Stephan
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
formal methods;
manufacturing;
programmable logic controllers;
TLA;
VSE;
51.
Multi-agent systems and manufacturing
机译:
多代理系统和制造
作者:
Jean-Pierre Muller H. Van Dyke Parunak
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Intelligent manufacturing systems;
Multi-agent systems;
Methodology;
52.
New structure of control laws of using krylov's factors
机译:
利用克雷洛夫因子的控制律的新结构
作者:
Roman P. Efimov
;
Vladimir A. Podchukayev
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
nonlinear systems;
control laws;
differential equation;
characteristic polynomials;
53.
A high level engineering tool to master flexible control systems
机译:
掌握灵活控制系统的高级工程工具
作者:
Jean-Pierre CAMATTE
;
Jean-Pierre DALZON
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
computer aided control system design;
control systems;
systems methodology;
user interfaces;
consistency;
54.
A max-plus algebra of signals for the supervisory control of real-time discrete event systems
机译:
用于实时离散事件系统监督控制的信号的最大正代数
作者:
Guillaume P. Brat
;
Vijay K. Garg
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
max-plus algebra;
discrete event systems;
real time;
supervisory control;
periodic signals;
55.
A petri net approach for quantifying mutual exclusion degree
机译:
用Petri网量化互斥度
作者:
Paulo Maciel
;
Edna Barros
;
Wolfgang Rosenstiel
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
metrics;
system design;
formal methods;
56.
A real time tracking system for interior spaces
机译:
室内空间实时跟踪系统
作者:
Enrico Hammerle
;
Paul W J Winton
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Position location;
position estimation;
tracking systems;
automated guided vehicles;
productivity;
57.
A review upon concurrent engineering
机译:
并行工程回顾
作者:
Hua Tian
;
Weisheng Xu
;
Heinz-Dieter Wend
;
Qidi Wu
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Concurrence in the sense of information;
concurrent engineering;
life-cycle;
manufacturing;
product development;
serial engineering;
58.
A revised optimal production plan by sequential suboptimal approach
机译:
通过顺序次优方法修订的最佳生产计划
作者:
O. S. Silva Filho
;
M. F. Carvalho
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Suboptimal control;
Probabilistic models;
Dynamic Programming;
Production costs;
Inventory control.;
59.
Advanced mechatronics system for manufacturing and repair of turbine blades
机译:
先进的机电一体化系统,用于制造和维修涡轮叶片
作者:
U. Berger
;
R. Janssen
;
E. Brinksmeier
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Turbine components;
Adaptive machining;
Optical sensor system;
Path planning;
CAD/CAM;
60.
Advanced software engineering techniques for real-time systems
机译:
实时系统的高级软件工程技术
作者:
Juan A. de la Puente
;
Gonzalo Leon
;
Alejandro Alonso
;
Juan C. Duenas
;
Migual A. de Miguel
;
Alvaro Rendon
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Real-time systems;
software engineering;
software prototyping;
software validation;
software testing;
61.
Advanced supervision laser based system of the overhead cranes
机译:
基于高级监控激光的桥式起重机系统
作者:
Janusz Szpytko
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
automation;
diagnostic;
laser technique;
monitoring;
overhead crane;
62.
Object-oriented models for advanced automation engineering
机译:
面向对象的模型,用于高级自动化工程
作者:
Claudio Maffezzoni
;
Luca Ferrarini
;
Emanuele Carpanzano
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
automation;
object modelling techniques;
physical models;
control oriented models;
complex systems;
standards;
computer aided control system design;
distributed control;
63.
Off-line prediction in real-time control systems
机译:
实时控制系统中的离线预测
作者:
Emmanuel MESNARD
;
Yvon TRINQUET
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Prediction;
behavioral analysis;
real-time;
constraints;
scheduling algorithms;
64.
Petri net based modelling, planning and control of logistical processes under environmental goals and constraints
机译:
在环境目标和约束下基于Petri网的物流过程建模,计划和控制
作者:
Bullinger
;
Hans-Jorg
;
Steinaecker
;
Jorg von
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Production management;
Environemntal protection;
Petri-Nets;
Modelling;
65.
Process control engineering trends
机译:
过程控制工程趋势
作者:
Dominique GALARA
;
Jean Pierre HENNEBICQ
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
66.
Process planning: from automation to integration
机译:
流程规划:从自动化到集成
作者:
Daniel BRISSAUD
;
Patrick MARTIN
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
manufacturing process;
concurrent engineering;
integration;
67.
Psa implements a capp system to solve a manufacturing problem
机译:
PSA实施Capp系统以解决制造问题
作者:
Laurent SABOURIN
;
Jean-Marc BENOIT
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Computer aided process planning;
Expert system;
Automobile industry;
68.
Qualitative Modelling and analysis of dynamic systems: an unified approach based on bond-graph and coloured petri nets
机译:
动态系统的定性建模和分析:基于键图和有色Petri网的统一方法
作者:
Hassane Abouaissa
;
Michel Ferney
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Bond-graphs;
Petri nets;
modelling;
qualitative analysis;
simulation;
69.
Reachability in hybrid systems by control inclusion
机译:
通过控制包含在混合系统中的可达性
作者:
Flavio Neves Junior
;
Joseph Aguilar Martin
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
reachability;
modelling;
hybrid automaton;
control inclusion;
70.
Realization and control of autonomous microconveyors with piezoelectric actuators
机译:
带压电执行器的自主微输送机的实现与控制
作者:
J.C. Ravassard
;
J. Abadie
;
J. Duffaud
;
J.C. Ferniot
;
P. Le Moal
;
N. Chaillet
;
S. Dembele
;
A. bourjault
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
positioning systems;
piezoelectric actuators;
frequency control;
feedback control;
resonant frequency;
71.
Response time guarantees for networked control systems
机译:
网络控制系统的响应时间保证
作者:
Hans Hansson
;
Mikal Sjodin
;
Andreas Ermedahl
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Real-Time Networking;
Admission Control;
Schedulability Analysis;
Response-Time Analysis;
Real-Time Guarantees;
72.
Retro-fitting the process control industry with intelligent field-devices: from RD to standardisation
机译:
用智能现场设备改造过程控制行业:从研发到标准化
作者:
Francesco Russo
;
Luciano Capetta
;
Antonio Mella
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
user requirements;
intelligent instrumentation;
transducer;
actuator;
fieldbus;
distributed automation;
maintenance;
technical management;
standards;
education;
73.
Scheduling timed marked graphs with resources: a serial method
机译:
使用资源调度定时标记图:一种串行方法
作者:
Pascal Richard
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Petri-nets;
Scheduling algorithms;
Production systems;
Graphs;
74.
Shape Memory Alloy Compliant Microrobots
机译:
符合形状记忆合金的微型机器人
作者:
M. Calin
;
N. Chaillet
;
J. Agnus
;
A. Bourjault
;
A. Bertsch
;
S. Zissi
;
L.Thiery
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Microrobot;
microassembling;
shape memory alloy;
microstereophotolithography;
design;
neural bond graph;
75.
Specification and verification of the korso production cell
机译:
korso生产单元的规范和验证
作者:
Dominique LHer
;
Jean-Luc Scharbarg
;
Philippe Le Parc
;
Jean Vareille
;
Lionel Marce
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Formal verification;
process control languages;
safety analysis;
manufacturing systems;
temporal logic;
76.
Standardisation in automation systems
机译:
自动化系统的标准化
作者:
Christian Diedrich
;
Peter Neumann
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Architectures;
Automation;
Fieldbus;
Function Blocks;
77.
Standardisation of open systems and corresponding interfaces for automotive electronics osek /vdx
机译:
汽车电子OSEK / VDX的开放系统和相应接口的标准化
作者:
Uwe Kiencke
;
Dirk John
;
Ansgar Maisch
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Operating System;
Communication;
Network Management;
Standard;
Test;
78.
Supply chain management: a supplier perspective
机译:
供应链管理:供应商视角
作者:
K. Rota
;
C. Thierry
;
G. Bel
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Supply chain;
Manufacturing Planning;
Control;
Simulation.;
79.
Synchronous Languages and Reactive System Design
机译:
同步语言和反应系统设计
作者:
A. Benveniste
;
C~2A
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
80.
Temoral logic for validation and verifying enel control systems
机译:
验证和验证Enel控制系统的时间逻辑
作者:
Ernani Crivelli
;
Angelo Morzenti
;
Elena Ratto
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Formal specification;
Formal verification;
Tests;
Energy control systems;
81.
The effect of heuristics in genetic algorithm for solving a scheduling problem
机译:
启发式算法在遗传算法中解决调度问题的作用
作者:
Nobuo Sannomiya
;
Hitoshi Iima
;
Atsushi Aoki
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
scheduling algorithms;
optimization;
genetic algorithms;
heuristics;
manufacturing systems;
job shop process.;
82.
The extension of principles of cybernetics towards engineering and manufacturing
机译:
将控制论的原理扩展到工程和制造
作者:
F. Lhote
;
Ph. Chazelet
;
M. Dulmet
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Closed loop;
Conception;
Cybernetics;
Humanity;
Intentionality;
Sociotechnicl System;
83.
The international intelligent manufacturing systems initiative
机译:
国际智能制造系统计划
作者:
Michael F Parker
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
International;
co-operation;
intelligent systems;
manufacturing;
knowledge transfer;
industrial production systems.;
84.
The step based multi view integrated product modelling
机译:
基于步骤的多视图集成产品建模
作者:
Yongshun Zhao
;
Jiati Deng
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Integration;
CAD/CAM;
Modelling;
Computer-integrated manufacturing;
Concurrent engineering;
85.
Towards concurrent design: cognitive and cooperative aspects integrated in a model of design activity
机译:
迈向并发设计:将认知和合作方面整合到设计活动模型中
作者:
X.Boucher
;
A. Cauvin
;
JP.Kieffer
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Concurrent Engineering;
Design;
Innovation;
Cognitive study;
Co-operation;
Co-ordination.;
86.
Transparent factory, information everywhere: benefits to users impacts plac design
机译:
透明工厂,《无处不在的信息》:给用户带来的好处影响着plac设计
作者:
Jean Doussy
;
Gilbert Brault
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Automation;
Manufacturing information systems;
Programmable logic controllers;
Three tier rchitecture;
Distributed object framework;
Request object broker;
87.
Trends on mechatronics for microano telemanipulation: survey and requirements
机译:
用于微/纳米远程操纵的机电一体化趋势:调查和要求
作者:
Metin Sitti
;
Moussa Hoummady
;
Hideki Hshimoto
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Micro-robotics;
teleoperation;
remote control;
human-machine interfaces;
88.
Validation of a sfc software specification by using hybrid automata
机译:
使用混合自动机验证SFC软件规范
作者:
George Hassapis
;
Isabella Kotini
;
Zoe Doulgeri
会议名称:
《IFAC symposium on information control in manufacturing;INCOM》
|
1999年
关键词:
Software Engineering;
Programmable Controllers;
Formal Methods;
Process Control Languages;
意见反馈
回到顶部
回到首页