Instances <> Role Name Abstract State Strucuture Abstract Behavioral Semantics Abstract Interfaces <> Type Name Refined Abstract State Strucuture Refined Abstract Behavioral Semantics + Operation Interfaces Refined Abstract Interfaces <> Class Name Concrete State Strucuture Concrete Behavioral Semantics (Method Implementation) Instances <> <> The first la...

Welding is a major industrial process used for joining metals. Occupational exposure to welding fumes is a serious occupational health problem all over the world. The degree of risk to welder's health from fumes depends on composition, concentration, and the length of exposure. The aim of this study was to investigate workers' welding fume exposure levels in some industries in Jeddah, Saudi Ara...

The Virtual Factory is a job shop scheduling tool that was developed at NC State. It has been found to provide nearoptimal solutions to industrial-sized problems in seconds. Recently, the Virtual Factory was expanded to include interfactory transportation operations which enabled the detailed scheduling of entire multi-factory manufacturing supply chains. Separately, a rolling horizon procedure...

Control/command processes require a transmission system with some characteristics like high reliability, low latency and strong guarantees on messages delivery. Concerning wire networks, field buses technologies like FIP offer this kind of service (periodic tasks, real time constraints...). Unfortunately, few wireless technologies can propose a communication system which respects such constrain...

A. Kagawa, Y. Kasai, N. B. Jones, M. Yamamori, K. Seki, F. Murcray, Y. Murayama, K. Mizutani, and T. Itabe Fujitsu FIP Corporation, Tokyo, Japan National Institute of Information and Communications Technology, Tokyo, Japan Wollongong University, Wollongong, Australia Tsuru University, Yamanashi, Japan Mitsubishi Electric Corporation, Kanagawa, Japan University of Denver, Denver, USA National In...

ions and Presentations. The PAC-C3D factory will give each Control one factory for Abstraction creation, and a list (which can be empty) of factories for Presentations creation, corresponding to each kind of existing Presentation on its node. If allowed by its distribution policy, then the Control will ask the Abstraction factory to create a real Abstraction. Next, the Control will ask each Pre...

Two summer outbreaks of humidifier fever (HF) are described in a microprocessor factory (factory A) and a printing factory (factory B). The air in each factory was humidified intermittently and controlled by present humidistats operating to maintain a relative humidity of 45% by an air handler incorporating a spray humidifier in factory A and two ceiling mounted spray humidifiers in factory B. ...

Due to short product life cycles, increasing variety of products and short cycles of leap innovations manufacturing companies have to increase the flexibility of factory structures. Flexibility of factory structures is based on defined factory planning processes in which product, process and resource data of various partial domains have to be considered. Thus factory planning processes can be c...

Abstract— In order to determine factory capacity or necessary time to reach a desired quota, the manager of a multi-product batch manufacturing system must know the best method of scheduling for the factory. To determine the optimal scheduling, we first create a model of the factory. This model is used to simulate the factory. Using this simulation and an integer programming formulation, we det...