Bicriteria robotic operation allocation in a flexible manufacturing cell

Consider a manufacturing cell of two identical CNC machines and a material handling robot. Identical parts requesting the completion of a number of operations are to be produced in a cyclic scheduling environment through a flow shop type setting. The existing studies in the literature overlook the flexibility of the CNC machines by assuming that both the allocation of the operations to the machines as well as their respective processing times are fixed. Consequently, the provided results may be either suboptimal or valid under unnecessarily limiting assumptions for a flexible manufacturing cell. The allocations of the operations to the two machines and the processing time of an operation on a machine can be changed by altering the machining conditions of that machine such as the speed and the feed rate in a CNC turning machine. Such flexibilities constitute the point of origin of the current study. The allocation of the operations to the machines and the machining conditions of the machines affect the processing times which, in turn, affect the cycle time. On the other hand, the machining conditions also affect the manufacturing cost. This study is the first to consider a bicriteria model which determines the allocation of the operations to the machines, the processing times of the operations on the machines, and the robot move sequence that jointly minimize the cycle time and the total manufacturing cost. We provide algorithms for the two 1-unit cycles and test their efficiency in terms of the solution quality and the computation time by a wide range of experiments on varying design parameters.     

Optimal testing resource allocation during module testing considering cost, testing effort and reliability

Software reliability is one of the most important quality attributes of commercial software. During software testing, software reliability growth models (SRGMs) are commonly used to describe the phenomenon of failure occurrence and/or fault removal which consequently enhancements software reliability. Large software systems are developed by integrating a number of relatively small and independent modules, which are tested independently during module testing phase. The amount of testing resource available is limited which is desired to be consumed judiciously so as to optimize the testing process. In this paper we formulate a resource allocation problem of minimizing the cost of software testing under available amount of testing resource, given a reliability constraint. We use a flexible SRGM considering testing effort which, depending upon the values of parameters, can describe either exponential or S-shaped failure pattern of software modules. A systematic and sequential Algorithm is proposed to solve the optimization problem formulated. Numerical examples are given to illustrate the formulation and solution procedures. Sensitivity analysis is performed to examine the behavior of some parameters of SRGM with most significant influence.     

Designing a Controller for a Multi-Train Multi-Track System

The use of formal methods for analyzing and synthesizing a controller for a multi-train multi-track railway system is discussed. The research was motivated by a case study involving the Bay Area Rapid Transit (BART) system. The overall goal is to design a train acceleration control function that enables trains to be safely placed but also increases system throughput. The use of a modeling language for specifying safety properties and a control function is illustrated. The program transformation methodology supported in the HATS system is employed to generate an efficient implementation from a high-level specification of a controller. This implementation can then be used to simulate the controller behavior, thus further enhancing confidence in the design. Properties of optimization transformations can be verified using an rewrite-rule based induction theorem prover Rewrite Rule Laboratory (RRL).     

Using an induction prover for verifying arithmetic circuits

We show that existing theorem proving technology can be used effectively for mechanically verifying a family of arithmetic circuits. A theorem prover implementing: (i) a decision procedure for quantifier-free Presburger arithmetic with uninterpreted function symbols; (ii) conditional rewriting; and (iii) heuristics for carefully selecting induction schemes from terminating recursive function definitions; and (iv) well integrated with backtracking, can automatically verify number-theoretic properties of parameterized and generic adders, multipliers and division circuits. This is illustrated using our theorem prover Rewrite Rule Laboratory (RRL). To our knowledge, this is the first such demonstration of the capabilities of a theorem prover mechanizing induction. The above features of RRL are briefly discussed using illustrations from the verification of adder, multiplier and division circuits. Extensions to the prover likely to make it even more effective for hardware verification are discussed. Furthermore, it is believed that these results are scalable, and the proposed approach is likely to be effective for other arithmetic circuits as well.     

Nondestructive Brix Evaluation of Apples of Different Origin Using Near Infrared (NIR) Filter Based Reflectance Spectroscopy

Abstract

A filter based near infrared (NIR) technique to evaluate Brix value, in a non destructive way, of Indian apples, along with apples from other countries, has been investigated here. Reflectance characteristics at ten NIR wavelengths were recorded by in-house developed probe for five Indian varieties and four imported varieties. A separate calibration and validation set for each variety was formed. Brix values of the calibration and validation sets of apples were evaluated with a refractometer from Bellingham and Stanley, Model 840. Principal component regression was used to generate calibration and prediction of Brix for the validation set. It was found that Brix values of all varieties of apples can be predicted with a standard error of prediction, 0.7322–1.7809, while root mean square error is also in the same range. It was further noticed that reduction in data recording wavelength leads to an increase in SEP and RMSE.     

Trend Assessment by the Innovative-Şen Method

