Mathematics for reasoning about loop functions

The criticality of modern software applications, the pervasiveness of malicious code concerns, the emergence of third-party software development, and the preponderance of program inspection as a quality assurance method all place a great premium on the ability to analyze programs and derive their function in all circumstances of use and all its functional detail. For C-like programming languages, one of the most challenging tasks in this endeavor is the derivation of loop functions. In this paper, we outline the premises of our approach to this problem, present some mathematical results, and discuss how these results can be used as a basis for building an automated tool that derives the function of while loops under some conditions.     

Thermal,mechanical and rheological properties of poly (lactic acid)/epoxidized soybean oil blends

Summary  Poly(lactic acid) (PLA) was melt blended with epoxidized soybean oil (ESO) in an internal mixer and thermal, mechanical and rheological properties of the blends were investigated by means of differential scanning calorimetry, dynamic mechanical analysis, tensile test and small amplitude oscillatory shear rheometry. ESO lowered glass transition temperature and increased the ability of PLA to cold crystallization. The blend exhibited improved elongation-at-break along with a plastic deformation. The plasticization effect by ESO was also manifested by the lowering of dynamic storage modulus and viscosity in the melt state of the blends compared with neat PLA.     

Water hydraulic manipulator for fail safe and fault tolerant remote handling operations at ITER

Department of Intelligent Hydraulics and Automation (IHA) of Tampere University of Technology has been involved in the European Fusion program since 1994 within the ITER reactor maintenance activities. In this paper we discuss the design and development of a six degrees of freedom water hydraulic manipulator with a force feedback for teleoperation tasks. The manipulator is planned to be delivered to Divertor Test Platform 2 (DTP2) during year 2008. The paper also discusses the possibility to improve the fail safe and redundant operation of the manipulator. During the design of the water hydraulic manipulator, special provisions have been made in order to meet the safety requirements such as servo valve block for redundant operation and safety vane brakes for fail safe operation.     

Comparative study of predictive FE methods for mechanical properties of nuclear composites

Carbon fiber reinforced carbon (C/C) composites are candidate materials for plasma facing components in experimental fusion reactors such as: the ITER; the JT-60 - a Tokamak fusion test facility (JAEA); and for control rods in the next generation fission reactors. Therefore, determining their thermo-mechanical properties under irradiation is essential for safe design-cum-operation of future reactors. Development of reliable models which can predict such materials’ behavior is of massive advantage against the conventional experimental verification which is hugely expensive and time-consuming. Three-dimensional finite element (FE) methods are used here for predicting Young’s modulus of two woven C/C composites where tensile tests are performed for validation. Stress distribution results indicate that a novel image-based route for FE meshes compared to a unit cell approach gives stronger agreement with experimental data. The image-based approach captures true porosity as fine microstructural details are converted from X-ray tomographic data. In comparison, the unit cell model represents idealizations of composite architecture that ignores porosities.     

Determination of Elements Profile of Some Wild Edible Plants

Fruits and leafy vegetables are believed to occupy a modest place as a source of trace elements due to their high water content. Most of nutrient requirements can be met by increasing the consumption of fruits and vegetables to 5–13 servings/day. In addition to meeting nutrient intake levels, greater consumption of fruits and vegetables is associated with reduced risk of cardiovascular disease, stroke, and cancers of the mouth, pharynx, esophagus, lungs, stomach, and colon. Therefore, vegetable and fruit consumption prevents sickness in population. Results in this research showed that Portulaca oleracia Linn. contains high value of macro-elements such as sodium (7.17 mg/g), potassium (14.71 mg/g), and calcium (18.71 mg/g), and high ash value in comparison with other plants. Also, Eulophia ochreata Lindl. has maximum micro-elements such as iron (5.04 mg/g) and zinc (3.83 mg/g) in comparison with other plants in this study. Therefore, we can conclude that P. oleracia Linn. has high nutritional values from the viewpoint of macro-elements such as sodium, potassium, and calcium; and because E. ochreata Lindl. has micro-elements in maximum amounts such as iron and zinc in comparison with other edible plants, it has high nutritional value from the viewpoint of the above trace (micro) elements. Momordica dioicia Roxb. or Cordia myxa Roxb have the lowest nutritional values because they have ash minimum values. M. dioicia Roxb. contains minimum values of sodium and calcium, but C. myxa Roxb. has zinc minimum value. Alocacia indica Sch., Asparagus officinalis DC., Chlorophytum comosum Linn., C. myxa Roxb., E. ochreata Lindl. have medium nutritional values.     

Electrochemical and spectroscopic characterization of a Benzo[c]cinnoline electrografted platinum surface

