Bulk mass flow in a vibratory finisher: mechanisms and effect of process parameters

Vibratory finishing is a widely-used manufacturing process in which a vibrating container filled with granular media becomes fluidized. The resulting bulk flow entrains workpieces and exposes their surfaces to the impacts resulting from the small-scale media vibrations. The bulk flow is responsible for entrainment and mixing, while the media vibration does work on the surfaces. The selection of machine vibration parameters is commonly based on experience due to the difficulty in predicting the fluidized bed behavior. In this work, a discrete element method was used to investigate how the bulk flow in an actual tub finisher filled with steel balls depends on the tub motion parameters through a parametric study. The underlying mechanisms that create and drive the bulk flow were identified by examining the relationships between the bulk flow rates and the wall forces. Finally, the connection between the wall motion and the wall forces was investigated. The tub frequency was the most effective control parameter and there was an optimal phase difference between the horizontal and vertical vibrations to maximize bulk flow. The relationship between the media packing at the walls and the tangential forces between the walls and the media explained the formation and speed of the bulk flow. Lastly, it was shown that the tangential wall forces, unlike the normal forces, cannot be obtained from the known wall motion alone since they also depend on the media velocities relative to the walls.     

Influence of process parameters on average particle speeds in a vibratory finisher

Vibratory finishing (VF) employs vibrationally-fluidized granular media to finish the surfaces of workpieces that are entrained in the flowing media. Its application has been based mostly on experience and trial-and-error due to the complexity of the granular material behavior. The present study used discrete element modeling (DEM) to investigate how the movement of a commercial two-dimensional tub finisher influenced the average particle speed of the media in a bed of smooth, steel, spherical particles, and thus the work that would be done on an entrained workpiece. The parameters governing the tub wall motion (frequency, in-plane amplitudes, and phases of vibration) and the coefficient of friction between the media and the wall were systematically varied in 71 three-dimensional DEM simulations. The average particle speed was affected mostly by the vertical amplitude of tub motion rather than by the frequency, and was mostly independent of other parameters of motion and of the wall friction. A strong relationship was found between the average particle speed and the work done by the wall per cycle of vibration. The normal force on the wall was also found to correlate strongly with the normal component of the wall velocity. Together, these relationships offer the potential to enable the analytical prediction of the average particle speed based on the motion parameters of the tub alone. The paper provides a set of practical guidelines for the control of the average particle speed in VF that are explained by the forces between the media and walls of the tub finisher.     

Context-sensitive dependency pairs

Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although a good number of techniques for proving termination of context-sensitive rewriting (CSR) have been proposed so far, the adaptation to CSR of the dependency pair approach, one of the most powerful techniques for proving termination of rewriting, took some time and was possible only after introducing some new notions like collapsing dependency pairs, which are specific for CSR. In this paper, we develop the notion of context-sensitive dependency pair (CSDP) and show how to use CSDPs in proofs of termination of CSR. The implementation and practical use of the developed techniques yield a novel and powerful framework which improves the current state-of-the-art of methods for automatically proving termination of CSR.     

Real-time embedded emotional controller

Recent studies show that emotion is a mechanism for fast decision-making in human and other animals. Mathematical models have been developed for describing emotion in mammals. These models, similar to other bioinspired models, must be implemented in embedded platforms for industrial and real applications. In this paper, brain emotional learning based intelligent controller, which is based on mammalian middle brain, is designed and implemented on field-programmable gate arrays, and this emotional controller is applied for controlling of laboratorial overhead traveling crane in model-free and embedded manner. The main features of this controller are leaning capability, providing a model-free control algorithm, robustness and the ability to respond swiftly. By designing appropriate stress signals, a designer can implement a proper trade among control objectives.     

Plans, Actions and Dialogues Using Linear Logic

We describe how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans. This account supports the modelling of agent interaction, including dialogue; allows agents to be robust to unexpected events and failures; and supports significant reuse of agent specifications. The framework has been implemented and several case studies have been considered. Further applications include human–computer interfaces as well as agent interaction in the semantic web.     

Supporting Unified Distributed Management and Autonomic Decisions: Design,Implementation and Deployment

Nowadays, the prevailing use of networks based on traditional centralized management systems reflects on a fast increase of the management costs. The growth in the number of network equipments and services reinforces the need to distribute the management responsibilities throughout the network devices. In this approach, each device executes common network management functionalities, being part of the overall network management platform. In this paper, we present a Unified Distributed Network Management (UDNM) framework that provides a unified (wired and wireless) management network solution, where further different network services can take part of this infrastructure, e.g., flow monitoring, accurate routing decisions, distributed policies dissemination, etc. This framework is divided in two main components: (A) Situation awareness, which sets up initial information through bootstrapping, discovery, fault-management process and exchange of management information; (B) Autonomic Decision System (ADS) that performs distributed decisions in the network with incomplete information. We deploy the UDNM framework in a testbed which involves two cities (\(\approx\)250 km between), different standards (IEEE 802.3, IEEE 802.11 and IEEE 802.16e) and network technologies, such as, wired virtual grid, wireless ad-hoc gateways, ad-hoc mobile access devices. The UDNM framework integrates management functionalities into the managed devices, proving to be a lightweight and easy-respond framework. The performance analysis shows that the UDNM framework is feasible to unify devices management functionalities and to take accurate decisions on top of a real network.     

Distributed planning and control systems for the virtual enterprise: organizational requirements and development life-cycle

This paper describes the requirements analysis and system specification of an Order Promise module to be used as part of a broader Decision Support System for production and operations planning of a Virtual Enterprise. This work is part of a broader project with a particular focus on the microelectronics industry which is a good example of Virtual Enterprise, and where a quick response to the customers needs and to unpredictable changes in production conditions is considered a major factor for success. First, the analysis and specification are presented within a development framework that involves the study of organizational issues of semiconductor enterprises. The use of ontological engineering for supporting the communication and shared understanding of the system concepts is explained and a virtual enterprise ontology is outlined. Following the clarification of the concept of virtual enterprise, the generic techno-organizational requirements for the information system are derived. Finally, a specification of the global planning module and a more detailed one regarding the order promise module is presented.