Solving the inverse kinematic-rate problem is an old and ever-present problem in robotics. Many methods of solution for this problem have been discussed over the past 30 years and, as computational speeds have improved, there has been greater expectation that this calculation will be performed online. This paper compares the merits of many of the methods already presented and describes a new ap...

Meta-model based development offers a promising way of managing the complexity of industrial scale software development by describing a system in terms of different ‘views’. These views can then be described as instances of a single meta-model. Such views are usually not disjoint and it is essential that they are shown to be consistent. A weakness of meta-modelling tools is the lack of support ...

We address in this paper the application of a recently proposed MPC performance monitoring method to a rigorously simulated industrial process. The methodology aims at detecting possible sources of suboptimal performance of linear offset-free MPC algorithms by analysis of the prediction error sequence, discriminating between the presence of plant/model mismatch and incorrect disturbance/state e...

Industries in New York State and across the United States need to implement waste minimization programs. The highest priority for these management programs is the elimination and reduction of wastes, then, any waste which cannot be eliminated or reduced should be evaluated to determine if any recycling opportunities exist either onor off-site. Due to the complex interaction of production, proce...

The progress of industrial applications of fuzzy logic controllers (FLCs) for high performance control of complex, non-linear, time-varying processes, sets demands for their design – to be laid on theoretical grounds, to be general and simple, to bind together system robustness, stability and performance in the design objective as a guarantee for practical feasibility. The aim of this investiga...

The research in this paper deals with the application of qualitative models and statistical methods in quality control of production procedures of various components of industrial press machines. The qualitative simulation of discrete-event machine systems is often based upon the use of qualitative simulation and discrete-event methods techniques too. In order to describe and analyze machine sy...

ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai, Chao Wang2, Zijiang Yang1, Pranav Ashar 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University of Colorado, Boulder, CO, U.S.A. Abstract. Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity for finding bugs in large designs. However, due to its incompletenes...

Micromagnetic NDT techniques like the measurement of the magnetic Barkhausen noise, the incremental permeability and the harmonic analysis of the tangential magnetic field allow deriving inspection procedures to online monitoring and control machinery parts and components in production processes in order to characterize mechanical properties like hardness, hardening depth, yield and tensile str...

Basing on the accumulated technology strength & intellectual properties in various industrial fields, Industrial Technology Research Institute (ITRI), launched several pilot-run programs for developing “new service oriented Industries” in year 2003. In the feasibility phase of those programs, systems engineering (SE) prospective approaches were tentatively applied. “Fresh Food Logistics System”...

Genetic strategies have been used for more than two decades to improve bacterial bioprocesses and to simplify recovery procedures. Such strategies include the design of efficient expression vectors and the improvement of bacterial production strains in different ways, e.g. by deletion of protease genes or engineering for overexpression of rare-codon tRNAs, foldases or chaperones. Gene multimeri...