Magnetic pinning in inhomogeneous type II superconductors

The magnetic structure of a vortex in the presence of an anisotropic inhomogeneity distribution is calculated within the London model. The anisotropic supercurrent pattern consists of closed current loops, superimposed on a backflow pattern. The nonvanishing current density at the vortex core gives rise to an intrinsic Lorentz force identical with the pinning force resulting from the spatial variation of the vortex self-energy.     

An e-Learning tool considering similarity measures for manufacturing cell formation

Manufacturing cell formation is the first step in the design of cellular manufacturing system. The primary objective of this step is to cluster machines into machine cells and parts into part families so that the minimum of intercell trips will be achieved. This paper will be focused on the configuration of machine cells considering three types of initial machine-part matrix: binary (zero-one) matrix, production volume matrix, and operation time matrix. The similarity measure uses only information from these types of matrix. A pure combinatorial programming formulation will be developed to maximize the sum of similarity coefficients between machine/part pairs. An e-Learning tool/application to help industrial students and engineers for enhancing their cell formation capability is proposed. This tool is designed to include a novel similarity coefficient-based heuristic algorithm for solving the cell formation problem. To determine the performance of the proposed tool, comparison is made with a well-known tool along a case study.     

Support vector regression methodology for prediction of input displacement of adaptive compliant robotic gripper

The prerequisite for new versatile grippers is the capability to locate and perceive protests in their surroundings. It is realized that automated controllers are profoundly nonlinear frameworks, and a faultless numerical model is hard to get, in this way making it troublesome to control utilizing tried and true procedure. Here, a design of an adaptive compliant gripper is presented. This design of the gripper has embedded sensors as part of its structure. The use of embedded sensors in a robot gripper gives the control system the ability to control input displacement of the gripper and to recognize specific shapes of the grasping objects. Since the conventional control strategy is a very challenging task, soft computing based controllers are considered as potential candidates for such an application. In this study, the polynomial and radial basis function (RBF) are applied as the kernel function of Support Vector Regression (SVR) to estimate and predict optimal inputs displacement of the gripper according to experimental tests and shapes of grasping objects. Instead of minimizing the observed training error, SVR _poly and SVR _rbf attempt to minimize the generalization error bound so as to achieve generalized performance. The experimental results show that an improvement in predictive accuracy and capability of generalization can be achieved by the SVR approach compared to other soft computing methodology.     

Polyesterification and isomerization of maleic anhydride and 1,6-hexane diol as studied by 1H and 13C n.m.r.

The polyesterification and isomerization reaction of 1,6-hexane diol and maleic anydride in a melt without catalyst was studied by ¹³C and ¹H n.m.r. spectroscopy. The structure and concentration of oligoester species during the polyesterification and isomerization were determined depending on the reaction temperature and time. According to the number and configuration of repeating units determined from ¹H n.m.r. spectra kinetics of both reactions were also considered. The degree of isomerization is continuously increasing in the investigated reaction range.     

Vapour liquid equilibrium with association in both phases: A model with the concentration-dependent liquid phase association constant applied to acetic acid—benzene, -toluene, -p- and -o-xylene

A model employing the correction factors of Marek and Standart, but using a concentration-dependent liquid phase association factor of Jenkins—Robinson, has been used to model vapour—liquid equilibrium data for mixtures of acetic acid with benzene, toluene, o-xylene and p-xylene. With the aim to use systems of acetic acid—benzene and acetic acid—toluene as the test mixtures for distillation columns, the examination of the systems of acetic acid—aromatic hydrocarbons was undertaken. The model promises to be useful in modelling isobaric and isothermal data of acetic acid—benzine, acetic acid—toluene, acetic acid-p-xylene and acetic acid-o-xylene systems. Deviation plots show that the isothermal and isobaric data are represented well.     

Automatic player position detection in basketball games

This paper presents us with a framework for the automatic player position detection (APPD) in the game of basketball. Court players are detected in the images broadcasted via television stations. In them, at any point of time, the view is from only one camera. This makes the detection process much more difficult. The player detection is based on the mixture of non-oriented pictorial structures. The detection of body parts is performed by the Support Vector Machine (SVM) algorithm. The results of these detections are combined together with constraints on their locations, which specify the position of one body part with respect to the parent body part. In order to train the whole model, we used a latent form of SVM called the latent SVM (LSVM). Such approach generated the statistical accuracy of about 82 %, which represents one of the best results in basketball player detection framework. Beside players, the algorithm detected a certain number of false positive objects. These are mostly people from the audience and the referees as well. This paper contains a simple and robust solution to remove them all, based on the play court boundaries and the histogram comparison. Separating players in different teams is done by k-means clustering. The inputs to this algorithm are saturation histograms calculated on the jerseys. A spatial transformation is determined by the detected play court boundaries and the actual court measures. Using this transformation, points representing the location of detected players in TV images are mapped to the actual location of players on the court, which was the main goal of our research. The proposed solution is sound and efficient. In addition, it is backed up by the experimental results obtained using the model of the actual footage of basketball games.     

meSAT: multiple encodings of CSP to SAT

One approach for solving Constraint Satisfaction Problems (CSP) (and related Constraint Optimization Problems (COP)) involving integer and Boolean variables is reduction to propositional satisfiability problem (SAT). A number of encodings (e.g., direct, log, support, order) for this purpose exist as well as specific encodings for some constraints that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single encoding that performs well on all classes of problems and there is a need for a system that supports multiple encodings. We present a system that translates specifications of finite linear CSP problems into SAT instances using several well-known encodings, and their combinations. We also present a methodology for selecting a suitable encoding based on simple syntactic features of the input CSP instance. Thorough evaluation has been performed on large publicly available corpora and our encoding selection method improves upon the efficiency of existing encodings and state-of-the-art tools used in comparison.     

Verification of randomized consensus algorithms under round-rigid adversaries

International Journal on Software Tools for Technology Transfer - Randomized fault-tolerant distributed algorithms pose a number of challenges for automated verification: (i) parameterization in...