In this work, a platinum surface was modified with benzo[c]cinnoline (BCC) to get new insight into the metal modification area. By potential scanning from + 0.4 V to - 0.8 V, the diazotized BCC was reduced electrochemically and grafted onto the platinum electrode surface to form benzo[c]cinnoline modified platinum electrode (Pt-BCC). Electrochemical reduction of benzo[c]cinnoline diazonium salt on the electrode surface yielded a relatively stable organic film. The introduction of BCC molecules onto the platinum surface was verified by cyclic voltammetry, electrochemical impedance spectroscopy, Raman spectroscopy and ellipsometry. The stability and the potential range of the Pt-BCC electrode were also studied.     

Schauder fixed point theorem based existence of periodic solution for the response of Duffing’s oscillator

An initial-boundary value problem that is Duffing’s oscillator with time varying coefficients will be studied. Using Banach’s fixed-point theorem, the existence of periodic solution of the equation will be predicted. The method applied in this paper is the Schauder second fixed point theorem, which includes the response of structures under vibratory force systems. As an example, the dynamics of nonlinear simply supported rectangular thin plate under influence of a relatively moving mass is studied. By expansion of the solution as a series of mode functions, the governing equations of motion are reduced to an ordinary differential equation for time development vibration amplitude, which is Duffing’s oscillator. Finally, a parametric study is developed, after that some numerical examples are solved, and the validity of the present analysis is clearly shown. This paper was recommended for publication in revised form by Associate Editor Maenghyo Cho Hossein Ali Sepiani received his B.S. degree in Mechanical Engineering from University of Kashan, Iran, in 2003. He then received his M.S. degree from University of Tehran, in 2006. Currently, Hossein is continuing his research at University of Tehran. His research interests include new materials (FGMs, Nano-materials, SMAs, SMPs, etc), Composites (Woven Fabrics and Fiber Metal Laminates), Smart Materials (Shape Memory Alloy, Magnet/Electro-rheological and Piezoelectric Sensors and Actuators), Intelligent structures (Structures integrated with smart materials), Vibration and control of Intelligent Structures and their application. Ahmad Feyz Dizaji got his B.S. degree from University of Tehran, Iran, in 1970. Then he continued his study in U.S. and received his PhD. degree from Michigan State University in 1983, in Applied Mathematics under the supervision of Professor Shui-ni Chow and Professor J. Mallet-Paret. Since then he has been a member of the Faculty of Engineering in University of Tehran, teaching mathematics in both undergraduate and graduate levels.     

Adaptive nonlinear control of pH neutralization processes using fuzzy approximators

In this paper, an adaptive control scheme, based on fuzzy logic systems, for pH control is addressed. For implementation of the proposed scheme no composition measurement is required. Stability of the closed-loop system is established and it is shown that the solution of the closed-loop system is uniformly ultimately bounded and under a certain condition, asymptotical stability is achieved. Effectiveness of the proposed controller is tested through simulation and experimental studies. Results indicate that the proposed controller has good performances in set-point tracking and load rejection and much better than that of a tuned PI controller.     

Formal anonymity models for efficient privacy-preserving joins

Organizations, such as federally-funded medical research centers, must share de-identified data on their consumers to publicly accessible repositories to adhere to regulatory requirements. Many repositories are managed by third-parties and it is often unknown if records received from disparate organizations correspond to the same individual. Failure to resolve this issue can lead to biased (e.g., double counting of identical records) and underpowered (e.g., unlinked records of different data types) investigations. In this paper, we present a secure multiparty computation protocol that enables record joins via consumers’ encrypted identifiers. Our solution is more practical than prior secure join models in that data holders need to interact with the third party one time per data submission. Though technically feasible, the speed of the basic protocol scales quadratically with the number of records. Thus, we introduce an extended version of our protocol in which data holders append k-anonymous features of their consumers to their encrypted submissions. These features facilitate a more efficient join computation, while providing a formal guarantee that each record is linkable to no less than k individuals in the union of all organizations’ consumers. Beyond a theoretical treatment of the problem, we provide an extensive experimental investigation with data derived from the US Census to illustrate the significant gains in efficiency such an approach can achieve.     

The stability of hydrogen evolution activity and corrosion behavior of NiCu coatings with long-term electrolysis in alkaline solution

In this study, NiCu composite coating was electrochemically deposited on a copper electrode (Cu/NiCu) and tested for hydrogen evolution reaction (HER) in 1 M KOH solution for long-term electrolysis with the help of cathodic current–potential curves and electrochemical impedance spectroscopy (EIS) techniques. The bulk and surface composition of the coating was determined using atomic absorption spectroscopy (AAS) and energy dispersive X-ray (EDX) analysis. The surface morphology was investigated by scanning electron microscopy (SEM). The effect of electrolysis on the corrosion behavior of the Cu/NiCu electrode was also reported. It was found that the NiCu coating had a compact and porous structure with good time stability. The HER activity of the coating was stable over 120 h electrolysis and the HER mechanism was not modified during the operation. The corrosion tests showed that the corrosion resistance of the Cu/NiCu electrode changed when a cathodic current was applied to the electrolysis system.