COLOR VISION SYSTEM FOR RIPENESS INSPECTION OF OIL PALM ELAEIS GUINEENSIS

In checking harvesting discipline and quality control for oil palm fruits, color has presumably been an important guide to whether the oil content has reached a maximum where the fruit bunch is ready for cutting. However, establishing a single and harmonious standard base on color is a very contentious issue in the oil palm industry because of the subjective nature of the human vision of color. This was further complicated due to the lack of information on fruit color upon which to base a definite ripeness criterion. We demonstrated in this paper that this problem can be solved using machine vision technology. Methods used were to treat color in HSI (Hue, Saturation and Intensity) color space and applied multivariate discriminant analysis. These have proven to be highly effective for color evaluation and image processing. The vision system was trained to classify oil palms into four quality grades according to PORIM (Palm Oil Research Institute of Malaysia) inspection standards. These are the unripe, the underripe, the optimally ripe and the overripe classes. Depending upon the quality feature evaluated, misclassification by the vision system varied from 5 to 12% but averaged at about 8%. Machine vision disagreement ranged from 2 to 19%.     

Effects of Gamma Irradiation on Proteins and Fatty Acids of Soybean

Two hundred grams of soybean seeds (moisture contents of 7.4, 15.3, 22.5, and 30.5%) were irradiated at dose levels of 0, 1, 5, 10, 20, 40, 60, 80 and 100 KGy using Cobalt-60 source. Radiation dose of 100 KGy caused a decrease in the percentage of nitrogen solubility from 80.3 to 67.2, 80.3 to 57.8, and 68.1 to 48.8 when deionized H₂O, 0.6M NaCl, and 0.2M Cacl₂ were used as solvents, respectively. Inhibition of 71% of lipoxygenase activities, 25.4% trypsin inhibitor activities, and 16.7% chymotrypsin inhibitor activities were found when the soybean seeds were irradiated at 100 KGy.     

Electrochemical and analytical study of corrosion inhibition on carbon steel in HCl medium by 1,12-bis(1,2,4-triazolyl)dodecane

1,12-bis(1,2,4-triazolyl)dodecane (dTC12) is an excellent corrosion inhibitor for carbon steel in deaerated 1 M HCl solution. In this work electrochemical and analytical techniques were used to study the inhibition of corrosion on carbon steel in acidic medium. The carbon steel corrosion inhibition of dTC12 was attributed to the synergistic effect between chloride anion and quaternary ammonium ion. The protective efficiency of the film was higher than 90%, indicating that corrosion of carbon steel in 1 M HCl is reduced by dTC12.The effect of dissolved oxygen on the inhibition efficiency was also investigated. The results show that the inhibition efficiency increases in early stage and decreases for a long immersion time.     

A robust estimation approach for uncertain systems with perturbed measurements

This paper deals with state estimation problem for uncertain continuous‐time systems. A numerical treatment is proposed for designing interval observers that ensures guaranteed upper and lower bounds on the estimated states. In order to take into account possible perturbations on the system and its outputs, a new type of interval observers is introduced. Such interval observers consist of two coupled general Luenberger‐type observers that involve dilatation functions. In addition, we provide an optimality criterion in order to find optimal interval observers that lead to tight interval error estimation. The proposed existence and optimality conditions are expressed in terms of linear programming. Also, some illustrative examples are given. Copyright © 2015 John Wiley & Sons, Ltd.     

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep embedding of the Multiway Decision Graphs (MDGs) theory in HOL. MDGs generalize Reduced Ordered Binary Decision Diagrams (ROBDDs) to represent and manipulate a subset of first-order logic formulae. The MDGs embedding is based on the logical formulation of an MDG as Directed Formulae (DF). Then, the MDGs operations are defined and the correctness pro...     

Effect of thickness stretching and porosity on mechanical response of a functionally graded beams resting on elastic foundations

The novelty of this paper is the use of an efficient beam theory for bending, free vibration and buckling analysis of functionally graded material (FGM) beams on two-parameter elastic foundation. The present theory accounts for both shear deformation and thickness stretching effects by a parabolic variation of all displacements across the thickness, and satisfies the stress-free boundary conditions on the upper and lower surfaces of the beam without requiring any shear correction factor. Due to porosities, possibly occurring inside FGMs during fabrication, it is therefore necessary to consider the vibration, bending and buckling behaviors of beams having porosities in this work. The equation of motion for FGM beams is obtained through Hamilton’s principle. The closed form solutions are obtained by using Navier technique, and then fundamental frequencies are found by solving the results of eigenvalue problems. The validity of the present theory is investigated by comparing some of the present in literature. It can be concluded that the proposed theory is accurate and simple in solving the bending, free vibration and buckling behaviors of FGM sandwich beams.     

Automatic verification of reduction techniques in Higher Order Logic

In this paper we propose an automatic methodology to verify the soundness of model checking reduction techniques. The idea is to use the consistency of the specifications to verify if the reduced model is faithful to the original one. The user provides the reduction technique, the specification and the system under verification. Then, using Higher Order Logic he verifies automatically if the reduction technique is soundly applied. The method is completely defined in an MDG–HOL special integration platform that combines an automatic high level model checking tool Multiway Decision Graphs (MDGs) within the HOL theorem prover. We provide two case studies, the first one is the reduction using SAT–MDG of an Island Tunnel Controller and the second one is the MDG–HOL assume-guarantee reduction of the Look-Aside Interface. The obtained results of our approach offer a considerable gain in terms of the correctness of heuristics and reduction techniques as applied to commercial model checking, however a small penalty is paid in terms of CPU time and memory usage.     

静态安全约束下基于Benders分解算法的可用传输容量计算

在电力市场环境下，可用传输容量(ATC)是反映输电线路可用于交易的剩余容量的重要指标。文中以最优潮流为基础，采用Benders分解方法将考虑静态安全约束的ATC计算问题分解为一个基态主问题和一系列与各预想事故有关的子问题。主问题用来处理基态潮流和相应约束以及由子问题所返回的Benders割(cut)约束，而各子问题用来处理各预想事故和形成相应的静态安全约束。文章给出了相应的数学模型，并提出了两种改进的求解策略。4节点和IEEE30节点系统的计算结果表明了该方法和求解策略的有效性。