掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IFAC Symposium on Information Control Problems in Manufacturing
IFAC Symposium on Information Control Problems in Manufacturing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
MINIMIZING THE END-TO-END LATENCY IN MULTI-SEGMENT TIME-TRIGGERED NETWORKS
机译:
最小化多段时间触发网络中的端到端延迟
作者:
Paulo Pedreiras
;
Luis Almeida
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
real-time systems;
real-time scheduling;
real-time communication;
time-triggered communication;
phase control;
best-case response time;
2.
AN EVENT FILTERING SCHEME FOR DISTRIBUTED REAL-TIME EMBEDDED SYSTEMS
机译:
用于分布式实时嵌入式系统的事件过滤方案
作者:
Carlos Mitidieri
;
Jorg Kaiser
;
Carlos Eduardo Pereira
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
communication protocols;
embedded systems;
real-time;
3.
RECONFIGURABILITY ANALYS ER FOR AUTOMATED PRODUCTION SYSTEMS
机译:
重新配置性分析是用于自动化生产系统
作者:
TOGUYENI Abdoul K. Armand
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
supervision;
fault detection;
fault isolation;
alarms' management;
reconfiguration;
recovery actions;
reasoning;
4.
STABILITY OF NETWORKED CONTROL SYSTEMS: AN ANALYSIS OF CONTROL DELAY BASED ON PROBABILITY DENSITY FUNCTIONS
机译:
网络控制系统的稳定性:基于概率密度函数的控制延迟分析
作者:
Edmar Jose do Nascimento
;
Antonio Marcus Nogueira Lima
;
Francisco Marcos de Assis
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
NCS;
Stability;
Random;
Delay analysis;
Probability density function;
5.
DYNAMIC BAYESIAN NETWORKS MODELLING THE DEPENDABILITY OF SYSTEMS WITH DEGRADATIONS AND EXOGENOUS CONSTRAINTS
机译:
动态贝叶斯网络对系统的可靠性进行了模拟,具有降解和外源性约束
作者:
Weber P.
;
Munteanu P.
;
Jouffe L.
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Dynamic Bayesian Network;
Markov Switching Model;
Hidden Markov Models;
Reliability evaluation;
6.
OPEN OBJECT-ORIENTED MODELLING AND VALIDATION FRAMEWORK FOR MODULAR INDUSTRIAL AUTOMATION SYSTEMS
机译:
打开模块化工业自动化系统的面向对象的建模与验证框架
作者:
Valeriy Vyatkin
;
Hans-Michael Hanisch
;
Gustavo Bouzon
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Verification;
PLC modelling;
manufacturing systems;
discrete event systems;
7.
INFOTRONICS TECHNOLOGIES AND PREDICTIVE TOOLS FOR NEXT-GENERATION MAINTENANCE SYSTEMS
机译:
下一代维护系统的InfoTronics技术和预测工具
作者:
Jay Lee
;
Hai Qiu
;
Jun Ni
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Prognostics;
Machine Performance Degradation Assessment;
Predictive Maintenance;
Remote Monitoring;
Infotronics;
8.
DESIGNING SUITABLE SWITCHED ETHERNET ARCHITECTURES REGARDING REAL-TIME APPLICATION CONSTRAINTS
机译:
设计适用于实时应用约束的交换以太网架构
作者:
Jean-Philippe Georges
;
Nicolas Krommenacker
;
Thierry Divoux
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Ethernet;
Genetic Algorithms;
Real-time communication;
9.
PETRI NETS SIMULATION OF COMPONENTS FLOWS IN CAR MANUFACTURING
机译:
Petri网的组件模拟汽车制造中的流量
作者:
Fabien Petitjean
;
Alexandre Villeminot
;
Jean-Yves Bron
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Petri-nets;
simulators;
delivery systems;
industrial production systems;
flow control;
components;
10.
CONTROLLER DESIGN AND VERIFICATION FOR A PARALLEL IMAGE PROCESSOR IN AN FMS USING AN EXTENDED PETRI NET
机译:
使用扩展Petri网的FMS中的并行图像处理器的控制器设计和验证
作者:
Akira Nishino
;
Noboru Kasada
;
Katsumi Wasaki
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Petri nets;
Flexible-manufacturing systems;
Controllers;
Verification;
11.
Modelling and Verification of PLC-based Systems Programmed with Ladder Diagrams
机译:
用梯形图编程的基于PLC的系统的建模与验证
作者:
Andrei Lobov
;
Jose L. Martinez Lastra
;
Reijo Tuokko
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Model-checking;
PLC modeling;
12.
ON ADDING SUPPORT FOE REAL-TIME AND DISTRIBUTED APPLICATIONS TO THE MATPLC
机译:
在为Matplc添加实时和分布式应用程序的支持
作者:
Mario de Sousa
;
Adriano Carvalho
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Programmable logic controllers;
Distributed computer control;
13.
OPTIMIZING THE ORDERING POLICY IN A SUPPLY CHAIN
机译:
优化供应链中的订购策略
作者:
Yasemin Arda
;
Jean-Claude Hennet
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Inventory Control;
Queuing Network Models;
Manufacturing Systems;
Supply Chain Management;
Stochastic Modelling;
14.
SYNTHESIS AND PLC IMPLEMENTATION OF SUPERVISORY CONTROL VIA PLACE INVARIANTS FOR A MANUFACTURING CELL
机译:
通过制造单元的地方不变的监督控制的综合和PLC实施
作者:
Eduardo J. Lima II
;
Carlos E. T. Dorea
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Supervisory control;
manufacturing systems;
discrete-event systems;
Petri-nets;
programmable logic controllers;
mvariance;
15.
ANALYSIS OF HYBRID SYSTEMS: STATE OF THE ART
机译:
混合系统分析:现有技术
作者:
J. Zaytoon
;
H. Gueguen
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Verification;
reachability;
abstraction;
approximations;
Hybrid automata;
decidability;
16.
ORGANIZING COOPERATIVE WORK FOR THE PRODUCT DEVELOPMENT PROCESS
机译:
为产品开发过程组织合作工作
作者:
Michael David
;
Zahra Idelmerfaa
;
Thierry Divoux
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Concurrent Engineering;
Interdisciplinary Design;
Project Management;
Work Organization;
Decomposition Method;
Graph Theory;
17.
THE MOBILE CONTROLLED RFID SYSTEM
机译:
移动受控RFID系统
作者:
Mikael Soini
;
Teppo Eeva
;
Lauri Sydanheimo
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Automation;
Communication interface;
Control;
Mobile;
Monitoring;
Telecommunication;
Tracking;
18.
CHALLENGES AND POTENTIAL SOLUTIONS FOR COMMUNICATIONS IN THE ELECTRONICS PRODUCTION INDUSTRY
机译:
电子生产行业通信挑战与潜在解决方案
作者:
Ivan M. Delamer
;
Jose L. Martinez Lastra
;
Reijo Tuokko
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Manufacturing Systems;
Communications Systems;
Data Transmission;
Factory Automation;
Information Systems;
Information Integration;
Protocols;
19.
A CAN-Based Application Level Error Detection and Fault Containment Protocol
机译:
基于CAN的应用级别错误检测和故障密封协议
作者:
Juan Pimentel
;
John Kaniarz
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
20.
STEADY STATE OF HIGH THROUGHPUT MANUFACTURING SYSTEMS BY CONTINUOUS WEIGHTED MARKED GRAPHS
机译:
通过连续加权标记图稳定的高吞吐量制造系统状态
作者:
Isabel Demongodin
;
Nathalie Sauer
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Petri net;
graph theory;
modeling;
formal analysis;
manufacturing system;
steady state;
21.
AUTOMATIC IMPLEMENTATION AND VERIFICATION OF COORDINATING PLC-CODE FOR ROBOT CELLS
机译:
机器人单元的协调PLC代码的自动实现和验证
作者:
H. Flordal
;
M. Fabian
;
K. Akesson
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Robot programming;
deadlock avoidance;
supervisory control;
supervisor synthesis;
programmable logic controllers;
22.
KNOWLEDGE BASED SERVICES FOR TRADITIONAL MANUFACTURING SECTORS PROVIDED BY A NETWORK OF HIGH TECH SMES
机译:
基于知识的服务,用于高科技中小企业网络提供的传统制造业
作者:
Paolo Pedrazzoli
;
Claudio R. Boer
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Manufacturing Systems;
Knowledge Engineering;
Simulation;
23.
CENTRALIZED VERSUS DISTRIBUTED DECISIONS, AN INDUSTRIAL CASE
机译:
集中式与分布式决策,工业案例
作者:
Remi Pannequin
;
Andre Thomas
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
distributed control;
centralized control;
simulation;
24.
REQUIREMENTS, STRUCTURES AND CONTENT MODEL FOR WEB-BASED MAINTENANCE PORTALS IN AUTOMATION
机译:
自动化网络维护门户的要求,结构和内容模型
作者:
Martin Wollschlaeger
;
Thomas Bangemann
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Maintenance;
Fieldbus;
Information;
Integration;
Web;
25.
IMPROVING AUTOMATION SOFTWARE DEPENDABILITY: A ROLE FOR FORMAL METHODS?
机译:
提高自动化软件可靠性:正式方法的作用?
作者:
Timothy L. Johnson
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Automation;
manufacturing systems;
system engineering;
programming theory;
reliability theory;
safety analysis;
computer software;
testability;
26.
UML SPECIFICATION AND DEVELOPMENT OF SAFETY-RELEVANT INDUSTRIAL COMMUNICATION SYSTEMS
机译:
UML规范和安全相关工业通信系统的发展
作者:
Christian Diedrich
;
Elke Hintze
;
Arne Neumann
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
UML specification;
Safety fieldbus communication;
dependability in networks;
Extended finite state machine;
Formalised specification and implementation;
PROFIsafe;
27.
TIMED AUTOMATA APPROACH TO CAN VERIFICATION
机译:
定时自动机可以验证
作者:
Jan Krakora
;
Zdenek Hanzalek
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Controller Area Network;
Real-time;
Timed automata;
Medium Access Control;
28.
CONTROLLABILITY REVISITED: A GENERALIZATION FOR THE MODULAR APPROACH
机译:
重新判断的可控性:模块化方法的概括
作者:
H. Flordal
;
M. Fabian
;
K. Akesson
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Discrete Event Systems;
Modular Supervisory Control Theory;
Controllability;
Finite Automata;
Formal Methods;
29.
SERVER-BASED REAL-TIME COMMUNICATION ON CAN
机译:
基于服务器的实时通信可以
作者:
Thomas Nolte
;
Mikael Nolin
;
Hans Hansson
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
fieldbus networks;
real-time;
scheduling;
CAN;
controller area network;
30.
TRANSIENT SCHEDULING BASED ON MULTI-AGENT APPROACH
机译:
基于多代理方法的瞬态调度
作者:
Olfa BELKAHLA DRISS
;
Ouajdi KORBAA
;
Khaled GHEDIRA
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
flexible manufacturing systems;
scheduling algorithms;
steady states;
transient states;
distributed artificial intelligence;
agents;
31.
COMMUNICATION IN INDUSTRIAL AUTOMATION -WHAT IS GOING ON?
机译:
工业自动化中的沟通 - 正在发生什么?
作者:
Peter Neumann
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Ethernet;
Communication Systems;
Decentralised Control Systems;
Industry Automation;
Real-time;
Performance;
Safety;
Security;
32.
HOW TO GUARANTEE REALTIME BEHAVIOR USING ETHERNET
机译:
如何使用以太网保证实时行为
作者:
Jurgen Jasperneite
;
Peter Neumann
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Realtime;
Ethernet;
factory automation;
33.
CONTROLLER DEPENDABILITY ANALYSIS BY PROBABILISTIC MODEL CHECKING
机译:
概率模型检查的控制器可靠性分析
作者:
Marta Kwiatkowska
;
Gethin Norman
;
David Parker
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Formal verification;
performance analysis;
Markov models;
34.
MONITORING AND DIAGNOSIS IN MES OF SEMICONDUCTOR MANUFACTURING WITH 'EXTRAKT'
机译:
用“Extrabt”的半导体制造MES监测与诊断
作者:
Klaus Kabitzsch
;
Volodymyr Vasyutynskyy
;
Gerolf Kotte
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
fault diagnosis;
manufacturing systems;
event and sequence estimation;
35.
EFFICIENT SYNTHESIS OF A CLASS OF DISCRETE-EVENT CONTROLLERS FOR FORCED ACTIONS
机译:
高效合成一类离散事件控制器,用于强制行动
作者:
A. Sanchez
;
J. Douriet
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Discrete event systems;
controller synthesis;
forced actions;
36.
MULTIHEAD AND WEB TECHNOLOGY FOR THE IMPLEMENTATION OF A MANUFACTURING EXECUTION SYSTEM
机译:
用于实现制造执行系统的多头和Web技术
作者:
Armando Ramirez-Santaella
;
Arturo Molina
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Manufacturing Execution Systems;
Web Technologies;
System Integration;
37.
GENERALIZATION OF DES MULTI-MODELING
机译:
DES多模型的概括
作者:
Oulaid KAMACH
;
Samir CHAFIK
;
Laurent PIETRAC
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
multi-models;
reactive systems;
operating modes;
discrete event systems;
38.
COLLABORATIVE e-WORK AND e-MFG.: CHALLENGES FOR PRODUCTION AND LOGISTICS MANAGERS
机译:
协作电子工作和E-MFG:生产和物流经理的挑战
作者:
Shimon Y. Nof
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Active protocols;
middleware;
autonomous agents;
collaborative robotics;
conflict resolution;
design principles;
distributed operations;
integration;
parallelism;
39.
PROPOSITION OF A SITUATION MODEL IN VIEW TO IMPROVE COLLABORATIVE DESIGN
机译:
一种情况模型的主张,以改善协作设计
作者:
Farouk Belkadi
;
Eric Bonjour
;
Maryvonne Dulmet
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
design activity;
collaborative work;
situation;
and knowledge capitalization;
40.
PERFORMANCE EVALUATION OF THE COLLABORATIVE DESIGN PROCESS
机译:
协同设计过程的绩效评估
作者:
Vincent ROBIN
;
Philippe GIRARD
;
David BARANDIARAN
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
design performance;
collaborative design;
project management;
design environment;
41.
ON SATISFYING REAL-TIME CONSTRAINTS IN REAL-TIME MANUFACTURING SYSTEMS
机译:
关于在实时制造系统中满足实时约束
作者:
Dania A. El-Kebbe
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Multiprocessor real-time scheduling;
production planning and control;
42.
AN EVOLUTIONARY PROCESS FOR THE DESIGN OF SAFE COMPUTER-BASED SYSTEMS
机译:
安全计算机系统设计的进化过程
作者:
Yiannis Papadopoulos
;
Christian Grante
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
safety analysis;
reliability;
multi-objective optimization;
fault-tolerance;
safety critical systems;
43.
MODELING DEMAND FOR INVENTORY MANAGEMENT OF SLOW-MOVING ITEMS IN CASE OF REPORTING ERRORS
机译:
报告错误情况下缓慢移动项目的库存管理建模需求
作者:
Alexandre Dolgui
;
Anatoly Pashkevich
;
Maxim Pashkevich
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
inventory control;
error correction;
statistical inference;
parameter estimation;
prediction methods;
44.
DISCRETE EVENT SYSTEMS WITH GUARDS
机译:
带防护装置的离散事件系统
作者:
Claudio de Oliveira
;
Jose Eduardo Ribeiro Cury
;
Celso Antonio Alves Kaestner
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Discrete Event Systems;
Data Structures;
Guards;
45.
TOWARDS AN APPROACH GATHERING PRODUCT AND PROCESS CONFIGURATION AS A CONSTRAINT SATISFACTION PROBLEM
机译:
朝着一个关于约束满足问题的接近收集产品和流程配置
作者:
Michel Aldanondo
;
Khaled Hadj-Hamou
;
Elise Vareilles
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Configuration;
Constraint Satisfaction Problem;
Product Modelling;
Process Modelling;
Manufacturing process;
46.
IMPROVING E-MANUFACTURING EFFICIENCY THROUGH THE ONTOLOGICAL FILTERING SYSTEM
机译:
通过本体滤波系统提高电子制造效率
作者:
Raffaello LEPRATTI
;
Ulrich BERGER
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Artificial Intelligence;
Knowledge-based Systems;
Man-Machine-Interaction;
Manufacturing System;
Natural Languages;
Programming Systems;
Robot Programming;
47.
CAPACITY PLANNING AND SCHEDULING IN PROJECT ORIENTED PRODUCTION
机译:
项目导向生产的能力规划和调度
作者:
Bozena Skolud
;
Marc Zolghadri
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
production control;
distributed control;
project driven management;
48.
PRACTICAL FORMAL SPECIFICATION FOR EMBEDDED CONTROL SYSTEMS
机译:
嵌入式控制系统的实用形式规范
作者:
Frantz Iwu
;
Andy Galloway
;
Ian Toyn
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Formal Methods;
Control Systems;
Software Engineering and Software Safety;
49.
BALANCING OF TRANSFER LINES WITH SIMULTANEOUSLY ACTIVATED SPINDLES
机译:
使用同时激活的主轴平衡转移线
作者:
Alexandre Dolgui
;
Nikolai Guschinsky
;
Genrikh Levin
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Machining;
line balancing;
optimization;
MIP;
50.
Project-driven management support for web-enabled manufacturing
机译:
项目驱动管理支持支持Web的制造
作者:
Zbigniew A. Banaszak
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
project management;
virtual enterprise;
scheduling;
production planning;
project-driven manufacturing;
branch and bound search;
51.
SDL SPECIFICATION OF A SECURITY ARCHITECTURE FOR THE TS 61158
机译:
SDL TS 61158的安全架构规范
作者:
Miguel Leon Chavez
;
Francisco Rodriguez Henriquez
会议名称:
《IFAC Symposium on Information Control Problems in Manufacturing》
|
2005年
关键词:
Networks;
Fieldbus;
System Security;
Authentication;
Validation;
意见反馈
回到顶部
回到首页