Hydro-meteorological time series may include trend components mostly due to climate change since about three to four decades. Trend detection and identification in a better and refined manner are among the major current research topics in water resources domain. Even though different methodologies can be found for trend detection in literature, two well-known procedures are the Mann-Kendall (MK) trend test and recently innovative-?en trend method, which provides different aspects of the trend. The theoretical basis and application of these two methods are completely different. The MK test gives a holistic monotonic trend without any categorization of the time series into a set of clusters, but the innovative-?en method is based on cluster and provides categorical trend behavior in a given time series. The main purpose of this paper is to provide important differences between these two approaches and their possible similarities. The applications of the two approaches are given for hydro-meteorological records including relative humidity, temperature, precipitation and runoff from Ergene drainage basin in the north-western part of Turkey. It is observed that although MK trend test does not show significant trend almost in all the cases, the innovative-?en approach yields trend categorizations as “very low”, “low”, “medium” “high” and “very high”, which should be taken into consideration in future flood (“very high”) and drought (“very low”) studies.     

Investigation of engineering properties for usability of Lefke stone (Osmaneli/Bilecik) as building stone

Lefke stone is a sandstone that has been widely used in mosques, madrasas, churches, and houses as building stone. The geological features and engineering properties of Lefke stone outcropped in the southern part of Osmaneli/Bilecik were investigated in field and laboratory studies. Samples acquired during the fieldwork were tested to determine the physical, mechanical, durability, and hygrothermal properties in the laboratory. The mean physico-mechanical properties of Lefke stone yielded apparent density of 2.38 g/cm³, specific gravity of 2.68 g/cm³, total porosity of 11.26%, 2.93% water absorption by weight, uniaxial compressive strength of 94 MPa, flexure strength of 11.45 MPa, a 3.90 MPa point load strength, 4.5–5 Mohs hardness, and field Schmidt hammer rebound value of 36. According to durability tests, Lefke stone is resistant to CaCl₂ salt mist but has low resistance to SO₂ aging. Salt crystals placed in the discontinuities of the rock caused slight crack growth. The stone’s resistance to crystallization of sodium sulphate salt is low, and an increase in the volume of salts crystallized in the rock results in low corner strengths. A capillary water-absorption value of 0.0016 kg/m².h places Lefke stone into the category of very low water absorption capacity and permeability. The water vapor diffusion resistance factor (μ) less than 1 indicates that the sandstone has high breathability. Its performance in historical buildings, field observations, and values obtained through laboratory tests confirm that Lefke sandstone can be used as a building stone.

     

A Synthesis of Feedback and Feedforward Control for Process Improvement Under Stationary and Nonstationary Time Series Disturbance Models

Process adjustment strategy is an important part of the process improvement methods. The feedback control technique is used to compensate for the deviation of the output, and it has been intensively investigated. For continuous improvement and proactive strategies, feedback control has a delay and thus is not the ideal solution. In this article, motivated by a realistic manufacturing example, we propose the periodic shift disturbance models and investigate the feedforward control application from a new disturbance decomposition framework. We combine feedforward control with feedback control for maintaining the stability of the process and delivering products at target values. Then, we evaluate the performance of different control strategies for various disturbance models by using the output mean square error criterion. Sensitivity analysis of these control methods is made on different model parameter spaces, and robustness analysis for both model parameter and model structure misspecifications is presented. Two simulated examples show that the proposed control strategies can significantly reduce the variation of an evolving disturbance process. Copyright © 2014 John Wiley & Sons, Ltd.     

Novel colloidal nanofiber electrolytes from PVA‐organoclay/poly(MA‐alt‐MVE), and their NaOH and Ag‐carrying polymer complexes

Novel multifunctional polymer nanofiber electrolytes with covalence crosslinked structures from various solution blends of reactive intercalated poly(vinyl alcohol)/octadecylamine montmorillonite (as a matrix polymer), poly(maleic anhydride‐alt‐methyl vinyl ether) (as a partner polymer) and their NaOH‐absorbing and Ag‐carrying polymer complexes were fabricated via electrospinning. Chemical, physical, morphological, and electrical properties of nanofiber structures were investigated by FTIR, XRD, SEM, and electrical analysis methods. Ag precursors in fiber composites significantly improved phase separation processing, fiber morphologies, diameter distributions, and electrical properties of the fibers. In situ generation of Ag nanoparticles and their distribution on nanofiber surfaces during fiber formation occurred via complex formation between silver cations and electronegative functional groups from both matrix and partner polymers as stabilizing/reducing agents. Electrical resistance and conductivity strongly depended on matrix/partner polymer ratios and absorption time of NaOH solution on nanofibers. Addition of NaOH changed the electrical properties of fiber structures from almost dielectric state to excellent conductivity form. The fabricated unique nanofiber electrolytes are promising candidates for applications in power and fuel cell nanotechnology, electrochemical, and bioengineering processes as reactive semiconductive platforms. POLYM. ENG. SCI., 56:204–213, 2016. © 2015 Society of Plastics Engineers